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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 53694464, getVmSize() = 53694464, SCIPgetMemUsed() = 26238697, SCIPgetMemTotal() = 30964457, SCIPgetMemExternEstim() = 18328217
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.19/0.22 c ** Estimated virtualMemUsedAtSolver = 50412768, getVmSize() = 82792448, SCIPgetMemUsed() = 29822895, SCIPgetMemTotal() = 57290935, SCIPgetMemExternEstim() = 18328217
0.19/0.22 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.19/0.22 c Original Problem :
0.19/0.22 c Problem name : instance-4434753-1721105245
0.19/0.22 c Variables : 4318 (4318 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.22 c Constraints : 15120
0.19/0.22 c Objective sense : minimize
0.19/0.22 c Presolved Problem :
0.19/0.22 c Variables : 3770 (3770 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.22 c Constraints : 3720
0.19/0.22 c Constraints : Number
0.19/0.22 c knapsack : 1
0.19/0.22 c setppc : 429
0.19/0.22 c and : 3285
0.19/0.22 c logicor : 5
0.19/0.22 c ** Instance transfer method used: 0
0.19/0.23 c ** ParaScipInstance copy does not increase the number of variables. **
0.19/0.24 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.19/0.24 c Nodes Active
0.19/0.24 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.38/0.42 c * 0 0 1 1 22.0000 - -
8.15/8.28 c * 8 0 1 1 18.0000 - -
8.15/8.28 c 8 0 1 1 18.0000 - -
14.64/14.77 c 15 4 3 1 18.0000 11.9686 50.39%
21.31/21.46 c 21 8 7 1 18.0000 12.1139 48.59%
28.50/28.61 c 29 11 10 1 18.0000 12.1139 48.59%
34.28/34.42 c 34 13 12 1 18.0000 12.1139 48.59%
40.37/40.58 c 41 16 15 1 18.0000 12.1139 48.59%
45.55/45.75 c 46 29 28 1 18.0000 12.2927 46.43%
51.73/51.96 c 52 34 33 1 18.0000 12.3432 45.83%
57.71/57.96 c 58 48 47 1 18.0000 12.4719 44.32%
63.80/64.01 c 64 56 55 1 18.0000 12.4719 44.32%
69.38/69.61 c 70 61 60 1 18.0000 12.4719 44.32%
75.07/75.37 c 75 70 69 1 18.0000 12.5136 43.84%
80.55/80.83 c 81 78 77 1 18.0000 12.5268 43.69%
85.84/86.13 c 86 82 81 1 18.0000 12.5594 43.32%
93.22/93.55 c 94 90 89 1 18.0000 12.5594 43.32%
102.20/102.51 c 103 92 91 1 18.0000 12.5594 43.32%
110.28/110.66 c 111 97 96 1 18.0000 12.5846 43.03%
115.46/115.84 c 116 106 105 1 18.0000 12.5985 42.87%
120.95/121.36 c 121 111 110 1 18.0000 12.5985 42.87%
126.34/126.76 c 127 115 114 1 18.0000 12.5985 42.87%
131.73/132.12 c 132 121 120 1 18.0000 12.7019 41.71%
139.30/139.70 c 140 127 126 1 18.0000 12.7664 41.00%
144.88/145.32 c 145 137 136 1 18.0000 12.7814 40.83%
150.37/150.80 c 151 141 140 1 18.0000 12.7814 40.83%
155.76/156.25 c 156 152 151 1 18.0000 12.7814 40.83%
160.94/161.48 c 161 162 161 1 18.0000 12.8554 40.02%
166.83/167.32 c 167 171 170 1 18.0000 12.9185 39.34%
172.31/172.89 c 173 181 180 1 18.0000 12.9185 39.34%
178.10/178.63 c 179 196 195 1 18.0000 12.9247 39.27%
191.97/192.51 c 193 201 198 1 18.0000 12.9247 39.27%
197.56/198.15 c 198 207 204 1 18.0000 12.9287 39.22%
205.33/205.98 c 206 216 213 1 18.0000 12.9289 39.22%
210.81/211.47 c 211 218 215 1 18.0000 12.9289 39.22%
216.51/217.17 c 217 228 225 1 18.0000 12.9289 39.22%
226.08/226.73 c 227 236 233 1 18.0000 12.9528 38.97%
238.05/238.72 c 239 243 240 1 18.0000 12.9614 38.87%
244.53/245.27 c 245 248 245 1 18.0000 12.9614 38.87%
254.10/254.87 c 255 253 250 1 18.0000 12.9614 38.87%
260.00/260.72 c 261 264 261 1 18.0000 12.9905 38.56%
265.68/266.45 c 266 273 270 1 18.0000 12.9905 38.56%
270.67/271.47 c 271 274 271 1 18.0000 12.9905 38.56%
278.85/279.67 c 280 279 276 1 18.0000 12.9905 38.56%
287.72/288.53 c 289 280 277 1 18.0000 12.9905 38.56%
293.61/294.43 c 294 285 282 1 18.0000 12.9905 38.56%
299.40/300.27 c 300 294 291 1 18.0000 13.0445 37.99%
305.98/306.86 c 307 299 296 1 18.0000 13.0445 37.99%
315.75/316.65 c 317 308 305 1 18.0000 13.0445 37.99%
325.33/326.27 c 326 318 315 1 18.0000 13.0587 37.84%
331.11/332.00 c 332 323 320 1 18.0000 13.0587 37.84%
337.29/338.25 c 338 330 327 1 18.0000 13.0587 37.84%
342.58/343.51 c 344 337 332 1 18.0000 13.0587 37.84%
352.55/353.51 c 354 343 338 1 18.0000 13.0587 37.84%
358.94/359.94 c 360 347 342 1 18.0000 13.0587 37.84%
364.52/365.52 c 366 355 350 1 18.0000 13.0707 37.71%
370.11/371.14 c 371 365 360 1 18.0000 13.0707 37.71%
376.29/377.33 c 377 370 365 1 18.0000 13.0707 37.71%
382.98/384.06 c 384 376 371 1 18.0000 13.0707 37.71%
390.96/392.03 c 392 383 378 1 18.0000 13.1488 36.89%
398.54/399.64 c 400 390 385 1 18.0000 13.1488 36.89%
407.41/408.59 c 409 399 394 1 18.0000 13.1488 36.89%
413.89/415.06 c 415 408 403 1 18.0000 13.1488 36.89%
419.88/421.07 c 421 418 413 1 18.0000 13.1498 36.88%
425.86/427.07 c 427 428 423 1 18.0000 13.1498 36.88%
442.92/444.15 c 444 433 428 1 18.0000 13.1498 36.88%
449.31/450.54 c 451 437 432 1 18.0000 13.1498 36.88%
459.28/460.54 c 461 439 434 1 18.0000 13.1498 36.88%
464.56/465.89 c 466 442 437 1 18.0000 13.1511 36.87%
470.75/472.03 c 472 446 441 1 18.0000 13.1511 36.87%
481.12/482.44 c 482 448 443 1 18.0000 13.1511 36.87%
486.81/488.16 c 488 450 445 1 18.0000 13.1511 36.87%
495.58/496.92 c 497 455 450 1 18.0000 13.1511 36.87%
502.56/503.96 c 504 456 451 1 18.0000 13.1511 36.87%
509.25/510.65 c 511 459 454 1 18.0000 13.1511 36.87%
514.94/516.36 c 516 464 459 1 18.0000 13.1511 36.87%
524.81/526.21 c 526 466 461 1 18.0000 13.1511 36.87%
532.19/533.60 c 534 469 464 1 18.0000 13.1511 36.87%
540.57/542.09 c 542 476 471 1 18.0000 13.2040 36.32%
547.85/549.31 c 549 480 475 1 18.0000 13.2040 36.32%
556.44/557.96 c 558 489 484 1 18.0000 13.2040 36.32%
562.12/563.70 c 564 490 485 1 18.0000 13.2040 36.32%
572.89/574.40 c 574 493 488 1 18.0000 13.2040 36.32%
584.17/585.79 c 586 496 491 1 18.0000 13.2040 36.32%
591.45/593.00 c 593 501 496 1 18.0000 13.2053 36.31%
597.13/598.76 c 599 504 499 1 18.0000 13.2099 36.26%
612.79/614.47 c 614 508 503 1 18.0000 13.2099 36.26%
621.17/622.81 c 623 510 505 1 18.0000 13.2099 36.26%
627.45/629.15 c 629 513 508 1 18.0000 13.2099 36.26%
634.73/636.42 c 636 515 510 1 18.0000 13.2099 36.26%
652.29/654.06 c 654 517 512 1 18.0000 13.2099 36.26%
658.87/660.69 c 661 520 515 1 18.0000 13.2099 36.26%
666.75/668.51 c 669 522 517 1 18.0000 13.2099 36.26%
674.03/675.83 c 676 523 518 1 18.0000 13.2099 36.26%
680.11/681.90 c 682 525 520 1 18.0000 13.2099 36.26%
685.89/687.71 c 688 529 524 1 18.0000 13.2099 36.26%
691.38/693.29 c 693 531 526 1 18.0000 13.2099 36.26%
696.47/698.34 c 698 536 531 1 18.0000 13.2142 36.22%
704.05/705.90 c 706 540 535 1 18.0000 13.2142 36.22%
717.92/719.89 c 720 541 536 1 18.0000 13.2142 36.22%
731.78/733.70 c 734 543 538 1 18.0000 13.2142 36.22%
737.07/739.10 c 739 545 540 1 18.0000 13.2142 36.22%
742.66/744.67 c 745 549 544 1 18.0000 13.2142 36.22%
751.04/753.08 c 753 552 547 1 18.0000 13.2142 36.22%
756.92/758.98 c 759 557 552 1 18.0000 13.2142 36.22%
764.01/766.05 c 766 558 553 1 18.0000 13.2142 36.22%
772.88/774.90 c 775 560 555 1 18.0000 13.2142 36.22%
778.96/781.02 c 781 563 558 1 18.0000 13.2161 36.20%
784.15/786.25 c 786 566 561 1 18.0000 13.2161 36.20%
789.33/791.47 c 791 571 566 1 18.0000 13.2161 36.20%
801.39/803.57 c 804 578 573 1 18.0000 13.2161 36.20%
806.99/809.15 c 809 583 578 1 18.0000 13.2161 36.20%
812.67/814.81 c 815 588 583 1 18.0000 13.2161 36.20%
824.64/826.83 c 827 589 584 1 18.0000 13.2161 36.20%
829.83/832.00 c 832 591 586 1 18.0000 13.2161 36.20%
838.11/840.31 c 840 594 589 1 18.0000 13.2257 36.10%
844.09/846.31 c 846 597 592 1 18.0000 13.2257 36.10%
850.28/852.51 c 853 603 596 1 18.0000 13.2257 36.10%
863.64/865.90 c 866 606 597 1 18.0000 13.2257 36.10%
868.83/871.15 c 871 608 599 1 18.0000 13.2257 36.10%
874.51/876.84 c 877 610 601 1 18.0000 13.2257 36.10%
886.28/888.66 c 889 616 607 1 18.0000 13.2430 35.92%
898.84/901.22 c 901 618 609 1 18.0000 13.2430 35.92%
906.92/909.38 c 909 621 612 1 18.0000 13.2430 35.92%
915.90/918.35 c 918 624 613 1 18.0000 13.2430 35.92%
922.78/925.21 c 925 627 616 1 18.0000 13.2430 35.92%
929.97/932.40 c 932 628 617 1 18.0000 13.2430 35.92%
940.45/942.93 c 943 633 622 1 18.0000 13.2532 35.82%
946.84/949.32 c 949 637 626 1 18.0000 13.2532 35.82%
1016.47/1019.16 c 1019 640 629 1 18.0000 13.2532 35.82%
1022.46/1025.12 c 1025 642 631 1 18.0000 13.2532 35.82%
1029.04/1031.71 c 1032 643 630 1 18.0000 13.2532 35.82%
1041.70/1044.44 c 1044 645 632 1 18.0000 13.2532 35.82%
1053.57/1056.34 c 1056 648 635 1 18.0000 13.2532 35.82%
1058.86/1061.66 c 1062 650 637 1 18.0000 13.2532 35.82%
1067.04/1069.82 c 1070 654 639 1 18.0000 13.2532 35.82%
1072.24/1075.02 c 1075 657 642 1 18.0000 13.2532 35.82%
1078.42/1081.26 c 1081 658 643 1 18.0000 13.2532 35.82%
1083.70/1086.51 c 1087 661 646 1 18.0000 13.2532 35.82%
1094.08/1096.94 c 1097 664 649 1 18.0000 13.2587 35.76%
1100.36/1103.25 c 1103 669 654 1 18.0000 13.2587 35.76%
1106.75/1109.67 c 1110 675 660 1 18.0000 13.2587 35.76%
1112.83/1115.78 c 1116 679 664 1 18.0000 13.2587 35.76%
1118.62/1121.59 c 1122 682 667 1 18.0000 13.2587 35.76%
1125.40/1128.30 c 1128 689 674 1 18.0000 13.2587 35.76%
1138.77/1141.70 c 1142 692 677 1 18.0000 13.2715 35.63%
1145.75/1148.71 c 1149 694 679 1 18.0000 13.2715 35.63%
1159.02/1162.01 c 1162 697 680 1 18.0000 13.2715 35.63%
1175.28/1178.37 c 1178 700 683 1 18.0000 13.2715 35.63%
1184.55/1187.61 c 1188 701 684 1 18.0000 13.2715 35.63%
1192.33/1195.46 c 1195 702 685 1 18.0000 13.2737 35.61%
1204.30/1207.49 c 1207 706 689 1 18.0000 13.2737 35.61%
1210.99/1214.17 c 1214 709 692 1 18.0000 13.2737 35.61%
1225.65/1228.87 c 1229 711 692 1 18.0000 13.2737 35.61%
1232.53/1235.71 c 1236 713 694 1 18.0000 13.2737 35.61%
1239.13/1242.35 c 1242 716 697 1 18.0000 13.2737 35.61%
1253.29/1256.50 c 1256 717 698 1 18.0000 13.2737 35.61%
1267.55/1270.89 c 1271 720 699 1 18.0000 13.2737 35.61%
1278.53/1281.84 c 1282 723 702 1 18.0000 13.2737 35.61%
1284.72/1288.03 c 1288 724 703 1 18.0000 13.2737 35.61%
1290.30/1293.69 c 1294 727 706 1 18.0000 13.2737 35.61%
1296.69/1300.04 c 1300 731 710 1 18.0000 13.2737 35.61%
1304.46/1307.87 c 1308 732 711 1 18.0000 13.2918 35.42%
1315.13/1318.53 c 1319 737 714 1 18.0000 13.2918 35.42%
1321.42/1324.88 c 1325 742 717 1 18.0000 13.2918 35.42%
1333.60/1337.07 c 1337 744 719 1 18.0000 13.2918 35.42%
1344.37/1347.88 c 1348 745 720 1 18.0000 13.2918 35.42%
1350.45/1353.92 c 1354 752 725 1 18.0000 13.2918 35.42%
1357.03/1360.59 c 1361 755 728 1 18.0000 13.2918 35.42%
1363.52/1367.07 c 1367 757 730 1 18.0000 13.2918 35.42%
1391.45/1395.05 c 1395 761 734 1 18.0000 13.2918 35.42%
1398.44/1402.05 c 1402 764 737 1 18.0000 13.3102 35.23%
1403.52/1407.14 c 1407 768 741 1 18.0000 13.3102 35.23%
1410.60/1414.24 c 1414 772 745 1 18.0000 13.3102 35.23%
1419.48/1423.15 c 1423 775 748 1 18.0000 13.3102 35.23%
1425.16/1428.88 c 1429 777 748 1 18.0000 13.3102 35.23%
1433.64/1437.36 c 1437 782 753 1 18.0000 13.3102 35.23%
1439.83/1443.51 c 1444 786 757 1 18.0000 13.3102 35.23%
1445.81/1449.57 c 1450 787 758 1 18.0000 13.3102 35.23%
1455.59/1459.30 c 1459 793 764 1 18.0000 13.3102 35.23%
1461.18/1464.91 c 1465 797 766 1 18.0000 13.3102 35.23%
1469.86/1473.61 c 1474 804 773 1 18.0000 13.3102 35.23%
1474.95/1478.73 c 1479 809 778 1 18.0000 13.3102 35.23%
1480.44/1484.21 c 1484 814 783 1 18.0000 13.3102 35.23%
1492.10/1495.95 c 1496 822 787 1 18.0000 13.3951 34.38%
1506.27/1510.15 c 1510 825 788 1 18.0000 13.3951 34.38%
1511.95/1515.86 c 1516 831 792 1 18.0000 13.3951 34.38%
1517.04/1520.95 c 1521 834 795 1 18.0000 13.3951 34.38%
1522.43/1526.37 c 1526 841 802 1 18.0000 13.3951 34.38%
1535.40/1539.33 c 1539 844 805 1 18.0000 13.3951 34.38%
1546.27/1550.23 c 1550 851 810 1 18.0000 13.3951 34.38%
1551.66/1555.66 c 1556 852 811 1 18.0000 13.4153 34.17%
1561.33/1565.33 c 1565 854 813 1 18.0000 13.4153 34.17%
1567.52/1571.56 c 1572 858 817 1 18.0000 13.4153 34.17%
1573.40/1577.42 c 1577 862 821 1 18.0000 13.4153 34.17%
1581.09/1585.16 c 1585 863 822 1 18.0000 13.4153 34.17%
1596.85/1600.97 c 1601 864 823 1 18.0000 13.4153 34.17%
1601.94/1606.00 c 1606 869 828 1 18.0000 13.4153 34.17%
1608.21/1612.34 c 1612 877 836 1 18.0000 13.4153 34.17%
1613.80/1617.96 c 1618 884 841 1 18.0000 13.4235 34.09%
1619.58/1623.76 c 1624 891 848 1 18.0000 13.4235 34.09%
1631.95/1636.16 c 1636 896 853 1 18.0000 13.4235 34.09%
1638.43/1642.69 c 1643 902 857 1 18.0000 13.4235 34.09%
1648.60/1652.86 c 1653 905 860 1 18.0000 13.4235 34.09%
1654.99/1659.22 c 1659 906 861 1 18.0000 13.4235 34.09%
1666.87/1671.17 c 1671 910 863 1 18.0000 13.4235 34.09%
1676.64/1680.97 c 1681 916 867 1 18.0000 13.4498 33.83%
1683.12/1687.46 c 1687 921 872 1 18.0000 13.4498 33.83%
1690.30/1694.63 c 1695 922 873 1 18.0000 13.4498 33.83%
1695.79/1700.14 c 1700 926 877 1 18.0000 13.4498 33.83%
1702.97/1707.30 c 1707 927 878 1 18.0000 13.4498 33.83%
1707.95/1712.35 c 1712 933 882 1 18.0000 13.4498 33.83%
1714.14/1718.55 c 1719 942 889 1 18.0000 13.4498 33.83%
1723.31/1727.79 c 1728 948 895 1 18.0000 13.4498 33.83%
1729.00/1733.44 c 1733 954 901 1 18.0000 13.4559 33.77%
1742.37/1746.85 c 1747 961 908 1 18.0000 13.4559 33.77%
1751.34/1755.81 c 1756 967 912 1 18.0000 13.4559 33.77%
1762.32/1766.85 c 1767 972 917 1 18.0000 13.4568 33.76%
1769.10/1773.62 c 1774 978 923 1 18.0000 13.4568 33.76%
1774.49/1779.03 c 1779 982 925 1 18.0000 13.4819 33.51%
1781.86/1786.42 c 1786 985 928 1 18.0000 13.4819 33.51%
1787.55/1792.13 c 1792 990 931 1 18.0000 13.4819 33.51%
1807.70/1812.37 c 1812 993 934 1 18.0000 13.4819 33.51%
1817.38/1822.00 c 1822 998 939 1 18.0000 13.4819 33.51%
1826.05/1830.79 c 1831 1004 945 1 18.0000 13.4819 33.51%
1831.84/1836.54 c 1837 1009 946 1 18.0000 13.4819 33.51%
1836.93/1841.69 c 1842 1011 948 1 18.0000 13.4819 33.51%
1847.20/1851.98 c 1852 1012 949 1 18.0000 13.4885 33.45%
1854.18/1858.90 c 1859 1015 952 1 18.0000 13.4885 33.45%
1860.27/1865.01 c 1865 1020 957 1 18.0000 13.4885 33.45%
1869.24/1874.09 c 1874 1023 960 1 18.0000 13.4885 33.45%
1874.52/1879.30 c 1879 1026 963 1 18.0000 13.4885 33.45%
1880.21/1885.03 c 1885 1029 964 1 18.0000 13.4885 33.45%
1887.00/1891.88 c 1892 1032 967 1 18.0000 13.4885 33.45%
1892.38/1897.27 c 1897 1034 969 1 18.0000 13.4885 33.45%
1898.87/1903.70 c 1904 1038 973 1 18.0000 13.4885 33.45%
1909.14/1914.04 c 1914 1040 975 1 18.0000 13.4885 33.45%
1914.42/1919.35 c 1919 1043 978 1 18.0000 13.4910 33.42%
1922.00/1926.97 c 1927 1047 982 1 18.0000 13.4910 33.42%
1927.79/1932.74 c 1933 1051 986 1 18.0000 13.4910 33.42%
1933.18/1938.14 c 1938 1055 988 1 18.0000 13.4910 33.42%
1939.27/1944.23 c 1944 1061 994 1 18.0000 13.4910 33.42%
1946.65/1951.62 c 1952 1065 998 1 18.0000 13.4910 33.42%
1967.39/1972.40 c 1972 1068 1001 1 18.0000 13.4910 33.42%
1980.46/1985.58 c 1986 1072 1005 1 18.0000 13.5035 33.30%
1987.94/1993.01 c 1993 1077 1010 1 18.0000 13.5035 33.30%
1994.12/1999.28 c 1999 1079 1012 1 18.0000 13.5035 33.30%
2001.11/2006.20 c 2006 1083 1014 1 18.0000 13.5035 33.30%
2012.87/2018.00 c 2018 1085 1016 1 18.0000 13.5035 33.30%
2020.66/2025.88 c 2026 1089 1020 1 18.0000 13.5035 33.30%
2041.49/2046.75 c 2047 1092 1023 1 18.0000 13.5035 33.30%
2048.08/2053.36 c 2053 1095 1026 1 18.0000 13.5035 33.30%
2053.37/2058.66 c 2059 1102 1031 1 18.0000 13.5113 33.22%
2059.55/2064.81 c 2065 1109 1036 1 18.0000 13.5113 33.22%
2067.53/2072.82 c 2073 1114 1041 1 18.0000 13.5113 33.22%
2076.41/2081.79 c 2082 1115 1042 1 18.0000 13.5113 33.22%
2081.89/2087.21 c 2087 1119 1046 1 18.0000 13.5113 33.22%
2090.97/2096.31 c 2096 1123 1050 1 18.0000 13.5113 33.22%
2095.96/2101.33 c 2101 1128 1053 1 18.0000 13.5113 33.22%
2101.04/2106.41 c 2106 1130 1055 1 18.0000 13.5113 33.22%
2107.53/2112.91 c 2113 1132 1057 1 18.0000 13.5113 33.22%
2113.61/2119.03 c 2119 1138 1061 1 18.0000 13.5113 33.22%
2119.09/2124.57 c 2125 1141 1064 1 18.0000 13.5113 33.22%
2131.16/2136.68 c 2137 1148 1071 1 18.0000 13.5154 33.18%
2136.86/2142.31 c 2142 1149 1072 1 18.0000 13.5154 33.18%
2144.14/2149.60 c 2150 1153 1076 1 18.0000 13.5154 33.18%
2152.72/2158.25 c 2158 1159 1082 1 18.0000 13.5154 33.18%
2158.51/2164.07 c 2164 1161 1084 1 18.0000 13.5154 33.18%
2164.19/2169.72 c 2170 1169 1088 1 18.0000 13.5154 33.18%
2173.86/2179.43 c 2179 1170 1089 1 18.0000 13.5154 33.18%
2178.94/2184.56 c 2185 1174 1093 1 18.0000 13.5173 33.16%
2185.73/2191.32 c 2191 1176 1095 1 18.0000 13.5173 33.16%
2193.31/2198.99 c 2199 1179 1098 1 18.0000 13.5173 33.16%
2198.99/2204.68 c 2205 1185 1104 1 18.0000 13.5173 33.16%
2206.57/2212.26 c 2212 1186 1105 1 18.0000 13.5173 33.16%
2211.76/2217.43 c 2217 1190 1109 1 18.0000 13.5173 33.16%
2216.95/2222.60 c 2223 1192 1111 1 18.0000 13.5173 33.16%
2222.43/2228.18 c 2228 1198 1117 1 18.0000 13.5173 33.16%
2228.12/2233.82 c 2234 1204 1123 1 18.0000 13.5175 33.16%
2238.09/2243.88 c 2244 1209 1126 1 18.0000 13.5175 33.16%
2244.38/2250.12 c 2250 1213 1130 1 18.0000 13.5175 33.16%
2252.76/2258.50 c 2258 1217 1134 1 18.0000 13.5175 33.16%
2263.43/2269.24 c 2269 1220 1135 1 18.0000 13.5175 33.16%
2269.61/2275.42 c 2275 1223 1138 1 18.0000 13.5175 33.16%
2275.20/2281.03 c 2281 1231 1146 1 18.0000 13.5175 33.16%
2280.19/2286.05 c 2286 1234 1149 1 18.0000 13.5271 33.07%
2288.76/2294.66 c 2295 1237 1152 1 18.0000 13.5271 33.07%
2309.81/2315.79 c 2316 1239 1154 1 18.0000 13.5271 33.07%
2316.69/2322.61 c 2323 1242 1157 1 18.0000 13.5271 33.07%
2322.08/2328.05 c 2328 1248 1161 1 18.0000 13.5271 33.07%
2332.74/2338.75 c 2339 1254 1167 1 18.0000 13.5271 33.07%
2340.04/2346.09 c 2346 1257 1168 1 18.0000 13.5271 33.07%
2346.42/2352.41 c 2352 1261 1170 1 18.0000 13.5271 33.07%
2351.60/2357.62 c 2358 1264 1173 1 18.0000 13.5290 33.05%
2356.59/2362.68 c 2363 1269 1176 1 18.0000 13.5290 33.05%
2362.08/2368.18 c 2368 1273 1178 1 18.0000 13.5290 33.05%
2373.05/2379.11 c 2379 1275 1180 1 18.0000 13.5290 33.05%
2384.22/2390.32 c 2390 1277 1182 1 18.0000 13.5290 33.05%
2391.20/2397.31 c 2397 1283 1184 1 18.0000 13.5290 33.05%
2397.58/2403.76 c 2404 1285 1184 1 18.0000 13.5290 33.05%
2403.27/2409.43 c 2409 1290 1189 1 18.0000 13.5290 33.05%
2411.45/2417.67 c 2418 1294 1193 1 18.0000 13.5290 33.05%
2417.34/2423.51 c 2424 1298 1197 1 18.0000 13.5290 33.05%
2423.03/2429.29 c 2429 1302 1201 1 18.0000 13.5290 33.05%
2431.81/2438.01 c 2438 1304 1203 1 18.0000 13.5290 33.05%
2446.27/2452.54 c 2453 1306 1205 1 18.0000 13.5290 33.05%
2451.36/2457.60 c 2458 1311 1210 1 18.0000 13.5290 33.05%
2457.64/2463.92 c 2464 1314 1213 1 18.0000 13.5391 32.95%
2466.52/2472.89 c 2473 1319 1218 1 18.0000 13.5391 32.95%
2472.00/2478.30 c 2478 1320 1219 1 18.0000 13.5391 32.95%
2477.09/2483.49 c 2483 1323 1222 1 18.0000 13.5391 32.95%
2482.68/2489.07 c 2489 1327 1226 1 18.0000 13.5391 32.95%
2488.56/2494.98 c 2495 1332 1231 1 18.0000 13.5391 32.95%
2494.35/2500.75 c 2501 1341 1240 1 18.0000 13.5391 32.95%
2499.53/2505.96 c 2506 1348 1247 1 18.0000 13.5391 32.95%
2505.72/2512.15 c 2512 1356 1255 1 18.0000 13.5391 32.95%
2511.71/2518.10 c 2518 1361 1260 1 18.0000 13.5391 32.95%
2524.77/2531.20 c 2531 1363 1262 1 18.0000 13.5391 32.95%
2534.05/2540.53 c 2541 1367 1264 1 18.0000 13.5391 32.95%
2545.82/2552.35 c 2552 1369 1264 1 18.0000 13.5391 32.95%
2551.81/2558.32 c 2558 1373 1268 1 18.0000 13.5406 32.93%
2557.49/2564.03 c 2564 1377 1272 1 18.0000 13.5406 32.93%
2571.56/2578.12 c 2578 1379 1274 1 18.0000 13.5406 32.93%
2582.63/2589.24 c 2589 1383 1276 1 18.0000 13.5406 32.93%
2589.61/2596.27 c 2596 1389 1282 1 18.0000 13.5455 32.89%
2598.19/2604.81 c 2605 1395 1288 1 18.0000 13.5455 32.89%
2604.48/2611.19 c 2611 1399 1292 1 18.0000 13.5455 32.89%
2612.95/2619.69 c 2620 1404 1297 1 18.0000 13.5487 32.85%
2620.44/2627.11 c 2627 1406 1299 1 18.0000 13.5487 32.85%
2625.72/2632.41 c 2632 1408 1299 1 18.0000 13.5487 32.85%
2642.47/2649.26 c 2649 1411 1302 1 18.0000 13.5487 32.85%
2651.76/2658.58 c 2659 1413 1304 1 18.0000 13.5487 32.85%
2665.03/2671.83 c 2672 1416 1307 1 18.0000 13.5487 32.85%
2670.71/2677.59 c 2678 1422 1309 1 18.0000 13.5487 32.85%
2676.30/2683.17 c 2683 1427 1314 1 18.0000 13.5487 32.85%
2682.38/2689.28 c 2689 1435 1320 1 18.0000 13.5487 32.85%
2694.05/2700.97 c 2701 1439 1322 1 18.0000 13.5487 32.85%
2700.03/2706.94 c 2707 1443 1324 1 18.0000 13.5489 32.85%
2705.82/2712.71 c 2713 1445 1326 1 18.0000 13.5489 32.85%
2712.30/2719.26 c 2719 1447 1328 1 18.0000 13.5489 32.85%
2718.09/2725.02 c 2725 1449 1330 1 18.0000 13.5489 32.85%
2724.67/2731.62 c 2732 1454 1335 1 18.0000 13.5489 32.85%
2732.86/2739.80 c 2740 1458 1339 1 18.0000 13.5489 32.85%
2748.32/2755.37 c 2755 1459 1340 1 18.0000 13.5489 32.85%
2758.39/2765.41 c 2765 1461 1342 1 18.0000 13.5489 32.85%
2771.76/2778.82 c 2779 1464 1345 1 18.0000 13.5489 32.85%
2777.84/2784.98 c 2785 1466 1347 1 18.0000 13.5489 32.85%
2783.13/2790.25 c 2790 1471 1348 1 18.0000 13.5489 32.85%
2788.82/2795.90 c 2796 1474 1349 1 18.0000 13.5489 32.85%
2794.40/2801.54 c 2802 1477 1352 1 18.0000 13.5489 32.85%
2801.58/2808.77 c 2809 1481 1356 1 18.0000 13.5489 32.85%
2810.16/2817.31 c 2817 1483 1358 1 18.0000 13.5555 32.79%
2817.85/2825.01 c 2825 1485 1360 1 18.0000 13.5555 32.79%
2822.93/2830.16 c 2830 1492 1365 1 18.0000 13.5555 32.79%
2828.31/2835.55 c 2836 1501 1370 1 18.0000 13.5555 32.79%
2834.11/2841.36 c 2841 1507 1376 1 18.0000 13.5555 32.79%
2839.19/2846.49 c 2846 1511 1380 1 18.0000 13.5555 32.79%
2847.78/2855.09 c 2855 1513 1382 1 18.0000 13.5563 32.78%
2861.24/2868.50 c 2868 1515 1384 1 18.0000 13.5563 32.78%
2870.31/2877.62 c 2878 1520 1387 1 18.0000 13.5563 32.78%
2876.80/2884.15 c 2884 1526 1393 1 18.0000 13.5563 32.78%
2882.38/2889.76 c 2890 1528 1395 1 18.0000 13.5563 32.78%
2887.68/2895.08 c 2895 1534 1399 1 18.0000 13.5563 32.78%
2894.95/2902.31 c 2902 1538 1403 1 18.0000 13.5563 32.78%
2901.14/2908.52 c 2909 1542 1405 1 18.0000 13.5646 32.70%
2914.71/2922.13 c 2922 1546 1409 1 18.0000 13.5646 32.70%
2920.19/2927.66 c 2928 1549 1410 1 18.0000 13.5646 32.70%
2926.97/2934.43 c 2934 1558 1415 1 18.0000 13.5647 32.70%
2932.76/2940.28 c 2940 1563 1420 1 18.0000 13.5679 32.67%
2938.04/2945.56 c 2946 1569 1426 1 18.0000 13.5679 32.67%
2945.72/2953.21 c 2953 1575 1430 1 18.0000 13.5679 32.67%
2951.91/2959.48 c 2959 1579 1434 1 18.0000 13.5679 32.67%
2958.29/2965.83 c 2966 1583 1438 1 18.0000 13.5679 32.67%
2968.97/2976.56 c 2977 1584 1439 1 18.0000 13.5679 32.67%
2975.06/2982.63 c 2983 1586 1441 1 18.0000 13.5679 32.67%
2985.13/2992.72 c 2993 1589 1444 1 18.0000 13.5679 32.67%
2991.52/2999.11 c 2999 1595 1448 1 18.0000 13.5698 32.65%
3003.68/3011.33 c 3011 1598 1451 1 18.0000 13.5698 32.65%
3010.27/3017.98 c 3018 1601 1454 1 18.0000 13.5698 32.65%
3015.95/3023.65 c 3024 1603 1456 1 18.0000 13.5698 32.65%
3021.64/3029.36 c 3029 1605 1458 1 18.0000 13.5698 32.65%
3027.44/3035.19 c 3035 1610 1461 1 18.0000 13.5698 32.65%
3033.42/3041.14 c 3041 1619 1466 1 18.0000 13.5698 32.65%
3039.31/3047.10 c 3047 1623 1470 1 18.0000 13.5698 32.65%
3044.49/3052.21 c 3052 1625 1472 1 18.0000 13.5698 32.65%
3050.77/3058.58 c 3059 1627 1474 1 18.0000 13.5698 32.65%
3056.86/3064.61 c 3065 1633 1478 1 18.0000 13.5698 32.65%
3062.54/3070.31 c 3070 1635 1478 1 18.0000 13.5698 32.65%
3069.63/3077.42 c 3077 1641 1484 1 18.0000 13.5698 32.65%
3074.91/3082.79 c 3083 1645 1486 1 18.0000 13.5706 32.64%
3089.68/3097.57 c 3098 1646 1487 1 18.0000 13.5706 32.64%
3095.66/3103.55 c 3104 1650 1491 1 18.0000 13.5706 32.64%
3101.55/3109.42 c 3109 1656 1495 1 18.0000 13.6069 32.29%
3107.14/3115.08 c 3115 1662 1497 1 18.0000 13.6069 32.29%
3115.22/3123.11 c 3123 1668 1501 1 18.0000 13.6069 32.29%
3120.70/3128.65 c 3129 1671 1502 1 18.0000 13.6069 32.29%
3127.88/3135.88 c 3136 1678 1507 1 18.0000 13.6069 32.29%
3133.57/3141.55 c 3142 1687 1516 1 18.0000 13.6069 32.29%
3141.65/3149.62 c 3150 1689 1518 1 18.0000 13.6069 32.29%
3147.23/3155.26 c 3155 1691 1520 1 18.0000 13.6069 32.29%
3153.73/3161.75 c 3162 1695 1522 1 18.0000 13.6069 32.29%
3158.81/3166.84 c 3167 1703 1526 1 18.0000 13.6069 32.29%
3166.49/3174.51 c 3175 1707 1528 1 18.0000 13.6069 32.29%
3171.58/3179.66 c 3180 1709 1530 1 18.0000 13.6069 32.29%
3181.65/3189.77 c 3190 1711 1532 1 18.0000 13.6069 32.29%
3188.94/3197.04 c 3197 1714 1535 1 18.0000 13.6069 32.29%
3195.41/3203.57 c 3204 1718 1537 1 18.0000 13.6069 32.29%
3200.61/3208.73 c 3209 1724 1543 1 18.0000 13.6069 32.29%
3207.19/3215.31 c 3215 1734 1549 1 18.0000 13.6069 32.29%
3213.88/3222.05 c 3222 1737 1552 1 18.0000 13.6069 32.29%
3222.45/3230.61 c 3231 1741 1556 1 18.0000 13.6069 32.29%
3231.83/3240.01 c 3240 1746 1559 1 18.0000 13.6069 32.29%
3239.41/3247.68 c 3248 1749 1562 1 18.0000 13.6069 32.29%
3245.90/3254.13 c 3254 1756 1567 1 18.0000 13.6147 32.21%
3251.58/3259.83 c 3260 1760 1571 1 18.0000 13.6147 32.21%
3265.55/3273.88 c 3274 1766 1577 1 18.0000 13.6147 32.21%
3272.93/3281.22 c 3281 1770 1581 1 18.0000 13.6147 32.21%
3280.21/3288.55 c 3289 1773 1584 1 18.0000 13.6147 32.21%
3286.70/3295.01 c 3295 1781 1592 1 18.0000 13.6147 32.21%
3294.27/3302.63 c 3303 1783 1594 1 18.0000 13.6147 32.21%
3302.06/3310.47 c 3310 1791 1600 1 18.0000 13.6147 32.21%
3310.04/3318.46 c 3318 1794 1603 1 18.0000 13.6147 32.21%
3316.12/3324.57 c 3325 1798 1607 1 18.0000 13.6147 32.21%
3321.91/3330.33 c 3330 1800 1609 1 18.0000 13.6147 32.21%
3328.19/3336.62 c 3337 1805 1614 1 18.0000 13.6147 32.21%
3333.78/3342.25 c 3342 1809 1616 1 18.0000 13.6147 32.21%
3340.46/3348.98 c 3349 1815 1620 1 18.0000 13.6147 32.21%
3350.83/3359.39 c 3359 1820 1623 1 18.0000 13.6147 32.21%
3364.21/3372.72 c 3373 1830 1631 1 18.0000 13.6147 32.21%
3371.29/3379.80 c 3380 1834 1635 1 18.0000 13.6201 32.16%
3376.48/3385.10 c 3385 1839 1640 1 18.0000 13.6201 32.16%
3383.46/3392.03 c 3392 1842 1641 1 18.0000 13.6201 32.16%
3388.55/3397.18 c 3397 1846 1643 1 18.0000 13.6201 32.16%
3395.73/3404.30 c 3404 1847 1644 1 18.0000 13.6201 32.16%
3401.52/3410.14 c 3410 1850 1645 1 18.0000 13.6201 32.16%
3408.40/3417.08 c 3417 1855 1648 1 18.0000 13.6201 32.16%
3413.49/3422.11 c 3422 1859 1652 1 18.0000 13.6201 32.16%
3421.87/3430.59 c 3431 1865 1654 1 18.0000 13.6201 32.16%
3428.25/3436.92 c 3437 1870 1657 1 18.0000 13.6201 32.16%
3433.43/3442.14 c 3442 1875 1662 1 18.0000 13.6201 32.16%
3439.43/3448.11 c 3448 1880 1667 1 18.0000 13.6201 32.16%
3445.10/3453.87 c 3454 1883 1670 1 18.0000 13.6201 32.16%
3457.98/3466.71 c 3467 1888 1675 1 18.0000 13.6201 32.16%
3463.06/3471.84 c 3472 1889 1676 1 18.0000 13.6201 32.16%
3474.13/3482.91 c 3483 1895 1680 1 18.0000 13.6201 32.16%
3484.31/3493.12 c 3493 1897 1682 1 18.0000 13.6201 32.16%
3501.57/3510.48 c 3510 1899 1682 1 18.0000 13.6201 32.16%
3511.04/3519.90 c 3520 1903 1686 1 18.0000 13.6203 32.16%
3522.12/3531.04 c 3531 1907 1688 1 18.0000 13.6203 32.16%
3528.21/3537.16 c 3537 1912 1693 1 18.0000 13.6203 32.16%
3538.38/3547.37 c 3547 1913 1694 1 18.0000 13.6203 32.16%
3544.46/3553.40 c 3553 1920 1699 1 18.0000 13.6203 32.16%
3550.06/3559.04 c 3559 1925 1704 1 18.0000 13.6203 32.16%
3555.34/3564.34 c 3564 1932 1709 1 18.0000 13.6210 32.15%
3564.82/3573.84 c 3574 1939 1716 1 18.0000 13.6210 32.15%
3570.20/3579.24 c 3579 1944 1719 1 18.0000 13.6312 32.05%
3582.57/3591.61 c 3592 1947 1720 1 18.0000 13.6312 32.05%
3587.66/3596.72 c 3597 1950 1723 1 18.0000 13.6312 32.05%
3591.05/3600.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.05/3600.14 c Total Time : 3600.14
3591.05/3600.14 c solving : 3600.14
3591.05/3600.14 c presolving : 0.17 (included in solving)
3591.05/3600.14 c B&B Tree :
3591.05/3600.14 c nodes (total) : 1
3591.05/3600.14 c Solution :
3591.05/3600.14 c Solutions found : 2
3591.05/3600.14 c Primal Bound : +1.80000000000000e+01
3591.05/3600.14 c Dual Bound : +1.36311951483597e+01
3591.05/3600.14 c Gap : 32.05005 %
3591.05/3600.14 c * Warning: final gap: 3.20500e-01 is greater than SCIPepsilon: 1.00000e-09
3591.05/3600.14 o 18
3591.05/3600.14 s SATISFIABLE
3591.05/3600.14 v -x4318 -x4317 -x4316 -x4315 x4313 -x4311 -x4310 -x4309 -x4308 -x4306 -x4304 -x4303 -x4302 -x4301 -x4299 -x4297 -x4296 -x4295 -x4294
3591.05/3600.14 v x4292 -x4290 -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 -x4278 -x4276 -x4275 -x4274 -x4273 -x4271 -x4270 -x4269
3591.05/3600.14 v -x4268 -x4266 -x4264 -x4263 -x4262 -x4261 -x4259 -x4257 -x4256 -x4255 -x4254 -x4252 -x4250 -x4249 -x4248 -x4247 -x4245 -x4244
3591.05/3600.14 v -x4243 -x4242 x4240 -x4238 -x4237 -x4236 -x4235 x4233 -x4231 -x4230 -x4229 x4228 x4226 -x4224 -x4223 -x4222 -x4221 -x4219
3591.05/3600.14 v -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 x4205 -x4203 -x4202 -x4201 -x4200 -x4198 -x4196 -x4195 -x4194
3591.05/3600.14 v -x4193 -x4191 -x4189 -x4188 -x4187 -x4186 -x4184 -x4182 -x4181 -x4180 -x4179 -x4177 -x4175 -x4174 -x4173 -x4172 -x4170 -x4168
3591.05/3600.14 v -x4167 -x4166 -x4165 x4163 -x4161 -x4160 -x4159 x4158 -x4156 -x4154 -x4153 -x4152 -x4151 -x4149 -x4147 -x4146 -x4145 -x4144
3591.05/3600.14 v -x4142 -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4130 -x4128 -x4127 -x4126 -x4125 -x4123 x4121 -x4120 -x4119
3591.05/3600.14 v x4118 -x4116 -x4114 -x4113 -x4112 x4111 x4109 -x4107 -x4106 -x4105 -x4104 -x4102 -x4100 -x4099 -x4098 -x4097 -x4095 -x4093
3591.05/3600.14 v -x4092 -x4091 x4090 -x4088 -x4086 -x4085 -x4084 -x4083 -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071
3591.05/3600.14 v -x4070 -x4069 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4055 -x4054 -x4053 -x4052 -x4051
3591.05/3600.14 v -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 x4033 -x4031
3591.05/3600.14 v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012
3591.05/3600.14 v -x4011 -x4010 -x4009 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 -x3992
3591.05/3600.14 v -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973
3591.05/3600.14 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953
3591.05/3600.14 v -x3952 -x3951 -x3950 x3949 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933
3591.05/3600.14 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
3591.05/3600.14 v -x3914 x3913 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3899 -x3898 -x3897 -x3896 -x3895
3591.05/3600.14 v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3875
3591.05/3600.14 v -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856
3591.05/3600.14 v -x3855 -x3854 x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3838 -x3837 -x3836
3591.05/3600.14 v -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817
3591.05/3600.14 v -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 -x3800 -x3799 -x3798
3591.05/3600.14 v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780
3591.05/3600.14 v -x3779 -x3778 -x3777 -x3776 -x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761
3591.05/3600.14 v -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744 -x3743 -x3742
3591.05/3600.14 v -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724
3591.05/3600.14 v -x3723 -x3722 x3721 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705
3591.05/3600.14 v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
3591.05/3600.14 v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669
3591.05/3600.14 v -x3668 x3667 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650
3591.05/3600.14 v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3638 x3636 x3634 -x3632 -x3630 -x3628 x3626 -x3624 -x3622
3591.05/3600.14 v -x3620 x3618 -x3616 x3614 x3612 x3610 x3608 -x3606 -x3605 -x3604 -x3603 -x3601 -x3600 -x3599 -x3598 -x3596 -x3595 -x3594
3591.05/3600.14 v -x3593 -x3591 -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 -x3581 -x3580 x3579 x3578 -x3576 -x3575 -x3574 -x3573 -x3571
3591.05/3600.14 v -x3570 -x3569 -x3568 -x3566 -x3565 -x3564 x3563 -x3561 -x3560 -x3559 -x3558 -x3556 -x3555 -x3554 -x3553 -x3551 -x3550 -x3549
3591.05/3600.14 v -x3548 -x3546 -x3545 -x3544 x3543 -x3541 -x3540 -x3539 -x3538 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528
3591.05/3600.14 v -x3527 -x3526 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509 -x3508
3591.05/3600.14 v -x3507 -x3506 -x3505 -x3504 x3503 x3502 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3488
3591.05/3600.14 v -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 x3478 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469
3591.05/3600.14 v -x3468 -x3467 x3466 -x3464 x3462 -x3460 x3458 -x3456 x3454 -x3452 -x3450 -x3448 -x3446 x3444 -x3442 -x3440 -x3438 -x3436 x3434
3591.05/3600.14 v x3432 x3430 -x3428 -x3426 -x3425 -x3424 -x3423 -x3421 -x3420 -x3419 -x3418 -x3416 -x3415 -x3414 -x3413 -x3411 -x3410 -x3409
3591.05/3600.14 v -x3408 -x3406 -x3405 -x3404 -x3403 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3391 -x3390 -x3389 -x3388 -x3386
3591.05/3600.14 v -x3385 -x3384 x3383 -x3381 -x3380 x3379 x3378 -x3376 -x3375 -x3374 -x3373 -x3371 -x3370 -x3369 -x3368 -x3366 -x3365 -x3364
3591.05/3600.14 v x3363 -x3361 -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 x3353 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342
3591.05/3600.14 v -x3341 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3327 -x3326 -x3325 -x3324 -x3323
3591.05/3600.14 v -x3322 -x3321 -x3320 -x3319 -x3318 x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3303
3591.05/3600.14 v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 x3295 -x3294 x3293 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283
3591.05/3600.14 v -x3282 x3281 -x3279 x3277 -x3275 -x3273 x3271 x3269 -x3267 -x3265 x3263 x3261 x3259 -x3257 -x3255 x3253 -x3251 x3249 -x3247
3591.05/3600.14 v -x3245 -x3243 -x3241 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 x3231 -x3229 -x3228 -x3227 -x3226 -x3224 -x3223 -x3222
3591.05/3600.14 v -x3221 -x3219 -x3218 -x3217 -x3216 -x3214 x3213 -x3212 x3211 -x3209 -x3208 -x3207 x3206 -x3204 -x3203 -x3202 -x3201 -x3199
3591.05/3600.14 v -x3198 -x3197 x3196 -x3194 -x3193 -x3192 -x3191 -x3189 -x3188 -x3187 -x3186 -x3184 -x3183 -x3182 -x3181 -x3179 -x3178 -x3177
3591.05/3600.14 v -x3176 -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156
3591.05/3600.14 v -x3155 x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3139 -x3138 x3137 -x3136
3591.05/3600.14 v -x3135 -x3134 -x3133 -x3132 -x3131 x3130 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3116
3591.05/3600.14 v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 x3106 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097
3591.05/3600.14 v -x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3087 -x3086 -x3085 -x3084 -x3082 -x3081 -x3080 -x3079 -x3077 -x3076 -x3075
3591.05/3600.14 v -x3074 -x3072 -x3071 -x3070 -x3069 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3052
3591.05/3600.14 v -x3051 -x3050 -x3049 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 -x3040 -x3039 -x3037 -x3036 -x3035 -x3034 -x3032 -x3031 -x3030
3591.05/3600.14 v -x3029 -x3027 -x3026 -x3025 x3024 -x3022 -x3021 x3020 x3019 -x3017 -x3016 -x3015 -x3014 -x3012 -x3011 -x3010 -x3009 -x3007
3591.05/3600.14 v -x3006 -x3005 -x3004 -x3002 -x3001 -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985
3591.05/3600.14 v -x2984 -x2982 -x2981 -x2980 -x2979 -x2977 -x2976 -x2975 -x2974 -x2972 -x2971 -x2970 -x2969 -x2967 -x2966 -x2965 -x2964 -x2962
3591.05/3600.14 v -x2961 -x2960 x2959 -x2957 -x2956 -x2955 -x2954 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 -x2944 -x2942 -x2941 -x2940
3591.05/3600.14 v -x2939 -x2937 -x2936 -x2935 -x2934 -x2932 -x2931 -x2930 -x2929 -x2927 -x2926 -x2925 -x2924 -x2922 -x2921 -x2920 -x2919
3591.05/3600.14 v -x2917 -x2916 -x2915 -x2914 -x2912 -x2911 -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 -x2897 -x2896
3591.05/3600.14 v -x2895 -x2894 -x2892 -x2891 -x2890 -x2889 -x2887 -x2886 -x2885 -x2884 -x2882 -x2881 -x2880 -x2879 -x2877 -x2876 -x2875 -x2874
3591.05/3600.14 v -x2872 -x2871 -x2870 -x2869 -x2867 -x2866 x2865 x2864 -x2862 -x2861 -x2860 x2859 -x2857 -x2856 -x2855 -x2854 -x2852 -x2851
3591.05/3600.14 v -x2850 -x2849 -x2847 -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2837 -x2836 -x2835 -x2834 -x2832 -x2831 -x2830 -x2829
3591.05/3600.14 v -x2827 -x2826 -x2825 -x2824 -x2822 -x2821 -x2820 -x2819 -x2817 -x2816 -x2815 -x2814 -x2812 -x2811 -x2810 -x2809 -x2807 -x2806
3591.05/3600.14 v -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2792 -x2791 -x2790 x2789 -x2787 -x2786 -x2785 -x2784
3591.05/3600.14 v -x2782 -x2781 -x2780 -x2779 -x2777 -x2776 -x2775 -x2774 -x2772 -x2771 -x2770 -x2769 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761
3591.05/3600.14 v -x2760 x2759 -x2757 -x2756 -x2755 -x2754 -x2752 -x2751 -x2750 -x2749 -x2747 -x2746 -x2745 -x2744 -x2742 -x2741 -x2740 -x2739
3591.05/3600.14 v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 x2730 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719
3591.05/3600.14 v -x2718 -x2716 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2700 -x2699 -x2698 -x2697
3591.05/3600.14 v -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 x2688 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677
3591.05/3600.14 v -x2676 -x2674 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2658 -x2657 -x2656 -x2655
3591.05/3600.14 v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 x2646 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
3591.05/3600.14 v -x2634 -x2632 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2618 -x2616 -x2615 -x2614 -x2613
3591.05/3600.14 v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594
3591.05/3600.14 v -x2593 -x2592 -x2590 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2576 -x2574 -x2573 -x2572
3591.05/3600.14 v -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 x2562 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552
3591.05/3600.14 v x2551 x2550 -x2548 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2534 -x2532 -x2531 -x2530
3591.05/3600.14 v -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
3591.05/3600.14 v -x2509 -x2508 -x2506 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2492 -x2490 -x2489 -x2488
3591.05/3600.14 v -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2478 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468
3591.05/3600.14 v -x2467 -x2466 -x2464 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2450 -x2448 -x2447 -x2446
3591.05/3600.14 v -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2436 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426
3591.05/3600.14 v -x2425 -x2424 x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2408 -x2406 -x2405 -x2404
3591.05/3600.14 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2394 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384
3591.05/3600.14 v -x2383 -x2382 -x2380 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2366 -x2364 -x2363
3591.05/3600.14 v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2352 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
3591.05/3600.14 v -x2342 -x2341 -x2340 -x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2324 -x2322 -x2321
3591.05/3600.14 v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 x2312 x2310 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
3591.05/3600.14 v -x2300 -x2299 -x2298 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2284 -x2282 -x2281 -x2280
3591.05/3600.14 v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 x2270 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260
3591.05/3600.14 v -x2259 -x2258 x2256 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2242 -x2240 -x2239 -x2238
3591.05/3600.14 v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2228 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218
3591.05/3600.14 v -x2217 -x2216 x2214 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 x2203 x2202 -x2200 -x2198 -x2197 -x2196
3591.05/3600.14 v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176
3591.05/3600.14 v -x2175 -x2174 -x2172 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2158 -x2156 -x2155 -x2154
3591.05/3600.14 v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2144 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
3591.05/3600.14 v -x2133 -x2132 -x2130 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2116 -x2114 -x2113 -x2112
3591.05/3600.14 v -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 x2104 -x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092
3591.05/3600.14 v -x2091 -x2090 -x2088 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2074 -x2072 -x2071 -x2070
3591.05/3600.14 v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2060 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050
3591.05/3600.14 v -x2049 -x2048 -x2046 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 x2034 x2032 -x2030 -x2029 -x2028
3591.05/3600.14 v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
3591.05/3600.14 v -x2007 -x2006 x2004 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 x1990 -x1988 -x1987 -x1986
3591.05/3600.14 v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 x1976 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
3591.05/3600.14 v -x1965 x1964 x1962 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946
3591.05/3600.14 v -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
3591.05/3600.14 v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909
3591.05/3600.14 v -x1908 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890
3591.05/3600.14 v -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872
3591.05/3600.14 v -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854
3591.05/3600.14 v -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835
3591.05/3600.14 v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816
3591.05/3600.14 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1798 -x1797
3591.05/3600.14 v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779
3591.05/3600.14 v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760
3591.05/3600.14 v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1744 -x1743 -x1742
3591.05/3600.14 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
3591.05/3600.14 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705
3591.05/3600.14 v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1690 -x1689 -x1688 -x1687 -x1686
3591.05/3600.14 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
3591.05/3600.14 v -x1667 x1666 x1665 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
3591.05/3600.14 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630
3591.05/3600.14 v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
3591.05/3600.14 v -x1611 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593
3591.05/3600.14 v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575
3591.05/3600.14 v -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557
3591.05/3600.14 v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538
3591.05/3600.14 v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519
3591.05/3600.14 v -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1501 -x1500
3591.05/3600.14 v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482
3591.05/3600.14 v -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463
3591.05/3600.14 v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1447 -x1446 -x1445
3591.05/3600.14 v -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427
3591.05/3600.14 v -x1426 -x1425 -x1424 -x1423 -x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
3591.05/3600.14 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1393 -x1392 -x1391 -x1390 -x1389
3591.05/3600.14 v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371
3591.05/3600.14 v -x1370 x1369 x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352
3591.05/3600.14 v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333
3591.05/3600.14 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315
3591.05/3600.14 v -x1314 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
3591.05/3600.14 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
3591.05/3600.14 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
3591.05/3600.14 v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241
3591.05/3600.14 v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
3591.05/3600.14 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1204 -x1203
3591.05/3600.14 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185
3591.05/3600.14 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
3591.05/3600.14 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
3591.05/3600.14 v -x1149 x1148 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
3591.05/3600.14 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
3591.05/3600.14 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
3591.05/3600.14 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076
3591.05/3600.14 v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058
3591.05/3600.14 v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040
3591.05/3600.14 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021
3591.05/3600.14 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004
3591.05/3600.14 v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983
3591.05/3600.14 v -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962
3591.05/3600.14 v -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941
3591.05/3600.14 v -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920
3591.05/3600.14 v -x919 -x918 -x917 -x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898
3591.05/3600.14 v -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877
3591.05/3600.14 v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x856 -x855
3591.05/3600.14 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835
3591.05/3600.14 v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814
3591.05/3600.14 v -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x798 -x797 -x796 -x795 -x794 -x793 -x792
3591.05/3600.14 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3591.05/3600.14 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
3591.05/3600.14 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x740 -x738 -x739 -x737 -x735 -x736
3591.05/3600.14 v -x734 -x732 -x733 -x731 -x729 -x730 -x728 -x726 -x727 -x725 -x723 -x724 -x722 -x721 -x720 -x718 -x719 -x717 -x715 -x716 -x714
3591.05/3600.14 v -x712 -x713 -x711 -x710 -x709 -x707 -x708 -x706 -x704 -x705 x703 -x701 -x702 -x700 -x698 -x699 -x697 -x695 -x696 -x694 -x692
3591.05/3600.14 v -x693 -x691 -x689 -x690 -x688 -x686 -x687 -x685 -x683 -x684 -x682 -x680 -x681 -x679 -x677 -x678 -x676 -x674 -x675 -x673
3591.05/3600.14 v -x671 -x672 -x670 -x668 -x669 -x667 -x665 -x666 -x664 -x663 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651
3591.05/3600.14 v -x652 -x650 -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x637 -x636 -x634 -x633 -x632 -x631 -x629
3591.05/3600.14 v -x628 -x627 -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x615 x614 x613 -x612 -x611 -x610 -x608 -x607 -x606 -x605
3591.05/3600.14 v -x603 -x602 -x601 -x600 -x598 -x597 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x521 -x520 -x519 -x518 -x517 -x516 -x580 -x578
3591.05/3600.14 v -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565 -x563 -x564 -x561 -x562 -x559 -x560 -x557
3591.05/3600.14 v -x558 -x555 -x556 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x536
3591.05/3600.14 v -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x526 -x525 -x523 x522 -x446 -x445 -x444 -x443 -x442 -x441 -x514 -x512 -x513 -x511
3591.05/3600.14 v -x509 -x510 -x508 -x506 -x507 -x505 -x503 -x504 -x502 -x500 -x501 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 x491 -x489
3591.05/3600.14 v -x490 -x488 -x486 -x487 -x485 -x484 -x483 -x481 -x480 -x478 -x477 -x475 -x474 -x473 -x472 -x470 -x469 -x468 -x467 -x466 -x465
3591.05/3600.14 v -x463 -x462 -x460 -x459 -x457 -x456 -x454 x453 x452 -x451 -x450 -x449 -x447 -x368 -x367 -x366 -x365 -x364 -x363 -x439 -x437
3591.05/3600.14 v -x438 -x436 -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x425 x426 -x424 -x422 -x423 -x421 -x419 -x420 -x418 -x416
3591.05/3600.14 v -x417 -x415 -x413 -x414 -x412 -x410 -x411 -x409 -x407 -x406 -x404 -x403 -x401 -x400 -x398 -x397 -x395 -x394 -x392 x391 x390
3591.05/3600.14 v -x389 -x387 -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x374 -x373 -x372 -x371 -x369 -x9 -x8 -x7 -x6 -x5 -x4 -x3
3591.05/3600.14 v x2 -x361 -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341
3591.05/3600.14 v -x342 -x340 -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 -x320
3591.05/3600.14 v -x321 -x319 -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299
3591.05/3600.14 v -x300 -x298 -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278
3591.05/3600.14 v -x279 -x277 -x275 -x276 -x274 -x272 -x273 x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257
3591.05/3600.14 v -x258 -x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236
3591.05/3600.14 v x237 -x235 -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215
3591.05/3600.14 v -x216 -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194
3591.05/3600.14 v -x195 -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175
3591.05/3600.14 v -x173 -x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163 -x162 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153
3591.05/3600.14 v -x154 -x152 -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132
3591.05/3600.14 v -x133 -x131 -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111
3591.05/3600.14 v -x112 -x110 -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91
3591.05/3600.14 v -x89 -x87 -x86 -x84 -x83 -x81 -x80 -x79 -x78 -x76 -x75 -x73 -x72 -x70 -x69 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x56 -x55
3591.05/3600.14 v -x53 -x52 -x50 -x49 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x31 x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 -x18
3591.05/3600.14 v -x16 -x15 -x13 -x12 -x10 -x4314 -x4312 -x4307 -x4305 -x4300 -x4298 -x4293 -x4291 -x4286 -x4284 -x4279 -x4277 -x4272 -x4267
3591.05/3600.14 v -x4265 -x4260 -x4258 -x4253 -x4251 -x4246 -x4241 -x4239 -x4234 -x4232 x4227 -x4225 -x4220 -x4218 -x4213 -x4211 -x4206 -x4204
3591.05/3600.14 v -x4199 -x4197 -x4192 -x4190 -x4185 -x4183 -x4178 -x4176 -x4171 -x4169 -x4164 -x4162 -x4157 -x4155 -x4150 -x4148 -x4143 -x4141
3591.05/3600.14 v -x4136 -x4131 -x4129 -x4124 -x4122 -x4117 -x4115 -x4110 -x4108 -x4103 -x4101 -x4096 -x4094 -x4089 -x4087 -x4082 -x4080 -x4068
3591.05/3600.14 v -x4056 -x635 -x4044 -x4032 -x630 -x4020 -x4008 -x625 -x3996 -x3984 -x3972 -x3960 -x616 x3948 -x3936 -x3924 -x609 -x3912 -x3900
3591.05/3600.14 v -x604 -x3888 -x3876 -x599 -x3864 -x596 -x3852 -x3840 -x3828 -x3801 -x3774 -x3747 -x3720 -x3693 -x3666 -x3639 -x3637 -x3635
3591.05/3600.14 v -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3602 -x3597 -x3592 -x3587
3591.05/3600.14 v -x3582 -x3577 -x3572 -x3567 -x3562 -x537 -x3557 -x3552 -x3547 -x530 -x3542 -x527 -x3537 -x524 -x3525 -x3513 -x3501 -x3489
3591.05/3600.14 v -x3477 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 x3433
3591.05/3600.14 v -x3431 -x3429 -x3427 -x3422 -x3417 -x482 -x3412 -x479 -x3407 -x476 -x3402 -x3397 -x471 -x3392 -x3387 -x3382 -x464 -x3377 -x461
3591.05/3600.14 v -x3372 -x458 -x3367 -x455 x3362 -x3357 -x3352 -x448 -x3340 -x3328 -x3316 -x3304 -x3292 -x3280 -x3278 -x3276 -x3274 -x3272
3591.05/3600.14 v -x3270 -x3268 -x3266 -x3264 -x3262 x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3235 -x408
3591.05/3600.14 v -x3230 -x405 -x3225 -x402 -x3220 -x399 -x3215 -x396 -x3210 -x393 x3205 -x3200 -x388 -x3195 -x3190 -x383 -x3185 -x3180 x378 -x3175
3591.05/3600.14 v -x375 -x3170 -x3165 -x370 -x3153 -x3141 -x3129 -x3117 -x3105 -x3093 -x3088 -x3083 -x3078 -x3073 -x3068 -x3063 -x3058 -x3053
3591.05/3600.14 v -x3048 -x3043 -x3038 -x3033 -x3028 -x3023 -x3018 -x3013 -x3008 -x3003 -x2998 -x2993 -x2988 -x2983 -x2978 -x2973 -x2968 -x2963
3591.05/3600.14 v -x2958 -x2953 -x2948 -x2943 -x2938 -x2933 -x2928 -x2923 -x2918 -x2913 -x2908 -x2903 -x2898 -x2893 -x2888 -x2883 -x2878 -x2873
3591.05/3600.14 v -x2868 -x2863 -x2858 -x2853 -x2848 -x2843 -x2838 -x2833 -x2828 -x2823 -x2818 -x2813 -x2808 -x2803 -x2798 -x2793 x2788 -x2783
3591.05/3600.14 v -x2778 -x2773 -x2768 -x2763 -x2758 -x2753 -x2748 -x2743 -x2731 -x2729 -x2717 -x2715 -x2703 -x2701 -x2689 -x2687 -x2675
3591.05/3600.14 v -x2673 -x2661 -x2659 -x2647 x2645 -x2633 -x2631 -x2619 -x2617 -x2605 -x2603 -x2591 -x2589 -x2577 -x2575 -x2563 -x2561 -x2549
3591.05/3600.16 v -x2547 -x2535 -x2533 -x2521 -x2519 -x2507 -x2505 -x2493 -x2491 -x2479 -x2477 -x2465 -x2463 -x2451 -x2449 -x2437 -x2435 -x2423
3591.05/3600.16 v -x2421 -x2409 -x2407 -x2395 -x2393 -x2381 -x2379 -x2367 -x2365 -x2353 -x2351 -x2339 -x2337 -x2325 -x2323 -x2311 -x2309 -x2297
3591.05/3600.16 v -x2285 -x2283 -x2271 -x2269 -x2257 -x2255 -x2243 -x2241 -x2229 -x2227 -x2215 -x2213 -x2201 -x2199 -x2187 -x2185 -x2173 -x2171
3591.05/3600.16 v -x2159 -x2157 -x2145 -x2143 -x2131 -x2129 -x2117 -x2115 -x2103 -x2101 -x2089 -x2087 -x2075 -x2073 -x2061 -x2059 -x2047 -x2045
3591.05/3600.16 v -x2033 -x2031 -x2019 -x2017 -x2005 -x2003 -x1991 -x1989 -x1977 -x1975 -x1963 -x1961 -x1934 -x88 -x1907 -x85 -x1880 x82 -x1853
3591.05/3600.16 v -x1826 -x77 -x1799 -x74 -x1772 -x71 -x1745 -x68 -x1718 -x65 -x1691 -x62 -x1664 -x59 -x1637 -x1610 -x54 -x1583 -x51 -x1556
3591.05/3600.16 v -x48 -x1529 -x45 -x1502 -x1475 -x40 -x1448 -x37 -x1421 -x34 -x1394 x1367 -x29 -x1340 -x26 -x1313 -x23 -x1286 -x20 -x1259 -x17
3591.05/3600.16 v -x1232 -x14 -x1205 x11 -x1147 -x1089 -x1031 -x973 -x915 -x857 -x799 x741 x581 x515 x440 x362 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60837 MiB free)
memory of node 1: 64510 MiB (56440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434753-1721105245/watcher-4434753-1721105245 -o /tmp/evaluation-result-4434753-1721105245/solver-4434753-1721105245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434753-1721105245.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=864866, runsolver pid=864863
[startup+0.100705 s]*
/proc/loadavg: 4.22 4.17 4.11 5/262 864867
/proc/meminfo: memFree=120049276/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=61188 memory=49952 CPUtime=0.09 cores=4,6
/proc/864866/stat : 864866 (fscip) R 864863 864866 860297 0 -1 4194304 12310 0 0 0 7 2 0 0 20 0 1 0 162689833 62656512 12488 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 15297 12488 2702 3032 0 11697 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61188 KiB
Current children cumulated memory: 49952 KiB
[startup+0.205496 s]*
/proc/loadavg: 4.22 4.17 4.11 5/262 864867
/proc/meminfo: memFree=120038064/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=72692 memory=60972 CPUtime=0.19 cores=4,6
/proc/864866/stat : 864866 (fscip) R 864863 864866 860297 0 -1 4194304 15027 0 0 0 17 2 0 0 20 0 1 0 162689833 74436608 15243 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 18173 15243 2766 3032 0 14573 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72692 KiB
Current children cumulated memory: 60972 KiB
[startup+0.305689 s]*
/proc/loadavg: 4.22 4.17 4.11 5/264 864869
/proc/meminfo: memFree=120005528/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=165900 memory=92112 CPUtime=0.29 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 24681 0 0 0 25 4 0 0 20 0 3 0 162689833 169881600 23028 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 41475 23028 2814 3032 0 28406 0
[pid=864866/tid=864868] ppid=864863 vsize=165900 memory=-6296710026339990377 CPUtime=0.06 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 6371 0 0 0 6 0 0 0 20 0 3 0 162689855 169881600 23028 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=165900 memory=0 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162689857 169881600 23028 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 165900 KiB
Current children cumulated memory: 92112 KiB
[startup+0.700248 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 864869
/proc/meminfo: memFree=119981436/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=231436 memory=145184 CPUtime=0.67 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 37909 0 0 0 61 6 0 0 20 0 3 0 162689833 236990464 36296 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 57859 36296 2910 3032 0 42054 0
[pid=864866/tid=864868] ppid=864863 vsize=231436 memory=5448 CPUtime=0.44 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 19599 0 0 0 42 2 0 0 20 0 3 0 162689855 236990464 36296 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=231436 memory=417 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162689857 236990464 36296 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 231436 KiB
Current children cumulated memory: 145184 KiB
[startup+1.50026 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 864869
/proc/meminfo: memFree=119949496/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=231436 memory=160388 CPUtime=1.48 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 54786 0 0 0 140 8 0 0 20 0 3 0 162689833 236990464 40097 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 57859 40097 2926 3032 0 45396 0
[pid=864866/tid=864868] ppid=864863 vsize=231436 memory=417 CPUtime=1.24 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 36471 0 0 0 120 4 0 0 20 0 3 0 162689855 236990464 40097 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=231436 memory=0 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162689857 236990464 40097 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 231436 KiB
Current children cumulated memory: 160388 KiB
[startup+3.1057 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 864869
/proc/meminfo: memFree=119545188/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=231436 memory=172584 CPUtime=3.07 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 61052 0 0 0 299 8 0 0 20 0 3 0 162689833 236990464 43146 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 57859 43146 2926 3032 0 49314 0
[pid=864866/tid=864868] ppid=864863 vsize=231436 memory=-6296710026339990377 CPUtime=2.85 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 42737 0 0 0 280 5 0 0 20 0 3 0 162689855 236990464 43146 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=231436 memory=0 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162689857 236990464 43146 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 231436 KiB
Current children cumulated memory: 172584 KiB
[startup+6.30025 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 864869
/proc/meminfo: memFree=119521488/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=296972 memory=188612 CPUtime=6.26 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 83947 0 0 0 615 11 0 0 20 0 3 0 162689833 304099328 47153 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 74243 47153 2926 3032 0 55346 0
[pid=864866/tid=864868] ppid=864863 vsize=296972 memory=11860 CPUtime=6.03 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 65623 0 0 0 596 7 0 0 20 0 3 0 162689855 304099328 47153 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=296972 memory=11860 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 162689857 304099328 47153 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 296972 KiB
Current children cumulated memory: 188612 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 864870
/proc/meminfo: memFree=119446620/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=296972 memory=218544 CPUtime=12.64 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 113110 0 0 0 1251 13 0 0 20 0 3 0 162689833 304099328 54636 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 74243 54636 2990 3032 0 62682 0
[pid=864866/tid=864868] ppid=864863 vsize=296972 memory=188208 CPUtime=12.41 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 94147 0 0 0 1232 9 0 0 20 0 3 0 162689855 304099328 54636 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=296972 memory=6720663255389585518 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 162689857 304099328 54636 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 296972 KiB
Current children cumulated memory: 218544 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.17 4.12 5/264 864920
/proc/meminfo: memFree=121117844/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=296972 memory=218548 CPUtime=25.4 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 136767 0 0 0 2526 14 0 0 20 0 3 0 162689833 304099328 54637 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 74243 54637 2990 3032 0 62682 0
[pid=864866/tid=864868] ppid=864863 vsize=296972 memory=218548 CPUtime=25.18 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 117709 0 0 0 2507 11 0 0 20 0 3 0 162689855 304099328 54637 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=296972 memory=41404 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 162689857 304099328 54637 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 296972 KiB
Current children cumulated memory: 218548 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.15 4.11 5/264 864925
/proc/meminfo: memFree=120276208/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=298160 memory=225504 CPUtime=50.94 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 193160 0 0 0 5075 19 0 0 20 0 3 0 162689833 305315840 56376 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 74540 56376 2990 3032 0 65109 0
[pid=864866/tid=864868] ppid=864863 vsize=298160 memory=225460 CPUtime=50.71 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 173996 0 0 0 5056 15 0 0 20 0 3 0 162689855 305315840 56376 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=298160 memory=225460 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 162689857 305315840 56376 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 298160 KiB
Current children cumulated memory: 225504 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 864934
/proc/meminfo: memFree=120218288/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=363696 memory=263740 CPUtime=102 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 280038 0 0 0 10174 26 0 0 20 0 3 0 162689833 372424704 65935 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 90924 65935 2990 3032 0 78888 0
[pid=864866/tid=864868] ppid=864863 vsize=363696 memory=263056 CPUtime=101.76 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 260785 0 0 0 10154 22 0 0 20 0 3 0 162689855 372424704 65935 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=363696 memory=164 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 162689857 372424704 65935 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 363696 KiB
Current children cumulated memory: 263740 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.22 4.14 5/266 864948
/proc/meminfo: memFree=120121776/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=429232 memory=314884 CPUtime=161.84 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 324493 0 0 0 16155 29 0 0 20 0 3 0 162689833 439533568 78721 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 107308 78721 2990 3032 0 97563 0
[pid=864866/tid=864868] ppid=864863 vsize=429232 memory=266968 CPUtime=161.61 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 305191 0 0 0 16136 25 0 0 20 0 3 0 162689855 439533568 78721 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=429232 memory=266320 CPUtime=0 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 162689857 439533568 78721 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 429232 KiB
Current children cumulated memory: 314884 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.21 4.14 5/266 864960
/proc/meminfo: memFree=119938036/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=429232 memory=339040 CPUtime=221.69 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 393012 0 0 0 22136 33 0 0 20 0 3 0 162689833 439533568 84760 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 107308 84760 2990 3032 0 103079 0
################
# More data... #
################
/proc/864866/statm: 280366 207690 2990 3032 0 260667 0
[pid=864866/tid=864868] ppid=864863 vsize=1121464 memory=818032 CPUtime=3453.23 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 979055 0 0 0 345223 100 0 0 20 0 3 0 162689855 1148379136 207690 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1121464 memory=823404 CPUtime=0.03 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 219 0 0 0 1 2 0 0 20 0 3 0 162689857 1148379136 207690 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 1121464 KiB
Current children cumulated memory: 830760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 866747
/proc/meminfo: memFree=118480256/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1121464 memory=835732 CPUtime=3513.44 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1008564 0 0 0 351234 110 0 0 20 0 3 0 162689833 1148379136 208933 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 280366 208933 2990 3032 0 263989 0
[pid=864866/tid=864868] ppid=864863 vsize=1121464 memory=41404 CPUtime=3513.08 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 988014 0 0 0 351207 101 0 0 20 0 3 0 162689855 1148379136 208933 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1121464 memory=835732 CPUtime=0.03 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 225 0 0 0 1 2 0 0 20 0 3 0 162689857 1148379136 208933 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 1121464 KiB
Current children cumulated memory: 835732 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.09 4/254 866789
/proc/meminfo: memFree=119426740/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861988 CPUtime=3573.29 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1025314 0 0 0 357217 112 0 0 20 0 3 0 162689833 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215497 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=11860 CPUtime=3572.94 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1004740 0 0 0 357191 103 0 0 20 0 3 0 162689855 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=861988 CPUtime=0.03 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 2 0 0 20 0 3 0 162689857 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861988 KiB
[startup+3600.17 s]
# the end of solver process 864866 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.99 s, system=1.14796 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.12 4.09 5/254 866789
/proc/meminfo: memFree=119426684/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861988 CPUtime=3574.99 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1025345 0 0 0 357387 112 0 0 20 0 3 0 162689833 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215497 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=20460 CPUtime=3574.64 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1004771 0 0 0 357361 103 0 0 20 0 3 0 162689855 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=40532 CPUtime=0.03 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 2 0 0 20 0 3 0 162689857 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3574.99 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861988 KiB
[startup+3590.4 s]
/proc/loadavg: 3.98 4.10 4.08 4/250 866806
/proc/meminfo: memFree=122945644/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861988 CPUtime=3581.37 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1025568 0 0 0 358025 112 0 0 20 0 3 0 162689833 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215497 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=861988 CPUtime=3581.02 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1004994 0 0 0 357999 103 0 0 20 0 3 0 162689855 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=281438738702336 CPUtime=0.04 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 3 0 0 20 0 3 0 162689857 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3581.37 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861988 KiB
[startup+3596.8 s]
/proc/loadavg: 3.90 4.08 4.08 3/245 866823
/proc/meminfo: memFree=122988544/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861988 CPUtime=3587.76 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1025734 0 0 0 358664 112 0 0 20 0 3 0 162689833 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215497 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=5448 CPUtime=3587.4 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1005158 0 0 0 358637 103 0 0 20 0 3 0 162689855 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=861988 CPUtime=0.04 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 3 0 0 20 0 3 0 162689857 1151852544 215497 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861988 KiB
[startup+3598.4 s]
/proc/loadavg: 3.75 4.05 4.06 3/245 866823
/proc/meminfo: memFree=122988544/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861992 CPUtime=3589.36 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1025788 0 0 0 358824 112 0 0 20 0 3 0 162689833 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215498 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=16096 CPUtime=3589 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1005212 0 0 0 358797 103 0 0 20 0 3 0 162689855 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=861988 CPUtime=0.04 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 3 0 0 20 0 3 0 162689857 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3589.36 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861992 KiB
[startup+3599.2 s]
/proc/loadavg: 3.75 4.05 4.06 3/245 866823
/proc/meminfo: memFree=122988552/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861992 CPUtime=3590.15 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1025788 0 0 0 358903 112 0 0 20 0 3 0 162689833 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215498 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=4932 CPUtime=3589.8 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1005212 0 0 0 358877 103 0 0 20 0 3 0 162689855 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=534288 CPUtime=0.04 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 3 0 0 20 0 3 0 162689857 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3590.15 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861992 KiB
[startup+3599.6 s]
/proc/loadavg: 3.75 4.05 4.06 3/245 866823
/proc/meminfo: memFree=122988552/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861992 CPUtime=3590.55 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1025788 0 0 0 358943 112 0 0 20 0 3 0 162689833 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215498 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=11860 CPUtime=3590.2 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1005212 0 0 0 358917 103 0 0 20 0 3 0 162689855 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=41404 CPUtime=0.04 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 3 0 0 20 0 3 0 162689857 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3590.55 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861992 KiB
[startup+3600 s]*
/proc/loadavg: 3.75 4.05 4.06 3/245 866824
/proc/meminfo: memFree=122988504/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861992 CPUtime=3590.96 cores=4,6
/proc/864866/stat : 864866 (fscip) R 864863 864866 860297 0 -1 1077936128 1025792 0 0 0 358984 112 0 0 20 0 3 0 162689833 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215498 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=6720662134419898477 CPUtime=3590.6 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1005216 0 0 0 358957 103 0 0 20 0 3 0 162689855 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=-9044459746194447340 CPUtime=0.04 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 3 0 0 20 0 3 0 162689857 1151852544 215498 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3590.96 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861992 KiB
[startup+3600.1 s]
/proc/loadavg: 3.75 4.05 4.06 3/245 866824
/proc/meminfo: memFree=122988504/131524600 swapFree=131071996/131071996
[pid=864866] ppid=864863 vsize=1124856 memory=861996 CPUtime=3591.05 cores=4,6
/proc/864866/stat : 864866 (fscip) S 864863 864866 860297 0 -1 1077936128 1028300 0 0 0 358993 112 0 0 20 0 3 0 162689833 1151852544 215499 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
/proc/864866/statm: 281214 215499 2990 3032 0 272571 0
[pid=864866/tid=864868] ppid=864863 vsize=1124856 memory=11860 CPUtime=3590.7 cores=4,6
/proc/864866/task/864868/stat : 864868 (fscip) R 864863 864866 860297 0 -1 4194368 1007723 0 0 0 358967 103 0 0 20 0 3 0 162689855 1151852544 215499 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
[pid=864866/tid=864869] ppid=864863 vsize=1124856 memory=13040 CPUtime=0.04 cores=4,6
/proc/864866/task/864869/stat : 864869 (fscip) S 864863 864866 860297 0 -1 1077936192 231 0 0 0 1 3 0 0 20 0 3 0 162689857 1151852544 215499 134679101440 4194304 16613245 140728761261216 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33730560 140728761267221 140728761267337 140728761267337 140728761274352 0
Current children cumulated CPU time: 3591.05 s
Current children cumulated vsize: 1124856 KiB
Current children cumulated memory: 861996 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3591.14
CPU user time (s): 3589.99
CPU system time (s): 1.14796
CPU usage (%): 99.749
Max. virtual memory (cumulated for all children) (KiB): 1124856
Max. memory (cumulated for all children) (KiB): 861996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.99
system time used= 1.14796
maximum resident set size= 864472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1031607
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= 6210
involuntary context switches= 3193
# summary of solver processes directly reported to runsolver:
# pid: 864866
# total CPU time (s): 3591.14
# total CPU user time (s): 3589.99
# total CPU system time (s): 1.14796
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57374 second user time and 15.9459 second system time
The end
Begin job on nodeC025 at 2024-07-16 06:47:37
IDJOB=4434753
IDBENCH=148191
IDSOLVER=3064
FILE ID=nodeC025/4434753-1721105245
RUNJOBID= nodeC025-1721098035-860308
SLURM_JOB_ID= 7505612
Free space on /tmp= 889932 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.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-4434753-1721105245/watcher-4434753-1721105245 -o /tmp/evaluation-result-4434753-1721105245/solver-4434753-1721105245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434753-1721105245.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1636310648
nodeC025.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 : 3604.451
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.72
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 : 3686.885
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 : 7007.09
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 : 3674.092
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.085
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 : 7007.09
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 : 3673.498
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.72
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 : 3686.887
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 : 7007.09
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 : 3663.348
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.172
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120092244 kB
MemAvailable: 125394168 kB
Buffers: 413032 kB
Cached: 5662776 kB
SwapCached: 0 kB
Active: 778280 kB
Inactive: 9912072 kB
Active(anon): 1528 kB
Inactive(anon): 4650748 kB
Active(file): 776752 kB
Inactive(file): 5261324 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 68988 kB
Writeback: 20 kB
AnonPages: 4610340 kB
Mapped: 140520 kB
Shmem: 37720 kB
KReclaimable: 206988 kB
Slab: 325616 kB
SReclaimable: 206988 kB
SUnreclaim: 118628 kB
KernelStack: 4176 kB
PageTables: 18488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2735964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1660928 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: 273108 kB
DirectMap2M: 36200448 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC025 at 2024-07-16 07:47:38