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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 39354368, getVmSize() = 39354368, SCIPgetMemUsed() = 14294168, SCIPgetMemTotal() = 17567264, SCIPgetMemExternEstim() = 5621835
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.30 c ** Estimated virtualMemUsedAtSolver = 64909181, getVmSize() = 114860032, SCIPgetMemUsed() = 69641801, SCIPgetMemTotal() = 91741937, SCIPgetMemExternEstim() = 5621835
0.20/0.30 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.30 c Original Problem :
0.20/0.30 c Problem name : instance-4464283-1722385797
0.20/0.30 c Variables : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 412
0.20/0.30 c Objective sense : minimize
0.20/0.30 c Presolved Problem :
0.20/0.30 c Variables : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 239
0.20/0.30 c Constraints : Number
0.20/0.30 c knapsack : 66
0.20/0.30 c setppc : 173
0.20/0.30 c ** Instance transfer method used: 0
0.30/0.31 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.32 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.32 c Nodes Active
0.30/0.32 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.40/0.44 c * 0 0 1 1 20.0000 - -
1.88/1.94 c * 2 2 1 1 19.0000 15.0000 26.67%
1.88/1.94 c * 2 2 1 1 18.0000 15.0000 20.00%
2.48/2.50 c * 2 59 58 1 17.0000 15.0000 13.33%
2.48/2.56 c * 3 59 58 1 16.0000 15.0000 6.67%
5.57/5.68 c 6 196 146 1 16.0000 15.0000 6.67%
10.65/10.80 c 11 441 377 1 16.0000 15.0000 6.67%
16.04/16.19 c 16 704 600 1 16.0000 15.0000 6.67%
21.12/21.25 c 21 1617 1287 1 16.0000 15.0000 6.67%
26.21/26.35 c 26 3589 2095 1 16.0000 15.0000 6.67%
31.20/31.39 c 31 5229 2660 1 16.0000 15.0000 6.67%
36.27/36.45 c 36 8169 3227 1 16.0000 15.0000 6.67%
41.36/41.50 c 42 10533 3722 1 16.0000 15.0000 6.67%
46.34/46.58 c 47 12729 4255 1 16.0000 15.0000 6.67%
51.42/51.63 c 52 14930 4723 1 16.0000 15.0000 6.67%
56.42/56.69 c 57 17274 5349 1 16.0000 15.0000 6.67%
61.50/61.75 c 62 19866 5825 1 16.0000 15.0000 6.67%
66.79/67.00 c 67 21692 6383 1 16.0000 15.0000 6.67%
71.87/72.12 c 72 23391 6827 1 16.0000 15.0000 6.67%
76.85/77.18 c 77 24946 7128 1 16.0000 15.0000 6.67%
81.92/82.23 c 82 27126 7617 1 16.0000 15.0000 6.67%
86.92/87.28 c 87 29022 8100 1 16.0000 15.0000 6.67%
91.99/92.38 c 92 31481 8749 1 16.0000 15.0000 6.67%
97.08/97.47 c 97 33090 9175 1 16.0000 15.0000 6.67%
102.16/102.51 c 103 34827 9522 1 16.0000 15.0000 6.67%
107.15/107.56 c 108 36372 9885 1 16.0000 15.0000 6.67%
112.63/113.01 c 113 37547 9922 1 16.0000 15.0000 6.67%
117.62/118.07 c 118 38780 10075 1 16.0000 15.0000 6.67%
122.71/123.13 c 123 41039 10562 1 16.0000 15.0000 6.67%
127.78/128.21 c 128 43207 10700 1 16.0000 15.0000 6.67%
132.77/133.26 c 133 45121 10940 1 16.0000 15.0000 6.67%
137.95/138.49 c 138 46974 11203 1 16.0000 15.0000 6.67%
143.03/143.53 c 144 49702 11713 1 16.0000 15.0000 6.67%
148.21/148.74 c 149 52312 11992 1 16.0000 15.0000 6.67%
153.30/153.86 c 154 54106 12196 1 16.0000 15.0000 6.67%
158.38/158.91 c 159 55593 12303 1 16.0000 15.0000 6.67%
163.47/164.00 c 164 57062 12419 1 16.0000 15.0000 6.67%
168.55/169.16 c 169 58457 12586 1 16.0000 15.0000 6.67%
173.93/174.51 c 175 59911 12711 1 16.0000 15.0000 6.67%
178.92/179.57 c 180 61323 13049 1 16.0000 15.0000 6.67%
184.00/184.64 c 185 63637 14118 1 16.0000 15.0000 6.67%
188.98/189.69 c 190 65476 14800 1 16.0000 15.0000 6.67%
194.06/194.77 c 195 67391 15430 1 16.0000 15.0000 6.67%
199.14/199.84 c 200 68856 15672 1 16.0000 15.0000 6.67%
204.22/204.92 c 205 70883 15963 1 16.0000 15.0000 6.67%
209.41/210.16 c 210 73192 16419 1 16.0000 15.0000 6.67%
214.50/215.24 c 215 75089 16695 1 16.0000 15.0000 6.67%
219.58/220.31 c 220 76523 17276 1 16.0000 15.0000 6.67%
224.56/225.36 c 225 78305 17916 1 16.0000 15.0000 6.67%
229.65/230.49 c 230 79272 18092 1 16.0000 15.0000 6.67%
234.73/235.54 c 236 81419 18567 1 16.0000 15.0000 6.67%
239.82/240.60 c 241 83099 18810 1 16.0000 15.0000 6.67%
244.81/245.64 c 246 85179 19112 1 16.0000 15.0000 6.67%
249.80/250.70 c 251 88108 20154 1 16.0000 15.0000 6.67%
254.87/255.79 c 256 90813 20522 1 16.0000 15.0000 6.67%
260.66/261.52 c 262 92622 20686 1 16.0000 15.0000 6.67%
265.65/266.58 c 267 93230 1 1 16.0000 15.0000 6.67%
271.44/272.39 c 272 93264 35 1 16.0000 15.0000 6.67%
277.12/278.07 c 278 93315 86 1 16.0000 15.0000 6.67%
282.71/283.60 c 284 93392 159 1 16.0000 15.0000 6.67%
287.99/288.95 c 289 93475 214 1 16.0000 15.0000 6.67%
293.38/294.34 c 294 93598 235 1 16.0000 15.0000 6.67%
298.67/299.61 c 300 93675 294 1 16.0000 15.0000 6.67%
304.56/305.59 c 306 93774 366 1 16.0000 15.0000 6.67%
309.94/310.92 c 311 94009 393 1 16.0000 15.0000 6.67%
315.13/316.14 c 316 94169 405 1 16.0000 15.0000 6.67%
320.82/321.82 c 322 94850 658 1 16.0000 15.0000 6.67%
326.11/327.14 c 327 95874 812 1 16.0000 15.0000 6.67%
331.79/332.89 c 333 96513 785 1 16.0000 15.0000 6.67%
337.09/338.11 c 338 96704 824 1 16.0000 15.0000 6.67%
342.26/343.37 c 343 97936 919 1 16.0000 15.0000 6.67%
347.55/348.65 c 349 98636 944 1 16.0000 15.0000 6.67%
352.74/353.89 c 354 98970 1033 1 16.0000 15.0000 6.67%
358.03/359.14 c 359 99582 1232 1 16.0000 15.0000 6.67%
363.12/364.28 c 364 100856 1341 1 16.0000 15.0000 6.67%
368.20/369.34 c 369 102455 1614 1 16.0000 15.0000 6.67%
373.29/374.44 c 374 103576 1418 1 16.0000 15.0000 6.67%
378.48/379.61 c 380 104147 1280 1 16.0000 15.0000 6.67%
383.56/384.73 c 385 105088 1331 1 16.0000 15.0000 6.67%
388.65/389.85 c 390 106605 1510 1 16.0000 15.0000 6.67%
393.74/394.93 c 395 108396 1633 1 16.0000 15.0000 6.67%
399.22/400.45 c 400 109497 1825 1 16.0000 15.0000 6.67%
404.31/405.55 c 406 110985 2025 1 16.0000 15.0000 6.67%
409.49/410.71 c 411 112836 2142 1 16.0000 15.0000 6.67%
414.68/415.97 c 416 114400 2377 1 16.0000 15.0000 6.67%
420.36/421.68 c 422 116696 2570 1 16.0000 15.0000 6.67%
425.56/426.86 c 427 117426 2844 1 16.0000 15.0000 6.67%
430.94/432.29 c 432 117600 2937 1 16.0000 15.0000 6.67%
436.62/437.96 c 438 117802 3013 1 16.0000 15.0000 6.67%
442.02/443.34 c 443 118031 3060 1 16.0000 15.0000 6.67%
447.10/448.43 c 448 118432 3115 1 16.0000 15.0000 6.67%
452.39/453.70 c 454 118864 3164 1 16.0000 15.0000 6.67%
457.38/458.76 c 459 119874 3325 1 16.0000 15.0000 6.67%
462.66/464.10 c 464 121332 3370 1 16.0000 15.0000 6.67%
467.84/469.28 c 469 122683 3519 1 16.0000 15.0000 6.67%
472.94/474.38 c 474 123654 3614 1 16.0000 15.0000 6.67%
478.03/479.43 c 479 124612 3700 1 16.0000 15.0000 6.67%
483.21/484.69 c 485 126372 3832 1 16.0000 15.0000 6.67%
488.70/490.14 c 490 127324 3943 1 16.0000 15.0000 6.67%
493.78/495.21 c 495 128586 4059 1 16.0000 15.0000 6.67%
498.97/500.48 c 500 129314 4130 1 16.0000 15.0000 6.67%
504.26/505.78 c 506 130402 4293 1 16.0000 15.0000 6.67%
509.65/511.15 c 511 131197 4323 1 16.0000 15.0000 6.67%
514.84/516.33 c 516 132563 4467 1 16.0000 15.0000 6.67%
520.02/521.55 c 522 134468 4684 1 16.0000 15.0000 6.67%
525.10/526.60 c 527 136472 4878 1 16.0000 15.0000 6.67%
530.19/531.76 c 532 137916 5021 1 16.0000 15.0000 6.67%
535.58/537.18 c 537 138930 5039 1 16.0000 15.0000 6.67%
540.67/542.26 c 542 139983 5182 1 16.0000 15.0000 6.67%
545.75/547.33 c 547 141217 5384 1 16.0000 15.0000 6.67%
550.84/552.40 c 552 142241 5482 1 16.0000 15.0000 6.67%
555.91/557.51 c 558 143521 5651 1 16.0000 15.0000 6.67%
560.91/562.55 c 563 144825 5776 1 16.0000 15.0000 6.67%
565.99/567.61 c 568 145881 6017 1 16.0000 15.0000 6.67%
571.07/572.74 c 573 147588 6335 1 16.0000 15.0000 6.67%
576.55/578.26 c 578 149190 6574 1 16.0000 15.0000 6.67%
581.64/583.32 c 583 150866 6668 1 16.0000 15.0000 6.67%
586.63/588.36 c 588 152720 6555 1 16.0000 15.0000 6.67%
591.71/593.41 c 593 154495 6748 1 16.0000 15.0000 6.67%
596.80/598.51 c 599 156327 6980 1 16.0000 15.0000 6.67%
601.89/603.63 c 604 158087 7059 1 16.0000 15.0000 6.67%
606.97/608.73 c 609 159725 7174 1 16.0000 15.0000 6.67%
612.06/613.89 c 614 161621 7370 1 16.0000 15.0000 6.67%
617.14/618.98 c 619 163292 7479 1 16.0000 15.0000 6.67%
622.34/624.10 c 624 164778 7600 1 16.0000 15.0000 6.67%
627.32/629.18 c 629 166551 7609 1 16.0000 15.0000 6.67%
632.50/634.39 c 634 168183 7636 1 16.0000 15.0000 6.67%
637.69/639.59 c 640 169771 7699 1 16.0000 15.0000 6.67%
642.78/644.66 c 645 171612 7767 1 16.0000 15.0000 6.67%
647.96/649.84 c 650 172748 7872 1 16.0000 15.0000 6.67%
653.04/654.92 c 655 174394 8070 1 16.0000 15.0000 6.67%
658.14/660.04 c 660 175541 8177 1 16.0000 15.0000 6.67%
663.42/665.38 c 665 176945 8401 1 16.0000 15.0000 6.67%
668.50/670.44 c 670 179124 8592 1 16.0000 15.0000 6.67%
673.59/675.55 c 676 181002 8729 1 16.0000 15.0000 6.67%
678.67/680.60 c 681 182180 8703 1 16.0000 15.0000 6.67%
683.77/685.77 c 686 183452 8720 1 16.0000 15.0000 6.67%
688.95/690.98 c 691 185015 8800 1 16.0000 15.0000 6.67%
694.14/696.11 c 696 186350 8888 1 16.0000 15.0000 6.67%
699.13/701.15 c 701 188087 9047 1 16.0000 15.0000 6.67%
704.21/706.20 c 706 190134 9275 1 16.0000 15.0000 6.67%
709.20/711.26 c 711 191240 9362 1 16.0000 15.0000 6.67%
714.28/716.31 c 716 192660 9456 1 16.0000 15.0000 6.67%
719.26/721.37 c 721 194428 9599 1 16.0000 15.0000 6.67%
724.35/726.42 c 726 196520 9673 1 16.0000 15.0000 6.67%
729.44/731.57 c 732 198144 9784 1 16.0000 15.0000 6.67%
734.52/736.64 c 737 199946 9959 1 16.0000 15.0000 6.67%
739.61/741.74 c 742 202113 10026 1 16.0000 15.0000 6.67%
744.69/746.83 c 747 203383 10087 1 16.0000 15.0000 6.67%
749.67/751.88 c 752 205656 10474 1 16.0000 15.0000 6.67%
754.77/756.98 c 757 207912 10755 1 16.0000 15.0000 6.67%
759.96/762.19 c 762 210751 10846 1 16.0000 15.0000 6.67%
765.04/767.24 c 767 212594 10922 1 16.0000 15.0000 6.67%
770.11/772.31 c 772 214752 11245 1 16.0000 15.0000 6.67%
775.10/777.37 c 777 217295 11173 1 16.0000 15.0000 6.67%
780.19/782.42 c 782 219579 11325 1 16.0000 15.0000 6.67%
785.27/787.53 c 788 221672 11472 1 16.0000 15.0000 6.67%
790.56/792.84 c 793 223650 11529 1 16.0000 15.0000 6.67%
795.54/797.90 c 798 225942 11591 1 16.0000 15.0000 6.67%
800.63/802.96 c 803 228271 11600 1 16.0000 15.0000 6.67%
805.71/808.01 c 808 230954 11661 1 16.0000 15.0000 6.67%
810.70/813.05 c 813 233327 11700 1 16.0000 15.0000 6.67%
815.78/818.10 c 818 236070 11788 1 16.0000 15.0000 6.67%
820.77/823.18 c 823 238599 11900 1 16.0000 15.0000 6.67%
825.84/828.24 c 828 241584 11973 1 16.0000 15.0000 6.67%
830.83/833.28 c 833 244570 12012 1 16.0000 15.0000 6.67%
835.91/838.34 c 838 247017 12106 1 16.0000 15.0000 6.67%
840.99/843.47 c 843 248563 12139 1 16.0000 15.0000 6.67%
846.69/849.14 c 849 248563 12139 1 16.0000 15.0000 6.67%
860.04/862.57 c 863 248563 12139 1 16.0000 15.0000 6.67%
869.72/872.28 c 872 248564 12138 1 16.0000 15.0000 6.67%
875.60/878.14 c 878 248963 12199 1 16.0000 15.0000 6.67%
880.97/883.59 c 884 248964 12198 1 16.0000 15.0000 6.67%
887.36/889.96 c 890 249763 12271 1 16.0000 15.0000 6.67%
893.04/895.70 c 896 249763 12271 1 16.0000 15.0000 6.67%
901.22/903.88 c 904 249763 12271 1 16.0000 15.0000 6.67%
907.10/909.74 c 910 249763 12271 1 16.0000 15.0000 6.67%
912.39/915.04 c 915 249763 12271 1 16.0000 15.0000 6.67%
917.87/920.50 c 920 249763 12271 1 16.0000 15.0000 6.67%
924.15/926.81 c 927 249763 12271 1 16.0000 15.0000 6.67%
929.44/932.18 c 932 250869 12365 1 16.0000 15.0000 6.67%
934.72/937.44 c 937 251363 12379 1 16.0000 15.0000 6.67%
939.80/942.54 c 943 252298 12412 1 16.0000 15.0000 6.67%
944.79/947.59 c 948 253809 12275 1 16.0000 15.0000 6.67%
950.18/952.95 c 953 255705 12248 1 16.0000 15.0000 6.67%
955.26/958.04 c 958 257512 12457 1 16.0000 15.0000 6.67%
960.25/963.08 c 963 258714 12335 1 16.0000 15.0000 6.67%
965.33/968.17 c 968 260538 12497 1 16.0000 15.0000 6.67%
970.51/973.34 c 973 261965 12625 1 16.0000 15.0000 6.67%
975.59/978.42 c 978 262984 12639 1 16.0000 15.0000 6.67%
981.29/984.16 c 984 263742 12715 1 16.0000 15.0000 6.67%
986.66/989.57 c 990 265158 12770 1 16.0000 15.0000 6.67%
991.75/994.63 c 995 267525 12895 1 16.0000 15.0000 6.67%
996.73/999.69 c 1000 268741 12918 1 16.0000 15.0000 6.67%
1002.61/1005.55 c 1006 270000 12940 1 16.0000 15.0000 6.67%
1007.70/1010.62 c 1011 271077 13147 1 16.0000 15.0000 6.67%
1012.69/1015.67 c 1016 272134 13317 1 16.0000 15.0000 6.67%
1017.77/1020.75 c 1021 273432 13409 1 16.0000 15.0000 6.67%
1022.86/1025.82 c 1026 274559 13522 1 16.0000 15.0000 6.67%
1027.85/1030.89 c 1031 275343 13609 1 16.0000 15.0000 6.67%
1032.94/1035.90 c 1036 275708 13619 1 16.0000 15.0000 6.67%
1038.02/1041.01 c 1041 276251 13613 1 16.0000 15.0000 6.67%
1043.11/1046.13 c 1046 277061 13643 1 16.0000 15.0000 6.67%
1048.19/1051.24 c 1051 277779 13591 1 16.0000 15.0000 6.67%
1053.38/1056.42 c 1056 278884 13636 1 16.0000 15.0000 6.67%
1058.65/1061.71 c 1062 280041 13750 1 16.0000 15.0000 6.67%
1063.95/1067.02 c 1067 281382 13773 1 16.0000 15.0000 6.67%
1068.93/1072.09 c 1072 282460 13829 1 16.0000 15.0000 6.67%
1074.02/1077.15 c 1077 283599 13960 1 16.0000 15.0000 6.67%
1079.00/1082.20 c 1082 285167 14007 1 16.0000 15.0000 6.67%
1084.08/1087.27 c 1087 286341 14062 1 16.0000 15.0000 6.67%
1089.17/1092.33 c 1092 287640 14235 1 16.0000 15.0000 6.67%
1094.15/1097.39 c 1097 288896 14145 1 16.0000 15.0000 6.67%
1099.24/1102.43 c 1102 291384 14180 1 16.0000 15.0000 6.67%
1104.32/1107.52 c 1108 292917 14182 1 16.0000 15.0000 6.67%
1109.30/1112.58 c 1113 294845 14040 1 16.0000 15.0000 6.67%
1114.48/1117.77 c 1118 295638 13842 1 16.0000 15.0000 6.67%
1119.57/1122.81 c 1123 297048 13982 1 16.0000 15.0000 6.67%
1124.66/1127.94 c 1128 298450 14069 1 16.0000 15.0000 6.67%
1129.64/1132.99 c 1133 300132 14044 1 16.0000 15.0000 6.67%
1134.74/1138.08 c 1138 302626 14074 1 16.0000 15.0000 6.67%
1139.81/1143.12 c 1143 305541 14142 1 16.0000 15.0000 6.67%
1144.80/1148.18 c 1148 307602 14198 1 16.0000 15.0000 6.67%
1149.99/1153.36 c 1153 308617 14233 1 16.0000 15.0000 6.67%
1155.17/1158.57 c 1159 309290 14282 1 16.0000 15.0000 6.67%
1160.36/1163.71 c 1164 310555 14308 1 16.0000 15.0000 6.67%
1165.44/1168.89 c 1169 311791 14340 1 16.0000 15.0000 6.67%
1170.63/1174.02 c 1174 312926 14357 1 16.0000 15.0000 6.67%
1175.62/1179.08 c 1179 314756 14440 1 16.0000 15.0000 6.67%
1180.79/1184.22 c 1184 316065 14494 1 16.0000 15.0000 6.67%
1185.78/1189.27 c 1189 317512 14593 1 16.0000 15.0000 6.67%
1190.86/1194.34 c 1194 318926 14676 1 16.0000 15.0000 6.67%
1195.86/1199.38 c 1199 320247 14744 1 16.0000 15.0000 6.67%
1200.94/1204.45 c 1204 321741 14809 1 16.0000 15.0000 6.67%
1206.02/1209.51 c 1210 323850 14842 1 16.0000 15.0000 6.67%
1211.11/1214.64 c 1215 325881 14956 1 16.0000 15.0000 6.67%
1216.19/1219.74 c 1220 327240 14975 1 16.0000 15.0000 6.67%
1221.28/1224.83 c 1225 328153 15187 1 16.0000 15.0000 6.67%
1226.36/1229.91 c 1230 329214 15382 1 16.0000 15.0000 6.67%
1231.46/1235.03 c 1235 330239 15549 1 16.0000 15.0000 6.67%
1236.54/1240.13 c 1240 330949 15502 1 16.0000 15.0000 6.67%
1241.53/1245.19 c 1245 331739 15571 1 16.0000 15.0000 6.67%
1246.60/1250.24 c 1250 333034 15721 1 16.0000 15.0000 6.67%
1251.89/1255.56 c 1256 334078 15806 1 16.0000 15.0000 6.67%
1256.97/1260.66 c 1261 334808 15880 1 16.0000 15.0000 6.67%
1262.06/1265.77 c 1266 336459 16056 1 16.0000 15.0000 6.67%
1267.14/1270.84 c 1271 337736 15978 1 16.0000 15.0000 6.67%
1272.22/1275.99 c 1276 338898 16022 1 16.0000 15.0000 6.67%
1277.32/1281.06 c 1281 341137 16217 1 16.0000 15.0000 6.67%
1282.40/1286.19 c 1286 342239 16405 1 16.0000 15.0000 6.67%
1287.48/1291.30 c 1291 343455 16427 1 16.0000 15.0000 6.67%
1292.57/1296.34 c 1296 345636 16454 1 16.0000 15.0000 6.67%
1297.75/1301.57 c 1302 347270 16484 1 16.0000 15.0000 6.67%
1302.84/1306.63 c 1307 350171 16608 1 16.0000 15.0000 6.67%
1307.81/1311.67 c 1312 352694 16685 1 16.0000 15.0000 6.67%
1312.91/1316.79 c 1317 353821 16798 1 16.0000 15.0000 6.67%
1318.09/1321.92 c 1322 354967 16988 1 16.0000 15.0000 6.67%
1323.18/1327.02 c 1327 356187 17192 1 16.0000 15.0000 6.67%
1328.56/1332.43 c 1332 356590 17196 1 16.0000 15.0000 6.67%
1334.34/1338.21 c 1338 356590 17196 1 16.0000 15.0000 6.67%
1342.42/1346.34 c 1346 356591 17195 1 16.0000 15.0000 6.67%
1347.50/1351.43 c 1351 357321 17124 1 16.0000 15.0000 6.67%
1352.58/1356.57 c 1357 358112 17063 1 16.0000 15.0000 6.67%
1357.67/1361.63 c 1362 358972 16966 1 16.0000 15.0000 6.67%
1362.76/1366.74 c 1367 360463 16963 1 16.0000 15.0000 6.67%
1367.84/1371.81 c 1372 361754 16922 1 16.0000 15.0000 6.67%
1372.83/1376.87 c 1377 363037 17043 1 16.0000 15.0000 6.67%
1377.91/1381.91 c 1382 364634 17079 1 16.0000 15.0000 6.67%
1382.90/1386.96 c 1387 367231 17074 1 16.0000 15.0000 6.67%
1387.99/1392.07 c 1392 368776 17160 1 16.0000 15.0000 6.67%
1393.07/1397.11 c 1397 370063 17162 1 16.0000 15.0000 6.67%
1398.05/1402.18 c 1402 371521 17277 1 16.0000 15.0000 6.67%
1403.74/1407.83 c 1408 372336 17320 1 16.0000 15.0000 6.67%
1408.72/1412.88 c 1413 373885 17355 1 16.0000 15.0000 6.67%
1413.91/1418.02 c 1418 375422 17410 1 16.0000 15.0000 6.67%
1419.00/1423.11 c 1423 376529 17422 1 16.0000 15.0000 6.67%
1424.07/1428.22 c 1428 377725 17518 1 16.0000 15.0000 6.67%
1429.07/1433.28 c 1433 379010 17593 1 16.0000 15.0000 6.67%
1434.25/1438.45 c 1438 379832 17618 1 16.0000 15.0000 6.67%
1439.33/1443.51 c 1444 381498 17702 1 16.0000 15.0000 6.67%
1444.32/1448.59 c 1449 384569 17768 1 16.0000 15.0000 6.67%
1449.70/1453.95 c 1454 386711 17820 1 16.0000 15.0000 6.67%
1454.79/1459.03 c 1459 389358 17834 1 16.0000 15.0000 6.67%
1459.87/1464.13 c 1464 391621 17876 1 16.0000 15.0000 6.67%
1464.86/1469.17 c 1469 393211 17894 1 16.0000 15.0000 6.67%
1469.93/1474.24 c 1474 394741 18026 1 16.0000 15.0000 6.67%
1475.22/1479.51 c 1480 396286 18168 1 16.0000 15.0000 6.67%
1480.30/1484.64 c 1485 398320 18283 1 16.0000 15.0000 6.67%
1485.39/1489.70 c 1490 402198 18368 1 16.0000 15.0000 6.67%
1490.37/1494.77 c 1495 404254 18411 1 16.0000 15.0000 6.67%
1495.76/1500.13 c 1500 406149 18251 1 16.0000 15.0000 6.67%
1500.75/1505.19 c 1505 407818 18263 1 16.0000 15.0000 6.67%
1505.92/1510.34 c 1510 409531 18314 1 16.0000 15.0000 6.67%
1512.40/1516.85 c 1517 410486 18350 1 16.0000 15.0000 6.67%
1517.49/1521.96 c 1522 410486 18350 1 16.0000 15.0000 6.67%
1522.58/1527.09 c 1527 410511 18351 1 16.0000 15.0000 6.67%
1527.65/1532.16 c 1532 412189 18661 1 16.0000 15.0000 6.67%
1532.74/1537.21 c 1537 413931 18529 1 16.0000 15.0000 6.67%
1537.82/1542.30 c 1542 416448 18603 1 16.0000 15.0000 6.67%
1542.81/1547.39 c 1547 418631 18634 1 16.0000 15.0000 6.67%
1547.89/1552.45 c 1552 420820 18671 1 16.0000 15.0000 6.67%
1552.88/1557.49 c 1558 423766 18737 1 16.0000 15.0000 6.67%
1557.95/1562.55 c 1563 426900 18785 1 16.0000 15.0000 6.67%
1563.04/1567.62 c 1568 430371 18826 1 16.0000 15.0000 6.67%
1568.31/1572.95 c 1573 433263 18806 1 16.0000 15.0000 6.67%
1573.30/1577.99 c 1578 436638 18811 1 16.0000 15.0000 6.67%
1578.48/1583.11 c 1583 438726 18703 1 16.0000 15.0000 6.67%
1583.55/1588.21 c 1588 440006 18834 1 16.0000 15.0000 6.67%
1588.64/1593.32 c 1593 441084 18815 1 16.0000 15.0000 6.67%
1594.32/1599.04 c 1599 443004 18877 1 16.0000 15.0000 6.67%
1599.30/1604.09 c 1604 444948 18993 1 16.0000 15.0000 6.67%
1604.38/1609.14 c 1609 447367 19081 1 16.0000 15.0000 6.67%
1609.36/1614.19 c 1614 449279 19076 1 16.0000 15.0000 6.67%
1614.44/1619.26 c 1619 450965 19155 1 16.0000 15.0000 6.67%
1619.52/1624.32 c 1624 452320 19391 1 16.0000 15.0000 6.67%
1624.60/1629.41 c 1629 454083 19366 1 16.0000 15.0000 6.67%
1629.69/1634.58 c 1635 455983 19394 1 16.0000 15.0000 6.67%
1634.86/1639.71 c 1640 457248 19476 1 16.0000 15.0000 6.67%
1639.85/1644.78 c 1645 459338 19543 1 16.0000 15.0000 6.67%
1644.92/1649.83 c 1650 461732 19583 1 16.0000 15.0000 6.67%
1649.90/1654.87 c 1655 464645 19646 1 16.0000 15.0000 6.67%
1654.98/1659.93 c 1660 467679 19654 1 16.0000 15.0000 6.67%
1660.07/1665.01 c 1665 469727 19725 1 16.0000 15.0000 6.67%
1665.05/1670.08 c 1670 471158 19818 1 16.0000 15.0000 6.67%
1670.13/1675.13 c 1675 472952 19789 1 16.0000 15.0000 6.67%
1675.11/1680.17 c 1680 474940 19857 1 16.0000 15.0000 6.67%
1680.18/1685.26 c 1685 476449 19908 1 16.0000 15.0000 6.67%
1685.37/1690.48 c 1690 477983 19878 1 16.0000 15.0000 6.67%
1690.44/1695.53 c 1696 479903 19986 1 16.0000 15.0000 6.67%
1695.52/1700.60 c 1701 481730 20058 1 16.0000 15.0000 6.67%
1700.50/1705.66 c 1706 483734 20212 1 16.0000 15.0000 6.67%
1705.58/1710.71 c 1711 486593 20251 1 16.0000 15.0000 6.67%
1710.66/1715.81 c 1716 488650 20286 1 16.0000 15.0000 6.67%
1715.64/1720.88 c 1721 491070 20377 1 16.0000 15.0000 6.67%
1720.83/1726.02 c 1726 492629 20436 1 16.0000 15.0000 6.67%
1725.81/1731.06 c 1731 494420 20523 1 16.0000 15.0000 6.67%
1730.88/1736.12 c 1736 496502 20609 1 16.0000 15.0000 6.67%
1735.87/1741.18 c 1741 498161 20621 1 16.0000 15.0000 6.67%
1741.04/1746.33 c 1746 499481 20621 1 16.0000 15.0000 6.67%
1746.14/1751.44 c 1751 500275 20650 1 16.0000 15.0000 6.67%
1751.11/1756.49 c 1756 502077 20816 1 16.0000 15.0000 6.67%
1756.19/1761.55 c 1762 503909 20982 1 16.0000 15.0000 6.67%
1761.28/1766.63 c 1767 505952 20925 1 16.0000 15.0000 6.67%
1766.26/1771.68 c 1772 507964 20883 1 16.0000 15.0000 6.67%
1771.34/1776.73 c 1777 509473 21034 1 16.0000 15.0000 6.67%
1776.43/1781.82 c 1782 511275 21137 1 16.0000 15.0000 6.67%
1781.40/1786.88 c 1787 513108 21241 1 16.0000 15.0000 6.67%
1786.99/1792.41 c 1792 514647 21298 1 16.0000 15.0000 6.67%
1792.08/1797.51 c 1798 515452 21449 1 16.0000 15.0000 6.67%
1797.05/1802.59 c 1803 516585 21675 1 16.0000 15.0000 6.67%
1802.24/1807.72 c 1808 518481 21834 1 16.0000 15.0000 6.67%
1807.31/1812.87 c 1813 519976 21987 1 16.0000 15.0000 6.67%
1812.40/1817.92 c 1818 521418 22130 1 16.0000 15.0000 6.67%
1817.49/1823.07 c 1823 523105 22410 1 16.0000 15.0000 6.67%
1822.66/1828.23 c 1828 524165 22594 1 16.0000 15.0000 6.67%
1827.75/1833.32 c 1833 524893 22696 1 16.0000 15.0000 6.67%
1832.94/1838.54 c 1839 525660 22790 1 16.0000 15.0000 6.67%
1838.03/1843.62 c 1844 526634 22880 1 16.0000 15.0000 6.67%
1843.02/1848.67 c 1849 529884 22938 1 16.0000 15.0000 6.67%
1848.11/1853.73 c 1854 533595 22987 1 16.0000 15.0000 6.67%
1853.29/1858.90 c 1859 534917 23016 1 16.0000 15.0000 6.67%
1858.28/1863.95 c 1864 536679 23190 1 16.0000 15.0000 6.67%
1863.37/1869.03 c 1869 538229 23182 1 16.0000 15.0000 6.67%
1868.36/1874.10 c 1874 539594 23283 1 16.0000 15.0000 6.67%
1873.44/1879.20 c 1879 540806 23292 1 16.0000 15.0000 6.67%
1878.52/1884.24 c 1884 542220 23462 1 16.0000 15.0000 6.67%
1884.41/1890.19 c 1890 543272 23365 1 16.0000 15.0000 6.67%
1889.58/1895.34 c 1895 544660 23371 1 16.0000 15.0000 6.67%
1894.68/1900.40 c 1900 545825 23352 1 16.0000 15.0000 6.67%
1900.16/1905.99 c 1906 546604 23397 1 16.0000 15.0000 6.67%
1911.62/1917.49 c 1917 546605 23396 1 16.0000 15.0000 6.67%
1916.81/1922.65 c 1923 547740 23415 1 16.0000 15.0000 6.67%
1921.89/1927.70 c 1928 549074 23553 1 16.0000 15.0000 6.67%
1926.98/1932.80 c 1933 550594 23547 1 16.0000 15.0000 6.67%
1932.06/1937.90 c 1938 551954 23565 1 16.0000 15.0000 6.67%
1937.16/1943.03 c 1943 552908 23607 1 16.0000 15.0000 6.67%
1942.24/1948.16 c 1948 553864 23667 1 16.0000 15.0000 6.67%
1947.43/1953.38 c 1953 555817 23664 1 16.0000 15.0000 6.67%
1952.51/1958.49 c 1958 556813 23681 1 16.0000 15.0000 6.67%
1957.70/1963.65 c 1964 558022 23721 1 16.0000 15.0000 6.67%
1962.79/1968.70 c 1969 559305 23840 1 16.0000 15.0000 6.67%
1967.87/1973.81 c 1974 561632 23802 1 16.0000 15.0000 6.67%
1972.86/1978.86 c 1979 563940 24042 1 16.0000 15.0000 6.67%
1977.94/1983.91 c 1984 565962 23867 1 16.0000 15.0000 6.67%
1982.93/1988.98 c 1989 567938 23825 1 16.0000 15.0000 6.67%
1988.02/1994.08 c 1994 569431 23932 1 16.0000 15.0000 6.67%
1993.09/1999.18 c 1999 571255 23999 1 16.0000 15.0000 6.67%
1998.18/2004.22 c 2004 573169 24080 1 16.0000 15.0000 6.67%
2003.25/2009.37 c 2009 574928 24162 1 16.0000 15.0000 6.67%
2008.34/2014.47 c 2014 575974 24063 1 16.0000 15.0000 6.67%
2013.42/2019.54 c 2020 577485 24113 1 16.0000 15.0000 6.67%
2018.50/2024.63 c 2025 578728 24117 1 16.0000 15.0000 6.67%
2023.48/2029.70 c 2030 579839 24192 1 16.0000 15.0000 6.67%
2028.66/2034.84 c 2035 582474 24238 1 16.0000 15.0000 6.67%
2033.74/2039.99 c 2040 584661 24308 1 16.0000 15.0000 6.67%
2038.82/2045.09 c 2045 585903 24260 1 16.0000 15.0000 6.67%
2043.90/2050.14 c 2050 587485 24334 1 16.0000 15.0000 6.67%
2048.98/2055.24 c 2055 589323 24361 1 16.0000 15.0000 6.67%
2054.16/2060.46 c 2060 591203 24418 1 16.0000 15.0000 6.67%
2060.04/2066.32 c 2066 593795 24480 1 16.0000 15.0000 6.67%
2065.02/2071.36 c 2071 596778 24514 1 16.0000 15.0000 6.67%
2070.10/2076.43 c 2076 599279 24558 1 16.0000 15.0000 6.67%
2075.18/2081.55 c 2082 600429 24621 1 16.0000 15.0000 6.67%
2080.26/2086.60 c 2087 602259 24589 1 16.0000 15.0000 6.67%
2085.25/2091.69 c 2092 605568 24546 1 16.0000 15.0000 6.67%
2090.33/2096.74 c 2097 607430 24609 1 16.0000 15.0000 6.67%
2095.41/2101.84 c 2102 609300 24762 1 16.0000 15.0000 6.67%
2100.49/2106.96 c 2107 611254 24796 1 16.0000 15.0000 6.67%
2105.67/2112.15 c 2112 612399 24489 1 16.0000 15.0000 6.67%
2110.65/2117.19 c 2117 614209 24505 1 16.0000 15.0000 6.67%
2115.83/2122.36 c 2122 616211 24675 1 16.0000 15.0000 6.67%
2120.91/2127.43 c 2127 617552 24728 1 16.0000 15.0000 6.67%
2125.90/2132.50 c 2132 618915 24755 1 16.0000 15.0000 6.67%
2130.97/2137.56 c 2138 620530 24772 1 16.0000 15.0000 6.67%
2136.05/2142.60 c 2143 621995 24799 1 16.0000 15.0000 6.67%
2141.04/2147.68 c 2148 623528 24878 1 16.0000 15.0000 6.67%
2146.21/2152.82 c 2153 624873 24873 1 16.0000 15.0000 6.67%
2151.20/2157.86 c 2158 625731 24898 1 16.0000 15.0000 6.67%
2156.38/2163.03 c 2163 627328 25123 1 16.0000 15.0000 6.67%
2161.46/2168.11 c 2168 629624 25223 1 16.0000 15.0000 6.67%
2166.44/2173.18 c 2173 631161 25525 1 16.0000 15.0000 6.67%
2171.52/2178.26 c 2178 632376 25648 1 16.0000 15.0000 6.67%
2176.60/2183.35 c 2183 634336 25714 1 16.0000 15.0000 6.67%
2181.67/2188.41 c 2188 636253 25704 1 16.0000 15.0000 6.67%
2186.66/2193.46 c 2193 639105 25717 1 16.0000 15.0000 6.67%
2191.74/2198.52 c 2199 642574 25711 1 16.0000 15.0000 6.67%
2196.72/2203.59 c 2204 644273 25909 1 16.0000 15.0000 6.67%
2201.90/2208.72 c 2209 646010 25644 1 16.0000 15.0000 6.67%
2207.38/2214.24 c 2214 647444 25407 1 16.0000 15.0000 6.67%
2212.46/2219.30 c 2219 649946 25443 1 16.0000 15.0000 6.67%
2217.44/2224.36 c 2224 651527 25455 1 16.0000 15.0000 6.67%
2222.52/2229.40 c 2229 653850 25599 1 16.0000 15.0000 6.67%
2227.50/2234.45 c 2234 655877 25701 1 16.0000 15.0000 6.67%
2232.58/2239.50 c 2240 658399 25729 1 16.0000 15.0000 6.67%
2237.57/2244.60 c 2245 660393 25758 1 16.0000 15.0000 6.67%
2242.74/2249.70 c 2250 662633 25802 1 16.0000 15.0000 6.67%
2247.72/2254.78 c 2255 664060 25849 1 16.0000 15.0000 6.67%
2252.81/2259.83 c 2260 666119 25972 1 16.0000 15.0000 6.67%
2257.89/2264.92 c 2265 668463 26034 1 16.0000 15.0000 6.67%
2262.98/2270.02 c 2270 669912 25942 1 16.0000 15.0000 6.67%
2267.96/2275.08 c 2275 671485 26007 1 16.0000 15.0000 6.67%
2273.04/2280.14 c 2280 673577 26041 1 16.0000 15.0000 6.67%
2278.02/2285.19 c 2285 675675 26134 1 16.0000 15.0000 6.67%
2283.11/2290.25 c 2290 677707 26312 1 16.0000 15.0000 6.67%
2288.19/2295.31 c 2295 679134 26558 1 16.0000 15.0000 6.67%
2293.17/2300.38 c 2300 680415 26719 1 16.0000 15.0000 6.67%
2298.26/2305.45 c 2305 681812 26816 1 16.0000 15.0000 6.67%
2303.33/2310.54 c 2311 683333 26803 1 16.0000 15.0000 6.67%
2309.11/2316.35 c 2316 684428 26789 1 16.0000 15.0000 6.67%
2314.19/2321.43 c 2321 685869 26781 1 16.0000 15.0000 6.67%
2319.18/2326.49 c 2326 687603 26860 1 16.0000 15.0000 6.67%
2324.36/2331.69 c 2332 688815 26950 1 16.0000 15.0000 6.67%
2329.44/2336.74 c 2337 690639 27155 1 16.0000 15.0000 6.67%
2334.43/2341.79 c 2342 692719 27246 1 16.0000 15.0000 6.67%
2339.51/2346.83 c 2347 694582 27272 1 16.0000 15.0000 6.67%
2344.59/2351.97 c 2352 696458 27098 1 16.0000 15.0000 6.67%
2349.67/2357.01 c 2357 699124 27244 1 16.0000 15.0000 6.67%
2354.66/2362.07 c 2362 701910 27628 1 16.0000 15.0000 6.67%
2359.74/2367.12 c 2367 704016 28025 1 16.0000 15.0000 6.67%
2364.72/2372.17 c 2372 706619 28382 1 16.0000 15.0000 6.67%
2369.80/2377.22 c 2377 709283 28497 1 16.0000 15.0000 6.67%
2374.88/2382.30 c 2382 712356 28278 1 16.0000 15.0000 6.67%
2379.96/2387.44 c 2387 714800 27600 1 16.0000 15.0000 6.67%
2385.04/2392.56 c 2393 717039 27610 1 16.0000 15.0000 6.67%
2390.13/2397.60 c 2398 720577 27611 1 16.0000 15.0000 6.67%
2395.10/2402.65 c 2403 723399 27677 1 16.0000 15.0000 6.67%
2400.19/2407.72 c 2408 725673 27681 1 16.0000 15.0000 6.67%
2405.17/2412.79 c 2413 726699 27691 1 16.0000 15.0000 6.67%
2410.35/2417.92 c 2418 728655 27672 1 16.0000 15.0000 6.67%
2415.44/2423.02 c 2423 730748 27602 1 16.0000 15.0000 6.67%
2420.62/2428.29 c 2428 732963 27623 1 16.0000 15.0000 6.67%
2425.80/2433.41 c 2433 734484 27471 1 16.0000 15.0000 6.67%
2431.39/2439.06 c 2439 735932 27666 1 16.0000 15.0000 6.67%
2436.48/2444.18 c 2444 737728 27727 1 16.0000 15.0000 6.67%
2442.56/2450.24 c 2450 738080 27792 1 16.0000 15.0000 6.67%
2454.53/2462.24 c 2462 738080 27792 1 16.0000 15.0000 6.67%
2460.42/2468.12 c 2468 739488 27984 1 16.0000 15.0000 6.67%
2465.49/2473.22 c 2473 740991 28067 1 16.0000 15.0000 6.67%
2470.48/2478.29 c 2478 742164 28092 1 16.0000 15.0000 6.67%
2475.57/2483.33 c 2483 743778 27995 1 16.0000 15.0000 6.67%
2480.56/2488.38 c 2488 745826 28054 1 16.0000 15.0000 6.67%
2485.64/2493.48 c 2493 747489 28018 1 16.0000 15.0000 6.67%
2491.03/2498.85 c 2499 749735 28116 1 16.0000 15.0000 6.67%
2496.11/2503.91 c 2504 751908 28206 1 16.0000 15.0000 6.67%
2501.19/2509.03 c 2509 753284 28324 1 16.0000 15.0000 6.67%
2506.38/2514.24 c 2514 754066 28470 1 16.0000 15.0000 6.67%
2511.46/2519.37 c 2519 755523 28488 1 16.0000 15.0000 6.67%
2516.55/2524.43 c 2524 757771 28515 1 16.0000 15.0000 6.67%
2521.52/2529.48 c 2529 760108 28545 1 16.0000 15.0000 6.67%
2526.61/2534.55 c 2535 762456 28634 1 16.0000 15.0000 6.67%
2531.69/2539.61 c 2540 764841 28710 1 16.0000 15.0000 6.67%
2536.78/2544.74 c 2545 767154 28741 1 16.0000 15.0000 6.67%
2541.85/2549.82 c 2550 769335 28848 1 16.0000 15.0000 6.67%
2546.83/2554.89 c 2555 771553 28876 1 16.0000 15.0000 6.67%
2551.92/2559.98 c 2560 773097 28948 1 16.0000 15.0000 6.67%
2557.01/2565.06 c 2565 774754 28920 1 16.0000 15.0000 6.67%
2562.09/2570.11 c 2570 776801 28952 1 16.0000 15.0000 6.67%
2567.17/2575.20 c 2575 778746 28972 1 16.0000 15.0000 6.67%
2572.15/2580.25 c 2580 780770 29072 1 16.0000 15.0000 6.67%
2577.23/2585.31 c 2585 782395 29097 1 16.0000 15.0000 6.67%
2582.31/2590.43 c 2590 784688 29161 1 16.0000 15.0000 6.67%
2587.40/2595.58 c 2596 786689 29189 1 16.0000 15.0000 6.67%
2593.27/2601.44 c 2601 788135 29330 1 16.0000 15.0000 6.67%
2598.36/2606.52 c 2607 789735 29416 1 16.0000 15.0000 6.67%
2603.34/2611.58 c 2612 790855 29472 1 16.0000 15.0000 6.67%
2608.53/2616.73 c 2617 791607 29524 1 16.0000 15.0000 6.67%
2613.51/2621.78 c 2622 792790 29534 1 16.0000 15.0000 6.67%
2618.80/2627.00 c 2627 793947 29550 1 16.0000 15.0000 6.67%
2623.79/2632.06 c 2632 794496 29618 1 16.0000 15.0000 6.67%
2629.16/2637.40 c 2637 795435 29668 1 16.0000 15.0000 6.67%
2634.15/2642.45 c 2642 797378 29798 1 16.0000 15.0000 6.67%
2639.33/2647.64 c 2648 798599 29811 1 16.0000 15.0000 6.67%
2644.41/2652.74 c 2653 799359 29817 1 16.0000 15.0000 6.67%
2649.50/2657.82 c 2658 800083 29835 1 16.0000 15.0000 6.67%
2654.58/2662.91 c 2663 801150 29861 1 16.0000 15.0000 6.67%
2659.67/2668.03 c 2668 802149 29859 1 16.0000 15.0000 6.67%
2664.85/2673.28 c 2673 803028 29891 1 16.0000 15.0000 6.67%
2669.93/2678.37 c 2678 805017 29943 1 16.0000 15.0000 6.67%
2675.11/2683.51 c 2684 805845 29941 1 16.0000 15.0000 6.67%
2680.20/2688.60 c 2689 806882 29934 1 16.0000 15.0000 6.67%
2685.29/2693.70 c 2694 807837 29931 1 16.0000 15.0000 6.67%
2690.47/2698.91 c 2699 808627 29886 1 16.0000 15.0000 6.67%
2695.45/2703.98 c 2704 809857 29882 1 16.0000 15.0000 6.67%
2700.54/2709.04 c 2709 814127 29936 1 16.0000 15.0000 6.67%
2705.52/2714.09 c 2714 818373 29968 1 16.0000 15.0000 6.67%
2710.60/2719.13 c 2719 821946 30026 1 16.0000 15.0000 6.67%
2715.67/2724.21 c 2724 825313 30080 1 16.0000 15.0000 6.67%
2720.66/2729.25 c 2729 827786 30149 1 16.0000 15.0000 6.67%
2725.84/2734.43 c 2734 829119 29959 1 16.0000 15.0000 6.67%
2730.93/2739.53 c 2740 830212 30061 1 16.0000 15.0000 6.67%
2736.00/2744.63 c 2745 832169 29945 1 16.0000 15.0000 6.67%
2740.99/2749.68 c 2750 834221 29763 1 16.0000 15.0000 6.67%
2746.87/2755.57 c 2756 835909 29641 1 16.0000 15.0000 6.67%
2751.95/2760.66 c 2761 839306 29648 1 16.0000 15.0000 6.67%
2757.23/2765.95 c 2766 841051 29548 1 16.0000 15.0000 6.67%
2762.41/2771.18 c 2771 843175 29557 1 16.0000 15.0000 6.67%
2767.50/2776.24 c 2776 844765 29519 1 16.0000 15.0000 6.67%
2772.48/2781.29 c 2781 846143 29489 1 16.0000 15.0000 6.67%
2777.56/2786.35 c 2786 848423 29456 1 16.0000 15.0000 6.67%
2782.64/2791.41 c 2791 849722 29603 1 16.0000 15.0000 6.67%
2787.73/2796.59 c 2797 850934 29547 1 16.0000 15.0000 6.67%
2792.81/2801.69 c 2802 852396 29718 1 16.0000 15.0000 6.67%
2797.89/2806.76 c 2807 854051 29790 1 16.0000 15.0000 6.67%
2802.98/2811.85 c 2812 855107 29754 1 16.0000 15.0000 6.67%
2808.06/2816.92 c 2817 856714 29646 1 16.0000 15.0000 6.67%
2813.04/2821.96 c 2822 857831 29603 1 16.0000 15.0000 6.67%
2818.13/2827.02 c 2827 860352 29727 1 16.0000 15.0000 6.67%
2823.11/2832.06 c 2832 864112 29779 1 16.0000 15.0000 6.67%
2828.19/2837.12 c 2837 867919 29794 1 16.0000 15.0000 6.67%
2833.27/2842.23 c 2842 871062 29801 1 16.0000 15.0000 6.67%
2838.24/2847.29 c 2847 874068 29889 1 16.0000 15.0000 6.67%
2843.33/2852.33 c 2852 876710 30036 1 16.0000 15.0000 6.67%
2848.31/2857.39 c 2857 879268 30096 1 16.0000 15.0000 6.67%
2853.39/2862.45 c 2862 881753 30318 1 16.0000 15.0000 6.67%
2858.48/2867.51 c 2868 883899 30424 1 16.0000 15.0000 6.67%
2863.46/2872.59 c 2873 885526 30629 1 16.0000 15.0000 6.67%
2868.54/2877.63 c 2878 887881 30777 1 16.0000 15.0000 6.67%
2873.62/2882.72 c 2883 890201 30920 1 16.0000 15.0000 6.67%
2878.60/2887.77 c 2888 892656 31147 1 16.0000 15.0000 6.67%
2883.68/2892.82 c 2893 894876 31269 1 16.0000 15.0000 6.67%
2888.67/2897.89 c 2898 896337 31306 1 16.0000 15.0000 6.67%
2893.75/2902.94 c 2903 898095 31324 1 16.0000 15.0000 6.67%
2898.83/2908.02 c 2908 900136 31506 1 16.0000 15.0000 6.67%
2903.82/2913.08 c 2913 901746 31660 1 16.0000 15.0000 6.67%
2908.90/2918.18 c 2918 903483 31832 1 16.0000 15.0000 6.67%
2914.08/2923.39 c 2923 904487 31849 1 16.0000 15.0000 6.67%
2919.16/2928.47 c 2928 906245 32006 1 16.0000 15.0000 6.67%
2924.25/2933.52 c 2934 908104 32152 1 16.0000 15.0000 6.67%
2929.22/2938.59 c 2939 910321 32271 1 16.0000 15.0000 6.67%
2934.31/2943.67 c 2944 911866 32337 1 16.0000 15.0000 6.67%
2939.39/2948.72 c 2949 913422 32448 1 16.0000 15.0000 6.67%
2944.47/2953.80 c 2954 915492 32531 1 16.0000 15.0000 6.67%
2949.45/2958.85 c 2959 918164 32667 1 16.0000 15.0000 6.67%
2954.54/2963.92 c 2964 920574 32927 1 16.0000 15.0000 6.67%
2959.73/2969.12 c 2969 922301 32858 1 16.0000 15.0000 6.67%
2964.71/2974.18 c 2974 923793 32812 1 16.0000 15.0000 6.67%
2969.78/2979.24 c 2979 925990 32852 1 16.0000 15.0000 6.67%
2974.77/2984.28 c 2984 928632 32896 1 16.0000 15.0000 6.67%
2979.85/2989.33 c 2989 931137 32944 1 16.0000 15.0000 6.67%
2984.83/2994.39 c 2994 933230 33048 1 16.0000 15.0000 6.67%
2990.11/2999.63 c 3000 935546 33142 1 16.0000 15.0000 6.67%
2995.29/3004.89 c 3005 937776 33244 1 16.0000 15.0000 6.67%
3000.38/3009.95 c 3010 940178 33268 1 16.0000 15.0000 6.67%
3005.46/3015.00 c 3015 943133 33277 1 16.0000 15.0000 6.67%
3010.44/3020.06 c 3020 945089 33315 1 16.0000 15.0000 6.67%
3015.53/3025.19 c 3025 946554 33322 1 16.0000 15.0000 6.67%
3020.62/3030.24 c 3030 948934 33344 1 16.0000 15.0000 6.67%
3025.59/3035.29 c 3035 951768 33312 1 16.0000 15.0000 6.67%
3030.68/3040.34 c 3040 955014 33348 1 16.0000 15.0000 6.67%
3035.66/3045.39 c 3045 957916 33400 1 16.0000 15.0000 6.67%
3040.75/3050.45 c 3050 960619 33483 1 16.0000 15.0000 6.67%
3045.84/3055.51 c 3056 962497 33340 1 16.0000 15.0000 6.67%
3050.82/3060.55 c 3061 964960 33415 1 16.0000 15.0000 6.67%
3055.91/3065.60 c 3066 967673 33528 1 16.0000 15.0000 6.67%
3060.89/3070.66 c 3071 969687 33452 1 16.0000 15.0000 6.67%
3065.98/3075.73 c 3076 971674 33522 1 16.0000 15.0000 6.67%
3070.96/3080.78 c 3081 974294 33570 1 16.0000 15.0000 6.67%
3076.15/3085.91 c 3086 976334 33641 1 16.0000 15.0000 6.67%
3081.14/3090.98 c 3091 978568 33693 1 16.0000 15.0000 6.67%
3086.23/3096.03 c 3096 980754 33834 1 16.0000 15.0000 6.67%
3091.50/3101.35 c 3101 982442 33890 1 16.0000 15.0000 6.67%
3096.59/3106.40 c 3106 984411 33977 1 16.0000 15.0000 6.67%
3102.08/3111.93 c 3112 986152 34054 1 16.0000 15.0000 6.67%
3107.06/3116.98 c 3117 988689 34076 1 16.0000 15.0000 6.67%
3112.15/3122.04 c 3122 990823 34190 1 16.0000 15.0000 6.67%
3117.23/3127.10 c 3127 992841 34256 1 16.0000 15.0000 6.67%
3122.91/3132.81 c 3133 995049 34278 1 16.0000 15.0000 6.67%
3127.89/3137.87 c 3138 997684 34282 1 16.0000 15.0000 6.67%
3133.18/3143.11 c 3143 1000023 34374 1 16.0000 15.0000 6.67%
3138.17/3148.15 c 3148 1003042 34484 1 16.0000 15.0000 6.67%
3143.24/3153.23 c 3153 1006113 34598 1 16.0000 15.0000 6.67%
3148.43/3158.40 c 3158 1007840 34638 1 16.0000 15.0000 6.67%
3153.41/3163.44 c 3163 1009353 34601 1 16.0000 15.0000 6.67%
3158.50/3168.54 c 3169 1010752 34005 1 16.0000 15.0000 6.67%
3163.58/3173.69 c 3174 1012511 33655 1 16.0000 15.0000 6.67%
3168.67/3178.75 c 3179 1013894 33761 1 16.0000 15.0000 6.67%
3173.76/3183.80 c 3184 1016517 34134 1 16.0000 15.0000 6.67%
3178.75/3188.89 c 3189 1018413 33753 1 16.0000 15.0000 6.67%
3184.13/3194.22 c 3194 1019835 33701 1 16.0000 15.0000 6.67%
3189.32/3199.40 c 3199 1021896 33646 1 16.0000 15.0000 6.67%
3194.30/3204.46 c 3204 1023108 33588 1 16.0000 15.0000 6.67%
3199.38/3209.54 c 3210 1024490 33434 1 16.0000 15.0000 6.67%
3205.37/3215.53 c 3216 1024640 33488 1 16.0000 15.0000 6.67%
3212.35/3222.56 c 3223 1024641 33487 1 16.0000 15.0000 6.67%
3217.43/3227.65 c 3228 1025495 33652 1 16.0000 15.0000 6.67%
3222.63/3232.84 c 3233 1026522 33845 1 16.0000 15.0000 6.67%
3227.91/3238.11 c 3238 1027867 34025 1 16.0000 15.0000 6.67%
3233.19/3243.46 c 3243 1029252 34151 1 16.0000 15.0000 6.67%
3238.38/3248.66 c 3249 1030648 34246 1 16.0000 15.0000 6.67%
3243.47/3253.77 c 3254 1032085 34458 1 16.0000 15.0000 6.67%
3248.55/3258.83 c 3259 1033965 34570 1 16.0000 15.0000 6.67%
3253.54/3263.88 c 3264 1035497 34662 1 16.0000 15.0000 6.67%
3258.62/3268.95 c 3269 1037059 34766 1 16.0000 15.0000 6.67%
3263.70/3274.10 c 3274 1038952 34850 1 16.0000 15.0000 6.67%
3268.79/3279.14 c 3279 1041337 34959 1 16.0000 15.0000 6.67%
3273.87/3284.20 c 3284 1043400 35082 1 16.0000 15.0000 6.67%
3278.95/3289.31 c 3289 1045741 35190 1 16.0000 15.0000 6.67%
3283.95/3294.36 c 3294 1047953 35290 1 16.0000 15.0000 6.67%
3289.03/3299.42 c 3299 1050365 35299 1 16.0000 15.0000 6.67%
3294.12/3304.58 c 3305 1053376 35423 1 16.0000 15.0000 6.67%
3299.30/3309.78 c 3310 1055912 35977 1 16.0000 15.0000 6.67%
3304.39/3314.87 c 3315 1057633 36279 1 16.0000 15.0000 6.67%
3309.47/3319.92 c 3320 1059605 36648 1 16.0000 15.0000 6.67%
3314.65/3325.13 c 3325 1061931 36879 1 16.0000 15.0000 6.67%
3319.64/3330.18 c 3330 1064374 37101 1 16.0000 15.0000 6.67%
3324.72/3335.24 c 3335 1066265 37384 1 16.0000 15.0000 6.67%
3329.80/3340.31 c 3340 1067934 37579 1 16.0000 15.0000 6.67%
3334.79/3345.36 c 3345 1069762 37811 1 16.0000 15.0000 6.67%
3339.88/3350.41 c 3350 1071302 37692 1 16.0000 15.0000 6.67%
3344.96/3355.50 c 3356 1072949 37418 1 16.0000 15.0000 6.67%
3349.95/3360.55 c 3361 1074879 37316 1 16.0000 15.0000 6.67%
3355.03/3365.60 c 3366 1077481 37370 1 16.0000 15.0000 6.67%
3360.12/3370.71 c 3371 1079414 37234 1 16.0000 15.0000 6.67%
3365.10/3375.77 c 3376 1082214 37270 1 16.0000 15.0000 6.67%
3370.18/3380.82 c 3381 1085018 37280 1 16.0000 15.0000 6.67%
3375.17/3385.88 c 3386 1087642 37288 1 16.0000 15.0000 6.67%
3380.25/3390.93 c 3391 1090316 37330 1 16.0000 15.0000 6.67%
3385.24/3395.98 c 3396 1092964 37368 1 16.0000 15.0000 6.67%
3390.33/3401.02 c 3401 1095528 37390 1 16.0000 15.0000 6.67%
3395.31/3406.08 c 3406 1098585 37451 1 16.0000 15.0000 6.67%
3400.40/3411.13 c 3411 1101153 37491 1 16.0000 15.0000 6.67%
3405.39/3416.18 c 3416 1104121 37507 1 16.0000 15.0000 6.67%
3410.45/3421.23 c 3421 1106952 37552 1 16.0000 15.0000 6.67%
3415.45/3426.28 c 3426 1109554 37568 1 16.0000 15.0000 6.67%
3420.53/3431.34 c 3431 1111993 37574 1 16.0000 15.0000 6.67%
3425.62/3436.46 c 3436 1114087 37540 1 16.0000 15.0000 6.67%
3430.71/3441.51 c 3442 1115796 37484 1 16.0000 15.0000 6.67%
3435.69/3446.58 c 3447 1117469 37461 1 16.0000 15.0000 6.67%
3440.98/3451.84 c 3452 1119611 37741 1 16.0000 15.0000 6.67%
3446.06/3456.91 c 3457 1121420 37872 1 16.0000 15.0000 6.67%
3451.16/3462.00 c 3462 1122584 37893 1 16.0000 15.0000 6.67%
3456.14/3467.09 c 3467 1123619 37925 1 16.0000 15.0000 6.67%
3461.23/3472.18 c 3472 1125117 38246 1 16.0000 15.0000 6.67%
3466.51/3477.42 c 3477 1126882 38245 1 16.0000 15.0000 6.67%
3471.50/3482.49 c 3482 1128079 38499 1 16.0000 15.0000 6.67%
3476.68/3487.61 c 3488 1130232 38613 1 16.0000 15.0000 6.67%
3481.66/3492.66 c 3493 1132517 38689 1 16.0000 15.0000 6.67%
3486.76/3497.77 c 3498 1134461 38885 1 16.0000 15.0000 6.67%
3491.85/3502.86 c 3503 1135200 38959 1 16.0000 15.0000 6.67%
3497.33/3508.30 c 3508 1136510 39010 1 16.0000 15.0000 6.67%
3502.31/3513.35 c 3513 1138096 39091 1 16.0000 15.0000 6.67%
3507.50/3518.51 c 3519 1139409 39268 1 16.0000 15.0000 6.67%
3512.69/3523.73 c 3524 1140380 39345 1 16.0000 15.0000 6.67%
3517.78/3528.83 c 3529 1141345 39391 1 16.0000 15.0000 6.67%
3522.76/3533.88 c 3534 1143435 39443 1 16.0000 15.0000 6.67%
3527.95/3539.00 c 3539 1145607 39572 1 16.0000 15.0000 6.67%
3533.03/3544.15 c 3544 1146550 39814 1 16.0000 15.0000 6.67%
3538.31/3549.40 c 3549 1147155 39954 1 16.0000 15.0000 6.67%
3543.41/3554.50 c 3555 1149391 40073 1 16.0000 15.0000 6.67%
3548.39/3559.56 c 3560 1151073 40261 1 16.0000 15.0000 6.67%
3553.58/3564.75 c 3565 1151923 40295 1 16.0000 15.0000 6.67%
3558.87/3570.01 c 3570 1152800 40309 1 16.0000 15.0000 6.67%
3563.86/3575.07 c 3575 1154727 40400 1 16.0000 15.0000 6.67%
3568.94/3580.16 c 3580 1156665 40453 1 16.0000 15.0000 6.67%
3574.02/3585.21 c 3585 1160094 40486 1 16.0000 15.0000 6.67%
3579.00/3590.26 c 3590 1164308 40516 1 16.0000 15.0000 6.67%
3584.10/3595.31 c 3595 1168046 40572 1 16.0000 15.0000 6.67%
3587.08/3598.32 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.08/3598.32 c Total Time : 3598.32
3587.08/3598.32 c solving : 3598.32
3587.08/3598.32 c presolving : 0.29 (included in solving)
3587.08/3598.32 c B&B Tree :
3587.08/3598.32 c nodes (total) : 1
3587.08/3598.32 c Solution :
3587.08/3598.32 c Solutions found : 5
3587.08/3598.32 c Primal Bound : +1.60000000000000e+01
3587.08/3598.32 c Dual Bound : +1.50000000000000e+01
3587.08/3598.32 c Gap : 6.66667 %
3587.08/3598.32 c * Warning: final gap: 6.66667e-02 is greater than SCIPepsilon: 1.00000e-09
3587.08/3598.32 o 16
3587.08/3598.32 s SATISFIABLE
3587.08/3598.32 v -x5568 -x5567 -x5566 x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550
3587.08/3598.32 v -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 x5535 x5534 -x5533 -x5532
3587.08/3598.32 v -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 x5518 -x5517 -x5516 -x5515 -x5514
3587.08/3598.32 v -x5513 x5512 x5511 -x5510 -x5509 -x5508 x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496
3587.08/3598.32 v -x5495 -x5494 x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478
3587.08/3598.32 v -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460
3587.08/3598.32 v -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442
3587.08/3598.32 v -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424
3587.08/3598.32 v -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406
3587.08/3598.32 v -x5405 x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388
3587.08/3598.32 v -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370
3587.08/3598.32 v -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353
3587.08/3598.32 v -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335
3587.08/3598.32 v -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317
3587.08/3598.32 v -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299
3587.08/3598.32 v -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281
3587.08/3598.32 v -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263
3587.08/3598.32 v -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245
3587.08/3598.32 v -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228
3587.08/3598.32 v -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 x5221 -x5220 -x5219 -x5218 -x5217 -x5216 x5215 x5214 -x5213 x5212 -x5211 -x5210 -x5209
3587.08/3598.32 v -x5208 x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 x5195 -x5194 -x5193 -x5192 -x5191
3587.08/3598.32 v -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 x5178 -x5177 -x5176 x5175 -x5174 -x5173
3587.08/3598.32 v -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 x5164 -x5163 x5162 -x5161 -x5160 -x5159 -x5158 -x5157 x5156 -x5155
3587.08/3598.32 v -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137
3587.08/3598.32 v x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 x5128 -x5127 -x5126 -x5125 x5124 -x5123 -x5122 x5121 -x5120 -x5119 -x5118
3587.08/3598.32 v -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100
3587.08/3598.32 v -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082
3587.08/3598.32 v -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065
3587.08/3598.32 v -x5064 -x5063 -x5062 -x5061 x5060 -x5059 -x5058 -x5057 -x5056 x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046
3587.08/3598.32 v -x5045 x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028
3587.08/3598.32 v -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011
3587.08/3598.32 v -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993
3587.08/3598.32 v -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 x4975
3587.08/3598.32 v -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957
3587.08/3598.32 v -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939
3587.08/3598.32 v -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921
3587.08/3598.32 v -x4920 -x4919 x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903
3587.08/3598.32 v -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885
3587.08/3598.32 v -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867
3587.08/3598.32 v -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849
3587.08/3598.32 v -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831
3587.08/3598.32 v -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813
3587.08/3598.32 v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796
3587.08/3598.32 v -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778
3587.08/3598.32 v -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760
3587.08/3598.32 v -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742
3587.08/3598.32 v -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724
3587.08/3598.32 v -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706
3587.08/3598.32 v -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688
3587.08/3598.32 v -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671
3587.08/3598.32 v -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653
3587.08/3598.32 v -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635
3587.08/3598.32 v -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617
3587.08/3598.32 v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
3587.08/3598.32 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581
3587.08/3598.32 v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563
3587.08/3598.32 v -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546
3587.08/3598.32 v -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528
3587.08/3598.32 v -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511 -x4510
3587.08/3598.32 v -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492
3587.08/3598.32 v x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474
3587.08/3598.32 v -x4473 -x4472 -x4471 -x4470 -x4469 x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456
3587.08/3598.32 v -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438
3587.08/3598.32 v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420
3587.08/3598.32 v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
3587.08/3598.32 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 x4384
3587.08/3598.32 v -x4383 -x4382 -x4381 x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 x4371 -x4370 -x4369 -x4368 -x4367 -x4366
3587.08/3598.32 v x4365 -x4364 -x4363 -x4362 -x4361 -x4360 x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
3587.08/3598.32 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330
3587.08/3598.32 v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312
3587.08/3598.32 v -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
3587.08/3598.32 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276
3587.08/3598.32 v -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258
3587.08/3598.32 v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
3587.08/3598.32 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
3587.08/3598.32 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
3587.08/3598.32 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
3587.08/3598.32 v -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169
3587.08/3598.32 v -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
3587.08/3598.32 v -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
3587.08/3598.32 v -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116
3587.08/3598.32 v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098
3587.08/3598.32 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080
3587.08/3598.32 v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
3587.08/3598.32 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
3587.08/3598.32 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026
3587.08/3598.32 v -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008
3587.08/3598.32 v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991
3587.08/3598.32 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973
3587.08/3598.32 v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955
3587.08/3598.32 v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937
3587.08/3598.32 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919
3587.08/3598.32 v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901
3587.08/3598.32 v -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883
3587.08/3598.32 v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866
3587.08/3598.32 v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848
3587.08/3598.32 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830
3587.08/3598.32 v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 x3813 -x3812
3587.08/3598.32 v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794
3587.08/3598.32 v x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776
3587.08/3598.32 v -x3775 x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758
3587.08/3598.32 v -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 x3746 -x3745 -x3744 -x3743 -x3742 x3741 -x3740
3587.08/3598.32 v -x3739 x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 x3731 -x3730 x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721
3587.08/3598.32 v -x3720 -x3719 -x3718 x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 x3703
3587.08/3598.32 v -x3702 -x3701 -x3700 -x3699 -x3698 x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685
3587.08/3598.32 v -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 x3672 -x3671 -x3670 -x3669 -x3668 -x3667
3587.08/3598.32 v -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649
3587.08/3598.32 v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632
3587.08/3598.32 v -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614
3587.08/3598.32 v -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596
3587.08/3598.32 v -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578
3587.08/3598.32 v -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560
3587.08/3598.32 v -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542
3587.08/3598.32 v -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524
3587.08/3598.32 v -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507
3587.08/3598.32 v -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489
3587.08/3598.32 v -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471
3587.08/3598.32 v -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453
3587.08/3598.32 v -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435
3587.08/3598.32 v -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417
3587.08/3598.32 v -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399
3587.08/3598.32 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382
3587.08/3598.32 v -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364
3587.08/3598.32 v -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346
3587.08/3598.32 v -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328
3587.08/3598.32 v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310
3587.08/3598.32 v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292
3587.08/3598.32 v -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274
3587.08/3598.32 v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257
3587.08/3598.32 v -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239
3587.08/3598.32 v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221
3587.08/3598.32 v -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203
3587.08/3598.32 v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185
3587.08/3598.32 v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167
3587.08/3598.32 v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149
3587.08/3598.32 v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132
3587.08/3598.32 v -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114
3587.08/3598.32 v -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096
3587.08/3598.32 v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078
3587.08/3598.32 v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060
3587.08/3598.32 v -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042
3587.08/3598.32 v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024
3587.08/3598.32 v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007
3587.08/3598.32 v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989
3587.08/3598.32 v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971
3587.08/3598.32 v -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953
3587.08/3598.32 v -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935
3587.08/3598.32 v -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917
3587.08/3598.32 v -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899
3587.08/3598.32 v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882
3587.08/3598.32 v -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864
3587.08/3598.32 v -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846
3587.08/3598.32 v -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828
3587.08/3598.32 v -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810
3587.08/3598.32 v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792
3587.08/3598.32 v -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774
3587.08/3598.32 v -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757
3587.08/3598.32 v -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739
3587.08/3598.32 v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721
3587.08/3598.32 v -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703
3587.08/3598.32 v -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685
3587.08/3598.32 v -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667
3587.08/3598.32 v -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649
3587.08/3598.32 v -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632
3587.08/3598.32 v -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614
3587.08/3598.32 v -x2613 -x2612 -x2611 -x2610 x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596
3587.08/3598.32 v -x2595 -x2594 -x2593 x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578
3587.08/3598.32 v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560
3587.08/3598.32 v -x2559 -x2558 -x2557 x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544 -x2543 -x2542 -x2541
3587.08/3598.32 v x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523
3587.08/3598.32 v -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505
3587.08/3598.32 v -x2504 x2503 -x2502 -x2501 x2500 x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 x2490 -x2489 -x2488 -x2487
3587.08/3598.32 v -x2486 -x2485 x2484 x2483 -x2482 -x2481 x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 x2472 -x2471 -x2470 -x2469
3587.08/3598.32 v -x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451
3587.08/3598.32 v -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433
3587.08/3598.32 v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415
3587.08/3598.32 v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397
3587.08/3598.32 v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379
3587.08/3598.32 v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361
3587.08/3598.32 v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
3587.08/3598.32 v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
3587.08/3598.32 v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308
3587.08/3598.32 v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290
3587.08/3598.32 v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 x2277 -x2276 -x2275 -x2274 -x2273 -x2272
3587.08/3598.32 v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254
3587.08/3598.32 v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 x2245 -x2244 -x2243 -x2242 -x2241 x2240 -x2239 -x2238 -x2237 -x2236
3587.08/3598.32 v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218
3587.08/3598.32 v -x2217 x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200
3587.08/3598.32 v x2199 -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182
3587.08/3598.32 v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164
3587.08/3598.32 v -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146
3587.08/3598.32 v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 x2139 -x2138 -x2137 -x2136 -x2135 -x2134 x2133 -x2132 -x2131 -x2130 -x2129 -x2128
3587.08/3598.32 v -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110
3587.08/3598.32 v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092
3587.08/3598.32 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074
3587.08/3598.32 v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056
3587.08/3598.32 v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038
3587.08/3598.32 v -x2037 -x2036 x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 x2023 -x2022 -x2021 -x2020
3587.08/3598.32 v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002
3587.08/3598.32 v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 x1985 -x1984
3587.08/3598.32 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966
3587.08/3598.32 v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
3587.08/3598.32 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930
3587.08/3598.32 v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912
3587.08/3598.32 v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895
3587.08/3598.32 v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877
3587.08/3598.32 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
3587.08/3598.32 v -x1858 x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841
3587.08/3598.32 v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823
3587.08/3598.32 v -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
3587.08/3598.32 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787
3587.08/3598.32 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
3587.08/3598.32 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
3587.08/3598.32 v -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 x1743 -x1742 -x1741 x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733
3587.08/3598.32 v x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715
3587.08/3598.32 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
3587.08/3598.32 v -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
3587.08/3598.32 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661
3587.08/3598.32 v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 x1645 -x1644 -x1643
3587.08/3598.32 v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 -x1631 -x1630 x1629 -x1628 -x1627 -x1626 -x1625
3587.08/3598.32 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607
3587.08/3598.32 v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589
3587.08/3598.32 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571
3587.08/3598.32 v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554
3587.08/3598.32 v -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 x1547 x1546 -x1545 -x1544 -x1543 -x1542 x1541 x1540 -x1539 -x1538 -x1537 -x1536 -x1535
3587.08/3598.32 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517
3587.08/3598.32 v -x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499
3587.08/3598.32 v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481
3587.08/3598.32 v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463
3587.08/3598.32 v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446
3587.08/3598.32 v -x1445 x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427
3587.08/3598.32 v x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 x1410 -x1409
3587.08/3598.32 v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
3587.08/3598.32 v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
3587.08/3598.32 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
3587.08/3598.32 v -x1354 x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 x1339 -x1338 -x1337
3587.08/3598.32 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
3587.08/3598.32 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
3587.08/3598.32 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284
3587.08/3598.32 v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
3587.08/3598.32 v -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 x1248
3587.08/3598.32 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230
3587.08/3598.32 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212
3587.08/3598.32 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194
3587.08/3598.32 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176
3587.08/3598.32 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
3587.08/3598.32 v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
3587.08/3598.32 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123
3587.08/3598.32 v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105
3587.08/3598.32 v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087
3587.08/3598.32 v -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
3587.08/3598.32 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051
3587.08/3598.32 v -x1050 -x1049 -x1048 x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033
3587.08/3598.32 v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015
3587.08/3598.32 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997
3587.08/3598.32 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 -x976
3587.08/3598.32 v -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955
3587.08/3598.32 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934
3587.08/3598.32 v -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 x914 -x913
3587.08/3598.32 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892
3587.08/3598.32 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 x876 -x875 -x874 x873 -x872 -x871 -x870
3587.08/3598.32 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
3587.08/3598.32 v -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
3587.08/3598.32 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
3587.08/3598.32 v -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 x794 -x793 x792 -x791 -x790 -x789 -x788 x787 -x786 x785
3587.08/3598.32 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
3587.08/3598.32 v -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 x746 -x745 x744 x743
3587.08/3598.32 v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 -x726 -x725 x724 -x723 -x722 -x721
3587.08/3598.32 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
3587.08/3598.32 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
3587.08/3598.32 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
3587.08/3598.32 v -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
3587.08/3598.32 v -x637 -x636 x635 x634 x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616
3587.08/3598.32 v -x615 -x614 -x613 -x612 x611 x610 x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594
3587.08/3598.32 v -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
3587.08/3598.32 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
3587.08/3598.32 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
3587.08/3598.32 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
3587.08/3598.32 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
3587.08/3598.32 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
3587.08/3598.32 v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
3587.08/3598.32 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
3587.08/3598.32 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
3587.08/3598.32 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
3587.08/3598.32 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
3587.08/3598.32 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344
3587.08/3598.32 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 x325 -x324 -x323
3587.08/3598.32 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302
3587.08/3598.34 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
3587.08/3598.34 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 x260
3587.08/3598.34 v x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239
3587.08/3598.34 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218
3587.08/3598.34 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
3587.08/3598.34 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
3587.08/3598.34 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
3587.08/3598.34 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
3587.08/3598.34 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
3587.08/3598.34 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
3587.08/3598.34 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
3587.08/3598.34 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
3587.08/3598.34 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 x30 x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 x15
3587.08/3598.34 v -x14 x13 x12 x11 x10 x9 x8 -x7 x6 x5 x4 -x3 x2 -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 (62053 MiB free)
memory of node 1: 64473 MiB (61742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464283-1722385797/watcher-4464283-1722385797 -o /tmp/evaluation-result-4464283-1722385797/solver-4464283-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27470 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464283-1722385797.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32479, runsolver pid=32476
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.10 4.11 4.09 5/260 32480
/proc/meminfo: memFree=126710400/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=58068 memory=46108 CPUtime=0.09 cores=1,3
/proc/32479/stat : 32479 (fscip) R 32476 32479 27458 0 -1 4194304 9810 0 0 0 8 1 0 0 20 0 1 0 5180860 59461632 11527 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 14517 11527 2774 3035 0 10913 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58068 KiB
Current children cumulated memory: 46108 KiB
[startup+0.205706 s]*
/proc/loadavg: 4.10 4.11 4.09 5/260 32480
/proc/meminfo: memFree=126697632/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=74024 memory=52484 CPUtime=0.2 cores=1,3
/proc/32479/stat : 32479 (fscip) R 32476 32479 27458 0 -1 4194304 11417 0 0 0 19 1 0 0 20 0 1 0 5180860 75800576 13121 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 18506 13121 2790 3035 0 14902 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 52484 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.10 4.11 4.09 5/260 32482
/proc/meminfo: memFree=126656416/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=125464 memory=88884 CPUtime=0.3 cores=1,3
/proc/32479/stat : 32479 (fscip) R 32476 32479 27458 0 -1 4194304 20584 0 0 0 27 3 0 0 20 0 2 0 5180860 128475136 22221 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 31366 22221 2790 3035 0 27761 0
[pid=32479/tid=32483] ppid=32476 vsize=125464 memory=-6000919481262959212 CPUtime=0 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 5180891 128475136 22221 134679101440 4194304 16623229 140728662309920 0 0 0 2147221247 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 125464 KiB
Current children cumulated memory: 88884 KiB
[startup+0.700258 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32484
/proc/meminfo: memFree=126578572/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=270812 memory=174216 CPUtime=0.68 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 42288 0 0 0 62 6 0 0 20 0 3 0 5180860 277311488 43554 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 67703 43554 2950 3035 0 52480 0
[pid=32479/tid=32483] ppid=32476 vsize=270812 memory=1944 CPUtime=0.37 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 20917 0 0 0 34 3 0 0 20 0 3 0 5180891 277311488 43554 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=270812 memory=257 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5180892 277311488 43554 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 270812 KiB
Current children cumulated memory: 174216 KiB
[startup+1.50026 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32484
/proc/meminfo: memFree=126413364/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=270812 memory=185780 CPUtime=1.48 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 56925 0 0 0 141 7 0 0 20 0 3 0 5180860 277311488 46445 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 67703 46445 2950 3035 0 55297 0
[pid=32479/tid=32483] ppid=32476 vsize=270812 memory=257 CPUtime=1.16 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 35526 0 0 0 112 4 0 0 20 0 3 0 5180891 277311488 46445 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=270812 memory=0 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5180892 277311488 46445 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 270812 KiB
Current children cumulated memory: 185780 KiB
[startup+3.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126565668/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=270812 memory=198208 CPUtime=3.08 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 69524 0 0 0 299 9 0 0 20 0 3 0 5180860 277311488 49552 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 67703 49552 3014 3035 0 57996 0
[pid=32479/tid=32483] ppid=32476 vsize=270812 memory=0 CPUtime=2.76 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 47171 0 0 0 270 6 0 0 20 0 3 0 5180891 277311488 49552 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=270812 memory=0 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5180892 277311488 49552 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 270812 KiB
Current children cumulated memory: 198208 KiB
[startup+6.30024 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 32533
/proc/meminfo: memFree=126346188/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=270812 memory=207232 CPUtime=6.26 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 101844 0 0 0 614 12 0 0 20 0 3 0 5180860 277311488 51808 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 67703 51808 3014 3035 0 60717 0
[pid=32479/tid=32483] ppid=32476 vsize=270812 memory=200144 CPUtime=5.95 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 79467 0 0 0 586 9 0 0 20 0 3 0 5180891 277311488 51808 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=270812 memory=206992 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5180892 277311488 51808 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 270812 KiB
Current children cumulated memory: 207232 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 32534
/proc/meminfo: memFree=126308220/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=335708 memory=221220 CPUtime=12.64 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 174277 0 0 0 1246 18 0 0 20 0 3 0 5180860 343764992 55305 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 83927 55305 3014 3035 0 64072 0
[pid=32479/tid=32483] ppid=32476 vsize=335708 memory=200144 CPUtime=12.33 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 151895 0 0 0 1218 15 0 0 20 0 3 0 5180891 343764992 55305 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=335708 memory=11532 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5180892 343764992 55305 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 335708 KiB
Current children cumulated memory: 221220 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 32536
/proc/meminfo: memFree=126213440/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=335708 memory=232852 CPUtime=25.41 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 237469 0 0 0 2517 24 0 0 20 0 3 0 5180860 343764992 58213 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 83927 58213 3014 3035 0 66480 0
[pid=32479/tid=32483] ppid=32476 vsize=335708 memory=200144 CPUtime=25.09 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 214961 0 0 0 2488 21 0 0 20 0 3 0 5180891 343764992 58213 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=335708 memory=11532 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5180892 343764992 58213 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 335708 KiB
Current children cumulated memory: 232852 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 32600
/proc/meminfo: memFree=125780452/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=335708 memory=246228 CPUtime=50.93 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 307483 0 0 0 5062 31 0 0 20 0 3 0 5180860 343764992 61557 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 83927 61557 3318 3035 0 69539 0
[pid=32479/tid=32483] ppid=32476 vsize=335708 memory=11624 CPUtime=50.61 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 284879 0 0 0 5033 28 0 0 20 0 3 0 5180891 343764992 61557 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=335708 memory=240752 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5180892 343764992 61557 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 335708 KiB
Current children cumulated memory: 246228 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 32610
/proc/meminfo: memFree=125700796/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=335708 memory=270036 CPUtime=101.97 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 387954 0 0 0 10153 44 0 0 20 0 3 0 5180860 343764992 67509 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 83927 67509 3318 3035 0 75495 0
[pid=32479/tid=32483] ppid=32476 vsize=335708 memory=11532 CPUtime=101.64 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 365254 0 0 0 10124 40 0 0 20 0 3 0 5180891 343764992 67509 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=335708 memory=269848 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5180892 343764992 67509 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 335708 KiB
Current children cumulated memory: 270036 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 32620
/proc/meminfo: memFree=125611640/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=401244 memory=305488 CPUtime=161.77 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 436943 0 0 0 16122 55 0 0 20 0 3 0 5180860 410873856 76372 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 100311 76372 3318 3035 0 84681 0
[pid=32479/tid=32483] ppid=32476 vsize=401244 memory=-7379829155985186937 CPUtime=161.44 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 414206 0 0 0 16093 51 0 0 20 0 3 0 5180891 410873856 76372 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=401244 memory=12744 CPUtime=0 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5180892 410873856 76372 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 401244 KiB
Current children cumulated memory: 305488 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 32630
/proc/meminfo: memFree=125520488/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=401244 memory=343156 CPUtime=221.57 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 501767 0 0 0 22089 68 0 0 20 0 3 0 5180860 410873856 85789 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 100311 85789 3318 3035 0 93715 0
[pid=32479/tid=32483] ppid=32476 vsize=401244 memory=338964 CPUtime=221.24 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 478980 0 0 0 22060 64 0 0 20 0 3 0 5180891 410873856 85789 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
################
# More data... #
################
/proc/32479/statm: 181540 168434 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=5420 CPUtime=3450.91 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2741140 0 0 0 344640 451 0 0 20 0 3 0 5180891 743587840 168434 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=656224 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 152 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168434 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3451.45 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 673736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/265 34521
/proc/meminfo: memFree=122983452/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674224 CPUtime=3511.3 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2776764 0 0 0 350666 464 0 0 20 0 3 0 5180860 743587840 168556 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168556 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=673736 CPUtime=3510.75 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2752310 0 0 0 350621 454 0 0 20 0 3 0 5180891 743587840 168556 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=673736 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 157 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168556 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.15 5/265 34532
/proc/meminfo: memFree=122961844/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3571.13 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2784352 0 0 0 356644 469 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=12744 CPUtime=3570.59 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2759881 0 0 0 356600 459 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=674284 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3598.34 s]
# the end of solver process 32479 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.42 s, system=4.71552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.15 4.15 5/265 34532
/proc/meminfo: memFree=122959432/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3572.83 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2784460 0 0 0 356814 469 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=5444 CPUtime=3572.29 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2759989 0 0 0 356770 459 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=2792 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.15 5/265 34533
/proc/meminfo: memFree=122957148/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3579.2 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2784497 0 0 0 357451 469 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=12744 CPUtime=3578.66 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2760026 0 0 0 357407 459 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=674284 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3579.2 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.15 4.14 5/265 34534
/proc/meminfo: memFree=122955036/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3582.39 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2784643 0 0 0 357770 469 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=11532 CPUtime=3581.84 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2760172 0 0 0 357725 459 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=11532 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3582.39 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.15 4.14 5/265 34534
/proc/meminfo: memFree=122954956/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3585.59 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2784905 0 0 0 358089 470 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=12816 CPUtime=3585.04 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2760434 0 0 0 358044 460 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=674284 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.15 4.14 5/265 34534
/proc/meminfo: memFree=122953920/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3586.39 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2784911 0 0 0 358169 470 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=12816 CPUtime=3585.84 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2760440 0 0 0 358124 460 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=12744 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.14 4.14 5/265 34534
/proc/meminfo: memFree=122952444/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3586.79 cores=1,3
/proc/32479/stat : 32479 (fscip) R 32476 32479 27458 0 -1 1077936128 2787120 0 0 0 358209 470 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=-7163374898894692734 CPUtime=3586.24 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2762649 0 0 0 358164 460 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=674284 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3586.79 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3598.2 s]
/proc/loadavg: 4.11 4.14 4.14 5/265 34534
/proc/meminfo: memFree=122952444/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3586.98 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2791883 0 0 0 358228 470 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=4832 CPUtime=3586.43 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2767408 0 0 0 358183 460 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=-7379829155985186937 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
[startup+3598.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/265 34534
/proc/meminfo: memFree=122952444/131524600 swapFree=131063756/131071996
[pid=32479] ppid=32476 vsize=726160 memory=674284 CPUtime=3587.08 cores=1,3
/proc/32479/stat : 32479 (fscip) S 32476 32479 27458 0 -1 1077936128 2793751 0 0 0 358238 470 0 0 20 0 3 0 5180860 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
/proc/32479/statm: 181540 168571 3334 3035 0 171438 0
[pid=32479/tid=32483] ppid=32476 vsize=726160 memory=12744 CPUtime=3586.53 cores=1,3
/proc/32479/task/32483/stat : 32483 (fscip) R 32476 32479 27458 0 -1 4194368 2769273 0 0 0 358193 460 0 0 20 0 3 0 5180891 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
[pid=32479/tid=32484] ppid=32476 vsize=726160 memory=674284 CPUtime=0.02 cores=1,3
/proc/32479/task/32484/stat : 32484 (fscip) S 32476 32479 27458 0 -1 1077936192 159 0 0 0 0 2 0 0 20 0 3 0 5180892 743587840 168571 134679101440 4194304 16623229 140728662309920 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25722880 140728662311958 140728662312074 140728662312074 140728662319088 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 726160 KiB
Current children cumulated memory: 674284 KiB
Child status: 0
Real time (s): 3598.34
CPU time (s): 3587.14
CPU user time (s): 3582.42
CPU system time (s): 4.71552
CPU usage (%): 99.6886
Max. virtual memory (cumulated for all children) (KiB): 726160
Max. memory (cumulated for all children) (KiB): 674284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.42
system time used= 4.71552
maximum resident set size= 674284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2794853
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= 10617
involuntary context switches= 1965
# summary of solver processes directly reported to runsolver:
# pid: 32479
# total CPU time (s): 3587.14
# total CPU user time (s): 3582.42
# total CPU system time (s): 4.71552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11127 second user time and 17.1499 second system time
The end
Begin job on nodeC029 at 2024-07-31 02:29:58
IDJOB=4464283
IDBENCH=158621
IDSOLVER=3092
FILE ID=nodeC029/4464283-1722385797
RUNJOBID= nodeC029-1722378597-27470
SLURM_JOB_ID= 8249852
Free space on /tmp= 889976 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.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-4464283-1722385797/watcher-4464283-1722385797 -o /tmp/evaluation-result-4464283-1722385797/solver-4464283-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27470 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464283-1722385797.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=483359291
nodeC029.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 : 3667.142
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 : 7000.02
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 : 3665.623
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.75
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 : 3600.062
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 : 7000.02
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 : 3673.113
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.75
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 : 3667.112
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 : 7000.02
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 : 3675.658
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.206
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 : 7000.02
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 : 3605.370
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126774704 kB
MemAvailable: 126789176 kB
Buffers: 93796 kB
Cached: 758476 kB
SwapCached: 212 kB
Active: 279076 kB
Inactive: 4000732 kB
Active(anon): 1700 kB
Inactive(anon): 3446860 kB
Active(file): 277376 kB
Inactive(file): 553872 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 64284 kB
Writeback: 0 kB
AnonPages: 3427404 kB
Mapped: 122144 kB
Shmem: 21024 kB
KReclaimable: 46096 kB
Slab: 126772 kB
SReclaimable: 46096 kB
SUnreclaim: 80676 kB
KernelStack: 4220 kB
PageTables: 15960 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2519136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1869824 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: 6928384 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC029 at 2024-07-31 03:29:56