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.10/0.17 c Default LC presolving (default).
0.10/0.17 c ** Before presolving: virtualMemUsedAtLc = 66396365, getVmSize() = 63840256, SCIPgetMemUsed() = 36140212, SCIPgetMemTotal() = 40644068, SCIPgetMemExternEstim() = 25752297
0.10/0.17 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.60/0.69 c ** Estimated virtualMemUsedAtSolver = 66650019, getVmSize() = 101511168, SCIPgetMemUsed() = 41338796, SCIPgetMemTotal() = 74222732, SCIPgetMemExternEstim() = 25752297
0.60/0.69 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.60/0.69 c Original Problem :
0.60/0.69 c Problem name : instance-4434751-1721102522
0.60/0.69 c Variables : 6027 (6027 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.69 c Constraints : 21278
0.60/0.69 c Objective sense : minimize
0.60/0.69 c Presolved Problem :
0.60/0.69 c Variables : 5294 (5294 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.69 c Constraints : 5239
0.60/0.69 c Constraints : Number
0.60/0.69 c knapsack : 1
0.60/0.69 c setppc : 584
0.60/0.69 c and : 4649
0.60/0.69 c logicor : 5
0.60/0.69 c ** Instance transfer method used: 0
0.69/0.72 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.75 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.75 c Nodes Active
0.69/0.75 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.48/1.50 c * 2 0 1 1 27.0000 - -
1.48/1.56 c * 2 0 1 1 24.0000 - -
13.54/13.68 c * 14 0 1 1 23.0000 - -
13.54/13.68 c 14 0 1 1 23.0000 - -
18.63/18.73 c 19 3 2 1 23.0000 11.4329 101.17%
24.03/24.16 c 24 5 4 1 23.0000 11.4433 100.99%
30.60/30.78 c 31 7 6 1 23.0000 11.4433 100.99%
36.28/36.40 c 36 9 8 1 23.0000 11.4433 100.99%
42.26/42.47 c 42 11 10 1 23.0000 11.4433 100.99%
51.44/51.67 c 52 12 11 1 23.0000 11.4433 100.99%
58.73/58.90 c 59 14 13 1 23.0000 11.4433 100.99%
67.20/67.41 c 67 16 15 1 23.0000 11.4433 100.99%
73.39/73.67 c 74 18 17 1 23.0000 11.4433 100.99%
81.56/81.88 c 82 19 18 1 23.0000 11.4433 100.99%
88.15/88.48 c 88 21 20 1 23.0000 11.4433 100.99%
99.01/99.33 c 99 25 24 1 23.0000 11.4433 100.99%
107.09/107.44 c 107 30 29 1 23.0000 11.4433 100.99%
114.56/114.96 c 115 33 32 1 23.0000 11.4433 100.99%
121.65/122.07 c 122 35 34 1 23.0000 11.4433 100.99%
133.50/133.90 c 134 41 40 1 23.0000 11.4433 100.99%
140.87/141.39 c 141 43 42 1 23.0000 11.5311 99.46%
147.56/148.04 c 148 52 51 1 23.0000 11.6723 97.05%
159.70/160.26 c 160 57 56 1 23.0000 11.6723 97.05%
166.68/167.22 c 167 61 60 1 23.0000 11.7605 95.57%
179.93/180.50 c 180 67 66 1 23.0000 11.7605 95.57%
185.62/186.24 c 186 70 69 1 23.0000 11.7605 95.57%
197.58/198.28 c 198 74 73 1 23.0000 11.7605 95.57%
203.86/204.57 c 205 79 78 1 23.0000 11.7605 95.57%
212.52/213.26 c 213 81 80 1 23.0000 11.7605 95.57%
219.00/219.72 c 220 88 87 1 23.0000 11.7605 95.57%
229.67/230.46 c 230 89 88 1 23.0000 11.7605 95.57%
234.85/235.62 c 236 98 97 1 23.0000 11.7605 95.57%
246.62/247.49 c 247 101 100 1 23.0000 11.7605 95.57%
255.49/256.38 c 256 113 112 1 23.0000 11.7605 95.57%
267.96/268.84 c 269 114 113 1 23.0000 11.7605 95.57%
274.54/275.40 c 275 119 118 1 23.0000 11.7605 95.57%
283.51/284.50 c 284 126 125 1 23.0000 11.7605 95.57%
296.27/297.21 c 297 131 130 1 23.0000 11.7605 95.57%
303.95/305.01 c 305 139 138 1 23.0000 11.7605 95.57%
315.91/317.01 c 317 142 141 1 23.0000 11.7605 95.57%
322.19/323.26 c 323 151 150 1 23.0000 11.7605 95.57%
328.87/329.97 c 330 157 156 1 23.0000 11.7605 95.57%
344.52/345.65 c 346 159 158 1 23.0000 11.7605 95.57%
350.01/351.18 c 351 162 161 1 23.0000 11.7605 95.57%
356.18/357.31 c 357 171 170 1 23.0000 11.7605 95.57%
363.36/364.57 c 365 174 173 1 23.0000 11.7605 95.57%
369.34/370.59 c 371 175 174 1 23.0000 11.7605 95.57%
381.92/383.15 c 383 177 176 1 23.0000 11.7605 95.57%
388.29/389.55 c 390 179 178 1 23.0000 11.7605 95.57%
394.78/396.10 c 396 189 188 1 23.0000 11.7605 95.57%
401.05/402.34 c 402 192 191 1 23.0000 11.7605 95.57%
416.22/417.51 c 418 200 199 1 23.0000 11.7605 95.57%
422.81/424.18 c 424 204 203 1 23.0000 11.7605 95.57%
432.07/433.45 c 433 207 206 1 23.0000 11.7605 95.57%
447.53/449.01 c 449 212 211 1 23.0000 11.7605 95.57%
459.98/461.43 c 461 219 218 1 23.0000 11.7605 95.57%
468.27/469.76 c 470 231 230 1 23.0000 11.7605 95.57%
478.14/479.67 c 480 238 237 1 23.0000 11.7605 95.57%
485.82/487.39 c 487 242 241 1 23.0000 11.7605 95.57%
491.51/493.09 c 493 243 242 1 23.0000 11.7739 95.35%
500.08/501.66 c 502 246 245 1 23.0000 11.7739 95.35%
515.74/517.34 c 517 251 250 1 23.0000 11.7739 95.35%
522.32/523.91 c 524 261 260 1 23.0000 11.7739 95.35%
530.00/531.67 c 532 262 261 1 23.0000 11.7739 95.35%
540.88/542.53 c 543 263 262 1 23.0000 11.7739 95.35%
549.15/550.82 c 551 271 270 1 23.0000 11.7739 95.35%
554.54/556.25 c 556 272 271 1 23.0000 11.7844 95.17%
561.52/563.29 c 563 275 274 1 23.0000 11.7844 95.17%
572.31/574.02 c 574 277 276 1 23.0000 11.7844 95.17%
582.18/583.97 c 584 278 277 1 23.0000 11.7844 95.17%
589.27/591.01 c 591 287 286 1 23.0000 11.7844 95.17%
603.62/605.47 c 605 291 290 1 23.0000 11.7844 95.17%
612.21/614.07 c 614 301 300 1 23.0000 11.7844 95.17%
621.57/623.49 c 623 302 301 1 23.0000 11.7844 95.17%
627.56/629.41 c 629 304 303 1 23.0000 11.8405 94.25%
633.64/635.58 c 636 308 307 1 23.0000 11.8405 94.25%
647.30/649.22 c 649 312 311 1 23.0000 11.8405 94.25%
655.68/657.68 c 658 317 316 1 23.0000 11.8405 94.25%
661.87/663.87 c 664 320 319 1 23.0000 11.8405 94.25%
667.85/669.80 c 670 323 322 1 23.0000 11.8405 94.25%
674.15/676.19 c 676 324 323 1 23.0000 11.8405 94.25%
680.04/682.08 c 682 326 325 1 23.0000 11.8405 94.25%
686.71/688.72 c 689 335 334 1 23.0000 11.8405 94.25%
694.29/696.38 c 696 338 337 1 23.0000 11.8405 94.25%
708.85/710.91 c 711 341 340 1 23.0000 11.8405 94.25%
717.22/719.37 c 719 344 343 1 23.0000 11.8808 93.59%
723.70/725.85 c 726 350 349 1 23.0000 11.8808 93.59%
734.37/736.57 c 737 352 351 1 23.0000 11.8808 93.59%
740.35/742.58 c 743 359 358 1 23.0000 11.8808 93.59%
747.12/749.33 c 749 362 361 1 23.0000 11.9542 92.40%
766.89/769.12 c 769 367 366 1 23.0000 11.9542 92.40%
773.96/776.25 c 776 369 368 1 23.0000 11.9542 92.40%
790.73/793.07 c 793 371 370 1 23.0000 11.9752 92.06%
797.90/800.20 c 800 375 374 1 23.0000 11.9752 92.06%
804.98/807.33 c 807 377 376 1 23.0000 11.9752 92.06%
818.66/821.01 c 821 381 380 1 23.0000 11.9752 92.06%
824.64/827.05 c 827 385 384 1 23.0000 11.9752 92.06%
830.72/833.18 c 833 393 392 1 23.0000 11.9752 92.06%
836.20/838.66 c 839 396 395 1 23.0000 11.9752 92.06%
842.08/844.55 c 845 400 399 1 23.0000 11.9752 92.06%
847.77/850.29 c 850 403 402 1 23.0000 12.0374 91.07%
854.15/856.65 c 857 410 409 1 23.0000 12.0374 91.07%
861.83/864.34 c 864 415 414 1 23.0000 12.0374 91.07%
866.92/869.47 c 869 420 419 1 23.0000 12.0374 91.07%
875.51/878.08 c 878 428 427 1 23.0000 12.0374 91.07%
881.08/883.66 c 884 430 429 1 23.0000 12.0374 91.07%
888.97/891.50 c 892 431 430 1 23.0000 12.0374 91.07%
894.46/897.08 c 897 436 435 1 23.0000 12.0374 91.07%
903.44/906.06 c 906 437 436 1 23.0000 12.0374 91.07%
915.51/918.14 c 918 440 439 1 23.0000 12.0374 91.07%
921.18/923.84 c 924 442 441 1 23.0000 12.0480 90.90%
927.77/930.41 c 930 450 449 1 23.0000 12.0480 90.90%
932.95/935.64 c 936 453 452 1 23.0000 12.0480 90.90%
938.13/940.88 c 941 455 454 1 23.0000 12.0498 90.88%
943.72/946.49 c 946 458 457 1 23.0000 12.0498 90.88%
948.80/951.59 c 952 462 461 1 23.0000 12.0498 90.88%
959.28/962.07 c 962 463 462 1 23.0000 12.0498 90.88%
969.25/972.07 c 972 464 463 1 23.0000 12.0498 90.88%
974.62/977.41 c 977 467 466 1 23.0000 12.0498 90.88%
980.01/982.82 c 983 469 468 1 23.0000 12.0498 90.88%
987.08/989.92 c 990 473 472 1 23.0000 12.0498 90.88%
992.97/995.83 c 996 476 475 1 23.0000 12.0498 90.88%
998.05/1000.90 c 1001 480 479 1 23.0000 12.0498 90.88%
1014.00/1016.90 c 1017 485 484 1 23.0000 12.0498 90.88%
1022.08/1025.03 c 1025 488 487 1 23.0000 12.0498 90.88%
1029.44/1032.45 c 1032 490 489 1 23.0000 12.0498 90.88%
1044.69/1047.73 c 1048 493 492 1 23.0000 12.0498 90.88%
1051.98/1055.02 c 1055 497 496 1 23.0000 12.0498 90.88%
1058.45/1061.53 c 1062 501 500 1 23.0000 12.0498 90.88%
1066.52/1069.64 c 1070 507 506 1 23.0000 12.0498 90.88%
1071.61/1074.78 c 1075 510 509 1 23.0000 12.0546 90.80%
1079.19/1082.37 c 1082 513 512 1 23.0000 12.0546 90.80%
1085.17/1088.33 c 1088 516 515 1 23.0000 12.0546 90.80%
1090.35/1093.53 c 1094 517 516 1 23.0000 12.0642 90.65%
1096.13/1099.37 c 1099 521 520 1 23.0000 12.0642 90.65%
1101.61/1104.87 c 1105 523 522 1 23.0000 12.0642 90.65%
1107.59/1110.81 c 1111 527 526 1 23.0000 12.0642 90.65%
1113.67/1116.95 c 1117 529 528 1 23.0000 12.0716 90.53%
1120.55/1123.89 c 1124 532 531 1 23.0000 12.0716 90.53%
1128.33/1131.60 c 1132 537 536 1 23.0000 12.0716 90.53%
1135.90/1139.22 c 1139 544 543 1 23.0000 12.0716 90.53%
1141.88/1145.24 c 1145 549 548 1 23.0000 12.0716 90.53%
1152.76/1156.12 c 1156 551 550 1 23.0000 12.0716 90.53%
1159.74/1163.17 c 1163 555 554 1 23.0000 12.0716 90.53%
1168.50/1172.01 c 1172 557 556 1 23.0000 12.0716 90.53%
1180.57/1184.03 c 1184 558 557 1 23.0000 12.0716 90.53%
1187.03/1190.51 c 1191 561 560 1 23.0000 12.0716 90.53%
1192.71/1196.22 c 1196 564 563 1 23.0000 12.0716 90.53%
1200.29/1203.89 c 1204 566 565 1 23.0000 12.0716 90.53%
1213.84/1217.49 c 1217 568 567 1 23.0000 12.0716 90.53%
1228.90/1232.58 c 1233 569 568 1 23.0000 12.0716 90.53%
1235.18/1238.80 c 1239 571 570 1 23.0000 12.0716 90.53%
1240.56/1244.28 c 1244 574 573 1 23.0000 12.0967 90.13%
1245.84/1249.52 c 1250 577 576 1 23.0000 12.0967 90.13%
1251.92/1255.69 c 1256 580 579 1 23.0000 12.0967 90.13%
1260.20/1263.94 c 1264 584 583 1 23.0000 12.0967 90.13%
1274.26/1278.02 c 1278 586 585 1 23.0000 12.0967 90.13%
1279.53/1283.33 c 1283 588 587 1 23.0000 12.0967 90.13%
1285.33/1289.16 c 1289 594 593 1 23.0000 12.0967 90.13%
1316.81/1320.70 c 1321 596 595 1 23.0000 12.0967 90.13%
1331.56/1335.58 c 1336 598 597 1 23.0000 12.0967 90.13%
1344.42/1348.42 c 1348 601 600 1 23.0000 12.0967 90.13%
1347.72/1351.79 c * 1352 601 602 1 22.0000 12.0967 81.87%
1350.31/1354.35 c 1354 604 603 1 22.0000 12.0967 81.87%
1364.56/1368.61 c 1369 605 604 1 22.0000 12.0967 81.87%
1370.54/1374.60 c 1375 608 607 1 22.0000 12.0967 81.87%
1380.11/1384.23 c 1384 609 608 1 22.0000 12.0967 81.87%
1385.29/1389.43 c 1389 613 612 1 22.0000 12.0967 81.87%
1392.47/1396.66 c 1397 617 616 1 22.0000 12.0999 81.82%
1397.56/1401.73 c 1402 621 620 1 22.0000 12.0999 81.82%
1404.24/1408.42 c 1408 625 624 1 22.0000 12.0999 81.82%
1410.93/1415.16 c 1415 629 628 1 22.0000 12.0999 81.82%
1417.10/1421.30 c 1421 631 630 1 22.0000 12.0999 81.82%
1423.18/1427.47 c 1427 636 635 1 22.0000 12.0999 81.82%
1431.86/1436.18 c 1436 641 640 1 22.0000 12.0999 81.82%
1437.92/1442.27 c 1442 645 644 1 22.0000 12.0999 81.82%
1446.00/1450.35 c 1450 649 648 1 22.0000 12.0999 81.82%
1451.88/1456.23 c 1456 652 651 1 22.0000 12.0999 81.82%
1458.77/1463.18 c 1463 655 654 1 22.0000 12.0999 81.82%
1464.24/1468.64 c 1469 658 657 1 22.0000 12.0999 81.82%
1470.22/1474.69 c 1475 665 664 1 22.0000 12.0999 81.82%
1475.72/1480.12 c 1480 669 668 1 22.0000 12.0999 81.82%
1482.98/1487.45 c 1487 672 671 1 22.0000 12.0999 81.82%
1488.86/1493.36 c 1493 676 675 1 22.0000 12.0999 81.82%
1494.84/1499.34 c 1499 685 684 1 22.0000 12.0999 81.82%
1501.42/1506.01 c 1506 689 688 1 22.0000 12.0999 81.82%
1506.90/1511.43 c 1511 694 693 1 22.0000 12.0999 81.82%
1517.37/1521.94 c 1522 695 694 1 22.0000 12.0999 81.82%
1523.26/1527.90 c 1528 697 696 1 22.0000 12.0999 81.82%
1529.14/1533.73 c 1534 701 700 1 22.0000 12.0999 81.82%
1534.93/1539.51 c 1540 708 707 1 22.0000 12.0999 81.82%
1541.21/1545.89 c 1546 712 711 1 22.0000 12.0999 81.82%
1549.89/1554.56 c 1555 713 712 1 22.0000 12.0999 81.82%
1555.88/1560.54 c 1561 716 715 1 22.0000 12.0999 81.82%
1561.16/1565.84 c 1566 719 718 1 22.0000 12.0999 81.82%
1566.36/1571.10 c 1571 721 720 1 22.0000 12.0999 81.82%
1572.03/1576.72 c 1577 730 729 1 22.0000 12.0999 81.82%
1578.12/1582.88 c 1583 733 732 1 22.0000 12.0999 81.82%
1590.30/1595.05 c 1595 734 733 1 22.0000 12.0999 81.82%
1598.28/1603.10 c 1603 737 736 1 22.0000 12.0999 81.82%
1605.75/1610.59 c 1611 741 740 1 22.0000 12.0999 81.82%
1613.53/1618.31 c 1618 745 744 1 22.0000 12.0999 81.82%
1618.61/1623.43 c 1623 747 746 1 22.0000 12.0999 81.82%
1624.21/1629.07 c 1629 751 750 1 22.0000 12.0999 81.82%
1630.49/1635.35 c 1635 756 755 1 22.0000 12.0999 81.82%
1641.36/1646.28 c 1646 758 757 1 22.0000 12.0999 81.82%
1649.34/1654.27 c 1654 761 760 1 22.0000 12.0999 81.82%
1664.80/1669.73 c 1670 766 765 1 22.0000 12.0999 81.82%
1670.58/1675.52 c 1676 770 769 1 22.0000 12.0999 81.82%
1691.63/1696.66 c 1697 773 772 1 22.0000 12.0999 81.82%
1697.92/1702.96 c 1703 776 775 1 22.0000 12.0999 81.82%
1703.12/1708.19 c 1708 778 777 1 22.0000 12.0999 81.82%
1709.69/1714.73 c 1715 780 779 1 22.0000 12.0999 81.82%
1718.08/1723.17 c 1723 785 784 1 22.0000 12.0999 81.82%
1725.06/1730.16 c 1730 792 791 1 22.0000 12.0999 81.82%
1738.92/1744.09 c 1744 794 793 1 22.0000 12.0999 81.82%
1749.00/1754.17 c 1754 801 800 1 22.0000 12.0999 81.82%
1755.17/1760.38 c 1760 804 803 1 22.0000 12.0999 81.82%
1764.55/1769.76 c 1770 805 804 1 22.0000 12.0999 81.82%
1770.44/1775.65 c 1776 808 807 1 22.0000 12.0999 81.82%
1778.12/1783.35 c 1783 811 810 1 22.0000 12.0999 81.82%
1784.91/1790.15 c 1790 812 811 1 22.0000 12.0999 81.82%
1789.98/1795.27 c 1795 815 814 1 22.0000 12.0999 81.82%
1807.04/1812.33 c 1812 821 820 1 22.0000 12.0999 81.82%
1814.22/1819.55 c 1820 826 825 1 22.0000 12.0999 81.82%
1819.41/1824.71 c 1825 829 828 1 22.0000 12.0999 81.82%
1824.49/1829.84 c 1830 832 831 1 22.0000 12.0999 81.82%
1833.17/1838.55 c 1839 835 834 1 22.0000 12.0999 81.82%
1838.56/1843.94 c 1844 838 837 1 22.0000 12.0999 81.82%
1843.54/1848.98 c 1849 844 843 1 22.0000 12.0999 81.82%
1849.13/1854.59 c 1855 848 847 1 22.0000 12.0999 81.82%
1855.51/1860.96 c 1861 850 849 1 22.0000 12.0999 81.82%
1862.29/1867.76 c 1868 854 853 1 22.0000 12.0999 81.82%
1867.79/1873.23 c 1873 857 856 1 22.0000 12.0999 81.82%
1873.58/1879.04 c 1879 861 860 1 22.0000 12.0999 81.82%
1879.06/1884.54 c 1885 864 863 1 22.0000 12.0999 81.82%
1885.44/1890.91 c 1891 866 865 1 22.0000 12.0999 81.82%
1892.32/1897.84 c 1898 869 868 1 22.0000 12.0999 81.82%
1899.40/1905.01 c 1905 873 872 1 22.0000 12.0999 81.82%
1909.48/1915.03 c 1915 877 876 1 22.0000 12.0999 81.82%
1914.96/1920.59 c 1921 881 880 1 22.0000 12.0999 81.82%
1922.24/1927.87 c 1928 886 885 1 22.0000 12.0999 81.82%
1928.23/1933.89 c 1934 892 891 1 22.0000 12.0999 81.82%
1933.32/1938.96 c 1939 894 893 1 22.0000 12.0999 81.82%
1940.90/1946.51 c 1947 897 896 1 22.0000 12.0999 81.82%
1947.98/1953.65 c 1954 900 899 1 22.0000 12.0999 81.82%
1955.16/1960.83 c 1961 902 901 1 22.0000 12.0999 81.82%
1961.24/1966.96 c 1967 904 903 1 22.0000 12.0999 81.82%
1969.22/1974.92 c 1975 907 906 1 22.0000 12.0999 81.82%
1974.42/1980.12 c 1980 910 909 1 22.0000 12.0999 81.82%
1980.00/1985.75 c 1986 913 912 1 22.0000 12.0999 81.82%
1985.88/1991.60 c 1992 916 915 1 22.0000 12.0999 81.82%
1993.66/1999.45 c 1999 918 917 1 22.0000 12.0999 81.82%
2000.26/2006.01 c 2006 923 922 1 22.0000 12.0999 81.82%
2006.83/2012.62 c 2013 926 925 1 22.0000 12.0999 81.82%
2013.90/2019.71 c 2020 929 928 1 22.0000 12.0999 81.82%
2019.79/2025.69 c 2026 931 930 1 22.0000 12.0999 81.82%
2027.97/2033.87 c 2034 933 932 1 22.0000 12.0999 81.82%
2033.16/2039.10 c 2039 935 934 1 22.0000 12.0999 81.82%
2041.43/2047.32 c 2047 939 938 1 22.0000 12.0999 81.82%
2046.72/2052.61 c 2053 943 942 1 22.0000 12.0999 81.82%
2052.31/2058.23 c 2058 946 945 1 22.0000 12.0999 81.82%
2058.59/2064.57 c 2065 948 947 1 22.0000 12.0999 81.82%
2069.66/2075.65 c 2076 950 949 1 22.0000 12.0999 81.82%
2077.54/2083.57 c 2084 953 952 1 22.0000 12.0999 81.82%
2085.13/2091.11 c 2091 955 954 1 22.0000 12.0999 81.82%
2090.70/2096.72 c 2097 957 956 1 22.0000 12.0999 81.82%
2097.19/2103.22 c 2103 961 960 1 22.0000 12.0999 81.82%
2107.26/2113.33 c 2113 965 964 1 22.0000 12.0999 81.82%
2113.44/2119.50 c 2120 967 966 1 22.0000 12.0999 81.82%
2119.13/2125.25 c 2125 970 969 1 22.0000 12.0999 81.82%
2126.51/2132.67 c 2133 973 972 1 22.0000 12.0999 81.82%
2132.79/2138.91 c 2139 975 974 1 22.0000 12.0999 81.82%
2137.99/2144.15 c 2144 979 978 1 22.0000 12.0999 81.82%
2150.45/2156.62 c 2157 981 980 1 22.0000 12.0999 81.82%
2155.54/2161.77 c 2162 983 982 1 22.0000 12.0999 81.82%
2162.02/2168.26 c 2168 986 985 1 22.0000 12.0999 81.82%
2179.37/2185.61 c 2186 989 988 1 22.0000 12.0999 81.82%
2185.55/2191.89 c 2192 991 990 1 22.0000 12.0999 81.82%
2191.44/2197.78 c 2198 994 993 1 22.0000 12.0999 81.82%
2198.32/2204.64 c 2205 997 996 1 22.0000 12.0999 81.82%
2208.50/2214.88 c 2215 998 997 1 22.0000 12.0999 81.82%
2215.18/2221.52 c 2222 1002 1001 1 22.0000 12.0999 81.82%
2222.16/2228.50 c 2228 1005 1004 1 22.0000 12.0999 81.82%
2228.24/2234.62 c 2235 1008 1007 1 22.0000 12.0999 81.82%
2235.43/2241.85 c 2242 1012 1011 1 22.0000 12.0999 81.82%
2241.42/2247.88 c 2248 1014 1013 1 22.0000 12.0999 81.82%
2246.90/2253.39 c 2253 1018 1017 1 22.0000 12.0999 81.82%
2253.38/2259.82 c 2260 1022 1021 1 22.0000 12.0999 81.82%
2267.45/2273.91 c 2274 1025 1024 1 22.0000 12.0999 81.82%
2272.83/2279.35 c 2279 1028 1027 1 22.0000 12.0999 81.82%
2279.42/2285.98 c 2286 1033 1032 1 22.0000 12.0999 81.82%
2285.00/2291.52 c 2292 1036 1035 1 22.0000 12.0999 81.82%
2291.08/2297.61 c 2298 1038 1037 1 22.0000 12.0999 81.82%
2300.36/2307.01 c 2307 1039 1038 1 22.0000 12.0999 81.82%
2306.94/2313.56 c 2314 1042 1041 1 22.0000 12.0999 81.82%
2312.55/2319.14 c 2319 1045 1044 1 22.0000 12.0999 81.82%
2321.42/2328.08 c 2328 1048 1047 1 22.0000 12.0999 81.82%
2329.59/2336.28 c 2336 1050 0 1 22.0000 12.0999 81.82%
2345.75/2352.47 c 2352 1050 0 1 22.0000 12.0999 81.82%
2352.23/2358.90 c 2359 1053 3 1 22.0000 12.0999 81.82%
2363.00/2369.72 c 2370 1061 11 1 22.0000 12.0999 81.82%
2371.29/2378.10 c 2378 1064 14 1 22.0000 12.0999 81.82%
2378.76/2385.56 c 2386 1068 18 1 22.0000 12.0999 81.82%
2383.95/2390.70 c 2391 1072 22 1 22.0000 12.0999 81.82%
2390.25/2397.08 c 2397 1078 28 1 22.0000 12.0999 81.82%
2396.42/2403.20 c 2403 1085 35 1 22.0000 12.0999 81.82%
2401.60/2408.45 c 2408 1090 40 1 22.0000 12.0999 81.82%
2407.09/2413.98 c 2414 1095 45 1 22.0000 12.0999 81.82%
2413.18/2420.05 c 2420 1100 50 1 22.0000 12.0999 81.82%
2419.06/2425.95 c 2426 1104 54 1 22.0000 12.0999 81.82%
2424.64/2431.51 c 2432 1109 59 1 22.0000 12.0999 81.82%
2430.53/2437.46 c 2437 1116 66 1 22.0000 12.0999 81.82%
2438.80/2445.73 c 2446 1126 76 1 22.0000 12.0999 81.82%
2444.69/2451.64 c 2452 1131 81 1 22.0000 12.0999 81.82%
2449.97/2456.91 c 2457 1137 87 1 22.0000 12.0999 81.82%
2455.86/2462.89 c 2463 1144 94 1 22.0000 12.0999 81.82%
2462.95/2469.99 c 2470 1147 97 1 22.0000 12.0999 81.82%
2470.14/2477.14 c 2477 1150 100 1 22.0000 12.0999 81.82%
2476.81/2483.87 c 2484 1153 103 1 22.0000 12.0999 81.82%
2482.69/2489.77 c 2490 1155 105 1 22.0000 12.0999 81.82%
2489.67/2496.73 c 2497 1161 111 1 22.0000 12.0999 81.82%
2495.46/2502.56 c 2503 1166 116 1 22.0000 12.0999 81.82%
2504.05/2511.19 c 2511 1169 119 1 22.0000 12.0999 81.82%
2509.32/2516.50 c 2516 1174 124 1 22.0000 12.0999 81.82%
2514.92/2522.07 c 2522 1177 127 1 22.0000 12.0999 81.82%
2529.27/2536.42 c 2536 1180 130 1 22.0000 12.0999 81.82%
2541.14/2548.39 c 2548 1183 133 1 22.0000 12.0999 81.82%
2546.23/2553.47 c 2553 1187 137 1 22.0000 12.0999 81.82%
2552.61/2559.83 c 2560 1193 143 1 22.0000 12.0999 81.82%
2562.19/2569.48 c 2569 1195 145 1 22.0000 12.0999 81.82%
2568.79/2576.05 c 2576 1198 148 1 22.0000 12.0999 81.82%
2580.35/2587.62 c 2588 1202 152 1 22.0000 12.0999 81.82%
2587.33/2594.63 c 2595 1204 154 1 22.0000 12.0999 81.82%
2594.60/2601.90 c 2602 1205 155 1 22.0000 12.0999 81.82%
2600.39/2607.70 c 2608 1207 157 1 22.0000 12.0999 81.82%
2606.37/2613.78 c 2614 1212 162 1 22.0000 12.0999 81.82%
2612.06/2619.42 c 2619 1215 165 1 22.0000 12.0999 81.82%
2618.14/2625.52 c 2626 1220 170 1 22.0000 12.0999 81.82%
2623.65/2631.01 c 2631 1225 175 1 22.0000 12.0999 81.82%
2630.21/2637.61 c 2638 1229 179 1 22.0000 12.0999 81.82%
2635.91/2643.38 c 2643 1232 182 1 22.0000 12.0999 81.82%
2643.18/2650.66 c 2651 1236 186 1 22.0000 12.0999 81.82%
2649.17/2656.66 c 2657 1237 187 1 22.0000 12.0999 81.82%
2654.35/2661.87 c 2662 1242 192 1 22.0000 12.0999 81.82%
2670.02/2677.53 c 2678 1247 197 1 22.0000 12.0999 81.82%
2678.70/2686.26 c 2686 1250 200 1 22.0000 12.0999 81.82%
2684.49/2692.03 c 2692 1253 203 1 22.0000 12.0999 81.82%
2689.97/2697.54 c 2698 1257 207 1 22.0000 12.0999 81.82%
2700.74/2708.31 c 2708 1264 214 1 22.0000 12.0999 81.82%
2706.32/2713.92 c 2714 1266 216 1 22.0000 12.0999 81.82%
2716.10/2723.79 c 2724 1267 217 1 22.0000 12.0999 81.82%
2722.08/2729.73 c 2730 1271 221 1 22.0000 12.0999 81.82%
2730.37/2738.06 c 2738 1273 223 1 22.0000 12.0999 81.82%
2736.15/2743.85 c 2744 1276 226 1 22.0000 12.0999 81.82%
2743.45/2751.13 c 2751 1278 228 1 22.0000 12.0999 81.82%
2752.21/2759.90 c 2760 1282 232 1 22.0000 12.0999 81.82%
2760.89/2768.67 c 2769 1285 235 1 22.0000 12.0999 81.82%
2770.86/2778.64 c 2779 1288 238 1 22.0000 12.0999 81.82%
2777.64/2785.49 c 2785 1293 243 1 22.0000 12.0999 81.82%
2783.03/2790.89 c 2791 1295 245 1 22.0000 12.0999 81.82%
2788.91/2796.79 c 2797 1298 248 1 22.0000 12.0999 81.82%
2794.31/2802.18 c 2802 1301 251 1 22.0000 12.0999 81.82%
2799.48/2807.33 c 2807 1304 254 1 22.0000 12.0999 81.82%
2805.47/2813.34 c 2813 1306 256 1 22.0000 12.0999 81.82%
2813.94/2821.84 c 2822 1309 259 1 22.0000 12.0999 81.82%
2824.33/2832.29 c 2832 1311 261 1 22.0000 12.0999 81.82%
2830.12/2838.05 c 2838 1314 264 1 22.0000 12.0999 81.82%
2847.37/2855.35 c 2855 1318 268 1 22.0000 12.0999 81.82%
2852.55/2860.58 c 2861 1320 270 1 22.0000 12.0999 81.82%
2858.24/2866.24 c 2866 1323 273 1 22.0000 12.0999 81.82%
2874.50/2882.50 c 2882 1325 275 1 22.0000 12.0999 81.82%
2881.58/2889.64 c 2890 1327 277 1 22.0000 12.0999 81.82%
2887.46/2895.58 c 2896 1332 282 1 22.0000 12.0999 81.82%
2901.13/2909.28 c 2909 1335 285 1 22.0000 12.0999 81.82%
2908.71/2916.85 c 2917 1336 286 1 22.0000 12.0999 81.82%
2915.79/2924.01 c 2924 1338 288 1 22.0000 12.0999 81.82%
2923.47/2931.60 c 2932 1341 291 1 22.0000 12.0999 81.82%
2940.23/2948.49 c 2948 1346 296 1 22.0000 12.0999 81.82%
2945.52/2953.76 c 2954 1348 298 1 22.0000 12.0999 81.82%
2953.40/2961.67 c 2962 1353 303 1 22.0000 12.0999 81.82%
2960.98/2969.20 c 2969 1354 304 1 22.0000 12.0999 81.82%
2971.55/2979.87 c 2980 1357 307 1 22.0000 12.0999 81.82%
2979.13/2987.48 c 2987 1359 309 1 22.0000 12.0999 81.82%
2991.10/2999.40 c 2999 1366 316 1 22.0000 12.0999 81.82%
3004.78/3013.13 c 3013 1369 319 1 22.0000 12.0999 81.82%
3009.85/3018.28 c 3018 1371 321 1 22.0000 12.0999 81.82%
3015.65/3024.09 c 3024 1373 323 1 22.0000 12.0999 81.82%
3024.52/3032.93 c 3033 1376 326 1 22.0000 12.0999 81.82%
3031.10/3039.56 c 3040 1379 329 1 22.0000 12.0999 81.82%
3039.78/3048.26 c 3048 1380 330 1 22.0000 12.0999 81.82%
3045.47/3053.99 c 3054 1382 332 1 22.0000 12.0999 81.82%
3053.95/3062.43 c 3062 1386 336 1 22.0000 12.0999 81.82%
3060.13/3068.67 c 3069 1390 340 1 22.0000 12.0999 81.82%
3067.21/3075.78 c 3076 1393 343 1 22.0000 12.0999 81.82%
3081.77/3090.33 c 3090 1397 347 1 22.0000 12.0999 81.82%
3088.15/3096.71 c 3097 1401 351 1 22.0000 12.1647 80.85%
3094.64/3103.26 c 3103 1403 353 1 22.0000 12.1647 80.85%
3100.22/3108.81 c 3109 1404 354 1 22.0000 12.1647 80.85%
3107.11/3115.72 c 3116 1410 360 1 22.0000 12.1647 80.85%
3112.19/3120.84 c 3121 1414 364 1 22.0000 12.1647 80.85%
3120.07/3128.72 c 3129 1416 366 1 22.0000 12.1647 80.85%
3125.26/3133.97 c 3134 1420 370 1 22.0000 12.1647 80.85%
3131.75/3140.41 c 3140 1422 372 1 22.0000 12.2347 79.82%
3136.93/3145.62 c 3146 1426 376 1 22.0000 12.2347 79.82%
3145.71/3154.45 c 3154 1429 379 1 22.0000 12.2347 79.82%
3152.19/3160.97 c 3161 1432 382 1 22.0000 12.2347 79.82%
3159.97/3168.72 c 3169 1436 386 1 22.0000 12.2347 79.82%
3166.06/3174.89 c 3175 1441 391 1 22.0000 12.2347 79.82%
3177.62/3186.40 c 3186 1443 393 1 22.0000 12.2347 79.82%
3184.61/3193.45 c 3193 1447 397 1 22.0000 12.2347 79.82%
3193.89/3202.71 c 3203 1448 398 1 22.0000 12.2347 79.82%
3200.57/3209.49 c 3209 1451 401 1 22.0000 12.2495 79.60%
3206.27/3215.15 c 3215 1454 404 1 22.0000 12.2495 79.60%
3211.84/3220.70 c 3221 1458 408 1 22.0000 12.2495 79.60%
3218.52/3227.48 c 3227 1463 413 1 22.0000 12.2495 79.60%
3224.00/3232.96 c 3233 1468 418 1 22.0000 12.2495 79.60%
3231.29/3240.22 c 3240 1471 421 1 22.0000 12.2495 79.60%
3238.37/3247.33 c 3247 1475 425 1 22.0000 12.2495 79.60%
3243.66/3252.67 c 3253 1477 427 1 22.0000 12.2495 79.60%
3250.64/3259.66 c 3260 1481 431 1 22.0000 12.2495 79.60%
3256.92/3265.93 c 3266 1485 435 1 22.0000 12.2495 79.60%
3262.20/3271.26 c 3271 1490 440 1 22.0000 12.2495 79.60%
3267.39/3276.47 c 3276 1494 444 1 22.0000 12.2495 79.60%
3272.58/3281.68 c 3282 1498 448 1 22.0000 12.2495 79.60%
3278.46/3287.57 c 3288 1505 455 1 22.0000 12.2495 79.60%
3285.95/3295.08 c 3295 1507 457 1 22.0000 12.2495 79.60%
3293.42/3302.59 c 3303 1512 462 1 22.0000 12.2495 79.60%
3299.50/3308.68 c 3309 1518 468 1 22.0000 12.2495 79.60%
3304.68/3313.84 c 3314 1521 471 1 22.0000 12.2578 79.48%
3310.27/3319.42 c 3319 1525 475 1 22.0000 12.2578 79.48%
3321.13/3330.33 c 3330 1529 479 1 22.0000 12.2578 79.48%
3326.62/3335.86 c 3336 1533 483 1 22.0000 12.2578 79.48%
3331.91/3341.19 c 3341 1539 489 1 22.0000 12.2578 79.48%
3337.19/3346.48 c 3346 1545 495 1 22.0000 12.2578 79.48%
3343.07/3352.35 c 3352 1551 501 1 22.0000 12.2578 79.48%
3350.05/3359.35 c 3359 1557 507 1 22.0000 12.2578 79.48%
3355.85/3365.13 c 3365 1561 511 1 22.0000 12.2578 79.48%
3361.92/3371.28 c 3371 1565 515 1 22.0000 12.2578 79.48%
3367.11/3376.43 c 3376 1569 519 1 22.0000 12.2578 79.48%
3373.70/3383.09 c 3383 1573 523 1 22.0000 12.2700 79.30%
3380.78/3390.14 c 3390 1580 530 1 22.0000 12.2700 79.30%
3386.77/3396.18 c 3396 1582 532 1 22.0000 12.2700 79.30%
3393.76/3403.14 c 3403 1591 541 1 22.0000 12.2777 79.19%
3400.23/3409.66 c 3410 1596 546 1 22.0000 12.2777 79.19%
3412.30/3421.71 c 3422 1598 548 1 22.0000 12.2777 79.19%
3419.18/3428.64 c 3429 1601 551 1 22.0000 12.2777 79.19%
3431.75/3441.25 c 3441 1604 554 1 22.0000 12.2777 79.19%
3442.92/3452.44 c 3452 1607 557 1 22.0000 12.2777 79.19%
3450.40/3459.97 c 3460 1610 560 1 22.0000 12.2777 79.19%
3460.48/3470.11 c 3470 1614 564 1 22.0000 12.2781 79.18%
3466.66/3476.23 c 3476 1619 569 1 22.0000 12.2781 79.18%
3473.94/3483.50 c 3484 1620 570 1 22.0000 12.2781 79.18%
3478.93/3488.54 c 3489 1624 574 1 22.0000 12.2781 79.18%
3486.01/3495.69 c 3496 1629 579 1 22.0000 12.2781 79.18%
3491.20/3500.87 c 3501 1632 582 1 22.0000 12.2781 79.18%
3496.59/3506.29 c 3506 1634 584 1 22.0000 12.2781 79.18%
3502.57/3512.21 c 3512 1638 588 1 22.0000 12.2781 79.18%
3508.65/3518.31 c 3518 1644 594 1 22.0000 12.2781 79.18%
3513.94/3523.64 c 3524 1647 597 1 22.0000 12.2781 79.18%
3526.21/3535.96 c 3536 1652 602 1 22.0000 12.2917 78.98%
3533.78/3543.55 c 3544 1659 609 1 22.0000 12.2917 78.98%
3543.16/3552.99 c 3553 1661 611 1 22.0000 12.2917 78.98%
3548.75/3558.57 c 3559 1666 616 1 22.0000 12.2917 78.98%
3556.53/3566.33 c 3566 1668 618 1 22.0000 12.2917 78.98%
3563.32/3573.16 c 3573 1670 620 1 22.0000 12.2917 78.98%
3568.90/3578.76 c 3579 1675 625 1 22.0000 12.3001 78.86%
3574.78/3584.66 c 3585 1677 627 1 22.0000 12.3001 78.86%
3580.77/3590.69 c 3591 1680 630 1 22.0000 12.3001 78.86%
3590.04/3600.01 c 3600 1681 631 0 22.0000 12.3001 78.86%
3590.25/3600.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.25/3600.16 c Total Time : 3600.14
3590.25/3600.16 c solving : 3600.14
3590.25/3600.16 c presolving : 0.52 (included in solving)
3590.25/3600.16 c B&B Tree :
3590.25/3600.16 c nodes (total) : 1
3590.25/3600.16 c Solution :
3590.25/3600.16 c Solutions found : 4
3590.25/3600.16 c Primal Bound : +2.20000000000000e+01
3590.25/3600.16 c Dual Bound : +1.23001013741563e+01
3590.25/3600.16 c Gap : 78.86031 %
3590.25/3600.16 c * Warning: final gap: 7.88603e-01 is greater than SCIPepsilon: 1.00000e-09
3590.25/3600.16 o 22
3590.25/3600.16 s SATISFIABLE
3590.25/3600.16 v -x6027 x6026 -x6025 x6024 x6022 -x6020 -x6019 -x6018 -x6017 -x6015 -x6013 -x6012 -x6011 -x6010 -x6008 -x6006 -x6005 -x6004 -x6003
3590.25/3600.16 v -x6001 -x6000 -x5999 -x5998 -x5996 -x5994 -x5993 -x5992 -x5991 -x5989 x5987 -x5985 -x5984 -x5983 -x5982 -x5980 -x5978 -x5977
3590.25/3600.16 v -x5976 -x5975 -x5973 -x5971 -x5970 -x5969 -x5968 -x5966 -x5964 -x5963 -x5962 -x5961 -x5959 -x5957 -x5956 -x5955 -x5954 -x5952
3590.25/3600.16 v -x5950 -x5949 -x5948 -x5947 x5945 -x5943 -x5942 x5941 x5940 -x5938 -x5937 -x5936 -x5935 -x5933 -x5932 -x5931 -x5930 x5928
3590.25/3600.16 v -x5926 -x5925 -x5924 -x5923 -x5921 -x5919 -x5918 -x5917 -x5916 -x5914 -x5912 -x5911 -x5910 -x5909 -x5907 -x5905 -x5904 -x5903
3590.25/3600.16 v x5902 x5900 -x5898 -x5897 -x5896 -x5895 -x5893 -x5891 -x5890 -x5889 -x5888 -x5886 -x5884 -x5883 -x5882 -x5881 x5879 -x5877
3590.25/3600.16 v -x5876 -x5875 -x5874 -x5872 -x5871 -x5870 -x5869 -x5867 -x5865 -x5864 -x5863 -x5862 -x5860 -x5858 -x5857 x5856 x5855 -x5853 -x5852
3590.25/3600.16 v -x5851 -x5850 x5848 -x5846 -x5845 -x5844 -x5843 x5841 -x5839 -x5838 -x5837 x5836 x5834 -x5832 -x5831 -x5830 -x5829 -x5827
3590.25/3600.16 v -x5826 -x5825 -x5824 -x5822 -x5820 -x5819 -x5818 -x5817 -x5815 -x5813 -x5812 -x5811 x5810 -x5808 -x5807 -x5806 x5805 x5803
3590.25/3600.16 v -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783
3590.25/3600.16 v -x5782 -x5781 -x5780 -x5779 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763
3590.25/3600.16 v -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744
3590.25/3600.16 v -x5743 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724
3590.25/3600.16 v -x5723 -x5722 -x5721 -x5720 -x5719 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5705 -x5704
3590.25/3600.16 v -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686
3590.25/3600.16 v -x5685 -x5684 -x5683 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5669 -x5668 -x5667 -x5666
3590.25/3600.16 v -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647
3590.25/3600.16 v -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 x5636 x5635 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627
3590.25/3600.16 v -x5626 -x5625 -x5624 -x5623 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5609 -x5608 -x5607
3590.25/3600.16 v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588
3590.25/3600.16 v -x5587 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
3590.25/3600.16 v -x5567 -x5566 -x5565 x5564 x5563 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5549 -x5548
3590.25/3600.16 v -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530
3590.25/3600.16 v -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511
3590.25/3600.16 v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5495 -x5494 -x5493 -x5492
3590.25/3600.16 v -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475
3590.25/3600.16 v -x5474 -x5473 -x5472 -x5471 -x5470 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456
3590.25/3600.16 v -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5441 -x5440 -x5439 -x5438 -x5437
3590.25/3600.16 v -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419
3590.25/3600.16 v -x5418 -x5417 x5416 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400
3590.25/3600.16 v -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381
3590.25/3600.16 v -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363
3590.25/3600.16 v x5362 -x5360 -x5359 -x5358 -x5357 -x5355 -x5354 -x5353 -x5352 -x5350 -x5349 -x5348 -x5347 x5345 -x5343 -x5342 -x5341 -x5340
3590.25/3600.16 v -x5338 -x5336 -x5335 -x5334 -x5333 -x5331 -x5330 -x5329 -x5328 -x5326 -x5325 -x5324 x5323 -x5321 -x5320 -x5319 x5318 -x5316
3590.25/3600.16 v -x5315 -x5314 -x5313 -x5311 -x5309 -x5308 -x5307 -x5306 -x5304 -x5302 -x5301 -x5300 -x5299 -x5297 -x5296 -x5295 -x5294 -x5292
3590.25/3600.16 v x5290 -x5288 -x5287 -x5286 -x5285 -x5283 -x5282 -x5281 -x5280 -x5278 -x5277 -x5276 -x5275 -x5273 -x5271 -x5270 -x5269 -x5268
3590.25/3600.16 v -x5266 -x5264 -x5263 -x5262 x5261 x5259 -x5257 -x5256 -x5255 x5254 -x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5244 -x5243
3590.25/3600.16 v -x5242 x5240 -x5238 -x5237 -x5236 -x5235 -x5233 -x5231 -x5230 -x5229 -x5228 -x5226 -x5224 -x5223 -x5222 x5221 -x5219 -x5218
3590.25/3600.16 v -x5217 -x5216 -x5214 -x5212 -x5211 -x5210 -x5209 -x5207 -x5205 -x5204 -x5203 x5202 -x5200 -x5199 -x5198 -x5197 -x5195 -x5193
3590.25/3600.16 v -x5191 -x5190 -x5189 x5188 -x5186 -x5185 -x5184 -x5183 -x5181 -x5179 -x5178 -x5177 -x5176 x5174 -x5172 -x5171 -x5170 -x5169
3590.25/3600.16 v -x5167 -x5165 -x5163 -x5162 -x5161 -x5160 -x5158 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146
3590.25/3600.16 v -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126
3590.25/3600.16 v -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106
3590.25/3600.16 v -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087
3590.25/3600.16 v -x5086 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067
3590.25/3600.16 v -x5066 -x5065 -x5064 -x5063 -x5062 -x5060 -x5059 -x5058 -x5057 x5056 -x5055 -x5054 -x5053 -x5052 -x5051 x5050 -x5048 -x5047
3590.25/3600.16 v -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028
3590.25/3600.16 v -x5027 -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5012 -x5011 -x5010 -x5009 -x5008
3590.25/3600.16 v -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990
3590.25/3600.16 v -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970
3590.25/3600.16 v -x4969 -x4968 -x4967 -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4952 -x4951 -x4950
3590.25/3600.16 v -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931
3590.25/3600.16 v -x4930 -x4928 -x4927 -x4926 x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 x4918 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911
3590.25/3600.16 v -x4910 -x4909 -x4908 -x4907 -x4906 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892
3590.25/3600.16 v -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4877 -x4876 -x4875 -x4874 -x4873
3590.25/3600.16 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
3590.25/3600.16 v -x4854 -x4853 -x4852 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836
3590.25/3600.16 v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817
3590.25/3600.16 v -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
3590.25/3600.16 v -x4799 -x4798 -x4796 -x4795 -x4794 x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781
3590.25/3600.16 v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 x4771 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762
3590.25/3600.16 v -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744
3590.25/3600.16 v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725
3590.25/3600.16 v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4715 -x4714 -x4713 -x4712 -x4710 -x4709 -x4708 -x4707 -x4705 -x4704
3590.25/3600.16 v -x4703 -x4702 -x4700 -x4699 -x4698 -x4697 -x4695 -x4694 -x4693 -x4692 -x4690 -x4689 -x4688 -x4687 -x4685 -x4684 -x4683 -x4682
3590.25/3600.16 v -x4680 -x4679 -x4678 -x4677 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4665 -x4664 -x4663 -x4662 -x4660 -x4659
3590.25/3600.16 v -x4658 -x4657 -x4655 -x4654 -x4653 -x4652 -x4650 -x4649 -x4648 -x4647 -x4645 -x4644 -x4643 -x4642 -x4640 -x4639 -x4638 -x4637
3590.25/3600.16 v -x4635 -x4634 -x4633 -x4632 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4620 -x4619 -x4618 -x4617 -x4615
3590.25/3600.16 v -x4614 -x4613 -x4612 -x4610 -x4609 -x4608 -x4607 -x4605 -x4604 -x4603 -x4602 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593
3590.25/3600.16 v -x4592 -x4590 x4589 -x4588 x4587 -x4585 -x4584 -x4583 -x4582 -x4580 -x4579 -x4578 -x4577 -x4575 -x4574 -x4573 -x4572 -x4570
3590.25/3600.16 v -x4569 -x4568 -x4567 -x4565 -x4564 -x4563 -x4562 -x4560 -x4559 -x4558 -x4557 -x4555 -x4554 -x4553 -x4552 -x4550 -x4549 -x4548
3590.25/3600.16 v -x4547 -x4545 -x4544 -x4543 -x4542 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 -x4532 -x4530 -x4529 -x4528 -x4527 -x4525
3590.25/3600.16 v -x4524 -x4523 -x4522 -x4520 -x4519 -x4518 -x4517 -x4515 -x4514 -x4513 -x4512 -x4510 -x4509 -x4508 -x4507 -x4505 -x4504 -x4503
3590.25/3600.16 v -x4502 -x4500 -x4499 -x4498 -x4497 -x4495 -x4494 -x4493 -x4492 -x4490 -x4489 -x4488 -x4487 -x4485 -x4484 -x4483 -x4482 -x4480
3590.25/3600.16 v -x4479 -x4478 -x4477 -x4475 -x4474 -x4473 -x4472 -x4470 -x4469 -x4468 -x4467 -x4465 -x4464 -x4463 -x4462 -x4460 -x4459 -x4458
3590.25/3600.16 v -x4457 -x4455 -x4454 -x4453 -x4452 -x4450 -x4449 -x4448 -x4447 -x4445 -x4444 -x4443 -x4442 -x4440 -x4439 -x4438 -x4437 -x4435
3590.25/3600.16 v -x4434 -x4433 -x4432 -x4430 -x4429 -x4428 -x4427 -x4425 -x4424 -x4423 -x4422 -x4420 -x4419 -x4418 -x4417 -x4415 -x4414
3590.25/3600.16 v -x4413 -x4412 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4400 -x4399 -x4398 -x4397 -x4395 -x4394 -x4393 -x4392
3590.25/3600.16 v -x4390 -x4389 -x4388 -x4387 -x4385 -x4384 -x4383 -x4382 -x4380 -x4379 -x4378 -x4377 -x4375 -x4374 -x4373 -x4372 -x4370 -x4369
3590.25/3600.16 v -x4368 -x4367 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 x4353 -x4351 -x4350 -x4349 -x4348
3590.25/3600.16 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4339 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328
3590.25/3600.16 v -x4327 -x4325 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 x4311 -x4309 -x4308 -x4307 -x4306
3590.25/3600.16 v -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4297 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286
3590.25/3600.16 v -x4285 -x4283 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 x4269 -x4267 -x4266 -x4265 -x4264
3590.25/3600.16 v -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 x4257 -x4255 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244
3590.25/3600.16 v -x4243 -x4241 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4227 -x4225 -x4224 -x4223 -x4222
3590.25/3600.16 v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202
3590.25/3600.16 v -x4201 -x4199 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 x4185 -x4183 -x4182 -x4181 -x4180
3590.25/3600.16 v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4171 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160
3590.25/3600.16 v -x4159 x4157 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4143 -x4141 -x4140 -x4139 -x4138
3590.25/3600.16 v -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4129 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119
3590.25/3600.16 v -x4118 -x4117 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4103 -x4101 -x4100 -x4099 -x4098
3590.25/3600.16 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4089 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
3590.25/3600.16 v -x4077 -x4075 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4061 -x4059 -x4058 -x4057 -x4056
3590.25/3600.16 v -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 x4047 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036
3590.25/3600.16 v x4035 -x4033 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4017 -x4016 -x4015 -x4014
3590.25/3600.16 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4005 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994
3590.25/3600.16 v x3993 -x3991 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3977 -x3975 -x3974 -x3973 -x3972
3590.25/3600.16 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3963 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
3590.25/3600.16 v x3951 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3937 -x3935 -x3934 -x3933 -x3932 -x3931
3590.25/3600.16 v -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 x3923 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911
3590.25/3600.16 v -x3909 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3895 -x3893 -x3892 -x3891 -x3890 -x3889
3590.25/3600.16 v -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870
3590.25/3600.16 v -x3869 -x3867 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 x3853 -x3851 -x3850 -x3849 -x3848
3590.25/3600.16 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 x3839 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828
3590.25/3600.16 v -x3827 -x3825 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 -x3808 -x3807 -x3806
3590.25/3600.16 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 x3797 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786
3590.25/3600.16 v -x3785 -x3783 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3769 -x3767 -x3766 -x3765 -x3764
3590.25/3600.16 v -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
3590.25/3600.16 v -x3743 -x3741 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3727 -x3725 -x3724 -x3723 -x3722
3590.25/3600.16 v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 x3713 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702
3590.25/3600.16 v -x3701 x3699 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3685 -x3683 -x3682 -x3681 -x3680
3590.25/3600.16 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3671 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660
3590.25/3600.16 v -x3659 -x3657 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3643 -x3641 -x3640 -x3639 -x3638
3590.25/3600.16 v -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 x3629 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618
3590.25/3600.16 v -x3617 -x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3601 -x3599 -x3598 -x3597 -x3596
3590.25/3600.16 v -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3587 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
3590.25/3600.16 v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558
3590.25/3600.16 v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540
3590.25/3600.16 v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521
3590.25/3600.16 v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3504 -x3503 -x3502
3590.25/3600.16 v -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484
3590.25/3600.16 v -x3483 -x3482 -x3481 -x3480 x3479 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465
3590.25/3600.16 v -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3450 -x3449 -x3448 -x3447 -x3446
3590.25/3600.16 v -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429
3590.25/3600.16 v -x3428 -x3427 -x3426 -x3425 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410
3590.25/3600.16 v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391
3590.25/3600.16 v -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373
3590.25/3600.16 v -x3372 -x3371 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354
3590.25/3600.16 v -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335
3590.25/3600.16 v -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317
3590.25/3600.16 v -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299
3590.25/3600.16 v -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280
3590.25/3600.16 v -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3261
3590.25/3600.16 v -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243
3590.25/3600.16 v -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224
3590.25/3600.16 v -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3207 -x3206 -x3205
3590.25/3600.16 v -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187
3590.25/3600.16 v -x3186 -x3185 -x3184 -x3183 -x3182 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169
3590.25/3600.16 v -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 x3155 -x3153 -x3152 -x3151 -x3150
3590.25/3600.16 v -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132
3590.25/3600.16 v -x3131 -x3130 -x3129 -x3128 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113
3590.25/3600.16 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094
3590.25/3600.16 v -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076
3590.25/3600.16 v -x3075 x3074 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057
3590.25/3600.16 v -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038
3590.25/3600.16 v -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020
3590.25/3600.16 v -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002
3590.25/3600.16 v -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983
3590.25/3600.16 v -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2964
3590.25/3600.16 v -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946
3590.25/3600.16 v -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
3590.25/3600.16 v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2910 -x2909 -x2908
3590.25/3600.16 v -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890
3590.25/3600.16 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872
3590.25/3600.16 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2856 -x2855 -x2854 -x2853
3590.25/3600.16 v -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835
3590.25/3600.16 v -x2834 -x2833 -x2832 -x2831 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816
3590.25/3600.16 v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798
3590.25/3600.16 v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780
3590.25/3600.16 v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 x2773 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761
3590.25/3600.16 v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
3590.25/3600.16 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726
3590.25/3600.16 v -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
3590.25/3600.16 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
3590.25/3600.16 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
3590.25/3600.16 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2655 -x2654 -x2653 -x2652
3590.25/3600.16 v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
3590.25/3600.16 v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
3590.25/3600.16 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3590.25/3600.16 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
3590.25/3600.16 v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
3590.25/3600.16 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
3590.25/3600.16 v -x2543 -x2542 -x2541 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
3590.25/3600.16 v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507
3590.25/3600.16 v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489
3590.25/3600.16 v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
3590.25/3600.16 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
3590.25/3600.16 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
3590.25/3600.16 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
3590.25/3600.16 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398
3590.25/3600.16 v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380
3590.25/3600.16 v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2365 -x2364 -x2363 -x2362 x2360
3590.25/3600.16 v -x2358 -x2357 -x2356 -x2355 x2353 -x2351 -x2350 -x2349 -x2348 -x2346 -x2344 -x2343 -x2342 -x2341 -x2339 -x2337 -x2336 -x2335
3590.25/3600.16 v -x2334 x2332 -x2330 -x2329 -x2328 -x2327 -x2325 -x2323 -x2322 -x2321 -x2320 -x2318 -x2316 -x2315 -x2314 -x2313 -x2311 -x2309
3590.25/3600.16 v -x2308 -x2307 -x2306 -x2304 -x2302 -x2301 -x2300 -x2299 -x2297 -x2295 -x2294 -x2293 -x2292 x2290 -x2288 -x2287 -x2286 -x2285
3590.25/3600.16 v -x2283 -x2281 -x2280 -x2279 -x2278 -x2276 -x2274 -x2273 -x2272 -x2271 x2269 -x2267 -x2266 -x2265 -x2264 x2262 -x2260 -x2259
3590.25/3600.16 v -x2258 -x2257 x2255 -x2253 -x2252 -x2251 -x2250 -x2248 -x2246 -x2245 -x2244 -x2243 -x2241 -x2239 -x2238 -x2237 -x2236 -x2234
3590.25/3600.16 v -x2232 -x2231 -x2230 -x2229 x2227 -x2225 -x2224 -x2223 -x2222 x2220 -x2218 -x2217 -x2216 -x2215 -x2213 -x2211 -x2210 -x2209
3590.25/3600.16 v -x2208 -x2206 -x2204 -x2203 -x2202 -x2201 -x2199 -x2197 -x2196 -x2195 -x2194 -x2192 -x2190 -x2189 -x2188 -x2187 -x2185 -x2183
3590.25/3600.16 v -x2182 -x2181 -x2180 -x2178 -x2176 -x2175 -x2174 -x2173 -x2171 -x2169 -x2168 x2167 x2166 -x2164 -x2162 -x2161 -x2160 -x2159
3590.25/3600.16 v -x2157 -x2155 -x2154 -x2153 -x2152 -x2150 -x2148 -x2147 -x2146 -x2145 -x2143 -x2141 -x2140 -x2139 -x2138 -x2136 -x2134 -x2133
3590.25/3600.16 v -x2132 -x2131 x2129 -x2127 -x2126 -x2125 -x2124 -x2122 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111
3590.25/3600.16 v -x2110 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
3590.25/3600.16 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2072 -x2071
3590.25/3600.16 v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052
3590.25/3600.16 v -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2036 -x2035 -x2034 -x2033
3590.25/3600.16 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014
3590.25/3600.16 v -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994
3590.25/3600.16 v -x1993 -x1992 -x1991 -x1990 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1975 -x1974
3590.25/3600.16 v -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
3590.25/3600.16 v -x1954 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
3590.25/3600.16 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1916 -x1915
3590.25/3600.16 v -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 x1906 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896
3590.25/3600.16 v -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 x1882 -x1880 -x1879 -x1878 -x1877 -x1876
3590.25/3600.16 v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857
3590.25/3600.16 v -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839
3590.25/3600.16 v -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821
3590.25/3600.16 v -x1820 -x1819 -x1818 -x1817 -x1816 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802
3590.25/3600.16 v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1787 -x1786 -x1785 -x1784 -x1783
3590.25/3600.16 v -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765
3590.25/3600.16 v -x1764 -x1763 -x1762 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746
3590.25/3600.16 v -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 x1735 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727
3590.25/3600.16 v -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709
3590.25/3600.16 v -x1708 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690
3590.25/3600.16 v -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1679 -x1678 -x1677 -x1676 -x1674 -x1672 -x1671 -x1670
3590.25/3600.16 v -x1669 x1667 -x1665 -x1664 -x1663 -x1662 x1660 -x1658 -x1657 -x1656 -x1655 -x1653 -x1651 -x1650 -x1649 -x1648 x1646 -x1644 -x1643
3590.25/3600.16 v -x1642 -x1641 -x1639 -x1637 -x1636 -x1635 x1634 x1632 -x1630 -x1629 -x1628 -x1627 x1625 -x1623 -x1622 -x1621 -x1620 x1618
3590.25/3600.16 v -x1616 -x1615 -x1614 -x1613 -x1611 -x1609 -x1608 -x1607 -x1606 x1604 -x1602 -x1601 -x1600 -x1599 x1597 -x1595 -x1594 -x1593
3590.25/3600.16 v x1592 x1590 -x1588 -x1587 -x1586 -x1585 x1583 -x1581 -x1580 -x1579 -x1578 -x1576 -x1574 -x1573 -x1572 -x1571 x1569 -x1567 -x1566
3590.25/3600.16 v -x1565 -x1564 x1562 -x1560 -x1559 -x1558 x1557 x1555 -x1553 -x1552 -x1551 x1550 x1548 -x1546 -x1545 -x1544 -x1543 -x1541
3590.25/3600.16 v -x1539 -x1538 -x1537 -x1536 -x1534 -x1532 -x1531 -x1530 -x1529 -x1527 -x1525 -x1524 -x1523 -x1522 -x1520 -x1518 x1517 -x1516
3590.25/3600.16 v x1515 x1513 -x1511 -x1510 -x1509 -x1508 -x1506 x1504 -x1503 -x1502 x1501 -x1499 -x1497 -x1496 -x1495 -x1494 -x1492 -x1490 x1489
3590.25/3600.16 v -x1488 x1487 x1485 -x1483 -x1482 -x1481 -x1480 -x1478 -x1476 -x1475 -x1474 -x1473 -x1471 -x1469 -x1468 -x1467 -x1466 x1464
3590.25/3600.16 v -x1462 -x1461 -x1460 -x1459 -x1457 -x1455 x1454 -x1453 x1452 x1450 -x1448 -x1447 -x1446 -x1445 -x1443 -x1441 -x1440 -x1439
3590.25/3600.16 v -x1438 -x1436 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1422 -x1421 -x1420 -x1419 -x1418
3590.25/3600.16 v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1398
3590.25/3600.16 v -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379
3590.25/3600.16 v -x1378 -x1377 -x1376 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1362 -x1361 -x1360 -x1359
3590.25/3600.16 v -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 x1340
3590.25/3600.16 v -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320
3590.25/3600.16 v -x1319 -x1318 -x1317 -x1316 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1302 -x1301 -x1300
3590.25/3600.16 v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 -x1281
3590.25/3600.16 v x1280 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261
3590.25/3600.16 v -x1260 -x1259 -x1258 -x1257 -x1256 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1242 -x1241
3590.25/3600.16 v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223
3590.25/3600.16 v -x1222 -x1221 -x1220 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1206 -x1205 -x1204 -x1203
3590.25/3600.16 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
3590.25/3600.16 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
3590.25/3600.16 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146
3590.25/3600.16 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1128 -x1127
3590.25/3600.16 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
3590.25/3600.16 v -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090
3590.25/3600.16 v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1074 -x1073 -x1072
3590.25/3600.16 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
3590.25/3600.16 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
3590.25/3600.16 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1020 -x1019 -x1018 -x1017 -x1016
3590.25/3600.16 v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998
3590.25/3600.16 v -x997 -x996 -x995 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x993 -x991 x992 -x990 -x988 -x989 -x987 -x985 -x986 -x984 -x983
3590.25/3600.16 v -x982 -x980 -x981 -x979 -x977 -x978 -x975 -x976 -x974 -x972 -x973 -x971 -x969 -x970 -x968 -x966 -x967 -x965 -x963 -x964 -x962
3590.25/3600.16 v -x960 -x961 -x959 -x957 -x958 -x956 -x955 -x954 -x953 -x952 -x950 -x951 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942
3590.25/3600.16 v -x940 -x938 -x939 -x937 -x935 -x936 -x934 -x932 -x933 -x931 -x929 -x930 -x928 -x927 -x926 -x924 -x925 -x923 -x921 -x922 -x920
3590.25/3600.16 v -x919 -x918 -x916 -x917 -x915 -x913 -x914 -x912 -x910 -x911 -x909 -x908 -x907 -x905 -x906 -x904 -x902 -x903 -x901 -x900 -x899
3590.25/3600.16 v -x897 -x898 -x896 -x895 -x894 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x879 -x878 -x877
3590.25/3600.16 v -x876 -x874 -x873 -x872 -x871 -x870 -x869 -x867 -x866 -x865 -x864 -x862 -x861 -x860 -x859 -x857 -x856 -x854 -x853 -x852 x851
3590.25/3600.16 v x850 -x849 -x848 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x839 -x838 -x837 -x836 -x835 -x833 -x834 -x832 -x830 -x831 -x829 -x828
3590.25/3600.16 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x819 -x820 -x818 -x816 -x817 -x815 -x814 -x813 -x811 -x812 -x809 x810 -x808 -x807
3590.25/3600.16 v -x806 -x805 -x804 -x802 -x803 -x801 -x799 -x800 -x798 -x796 -x797 -x795 -x793 -x794 -x792 -x791 -x790 -x788 -x789 -x787
3590.25/3600.16 v -x785 -x786 -x784 -x782 -x783 -x781 -x780 -x779 -x777 -x778 -x776 -x774 -x775 -x773 -x772 -x771 -x769 -x770 -x767 -x768 -x766
3590.25/3600.16 v -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758 -x756 -x757 -x754 -x755 -x753 -x751 -x752 -x750 -x749 -x748 -x747 -x746 -x745
3590.25/3600.16 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x724 -x723
3590.25/3600.16 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x354 -x353 -x352 -x351 -x350 -x349
3590.25/3600.16 v x348 -x347 -x699 -x697 -x698 -x696 -x694 -x695 -x693 -x691 -x692 -x690 -x688 -x689 -x687 -x685 -x686 -x684 -x682 -x683 -x681
3590.25/3600.16 v -x679 -x680 -x678 -x676 -x677 -x675 -x673 -x674 -x672 -x670 -x671 -x669 -x667 -x668 -x666 -x664 -x665 -x663 -x661 x662 -x660
3590.25/3600.16 v -x658 -x659 -x657 -x655 -x656 -x654 -x652 -x653 -x651 -x649 -x650 -x648 -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639
3590.25/3600.16 v -x637 -x638 -x636 -x634 -x635 -x633 -x631 -x632 -x630 -x628 -x629 -x627 -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620
3590.25/3600.16 v -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608 -x606 -x604 -x605 -x603 -x601 -x602 -x600 -x598 -x599
3590.25/3600.16 v -x597 -x595 -x596 -x594 -x592 -x593 -x591 -x589 -x590 -x588 -x586 -x587 -x585 -x583 -x584 -x582 -x580 -x581 -x579 -x577 -x578
3590.25/3600.16 v -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568 -x569 -x567 -x565 -x566 -x564 -x562 -x563 -x561 -x559 -x560 -x558 -x556 -x557
3590.25/3600.16 v -x555 -x553 -x554 -x552 -x550 -x551 -x549 -x547 -x548 -x546 -x544 -x545 -x543 -x542 -x541 -x539 -x540 -x538 -x536 -x537 -x535
3590.25/3600.16 v -x533 -x534 -x532 -x530 -x531 -x529 -x527 -x528 x526 -x524 -x525 -x523 -x521 -x522 -x520 -x518 -x519 -x517 -x515 -x516 -x514
3590.25/3600.16 v -x512 -x513 -x511 -x509 -x510 -x508 -x507 -x506 -x504 -x505 -x503 -x501 -x502 -x500 -x498 -x499 -x497 -x495 -x496 -x494 -x492
3590.25/3600.16 v -x493 -x491 -x489 -x490 -x488 -x486 -x487 -x485 -x483 -x484 -x482 -x480 -x481 -x479 -x477 -x478 -x476 -x474 -x475 -x473
3590.25/3600.16 v -x471 -x472 -x470 -x468 -x469 -x467 -x465 -x466 -x464 -x462 -x463 -x461 -x459 -x460 -x458 -x456 -x457 -x455 -x453 -x454 -x452
3590.25/3600.16 v -x450 -x451 -x449 -x447 -x448 -x446 -x444 -x445 -x443 -x441 -x442 -x440 -x438 -x439 -x437 -x435 -x436 -x434 -x432 -x433 -x431
3590.25/3600.16 v -x429 -x430 -x428 -x426 -x425 -x423 -x422 -x421 -x420 -x418 -x417 -x415 -x414 -x412 -x411 -x409 -x408 -x407 -x406 -x404 -x403
3590.25/3600.16 v -x402 -x401 -x399 -x398 -x397 -x396 -x394 -x393 -x391 -x390 -x389 x388 -x387 -x386 -x384 -x383 -x382 -x381 -x380 -x379 -x378
3590.25/3600.16 v -x377 -x375 -x374 -x372 -x371 -x369 -x368 -x367 -x366 -x364 -x363 -x361 -x360 -x358 -x357 -x355 -x183 -x182 x181 -x180 -x179
3590.25/3600.16 v -x178 -x177 -x345 -x343 -x344 -x342 -x340 -x341 -x339 -x337 -x338 -x336 -x334 -x335 -x333 -x331 -x332 -x330 -x328 -x329 -x327
3590.25/3600.16 v -x325 -x326 -x324 -x322 -x323 -x321 -x319 -x320 -x318 -x316 -x317 -x315 -x313 -x314 -x312 -x310 -x311 -x309 -x307 -x308 -x306
3590.25/3600.16 v -x304 -x305 -x303 -x301 -x302 -x300 -x298 -x299 -x297 -x295 -x296 -x294 -x292 -x293 -x291 -x289 -x290 -x288 -x286 -x287
3590.25/3600.16 v -x285 -x283 -x284 -x282 -x280 -x281 -x279 -x277 -x278 -x276 -x274 -x275 -x273 -x271 -x272 -x270 -x268 -x269 -x267 -x265 -x266
3590.25/3600.16 v -x264 -x262 -x263 x261 -x259 -x260 -x258 -x256 -x257 -x255 -x253 -x254 -x252 -x250 -x251 -x249 -x247 -x248 -x246 -x244 -x245
3590.25/3600.16 v -x243 -x241 -x242 -x240 -x238 -x237 -x235 -x234 -x232 -x231 -x229 -x228 -x227 -x226 -x224 -x223 -x222 -x221 -x219 x218 -x217
3590.25/3600.16 v -x216 -x214 -x213 -x212 -x211 -x209 -x208 -x206 -x205 -x204 -x203 -x201 -x200 -x198 -x197 -x195 -x194 -x192 -x191 -x189 -x188
3590.25/3600.16 v -x187 -x186 -x184 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x175 -x173 -x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163
3590.25/3600.16 v -x161 -x162 -x160 -x158 -x159 -x157 -x155 -x156 -x154 -x152 -x153 -x151 -x149 -x150 -x148 -x146 -x147 -x145 -x143 -x144 -x142
3590.25/3600.16 v -x140 -x141 -x139 -x137 -x138 -x136 -x134 -x135 -x133 -x131 -x132 -x130 -x128 -x129 -x127 -x125 -x126 -x124 -x122 -x123 -x121
3590.25/3600.16 v -x119 -x120 -x118 -x116 -x117 -x115 -x113 -x114 -x112 -x110 -x111 -x109 -x107 -x108 -x106 -x104 x105 -x103 -x101 -x102 -x100
3590.25/3600.16 v -x98 -x99 -x97 -x95 -x96 -x94 -x92 -x93 -x91 -x89 -x90 -x88 -x86 -x87 -x85 -x83 -x84 -x82 -x80 -x81 -x79 -x77 -x78 -x76 -x74
3590.25/3600.16 v -x75 -x73 -x71 -x72 -x70 -x68 -x67 -x65 -x64 -x62 -x61 -x60 -x59 -x57 -x56 -x54 -x53 -x51 -x50 -x48 -x47 -x45 -x44 -x42 -x41
3590.25/3600.16 v -x39 -x38 -x36 x35 x33 -x32 -x30 -x29 -x27 -x26 -x24 -x23 -x21 -x20 -x18 -x17 -x15 -x14 -x12 -x11 -x9 -x6023 x6021 -x6016
3590.25/3600.16 v -x6014 -x6009 -x6007 -x6002 -x5997 -x5995 -x5990 -x5988 -x5986 -x5981 -x5979 -x5974 -x5972 -x5967 -x5965 -x5960 -x5958 -x5953
3590.25/3600.16 v -x5951 -x5946 -x5944 -x5939 -x5934 -x5929 -x5927 -x5922 -x5920 -x5915 -x5913 -x5908 -x5906 -x5901 -x5899 -x5894 -x5892 -x5887
3590.25/3600.16 v -x5885 -x5880 -x5878 -x5873 -x5868 -x5866 -x5861 -x5859 -x5854 -x5849 -x5847 -x5842 -x5840 -x5835 -x5833 -x5828 -x5823 -x5821
3590.25/3600.16 v -x5816 -x5814 -x5809 -x5804 -x5802 -x5790 -x5778 -x893 -x5766 -x5754 -x5742 -x5730 -x5718 -x5706 -x880 -x5694 -x5682 -x875
3590.25/3600.16 v -x5670 -x5658 -x5646 -x868 -x5634 -x5622 -x863 -x5610 -x5598 -x858 -x5586 -x855 -x5574 x5562 -x5550 -x5523 -x5496 -x5469 -x5442
3590.25/3600.16 v -x5415 -x5388 -x5361 -x5356 -x5351 -x5346 -x5344 -x5339 -x5337 -x5332 -x5327 -x5322 -x5317 -x5312 -x5310 -x5305 -x5303 -x5298
3590.25/3600.16 v -x5293 -x5291 x5289 -x5284 -x5279 -x5274 -x5272 -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241 -x5239 -x5234 -x5232
3590.25/3600.16 v -x5227 -x5225 -x5220 -x5215 -x5213 -x5208 -x5206 -x5201 -x5196 -x5194 -x5192 -x5187 -x5182 -x5180 -x5175 -x5173 -x5168 -x5166
3590.25/3600.16 v -x5164 -x5159 -x5157 -x5145 -x5133 -x5121 -x5109 -x5097 -x5085 -x5073 -x5061 -x5049 -x5037 -x5025 -x5013 -x5001 -x725 -x4989
3590.25/3600.16 v -x4977 -x4965 -x4953 -x4941 -x4929 -x4917 -x4905 -x4878 -x4851 -x4824 -x4797 x4770 -x4743 -x4716 -x4711 -x4706 -x4701 -x4696
3590.25/3600.16 v -x4691 -x4686 -x4681 -x4676 -x4671 -x4666 -x4661 -x4656 -x4651 -x4646 -x4641 -x4636 -x4631 -x4626 -x4621 -x4616 -x4611
3590.25/3600.16 v -x4606 -x4601 -x4596 -x4591 x4586 -x4581 -x4576 -x4571 -x4566 -x4561 -x4556 -x4551 -x4546 -x4541 -x4536 -x4531 -x4526 -x4521
3590.25/3600.16 v -x4516 -x4511 -x4506 -x4501 -x4496 -x4491 -x4486 -x4481 -x4476 -x4471 -x4466 -x4461 -x4456 -x4451 -x4446 -x4441 -x4436 -x4431
3590.25/3600.16 v -x4426 -x4421 -x4416 -x4411 -x4406 -x4401 -x4396 -x4391 -x4386 -x4381 -x4376 -x4371 -x4366 -x4354 -x4352 -x4340 -x4338 -x4326
3590.25/3600.16 v -x4324 -x4312 -x4310 -x4298 -x4296 -x4284 -x4282 -x4270 -x4268 -x4256 -x4254 -x4242 -x4240 -x4228 -x4226 -x4214 -x4212 -x4200
3590.25/3600.16 v -x4198 -x4186 -x4184 -x4172 -x4170 -x4158 -x4156 -x4144 -x4142 -x4130 -x4128 -x4116 -x4104 -x4102 -x4090 -x4088 -x4076 -x4074
3590.25/3600.16 v -x4062 -x4060 -x4048 -x4046 x4034 -x4032 -x4020 -x4018 -x4006 -x4004 -x3992 -x3990 -x3978 -x3976 -x3964 -x3962 -x3950 -x3938
3590.25/3600.16 v -x3936 -x3924 -x3922 -x3910 -x3908 -x3896 -x3894 -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838 -x3826 -x3824 -x3812
3590.25/3600.16 v -x3810 -x3798 -x3796 -x3784 -x3782 -x3770 -x3768 -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712 -x3700 -x3698 -x3686
3590.25/3600.16 v -x3684 -x3672 -x3670 -x3658 -x3656 -x3644 -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588 -x3586 -x3559 -x427 -x3532
3590.25/3600.16 v -x424 -x3505 -x3478 -x419 -x3451 -x416 -x3424 -x413 -x3397 -x410 -x3370 -x3343 -x405 -x3316 -x3289 -x400 -x3262 -x3235
3590.25/3600.16 v -x395 -x3208 -x392 -x3181 x3154 -x3127 -x385 -x3100 -x3073 -x3046 -x3019 -x376 -x2992 -x373 -x2965 -x370 -x2938 -x2911 -x365
3590.25/3600.16 v -x2884 -x362 -x2857 -x359 -x2830 -x356 -x2772 -x2714 -x2656 -x2598 -x2540 -x2482 x2424 -x2366 -x2361 -x2359 -x2354 -x2352 -x2347
3590.25/3600.16 v -x2345 -x2340 -x2338 -x2333 -x2331 -x2326 -x2324 -x2319 -x2317 -x2312 -x2310 -x2305 -x2303 -x2298 -x2296 -x2291 -x2289 -x2284
3590.25/3600.16 v -x2282 -x2277 -x2275 -x2270 -x2268 -x2263 -x2261 -x2256 -x2254 -x2249 -x2247 -x2242 -x2240 -x2235 -x2233 -x2228 -x2226 -x2221
3590.25/3600.16 v -x2219 -x2214 -x2212 -x2207 -x2205 -x2200 -x2198 -x2193 -x2191 -x2186 -x2184 -x2179 -x2177 -x2172 -x2170 x2165 -x2163 -x2158
3590.25/3600.16 v -x2156 -x2151 -x2149 -x2144 -x2142 -x2137 -x2135 -x2130 -x2128 -x2123 -x2121 -x2109 x239 -x2097 -x236 -x2085 -x233 -x2073
3590.25/3600.16 v -x230 -x2061 -x2049 -x225 -x2037 -x2025 -x220 x2013 -x2001 -x215 -x1989 -x1977 -x210 -x1965 -x207 -x1953 -x1941 -x202 -x1929
3590.34/3600.20 v -x199 -x1917 -x196 -x1905 -x193 -x1893 -x190 -x1881 -x1869 -x185 -x1842 -x1815 x1788 -x1761 -x1734 -x1707 -x1680 -x1675 -x1673
3590.34/3600.20 v -x1668 -x1666 -x1661 -x1659 -x1654 -x1652 -x1647 -x1645 -x1640 -x1638 -x1633 -x1631 -x1626 -x1624 -x1619 -x1617 -x1612 -x1610
3590.34/3600.20 v -x1605 -x1603 -x1598 -x1596 -x1591 -x1589 -x1584 -x1582 -x1577 -x1575 -x1570 -x1568 -x1563 -x1561 -x1556 -x1554 -x1549
3590.34/3600.20 v -x1547 -x1542 -x1540 -x1535 -x1533 -x1528 -x1526 -x1521 -x1519 -x1514 x1512 -x1507 -x1505 -x1500 -x1498 -x1493 -x1491 -x1486
3590.34/3600.20 v -x1484 -x1479 -x1477 -x1472 -x1470 -x1465 -x1463 -x1458 -x1456 -x1451 -x1449 -x1444 -x1442 -x1437 -x1435 -x1423 -x69 -x1411 -x66
3590.34/3600.20 v -x1399 -x63 -x1387 -x1375 -x58 -x1363 -x55 -x1351 -x52 -x1339 x49 -x1327 -x46 -x1315 -x43 -x1303 x40 -x1291 -x37 x1279 x34
3590.34/3600.20 v -x1267 -x31 -x1255 -x28 -x1243 -x25 -x1231 -x22 -x1219 -x19 -x1207 -x16 -x1195 -x13 -x1183 -x10 -x1156 -x1129 -x1102 -x1075
3590.34/3600.20 v -x1048 -x1021 -x994 x840 x700 x346 x176 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (58764 MiB free)
memory of node 1: 64510 MiB (61140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434751-1721102522/watcher-4434751-1721102522 -o /tmp/evaluation-result-4434751-1721102522/solver-4434751-1721102522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434751-1721102522.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=835952, runsolver pid=835949
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.55 4.33 4.18 5/251 835953
/proc/meminfo: memFree=122763432/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=40604 memory=28948 CPUtime=0.1 cores=1,3
/proc/835952/stat : 835952 (fscip) R 835949 835952 830624 0 -1 4194304 5155 0 0 0 9 1 0 0 20 0 1 0 162410942 41578496 7237 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 10151 7237 2318 3032 0 6551 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40604 KiB
Current children cumulated memory: 28948 KiB
[startup+0.212086 s]*
/proc/loadavg: 4.55 4.33 4.18 5/251 835953
/proc/meminfo: memFree=122738064/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=66316 memory=54684 CPUtime=0.22 cores=1,3
/proc/835952/stat : 835952 (fscip) R 835949 835952 830624 0 -1 4194304 11309 0 0 0 19 3 0 0 20 0 1 0 162410942 67907584 13671 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 16579 13671 2606 3032 0 12979 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 66316 KiB
Current children cumulated memory: 54684 KiB
[startup+0.311838 s]*
/proc/loadavg: 4.55 4.33 4.18 6/251 835953
/proc/meminfo: memFree=122726752/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=80664 memory=69080 CPUtime=0.31 cores=1,3
/proc/835952/stat : 835952 (fscip) R 835949 835952 830624 0 -1 4194304 16189 0 0 0 27 4 0 0 20 0 1 0 162410942 82599936 17270 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 20166 17270 2654 3032 0 16566 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 80664 KiB
Current children cumulated memory: 69080 KiB
[startup+0.700281 s]
/proc/loadavg: 4.50 4.33 4.18 5/251 835953
/proc/meminfo: memFree=122722556/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=172864 memory=79172 CPUtime=0.69 cores=1,3
/proc/835952/stat : 835952 (fscip) R 835949 835952 830624 0 -1 4194304 20904 0 0 0 64 5 0 0 20 0 2 0 162410942 177012736 19793 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 43216 19793 2798 3032 0 23264 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 172864 KiB
Current children cumulated memory: 79172 KiB
[startup+1.5004 s]
/proc/loadavg: 4.50 4.33 4.18 5/253 835955
/proc/meminfo: memFree=122670808/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=251104 memory=153356 CPUtime=1.48 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 41106 0 0 0 138 10 0 0 20 0 3 0 162410942 257130496 38339 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 62776 38339 2846 3032 0 44031 0
[pid=835952/tid=835954] ppid=835949 vsize=251104 memory=4212 CPUtime=0.76 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 16888 0 0 0 72 4 0 0 20 0 3 0 162411012 257130496 38339 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=251104 memory=2268 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162411018 257130496 38339 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 251104 KiB
Current children cumulated memory: 153356 KiB
[startup+3.11373 s]
/proc/loadavg: 4.50 4.33 4.18 5/253 835955
/proc/meminfo: memFree=122570276/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=316640 memory=223620 CPUtime=3.09 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 79069 0 0 0 294 15 0 0 20 0 3 0 162410942 324239360 55905 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 79160 55905 2942 3032 0 61777 0
[pid=835952/tid=835954] ppid=835949 vsize=316640 memory=2268 CPUtime=2.36 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 54846 0 0 0 228 8 0 0 20 0 3 0 162411012 324239360 55905 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=316640 memory=100 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162411018 324239360 55905 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 316640 KiB
Current children cumulated memory: 223620 KiB
[startup+6.30039 s]
/proc/loadavg: 4.54 4.34 4.18 5/253 835956
/proc/meminfo: memFree=122540952/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=316640 memory=247240 CPUtime=6.26 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 108566 0 0 0 610 16 0 0 20 0 3 0 162410942 324239360 61810 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 79160 61810 2942 3032 0 69082 0
[pid=835952/tid=835954] ppid=835949 vsize=316640 memory=0 CPUtime=5.54 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 84342 0 0 0 544 10 0 0 20 0 3 0 162411012 324239360 61810 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=316640 memory=2314990193348264536 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 162411018 324239360 61810 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 316640 KiB
Current children cumulated memory: 247240 KiB
[startup+12.7004 s]
/proc/loadavg: 4.50 4.33 4.18 5/254 835958
/proc/meminfo: memFree=122523856/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=382176 memory=275432 CPUtime=12.64 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 166257 0 0 0 1245 19 0 0 20 0 3 0 162410942 391348224 68792 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 95544 68858 2942 3032 0 79602 0
[pid=835952/tid=835954] ppid=835949 vsize=382176 memory=223996 CPUtime=11.92 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 142107 0 0 0 1179 13 0 0 20 0 3 0 162411012 391348224 68924 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=382176 memory=256832 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 162411018 391348224 68924 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 382176 KiB
Current children cumulated memory: 275432 KiB
[startup+25.5004 s]
/proc/loadavg: 4.42 4.32 4.18 5/254 835960
/proc/meminfo: memFree=122477116/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=382176 memory=298716 CPUtime=25.42 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 189868 0 0 0 2520 22 0 0 20 0 3 0 162410942 391348224 74679 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 95544 74679 2990 3032 0 85033 0
[pid=835952/tid=835954] ppid=835949 vsize=382176 memory=11516 CPUtime=24.69 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 164740 0 0 0 2454 15 0 0 20 0 3 0 162411012 391348224 74679 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=382176 memory=298704 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 162411018 391348224 74679 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 382176 KiB
Current children cumulated memory: 298716 KiB
[startup+51.1137 s]
/proc/loadavg: 4.34 4.31 4.18 5/254 835964
/proc/meminfo: memFree=122438280/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=382176 memory=299052 CPUtime=50.96 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 247284 0 0 0 5070 26 0 0 20 0 3 0 162410942 391348224 74763 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 95544 74763 2990 3032 0 85033 0
[pid=835952/tid=835954] ppid=835949 vsize=382176 memory=298744 CPUtime=50.23 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 222078 0 0 0 5003 20 0 0 20 0 3 0 162411012 391348224 74763 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=382176 memory=298760 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 162411018 391348224 74763 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 382176 KiB
Current children cumulated memory: 299052 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.27 4.18 5/255 835976
/proc/meminfo: memFree=122431932/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=382176 memory=299224 CPUtime=102 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 300558 0 0 0 10170 30 0 0 20 0 3 0 162410942 391348224 74806 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 95544 74806 2990 3032 0 85033 0
[pid=835952/tid=835954] ppid=835949 vsize=382176 memory=11516 CPUtime=101.27 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 275245 0 0 0 10104 23 0 0 20 0 3 0 162411012 391348224 74806 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=382176 memory=299200 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 162411018 391348224 74806 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 382176 KiB
Current children cumulated memory: 299224 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.24 4.17 5/253 835987
/proc/meminfo: memFree=122419500/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=382176 memory=305912 CPUtime=161.8 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 362338 0 0 0 16146 34 0 0 20 0 3 0 162410942 391348224 76478 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 95544 76478 2990 3032 0 89635 0
[pid=835952/tid=835954] ppid=835949 vsize=382176 memory=302416 CPUtime=161.06 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 336961 0 0 0 16079 27 0 0 20 0 3 0 162411012 391348224 76478 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=382176 memory=305836 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 162411018 391348224 76478 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 382176 KiB
Current children cumulated memory: 305912 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/252 836142
/proc/meminfo: memFree=124098700/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=394140 memory=309688 CPUtime=221.59 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 407699 0 0 0 22121 38 0 0 20 0 3 0 162410942 403599360 77422 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 98535 77422 2990 3032 0 94637 0
[pid=835952/tid=835954] ppid=835949 vsize=394140 memory=11516 CPUtime=220.86 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 382254 0 0 0 22055 31 0 0 20 0 3 0 162411012 403599360 77422 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=394140 memory=41416 CPUtime=0 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 162411018 403599360 77422 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 394140 KiB
Current children cumulated memory: 309688 KiB
################
# More data... #
################
/proc/loadavg: 4.78 4.32 4.20 5/252 837878
/proc/meminfo: memFree=122467168/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1204452 memory=1022432 CPUtime=3392.94 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 780260 0 0 0 339195 99 0 0 20 0 3 0 162410942 1233358848 255608 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 301113 255608 3310 3032 0 282772 0
[pid=835952/tid=835954] ppid=835949 vsize=1204452 memory=1018208 CPUtime=3392.03 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 753789 0 0 0 339119 84 0 0 20 0 3 0 162411012 1233358848 255608 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1204452 memory=41416 CPUtime=0.05 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 185 0 0 0 1 4 0 0 20 0 3 0 162411018 1233358848 255608 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 1204452 KiB
Current children cumulated memory: 1022432 KiB
[startup+3462.3 s]
/proc/loadavg: 4.35 4.27 4.19 5/252 837889
/proc/meminfo: memFree=122460168/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1204452 memory=1025592 CPUtime=3452.79 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 783175 0 0 0 345179 100 0 0 20 0 3 0 162410942 1233358848 256398 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 301113 256398 3310 3032 0 288060 0
[pid=835952/tid=835954] ppid=835949 vsize=1204452 memory=1018208 CPUtime=3451.88 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 756687 0 0 0 345103 85 0 0 20 0 3 0 162411012 1233358848 256398 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1204452 memory=41416 CPUtime=0.05 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 187 0 0 0 1 4 0 0 20 0 3 0 162411018 1233358848 256398 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 1204452 KiB
Current children cumulated memory: 1025592 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.24 4.18 5/252 837902
/proc/meminfo: memFree=122449884/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1204452 memory=1029332 CPUtime=3512.64 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 787058 0 0 0 351162 102 0 0 20 0 3 0 162410942 1233358848 257333 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 301113 257333 3310 3032 0 291704 0
[pid=835952/tid=835954] ppid=835949 vsize=1204452 memory=1018208 CPUtime=3511.72 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 760548 0 0 0 351086 86 0 0 20 0 3 0 162411012 1233358848 257333 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1204452 memory=1025592 CPUtime=0.05 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 191 0 0 0 1 4 0 0 20 0 3 0 162411018 1233358848 257333 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 1204452 KiB
Current children cumulated memory: 1029332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/252 837922
/proc/meminfo: memFree=122442876/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1204452 memory=1035944 CPUtime=3572.49 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 791730 0 0 0 357146 103 0 0 20 0 3 0 162410942 1233358848 258986 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 301113 258986 3310 3032 0 295714 0
[pid=835952/tid=835954] ppid=835949 vsize=1204452 memory=1018208 CPUtime=3571.58 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 765200 0 0 0 357070 88 0 0 20 0 3 0 162411012 1233358848 258986 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1204452 memory=1035140 CPUtime=0.05 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 192 0 0 0 1 4 0 0 20 0 3 0 162411018 1233358848 258986 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 1204452 KiB
Current children cumulated memory: 1035944 KiB
[startup+3600.22 s]
# the end of solver process 835952 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.31 s, system=1.05961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.22 4.18 5/252 837923
/proc/meminfo: memFree=122442792/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1204452 memory=1035996 CPUtime=3574.19 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 791795 0 0 0 357316 103 0 0 20 0 3 0 162410942 1233358848 258999 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 301113 258999 3310 3032 0 295714 0
[pid=835952/tid=835954] ppid=835949 vsize=1204452 memory=6720666540922256753 CPUtime=3573.29 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 765265 0 0 0 357241 88 0 0 20 0 3 0 162411012 1233358848 258999 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1204452 memory=-4421386496147022948 CPUtime=0.05 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 192 0 0 0 1 4 0 0 20 0 3 0 162411018 1233358848 258999 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 1204452 KiB
Current children cumulated memory: 1035996 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.22 4.18 5/252 837925
/proc/meminfo: memFree=122442684/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1204452 memory=1036140 CPUtime=3580.57 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 791980 0 0 0 357954 103 0 0 20 0 3 0 162410942 1233358848 259035 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 301113 259035 3310 3032 0 295750 0
[pid=835952/tid=835954] ppid=835949 vsize=1204452 memory=1035996 CPUtime=3579.66 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 765450 0 0 0 357878 88 0 0 20 0 3 0 162411012 1233358848 259035 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1204452 memory=41696 CPUtime=0.06 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 192 0 0 0 1 5 0 0 20 0 3 0 162411018 1233358848 259035 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3580.57 s
Current children cumulated vsize: 1204452 KiB
Current children cumulated memory: 1036140 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.21 4.18 5/252 837926
/proc/meminfo: memFree=122440628/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1269988 memory=1038056 CPUtime=3586.95 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 793302 0 0 0 358592 103 0 0 20 0 3 0 162410942 1300467712 259514 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 317497 259514 3310 3032 0 296722 0
[pid=835952/tid=835954] ppid=835949 vsize=1269988 memory=1035996 CPUtime=3586.04 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 766772 0 0 0 358516 88 0 0 20 0 3 0 162411012 1300467712 259514 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1269988 memory=1035996 CPUtime=0.06 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 192 0 0 0 1 5 0 0 20 0 3 0 162411018 1300467712 259514 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 1269988 KiB
Current children cumulated memory: 1038056 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.21 4.18 5/252 837926
/proc/meminfo: memFree=122440360/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1269988 memory=1038500 CPUtime=3588.55 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 793478 0 0 0 358752 103 0 0 20 0 3 0 162410942 1300467712 259625 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 317497 259625 3310 3032 0 296882 0
[pid=835952/tid=835954] ppid=835949 vsize=1269988 memory=11516 CPUtime=3587.64 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 766948 0 0 0 358676 88 0 0 20 0 3 0 162411012 1300467712 259625 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1269988 memory=41696 CPUtime=0.06 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 192 0 0 0 1 5 0 0 20 0 3 0 162411018 1300467712 259625 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3588.55 s
Current children cumulated vsize: 1269988 KiB
Current children cumulated memory: 1038500 KiB
[startup+3599.2 s]
/proc/loadavg: 4.14 4.21 4.18 5/252 837926
/proc/meminfo: memFree=122440304/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1269988 memory=1038500 CPUtime=3589.34 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 793499 0 0 0 358831 103 0 0 20 0 3 0 162410942 1300467712 259625 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 317497 259625 3310 3032 0 297154 0
[pid=835952/tid=835954] ppid=835949 vsize=1269988 memory=6720666540922256753 CPUtime=3588.43 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 766969 0 0 0 358755 88 0 0 20 0 3 0 162411012 1300467712 259625 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1269988 memory=-4421386496147022948 CPUtime=0.06 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 192 0 0 0 1 5 0 0 20 0 3 0 162411018 1300467712 259625 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3589.34 s
Current children cumulated vsize: 1269988 KiB
Current children cumulated memory: 1038500 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.21 4.18 5/252 837926
/proc/meminfo: memFree=122440304/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=1269988 memory=1038504 CPUtime=3590.15 cores=1,3
/proc/835952/stat : 835952 (fscip) S 835949 835952 830624 0 -1 1077936128 793608 0 0 0 358912 103 0 0 20 0 3 0 162410942 1300467712 259626 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 317497 259626 3310 3032 0 297154 0
[pid=835952/tid=835954] ppid=835949 vsize=1269988 memory=6720666540922256753 CPUtime=3589.24 cores=1,3
/proc/835952/task/835954/stat : 835954 (fscip) R 835949 835952 830624 0 -1 4194368 767076 0 0 0 358836 88 0 0 20 0 3 0 162411012 1300467712 259626 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
[pid=835952/tid=835955] ppid=835949 vsize=1269988 memory=-4421386496147022948 CPUtime=0.06 cores=1,3
/proc/835952/task/835955/stat : 835955 (fscip) S 835949 835952 830624 0 -1 1077936192 192 0 0 0 1 5 0 0 20 0 3 0 162411018 1300467712 259626 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
Current children cumulated CPU time: 3590.15 s
Current children cumulated vsize: 1269988 KiB
Current children cumulated memory: 1038504 KiB
[startup+3600.2 s]
/proc/loadavg: 4.14 4.21 4.18 5/252 837926
/proc/meminfo: memFree=122440304/131655788 swapFree=131071996/131071996
[pid=835952] ppid=835949 vsize=953748 memory=870652 CPUtime=3590.34 cores=1,3
/proc/835952/stat : 835952 (fscip) R 835949 835952 830624 0 -1 4194304 795652 0 0 0 358930 104 0 0 20 0 1 0 162410942 976637952 217663 134679101440 4194304 16613245 140722682600800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51851264 140722682602517 140722682602633 140722682602633 140722682609648 0
/proc/835952/statm: 238437 217663 3310 3032 0 233621 0
Current children cumulated CPU time: 3590.34 s
Current children cumulated vsize: 953748 KiB
Current children cumulated memory: 870652 KiB
Child status: 0
Real time (s): 3600.22
CPU time (s): 3590.37
CPU user time (s): 3589.31
CPU system time (s): 1.05961
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 1269988
Max. memory (cumulated for all children) (KiB): 1038504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.31
system time used= 1.05961
maximum resident set size= 1038504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 795680
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= 6013
involuntary context switches= 2945
# summary of solver processes directly reported to runsolver:
# pid: 835952
# total CPU time (s): 3590.37
# total CPU user time (s): 3589.31
# total CPU system time (s): 1.05961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3189 second user time and 36.5358 second system time
The end
Begin job on nodeC006 at 2024-07-16 06:02:14
IDJOB=4434751
IDBENCH=148185
IDSOLVER=3064
FILE ID=nodeC006/4434751-1721102522
RUNJOBID= nodeC006-1721095536-830636
SLURM_JOB_ID= 7505606
Free space on /tmp= 723684 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.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-4434751-1721102522/watcher-4434751-1721102522 -o /tmp/evaluation-result-4434751-1721102522/solver-4434751-1721102522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434751-1721102522.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=441658315
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.824
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3481.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1214.527
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3633.464
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.101
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.269
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.387
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122782772 kB
MemAvailable: 126528212 kB
Buffers: 401712 kB
Cached: 4140480 kB
SwapCached: 0 kB
Active: 709236 kB
Inactive: 7532160 kB
Active(anon): 1460 kB
Inactive(anon): 3735440 kB
Active(file): 707776 kB
Inactive(file): 3796720 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28604 kB
Writeback: 12 kB
AnonPages: 3696240 kB
Mapped: 139144 kB
Shmem: 37704 kB
KReclaimable: 161952 kB
Slab: 266952 kB
SReclaimable: 161952 kB
SUnreclaim: 105000 kB
KernelStack: 4000 kB
PageTables: 16776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1700096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52160 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2170880 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: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC006 at 2024-07-16 07:02:15