0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 66396365, getVmSize() = 63856640, SCIPgetMemUsed() = 36140292, SCIPgetMemTotal() = 40644068, SCIPgetMemExternEstim() = 25752297
0.00/0.07 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.30/0.35 c ** Estimated virtualMemUsedAtSolver = 66650019, getVmSize() = 101527552, SCIPgetMemUsed() = 41338876, SCIPgetMemTotal() = 74222732, SCIPgetMemExternEstim() = 25752297
0.30/0.35 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.35 c Original Problem :
0.30/0.35 c Problem name : instance-4464083-1722379334
0.30/0.35 c Variables : 6027 (6027 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 21278
0.30/0.35 c Objective sense : minimize
0.30/0.35 c Presolved Problem :
0.30/0.35 c Variables : 5294 (5294 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 5239
0.30/0.35 c Constraints : Number
0.30/0.35 c knapsack : 1
0.30/0.35 c setppc : 584
0.30/0.35 c and : 4649
0.30/0.35 c logicor : 5
0.30/0.35 c ** Instance transfer method used: 0
0.30/0.37 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.38 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.38 c Nodes Active
0.30/0.38 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.77/0.84 c * 1 0 1 1 27.0000 - -
0.77/0.89 c * 1 0 1 1 24.0000 - -
12.73/12.88 c * 13 0 1 1 23.0000 - -
12.73/12.88 c 13 0 1 1 23.0000 - -
17.81/17.94 c 18 3 2 1 23.0000 11.4329 101.17%
23.20/23.34 c 23 5 4 1 23.0000 11.4433 100.99%
29.78/29.94 c 30 7 6 1 23.0000 11.4433 100.99%
35.37/35.56 c 36 9 8 1 23.0000 11.4433 100.99%
41.35/41.59 c 42 11 10 1 23.0000 11.4433 100.99%
50.52/50.72 c 51 12 11 1 23.0000 11.4433 100.99%
57.51/57.73 c 58 14 13 1 23.0000 11.4433 100.99%
65.78/66.00 c 66 16 15 1 23.0000 11.4433 100.99%
71.77/72.09 c 72 18 17 1 23.0000 11.4433 100.99%
79.84/80.17 c 80 19 18 1 23.0000 11.4433 100.99%
86.32/86.60 c 87 21 20 1 23.0000 11.4433 100.99%
96.80/97.11 c 97 25 24 1 23.0000 11.4433 100.99%
104.57/104.97 c 105 30 29 1 23.0000 11.4433 100.99%
112.05/112.44 c 112 33 32 1 23.0000 11.4433 100.99%
118.92/119.33 c 119 35 34 1 23.0000 11.4433 100.99%
130.49/130.92 c 131 41 40 1 23.0000 11.4433 100.99%
137.67/138.18 c 138 43 42 1 23.0000 11.5311 99.46%
144.14/144.63 c 145 52 51 1 23.0000 11.6723 97.05%
156.01/156.56 c 157 57 56 1 23.0000 11.6723 97.05%
162.79/163.32 c 163 61 60 1 23.0000 11.7605 95.57%
175.75/176.36 c 176 67 66 1 23.0000 11.7605 95.57%
181.23/181.88 c 182 70 69 1 23.0000 11.7605 95.57%
193.00/193.63 c 194 74 73 1 23.0000 11.7605 95.57%
199.17/199.82 c 200 79 78 1 23.0000 11.7605 95.57%
207.84/208.53 c 209 81 80 1 23.0000 11.7605 95.57%
214.32/215.07 c 215 88 87 1 23.0000 11.7605 95.57%
225.19/225.91 c 226 89 88 1 23.0000 11.7605 95.57%
230.27/231.09 c 231 98 97 1 23.0000 11.7605 95.57%
242.23/243.03 c 243 101 100 1 23.0000 11.7605 95.57%
251.09/251.95 c 252 113 112 1 23.0000 11.7605 95.57%
263.65/264.50 c 264 114 113 1 23.0000 11.7605 95.57%
270.13/271.09 c 271 119 118 1 23.0000 11.7605 95.57%
279.30/280.22 c 280 126 125 1 23.0000 11.7605 95.57%
291.95/292.90 c 293 131 130 1 23.0000 11.7605 95.57%
299.53/300.54 c 301 139 138 1 23.0000 11.7605 95.57%
311.39/312.48 c 312 142 141 1 23.0000 11.7605 95.57%
317.57/318.63 c 319 151 150 1 23.0000 11.7605 95.57%
324.15/325.23 c 325 157 156 1 23.0000 11.7605 95.57%
339.70/340.80 c 341 159 158 1 23.0000 11.7605 95.57%
345.08/346.23 c 346 162 161 1 23.0000 11.7605 95.57%
351.07/352.27 c 352 171 170 1 23.0000 11.7605 95.57%
358.25/359.43 c 359 174 173 1 23.0000 11.7605 95.57%
364.23/365.43 c 365 175 174 1 23.0000 11.7605 95.57%
376.69/377.99 c 378 177 176 1 23.0000 11.7605 95.57%
383.07/384.31 c 384 179 178 1 23.0000 11.7605 95.57%
389.45/390.73 c 391 189 188 1 23.0000 11.7605 95.57%
395.53/396.89 c 397 192 191 1 23.0000 11.7605 95.57%
410.68/412.05 c 412 200 199 1 23.0000 11.7605 95.57%
417.26/418.64 c 419 204 203 1 23.0000 11.7605 95.57%
426.33/427.79 c 428 207 206 1 23.0000 11.7605 95.57%
442.08/443.52 c 444 212 211 1 23.0000 11.7605 95.57%
457.23/458.73 c 459 219 218 1 23.0000 11.7605 95.57%
463.31/464.85 c 465 222 221 1 23.0000 11.7605 95.57%
473.88/475.42 c 475 229 228 1 23.0000 11.7605 95.57%
479.06/480.69 c 481 233 232 1 23.0000 11.7605 95.57%
487.72/489.36 c 489 235 234 1 23.0000 11.7739 95.35%
493.80/495.42 c 495 237 236 1 23.0000 11.7739 95.35%
503.57/505.25 c 505 241 240 1 23.0000 11.7739 95.35%
509.75/511.41 c 511 246 245 1 23.0000 11.7739 95.35%
522.91/524.66 c 525 253 252 1 23.0000 11.7739 95.35%
531.09/532.80 c 533 262 261 1 23.0000 11.7739 95.35%
536.87/538.67 c 539 264 263 1 23.0000 11.7739 95.35%
546.04/547.83 c 548 265 264 1 23.0000 11.7739 95.35%
555.91/557.78 c 558 268 267 1 23.0000 11.7739 95.35%
571.96/573.90 c 574 269 268 1 23.0000 11.7739 95.35%
626.10/628.16 c 628 278 277 1 23.0000 11.7739 95.35%
638.16/640.20 c 640 280 279 1 23.0000 11.7739 95.35%
645.84/647.98 c 648 282 281 1 23.0000 11.7844 95.17%
651.82/653.90 c 654 284 283 1 23.0000 11.7844 95.17%
657.00/659.18 c 659 288 287 1 23.0000 11.8405 94.25%
673.55/675.76 c 676 292 291 1 23.0000 11.8405 94.25%
679.12/681.35 c 681 297 296 1 23.0000 11.8405 94.25%
685.10/687.31 c 687 299 298 1 23.0000 11.8405 94.25%
691.97/694.21 c 694 301 300 1 23.0000 11.8405 94.25%
706.73/709.00 c 709 305 304 1 23.0000 11.8405 94.25%
712.41/714.78 c 715 308 307 1 23.0000 11.8405 94.25%
731.94/734.34 c 734 320 319 1 23.0000 11.8405 94.25%
740.02/742.42 c 742 323 322 1 23.0000 11.8808 93.59%
745.40/747.82 c 748 326 325 1 23.0000 11.8808 93.59%
756.77/759.26 c 759 330 329 1 23.0000 11.8808 93.59%
767.84/770.32 c 770 331 330 1 23.0000 11.8808 93.59%
773.01/775.53 c 776 337 336 1 23.0000 11.8808 93.59%
779.39/781.97 c 782 340 339 1 23.0000 11.8808 93.59%
786.47/789.06 c 789 342 341 1 23.0000 11.8808 93.59%
798.94/801.58 c 802 344 343 1 23.0000 11.8808 93.59%
804.02/806.67 c 807 347 346 1 23.0000 11.8808 93.59%
810.51/813.17 c 813 350 349 1 23.0000 11.8808 93.59%
815.58/818.26 c 818 353 352 1 23.0000 11.8808 93.59%
823.25/825.97 c 826 354 353 1 23.0000 11.8808 93.59%
829.84/832.55 c 833 358 357 1 23.0000 11.8808 93.59%
839.11/841.85 c 842 361 360 1 23.0000 11.9752 92.06%
855.26/858.05 c 858 365 364 1 23.0000 11.9752 92.06%
862.83/865.60 c 866 370 369 1 23.0000 11.9752 92.06%
869.91/872.79 c 873 379 378 1 23.0000 11.9752 92.06%
875.49/878.31 c 878 385 384 1 23.0000 11.9752 92.06%
880.57/883.44 c 883 390 389 1 23.0000 11.9752 92.06%
886.65/889.52 c 890 400 399 1 23.0000 11.9752 92.06%
891.63/894.55 c 895 404 403 1 23.0000 11.9752 92.06%
908.97/911.93 c 912 407 406 1 23.0000 11.9752 92.06%
916.05/919.01 c 919 413 412 1 23.0000 11.9752 92.06%
926.81/929.86 c 930 423 422 1 23.0000 11.9752 92.06%
932.09/935.12 c 935 427 426 1 23.0000 11.9752 92.06%
937.17/940.26 c 940 430 429 1 23.0000 11.9752 92.06%
942.85/945.94 c 946 431 430 1 23.0000 11.9752 92.06%
948.73/951.81 c 952 432 431 1 23.0000 11.9752 92.06%
959.59/962.79 c 963 434 433 1 23.0000 11.9752 92.06%
968.66/971.85 c 972 436 435 1 23.0000 11.9752 92.06%
975.44/978.63 c 979 437 436 1 23.0000 11.9752 92.06%
986.71/989.93 c 990 438 437 1 23.0000 11.9752 92.06%
994.89/998.14 c 998 439 438 1 23.0000 11.9752 92.06%
1003.66/1006.99 c 1007 441 440 1 23.0000 11.9752 92.06%
1009.34/1012.66 c 1013 442 441 1 23.0000 11.9752 92.06%
1023.20/1026.53 c 1027 446 445 1 23.0000 11.9752 92.06%
1029.28/1032.64 c 1033 447 446 1 23.0000 11.9752 92.06%
1048.32/1051.70 c 1052 450 449 1 23.0000 11.9752 92.06%
1057.79/1061.27 c 1061 451 450 1 23.0000 11.9752 92.06%
1065.27/1068.75 c 1069 452 451 1 23.0000 11.9752 92.06%
1072.44/1075.97 c 1076 454 453 1 23.0000 11.9752 92.06%
1079.22/1082.79 c 1083 456 455 1 23.0000 11.9752 92.06%
1090.09/1093.61 c 1094 457 456 1 23.0000 11.9752 92.06%
1096.86/1100.49 c 1100 458 457 1 23.0000 11.9752 92.06%
1101.95/1105.53 c 1106 462 461 1 23.0000 11.9752 92.06%
1109.33/1112.99 c 1113 470 469 1 23.0000 11.9752 92.06%
1126.76/1130.49 c 1130 474 473 1 23.0000 11.9752 92.06%
1134.03/1137.70 c 1138 475 474 1 23.0000 11.9752 92.06%
1140.62/1144.39 c 1144 476 475 1 23.0000 11.9752 92.06%
1156.66/1160.46 c 1160 479 478 1 23.0000 11.9752 92.06%
1162.63/1166.44 c 1166 480 479 1 23.0000 11.9752 92.06%
1172.79/1176.63 c 1177 482 481 1 23.0000 11.9752 92.06%
1177.97/1181.87 c 1182 483 482 1 23.0000 11.9752 92.06%
1190.14/1194.03 c 1194 484 483 1 23.0000 11.9752 92.06%
1198.51/1202.44 c 1202 485 484 1 23.0000 11.9752 92.06%
1203.80/1207.78 c 1208 486 485 1 23.0000 11.9752 92.06%
1210.28/1214.28 c 1214 488 487 1 23.0000 11.9752 92.06%
1223.93/1227.97 c 1228 493 492 1 23.0000 11.9752 92.06%
1230.62/1234.61 c 1235 496 495 1 23.0000 11.9752 92.06%
1235.70/1239.74 c 1240 499 498 1 23.0000 11.9752 92.06%
1244.37/1248.46 c 1248 503 502 1 23.0000 11.9752 92.06%
1249.65/1253.72 c 1254 504 503 1 23.0000 11.9752 92.06%
1269.99/1274.12 c 1274 509 508 1 23.0000 11.9752 92.06%
1278.16/1282.39 c 1282 511 510 1 23.0000 11.9752 92.06%
1284.55/1288.71 c 1289 513 512 1 23.0000 11.9752 92.06%
1292.32/1296.50 c 1296 514 513 1 23.0000 11.9752 92.06%
1297.81/1302.10 c 1302 515 514 1 23.0000 11.9752 92.06%
1304.19/1308.40 c 1308 517 516 1 23.0000 11.9752 92.06%
1326.61/1330.91 c 1331 519 518 1 23.0000 11.9752 92.06%
1333.80/1338.19 c 1338 520 519 1 23.0000 11.9752 92.06%
1339.88/1344.29 c 1344 522 521 1 23.0000 11.9752 92.06%
1348.45/1352.87 c 1353 524 523 1 23.0000 11.9752 92.06%
1354.22/1358.67 c 1359 526 525 1 23.0000 11.9752 92.06%
1370.37/1374.80 c 1375 529 528 1 23.0000 11.9752 92.06%
1375.74/1380.26 c 1380 530 529 1 23.0000 11.9752 92.06%
1381.82/1386.35 c 1386 532 531 1 23.0000 11.9752 92.06%
1395.17/1399.77 c 1400 534 533 1 23.0000 11.9752 92.06%
1403.24/1407.88 c 1408 536 535 1 23.0000 11.9752 92.06%
1414.90/1419.57 c 1420 539 538 1 23.0000 11.9752 92.06%
1422.48/1427.11 c 1427 540 539 1 23.0000 11.9752 92.06%
1429.16/1433.80 c 1434 541 540 1 23.0000 11.9752 92.06%
1435.74/1440.48 c 1440 542 541 1 23.0000 11.9752 92.06%
1446.00/1450.78 c 1451 544 543 1 23.0000 11.9752 92.06%
1452.69/1457.40 c 1457 545 544 1 23.0000 11.9752 92.06%
1461.16/1465.90 c 1466 547 546 1 23.0000 11.9752 92.06%
1479.80/1484.60 c 1485 549 548 1 23.0000 11.9752 92.06%
1487.28/1492.14 c 1492 550 549 1 23.0000 11.9752 92.06%
1493.06/1497.96 c 1498 551 550 1 23.0000 11.9752 92.06%
1498.44/1503.35 c 1503 552 551 1 23.0000 11.9752 92.06%
1507.12/1512.07 c 1512 554 553 1 23.0000 11.9752 92.06%
1517.48/1522.41 c 1522 555 554 1 23.0000 11.9752 92.06%
1524.07/1529.03 c 1529 557 556 1 23.0000 11.9752 92.06%
1533.84/1538.86 c 1539 559 558 1 23.0000 11.9752 92.06%
1538.92/1543.94 c 1544 561 560 1 23.0000 11.9752 92.06%
1544.80/1549.81 c 1550 563 562 1 23.0000 11.9752 92.06%
1562.44/1567.53 c 1568 564 563 1 23.0000 11.9752 92.06%
1572.12/1577.25 c 1577 565 564 1 23.0000 11.9752 92.06%
1579.69/1584.87 c 1585 566 565 1 23.0000 11.9752 92.06%
1593.63/1598.88 c 1599 568 567 1 23.0000 11.9752 92.06%
1601.81/1607.05 c 1607 570 569 1 23.0000 11.9752 92.06%
1608.08/1613.38 c 1613 572 571 1 23.0000 11.9752 92.06%
1621.63/1626.96 c 1627 574 573 1 23.0000 11.9752 92.06%
1629.61/1634.91 c 1635 575 574 1 23.0000 11.9752 92.06%
1635.38/1640.71 c 1641 577 576 1 23.0000 11.9752 92.06%
1646.94/1652.34 c 1652 581 580 1 23.0000 11.9752 92.06%
1658.20/1663.65 c 1664 583 582 1 23.0000 11.9752 92.06%
1663.70/1669.12 c 1669 585 584 1 23.0000 11.9752 92.06%
1678.24/1683.73 c 1684 587 586 1 23.0000 11.9752 92.06%
1683.42/1688.90 c 1689 588 587 1 23.0000 11.9752 92.06%
1690.21/1695.73 c 1696 592 591 1 23.0000 11.9752 92.06%
1697.09/1702.69 c 1703 593 592 1 23.0000 11.9752 92.06%
1703.76/1709.36 c 1709 594 593 1 23.0000 11.9752 92.06%
1717.92/1723.56 c 1724 595 594 1 23.0000 11.9752 92.06%
1723.41/1729.07 c 1729 597 596 1 23.0000 11.9752 92.06%
1731.98/1737.69 c 1738 598 597 1 23.0000 11.9752 92.06%
1740.55/1746.20 c 1746 600 599 1 23.0000 11.9752 92.06%
1760.88/1766.68 c 1767 601 600 1 23.0000 11.9752 92.06%
1770.45/1776.24 c 1776 602 601 1 23.0000 11.9752 92.06%
1781.92/1787.71 c 1788 603 602 1 23.0000 11.9752 92.06%
1795.48/1801.35 c 1801 604 603 1 23.0000 11.9752 92.06%
1801.36/1807.29 c 1807 605 604 1 23.0000 11.9752 92.06%
1812.42/1818.37 c 1818 607 606 1 23.0000 11.9752 92.06%
1825.47/1831.42 c 1831 609 608 1 23.0000 11.9752 92.06%
1832.06/1838.06 c 1838 610 609 1 23.0000 11.9752 92.06%
1837.63/1843.66 c 1844 611 610 1 23.0000 11.9752 92.06%
1843.61/1849.61 c 1850 612 611 1 23.0000 11.9752 92.06%
1851.88/1857.91 c 1858 613 612 1 23.0000 11.9752 92.06%
1857.97/1864.09 c 1864 615 614 1 23.0000 11.9752 92.06%
1891.46/1897.63 c 1898 616 615 1 23.0000 11.9752 92.06%
1906.91/1913.18 c 1913 617 616 1 23.0000 11.9752 92.06%
1946.80/1953.11 c 1953 618 617 1 23.0000 11.9752 92.06%
1955.67/1962.08 c 1962 619 618 1 23.0000 11.9752 92.06%
1966.23/1972.65 c 1973 621 620 1 23.0000 11.9752 92.06%
1976.20/1982.68 c 1983 623 622 1 23.0000 11.9752 92.06%
1985.97/1992.49 c 1992 625 624 1 23.0000 11.9752 92.06%
1991.15/1997.67 c 1998 627 626 1 23.0000 11.9752 92.06%
2006.10/2012.69 c 2013 628 627 1 23.0000 11.9752 92.06%
2013.97/2020.58 c 2021 629 628 1 23.0000 11.9752 92.06%
2022.55/2029.15 c 2029 630 629 1 23.0000 11.9752 92.06%
2028.02/2034.62 c 2035 631 630 1 23.0000 11.9752 92.06%
2033.00/2039.67 c 2040 632 631 1 23.0000 11.9752 92.06%
2039.38/2046.00 c 2046 633 632 1 23.0000 11.9752 92.06%
2045.75/2052.47 c 2052 634 633 1 23.0000 11.9752 92.06%
2052.73/2059.45 c 2059 636 635 1 23.0000 11.9752 92.06%
2058.52/2065.21 c 2065 637 636 1 23.0000 11.9752 92.06%
2067.40/2074.13 c 2074 638 637 1 23.0000 11.9752 92.06%
2086.74/2093.51 c 2094 639 638 1 23.0000 11.9752 92.06%
2093.62/2100.44 c 2100 642 641 1 23.0000 11.9752 92.06%
2100.40/2107.20 c 2107 644 643 1 23.0000 11.9752 92.06%
2113.17/2120.10 c 2120 645 644 1 23.0000 11.9752 92.06%
2125.63/2132.58 c 2133 647 646 1 23.0000 11.9752 92.06%
2133.31/2140.26 c 2140 648 647 1 23.0000 11.9752 92.06%
2140.49/2147.43 c 2147 650 649 1 23.0000 11.9752 92.06%
2146.08/2153.10 c 2153 651 650 1 23.0000 11.9752 92.06%
2158.95/2165.94 c 2166 653 652 1 23.0000 11.9752 92.06%
2176.00/2183.03 c 2183 654 653 1 23.0000 11.9752 92.06%
2182.38/2189.47 c 2189 656 655 1 23.0000 11.9752 92.06%
2188.27/2195.31 c 2195 657 656 1 23.0000 11.9752 92.06%
2213.80/2220.96 c 2221 658 657 1 23.0000 11.9752 92.06%
2226.26/2233.47 c 2233 659 658 1 23.0000 11.9752 92.06%
2234.14/2241.35 c 2241 660 659 1 23.0000 11.9752 92.06%
2240.62/2247.85 c 2248 661 660 1 23.0000 11.9752 92.06%
2266.65/2273.90 c 2274 663 662 1 23.0000 11.9752 92.06%
2274.13/2281.47 c 2281 664 663 1 23.0000 11.9752 92.06%
2280.11/2287.46 c 2287 665 664 1 23.0000 11.9752 92.06%
2286.20/2293.55 c 2294 666 665 1 23.0000 11.9752 92.06%
2307.04/2314.40 c 2314 668 667 1 23.0000 11.9752 92.06%
2313.33/2320.71 c 2321 669 668 1 23.0000 11.9752 92.06%
2318.81/2326.21 c 2326 670 669 1 23.0000 11.9752 92.06%
2327.09/2334.59 c 2335 672 671 1 23.0000 11.9752 92.06%
2336.07/2343.59 c 2344 673 672 1 23.0000 11.9752 92.06%
2343.75/2351.26 c 2351 674 673 1 23.0000 11.9752 92.06%
2349.03/2356.53 c 2357 675 674 1 23.0000 11.9752 92.06%
2357.10/2364.65 c 2365 677 676 1 23.0000 11.9752 92.06%
2362.30/2369.86 c 2370 678 677 1 23.0000 11.9752 92.06%
2370.78/2378.39 c 2378 681 680 1 23.0000 11.9752 92.06%
2380.15/2387.74 c 2388 683 682 1 23.0000 11.9752 92.06%
2387.23/2394.83 c 2395 685 684 1 23.0000 11.9752 92.06%
2392.21/2399.85 c 2400 686 685 1 23.0000 11.9752 92.06%
2404.19/2411.83 c 2412 688 687 1 23.0000 11.9752 92.06%
2411.07/2418.70 c 2419 689 688 1 23.0000 11.9752 92.06%
2418.94/2426.65 c 2427 690 689 1 23.0000 11.9752 92.06%
2429.91/2437.64 c 2438 692 691 1 23.0000 11.9752 92.06%
2436.80/2444.58 c 2445 694 693 1 23.0000 11.9752 92.06%
2449.16/2456.99 c 2457 695 694 1 23.0000 11.9752 92.06%
2457.45/2465.26 c 2465 697 696 1 23.0000 11.9752 92.06%
2466.42/2474.26 c 2474 698 697 1 23.0000 11.9752 92.06%
2476.19/2484.05 c 2484 699 698 1 23.0000 11.9752 92.06%
2492.34/2500.22 c 2500 701 700 1 23.0000 11.9752 92.06%
2502.51/2510.48 c 2510 702 701 1 23.0000 11.9752 92.06%
2510.99/2518.96 c 2519 703 702 1 23.0000 11.9752 92.06%
2516.98/2524.97 c 2525 704 703 1 23.0000 11.9752 92.06%
2524.86/2532.89 c 2533 706 705 1 23.0000 11.9752 92.06%
2530.34/2538.30 c 2538 707 706 1 23.0000 11.9752 92.06%
2537.62/2545.61 c 2546 708 707 1 23.0000 11.9752 92.06%
2544.40/2552.47 c 2552 709 708 1 23.0000 11.9752 92.06%
2550.68/2558.70 c 2559 710 709 1 23.0000 11.9752 92.06%
2556.27/2564.39 c 2564 712 711 1 23.0000 11.9752 92.06%
2562.85/2570.97 c 2571 713 712 1 23.0000 11.9752 92.06%
2568.43/2576.58 c 2577 714 713 1 23.0000 11.9752 92.06%
2575.81/2583.96 c 2584 716 715 1 23.0000 11.9752 92.06%
2587.77/2595.93 c 2596 718 717 1 23.0000 11.9752 92.06%
2593.27/2601.41 c 2601 719 718 1 23.0000 11.9752 92.06%
2607.32/2615.54 c 2616 723 722 1 23.0000 11.9752 92.06%
2614.50/2622.75 c 2623 724 723 1 23.0000 11.9752 92.06%
2620.29/2628.52 c 2629 725 724 1 23.0000 11.9752 92.06%
2629.07/2637.33 c 2637 727 726 1 23.0000 11.9752 92.06%
2635.45/2643.72 c 2644 728 727 1 23.0000 11.9752 92.06%
2641.34/2649.68 c 2650 729 728 1 23.0000 11.9752 92.06%
2646.52/2654.88 c 2655 730 729 1 23.0000 11.9752 92.06%
2654.40/2662.71 c 2663 733 732 1 23.0000 11.9752 92.06%
2663.97/2672.34 c 2672 735 734 1 23.0000 11.9752 92.06%
2670.05/2678.47 c 2678 736 735 1 23.0000 11.9752 92.06%
2677.13/2685.56 c 2686 737 736 1 23.0000 11.9752 92.06%
2684.61/2693.10 c 2693 738 737 1 23.0000 11.9752 92.06%
2691.90/2700.34 c 2700 739 738 1 23.0000 11.9752 92.06%
2701.87/2710.36 c 2710 742 741 1 23.0000 11.9752 92.06%
2708.25/2716.77 c 2717 743 742 1 23.0000 11.9752 92.06%
2713.33/2721.84 c 2722 744 743 1 23.0000 11.9752 92.06%
2720.21/2728.72 c 2729 746 745 1 23.0000 11.9752 92.06%
2733.59/2742.19 c 2742 748 747 1 23.0000 11.9752 92.06%
2739.07/2747.66 c 2748 749 748 1 23.0000 11.9752 92.06%
2747.24/2755.85 c 2756 755 754 1 23.0000 11.9752 92.06%
2752.53/2761.17 c 2761 757 756 1 23.0000 11.9752 92.06%
2761.71/2770.31 c 2770 760 759 1 23.0000 11.9752 92.06%
2767.89/2776.55 c 2777 761 760 1 23.0000 11.9752 92.06%
2774.97/2783.66 c 2784 763 762 1 23.0000 11.9752 92.06%
2782.15/2790.81 c 2791 764 763 1 23.0000 11.9752 92.06%
2787.93/2796.65 c 2797 767 766 1 23.0000 11.9752 92.06%
2795.71/2804.43 c 2804 768 767 1 23.0000 12.0967 90.13%
2802.99/2811.78 c 2812 770 769 1 23.0000 12.0967 90.13%
2808.77/2817.51 c 2818 772 771 1 23.0000 12.0967 90.13%
2814.86/2823.65 c 2824 773 772 1 23.0000 12.0967 90.13%
2822.94/2831.72 c 2832 775 774 1 23.0000 12.0967 90.13%
2833.81/2842.65 c 2843 779 778 1 23.0000 12.0967 90.13%
2854.44/2863.32 c 2863 780 779 1 23.0000 12.0967 90.13%
2860.03/2868.98 c 2869 781 780 1 23.0000 12.0967 90.13%
2868.61/2877.51 c 2878 782 781 1 23.0000 12.0967 90.13%
2879.19/2888.11 c 2888 783 782 1 23.0000 12.0967 90.13%
2889.45/2898.43 c 2898 784 783 1 23.0000 12.0967 90.13%
2896.04/2905.01 c 2905 785 784 1 23.0000 12.0967 90.13%
2902.21/2911.24 c 2911 786 785 1 23.0000 12.0967 90.13%
2911.29/2920.32 c 2920 788 787 1 23.0000 12.0967 90.13%
2920.07/2929.18 c 2929 793 792 1 23.0000 12.0967 90.13%
2926.15/2935.20 c 2935 796 795 1 23.0000 12.0967 90.13%
2932.84/2941.93 c 2942 798 797 1 23.0000 12.0967 90.13%
2937.82/2946.97 c 2947 800 799 1 23.0000 12.0967 90.13%
2944.21/2953.37 c 2953 802 801 1 23.0000 12.0967 90.13%
2964.86/2974.02 c 2974 803 802 1 23.0000 12.0967 90.13%
2973.33/2982.56 c 2983 804 803 1 23.0000 12.0967 90.13%
2980.41/2989.65 c 2990 805 804 1 23.0000 12.0967 90.13%
2986.68/2995.96 c 2996 807 806 1 23.0000 12.0967 90.13%
2993.56/3002.86 c 3003 808 807 1 23.0000 12.0967 90.13%
3001.33/3010.65 c 3011 810 809 1 23.0000 12.0967 90.13%
3008.60/3017.92 c 3018 811 810 1 23.0000 12.0967 90.13%
3013.70/3023.09 c 3023 812 811 1 23.0000 12.0967 90.13%
3019.17/3028.52 c 3029 813 812 1 23.0000 12.0967 90.13%
3026.25/3035.67 c 3036 816 815 1 23.0000 12.0967 90.13%
3032.43/3041.89 c 3042 818 817 1 23.0000 12.0967 90.13%
3038.11/3047.51 c 3048 822 821 1 23.0000 12.0967 90.13%
3048.28/3057.71 c 3058 825 824 1 23.0000 12.0967 90.13%
3055.25/3064.73 c 3065 827 826 1 23.0000 12.0967 90.13%
3065.42/3074.96 c 3075 828 827 1 23.0000 12.0967 90.13%
3093.24/3102.87 c 3103 829 828 1 23.0000 12.0967 90.13%
3099.43/3109.00 c 3109 831 830 1 23.0000 12.0967 90.13%
3106.20/3115.82 c 3116 833 832 1 23.0000 12.0967 90.13%
3112.18/3121.86 c 3122 834 833 1 23.0000 12.0967 90.13%
3119.26/3128.93 c 3129 836 835 1 23.0000 12.0967 90.13%
3131.23/3140.98 c 3141 838 837 1 23.0000 12.0967 90.13%
3139.00/3148.75 c 3149 840 839 1 23.0000 12.0967 90.13%
3145.79/3155.50 c 3156 842 841 1 23.0000 12.0967 90.13%
3152.16/3161.98 c 3162 843 842 1 23.0000 12.0967 90.13%
3157.25/3167.05 c 3167 844 843 1 23.0000 12.0967 90.13%
3170.21/3180.08 c 3180 846 845 1 23.0000 12.0967 90.13%
3176.08/3185.93 c 3186 848 847 1 23.0000 12.0967 90.13%
3184.75/3194.70 c 3195 851 850 1 23.0000 12.0967 90.13%
3194.52/3204.45 c 3204 854 853 1 23.0000 12.0967 90.13%
3203.59/3213.59 c 3214 858 857 1 23.0000 12.0967 90.13%
3219.53/3229.51 c 3230 859 858 1 23.0000 12.0967 90.13%
3225.61/3235.68 c 3236 861 860 1 23.0000 12.0967 90.13%
3232.39/3242.41 c 3242 864 863 1 23.0000 12.0967 90.13%
3238.57/3248.60 c 3249 867 866 1 23.0000 12.0967 90.13%
3260.89/3271.08 c 3271 869 868 1 23.0000 12.0967 90.13%
3266.07/3276.20 c 3276 871 870 1 23.0000 12.0967 90.13%
3287.71/3297.93 c 3298 873 872 1 23.0000 12.0967 90.13%
3293.89/3304.19 c 3304 874 873 1 23.0000 12.0967 90.13%
3300.67/3310.92 c 3311 876 875 1 23.0000 12.0967 90.13%
3340.57/3350.94 c 3351 877 876 1 23.0000 12.0967 90.13%
3351.44/3361.82 c 3362 879 878 1 23.0000 12.0967 90.13%
3365.49/3375.91 c 3376 880 879 1 23.0000 12.0967 90.13%
3373.08/3383.54 c 3384 882 881 1 23.0000 12.0967 90.13%
3379.86/3390.31 c 3390 886 885 1 23.0000 12.0967 90.13%
3386.14/3396.61 c 3397 887 886 1 23.0000 12.0967 90.13%
3391.82/3402.37 c 3402 888 887 1 23.0000 12.0967 90.13%
3400.00/3410.52 c 3411 892 891 1 23.0000 12.0967 90.13%
3405.28/3415.80 c 3416 894 893 1 23.0000 12.0967 90.13%
3410.47/3421.09 c 3421 897 896 1 23.0000 12.0967 90.13%
3417.74/3428.39 c 3428 898 897 1 23.0000 12.0967 90.13%
3433.00/3443.68 c 3444 899 898 1 23.0000 12.0967 90.13%
3440.98/3451.66 c 3452 902 901 1 23.0000 12.0967 90.13%
3447.76/3458.45 c 3458 904 903 1 23.0000 12.0967 90.13%
3459.53/3470.20 c 3470 908 907 1 23.0000 12.0967 90.13%
3466.32/3477.08 c 3477 909 908 1 23.0000 12.0967 90.13%
3472.31/3483.09 c 3483 911 910 1 23.0000 12.0967 90.13%
3477.79/3488.51 c 3489 912 911 1 23.0000 12.0967 90.13%
3488.06/3498.80 c 3499 913 912 1 23.0000 12.0967 90.13%
3493.74/3504.59 c 3505 915 914 1 23.0000 12.0967 90.13%
3499.03/3509.81 c 3510 917 916 1 23.0000 12.0967 90.13%
3504.71/3515.56 c 3516 918 917 1 23.0000 12.0967 90.13%
3510.49/3521.31 c 3521 920 919 1 23.0000 12.0967 90.13%
3516.48/3527.30 c 3527 922 921 1 23.0000 12.0967 90.13%
3521.77/3532.61 c 3533 924 923 1 23.0000 12.0967 90.13%
3527.55/3538.44 c 3538 927 926 1 23.0000 12.0967 90.13%
3533.93/3544.88 c 3545 930 929 1 23.0000 12.0967 90.13%
3541.01/3551.95 c 3552 933 932 1 23.0000 12.0967 90.13%
3548.10/3559.10 c 3559 934 933 1 23.0000 12.0967 90.13%
3554.38/3565.30 c 3565 935 934 1 23.0000 12.0967 90.13%
3568.05/3579.06 c 3579 938 937 1 23.0000 12.0967 90.13%
3573.53/3584.58 c 3585 940 939 1 23.0000 12.0967 90.13%
3583.40/3594.46 c 3594 943 942 1 23.0000 12.0967 90.13%
3587.00/3598.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.00/3598.11 c Total Time : 3598.10
3587.00/3598.11 c solving : 3598.10
3587.00/3598.11 c presolving : 0.28 (included in solving)
3587.00/3598.11 c B&B Tree :
3587.00/3598.11 c nodes (total) : 1
3587.00/3598.11 c Solution :
3587.00/3598.11 c Solutions found : 3
3587.00/3598.11 c Primal Bound : +2.30000000000000e+01
3587.00/3598.11 c Dual Bound : +1.20967179582340e+01
3587.00/3598.11 c Gap : 90.13422 %
3587.00/3598.11 c * Warning: final gap: 9.01342e-01 is greater than SCIPepsilon: 1.00000e-09
3587.00/3598.11 o 23
3587.00/3598.11 s SATISFIABLE
3587.00/3598.11 v -x6027 x6026 -x6025 x6024 x6022 -x6020 -x6019 -x6018 -x6017 -x6015 -x6013 -x6012 -x6011 -x6010 -x6008 -x6006 -x6005 -x6004 -x6003
3587.00/3598.11 v -x6001 -x6000 -x5999 -x5998 -x5996 -x5994 -x5993 -x5992 -x5991 -x5989 x5987 -x5985 -x5984 -x5983 -x5982 -x5980 -x5978 -x5977
3587.00/3598.11 v -x5976 -x5975 -x5973 -x5971 -x5970 -x5969 -x5968 -x5966 -x5964 -x5963 -x5962 -x5961 -x5959 -x5957 -x5956 -x5955 -x5954 -x5952
3587.00/3598.11 v -x5950 -x5949 -x5948 -x5947 x5945 -x5943 -x5942 x5941 x5940 -x5938 -x5937 -x5936 -x5935 -x5933 -x5932 -x5931 -x5930 x5928
3587.00/3598.11 v -x5926 -x5925 -x5924 -x5923 -x5921 -x5919 -x5918 -x5917 -x5916 -x5914 -x5912 -x5911 -x5910 -x5909 -x5907 -x5905 -x5904 -x5903
3587.00/3598.11 v -x5902 x5900 -x5898 -x5897 -x5896 -x5895 -x5893 -x5891 -x5890 -x5889 -x5888 -x5886 -x5884 -x5883 -x5882 -x5881 x5879 -x5877
3587.00/3598.11 v -x5876 -x5875 x5874 -x5872 -x5871 -x5870 -x5869 -x5867 -x5865 -x5864 -x5863 -x5862 -x5860 -x5858 -x5857 x5856 x5855 -x5853 -x5852
3587.00/3598.11 v -x5851 -x5850 x5848 -x5846 -x5845 -x5844 -x5843 x5841 -x5839 -x5838 -x5837 -x5836 x5834 -x5832 -x5831 -x5830 x5829 -x5827
3587.00/3598.11 v -x5826 -x5825 -x5824 -x5822 -x5820 -x5819 -x5818 -x5817 -x5815 -x5813 -x5812 -x5811 x5810 -x5808 -x5807 -x5806 -x5805 x5803
3587.00/3598.11 v -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783
3587.00/3598.11 v -x5782 -x5781 -x5780 -x5779 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763
3587.00/3598.11 v -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744
3587.00/3598.11 v -x5743 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724
3587.00/3598.11 v -x5723 -x5722 -x5721 -x5720 -x5719 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5705
3587.00/3598.11 v -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686
3587.00/3598.11 v -x5685 -x5684 -x5683 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5669 -x5668 -x5667 -x5666
3587.00/3598.11 v -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647
3587.00/3598.11 v -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627
3587.00/3598.11 v -x5626 -x5625 -x5624 -x5623 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 x5613 -x5612 x5611 -x5609 -x5608 -x5607
3587.00/3598.11 v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588
3587.00/3598.11 v -x5587 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
3587.00/3598.11 v -x5567 -x5566 -x5565 -x5564 -x5563 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5549 -x5548
3587.00/3598.11 v -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531
3587.00/3598.11 v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 x5524 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512
3587.00/3598.11 v -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5495 -x5494 -x5493
3587.00/3598.11 v -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475
3587.00/3598.11 v -x5474 -x5473 -x5472 -x5471 -x5470 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456
3587.00/3598.11 v -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5441 -x5440 -x5439 -x5438 -x5437
3587.00/3598.11 v -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419
3587.00/3598.11 v -x5418 -x5417 -x5416 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400
3587.00/3598.11 v -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382
3587.00/3598.11 v -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364
3587.00/3598.11 v -x5363 x5362 -x5360 -x5359 -x5358 -x5357 -x5355 -x5354 -x5353 -x5352 -x5350 -x5349 -x5348 -x5347 x5345 -x5343 -x5342 -x5341
3587.00/3598.11 v -x5340 -x5338 -x5336 -x5335 -x5334 -x5333 -x5331 -x5330 -x5329 -x5328 -x5326 -x5325 -x5324 x5323 -x5321 -x5320 -x5319 x5318 -x5316
3587.00/3598.11 v -x5315 -x5314 -x5313 -x5311 -x5309 -x5308 -x5307 -x5306 -x5304 -x5302 -x5301 -x5300 -x5299 -x5297 -x5296 -x5295 -x5294
3587.00/3598.11 v -x5292 x5290 -x5288 -x5287 -x5286 -x5285 -x5283 -x5282 -x5281 -x5280 -x5278 -x5277 -x5276 -x5275 -x5273 -x5271 -x5270 -x5269
3587.00/3598.11 v -x5268 -x5266 -x5264 -x5263 -x5262 x5261 x5259 -x5257 -x5256 -x5255 x5254 -x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5244 -x5243
3587.00/3598.11 v -x5242 x5240 -x5238 -x5237 -x5236 -x5235 -x5233 -x5231 -x5230 -x5229 -x5228 -x5226 -x5224 -x5223 -x5222 x5221 -x5219 -x5218
3587.00/3598.11 v -x5217 -x5216 -x5214 -x5212 -x5211 -x5210 -x5209 -x5207 -x5205 -x5204 -x5203 x5202 -x5200 -x5199 -x5198 -x5197 -x5195 -x5193
3587.00/3598.11 v -x5191 -x5190 -x5189 x5188 -x5186 -x5185 -x5184 -x5183 -x5181 -x5179 -x5178 -x5177 -x5176 x5174 -x5172 -x5171 -x5170 -x5169
3587.00/3598.11 v -x5167 -x5165 -x5163 -x5162 -x5161 -x5160 -x5158 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146
3587.00/3598.11 v -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126
3587.00/3598.11 v -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106
3587.00/3598.11 v -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088
3587.00/3598.11 v -x5087 -x5086 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5072 -x5071 -x5070 -x5069 -x5068
3587.00/3598.11 v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5060 -x5059 -x5058 -x5057 x5056 -x5055 -x5054 -x5053 -x5052 -x5051 x5050 -x5048
3587.00/3598.11 v -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029
3587.00/3598.11 v -x5028 -x5027 -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5012 -x5011 -x5010 -x5009
3587.00/3598.11 v -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990
3587.00/3598.11 v -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970
3587.00/3598.11 v -x4969 -x4968 -x4967 -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4952 -x4951 -x4950
3587.00/3598.11 v -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931
3587.00/3598.11 v -x4930 -x4928 -x4927 -x4926 x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 x4918 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911
3587.00/3598.11 v -x4910 -x4909 -x4908 -x4907 -x4906 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892
3587.00/3598.11 v -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4877 -x4876 -x4875 -x4874 -x4873
3587.00/3598.11 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856
3587.00/3598.11 v -x4855 -x4854 -x4853 -x4852 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837
3587.00/3598.11 v -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818
3587.00/3598.11 v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
3587.00/3598.11 v -x4799 -x4798 -x4796 -x4795 -x4794 x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781
3587.00/3598.11 v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 x4771 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762
3587.00/3598.11 v -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744
3587.00/3598.11 v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725
3587.00/3598.11 v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4715 -x4714 -x4713 -x4712 -x4710 -x4709 -x4708 -x4707 -x4705 -x4704
3587.00/3598.11 v -x4703 -x4702 -x4700 -x4699 -x4698 -x4697 -x4695 -x4694 -x4693 -x4692 -x4690 -x4689 -x4688 -x4687 -x4685 -x4684 -x4683
3587.00/3598.11 v -x4682 -x4680 -x4679 -x4678 -x4677 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4665 -x4664 -x4663 -x4662 -x4660
3587.00/3598.11 v -x4659 -x4658 -x4657 -x4655 -x4654 -x4653 -x4652 -x4650 -x4649 -x4648 -x4647 -x4645 -x4644 -x4643 -x4642 -x4640 -x4639 -x4638
3587.00/3598.11 v -x4637 -x4635 -x4634 -x4633 -x4632 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4620 -x4619 -x4618 -x4617 -x4615
3587.00/3598.11 v -x4614 -x4613 -x4612 -x4610 -x4609 -x4608 -x4607 -x4605 -x4604 -x4603 -x4602 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593
3587.00/3598.11 v -x4592 -x4590 x4589 -x4588 x4587 -x4585 -x4584 -x4583 -x4582 -x4580 -x4579 -x4578 -x4577 -x4575 -x4574 -x4573 -x4572 -x4570
3587.00/3598.11 v -x4569 -x4568 -x4567 -x4565 -x4564 -x4563 -x4562 -x4560 -x4559 -x4558 -x4557 -x4555 -x4554 -x4553 -x4552 -x4550 -x4549 -x4548
3587.00/3598.11 v -x4547 -x4545 -x4544 -x4543 -x4542 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 -x4532 -x4530 -x4529 -x4528 -x4527 -x4525
3587.00/3598.11 v -x4524 -x4523 -x4522 -x4520 -x4519 -x4518 -x4517 -x4515 -x4514 -x4513 -x4512 -x4510 -x4509 -x4508 -x4507 -x4505 -x4504 -x4503
3587.00/3598.11 v -x4502 -x4500 -x4499 -x4498 -x4497 -x4495 -x4494 -x4493 -x4492 -x4490 -x4489 -x4488 -x4487 -x4485 -x4484 -x4483 -x4482
3587.00/3598.11 v -x4480 -x4479 -x4478 -x4477 -x4475 -x4474 -x4473 -x4472 -x4470 -x4469 -x4468 -x4467 -x4465 -x4464 -x4463 -x4462 -x4460 -x4459
3587.00/3598.11 v -x4458 -x4457 -x4455 -x4454 -x4453 -x4452 -x4450 -x4449 -x4448 -x4447 -x4445 -x4444 -x4443 -x4442 -x4440 -x4439 -x4438 -x4437
3587.00/3598.11 v -x4435 -x4434 -x4433 -x4432 -x4430 -x4429 -x4428 -x4427 -x4425 -x4424 -x4423 -x4422 -x4420 -x4419 -x4418 -x4417 -x4415 -x4414
3587.00/3598.11 v -x4413 -x4412 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4400 -x4399 -x4398 -x4397 -x4395 -x4394 -x4393 -x4392
3587.00/3598.11 v -x4390 -x4389 -x4388 -x4387 -x4385 -x4384 -x4383 -x4382 -x4380 -x4379 -x4378 -x4377 -x4375 -x4374 -x4373 -x4372 -x4370 -x4369
3587.00/3598.11 v -x4368 -x4367 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 x4353 -x4351 -x4350 -x4349 -x4348
3587.00/3598.11 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4339 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328
3587.00/3598.11 v -x4327 -x4325 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 x4311 -x4309 -x4308 -x4307 -x4306
3587.00/3598.11 v -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4297 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287
3587.00/3598.11 v -x4286 -x4285 -x4283 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 x4269 -x4267 -x4266 -x4265
3587.00/3598.11 v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 x4257 -x4255 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245
3587.00/3598.11 v -x4244 -x4243 -x4241 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4227 -x4225 -x4224 -x4223
3587.00/3598.11 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203
3587.00/3598.11 v -x4202 -x4201 -x4199 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 x4185 -x4183 -x4182 -x4181
3587.00/3598.11 v -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4171 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161
3587.00/3598.11 v -x4160 -x4159 x4157 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4143 -x4141 -x4140 -x4139
3587.00/3598.11 v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4129 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119
3587.00/3598.11 v -x4118 -x4117 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4103 -x4101 -x4100 -x4099 -x4098
3587.00/3598.11 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4089 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
3587.00/3598.11 v -x4077 -x4075 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4061 -x4059 -x4058 -x4057 -x4056
3587.00/3598.11 v -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 x4047 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036
3587.00/3598.11 v x4035 -x4033 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4017 -x4016 -x4015 -x4014
3587.00/3598.11 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4005 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995
3587.00/3598.11 v -x3994 x3993 -x3991 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3977 -x3975 -x3974 -x3973
3587.00/3598.11 v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3963 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953
3587.00/3598.11 v -x3952 x3951 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3937 -x3935 -x3934 -x3933 -x3932
3587.00/3598.11 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 x3923 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912
3587.00/3598.11 v -x3911 -x3909 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3895 -x3893 -x3892 -x3891 -x3890
3587.00/3598.11 v -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870
3587.00/3598.11 v -x3869 -x3867 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 x3853 -x3851 -x3850 -x3849 -x3848
3587.00/3598.11 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 x3839 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828
3587.00/3598.11 v -x3827 -x3825 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 -x3808 -x3807 -x3806
3587.00/3598.11 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 x3797 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786
3587.00/3598.11 v -x3785 -x3783 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3769 -x3767 -x3766 -x3765 -x3764
3587.00/3598.11 v -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
3587.00/3598.11 v -x3743 -x3741 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3727 -x3725 -x3724 -x3723 -x3722
3587.00/3598.11 v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 x3713 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702
3587.00/3598.11 v -x3701 x3699 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3685 -x3683 -x3682 -x3681 -x3680
3587.00/3598.11 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3671 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661
3587.00/3598.11 v -x3660 -x3659 -x3657 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3643 -x3641 -x3640 -x3639
3587.00/3598.11 v -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 x3629 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619
3587.00/3598.11 v -x3618 -x3617 -x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3601 -x3599 -x3598 -x3597
3587.00/3598.11 v -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3587 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
3587.00/3598.11 v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558
3587.00/3598.11 v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540
3587.00/3598.11 v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521
3587.00/3598.11 v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3504 -x3503
3587.00/3598.11 v -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485
3587.00/3598.11 v -x3484 -x3483 -x3482 -x3481 -x3480 x3479 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466
3587.00/3598.11 v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3450 -x3449 -x3448 -x3447
3587.00/3598.11 v -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429
3587.00/3598.11 v -x3428 -x3427 -x3426 -x3425 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410
3587.00/3598.11 v -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391
3587.00/3598.11 v -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373
3587.00/3598.11 v -x3372 -x3371 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355
3587.00/3598.11 v -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336
3587.00/3598.11 v -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318
3587.00/3598.11 v -x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299
3587.00/3598.11 v -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280
3587.00/3598.11 v -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3261
3587.00/3598.11 v -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243
3587.00/3598.11 v -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225
3587.00/3598.11 v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3207 -x3206
3587.00/3598.11 v -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188
3587.00/3598.11 v -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169
3587.00/3598.11 v -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 x3155 -x3153 -x3152 -x3151 -x3150
3587.00/3598.11 v -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132
3587.00/3598.11 v -x3131 -x3130 -x3129 -x3128 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113
3587.00/3598.11 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094
3587.00/3598.11 v -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077
3587.00/3598.11 v -x3076 -x3075 x3074 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058
3587.00/3598.11 v -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
3587.00/3598.11 v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
3587.00/3598.11 v -x3020 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002
3587.00/3598.11 v -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983
3587.00/3598.11 v -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2964
3587.00/3598.11 v -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946
3587.00/3598.11 v -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928
3587.00/3598.11 v -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2910 -x2909
3587.00/3598.11 v -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891
3587.00/3598.11 v -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872
3587.00/3598.11 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2856 -x2855 -x2854 -x2853
3587.00/3598.11 v -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835
3587.00/3598.11 v -x2834 -x2833 -x2832 -x2831 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816
3587.00/3598.11 v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799
3587.00/3598.11 v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781
3587.00/3598.11 v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 x2773 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762
3587.00/3598.11 v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744
3587.00/3598.11 v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726
3587.00/3598.11 v -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
3587.00/3598.11 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
3587.00/3598.11 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
3587.00/3598.11 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2655 -x2654 -x2653
3587.00/3598.11 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
3587.00/3598.11 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
3587.00/3598.11 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3587.00/3598.11 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
3587.00/3598.11 v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
3587.00/3598.11 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
3587.00/3598.11 v -x2543 -x2542 -x2541 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
3587.00/3598.11 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
3587.00/3598.11 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
3587.00/3598.11 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
3587.00/3598.11 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
3587.00/3598.11 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
3587.00/3598.11 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
3587.00/3598.11 v -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398
3587.00/3598.11 v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381
3587.00/3598.11 v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2365 -x2364 -x2363 -x2362
3587.00/3598.11 v x2360 -x2358 -x2357 -x2356 -x2355 x2353 -x2351 -x2350 -x2349 -x2348 -x2346 -x2344 -x2343 -x2342 -x2341 -x2339 -x2337 -x2336
3587.00/3598.11 v -x2335 -x2334 x2332 -x2330 -x2329 -x2328 -x2327 -x2325 -x2323 -x2322 -x2321 -x2320 -x2318 -x2316 -x2315 -x2314 -x2313 -x2311
3587.00/3598.11 v -x2309 -x2308 -x2307 -x2306 -x2304 -x2302 -x2301 -x2300 -x2299 -x2297 -x2295 -x2294 -x2293 -x2292 x2290 -x2288 -x2287 -x2286
3587.00/3598.11 v -x2285 -x2283 -x2281 -x2280 -x2279 -x2278 -x2276 -x2274 -x2273 -x2272 -x2271 x2269 -x2267 -x2266 -x2265 -x2264 x2262 -x2260 -x2259
3587.00/3598.11 v -x2258 -x2257 x2255 -x2253 -x2252 -x2251 -x2250 -x2248 -x2246 -x2245 -x2244 -x2243 -x2241 -x2239 -x2238 -x2237 -x2236 -x2234
3587.00/3598.11 v -x2232 -x2231 -x2230 -x2229 x2227 -x2225 -x2224 -x2223 -x2222 x2220 -x2218 -x2217 -x2216 -x2215 -x2213 -x2211 -x2210 -x2209
3587.00/3598.11 v -x2208 -x2206 -x2204 -x2203 -x2202 -x2201 -x2199 -x2197 -x2196 -x2195 -x2194 -x2192 -x2190 -x2189 -x2188 -x2187 -x2185 -x2183
3587.00/3598.11 v -x2182 -x2181 -x2180 -x2178 -x2176 -x2175 -x2174 -x2173 -x2171 -x2169 -x2168 x2167 x2166 -x2164 -x2162 -x2161 -x2160 -x2159
3587.00/3598.11 v -x2157 -x2155 -x2154 -x2153 -x2152 -x2150 -x2148 -x2147 -x2146 -x2145 -x2143 -x2141 -x2140 -x2139 -x2138 -x2136 -x2134 -x2133
3587.00/3598.11 v -x2132 -x2131 x2129 -x2127 -x2126 -x2125 -x2124 -x2122 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111
3587.00/3598.11 v -x2110 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092
3587.00/3598.11 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2072
3587.00/3598.11 v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053
3587.00/3598.11 v -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2036 -x2035 -x2034 -x2033
3587.00/3598.11 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014
3587.00/3598.11 v -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994
3587.00/3598.11 v -x1993 -x1992 -x1991 -x1990 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1975 -x1974
3587.00/3598.11 v -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
3587.00/3598.11 v -x1954 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936
3587.00/3598.11 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1916
3587.00/3598.11 v -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 x1906 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897
3587.00/3598.11 v -x1896 -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 x1882 -x1880 -x1879 -x1878 -x1877
3587.00/3598.11 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858
3587.00/3598.11 v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839
3587.00/3598.11 v -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821
3587.00/3598.11 v -x1820 -x1819 -x1818 -x1817 -x1816 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802
3587.00/3598.11 v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1787 -x1786 -x1785 -x1784 -x1783
3587.00/3598.11 v -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765
3587.00/3598.11 v -x1764 -x1763 -x1762 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747
3587.00/3598.11 v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 x1735 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728
3587.00/3598.11 v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710
3587.00/3598.11 v -x1709 -x1708 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691
3587.00/3598.11 v -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1679 -x1678 -x1677 -x1676 -x1674 -x1672 -x1671 -x1670
3587.00/3598.11 v -x1669 x1667 -x1665 -x1664 -x1663 -x1662 x1660 -x1658 -x1657 -x1656 -x1655 -x1653 -x1651 -x1650 -x1649 -x1648 x1646 -x1644
3587.00/3598.11 v -x1643 -x1642 -x1641 -x1639 -x1637 -x1636 -x1635 x1634 x1632 -x1630 -x1629 -x1628 -x1627 x1625 -x1623 -x1622 -x1621 -x1620 x1618
3587.00/3598.11 v -x1616 -x1615 -x1614 -x1613 -x1611 -x1609 -x1608 -x1607 -x1606 x1604 -x1602 -x1601 -x1600 -x1599 x1597 -x1595 -x1594 -x1593
3587.00/3598.11 v x1592 x1590 -x1588 -x1587 -x1586 -x1585 x1583 -x1581 -x1580 -x1579 -x1578 -x1576 -x1574 -x1573 -x1572 -x1571 x1569 -x1567
3587.00/3598.11 v -x1566 -x1565 -x1564 x1562 -x1560 -x1559 -x1558 x1557 x1555 -x1553 -x1552 -x1551 x1550 x1548 -x1546 -x1545 -x1544 -x1543 -x1541
3587.00/3598.11 v -x1539 -x1538 -x1537 -x1536 -x1534 -x1532 -x1531 -x1530 -x1529 -x1527 -x1525 -x1524 -x1523 -x1522 -x1520 -x1518 x1517 -x1516
3587.00/3598.11 v x1515 x1513 -x1511 -x1510 -x1509 -x1508 -x1506 x1504 -x1503 -x1502 x1501 -x1499 -x1497 -x1496 -x1495 -x1494 -x1492 -x1490
3587.00/3598.11 v x1489 -x1488 x1487 x1485 -x1483 -x1482 -x1481 -x1480 -x1478 -x1476 -x1475 -x1474 -x1473 -x1471 -x1469 -x1468 -x1467 -x1466 x1464
3587.00/3598.11 v -x1462 -x1461 -x1460 -x1459 -x1457 -x1455 x1454 -x1453 x1452 x1450 -x1448 -x1447 -x1446 -x1445 -x1443 -x1441 -x1440 -x1439
3587.00/3598.11 v -x1438 -x1436 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1422 -x1421 -x1420 -x1419 -x1418
3587.00/3598.11 v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1398
3587.00/3598.11 v -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379
3587.00/3598.11 v -x1378 -x1377 -x1376 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1362 -x1361 -x1360
3587.00/3598.11 v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1350 -x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341
3587.00/3598.11 v x1340 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321
3587.00/3598.11 v -x1320 -x1319 -x1318 -x1317 -x1316 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1302 -x1301
3587.00/3598.11 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282
3587.00/3598.11 v -x1281 x1280 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1266 -x1265 -x1264 -x1263 -x1262
3587.00/3598.11 v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1242
3587.00/3598.11 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223
3587.00/3598.11 v -x1222 -x1221 -x1220 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1206 -x1205 -x1204 -x1203
3587.00/3598.11 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
3587.00/3598.11 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
3587.00/3598.11 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
3587.00/3598.11 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1128
3587.00/3598.11 v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110
3587.00/3598.11 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
3587.00/3598.11 v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1074 -x1073 -x1072
3587.00/3598.11 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
3587.00/3598.11 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
3587.00/3598.11 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1020 -x1019 -x1018 -x1017 -x1016
3587.00/3598.11 v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998
3587.00/3598.11 v -x997 -x996 -x995 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x993 -x991 -x992 -x990 -x988 -x989 -x987 -x985 -x986 -x984 -x983
3587.00/3598.11 v -x982 -x980 -x981 -x979 -x977 -x978 -x975 x976 -x974 -x972 -x973 -x971 -x969 -x970 -x968 -x966 -x967 -x965 -x963 -x964 -x962
3587.00/3598.11 v -x960 -x961 -x959 -x957 -x958 -x956 -x955 -x954 -x953 -x952 -x950 -x951 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942
3587.00/3598.11 v -x940 -x938 -x939 -x937 -x935 -x936 -x934 -x932 -x933 -x931 -x929 -x930 -x928 -x927 -x926 -x924 -x925 -x923 -x921 -x922
3587.00/3598.11 v -x920 -x919 -x918 -x916 -x917 -x915 -x913 -x914 -x912 -x910 -x911 -x909 -x908 -x907 -x905 -x906 -x904 -x902 -x903 -x901 -x900
3587.00/3598.11 v -x899 -x897 -x898 -x896 -x895 -x894 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x879 -x878 -x877
3587.00/3598.11 v -x876 -x874 -x873 -x872 -x871 -x870 -x869 -x867 -x866 -x865 -x864 -x862 x861 -x860 -x859 -x857 -x856 -x854 -x853 -x852 -x851
3587.00/3598.11 v -x850 -x849 -x848 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x839 -x838 -x837 -x836 -x835 -x833 -x834 -x832 -x830 -x831 -x829
3587.00/3598.11 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x819 -x820 -x818 -x816 -x817 -x815 -x814 -x813 -x811 -x812 -x809 x810 -x808
3587.00/3598.11 v -x807 -x806 -x805 -x804 -x802 -x803 -x801 -x799 -x800 -x798 -x796 -x797 -x795 -x793 -x794 -x792 -x791 -x790 -x788 -x789 -x787
3587.00/3598.11 v -x785 -x786 -x784 -x782 -x783 -x781 -x780 -x779 -x777 -x778 -x776 -x774 -x775 -x773 -x772 -x771 -x769 -x770 -x767 -x768 -x766
3587.00/3598.11 v -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758 -x756 -x757 -x754 -x755 -x753 -x751 -x752 -x750 -x749 -x748 -x747 -x746 -x745
3587.00/3598.11 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x724
3587.00/3598.11 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x354 -x353 -x352 -x351 -x350
3587.00/3598.11 v -x349 x348 -x347 -x699 -x697 -x698 -x696 -x694 -x695 -x693 -x691 -x692 -x690 -x688 -x689 -x687 -x685 -x686 -x684 -x682 -x683
3587.00/3598.11 v -x681 -x679 -x680 -x678 -x676 -x677 -x675 -x673 -x674 -x672 -x670 -x671 -x669 -x667 -x668 -x666 -x664 -x665 -x663 -x661 x662
3587.00/3598.11 v -x660 -x658 -x659 -x657 -x655 -x656 -x654 -x652 -x653 -x651 -x649 -x650 -x648 -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641
3587.00/3598.11 v -x639 -x637 -x638 -x636 -x634 -x635 -x633 -x631 -x632 -x630 -x628 -x629 -x627 -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620
3587.00/3598.11 v -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608 -x606 -x604 -x605 -x603 -x601 -x602 -x600 -x598 -x599
3587.00/3598.11 v -x597 -x595 -x596 -x594 -x592 -x593 -x591 -x589 -x590 -x588 -x586 -x587 -x585 -x583 -x584 -x582 -x580 -x581 -x579 -x577 -x578
3587.00/3598.11 v -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568 -x569 -x567 -x565 -x566 -x564 -x562 -x563 -x561 -x559 -x560 -x558 -x556
3587.00/3598.11 v -x557 -x555 -x553 -x554 -x552 -x550 -x551 -x549 -x547 -x548 -x546 -x544 -x545 -x543 -x542 -x541 -x539 -x540 -x538 -x536 -x537
3587.00/3598.11 v -x535 -x533 -x534 -x532 -x530 -x531 -x529 -x527 -x528 x526 -x524 -x525 -x523 -x521 -x522 -x520 -x518 -x519 -x517 -x515 -x516
3587.00/3598.11 v -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x507 -x506 -x504 -x505 -x503 -x501 -x502 -x500 -x498 -x499 -x497 -x495 -x496 -x494
3587.00/3598.11 v -x492 -x493 -x491 -x489 -x490 -x488 -x486 -x487 -x485 -x483 -x484 -x482 -x480 -x481 -x479 -x477 -x478 -x476 -x474 -x475 -x473
3587.00/3598.11 v -x471 -x472 -x470 -x468 -x469 -x467 -x465 -x466 -x464 -x462 -x463 -x461 -x459 -x460 -x458 -x456 -x457 -x455 -x453 -x454 -x452
3587.00/3598.11 v -x450 -x451 -x449 -x447 -x448 -x446 -x444 -x445 -x443 -x441 -x442 -x440 -x438 -x439 -x437 -x435 -x436 -x434 -x432 -x433 -x431
3587.00/3598.11 v -x429 -x430 -x428 -x426 -x425 -x423 -x422 -x421 -x420 -x418 -x417 -x415 -x414 -x412 -x411 -x409 -x408 -x407 -x406 -x404
3587.00/3598.11 v -x403 -x402 -x401 -x399 -x398 -x397 -x396 -x394 -x393 -x391 -x390 -x389 x388 -x387 -x386 -x384 -x383 -x382 -x381 -x380 -x379
3587.00/3598.11 v -x378 -x377 -x375 -x374 -x372 -x371 -x369 -x368 -x367 -x366 -x364 -x363 -x361 -x360 -x358 -x357 -x355 -x183 -x182 x181 -x180
3587.00/3598.11 v -x179 -x178 -x177 -x345 -x343 -x344 -x342 -x340 -x341 -x339 -x337 -x338 -x336 -x334 -x335 -x333 -x331 -x332 -x330 -x328 -x329
3587.00/3598.11 v -x327 -x325 -x326 -x324 -x322 -x323 -x321 -x319 -x320 -x318 -x316 -x317 -x315 -x313 -x314 -x312 -x310 -x311 -x309 -x307 -x308
3587.00/3598.11 v -x306 -x304 -x305 -x303 -x301 -x302 -x300 -x298 -x299 -x297 -x295 -x296 -x294 -x292 -x293 -x291 -x289 -x290 -x288 -x286 -x287
3587.00/3598.11 v -x285 -x283 -x284 -x282 -x280 -x281 -x279 -x277 -x278 -x276 -x274 -x275 -x273 -x271 -x272 -x270 -x268 -x269 -x267 -x265 -x266
3587.00/3598.11 v -x264 -x262 -x263 x261 -x259 -x260 -x258 -x256 -x257 -x255 -x253 -x254 -x252 -x250 -x251 -x249 -x247 -x248 -x246 -x244 -x245
3587.00/3598.11 v -x243 -x241 -x242 -x240 -x238 -x237 -x235 -x234 -x232 -x231 -x229 -x228 -x227 -x226 -x224 -x223 -x222 -x221 -x219 x218 -x217
3587.00/3598.11 v -x216 -x214 -x213 -x212 -x211 -x209 -x208 -x206 -x205 -x204 -x203 -x201 -x200 -x198 -x197 -x195 -x194 -x192 -x191 -x189 -x188
3587.00/3598.11 v -x187 -x186 -x184 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x175 -x173 -x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163
3587.00/3598.11 v -x161 -x162 -x160 -x158 -x159 -x157 -x155 -x156 -x154 -x152 -x153 -x151 -x149 -x150 -x148 -x146 -x147 -x145 -x143 -x144 -x142
3587.00/3598.11 v -x140 -x141 -x139 -x137 -x138 -x136 -x134 -x135 -x133 -x131 -x132 -x130 -x128 -x129 -x127 -x125 -x126 -x124 -x122 -x123
3587.00/3598.11 v -x121 -x119 -x120 -x118 -x116 -x117 -x115 -x113 -x114 -x112 -x110 -x111 -x109 -x107 -x108 -x106 -x104 x105 -x103 -x101 -x102
3587.00/3598.11 v -x100 -x98 -x99 -x97 -x95 -x96 -x94 -x92 -x93 -x91 -x89 -x90 -x88 -x86 -x87 -x85 -x83 -x84 -x82 -x80 -x81 -x79 -x77 -x78 -x76
3587.00/3598.11 v -x74 -x75 -x73 -x71 -x72 -x70 -x68 -x67 -x65 -x64 -x62 -x61 -x60 -x59 -x57 -x56 -x54 -x53 -x51 -x50 -x48 -x47 -x45 -x44 -x42
3587.00/3598.11 v -x41 -x39 -x38 -x36 x35 x33 -x32 -x30 -x29 -x27 -x26 -x24 -x23 -x21 -x20 -x18 -x17 -x15 -x14 -x12 -x11 -x9 -x6023 -x6021 -x6016
3587.00/3598.11 v -x6014 -x6009 -x6007 -x6002 -x5997 -x5995 -x5990 -x5988 x5986 -x5981 -x5979 -x5974 -x5972 -x5967 -x5965 -x5960 -x5958 -x5953
3587.00/3598.11 v -x5951 -x5946 -x5944 -x5939 -x5934 -x5929 -x5927 -x5922 -x5920 -x5915 -x5913 -x5908 -x5906 -x5901 -x5899 -x5894 -x5892 -x5887
3587.00/3598.11 v -x5885 -x5880 -x5878 -x5873 -x5868 -x5866 -x5861 -x5859 -x5854 -x5849 -x5847 -x5842 -x5840 -x5835 -x5833 -x5828 -x5823 -x5821
3587.00/3598.11 v -x5816 -x5814 -x5809 -x5804 -x5802 -x5790 -x5778 -x893 -x5766 -x5754 -x5742 -x5730 -x5718 -x5706 -x880 -x5694 -x5682 -x875
3587.00/3598.11 v -x5670 -x5658 -x5646 -x868 -x5634 -x5622 -x863 x5610 -x5598 -x858 -x5586 -x855 -x5574 -x5562 -x5550 x5523 -x5496 -x5469 -x5442
3587.00/3598.11 v -x5415 -x5388 -x5361 -x5356 -x5351 -x5346 -x5344 -x5339 -x5337 -x5332 -x5327 -x5322 -x5317 -x5312 -x5310 -x5305 -x5303
3587.00/3598.11 v -x5298 -x5293 -x5291 x5289 -x5284 -x5279 -x5274 -x5272 -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241 -x5239 -x5234
3587.00/3598.11 v -x5232 -x5227 -x5225 -x5220 -x5215 -x5213 -x5208 -x5206 -x5201 -x5196 -x5194 -x5192 -x5187 -x5182 -x5180 -x5175 -x5173 -x5168
3587.00/3598.11 v -x5166 -x5164 -x5159 -x5157 -x5145 -x5133 -x5121 -x5109 -x5097 -x5085 -x5073 -x5061 -x5049 -x5037 -x5025 -x5013 -x5001 -x725
3587.00/3598.11 v -x4989 -x4977 -x4965 -x4953 -x4941 -x4929 -x4917 -x4905 -x4878 -x4851 -x4824 -x4797 x4770 -x4743 -x4716 -x4711 -x4706 -x4701
3587.00/3598.11 v -x4696 -x4691 -x4686 -x4681 -x4676 -x4671 -x4666 -x4661 -x4656 -x4651 -x4646 -x4641 -x4636 -x4631 -x4626 -x4621 -x4616 -x4611
3587.00/3598.11 v -x4606 -x4601 -x4596 -x4591 x4586 -x4581 -x4576 -x4571 -x4566 -x4561 -x4556 -x4551 -x4546 -x4541 -x4536 -x4531 -x4526 -x4521
3587.00/3598.11 v -x4516 -x4511 -x4506 -x4501 -x4496 -x4491 -x4486 -x4481 -x4476 -x4471 -x4466 -x4461 -x4456 -x4451 -x4446 -x4441 -x4436 -x4431
3587.00/3598.11 v -x4426 -x4421 -x4416 -x4411 -x4406 -x4401 -x4396 -x4391 -x4386 -x4381 -x4376 -x4371 -x4366 -x4354 -x4352 -x4340 -x4338 -x4326
3587.00/3598.11 v -x4324 -x4312 -x4310 -x4298 -x4296 -x4284 -x4282 -x4270 -x4268 -x4256 -x4254 -x4242 -x4240 -x4228 -x4226 -x4214 -x4212 -x4200
3587.00/3598.11 v -x4198 -x4186 -x4184 -x4172 -x4170 -x4158 -x4156 -x4144 -x4142 -x4130 -x4128 -x4116 -x4104 -x4102 -x4090 -x4088 -x4076 -x4074
3587.00/3598.11 v -x4062 -x4060 -x4048 -x4046 x4034 -x4032 -x4020 -x4018 -x4006 -x4004 -x3992 -x3990 -x3978 -x3976 -x3964 -x3962 -x3950 -x3938
3587.00/3598.11 v -x3936 -x3924 -x3922 -x3910 -x3908 -x3896 -x3894 -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838 -x3826 -x3824
3587.00/3598.11 v -x3812 -x3810 -x3798 -x3796 -x3784 -x3782 -x3770 -x3768 -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712 -x3700 -x3698
3587.00/3598.11 v -x3686 -x3684 -x3672 -x3670 -x3658 -x3656 -x3644 -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588 -x3586 -x3559 -x427
3587.00/3598.11 v -x3532 -x424 -x3505 -x3478 -x419 -x3451 -x416 -x3424 -x413 -x3397 -x410 -x3370 -x3343 -x405 -x3316 -x3289 -x400 -x3262 -x3235
3587.00/3598.11 v -x395 -x3208 -x392 -x3181 x3154 -x3127 -x385 -x3100 -x3073 -x3046 -x3019 -x376 -x2992 -x373 -x2965 -x370 -x2938 -x2911 -x365
3587.00/3598.11 v -x2884 -x362 -x2857 -x359 -x2830 -x356 -x2772 -x2714 -x2656 -x2598 -x2540 -x2482 x2424 -x2366 -x2361 -x2359 -x2354 -x2352 -x2347
3587.00/3598.11 v -x2345 -x2340 -x2338 -x2333 -x2331 -x2326 -x2324 -x2319 -x2317 -x2312 -x2310 -x2305 -x2303 -x2298 -x2296 -x2291 -x2289
3587.00/3598.11 v -x2284 -x2282 -x2277 -x2275 -x2270 -x2268 -x2263 -x2261 -x2256 -x2254 -x2249 -x2247 -x2242 -x2240 -x2235 -x2233 -x2228 -x2226
3587.00/3598.11 v -x2221 -x2219 -x2214 -x2212 -x2207 -x2205 -x2200 -x2198 -x2193 -x2191 -x2186 -x2184 -x2179 -x2177 -x2172 -x2170 x2165 -x2163
3587.00/3598.11 v -x2158 -x2156 -x2151 -x2149 -x2144 -x2142 -x2137 -x2135 -x2130 -x2128 -x2123 -x2121 -x2109 x239 -x2097 -x236 -x2085 -x233 -x2073
3587.00/3598.11 v -x230 -x2061 -x2049 -x225 -x2037 -x2025 -x220 x2013 -x2001 -x215 -x1989 -x1977 -x210 -x1965 -x207 -x1953 -x1941 -x202 -x1929
3587.12/3598.13 v -x199 -x1917 -x196 -x1905 -x193 -x1893 -x190 -x1881 -x1869 -x185 -x1842 -x1815 x1788 -x1761 -x1734 -x1707 -x1680 -x1675
3587.12/3598.13 v -x1673 -x1668 -x1666 -x1661 -x1659 -x1654 -x1652 -x1647 -x1645 -x1640 -x1638 -x1633 -x1631 -x1626 -x1624 -x1619 -x1617 -x1612
3587.12/3598.13 v -x1610 -x1605 -x1603 -x1598 -x1596 -x1591 -x1589 -x1584 -x1582 -x1577 -x1575 -x1570 -x1568 -x1563 -x1561 -x1556 -x1554 -x1549
3587.12/3598.13 v -x1547 -x1542 -x1540 -x1535 -x1533 -x1528 -x1526 -x1521 -x1519 -x1514 x1512 -x1507 -x1505 -x1500 -x1498 -x1493 -x1491 -x1486
3587.12/3598.13 v -x1484 -x1479 -x1477 -x1472 -x1470 -x1465 -x1463 -x1458 -x1456 -x1451 -x1449 -x1444 -x1442 -x1437 -x1435 -x1423 -x69 -x1411
3587.12/3598.13 v -x66 -x1399 -x63 -x1387 -x1375 -x58 -x1363 -x55 -x1351 -x52 -x1339 x49 -x1327 -x46 -x1315 -x43 -x1303 x40 -x1291 -x37 x1279
3587.12/3598.13 v x34 -x1267 -x31 -x1255 -x28 -x1243 -x25 -x1231 -x22 -x1219 -x19 -x1207 -x16 -x1195 -x13 -x1183 -x10 -x1156 -x1129 -x1102 -x1075
3587.12/3598.13 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: 63968 MiB (61459 MiB free)
memory of node 1: 64473 MiB (59417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464083-1722379334/watcher-4464083-1722379334 -o /tmp/evaluation-result-4464083-1722379334/solver-4464083-1722379334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30626 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464083-1722379334.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=32469, runsolver pid=32466
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.20 3.85 2.35 5/263 32470
/proc/meminfo: memFree=123732920/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=67416 memory=56040 CPUtime=0.09 cores=5,7
/proc/32469/stat : 32469 (fscip) R 32466 32469 30613 0 -1 4194304 11648 0 0 0 8 1 0 0 20 0 1 0 4537685 69033984 14010 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 16854 14010 2614 3035 0 13250 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67416 KiB
Current children cumulated memory: 56040 KiB
[startup+0.205661 s]*
/proc/loadavg: 4.20 3.85 2.35 5/263 32470
/proc/meminfo: memFree=123719168/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=80196 memory=69164 CPUtime=0.2 cores=5,7
/proc/32469/stat : 32469 (fscip) R 32466 32469 30613 0 -1 4194304 18436 0 0 0 18 2 0 0 20 0 1 0 4537685 82120704 17291 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 20049 17291 2726 3035 0 16445 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80196 KiB
Current children cumulated memory: 69164 KiB
[startup+0.305578 s]*
/proc/loadavg: 4.20 3.85 2.35 5/263 32470
/proc/meminfo: memFree=123714320/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=86324 memory=74592 CPUtime=0.3 cores=5,7
/proc/32469/stat : 32469 (fscip) R 32466 32469 30613 0 -1 4194304 19765 0 0 0 28 2 0 0 20 0 1 0 4537685 88395776 18648 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 21581 18648 2774 3035 0 17977 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86324 KiB
Current children cumulated memory: 74592 KiB
[startup+0.701132 s]
/proc/loadavg: 4.20 3.85 2.35 5/265 32472
/proc/meminfo: memFree=123668024/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=251120 memory=148016 CPUtime=0.68 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 40201 0 0 0 63 5 0 0 20 0 3 0 4537685 257146880 37004 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 62780 37004 2870 3035 0 43079 0
[pid=32469/tid=32471] ppid=32466 vsize=251120 memory=33100 CPUtime=0.31 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 15986 0 0 0 29 2 0 0 20 0 3 0 4537721 257146880 37004 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=251120 memory=2273 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4537724 257146880 37004 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 251120 KiB
Current children cumulated memory: 148016 KiB
[startup+1.50113 s]
/proc/loadavg: 4.20 3.85 2.35 5/265 32472
/proc/meminfo: memFree=123593908/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=251120 memory=195352 CPUtime=1.47 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 55411 0 0 0 140 7 0 0 20 0 3 0 4537685 257146880 48838 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 62780 48838 2966 3035 0 55345 0
[pid=32469/tid=32471] ppid=32466 vsize=251120 memory=2273 CPUtime=1.09 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 31196 0 0 0 106 3 0 0 20 0 3 0 4537721 257146880 48838 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=251120 memory=0 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4537724 257146880 48838 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 251120 KiB
Current children cumulated memory: 195352 KiB
[startup+3.10552 s]
/proc/loadavg: 4.18 3.85 2.36 5/265 32472
/proc/meminfo: memFree=123566048/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=316656 memory=222820 CPUtime=3.06 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 79364 0 0 0 297 9 0 0 20 0 3 0 4537685 324255744 55705 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 79164 55705 2966 3035 0 61779 0
[pid=32469/tid=32471] ppid=32466 vsize=316656 memory=219000 CPUtime=2.68 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 55146 0 0 0 263 5 0 0 20 0 3 0 4537721 324255744 55705 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=316656 memory=0 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4537724 324255744 55705 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 316656 KiB
Current children cumulated memory: 222820 KiB
[startup+6.30024 s]
/proc/loadavg: 4.18 3.85 2.36 5/265 32472
/proc/meminfo: memFree=123539964/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=316656 memory=250472 CPUtime=6.24 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 110366 0 0 0 613 11 0 0 20 0 3 0 4537685 324255744 62618 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 79164 62618 2966 3035 0 71107 0
[pid=32469/tid=32471] ppid=32466 vsize=316656 memory=11408 CPUtime=5.87 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 86148 0 0 0 579 8 0 0 20 0 3 0 4537721 324255744 62618 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=316656 memory=240940 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4537724 324255744 62618 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 316656 KiB
Current children cumulated memory: 250472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 3.85 2.37 5/265 32474
/proc/meminfo: memFree=123494928/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=382192 memory=293436 CPUtime=12.63 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 148321 0 0 0 1248 15 0 0 20 0 3 0 4537685 391364608 73359 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 95548 73359 2966 3035 0 84923 0
[pid=32469/tid=32471] ppid=32466 vsize=382192 memory=6944656592455360604 CPUtime=12.25 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 124097 0 0 0 1214 11 0 0 20 0 3 0 4537721 391364608 73359 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=382192 memory=222820 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4537724 391364608 73359 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 382192 KiB
Current children cumulated memory: 293436 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 3.86 2.40 5/265 32475
/proc/meminfo: memFree=123465812/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=382192 memory=296644 CPUtime=25.39 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 172480 0 0 0 2523 16 0 0 20 0 3 0 4537685 391364608 74161 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 95548 74161 3014 3035 0 85039 0
[pid=32469/tid=32471] ppid=32466 vsize=382192 memory=296632 CPUtime=25.02 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 147355 0 0 0 2489 13 0 0 20 0 3 0 4537721 391364608 74161 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=382192 memory=296632 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4537724 391364608 74161 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 382192 KiB
Current children cumulated memory: 296644 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 3.89 2.45 5/266 32481
/proc/meminfo: memFree=123454044/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=382192 memory=296980 CPUtime=50.92 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 228500 0 0 0 5074 18 0 0 20 0 3 0 4537685 391364608 74245 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 95548 74245 3014 3035 0 85039 0
[pid=32469/tid=32471] ppid=32466 vsize=382192 memory=11408 CPUtime=50.55 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 203268 0 0 0 5040 15 0 0 20 0 3 0 4537721 391364608 74245 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=382192 memory=4642813864126869154 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4537724 391364608 74245 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 382192 KiB
Current children cumulated memory: 296980 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.92 2.53 5/266 32490
/proc/meminfo: memFree=123448328/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=382192 memory=297148 CPUtime=101.98 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 297070 0 0 0 10176 22 0 0 20 0 3 0 4537685 391364608 74287 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 95548 74287 3014 3035 0 85039 0
[pid=32469/tid=32471] ppid=32466 vsize=382192 memory=11408 CPUtime=101.6 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 271729 0 0 0 10141 19 0 0 20 0 3 0 4537721 391364608 74287 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=382192 memory=297148 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4537724 391364608 74287 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 382192 KiB
Current children cumulated memory: 297148 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.95 2.63 5/266 32502
/proc/meminfo: memFree=123404808/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=382192 memory=303260 CPUtime=161.79 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 366378 0 0 0 16152 27 0 0 20 0 3 0 4537685 391364608 75815 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 95548 75815 3014 3035 0 89754 0
[pid=32469/tid=32471] ppid=32466 vsize=382192 memory=298796 CPUtime=161.41 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 340976 0 0 0 16117 24 0 0 20 0 3 0 4537721 391364608 75815 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=382192 memory=301976 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4537724 391364608 75815 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 382192 KiB
Current children cumulated memory: 303260 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.99 2.73 5/264 32513
/proc/meminfo: memFree=123384704/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=447728 memory=306404 CPUtime=221.59 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 399048 0 0 0 22130 29 0 0 20 0 3 0 4537685 458473472 76601 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 111932 76601 3030 3035 0 96357 0
[pid=32469/tid=32471] ppid=32466 vsize=447728 memory=11408 CPUtime=221.21 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 373603 0 0 0 22095 26 0 0 20 0 3 0 4537721 458473472 76601 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=447728 memory=306360 CPUtime=0 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4537724 458473472 76601 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
################
# More data... #
################
[pid=32469] ppid=32466 vsize=855236 memory=738636 CPUtime=3451.65 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1649049 0 0 0 345039 126 0 0 20 0 3 0 4537685 875761664 184659 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 184659 3030 3035 0 195916 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=11408 CPUtime=3451.19 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1621673 0 0 0 345001 118 0 0 20 0 3 0 4537721 875761664 184659 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=727560 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 311 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 184659 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 738636 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.36 4.19 5/266 34549
/proc/meminfo: memFree=120376996/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=740880 CPUtime=3511.49 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1651482 0 0 0 351022 127 0 0 20 0 3 0 4537685 875761664 185220 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185220 3030 3035 0 196864 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=2524 CPUtime=3511.03 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1624075 0 0 0 350984 119 0 0 20 0 3 0 4537721 875761664 185220 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=740880 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 317 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185220 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 740880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.32 4.18 6/266 34560
/proc/meminfo: memFree=119088708/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742376 CPUtime=3571.33 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1653736 0 0 0 357006 127 0 0 20 0 3 0 4537685 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185594 3030 3035 0 197451 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=12860 CPUtime=3570.87 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626321 0 0 0 356968 119 0 0 20 0 3 0 4537721 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=742376 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742376 KiB
[startup+3598.14 s]
# the end of solver process 32469 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.86 s, system=1.28685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.32 4.18 5/266 34560
/proc/meminfo: memFree=119088656/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742376 CPUtime=3573.03 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1653848 0 0 0 357176 127 0 0 20 0 3 0 4537685 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185594 3030 3035 0 197451 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=-7379266206031766652 CPUtime=3572.57 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626427 0 0 0 357138 119 0 0 20 0 3 0 4537721 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=4872 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742376 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.31 4.18 5/266 34561
/proc/meminfo: memFree=119087636/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742376 CPUtime=3579.41 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1654065 0 0 0 357814 127 0 0 20 0 3 0 4537685 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185594 3030 3035 0 197451 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=4354867161975123617 CPUtime=3578.95 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626634 0 0 0 357776 119 0 0 20 0 3 0 4537721 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=11408 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3579.41 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742376 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.31 4.18 5/266 34561
/proc/meminfo: memFree=119079344/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742376 CPUtime=3582.6 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1654065 0 0 0 358133 127 0 0 20 0 3 0 4537685 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185594 3030 3035 0 197451 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=742376 CPUtime=3582.14 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626634 0 0 0 358095 119 0 0 20 0 3 0 4537721 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=742376 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185594 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3582.6 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742376 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.31 4.18 5/266 34561
/proc/meminfo: memFree=119077248/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742408 CPUtime=3584.21 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1654151 0 0 0 358293 128 0 0 20 0 3 0 4537685 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185602 3030 3035 0 197498 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=-7379829155985186938 CPUtime=3583.74 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626720 0 0 0 358255 119 0 0 20 0 3 0 4537721 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=12860 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742408 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.31 4.18 5/266 34561
/proc/meminfo: memFree=119077144/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742408 CPUtime=3585.8 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1654153 0 0 0 358452 128 0 0 20 0 3 0 4537685 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185602 3030 3035 0 197498 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=33100 CPUtime=3585.33 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626722 0 0 0 358414 119 0 0 20 0 3 0 4537721 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=742376 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742408 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.31 4.18 5/266 34561
/proc/meminfo: memFree=119077072/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742408 CPUtime=3586.6 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1654153 0 0 0 358532 128 0 0 20 0 3 0 4537685 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185602 3030 3035 0 197498 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=5464 CPUtime=3586.13 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626722 0 0 0 358494 119 0 0 20 0 3 0 4537721 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=2524 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742408 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.30 4.18 5/266 34563
/proc/meminfo: memFree=119077008/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=855236 memory=742408 CPUtime=3587 cores=5,7
/proc/32469/stat : 32469 (fscip) S 32466 32469 30613 0 -1 1077936128 1654154 0 0 0 358572 128 0 0 20 0 3 0 4537685 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 213809 185602 3030 3035 0 197498 0
[pid=32469/tid=32471] ppid=32466 vsize=855236 memory=-7379266206031766652 CPUtime=3586.54 cores=5,7
/proc/32469/task/32471/stat : 32471 (fscip) R 32466 32469 30613 0 -1 4194368 1626723 0 0 0 358535 119 0 0 20 0 3 0 4537721 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
[pid=32469/tid=32472] ppid=32466 vsize=855236 memory=-4050210904893408145 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 3 0 4537724 875761664 185602 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 855236 KiB
Current children cumulated memory: 742408 KiB
[startup+3598.13 s]
/proc/loadavg: 4.12 4.30 4.18 5/266 34563
/proc/meminfo: memFree=119077008/131524600 swapFree=131071996/131071996
[pid=32469] ppid=32466 vsize=840720 memory=721736 CPUtime=3587.12 cores=5,7
/proc/32469/stat : 32469 (fscip) R 32466 32469 30613 0 -1 4194304 1656177 0 0 0 358584 128 0 0 20 0 2 0 4537685 860897280 180434 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
/proc/32469/statm: 210180 180434 3030 3035 0 193869 0
[pid=32469/tid=32472] ppid=32466 vsize=840720 memory=742376 CPUtime=0.03 cores=5,7
/proc/32469/task/32472/stat : 32472 (fscip) S 32466 32469 30613 0 -1 1077936192 323 0 0 0 1 2 0 0 20 0 2 0 4537724 860897280 180434 134679101440 4194304 16623229 140724635811728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46915584 140724635821078 140724635821194 140724635821194 140724635828208 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 840720 KiB
Current children cumulated memory: 721736 KiB
Child status: 0
Real time (s): 3598.14
CPU time (s): 3587.14
CPU user time (s): 3585.86
CPU system time (s): 1.28685
CPU usage (%): 99.6944
Max. virtual memory (cumulated for all children) (KiB): 855236
Max. memory (cumulated for all children) (KiB): 742408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.86
system time used= 1.28686
maximum resident set size= 742568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1656448
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= 5114
involuntary context switches= 2296
# summary of solver processes directly reported to runsolver:
# pid: 32469
# total CPU time (s): 3587.14
# total CPU user time (s): 3585.86
# total CPU system time (s): 1.28685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78139 second user time and 16.448 second system time
The end
Begin job on nodeC034 at 2024-07-31 00:42:14
IDJOB=4464083
IDBENCH=148185
IDSOLVER=3092
FILE ID=nodeC034/4464083-1722379334
RUNJOBID= nodeC034-1722378597-30626
SLURM_JOB_ID= 8249857
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464083-1722379334/watcher-4464083-1722379334 -o /tmp/evaluation-result-4464083-1722379334/solver-4464083-1722379334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30626 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464083-1722379334.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=4774045
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.874
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.002
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.848
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.913
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.617
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.860
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.868
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123778768 kB
MemAvailable: 123978744 kB
Buffers: 88220 kB
Cached: 945800 kB
SwapCached: 0 kB
Active: 277080 kB
Inactive: 6981420 kB
Active(anon): 1548 kB
Inactive(anon): 6244268 kB
Active(file): 275532 kB
Inactive(file): 737152 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29116 kB
Writeback: 0 kB
AnonPages: 6222516 kB
Mapped: 126284 kB
Shmem: 21336 kB
KReclaimable: 54232 kB
Slab: 134772 kB
SReclaimable: 54232 kB
SUnreclaim: 80540 kB
KernelStack: 4224 kB
PageTables: 21636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3456384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1615872 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889932 MiB
End job on nodeC034 at 2024-07-31 01:42:12