0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 43200512, getVmSize() = 43200512, SCIPgetMemUsed() = 17127859, SCIPgetMemTotal() = 21050947, SCIPgetMemExternEstim() = 10458497
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.67/0.72 c ** Estimated virtualMemUsedAtSolver = 56258871, getVmSize() = 98951168, SCIPgetMemUsed() = 49240826, SCIPgetMemTotal() = 73929810, SCIPgetMemExternEstim() = 10458497
0.67/0.72 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.67/0.72 c Original Problem :
0.67/0.72 c Problem name : instance-4434944-1721168422
0.67/0.72 c Variables : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
0.67/0.72 c Constraints : 7400
0.67/0.72 c Objective sense : minimize
0.67/0.72 c Presolved Problem :
0.67/0.72 c Variables : 3825 (3825 binary, 0 integer, 0 implicit integer, 0 continuous)
0.67/0.72 c Constraints : 3725
0.67/0.72 c Constraints : Number
0.67/0.72 c setppc : 50
0.67/0.72 c and : 3675
0.67/0.72 c ** Instance transfer method used: 0
0.67/0.73 c ** ParaScipInstance copy does not increase the number of variables. **
0.67/0.73 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.67/0.73 c Nodes Active
0.67/0.73 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.17/1.23 c * 1 0 1 1 20825.0000 - -
1.17/1.25 c * 1 0 1 1 18424.0000 - -
3.15/3.29 c * 3 0 1 1 2931.0000 - -
5.24/5.30 c 5 2 1 1 2931.0000 0.0000 -
10.38/10.55 c 11 11 10 1 2931.0000 0.0000 -
16.92/17.19 c 17 13 10 1 2931.0000 0.0000 -
22.18/22.48 c 22 20 13 1 2931.0000 63.5000 -
28.15/28.40 c 28 66 57 1 2931.0000 74.6250 -
33.92/34.29 c 34 109 100 1 2931.0000 78.5000 -
39.90/40.29 c 40 160 151 1 2931.0000 119.0000 -
41.00/41.31 c * 41 160 151 1 2781.0000 119.0000 -
44.98/45.34 c 45 195 179 1 2781.0000 155.0000 -
50.96/51.38 c 51 253 222 1 2781.0000 172.5000 -
58.64/59.01 c 59 299 260 1 2781.0000 172.5000 -
64.52/64.93 c 65 332 293 1 2781.0000 173.5000 -
71.29/71.75 c 72 347 308 1 2781.0000 214.0000 -
78.46/78.97 c 79 365 326 1 2781.0000 214.0000 -
82.95/83.40 c * 83 374 337 1 2695.0000 227.6250 -
84.15/84.63 c 85 377 330 1 2695.0000 227.6250 -
90.02/90.55 c 91 393 346 1 2695.0000 227.6250 -
96.80/97.33 c 97 407 360 1 2695.0000 272.3559 -
102.77/103.35 c 103 428 381 1 2695.0000 272.3559 -
110.45/111.07 c 111 452 405 1 2695.0000 278.5000 -
115.82/116.44 c 116 460 413 1 2695.0000 278.5000 -
121.70/122.34 c 122 472 425 1 2695.0000 287.6309 -
126.87/127.56 c 128 479 432 1 2695.0000 287.6309 -
132.86/133.56 c 134 485 438 1 2695.0000 287.6309 -
138.44/139.14 c 139 492 445 1 2695.0000 296.0000 -
144.11/144.88 c 145 497 450 1 2695.0000 296.0000 -
152.58/153.36 c 153 508 461 1 2695.0000 296.0000 -
158.76/159.58 c 160 516 469 1 2695.0000 296.0000 -
164.25/165.08 c 165 530 483 1 2695.0000 393.2500 -
169.72/170.53 c 171 537 490 1 2695.0000 393.2500 -
175.41/176.20 c 176 550 503 1 2695.0000 393.2500 -
181.09/181.90 c 182 561 514 1 2695.0000 421.0274 -
186.56/187.42 c 187 571 524 1 2695.0000 421.0274 -
191.55/192.45 c 192 575 528 1 2695.0000 421.0274 -
199.22/200.13 c 200 585 538 1 2695.0000 444.0000 -
204.69/205.65 c 206 597 550 1 2695.0000 444.0000 -
210.17/211.18 c 211 604 557 1 2695.0000 444.0000 -
215.24/216.23 c 216 609 562 1 2695.0000 444.0000 -
221.82/222.80 c 223 621 574 1 2695.0000 455.5000 491.66%
227.10/228.13 c 228 631 584 1 2695.0000 455.5000 491.66%
233.27/234.36 c 234 638 591 1 2695.0000 455.5000 491.66%
238.76/239.81 c 240 646 599 1 2695.0000 466.5000 477.71%
244.53/245.68 c 246 658 611 1 2695.0000 466.5000 477.71%
249.61/250.74 c 251 667 620 1 2695.0000 466.5000 477.71%
255.58/256.78 c 257 675 628 1 2695.0000 510.2500 428.17%
263.36/264.52 c 265 680 631 1 2695.0000 510.2500 428.17%
270.02/271.24 c 271 693 644 1 2695.0000 510.2500 428.17%
276.90/278.14 c 278 704 655 1 2695.0000 514.9846 423.32%
282.18/283.50 c 284 714 665 1 2695.0000 514.9846 423.32%
287.46/288.74 c 289 725 676 1 2695.0000 514.9846 423.32%
295.03/296.38 c 296 752 701 1 2695.0000 557.0000 383.84%
300.21/301.53 c 302 761 710 1 2695.0000 557.0000 383.84%
306.19/307.55 c 308 772 721 1 2695.0000 573.2500 370.13%
312.87/314.29 c 314 779 728 1 2695.0000 573.2500 370.13%
318.15/319.54 c 320 788 737 1 2695.0000 573.2500 370.13%
324.64/326.09 c 326 799 748 1 2695.0000 573.5000 369.92%
330.62/332.06 c 332 806 755 1 2695.0000 573.5000 369.92%
338.08/339.54 c 340 824 771 1 2695.0000 585.5000 360.29%
343.76/345.25 c 345 833 780 1 2695.0000 585.5000 360.29%
348.75/350.28 c 350 838 783 1 2695.0000 585.5000 360.29%
355.32/356.82 c 357 857 798 1 2695.0000 585.5000 360.29%
363.50/365.00 c 365 872 813 1 2695.0000 590.0000 356.78%
370.76/372.32 c 372 885 824 1 2695.0000 590.0000 356.78%
378.34/379.98 c 380 893 830 1 2695.0000 590.0000 356.78%
387.91/389.52 c 390 903 838 1 2695.0000 590.0000 356.78%
395.08/396.73 c 397 922 853 1 2695.0000 590.0000 356.78%
400.06/401.77 c 402 925 856 1 2695.0000 590.0000 356.78%
406.34/408.03 c 408 929 860 1 2695.0000 590.0000 356.78%
413.02/414.73 c 415 944 873 1 2695.0000 603.5769 346.50%
418.70/420.46 c 420 950 879 1 2695.0000 603.5769 346.50%
425.28/427.03 c 427 958 887 1 2695.0000 603.5769 346.50%
431.05/432.88 c 433 963 892 1 2695.0000 603.5769 346.50%
437.13/438.99 c 439 972 901 1 2695.0000 603.5769 346.50%
443.91/445.72 c 446 980 909 1 2695.0000 610.0000 341.80%
449.39/451.26 c 451 985 914 1 2695.0000 637.0000 323.08%
454.58/456.44 c 456 992 919 1 2695.0000 637.0000 323.08%
461.25/463.13 c 463 1007 932 1 2695.0000 637.0000 323.08%
470.23/472.11 c 472 1016 941 1 2695.0000 650.5000 314.30%
476.30/478.28 c 478 1023 948 1 2695.0000 650.5000 314.30%
482.08/484.06 c 484 1032 953 1 2695.0000 650.5000 314.30%
488.17/490.14 c 490 1037 958 1 2695.0000 650.5000 314.30%
493.44/495.46 c 495 1041 962 1 2695.0000 650.5000 314.30%
501.21/503.20 c 503 1046 967 1 2695.0000 653.5000 312.39%
507.09/509.16 c 509 1054 973 1 2695.0000 653.5000 312.39%
515.07/517.10 c 517 1058 977 1 2695.0000 653.5000 312.39%
521.05/523.15 c 523 1066 982 1 2695.0000 653.5000 312.39%
527.22/529.38 c 529 1073 989 1 2695.0000 684.0000 294.01%
533.60/535.77 c 536 1079 995 1 2695.0000 684.0000 294.01%
539.68/541.81 c 542 1082 998 1 2695.0000 685.8750 292.93%
546.26/548.42 c 548 1092 1006 1 2695.0000 692.5000 289.17%
552.84/555.01 c 555 1102 1014 1 2695.0000 692.5000 289.17%
560.11/562.32 c 562 1116 1024 1 2695.0000 692.5000 289.17%
565.40/567.67 c 568 1124 1032 1 2695.0000 696.5000 286.93%
571.27/573.50 c 574 1128 1036 1 2695.0000 696.5000 286.93%
576.76/579.08 c 579 1130 1038 1 2695.0000 696.5000 286.93%
585.33/587.68 c 588 1142 1044 1 2695.0000 709.5000 279.84%
593.60/595.98 c 596 1161 1061 1 2695.0000 709.5000 279.84%
600.38/602.75 c 603 1169 1067 1 2695.0000 709.5000 279.84%
609.75/612.10 c 612 1173 1071 1 2695.0000 709.5000 279.84%
616.82/619.26 c 619 1187 1077 1 2695.0000 709.5000 279.84%
623.10/625.56 c 626 1192 1082 1 2695.0000 720.0000 274.31%
629.18/631.68 c 632 1198 1088 1 2695.0000 742.5000 262.96%
635.26/637.72 c 638 1203 1093 1 2695.0000 742.5000 262.96%
640.24/642.76 c 643 1205 1095 1 2695.0000 742.5000 262.96%
646.31/648.82 c 649 1215 1105 1 2695.0000 742.5000 262.96%
652.50/655.01 c 655 1222 1108 1 2695.0000 742.5000 262.96%
660.76/663.33 c 663 1227 1113 1 2695.0000 742.5000 262.96%
667.65/670.21 c 670 1230 1116 1 2695.0000 742.5000 262.96%
674.32/676.97 c 677 1236 1122 1 2695.0000 776.0000 247.29%
679.51/682.16 c 682 1240 1126 1 2695.0000 776.0000 247.29%
684.89/687.57 c 688 1242 1128 1 2695.0000 776.0000 247.29%
690.77/693.45 c 693 1246 1132 1 2695.0000 776.0000 247.29%
697.64/700.36 c 700 1251 1137 1 2695.0000 776.0000 247.29%
704.02/706.74 c 707 1258 1144 1 2695.0000 776.0000 247.29%
710.49/713.22 c 713 1264 1150 1 2695.0000 776.0000 247.29%
715.97/718.79 c 719 1273 1159 1 2695.0000 776.0000 247.29%
721.66/724.40 c 724 1276 1162 1 2695.0000 776.0000 247.29%
729.93/732.78 c 733 1279 1165 1 2695.0000 776.0000 247.29%
735.01/737.85 c 738 1285 1171 1 2695.0000 792.0000 240.28%
740.79/743.66 c 744 1288 1174 1 2695.0000 792.0000 240.28%
746.97/749.83 c 750 1295 1179 1 2695.0000 797.7647 237.82%
753.65/756.51 c 757 1301 1185 1 2695.0000 797.7647 237.82%
758.93/761.89 c 762 1304 1188 1 2695.0000 799.5000 237.09%
764.90/767.86 c 768 1308 1192 1 2695.0000 799.5000 237.09%
774.67/777.68 c 778 1315 1199 1 2695.0000 799.5000 237.09%
780.06/783.01 c 783 1318 1202 1 2695.0000 799.5000 237.09%
788.73/791.79 c 792 1337 1213 1 2695.0000 799.5000 237.09%
795.01/798.08 c 798 1341 1217 1 2695.0000 799.5000 237.09%
801.58/804.61 c 805 1346 1222 1 2695.0000 814.0000 231.08%
807.26/810.30 c 810 1352 1226 1 2695.0000 815.0000 230.67%
813.63/816.78 c 817 1355 1229 1 2695.0000 815.0000 230.67%
822.50/825.63 c 826 1362 1236 1 2695.0000 815.0000 230.67%
828.88/832.05 c 832 1364 1238 1 2695.0000 815.0000 230.67%
835.66/838.88 c 839 1368 1242 1 2695.0000 815.0000 230.67%
843.23/846.40 c 846 1372 1246 1 2695.0000 815.0000 230.67%
848.82/852.03 c 852 1378 1250 1 2695.0000 815.0000 230.67%
854.09/857.33 c 857 1382 1254 1 2695.0000 815.0000 230.67%
861.47/864.74 c 865 1385 1257 1 2695.0000 815.0000 230.67%
871.93/875.28 c 875 1389 1261 1 2695.0000 815.0000 230.67%
880.60/883.93 c 884 1393 1265 1 2695.0000 816.7778 229.96%
886.69/890.02 c 890 1396 1268 1 2695.0000 816.7778 229.96%
894.25/897.67 c 898 1406 1274 1 2695.0000 816.7778 229.96%
900.04/903.49 c 903 1409 1277 1 2695.0000 816.7778 229.96%
905.91/909.38 c 909 1416 1284 1 2695.0000 816.7778 229.96%
914.18/917.65 c 918 1434 1296 1 2695.0000 821.0000 228.26%
920.07/923.58 c 924 1437 1299 1 2695.0000 821.0000 228.26%
925.95/929.45 c 929 1441 1303 1 2695.0000 821.0000 228.26%
934.32/937.83 c 938 1446 1308 1 2695.0000 821.0000 228.26%
942.39/945.93 c 946 1453 1313 1 2695.0000 821.0000 228.26%
951.26/954.85 c 955 1458 1318 1 2695.0000 821.0000 228.26%
958.04/961.66 c 962 1470 1324 1 2695.0000 821.0000 228.26%
964.71/968.36 c 968 1475 1329 1 2695.0000 821.0000 228.26%
969.79/973.46 c 973 1477 1331 1 2695.0000 821.0000 228.26%
977.48/981.14 c 981 1480 1334 1 2695.0000 821.0000 228.26%
983.85/987.51 c 988 1483 1337 1 2695.0000 821.0000 228.26%
989.23/992.95 c 993 1488 1342 1 2695.0000 821.0000 228.26%
998.79/1002.55 c 1003 1495 1347 1 2695.0000 821.0000 228.26%
1005.67/1009.44 c 1009 1499 1351 1 2695.0000 821.0000 228.26%
1011.15/1014.94 c 1015 1502 1354 1 2695.0000 821.0000 228.26%
1016.73/1020.59 c 1021 1504 1356 1 2695.0000 821.0000 228.26%
1023.21/1027.01 c 1027 1513 1361 1 2695.0000 829.0655 225.06%
1029.78/1033.61 c 1034 1516 1364 1 2695.0000 829.0655 225.06%
1036.17/1040.02 c 1040 1520 1366 1 2695.0000 829.0655 225.06%
1042.85/1046.74 c 1047 1523 1369 1 2695.0000 829.0655 225.06%
1051.61/1055.50 c 1056 1529 1375 1 2695.0000 829.0655 225.06%
1056.90/1060.86 c 1061 1535 1381 1 2695.0000 836.0000 222.37%
1062.67/1066.68 c 1067 1542 1388 1 2695.0000 836.0000 222.37%
1067.95/1071.92 c 1072 1545 1391 1 2695.0000 836.0000 222.37%
1076.23/1080.23 c 1080 1549 1395 1 2695.0000 836.0000 222.37%
1081.91/1085.96 c 1086 1552 1398 1 2695.0000 837.0000 221.98%
1092.08/1096.18 c 1096 1559 1405 1 2695.0000 837.0000 221.98%
1102.83/1106.99 c 1107 1567 1409 1 2695.0000 837.0000 221.98%
1109.32/1113.40 c 1113 1572 1414 1 2695.0000 837.0000 221.98%
1116.39/1120.56 c 1121 1578 1420 1 2695.0000 837.0000 221.98%
1123.06/1127.20 c 1127 1587 1429 1 2695.0000 839.0000 221.22%
1130.84/1135.05 c 1135 1592 1434 1 2695.0000 839.0000 221.22%
1141.91/1146.12 c 1146 1599 1441 1 2695.0000 839.0000 221.22%
1148.67/1152.99 c 1153 1602 1444 1 2695.0000 839.0000 221.22%
1156.65/1160.99 c 1161 1610 1452 1 2695.0000 839.0000 221.22%
1165.02/1169.39 c 1169 1613 1455 1 2695.0000 839.0000 221.22%
1176.69/1181.04 c 1181 1622 1464 1 2695.0000 839.5000 221.02%
1184.35/1188.77 c 1189 1625 1467 1 2695.0000 839.5000 221.02%
1194.52/1198.97 c 1199 1633 1475 1 2695.0000 839.5000 221.02%
1203.09/1207.57 c 1208 1643 1483 1 2695.0000 839.5000 221.02%
1208.77/1213.24 c 1213 1645 1485 1 2695.0000 839.5000 221.02%
1214.35/1218.82 c 1219 1649 1487 1 2695.0000 839.5000 221.02%
1221.72/1226.21 c 1226 1651 1489 1 2695.0000 839.5000 221.02%
1229.60/1234.15 c 1234 1656 1494 1 2695.0000 839.5000 221.02%
1235.77/1240.37 c 1240 1661 1499 1 2695.0000 839.5000 221.02%
1241.16/1245.77 c 1246 1664 1502 1 2695.0000 846.1667 218.50%
1247.44/1252.08 c 1252 1668 1506 1 2695.0000 846.1667 218.50%
1254.11/1258.73 c 1259 1672 1510 1 2695.0000 846.1667 218.50%
1261.29/1265.94 c 1266 1677 1515 1 2695.0000 846.1667 218.50%
1267.77/1272.45 c 1272 1688 1524 1 2695.0000 846.1667 218.50%
1273.85/1278.57 c 1279 1692 1528 1 2695.0000 846.1667 218.50%
1279.53/1284.29 c 1284 1698 1534 1 2695.0000 846.1667 218.50%
1285.01/1289.73 c 1290 1702 1538 1 2695.0000 857.2051 214.39%
1290.19/1294.94 c 1295 1731 1563 1 2695.0000 857.2051 214.39%
1297.37/1302.18 c 1302 1784 1566 1 2695.0000 857.2051 214.39%
1302.65/1307.44 c 1307 1821 1565 1 2695.0000 857.2051 214.39%
1308.83/1313.62 c 1314 1844 1573 1 2695.0000 869.0000 210.13%
1315.60/1320.41 c 1320 1862 1585 1 2695.0000 869.0000 210.13%
1321.19/1326.00 c 1326 1872 1593 1 2695.0000 894.7500 201.20%
1328.65/1333.50 c 1334 1883 1600 1 2695.0000 899.0000 199.78%
1333.64/1338.59 c 1339 1900 1601 1 2695.0000 899.0000 199.78%
1343.70/1348.66 c 1349 1927 0 1 2695.0000 899.0000 199.78%
1349.68/1354.63 c 1355 1935 8 1 2695.0000 899.0000 199.78%
1354.67/1359.65 c 1360 1951 24 1 2695.0000 899.0000 199.78%
1360.05/1365.05 c 1365 1965 38 1 2695.0000 899.0000 199.78%
1365.63/1370.63 c 1371 1977 50 1 2695.0000 899.0000 199.78%
1371.41/1376.48 c 1376 2011 84 1 2695.0000 899.0000 199.78%
1376.80/1381.80 c 1382 2024 97 1 2695.0000 899.0000 199.78%
1382.58/1387.68 c 1388 2043 116 1 2695.0000 899.0000 199.78%
1387.96/1393.05 c 1393 2057 130 1 2695.0000 899.0000 199.78%
1393.53/1398.60 c 1399 2067 140 1 2695.0000 899.0000 199.78%
1400.01/1405.19 c 1405 2081 154 1 2695.0000 899.0000 199.78%
1406.69/1411.82 c 1412 2099 172 1 2695.0000 899.0000 199.78%
1412.98/1418.15 c 1418 2115 188 1 2695.0000 899.0000 199.78%
1418.55/1423.78 c 1424 2134 207 1 2695.0000 899.0000 199.78%
1425.22/1430.46 c 1430 2147 220 1 2695.0000 899.0000 199.78%
1430.70/1435.96 c 1436 2157 230 1 2695.0000 899.0000 199.78%
1435.69/1440.97 c 1441 2165 238 1 2695.0000 899.0000 199.78%
1440.87/1446.14 c 1446 2168 241 1 2695.0000 899.0000 199.78%
1447.75/1453.01 c 1453 2175 248 1 2695.0000 899.0000 199.78%
1453.63/1458.97 c 1459 2187 258 1 2695.0000 899.0000 199.78%
1459.40/1464.79 c 1465 2198 269 1 2695.0000 899.0000 199.78%
1465.58/1470.95 c 1471 2206 277 1 2695.0000 899.0000 199.78%
1470.86/1476.29 c 1476 2215 286 1 2695.0000 899.0000 199.78%
1477.24/1482.60 c 1483 2231 302 1 2695.0000 899.0000 199.78%
1482.51/1487.96 c 1488 2236 307 1 2695.0000 899.0000 199.78%
1488.10/1493.52 c 1494 2257 328 1 2695.0000 899.0000 199.78%
1493.27/1498.71 c 1499 2264 335 1 2695.0000 899.0000 199.78%
1499.94/1505.43 c 1505 2274 345 1 2695.0000 899.0000 199.78%
1507.71/1513.21 c 1513 2284 355 1 2695.0000 899.0000 199.78%
1514.79/1520.34 c 1520 2289 360 1 2695.0000 899.0000 199.78%
1520.07/1525.60 c 1526 2300 371 1 2695.0000 899.0000 199.78%
1526.15/1531.76 c 1532 2305 376 1 2695.0000 899.0000 199.78%
1532.22/1537.82 c 1538 2314 385 1 2695.0000 899.0000 199.78%
1537.60/1543.27 c 1543 2324 395 1 2695.0000 899.0000 199.78%
1543.78/1549.41 c 1549 2331 402 1 2695.0000 899.0000 199.78%
1548.86/1554.53 c 1555 2339 410 1 2695.0000 899.0000 199.78%
1554.75/1560.44 c 1560 2347 418 1 2695.0000 899.0000 199.78%
1560.52/1566.23 c 1566 2359 430 1 2695.0000 899.0000 199.78%
1566.60/1572.38 c 1572 2366 437 1 2695.0000 899.0000 199.78%
1572.29/1578.00 c 1578 2371 442 1 2695.0000 899.0000 199.78%
1578.76/1584.56 c 1585 2384 455 1 2695.0000 899.0000 199.78%
1584.84/1590.66 c 1591 2391 462 1 2695.0000 899.0000 199.78%
1590.42/1596.23 c 1596 2399 468 1 2695.0000 899.0000 199.78%
1596.90/1602.76 c 1603 2407 476 1 2695.0000 899.0000 199.78%
1602.58/1608.40 c 1608 2415 484 1 2695.0000 899.0000 199.78%
1609.96/1615.80 c 1616 2423 492 1 2695.0000 899.0000 199.78%
1617.73/1623.61 c 1624 2435 504 1 2695.0000 899.0000 199.78%
1622.82/1628.77 c 1629 2443 512 1 2695.0000 899.0000 199.78%
1628.80/1634.74 c 1635 2466 535 1 2695.0000 899.0000 199.78%
1635.27/1641.29 c 1641 2480 549 1 2695.0000 899.0000 199.78%
1640.65/1646.61 c 1647 2497 566 1 2695.0000 899.0000 199.78%
1644.15/1650.19 c * 1650 2500 569 1 2648.0000 899.0000 194.55%
1646.44/1652.49 c 1652 2502 571 1 2648.0000 899.0000 194.55%
1652.71/1658.72 c 1659 2513 582 1 2648.0000 899.0000 194.55%
1660.28/1666.35 c 1666 2520 589 1 2648.0000 899.0000 194.55%
1667.07/1673.15 c 1673 2533 602 1 2648.0000 899.0000 194.55%
1672.15/1678.26 c 1678 2539 608 1 2648.0000 899.0000 194.55%
1677.83/1683.92 c 1684 2544 613 1 2648.0000 899.0000 194.55%
1684.50/1690.61 c 1691 2547 616 1 2648.0000 899.0000 194.55%
1690.38/1696.51 c 1697 2556 623 1 2648.0000 899.0000 194.55%
1695.36/1701.52 c 1702 2561 628 1 2648.0000 899.0000 194.55%
1701.44/1707.62 c 1708 2566 633 1 2648.0000 899.0000 194.55%
1708.13/1714.36 c 1714 2575 642 1 2648.0000 899.0000 194.55%
1714.60/1720.82 c 1721 2579 646 1 2648.0000 899.0000 194.55%
1721.38/1727.61 c 1728 2583 648 1 2648.0000 899.0000 194.55%
1726.46/1732.77 c 1733 2587 652 1 2648.0000 899.0000 194.55%
1732.04/1738.32 c 1738 2591 656 1 2648.0000 899.0000 194.55%
1741.01/1747.35 c 1747 2600 665 1 2648.0000 899.0000 194.55%
1746.40/1752.73 c 1753 2603 668 1 2648.0000 899.0000 194.55%
1753.17/1759.54 c 1760 2605 670 1 2648.0000 899.0000 194.55%
1759.45/1765.81 c 1766 2607 672 1 2648.0000 899.0000 194.55%
1766.13/1772.50 c 1772 2613 678 1 2648.0000 899.0000 194.55%
1774.30/1780.79 c 1781 2622 687 1 2648.0000 899.0000 194.55%
1780.18/1786.65 c 1787 2629 694 1 2648.0000 899.0000 194.55%
1786.26/1792.75 c 1793 2636 701 1 2648.0000 899.0000 194.55%
1792.73/1799.25 c 1799 2640 705 1 2648.0000 899.0000 194.55%
1800.21/1806.72 c 1807 2646 711 1 2648.0000 899.0000 194.55%
1807.49/1814.03 c 1814 2655 718 1 2648.0000 899.0000 194.55%
1813.47/1820.02 c 1820 2668 731 1 2648.0000 899.0000 194.55%
1819.55/1826.13 c 1826 2675 736 1 2648.0000 899.0000 194.55%
1824.53/1831.14 c 1831 2685 744 1 2648.0000 899.0000 194.55%
1831.81/1838.41 c 1838 2689 748 1 2648.0000 899.0000 194.55%
1836.89/1843.50 c 1844 2691 750 1 2648.0000 899.0000 194.55%
1844.16/1850.86 c 1851 2697 756 1 2648.0000 899.0000 194.55%
1854.53/1861.25 c 1861 2702 761 1 2648.0000 899.0000 194.55%
1860.41/1867.10 c 1867 2709 768 1 2648.0000 899.0000 194.55%
1865.70/1872.47 c 1872 2716 775 1 2648.0000 899.0000 194.55%
1871.67/1878.48 c 1878 2734 793 1 2648.0000 899.0000 194.55%
1877.25/1884.05 c 1884 2741 800 1 2648.0000 899.0000 194.55%
1884.13/1890.99 c 1891 2750 809 1 2648.0000 899.0000 194.55%
1889.71/1896.57 c 1897 2755 814 1 2648.0000 899.0000 194.55%
1895.69/1902.58 c 1903 2765 822 1 2648.0000 899.0000 194.55%
1901.18/1908.04 c 1908 2783 836 1 2648.0000 919.1250 188.10%
1906.16/1913.06 c 1913 2787 838 1 2648.0000 919.1250 188.10%
1911.84/1918.79 c 1919 2798 843 1 2648.0000 933.5000 183.66%
1917.12/1924.00 c 1924 2804 847 1 2648.0000 933.5000 183.66%
1925.49/1932.49 c 1932 2808 851 1 2648.0000 933.5000 183.66%
1933.07/1940.07 c 1940 2814 857 1 2648.0000 933.5000 183.66%
1938.24/1945.20 c 1945 2818 861 1 2648.0000 943.5345 180.65%
1944.22/1951.27 c 1951 2828 871 1 2648.0000 943.5345 180.65%
1950.20/1957.28 c 1957 2832 875 1 2648.0000 943.5345 180.65%
1957.37/1964.46 c 1964 2844 883 1 2648.0000 943.5345 180.65%
1963.36/1970.48 c 1970 2850 889 1 2648.0000 943.5345 180.65%
1969.64/1976.70 c 1977 2856 895 1 2648.0000 943.5345 180.65%
1978.21/1985.37 c 1985 2863 902 1 2648.0000 951.7500 178.22%
1983.89/1991.08 c 1991 2871 908 1 2648.0000 951.7500 178.22%
1989.97/1997.15 c 1997 2876 913 1 2648.0000 951.7500 178.22%
1996.65/2003.88 c 2004 2887 918 1 2648.0000 951.7500 178.22%
2004.82/2012.00 c 2012 2895 924 1 2648.0000 992.0000 166.94%
2012.19/2019.49 c 2019 2904 929 1 2648.0000 992.0000 166.94%
2017.97/2025.25 c 2025 2918 937 1 2648.0000 997.5000 165.46%
2023.15/2030.40 c 2030 2923 942 1 2648.0000 997.5000 165.46%
2028.33/2035.69 c 2036 2927 946 1 2648.0000 997.5000 165.46%
2033.42/2040.77 c 2041 2933 950 1 2648.0000 997.5000 165.46%
2040.89/2048.20 c 2048 2937 954 1 2648.0000 997.5000 165.46%
2045.97/2053.39 c 2053 2943 960 1 2648.0000 997.5000 165.46%
2051.76/2059.12 c 2059 2955 966 1 2648.0000 997.5000 165.46%
2057.04/2064.46 c 2064 2959 970 1 2648.0000 1000.5000 164.67%
2065.51/2072.95 c 2073 2967 976 1 2648.0000 1000.5000 164.67%
2071.30/2078.77 c 2079 2977 982 1 2648.0000 1014.2099 161.09%
2076.88/2084.39 c 2084 2988 991 1 2648.0000 1014.2099 161.09%
2082.25/2089.72 c 2090 2994 993 1 2648.0000 1014.2099 161.09%
2087.54/2095.01 c 2095 3000 999 1 2648.0000 1025.2500 158.28%
2092.63/2100.12 c 2100 3006 1005 1 2648.0000 1025.2500 158.28%
2098.51/2106.09 c 2106 3012 1011 1 2648.0000 1025.2500 158.28%
2103.99/2111.51 c 2112 3020 1015 1 2648.0000 1025.2500 158.28%
2109.07/2116.61 c 2117 3032 1021 1 2648.0000 1025.2500 158.28%
2114.64/2122.20 c 2122 3035 1024 1 2648.0000 1025.2500 158.28%
2120.03/2127.63 c 2128 3039 1028 1 2648.0000 1025.2500 158.28%
2127.90/2135.50 c 2136 3046 1035 1 2648.0000 1025.2500 158.28%
2134.18/2141.86 c 2142 3050 1039 1 2648.0000 1031.6429 156.68%
2140.26/2147.92 c 2148 3054 1043 1 2648.0000 1031.6429 156.68%
2145.45/2153.13 c 2153 3060 1049 1 2648.0000 1031.6429 156.68%
2150.82/2158.58 c 2159 3068 1055 1 2648.0000 1031.6429 156.68%
2158.50/2166.20 c 2166 3074 1061 1 2648.0000 1031.6429 156.68%
2166.86/2174.69 c 2175 3079 1066 1 2648.0000 1046.8546 152.95%
2172.85/2180.61 c 2181 3084 1071 1 2648.0000 1046.8546 152.95%
2178.83/2186.64 c 2187 3088 1075 1 2648.0000 1046.8546 152.95%
2185.41/2193.23 c 2193 3099 1084 1 2648.0000 1046.8546 152.95%
2191.78/2199.63 c 2200 3104 1089 1 2648.0000 1046.8546 152.95%
2197.07/2204.96 c 2205 3117 1102 1 2648.0000 1046.8546 152.95%
2202.26/2210.11 c 2210 3121 1106 1 2648.0000 1048.6875 152.51%
2207.63/2215.58 c 2216 3126 1111 1 2648.0000 1048.6875 152.51%
2212.81/2220.72 c 2221 3130 1113 1 2648.0000 1048.6875 152.51%
2218.59/2226.57 c 2227 3139 1122 1 2648.0000 1048.6875 152.51%
2225.27/2233.28 c 2233 3145 1128 1 2648.0000 1048.6875 152.51%
2230.76/2238.78 c 2239 3154 1133 1 2648.0000 1048.6875 152.51%
2235.84/2243.85 c 2244 3156 1135 1 2648.0000 1048.6875 152.51%
2241.81/2249.85 c 2250 3165 1142 1 2648.0000 1051.7500 151.77%
2247.40/2255.43 c 2255 3174 1151 1 2648.0000 1066.8571 148.21%
2253.18/2261.21 c 2261 3178 1155 1 2648.0000 1066.8571 148.21%
2263.94/2272.05 c 2272 3182 1159 1 2648.0000 1066.8571 148.21%
2269.13/2277.23 c 2277 3188 1165 1 2648.0000 1066.8571 148.21%
2276.70/2284.81 c 2285 3192 1169 1 2648.0000 1066.8571 148.21%
2283.78/2291.95 c 2292 3200 1177 1 2648.0000 1071.1250 147.22%
2288.76/2296.97 c 2297 3206 1179 1 2648.0000 1071.1250 147.22%
2294.84/2303.09 c 2303 3211 1184 1 2648.0000 1071.5000 147.13%
2303.91/2312.17 c * 2312 3219 1192 1 2582.0000 1071.5000 140.97%
2303.91/2312.17 c 2312 3219 1192 1 2582.0000 1071.5000 140.97%
2309.28/2317.53 c 2318 3226 1187 1 2582.0000 1071.5000 140.97%
2314.67/2322.91 c 2323 3229 1190 1 2582.0000 1071.5000 140.97%
2320.55/2328.89 c 2329 3236 1193 1 2582.0000 1071.5000 140.97%
2326.03/2334.31 c 2334 3244 1201 1 2582.0000 1071.5000 140.97%
2331.61/2339.95 c 2340 3255 1212 1 2582.0000 1071.5000 140.97%
2336.60/2344.99 c 2345 3266 1221 1 2582.0000 1071.5000 140.97%
2343.18/2351.51 c 2352 3277 1226 1 2582.0000 1071.5000 140.97%
2348.46/2356.85 c 2357 3282 1231 1 2582.0000 1080.4862 138.97%
2359.02/2367.40 c 2367 3292 1241 1 2582.0000 1080.4862 138.97%
2366.19/2374.64 c 2375 3304 1253 1 2582.0000 1080.4862 138.97%
2373.08/2381.52 c 2382 3310 1259 1 2582.0000 1088.2500 137.26%
2378.66/2387.14 c 2387 3313 1262 1 2582.0000 1088.2500 137.26%
2387.52/2396.00 c 2396 3320 1269 1 2582.0000 1088.2500 137.26%
2394.10/2402.62 c 2403 3326 1275 1 2582.0000 1088.2500 137.26%
2401.27/2409.82 c 2410 3334 1283 1 2582.0000 1088.2500 137.26%
2408.45/2417.06 c 2417 3343 1292 1 2582.0000 1088.2500 137.26%
2416.62/2425.22 c 2425 3351 1296 1 2582.0000 1088.4544 137.22%
2426.29/2434.90 c 2435 3353 1298 1 2582.0000 1088.4544 137.22%
2431.57/2440.25 c 2440 3365 1304 1 2582.0000 1088.4544 137.22%
2436.75/2445.42 c 2445 3372 1311 1 2582.0000 1088.4544 137.22%
2442.44/2451.19 c 2451 3378 1311 1 2582.0000 1101.8125 134.34%
2448.21/2456.99 c 2457 3383 1316 1 2582.0000 1101.8125 134.34%
2456.29/2465.09 c 2465 3400 1324 1 2582.0000 1101.8125 134.34%
2463.47/2472.27 c 2472 3409 1329 1 2582.0000 1112.0000 132.19%
2469.55/2478.30 c 2478 3418 1336 1 2582.0000 1112.0000 132.19%
2475.92/2484.75 c 2485 3429 1339 1 2582.0000 1112.0000 132.19%
2482.39/2491.24 c 2491 3436 1346 1 2582.0000 1112.0000 132.19%
2490.27/2499.19 c 2499 3442 1352 1 2582.0000 1112.0000 132.19%
2495.94/2504.89 c 2505 3448 1358 1 2582.0000 1116.8472 131.19%
2503.61/2512.54 c 2513 3452 1362 1 2582.0000 1116.8472 131.19%
2510.49/2519.41 c 2519 3462 1372 1 2582.0000 1116.8472 131.19%
2516.96/2525.91 c 2526 3468 1378 1 2582.0000 1116.8472 131.19%
2522.34/2531.38 c 2531 3472 1382 1 2582.0000 1116.8472 131.19%
2527.62/2536.69 c 2537 3480 1386 1 2582.0000 1126.7943 129.15%
2533.50/2542.55 c 2543 3488 1394 1 2582.0000 1126.7943 129.15%
2539.57/2548.62 c 2549 3495 1401 1 2582.0000 1126.7943 129.15%
2544.75/2553.84 c 2554 3498 1404 1 2582.0000 1126.7943 129.15%
2550.03/2559.17 c 2559 3500 1406 1 2582.0000 1126.7943 129.15%
2555.92/2565.02 c 2565 3506 1412 1 2582.0000 1126.7943 129.15%
2564.37/2573.58 c 2574 3510 1416 1 2582.0000 1126.7943 129.15%
2569.65/2578.84 c 2579 3513 1419 1 2582.0000 1126.7943 129.15%
2574.74/2583.96 c 2584 3516 1422 1 2582.0000 1126.7943 129.15%
2582.00/2591.29 c 2591 3522 1426 1 2582.0000 1126.7943 129.15%
2587.08/2596.32 c 2596 3524 1428 1 2582.0000 1126.7943 129.15%
2592.66/2601.91 c 2602 3528 1432 1 2582.0000 1126.7943 129.15%
2598.24/2607.51 c 2608 3535 1437 1 2582.0000 1126.7943 129.15%
2603.83/2613.19 c 2613 3538 1440 1 2582.0000 1147.9615 124.92%
2610.49/2619.82 c 2620 3542 1444 1 2582.0000 1147.9615 124.92%
2618.56/2627.97 c 2628 3548 1448 1 2582.0000 1151.5000 124.23%
2623.65/2633.10 c 2633 3560 1456 1 2582.0000 1151.5000 124.23%
2629.72/2639.11 c 2639 3582 1461 1 2582.0000 1151.5000 124.23%
2635.50/2644.95 c 2645 3589 1468 1 2582.0000 1152.0625 124.12%
2641.17/2650.60 c 2651 3591 1470 1 2582.0000 1152.0625 124.12%
2647.05/2656.56 c 2657 3598 1477 1 2582.0000 1152.0625 124.12%
2652.33/2661.89 c 2662 3605 1484 1 2582.0000 1152.0625 124.12%
2658.10/2667.67 c 2668 3611 1490 1 2582.0000 1152.0625 124.12%
2665.38/2674.95 c 2675 3616 1493 1 2582.0000 1152.0625 124.12%
2671.06/2680.67 c 2681 3622 1495 1 2582.0000 1152.0625 124.12%
2678.83/2688.42 c 2688 3627 1500 1 2582.0000 1152.0625 124.12%
2684.40/2694.00 c 2694 3633 1504 1 2582.0000 1152.0625 124.12%
2690.08/2699.79 c 2700 3637 1508 1 2582.0000 1152.0625 124.12%
2697.36/2707.05 c 2707 3645 1516 1 2582.0000 1168.6871 120.93%
2702.84/2712.59 c 2713 3651 1522 1 2582.0000 1168.6871 120.93%
2708.82/2718.51 c 2719 3659 1530 1 2582.0000 1168.6871 120.93%
2717.38/2727.18 c 2727 3670 1539 1 2582.0000 1169.1837 120.84%
2724.27/2734.10 c 2734 3680 1543 1 2582.0000 1169.1837 120.84%
2729.55/2739.36 c 2739 3690 1553 1 2582.0000 1169.1837 120.84%
2735.62/2745.44 c 2745 3696 1557 1 2582.0000 1169.1837 120.84%
2741.21/2751.00 c 2751 3710 1565 1 2582.0000 1169.1837 120.84%
2746.98/2756.82 c 2757 3717 1568 1 2582.0000 1169.1837 120.84%
2753.27/2763.12 c 2763 3723 1572 1 2582.0000 1169.1837 120.84%
2758.35/2768.26 c 2768 3726 1573 1 2582.0000 1169.1837 120.84%
2763.93/2773.86 c 2774 3731 1576 1 2582.0000 1169.1837 120.84%
2771.50/2781.40 c 2781 3743 1582 1 2582.0000 1169.1837 120.84%
2778.18/2788.15 c 2788 3750 1589 1 2582.0000 1179.0000 119.00%
2783.36/2793.32 c 2793 3766 1595 1 2582.0000 1179.0000 119.00%
2789.05/2799.09 c 2799 3768 1597 1 2582.0000 1183.2500 118.21%
2795.33/2805.40 c 2805 3775 1600 1 2582.0000 1183.2500 118.21%
2802.99/2813.10 c 2813 3780 1605 1 2582.0000 1183.2500 118.21%
2810.27/2820.37 c 2820 3806 1623 1 2582.0000 1183.2500 118.21%
2816.45/2826.54 c 2827 3813 1626 1 2582.0000 1186.0005 117.71%
2822.04/2832.19 c 2832 3816 1627 1 2582.0000 1186.0005 117.71%
2829.91/2840.04 c 2840 3820 1631 1 2582.0000 1187.5195 117.43%
2838.18/2848.32 c 2848 3829 1636 1 2582.0000 1192.3750 116.54%
2844.35/2854.59 c 2855 3835 1640 1 2582.0000 1192.3750 116.54%
2849.63/2859.87 c 2860 3839 1644 1 2582.0000 1192.3750 116.54%
2858.70/2868.91 c 2869 3854 1649 1 2582.0000 1192.3750 116.54%
2864.58/2874.88 c 2875 3864 1655 1 2582.0000 1192.3750 116.54%
2870.87/2881.11 c 2881 3870 1661 1 2582.0000 1196.6250 115.77%
2878.75/2889.02 c 2889 3874 1665 1 2582.0000 1196.6250 115.77%
2883.83/2894.14 c 2894 3879 1668 1 2582.0000 1196.6250 115.77%
2889.71/2900.09 c 2900 3886 1675 1 2582.0000 1199.9881 115.17%
2896.28/2906.63 c 2907 3889 1678 1 2582.0000 1199.9881 115.17%
2902.35/2912.77 c 2913 3893 1682 1 2582.0000 1199.9881 115.17%
2907.83/2918.26 c 2918 3909 1686 1 2582.0000 1199.9881 115.17%
2913.92/2924.31 c 2924 3912 1687 1 2582.0000 1199.9881 115.17%
2922.98/2933.40 c 2933 3921 1690 1 2582.0000 1199.9881 115.17%
2928.76/2939.27 c 2939 3927 1694 1 2582.0000 1199.9881 115.17%
2937.34/2947.83 c 2948 3937 1704 1 2582.0000 1199.9881 115.17%
2945.81/2956.36 c 2956 3945 1710 1 2582.0000 1234.8716 109.09%
2953.58/2964.12 c 2964 3949 1714 1 2582.0000 1236.5650 108.80%
2958.87/2969.40 c 2969 3958 1719 1 2582.0000 1236.5650 108.80%
2964.34/2974.96 c 2975 3963 1724 1 2582.0000 1236.5650 108.80%
2970.82/2981.49 c 2981 3970 1727 1 2582.0000 1237.2500 108.69%
2976.00/2986.61 c 2987 3978 1729 1 2582.0000 1238.7632 108.43%
2981.49/2992.19 c 2992 3985 1734 1 2582.0000 1238.7632 108.43%
2986.57/2997.26 c 2997 3992 1741 1 2582.0000 1248.9969 106.73%
2994.24/3004.96 c 3005 4000 1745 1 2582.0000 1251.2500 106.35%
2999.92/3010.67 c 3011 4005 1750 1 2582.0000 1251.2500 106.35%
3007.40/3018.13 c 3018 4019 1758 1 2582.0000 1251.2500 106.35%
3013.18/3023.96 c 3024 4024 1763 1 2582.0000 1251.2500 106.35%
3018.76/3029.56 c 3030 4028 1767 1 2582.0000 1252.0000 106.23%
3025.43/3036.27 c 3036 4031 1770 1 2582.0000 1252.0000 106.23%
3031.22/3042.03 c 3042 4041 1776 1 2582.0000 1252.0000 106.23%
3037.89/3048.70 c 3049 4055 1780 1 2582.0000 1252.0000 106.23%
3046.28/3057.10 c 3057 4062 1785 1 2582.0000 1253.5000 105.98%
3051.95/3062.86 c 3063 4070 1787 1 2582.0000 1253.5000 105.98%
3057.33/3068.29 c 3068 4072 1789 1 2582.0000 1253.5000 105.98%
3062.51/3073.41 c 3073 4078 1791 1 2582.0000 1253.5000 105.98%
3068.49/3079.44 c 3079 4087 1796 1 2582.0000 1253.5000 105.98%
3073.47/3084.49 c 3084 4101 1804 1 2582.0000 1253.5000 105.98%
3078.55/3089.52 c 3090 4104 1807 1 2582.0000 1253.5000 105.98%
3083.94/3094.98 c 3095 4127 1816 1 2582.0000 1253.5000 105.98%
3091.91/3102.99 c 3103 4140 1821 1 2582.0000 1253.5000 105.98%
3098.39/3109.41 c 3109 4144 1825 1 2582.0000 1253.5000 105.98%
3105.07/3116.14 c 3116 4150 1831 1 2582.0000 1266.0000 103.95%
3110.65/3121.71 c 3122 4159 1834 1 2582.0000 1286.2677 100.74%
3116.23/3127.33 c 3127 4163 1838 1 2582.0000 1286.2677 100.74%
3121.21/3132.34 c 3132 4170 1841 1 2582.0000 1286.2677 100.74%
3127.40/3138.52 c 3139 4179 1846 1 2582.0000 1286.2677 100.74%
3136.57/3147.77 c 3148 4188 1849 1 2582.0000 1295.5000 99.31%
3143.94/3155.19 c 3155 4192 1853 1 2582.0000 1295.5000 99.31%
3151.31/3162.52 c 3163 4197 1856 1 2582.0000 1295.5000 99.31%
3159.79/3171.08 c 3171 4208 1861 1 2582.0000 1295.5000 99.31%
3165.16/3176.41 c 3176 4211 1864 1 2582.0000 1295.5000 99.31%
3171.45/3182.76 c 3183 4218 1863 1 2582.0000 1298.2500 98.88%
3177.03/3188.38 c 3188 4229 1870 1 2582.0000 1298.2500 98.88%
3184.10/3195.41 c 3195 4239 1872 1 2582.0000 1298.2500 98.88%
3189.88/3201.29 c 3201 4246 1875 1 2582.0000 1298.2500 98.88%
3196.66/3208.06 c 3208 4250 1877 1 2582.0000 1298.2500 98.88%
3202.75/3214.18 c 3214 4256 1879 1 2582.0000 1298.2500 98.88%
3211.81/3223.20 c 3223 4265 1882 1 2582.0000 1298.2500 98.88%
3217.29/3228.78 c 3229 4272 1885 1 2582.0000 1298.2500 98.88%
3224.47/3235.90 c 3236 4277 1888 1 2582.0000 1298.2500 98.88%
3229.95/3241.48 c 3241 4286 1891 1 2582.0000 1298.2500 98.88%
3235.63/3247.16 c 3247 4293 1890 1 2582.0000 1298.2500 98.88%
3242.30/3253.86 c 3254 4300 1895 1 2582.0000 1298.2500 98.88%
3247.49/3259.07 c 3259 4318 1897 1 2582.0000 1302.0000 98.31%
3254.36/3265.95 c 3266 4333 1898 1 2582.0000 1302.0000 98.31%
3259.55/3271.17 c 3271 4347 1898 1 2582.0000 1302.0000 98.31%
3264.93/3276.51 c 3277 4355 1898 1 2582.0000 1302.0000 98.31%
3272.30/3283.93 c 3284 4360 1903 1 2582.0000 1302.0000 98.31%
3278.28/3289.98 c 3290 4367 1904 1 2582.0000 1302.0000 98.31%
3283.47/3295.11 c 3295 4371 1908 1 2582.0000 1302.0000 98.31%
3291.64/3303.31 c 3303 4377 1908 1 2582.0000 1302.0000 98.31%
3298.62/3310.31 c 3310 4398 1915 1 2582.0000 1302.0000 98.31%
3305.09/3316.83 c 3317 4418 1921 1 2582.0000 1302.1900 98.28%
3310.68/3322.41 c 3322 4433 1920 1 2582.0000 1302.1900 98.28%
3316.26/3328.01 c 3328 4437 1924 1 2582.0000 1302.1900 98.28%
3322.04/3333.84 c 3334 4443 1926 1 2582.0000 1302.1900 98.28%
3327.23/3339.09 c 3339 4448 1929 1 2582.0000 1306.0000 97.70%
3332.31/3344.16 c 3344 4457 1936 1 2582.0000 1306.0000 97.70%
3337.98/3349.86 c 3350 4459 1938 1 2582.0000 1306.0000 97.70%
3346.55/3358.46 c 3358 4488 1943 1 2582.0000 1310.6579 97.00%
3351.83/3363.70 c 3364 4499 1948 1 2582.0000 1310.6579 97.00%
3357.01/3368.93 c 3369 4522 1951 1 2582.0000 1310.6579 97.00%
3363.09/3375.02 c 3375 4530 1955 1 2582.0000 1310.6579 97.00%
3368.08/3380.10 c 3380 4539 1960 1 2582.0000 1313.1250 96.63%
3373.75/3385.72 c 3386 4555 1966 1 2582.0000 1313.1250 96.63%
3379.52/3391.59 c 3392 4567 1967 1 2582.0000 1313.1250 96.63%
3386.00/3398.01 c 3398 4576 1966 1 2582.0000 1313.1250 96.63%
3391.57/3403.67 c 3404 4578 1968 1 2582.0000 1314.0833 96.49%
3398.44/3410.51 c 3411 4582 1972 1 2582.0000 1314.0833 96.49%
3403.62/3415.75 c 3416 4587 1977 1 2582.0000 1314.0833 96.49%
3409.91/3422.02 c 3422 4604 1978 1 2582.0000 1314.0833 96.49%
3414.99/3427.11 c 3427 4609 1977 1 2582.0000 1316.5000 96.13%
3420.66/3432.84 c 3433 4611 1979 1 2582.0000 1316.5000 96.13%
3426.54/3438.73 c 3439 4619 1981 1 2582.0000 1320.8726 95.48%
3431.92/3444.14 c 3444 4622 1984 1 2582.0000 1320.8726 95.48%
3438.70/3450.96 c 3451 4626 1986 1 2582.0000 1320.8726 95.48%
3444.27/3456.51 c 3457 4641 1989 1 2582.0000 1320.8726 95.48%
3450.75/3463.06 c 3463 4646 1994 1 2582.0000 1320.8726 95.48%
3456.62/3468.94 c 3469 4649 1997 1 2582.0000 1320.8726 95.48%
3461.90/3474.24 c 3474 4653 1999 1 2582.0000 1320.8726 95.48%
3469.67/3482.10 c 3482 4657 2001 1 2582.0000 1320.8726 95.48%
3475.95/3488.34 c 3488 4660 2004 1 2582.0000 1325.5000 94.79%
3480.93/3493.35 c 3493 4667 2009 1 2582.0000 1325.5000 94.79%
3486.51/3498.95 c 3499 4675 2015 1 2582.0000 1325.5000 94.79%
3493.08/3505.55 c 3506 4679 2017 1 2582.0000 1325.6247 94.78%
3498.66/3511.14 c 3511 4685 2021 1 2582.0000 1325.6247 94.78%
3503.73/3516.21 c 3516 4689 2023 1 2582.0000 1335.3161 93.36%
3509.82/3522.39 c 3522 4697 2031 1 2582.0000 1335.3161 93.36%
3515.00/3527.59 c 3528 4704 2032 1 2582.0000 1335.3161 93.36%
3522.27/3534.89 c 3535 4715 2037 1 2582.0000 1335.3161 93.36%
3528.74/3541.38 c 3541 4720 2042 1 2582.0000 1338.2500 92.94%
3535.52/3548.14 c 3548 4724 2046 1 2582.0000 1338.2500 92.94%
3542.59/3555.29 c 3555 4730 2050 1 2582.0000 1338.2500 92.94%
3547.87/3560.54 c 3561 4735 2051 1 2582.0000 1338.2500 92.94%
3553.25/3565.96 c 3566 4744 2052 1 2582.0000 1338.2500 92.94%
3559.93/3572.67 c 3573 4748 2056 1 2582.0000 1338.2500 92.94%
3569.41/3582.14 c 3582 4756 2060 1 2582.0000 1338.2500 92.94%
3574.68/3587.46 c 3587 4760 2062 1 2582.0000 1338.2500 92.94%
3585.15/3597.93 c 3598 4761 2063 1 2582.0000 1338.2500 92.94%
3587.35/3600.13 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.35/3600.13 c Total Time : 3600.13
3587.35/3600.13 c solving : 3600.13
3587.35/3600.13 c presolving : 0.69 (included in solving)
3587.35/3600.13 c B&B Tree :
3587.35/3600.13 c nodes (total) : 1
3587.35/3600.13 c Solution :
3587.35/3600.13 c Solutions found : 7
3587.35/3600.13 c Primal Bound : +2.58200000000000e+03
3587.35/3600.13 c Dual Bound : +1.33825000000000e+03
3587.35/3600.13 c Gap : 92.93854 %
3587.35/3600.13 c * Warning: final gap: 9.29385e-01 is greater than SCIPepsilon: 1.00000e-09
3587.35/3600.14 o 2582
3587.35/3600.14 s SATISFIABLE
3587.35/3600.14 v x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 x142 x141 -x140 -x139 x138 -x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128
3587.35/3600.14 v -x127 x126 -x125 -x124 x123 -x122 -x121 x120 -x119 -x118 x117 -x116 -x115 x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106
3587.35/3600.14 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
3587.35/3600.14 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
3587.35/3600.14 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
3587.35/3600.14 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
3587.35/3600.14 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 x3816 x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 x3807 x3806
3587.35/3600.14 v -x3805 x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 x3795 x3794 -x3793 x3792 x3791 -x3790 -x3789 -x3788 -x3787
3587.35/3600.14 v -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 x3780 x3779 -x3778 x3777 x3776 x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768
3587.35/3600.14 v -x3767 -x3766 -x3765 -x3764 -x3763 x3762 x3761 -x3760 x3759 x3758 x3757 x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750
3587.35/3600.14 v -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 x3741 x3740 -x3739 x3738 x3737 x3736 x3735 x3734 -x3733 -x3732 -x3731
3587.35/3600.14 v -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 x3717 x3716 -x3715 x3714 x3713 x3712
3587.35/3600.14 v x3711 x3710 x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694
3587.35/3600.14 v -x3693 -x3692 -x3691 x3690 x3689 -x3688 x3687 x3686 x3685 x3684 x3683 x3682 x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675
3587.35/3600.14 v -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 x3660 x3659 -x3658 x3657
3587.35/3600.14 v x3656 x3655 x3654 x3653 x3652 x3651 x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638
3587.35/3600.14 v -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 x3627 x3626 -x3625 x3624 x3623 x3622 x3621 x3620 x3619
3587.35/3600.14 v x3618 x3617 x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600
3587.35/3600.14 v -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 x3591 x3590 -x3589 x3588 x3587 x3586 x3585 x3584 x3583 x3582 x3581
3587.35/3600.14 v x3580 x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
3587.35/3600.14 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 x3552 x3551 -x3550 x3549 x3548 x3547 x3546 x3545 x3544
3587.35/3600.14 v x3543 x3542 x3541 x3540 x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525
3587.35/3600.14 v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 x3510 x3509 -x3508 x3507
3587.35/3600.14 v x3506 x3505 x3504 x3503 x3502 x3501 x3500 x3499 x3498 x3497 x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488
3587.35/3600.14 v -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470
3587.35/3600.14 v -x3469 -x3468 -x3467 -x3466 x3465 x3464 -x3463 x3462 x3461 x3460 x3459 x3458 x3457 x3456 x3455 x3454 x3453 x3452 x3451 x3450
3587.35/3600.14 v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432
3587.35/3600.14 v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 x3417 x3416 -x3415 x3414
3587.35/3600.14 v x3413 x3412 x3411 x3410 x3409 x3408 x3407 x3406 x3405 x3404 x3403 x3402 x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394
3587.35/3600.14 v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376
3587.35/3600.14 v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358
3587.35/3600.14 v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340
3587.35/3600.14 v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322
3587.35/3600.14 v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305
3587.35/3600.14 v -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287
3587.35/3600.14 v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 x3272 -x3271 -x3270 -x3269
3587.35/3600.14 v -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 -x3255 -x3254 -x3253 -x3252 -x3251
3587.35/3600.14 v -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233
3587.35/3600.14 v -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215
3587.35/3600.14 v -x3214 x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 x3197
3587.35/3600.14 v x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179
3587.35/3600.14 v -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161
3587.35/3600.14 v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143
3587.35/3600.14 v -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 x3135 x3134 x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125
3587.35/3600.14 v -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107
3587.35/3600.14 v -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089
3587.35/3600.14 v -x3088 -x3087 x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071
3587.35/3600.14 v x3070 x3069 x3068 x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053
3587.35/3600.14 v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
3587.35/3600.14 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 x3018 -x3017
3587.35/3600.14 v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 x3002 x3001 x3000 x2999 x2998
3587.35/3600.14 v -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980
3587.35/3600.14 v -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962
3587.35/3600.14 v -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947 -x2946 -x2945 -x2944
3587.35/3600.14 v -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 x2931 x2930 x2929 x2928 x2927 x2926
3587.35/3600.14 v -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908
3587.35/3600.14 v -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890
3587.35/3600.14 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 x2873 -x2872
3587.35/3600.14 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 x2857 x2856 x2855 x2854
3587.35/3600.14 v x2853 x2852 x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835
3587.35/3600.14 v -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
3587.35/3600.14 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800
3587.35/3600.14 v -x2799 -x2798 -x2797 x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782
3587.35/3600.14 v -x2781 x2780 x2779 x2778 x2777 x2776 x2775 x2774 x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
3587.35/3600.14 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745
3587.35/3600.14 v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
3587.35/3600.14 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709
3587.35/3600.14 v -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 x2700 x2699 x2698 x2697 x2696 x2695 x2694 x2693 x2692 -x2691 -x2690
3587.35/3600.14 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672
3587.35/3600.14 v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654
3587.35/3600.14 v -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636
3587.35/3600.14 v -x2635 -x2634 x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618
3587.35/3600.14 v x2617 x2616 x2615 x2614 x2613 x2612 x2611 x2610 x2609 x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3587.35/3600.14 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581
3587.35/3600.14 v -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563
3587.35/3600.14 v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 x2547 -x2546 -x2545
3587.35/3600.14 v -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 x2531 x2530 x2529 x2528 x2527
3587.35/3600.14 v x2526 x2525 x2524 x2523 x2522 x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
3587.35/3600.14 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
3587.35/3600.14 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
3587.35/3600.14 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454
3587.35/3600.14 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 x2442 x2441 x2440 x2439 x2438 x2437 x2436 x2435
3587.35/3600.14 v x2434 x2433 x2432 x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
3587.35/3600.14 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399
3587.35/3600.14 v -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381
3587.35/3600.14 v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 x2366 -x2365 -x2364 -x2363
3587.35/3600.14 v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 x2349 x2348 x2347 x2346 x2345 x2344
3587.35/3600.14 v x2343 x2342 x2341 x2340 x2339 x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325
3587.35/3600.14 v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308
3587.35/3600.14 v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290
3587.35/3600.14 v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272
3587.35/3600.14 v x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 x2255 x2254
3587.35/3600.14 v x2253 x2252 x2251 x2250 x2249 x2248 x2247 x2246 x2245 x2244 x2243 x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234
3587.35/3600.14 v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
3587.35/3600.14 v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
3587.35/3600.14 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
3587.35/3600.14 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162
3587.35/3600.14 v -x2161 -x2160 -x2159 -x2158 x2157 x2156 x2155 x2154 x2153 x2152 x2151 x2150 x2149 x2148 x2147 x2146 x2145 x2144 x2143 -x2142
3587.35/3600.14 v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125
3587.35/3600.14 v -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107
3587.35/3600.14 v -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089
3587.35/3600.14 v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071
3587.35/3600.14 v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053
3587.35/3600.14 v -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035
3587.35/3600.14 v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017
3587.35/3600.14 v -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000
3587.35/3600.14 v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982
3587.35/3600.14 v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964
3587.35/3600.14 v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946
3587.35/3600.14 v -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928
3587.35/3600.14 v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910
3587.35/3600.14 v -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892
3587.35/3600.14 v -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874
3587.35/3600.14 v -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 x1865 x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856
3587.35/3600.14 v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838
3587.35/3600.14 v -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821
3587.35/3600.14 v -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803
3587.35/3600.14 v -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785
3587.35/3600.14 v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767
3587.35/3600.14 v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 x1756 x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749
3587.35/3600.14 v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731
3587.35/3600.14 v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713
3587.35/3600.14 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695
3587.35/3600.14 v -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677
3587.35/3600.14 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659
3587.35/3600.14 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 x1643 x1642 x1641
3587.35/3600.14 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
3587.35/3600.14 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
3587.35/3600.14 v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587
3587.35/3600.14 v -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570
3587.35/3600.14 v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
3587.35/3600.14 v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534
3587.35/3600.14 v -x1533 -x1532 -x1531 -x1530 x1529 x1528 x1527 x1526 x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515
3587.35/3600.14 v -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497
3587.35/3600.14 v -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
3587.35/3600.14 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
3587.35/3600.14 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
3587.35/3600.14 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
3587.35/3600.14 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 x1411 x1410 x1409 x1408
3587.35/3600.14 v x1407 x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389
3587.35/3600.14 v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372
3587.35/3600.14 v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354
3587.35/3600.14 v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336
3587.35/3600.14 v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318
3587.35/3600.14 v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300
3587.35/3600.14 v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 -x1283 -x1282 -x1281
3587.35/3600.14 v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
3587.35/3600.14 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
3587.35/3600.14 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228
3587.35/3600.14 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
3587.35/3600.14 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
3587.35/3600.14 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
3587.35/3600.14 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 x1165 x1164 x1163 x1162 x1161 x1160 x1159 -x1158 -x1157 -x1156 -x1155
3587.35/3600.14 v -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
3587.35/3600.14 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119
3587.35/3600.14 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102
3587.35/3600.14 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084
3587.35/3600.14 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
3587.35/3600.14 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
3587.35/3600.14 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 -x1030 -x1029
3587.35/3600.14 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011
3587.35/3600.14 v -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992
3587.35/3600.14 v -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971
3587.35/3600.14 v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950
3587.35/3600.14 v -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
3587.35/3600.14 v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 x909
3587.35/3600.14 v x908 x907 x906 x905 x904 x903 x902 x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
3587.35/3600.14 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
3587.35/3600.14 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845
3587.35/3600.14 v -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824
3587.35/3600.14 v -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803
3587.35/3600.14 v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
3587.35/3600.14 v -x781 -x780 -x779 -x778 -x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759
3587.35/3600.14 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739
3587.35/3600.14 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718
3587.35/3600.14 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697
3587.35/3600.14 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
3587.35/3600.14 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
3587.35/3600.14 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 x640 x639 x638 x637 x636 x635 x634 x633
3587.35/3600.14 v x632 x631 x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612
3587.35/3600.14 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591
3587.35/3600.14 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570
3587.35/3600.14 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549
3587.35/3600.14 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528
3587.35/3600.14 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507
3587.35/3600.14 v -x506 -x505 -x504 -x503 -x502 x501 x500 x499 x498 x497 x496 x495 x494 x493 x492 x491 x490 x489 -x488 -x487 -x486 -x485 -x484
3587.35/3600.14 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
3587.35/3600.14 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
3587.35/3600.14 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
3587.35/3600.14 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
3587.35/3600.14 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
3587.35/3600.14 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359
3587.35/3600.15 v x358 x357 x356 x355 x354 x353 x352 x351 x350 x349 x348 x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336
3587.35/3600.15 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315
3587.35/3600.15 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
3587.35/3600.15 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
3587.35/3600.15 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
3587.35/3600.15 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
3587.35/3600.15 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 x213 x212 x211
3587.35/3600.15 v x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
3587.35/3600.15 v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
3587.35/3600.15 v -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: 63968 MiB (61458 MiB free)
memory of node 1: 64473 MiB (62322 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434944-1721168422/watcher-4434944-1721168422 -o /tmp/evaluation-result-4434944-1721168422/solver-4434944-1721168422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721161218-872637 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434944-1721168422.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=877462, runsolver pid=877459
[startup+0.100712 s]*
/proc/loadavg: 4.19 4.17 4.12 5/262 877463
/proc/meminfo: memFree=126722752/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=49068 memory=38384 CPUtime=0.09 cores=0,2
/proc/877462/stat : 877462 (fscip) R 877459 877462 872627 0 -1 4194304 8012 0 0 0 8 1 0 0 20 0 1 0 169011139 50245632 9596 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 12267 9596 2702 3032 0 8667 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49068 KiB
Current children cumulated memory: 38384 KiB
[startup+0.205691 s]*
/proc/loadavg: 4.19 4.17 4.12 5/262 877463
/proc/meminfo: memFree=126711672/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=60444 memory=49912 CPUtime=0.19 cores=0,2
/proc/877462/stat : 877462 (fscip) R 877459 877462 872627 0 -1 4194304 10882 0 0 0 18 1 0 0 20 0 1 0 169011139 61894656 12478 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 15111 12478 2750 3032 0 11511 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60444 KiB
Current children cumulated memory: 49912 KiB
[startup+0.305713 s]*
/proc/loadavg: 4.19 4.17 4.12 5/262 877463
/proc/meminfo: memFree=126709992/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=61668 memory=51232 CPUtime=0.28 cores=0,2
/proc/877462/stat : 877462 (fscip) R 877459 877462 872627 0 -1 4194304 11217 0 0 0 27 1 0 0 20 0 1 0 169011139 63148032 12808 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 15417 12808 2750 3032 0 11817 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61668 KiB
Current children cumulated memory: 51232 KiB
[startup+0.700191 s]
/proc/loadavg: 4.19 4.17 4.12 5/262 877463
/proc/meminfo: memFree=126707080/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=62696 memory=52288 CPUtime=0.67 cores=0,2
/proc/877462/stat : 877462 (fscip) R 877459 877462 872627 0 -1 4194304 11473 0 0 0 66 1 0 0 20 0 1 0 169011139 64200704 13072 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 15674 13072 2750 3032 0 12074 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62696 KiB
Current children cumulated memory: 52288 KiB
[startup+1.5007 s]
/proc/loadavg: 4.19 4.17 4.12 5/264 877465
/proc/meminfo: memFree=126661896/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=189068 memory=145464 CPUtime=1.47 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 36717 0 0 0 142 5 0 0 20 0 3 0 169011139 193605632 36366 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 47267 36366 2910 3032 0 43121 0
[pid=877462/tid=877464] ppid=877459 vsize=189068 memory=4356 CPUtime=0.75 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 18694 0 0 0 73 2 0 0 20 0 3 0 169011211 193605632 36366 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=189068 memory=2268 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 169011213 193605632 36366 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 189068 KiB
Current children cumulated memory: 145464 KiB
[startup+3.10571 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 877465
/proc/meminfo: memFree=126577776/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=189068 memory=146528 CPUtime=3.05 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 48228 0 0 0 300 5 0 0 20 0 3 0 169011139 193605632 36632 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 47267 36632 2910 3032 0 43552 0
[pid=877462/tid=877464] ppid=877459 vsize=189068 memory=2268 CPUtime=2.34 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 30204 0 0 0 231 3 0 0 20 0 3 0 169011211 193605632 36632 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=189068 memory=1904 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 169011213 193605632 36632 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 189068 KiB
Current children cumulated memory: 146528 KiB
[startup+6.30071 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 877467
/proc/meminfo: memFree=126540020/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=254604 memory=170092 CPUtime=6.22 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 61007 0 0 0 615 7 0 0 20 0 3 0 169011139 260714496 42523 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 63651 42523 2974 3032 0 49266 0
[pid=877462/tid=877464] ppid=877459 vsize=254604 memory=0 CPUtime=5.5 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 42335 0 0 0 546 4 0 0 20 0 3 0 169011211 260714496 42523 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=254604 memory=3545599598444233304 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 169011213 260714496 42523 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 254604 KiB
Current children cumulated memory: 170092 KiB
[startup+12.7067 s]
/proc/loadavg: 4.15 4.16 4.12 5/264 877468
/proc/meminfo: memFree=126522152/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=254604 memory=170152 CPUtime=12.57 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 79577 0 0 0 1249 8 0 0 20 0 3 0 169011139 260714496 42538 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 63651 42538 2974 3032 0 49266 0
[pid=877462/tid=877464] ppid=877459 vsize=254604 memory=146652 CPUtime=11.85 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 60856 0 0 0 1180 5 0 0 20 0 3 0 169011211 260714496 42538 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=254604 memory=170092 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 169011213 260714496 42538 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 254604 KiB
Current children cumulated memory: 170152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.11 5/266 877473
/proc/meminfo: memFree=126467676/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=254604 memory=170220 CPUtime=25.25 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 101109 0 0 0 2516 9 0 0 20 0 3 0 169011139 260714496 42555 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 63651 42555 2974 3032 0 49266 0
[pid=877462/tid=877464] ppid=877459 vsize=254604 memory=12088 CPUtime=24.53 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 82307 0 0 0 2447 6 0 0 20 0 3 0 169011211 260714496 42555 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=254604 memory=170164 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 169011213 260714496 42555 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 254604 KiB
Current children cumulated memory: 170220 KiB
[startup+51.1055 s]
/proc/loadavg: 4.22 4.18 4.12 5/264 877524
/proc/meminfo: memFree=126125048/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=334536 memory=203276 CPUtime=50.77 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 145724 0 0 0 5063 14 0 0 20 0 3 0 169011139 342564864 50819 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 83634 50819 2974 3032 0 67446 0
[pid=877462/tid=877464] ppid=877459 vsize=334536 memory=175600 CPUtime=50.04 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 126245 0 0 0 4993 11 0 0 20 0 3 0 169011211 342564864 50819 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=334536 memory=186936 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 169011213 342564864 50819 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 334536 KiB
Current children cumulated memory: 203276 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/266 877533
/proc/meminfo: memFree=125033940/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=403896 memory=247252 CPUtime=101.78 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 197453 0 0 0 10159 19 0 0 20 0 3 0 169011139 413589504 61813 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 100974 61813 2974 3032 0 86200 0
[pid=877462/tid=877464] ppid=877459 vsize=403896 memory=245144 CPUtime=101.05 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 177337 0 0 0 10089 16 0 0 20 0 3 0 169011211 413589504 61813 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=403896 memory=12512 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 169011213 413589504 61813 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 403896 KiB
Current children cumulated memory: 247252 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/266 877545
/proc/meminfo: memFree=124907984/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=478528 memory=268300 CPUtime=161.56 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 230404 0 0 0 16133 23 0 0 20 0 3 0 169011139 490012672 67075 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 119632 67075 2974 3032 0 105748 0
[pid=877462/tid=877464] ppid=877459 vsize=478528 memory=245132 CPUtime=160.82 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 210230 0 0 0 16063 19 0 0 20 0 3 0 169011211 490012672 67075 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=478528 memory=260000 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 169011213 490012672 67075 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 478528 KiB
Current children cumulated memory: 268300 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/266 877556
/proc/meminfo: memFree=124649812/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=550864 memory=291188 CPUtime=221.32 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 261575 0 0 0 22104 28 0 0 20 0 3 0 169011139 564084736 72797 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 137716 72797 2974 3032 0 118987 0
[pid=877462/tid=877464] ppid=877459 vsize=550864 memory=279260 CPUtime=220.59 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 241350 0 0 0 22034 25 0 0 20 0 3 0 169011211 564084736 72797 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=550864 memory=290540 CPUtime=0 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 169011213 564084736 72797 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 550864 KiB
Current children cumulated memory: 291188 KiB
################
# More data... #
################
/proc/877462/statm: 354931 313097 3294 3032 0 337323 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=281109502324592 CPUtime=3449.18 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1504174 0 0 0 344755 163 0 0 20 0 3 0 169011211 1453797376 313097 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=1240380 CPUtime=0.02 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 85 0 0 0 0 2 0 0 20 0 3 0 169011213 1453797376 313097 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3450.05 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1252388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/262 879349
/proc/meminfo: memFree=121618944/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1257968 CPUtime=3509.82 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1536405 0 0 0 350808 174 0 0 20 0 3 0 169011139 1453797376 314492 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 314492 3294 3032 0 339279 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=25944 CPUtime=3508.95 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1515664 0 0 0 350730 165 0 0 20 0 3 0 169011211 1453797376 314492 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=41816 CPUtime=0.02 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 88 0 0 0 0 2 0 0 20 0 3 0 169011213 1453797376 314492 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3509.82 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1257968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/262 879359
/proc/meminfo: memFree=121495444/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263496 CPUtime=3569.6 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1547986 0 0 0 356784 176 0 0 20 0 3 0 169011139 1453797376 315874 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315874 3294 3032 0 341404 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=1258720 CPUtime=3568.73 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527235 0 0 0 356706 167 0 0 20 0 3 0 169011211 1453797376 315874 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=1263496 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315874 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3569.6 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263496 KiB
[startup+3600.16 s]
# the end of solver process 877462 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.64 s, system=1.77678 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.05 4.09 4.11 5/262 879359
/proc/meminfo: memFree=121495444/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263548 CPUtime=3571.3 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1548104 0 0 0 356954 176 0 0 20 0 3 0 169011139 1453797376 315887 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315887 3294 3032 0 341456 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=33588 CPUtime=3570.43 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527353 0 0 0 356876 167 0 0 20 0 3 0 169011211 1453797376 315887 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=-8621784567864212633 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315887 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263548 KiB
[startup+3590.4 s]
/proc/loadavg: 4.05 4.09 4.11 5/254 879361
/proc/meminfo: memFree=122807168/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263776 CPUtime=3577.67 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1548359 0 0 0 357591 176 0 0 20 0 3 0 169011139 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315944 3294 3032 0 341873 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=1262804 CPUtime=3576.81 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527608 0 0 0 357514 167 0 0 20 0 3 0 169011211 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=41816 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3577.67 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263776 KiB
[startup+3596.8 s]
/proc/loadavg: 3.88 4.05 4.10 3/244 879425
/proc/meminfo: memFree=122868908/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263776 CPUtime=3584.05 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1548443 0 0 0 358229 176 0 0 20 0 3 0 169011139 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315944 3294 3032 0 341873 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=41816 CPUtime=3583.19 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527692 0 0 0 358152 167 0 0 20 0 3 0 169011211 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=12088 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3584.05 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263776 KiB
[startup+3598.4 s]
/proc/loadavg: 3.73 4.02 4.09 3/244 879425
/proc/meminfo: memFree=122849980/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263776 CPUtime=3585.65 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1548543 0 0 0 358389 176 0 0 20 0 3 0 169011139 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315944 3294 3032 0 341873 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=41816 CPUtime=3584.78 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527792 0 0 0 358311 167 0 0 20 0 3 0 169011211 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=5500 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263776 KiB
[startup+3599.2 s]
/proc/loadavg: 3.73 4.02 4.09 3/244 879425
/proc/meminfo: memFree=122849980/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263776 CPUtime=3586.45 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1548610 0 0 0 358469 176 0 0 20 0 3 0 169011139 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315944 3294 3032 0 341873 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=25944 CPUtime=3585.58 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527859 0 0 0 358391 167 0 0 20 0 3 0 169011211 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=32872 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315944 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263776 KiB
[startup+3599.6 s]
/proc/loadavg: 3.73 4.02 4.09 3/244 879425
/proc/meminfo: memFree=122849980/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263780 CPUtime=3586.85 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1548636 0 0 0 358509 176 0 0 20 0 3 0 169011139 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315945 3294 3032 0 341873 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=6720669848097472874 CPUtime=3585.98 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527885 0 0 0 358431 167 0 0 20 0 3 0 169011211 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=1904 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263780 KiB
[startup+3600 s]*
/proc/loadavg: 3.73 4.02 4.09 3/244 879425
/proc/meminfo: memFree=122849980/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263780 CPUtime=3587.25 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1548637 0 0 0 358549 176 0 0 20 0 3 0 169011139 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315945 3294 3032 0 341873 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=6720668731422753129 CPUtime=3586.38 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1527886 0 0 0 358471 167 0 0 20 0 3 0 169011211 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=-8621784567864212633 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263780 KiB
[startup+3600.11 s]
/proc/loadavg: 3.73 4.02 4.09 3/244 879425
/proc/meminfo: memFree=122849980/131524600 swapFree=131071996/131071996
[pid=877462] ppid=877459 vsize=1419724 memory=1263780 CPUtime=3587.35 cores=0,2
/proc/877462/stat : 877462 (fscip) S 877459 877462 872627 0 -1 1077936128 1549224 0 0 0 358559 176 0 0 20 0 3 0 169011139 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
/proc/877462/statm: 354931 315945 3294 3032 0 341873 0
[pid=877462/tid=877464] ppid=877459 vsize=1419724 memory=1263496 CPUtime=3586.48 cores=0,2
/proc/877462/task/877464/stat : 877464 (fscip) R 877459 877462 872627 0 -1 4194368 1528472 0 0 0 358481 167 0 0 20 0 3 0 169011211 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
[pid=877462/tid=877465] ppid=877459 vsize=1419724 memory=1263776 CPUtime=0.03 cores=0,2
/proc/877462/task/877465/stat : 877465 (fscip) S 877459 877462 872627 0 -1 1077936192 89 0 0 0 1 2 0 0 20 0 3 0 169011213 1453797376 315945 134679101440 4194304 16613245 140735188847408 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31256576 140735188849685 140735188849801 140735188849801 140735188856816 0
Current children cumulated CPU time: 3587.35 s
Current children cumulated vsize: 1419724 KiB
Current children cumulated memory: 1263780 KiB
Child status: 0
Real time (s): 3600.16
CPU time (s): 3587.41
CPU user time (s): 3585.64
CPU system time (s): 1.77678
CPU usage (%): 99.6459
Max. virtual memory (cumulated for all children) (KiB): 1419724
Max. memory (cumulated for all children) (KiB): 1263780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.64
system time used= 1.77678
maximum resident set size= 1263780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1551241
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= 7158
involuntary context switches= 25283
# summary of solver processes directly reported to runsolver:
# pid: 877462
# total CPU time (s): 3587.41
# total CPU user time (s): 3585.64
# total CPU system time (s): 1.77678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97248 second user time and 16.062 second system time
The end
Begin job on nodeC032 at 2024-07-17 00:20:34
IDJOB=4434944
IDBENCH=158576
IDSOLVER=3064
FILE ID=nodeC032/4434944-1721168422
RUNJOBID= nodeC032-1721161218-872637
SLURM_JOB_ID= 7505777
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434944-1721168422/watcher-4434944-1721168422 -o /tmp/evaluation-result-4434944-1721168422/solver-4434944-1721168422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721161218-872637 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434944-1721168422.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=807886037
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.358
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.695
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.305
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.728
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.680
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.709
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.714
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126752308 kB
MemAvailable: 129452396 kB
Buffers: 431788 kB
Cached: 3077864 kB
SwapCached: 0 kB
Active: 744704 kB
Inactive: 3369308 kB
Active(anon): 1556 kB
Inactive(anon): 640536 kB
Active(file): 743148 kB
Inactive(file): 2728772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113564 kB
Writeback: 12 kB
AnonPages: 604448 kB
Mapped: 140188 kB
Shmem: 37720 kB
KReclaimable: 135984 kB
Slab: 247720 kB
SReclaimable: 135984 kB
SUnreclaim: 111736 kB
KernelStack: 4176 kB
PageTables: 10604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 777392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC032 at 2024-07-17 01:20:35