0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.21/0.22 c Default LC presolving (default).
0.21/0.22 c ** Before presolving: virtualMemUsedAtLc = 91468196, getVmSize() = 75591680, SCIPgetMemUsed() = 44572292, SCIPgetMemTotal() = 51007340, SCIPgetMemExternEstim() = 40460856
0.21/0.22 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
1.18/1.25 c ** Estimated virtualMemUsedAtSolver = 144988702, getVmSize() = 206360576, SCIPgetMemUsed() = 92934669, SCIPgetMemTotal() = 177022197, SCIPgetMemExternEstim() = 40460856
1.18/1.25 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.18/1.25 c Original Problem :
1.18/1.25 c Problem name : instance-4434713-1721058319
1.18/1.25 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.25 c Constraints : 41314
1.18/1.25 c Objective sense : minimize
1.18/1.25 c Presolved Problem :
1.18/1.25 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.25 c Constraints : 41314
1.18/1.25 c Constraints : Number
1.18/1.25 c setppc : 41314
1.18/1.25 c ** Instance transfer method used: 0
1.27/1.32 c ** ParaScipInstance copy does not increase the number of variables. **
1.38/1.42 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.38/1.42 c Nodes Active
1.38/1.42 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.66/2.75 c * 3 0 1 1 -26.0000 - -
2.77/2.86 c * 3 0 1 1 -29.0000 - -
20.90/21.06 c 21 2 1 1 -29.0000 -40.0000 37.93%
22.78/22.96 c * 23 10 9 1 -31.0000 -40.0000 29.03%
22.78/22.98 c * 23 10 9 1 -33.0000 -40.0000 21.21%
23.00/23.13 c * 23 10 9 1 -34.0000 -40.0000 17.65%
26.77/26.92 c 27 31 30 1 -34.0000 -40.0000 17.65%
32.64/32.86 c 33 53 52 1 -34.0000 -40.0000 17.65%
38.93/39.12 c 39 77 74 1 -34.0000 -40.0000 17.65%
44.69/45.01 c 45 104 81 1 -34.0000 -40.0000 17.65%
49.78/50.05 c 50 119 90 1 -34.0000 -40.0000 17.65%
55.05/55.30 c 55 150 103 1 -34.0000 -40.0000 17.65%
61.62/61.90 c 62 190 117 1 -34.0000 -40.0000 17.65%
68.50/68.80 c 69 224 131 1 -34.0000 -40.0000 17.65%
73.58/74.01 c 74 268 151 1 -34.0000 -40.0000 17.65%
80.05/80.43 c 80 351 194 1 -34.0000 -40.0000 17.65%
85.82/86.27 c 86 414 227 1 -34.0000 -40.0000 17.65%
89.41/89.83 c * 90 444 243 1 -35.0000 -40.0000 14.29%
93.29/93.74 c 94 511 237 1 -35.0000 -40.0000 14.29%
99.77/100.29 c 100 612 280 1 -35.0000 -40.0000 14.29%
105.56/106.05 c 106 667 305 1 -35.0000 -40.0000 14.29%
112.02/112.50 c 112 820 362 1 -35.0000 -40.0000 14.29%
117.51/118.08 c 118 1102 502 1 -35.0000 -40.0000 14.29%
126.27/126.80 c 127 1133 0 1 -35.0000 -40.0000 14.29%
131.56/132.18 c 132 1162 29 1 -35.0000 -40.0000 14.29%
137.33/137.95 c 138 1273 134 1 -35.0000 -40.0000 14.29%
142.60/143.25 c 143 1394 253 1 -35.0000 -40.0000 14.29%
147.88/148.53 c 149 1559 404 1 -35.0000 -40.0000 14.29%
154.85/155.51 c 156 1699 536 1 -35.0000 -40.0000 14.29%
162.44/163.14 c 163 1761 586 1 -35.0000 -40.0000 14.29%
169.31/170.10 c 170 1782 599 1 -35.0000 -40.0000 14.29%
174.67/175.41 c 175 1907 708 1 -35.0000 -40.0000 14.29%
179.66/180.43 c 180 2007 784 1 -35.0000 -40.0000 14.29%
184.83/185.67 c 186 2151 908 1 -35.0000 -40.0000 14.29%
190.33/191.18 c 191 2268 1001 1 -35.0000 -40.0000 14.29%
195.69/196.56 c 197 2359 1074 1 -35.0000 -40.0000 14.29%
201.57/202.48 c 202 2530 1225 1 -35.0000 -40.0000 14.29%
206.85/207.73 c 208 2660 1351 1 -35.0000 -40.0000 14.29%
212.14/213.05 c 213 2808 1489 1 -35.0000 -40.0000 14.29%
217.30/218.20 c 218 2943 1620 1 -35.0000 -40.0000 14.29%
219.21/220.15 c * 220 2973 1648 1 -36.0000 -40.0000 11.11%
222.38/223.31 c 223 3135 1431 1 -36.0000 -40.0000 11.11%
224.66/225.63 c * 226 3204 1476 1 -37.0000 -40.0000 8.11%
227.46/228.42 c 228 3325 1158 1 -37.0000 -40.0000 8.11%
232.54/233.59 c 234 3577 1264 1 -37.0000 -40.0000 8.11%
237.61/238.66 c 239 3825 1376 1 -37.0000 -40.0000 8.11%
243.19/244.25 c 244 4115 1488 1 -37.0000 -40.0000 8.11%
248.46/249.52 c 250 4325 1568 1 -37.0000 -40.0000 8.11%
253.54/254.65 c 255 4629 1674 1 -37.0000 -40.0000 8.11%
258.63/259.75 c 260 4835 1752 1 -37.0000 -40.0000 8.11%
263.70/264.85 c 265 5089 1844 1 -37.0000 -40.0000 8.11%
268.77/269.93 c 270 5389 1948 1 -37.0000 -40.0000 8.11%
273.87/275.11 c 275 5674 2037 1 -37.0000 -40.0000 8.11%
279.63/280.82 c 281 5897 2140 1 -37.0000 -40.0000 8.11%
284.70/285.91 c 286 6186 2251 1 -37.0000 -40.0000 8.11%
290.28/291.58 c 292 6353 2332 1 -37.0000 -40.0000 8.11%
295.76/297.03 c 297 6396 2345 1 -37.0000 -40.0000 8.11%
301.63/303.01 c 303 6421 2350 1 -37.0000 -40.0000 8.11%
306.91/308.25 c 308 6455 2360 1 -37.0000 -40.0000 8.11%
312.69/314.01 c 314 6718 2453 1 -37.0000 -40.0000 8.11%
319.15/320.57 c 321 6796 2495 1 -37.0000 -40.0000 8.11%
325.82/327.27 c 327 7023 2590 1 -37.0000 -40.0000 8.11%
331.10/332.58 c 333 7111 2624 1 -37.0000 -40.0000 8.11%
337.37/338.86 c 339 7280 2677 1 -37.0000 -40.0000 8.11%
342.56/344.09 c 344 7385 2766 1 -37.0000 -40.0000 8.11%
348.72/350.23 c 350 7503 2844 1 -37.0000 -40.0000 8.11%
354.21/355.78 c 356 7578 2893 1 -37.0000 -40.0000 8.11%
359.60/361.19 c 361 7638 2927 1 -37.0000 -40.0000 8.11%
365.76/367.36 c 367 7742 2972 1 -37.0000 -40.0000 8.11%
372.45/374.03 c 374 7813 3003 1 -37.0000 -40.0000 8.11%
378.02/379.62 c 380 7864 3022 1 -37.0000 -40.0000 8.11%
383.90/385.53 c 386 7913 3039 1 -37.0000 -40.0000 8.11%
389.27/390.92 c 391 8159 3137 1 -37.0000 -40.0000 8.11%
395.05/396.77 c 397 8305 3175 1 -37.0000 -40.0000 8.11%
400.83/402.57 c 403 8379 3187 1 -37.0000 -40.0000 8.11%
406.21/407.96 c 408 8485 3213 1 -37.0000 -40.0000 8.11%
411.30/413.09 c 413 8643 3254 1 -37.0000 -40.0000 8.11%
416.96/418.76 c 419 8813 3284 1 -37.0000 -40.0000 8.11%
422.14/423.93 c 424 9079 3364 1 -37.0000 -40.0000 8.11%
427.82/429.68 c 430 9222 3417 1 -37.0000 -40.0000 8.11%
433.60/435.40 c 435 9487 3499 1 -37.0000 -40.0000 8.11%
439.88/441.75 c 442 9757 3579 1 -37.0000 -40.0000 8.11%
445.17/447.06 c 447 9867 3595 1 -37.0000 -40.0000 8.11%
450.83/452.73 c 453 10085 3651 1 -37.0000 -40.0000 8.11%
456.31/458.20 c 458 10170 3690 1 -37.0000 -40.0000 8.11%
461.39/463.32 c 463 10316 3758 1 -37.0000 -40.0000 8.11%
466.57/468.52 c 469 10513 3843 1 -37.0000 -40.0000 8.11%
472.55/474.50 c 475 10678 3874 1 -37.0000 -40.0000 8.11%
477.73/479.70 c 480 10834 3924 1 -37.0000 -40.0000 8.11%
482.70/484.77 c 485 11252 4026 1 -37.0000 -40.0000 8.11%
488.39/490.45 c 490 11544 4130 1 -37.0000 -40.0000 8.11%
493.46/495.51 c 496 11927 4281 1 -37.0000 -40.0000 8.11%
498.44/500.56 c 501 12173 4385 1 -37.0000 -40.0000 8.11%
504.22/506.33 c 506 12341 4471 1 -37.0000 -40.0000 8.11%
509.80/511.94 c 512 12362 4478 1 -37.0000 -40.0000 8.11%
514.89/517.02 c 517 12697 4597 1 -37.0000 -40.0000 8.11%
521.35/523.59 c 524 12857 4635 1 -37.0000 -40.0000 8.11%
526.84/529.08 c 529 12977 4669 1 -37.0000 -40.0000 8.11%
532.71/534.97 c 535 13121 4719 1 -37.0000 -40.0000 8.11%
537.98/540.29 c 540 13257 4795 1 -37.0000 -40.0000 8.11%
544.06/546.35 c 546 13348 4828 1 -37.0000 -40.0000 8.11%
549.14/551.40 c 551 13442 4856 1 -37.0000 -40.0000 8.11%
554.33/556.64 c 557 13581 4889 1 -37.0000 -40.0000 8.11%
560.49/562.86 c 563 13869 4968 1 -37.0000 -40.0000 8.11%
565.97/568.30 c 568 14024 5031 1 -37.0000 -40.0000 8.11%
571.94/574.35 c 574 14053 5034 1 -37.0000 -40.0000 8.11%
577.73/580.15 c 580 14084 5043 1 -37.0000 -40.0000 8.11%
582.99/585.43 c 585 14136 5051 1 -37.0000 -40.0000 8.11%
588.87/591.37 c 591 14281 5113 1 -37.0000 -40.0000 8.11%
595.34/597.82 c 598 14342 5142 1 -37.0000 -40.0000 8.11%
601.41/603.94 c 604 14374 5152 1 -37.0000 -40.0000 8.11%
606.99/609.53 c 610 14395 5155 1 -37.0000 -40.0000 8.11%
613.96/616.57 c 617 14440 5172 1 -37.0000 -40.0000 8.11%
621.13/623.73 c 624 14482 5180 1 -37.0000 -40.0000 8.11%
626.20/628.82 c 629 14631 5211 1 -37.0000 -40.0000 8.11%
631.78/634.45 c 634 14794 5300 1 -37.0000 -40.0000 8.11%
637.56/640.29 c 640 14867 5339 1 -37.0000 -40.0000 8.11%
643.03/645.76 c 646 14914 5376 1 -37.0000 -40.0000 8.11%
649.42/652.11 c 652 15010 5442 1 -37.0000 -40.0000 8.11%
654.40/657.13 c 657 15064 5472 1 -37.0000 -40.0000 8.11%
659.46/662.23 c 662 15129 5513 1 -37.0000 -40.0000 8.11%
664.83/667.69 c 668 15178 5538 1 -37.0000 -40.0000 8.11%
671.11/673.91 c 674 15330 5564 1 -37.0000 -40.0000 8.11%
677.19/680.05 c 680 15525 5620 1 -37.0000 -40.0000 8.11%
683.95/686.88 c 687 15645 5656 1 -37.0000 -40.0000 8.11%
690.31/693.20 c 693 15758 5721 1 -37.0000 -40.0000 8.11%
695.88/698.85 c 699 15846 5769 1 -37.0000 -40.0000 8.11%
701.66/704.61 c 705 15939 5812 1 -37.0000 -40.0000 8.11%
706.74/709.75 c 710 16012 5855 1 -37.0000 -40.0000 8.11%
711.72/714.75 c 715 16053 5874 1 -37.0000 -40.0000 8.11%
718.01/721.02 c 721 16099 5887 1 -37.0000 -40.0000 8.11%
723.39/726.46 c 726 16215 5921 1 -37.0000 -40.0000 8.11%
729.07/732.16 c 732 16256 5928 1 -37.0000 -40.0000 8.11%
734.94/738.01 c 738 16345 5959 1 -37.0000 -40.0000 8.11%
740.50/743.63 c 744 16431 5981 1 -37.0000 -40.0000 8.11%
745.89/749.10 c 749 16456 5988 1 -37.0000 -40.0000 8.11%
752.06/755.28 c 755 16525 6033 1 -37.0000 -40.0000 8.11%
758.32/761.50 c 762 16790 6086 1 -37.0000 -40.0000 8.11%
764.40/767.67 c 768 17063 6182 1 -37.0000 -40.0000 8.11%
770.27/773.51 c 774 17124 6213 1 -37.0000 -40.0000 8.11%
776.35/779.64 c 780 17222 6239 1 -37.0000 -40.0000 8.11%
781.73/785.07 c 785 17461 6322 1 -37.0000 -40.0000 8.11%
787.70/791.08 c 791 17532 6337 1 -37.0000 -40.0000 8.11%
793.27/796.67 c 797 17655 6386 1 -37.0000 -40.0000 8.11%
800.04/803.42 c 803 17965 6448 1 -37.0000 -40.0000 8.11%
806.50/809.90 c 810 18051 6480 1 -37.0000 -40.0000 8.11%
811.89/815.36 c 815 18153 6496 1 -37.0000 -40.0000 8.11%
817.46/820.99 c 821 18239 6514 1 -37.0000 -40.0000 8.11%
823.65/827.19 c 827 18370 6545 1 -37.0000 -40.0000 8.11%
828.71/832.27 c 832 18508 6571 1 -37.0000 -40.0000 8.11%
834.69/838.26 c 838 18618 6607 1 -37.0000 -40.0000 8.11%
840.57/844.14 c 844 18865 6656 1 -37.0000 -40.0000 8.11%
846.93/850.52 c 851 18964 6681 1 -37.0000 -40.0000 8.11%
853.19/856.85 c 857 19134 6731 1 -37.0000 -40.0000 8.11%
859.18/862.89 c 863 19201 6758 1 -37.0000 -40.0000 8.11%
866.04/869.78 c 870 19420 6801 1 -37.0000 -40.0000 8.11%
871.02/874.79 c 875 19536 6829 1 -37.0000 -40.0000 8.11%
876.11/879.81 c 880 19611 6858 1 -37.0000 -40.0000 8.11%
881.30/885.09 c 885 19822 6925 1 -37.0000 -40.0000 8.11%
886.66/890.40 c 890 19934 6969 1 -37.0000 -40.0000 8.11%
891.74/895.59 c 896 20124 7075 1 -37.0000 -40.0000 8.11%
897.12/900.95 c 901 20185 7084 1 -37.0000 -40.0000 8.11%
902.11/905.98 c 906 20338 7127 1 -37.0000 -40.0000 8.11%
908.08/912.01 c 912 20584 7191 1 -37.0000 -40.0000 8.11%
913.36/917.27 c 917 20794 7259 1 -37.0000 -40.0000 8.11%
918.44/922.37 c 922 21107 7370 1 -37.0000 -40.0000 8.11%
923.62/927.51 c 928 21291 7412 1 -37.0000 -40.0000 8.11%
929.90/933.83 c 934 21395 7442 1 -37.0000 -40.0000 8.11%
935.47/939.43 c 939 21614 7517 1 -37.0000 -40.0000 8.11%
941.06/945.04 c 945 21761 7576 1 -37.0000 -40.0000 8.11%
946.04/950.10 c 950 21925 7616 1 -37.0000 -40.0000 8.11%
951.12/955.15 c 955 22267 7712 1 -37.0000 -40.0000 8.11%
956.88/960.93 c 961 22319 7724 1 -37.0000 -40.0000 8.11%
962.35/966.46 c 966 22493 7780 1 -37.0000 -40.0000 8.11%
968.23/972.35 c 972 22536 7797 1 -37.0000 -40.0000 8.11%
974.92/979.03 c 979 22727 7852 1 -37.0000 -40.0000 8.11%
980.48/984.60 c 985 22938 7919 1 -37.0000 -40.0000 8.11%
986.06/990.21 c 990 23136 7953 1 -37.0000 -40.0000 8.11%
991.85/996.11 c 996 23214 7973 1 -37.0000 -40.0000 8.11%
997.01/1001.27 c 1001 23253 7980 1 -37.0000 -40.0000 8.11%
1002.19/1006.44 c 1006 23493 8018 1 -37.0000 -40.0000 8.11%
1008.18/1012.43 c 1012 23556 8031 1 -37.0000 -40.0000 8.11%
1013.46/1017.75 c 1018 23758 8069 1 -37.0000 -40.0000 8.11%
1018.93/1023.24 c 1023 24006 8129 1 -37.0000 -40.0000 8.11%
1024.91/1029.27 c 1029 24287 8242 1 -37.0000 -40.0000 8.11%
1031.38/1035.74 c 1036 24435 8282 1 -37.0000 -40.0000 8.11%
1037.07/1041.44 c 1041 24556 8335 1 -37.0000 -40.0000 8.11%
1043.04/1047.48 c 1047 24732 8409 1 -37.0000 -40.0000 8.11%
1048.03/1052.49 c 1052 24904 8464 1 -37.0000 -40.0000 8.11%
1053.10/1057.50 c 1058 25090 8542 1 -37.0000 -40.0000 8.11%
1059.17/1063.60 c 1064 25243 8585 1 -37.0000 -40.0000 8.11%
1064.36/1068.85 c 1069 25394 8614 1 -37.0000 -40.0000 8.11%
1069.94/1074.48 c 1074 25624 8667 1 -37.0000 -40.0000 8.11%
1075.72/1080.23 c 1080 25858 8709 1 -37.0000 -40.0000 8.11%
1082.00/1086.59 c 1087 25963 8719 1 -37.0000 -40.0000 8.11%
1084.19/1088.79 c * 1089 26044 8744 1 -38.0000 -40.0000 5.26%
1087.97/1092.56 c 1093 26376 3293 1 -38.0000 -40.0000 5.26%
1095.14/1099.79 c 1100 26645 3340 1 -38.0000 -40.0000 5.26%
1102.02/1106.69 c 1107 26841 3366 1 -38.0000 -40.0000 5.26%
1107.60/1112.29 c 1112 26994 3383 1 -38.0000 -40.0000 5.26%
1113.27/1117.97 c 1118 27122 3421 1 -38.0000 -40.0000 5.26%
1119.05/1123.78 c 1124 27258 3477 1 -38.0000 -40.0000 5.26%
1125.12/1129.82 c 1130 27330 3493 1 -38.0000 -40.0000 5.26%
1131.00/1135.77 c 1136 27452 3517 1 -38.0000 -40.0000 5.26%
1137.29/1142.03 c 1142 27497 3532 1 -38.0000 -40.0000 5.26%
1143.05/1147.80 c 1148 27577 3544 1 -38.0000 -40.0000 5.26%
1148.35/1153.17 c 1153 27709 3568 1 -38.0000 -40.0000 5.26%
1154.51/1159.39 c 1159 27862 3586 1 -38.0000 -40.0000 5.26%
1159.69/1164.55 c 1165 28109 3637 1 -38.0000 -40.0000 5.26%
1165.97/1170.80 c 1171 28346 3645 1 -38.0000 -40.0000 5.26%
1171.94/1176.85 c 1177 28543 3642 1 -38.0000 -40.0000 5.26%
1179.01/1184.01 c 1184 28814 3649 1 -38.0000 -40.0000 5.26%
1184.78/1189.73 c 1190 29299 3658 1 -38.0000 -40.0000 5.26%
1190.76/1195.75 c 1196 29637 3658 1 -38.0000 -40.0000 5.26%
1196.94/1201.92 c 1202 30097 3676 1 -38.0000 -40.0000 5.26%
1203.12/1208.18 c 1208 30274 3681 1 -38.0000 -40.0000 5.26%
1208.78/1213.83 c 1214 30580 3719 1 -38.0000 -40.0000 5.26%
1214.08/1219.18 c 1219 30703 3720 1 -38.0000 -40.0000 5.26%
1220.34/1225.45 c 1225 30968 3727 1 -38.0000 -40.0000 5.26%
1225.41/1230.56 c 1231 31356 3793 1 -38.0000 -40.0000 5.26%
1231.09/1236.26 c 1236 31707 3852 1 -38.0000 -40.0000 5.26%
1236.57/1241.73 c 1242 32113 3874 1 -38.0000 -40.0000 5.26%
1241.75/1246.92 c 1247 32458 3891 1 -38.0000 -40.0000 5.26%
1247.22/1252.43 c 1252 32941 3914 1 -38.0000 -40.0000 5.26%
1252.30/1257.50 c 1258 33366 3967 1 -38.0000 -40.0000 5.26%
1257.37/1262.66 c 1263 33663 3982 1 -38.0000 -40.0000 5.26%
1262.87/1268.12 c 1268 33755 3992 1 -38.0000 -40.0000 5.26%
1268.93/1274.23 c 1274 33823 4028 1 -38.0000 -40.0000 5.26%
1274.31/1279.66 c 1280 34020 4093 1 -38.0000 -40.0000 5.26%
1279.80/1285.14 c 1285 34296 4106 1 -38.0000 -40.0000 5.26%
1285.26/1290.60 c 1291 34641 4129 1 -38.0000 -40.0000 5.26%
1290.34/1295.74 c 1296 34963 4185 1 -38.0000 -40.0000 5.26%
1296.32/1301.71 c 1302 35216 4180 1 -38.0000 -40.0000 5.26%
1301.39/1306.87 c 1307 35439 4193 1 -38.0000 -40.0000 5.26%
1306.77/1312.24 c 1312 35709 4201 1 -38.0000 -40.0000 5.26%
1311.85/1317.31 c 1317 36046 4226 1 -38.0000 -40.0000 5.26%
1317.42/1322.91 c 1323 36231 4231 1 -38.0000 -40.0000 5.26%
1322.80/1328.31 c 1328 36500 4230 1 -38.0000 -40.0000 5.26%
1328.67/1334.29 c 1334 36675 4229 1 -38.0000 -40.0000 5.26%
1334.56/1340.16 c 1340 36974 4283 1 -38.0000 -40.0000 5.26%
1340.54/1346.16 c 1346 37085 4284 1 -38.0000 -40.0000 5.26%
1345.81/1351.40 c 1351 37376 4286 1 -38.0000 -40.0000 5.26%
1351.18/1356.86 c 1357 37686 4318 1 -38.0000 -40.0000 5.26%
1356.26/1361.96 c 1362 37800 4330 1 -38.0000 -40.0000 5.26%
1361.74/1367.47 c 1367 38104 4338 1 -38.0000 -40.0000 5.26%
1367.11/1372.89 c 1373 38414 4364 1 -38.0000 -40.0000 5.26%
1372.69/1378.44 c 1378 38589 4369 1 -38.0000 -40.0000 5.26%
1377.97/1383.79 c 1384 38703 4369 1 -38.0000 -40.0000 5.26%
1384.05/1389.84 c 1390 38795 4375 1 -38.0000 -40.0000 5.26%
1390.03/1395.81 c 1396 38988 4382 1 -38.0000 -40.0000 5.26%
1395.11/1400.91 c 1401 39254 4406 1 -38.0000 -40.0000 5.26%
1400.19/1406.06 c 1406 39589 4473 1 -38.0000 -40.0000 5.26%
1405.28/1411.14 c 1411 39954 4499 1 -38.0000 -40.0000 5.26%
1410.44/1416.37 c 1416 40246 4539 1 -38.0000 -40.0000 5.26%
1416.13/1422.06 c 1422 40594 4597 1 -38.0000 -40.0000 5.26%
1421.58/1427.57 c 1428 40970 4601 1 -38.0000 -40.0000 5.26%
1427.08/1433.02 c 1433 41193 4600 1 -38.0000 -40.0000 5.26%
1432.24/1438.28 c 1438 41379 4624 1 -38.0000 -40.0000 5.26%
1437.62/1443.64 c 1444 41629 4632 1 -38.0000 -40.0000 5.26%
1442.81/1448.80 c 1449 41941 4648 1 -38.0000 -40.0000 5.26%
1447.78/1453.87 c 1454 42380 4679 1 -38.0000 -40.0000 5.26%
1452.86/1458.92 c 1459 42850 4705 1 -38.0000 -40.0000 5.26%
1457.95/1464.07 c 1464 43288 4735 1 -38.0000 -40.0000 5.26%
1463.02/1469.12 c 1469 43723 4740 1 -38.0000 -40.0000 5.26%
1468.49/1474.61 c 1475 43955 4748 1 -38.0000 -40.0000 5.26%
1476.16/1482.31 c 1482 44360 4767 1 -38.0000 -40.0000 5.26%
1481.95/1488.13 c 1488 44719 4788 1 -38.0000 -40.0000 5.26%
1487.01/1493.24 c 1493 45109 4840 1 -38.0000 -40.0000 5.26%
1492.40/1498.60 c 1499 45417 4868 1 -38.0000 -40.0000 5.26%
1498.07/1504.33 c 1504 45746 4879 1 -38.0000 -40.0000 5.26%
1503.15/1509.41 c 1509 46122 4921 1 -38.0000 -40.0000 5.26%
1509.42/1515.71 c 1516 46311 4954 1 -38.0000 -40.0000 5.26%
1515.10/1521.44 c 1521 46441 4974 1 -38.0000 -40.0000 5.26%
1520.08/1526.49 c 1526 46519 4986 1 -38.0000 -40.0000 5.26%
1525.35/1531.75 c 1532 46740 5003 1 -38.0000 -40.0000 5.26%
1530.44/1536.84 c 1537 47050 4995 1 -38.0000 -40.0000 5.26%
1535.91/1542.30 c 1542 47260 4995 1 -38.0000 -40.0000 5.26%
1541.00/1547.47 c 1547 47609 4998 1 -38.0000 -40.0000 5.26%
1546.07/1552.54 c 1553 47968 4973 1 -38.0000 -40.0000 5.26%
1551.15/1557.69 c 1558 48271 4978 1 -38.0000 -40.0000 5.26%
1556.32/1562.88 c 1563 48670 5005 1 -38.0000 -40.0000 5.26%
1562.31/1568.88 c 1569 48954 5025 1 -38.0000 -40.0000 5.26%
1568.97/1575.56 c 1576 49239 5026 1 -38.0000 -40.0000 5.26%
1574.16/1580.71 c 1581 49572 5036 1 -38.0000 -40.0000 5.26%
1579.34/1585.92 c 1586 49884 5064 1 -38.0000 -40.0000 5.26%
1585.71/1592.38 c 1592 50135 5077 1 -38.0000 -40.0000 5.26%
1591.88/1598.58 c 1599 50389 5072 1 -38.0000 -40.0000 5.26%
1597.87/1604.58 c 1605 50730 5071 1 -38.0000 -40.0000 5.26%
1604.63/1611.35 c 1611 50997 5106 1 -38.0000 -40.0000 5.26%
1610.01/1616.70 c 1617 51029 5110 1 -38.0000 -40.0000 5.26%
1615.09/1621.81 c 1622 51449 5170 1 -38.0000 -40.0000 5.26%
1620.38/1627.12 c 1627 51800 5189 1 -38.0000 -40.0000 5.26%
1625.37/1632.19 c 1632 52194 5221 1 -38.0000 -40.0000 5.26%
1630.43/1637.24 c 1637 52693 5278 1 -38.0000 -40.0000 5.26%
1635.51/1642.33 c 1642 53142 5329 1 -38.0000 -40.0000 5.26%
1641.09/1647.95 c 1648 53405 5334 1 -38.0000 -40.0000 5.26%
1646.86/1653.76 c 1654 53648 5383 1 -38.0000 -40.0000 5.26%
1653.34/1660.22 c 1660 53739 5404 1 -38.0000 -40.0000 5.26%
1659.02/1665.91 c 1666 54019 5408 1 -38.0000 -40.0000 5.26%
1664.50/1671.43 c 1671 54095 5416 1 -38.0000 -40.0000 5.26%
1669.48/1676.47 c 1676 54406 5437 1 -38.0000 -40.0000 5.26%
1674.46/1681.49 c 1681 54716 5468 1 -38.0000 -40.0000 5.26%
1679.93/1686.96 c 1687 55087 5509 1 -38.0000 -40.0000 5.26%
1685.02/1692.06 c 1692 55499 5577 1 -38.0000 -40.0000 5.26%
1690.59/1697.67 c 1698 55930 5611 1 -38.0000 -40.0000 5.26%
1695.67/1702.78 c 1703 56312 5645 1 -38.0000 -40.0000 5.26%
1700.95/1708.10 c 1708 56674 5659 1 -38.0000 -40.0000 5.26%
1706.63/1713.78 c 1714 56984 5695 1 -38.0000 -40.0000 5.26%
1712.02/1719.11 c 1719 57321 5714 1 -38.0000 -40.0000 5.26%
1716.99/1724.17 c 1724 57807 5772 1 -38.0000 -40.0000 5.26%
1723.36/1730.55 c 1731 58048 5803 1 -38.0000 -40.0000 5.26%
1728.43/1735.67 c 1736 58236 5833 1 -38.0000 -40.0000 5.26%
1733.61/1740.80 c 1741 58707 5849 1 -38.0000 -40.0000 5.26%
1739.29/1746.58 c 1747 59037 5867 1 -38.0000 -40.0000 5.26%
1744.47/1751.75 c 1752 59441 5893 1 -38.0000 -40.0000 5.26%
1749.55/1756.81 c 1757 59827 5929 1 -38.0000 -40.0000 5.26%
1754.53/1761.90 c 1762 60155 5948 1 -38.0000 -40.0000 5.26%
1760.21/1767.52 c 1768 60494 5989 1 -38.0000 -40.0000 5.26%
1765.19/1772.58 c 1773 60835 6036 1 -38.0000 -40.0000 5.26%
1770.27/1777.66 c 1778 61189 6052 1 -38.0000 -40.0000 5.26%
1775.66/1783.01 c 1783 61354 6045 1 -38.0000 -40.0000 5.26%
1781.02/1788.47 c 1788 61612 6047 1 -38.0000 -40.0000 5.26%
1786.40/1793.80 c 1794 61766 6047 1 -38.0000 -40.0000 5.26%
1791.59/1799.04 c 1799 62137 6063 1 -38.0000 -40.0000 5.26%
1796.67/1804.15 c 1804 62562 6102 1 -38.0000 -40.0000 5.26%
1802.65/1810.13 c 1810 62986 6162 1 -38.0000 -40.0000 5.26%
1808.01/1815.57 c 1816 63218 6170 1 -38.0000 -40.0000 5.26%
1813.99/1821.55 c 1822 63355 6177 1 -38.0000 -40.0000 5.26%
1819.86/1827.40 c 1827 63486 6206 1 -38.0000 -40.0000 5.26%
1825.24/1832.85 c 1833 63624 6212 1 -38.0000 -40.0000 5.26%
1830.62/1838.27 c 1838 63798 6232 1 -38.0000 -40.0000 5.26%
1835.81/1843.42 c 1843 64020 6244 1 -38.0000 -40.0000 5.26%
1842.28/1849.92 c 1850 64285 6263 1 -38.0000 -40.0000 5.26%
1848.05/1855.70 c 1856 64506 6282 1 -38.0000 -40.0000 5.26%
1853.04/1860.75 c 1861 64861 6291 1 -38.0000 -40.0000 5.26%
1858.11/1865.83 c 1866 65275 6319 1 -38.0000 -40.0000 5.26%
1863.10/1870.89 c 1871 65697 6307 1 -38.0000 -40.0000 5.26%
1868.17/1875.96 c 1876 66050 6352 1 -38.0000 -40.0000 5.26%
1873.26/1881.04 c 1881 66441 6409 1 -38.0000 -40.0000 5.26%
1878.33/1886.12 c 1886 66691 6457 1 -38.0000 -40.0000 5.26%
1883.31/1891.19 c 1891 67126 6504 1 -38.0000 -40.0000 5.26%
1888.38/1896.29 c 1896 67604 6550 1 -38.0000 -40.0000 5.26%
1893.46/1901.34 c 1901 68090 6582 1 -38.0000 -40.0000 5.26%
1898.75/1906.63 c 1907 68173 6593 1 -38.0000 -40.0000 5.26%
1904.53/1912.47 c 1912 68425 6617 1 -38.0000 -40.0000 5.26%
1910.51/1918.43 c 1918 68605 6637 1 -38.0000 -40.0000 5.26%
1916.58/1924.53 c 1925 68825 6677 1 -38.0000 -40.0000 5.26%
1922.37/1930.33 c 1930 69146 6702 1 -38.0000 -40.0000 5.26%
1928.24/1936.28 c 1936 69324 6740 1 -38.0000 -40.0000 5.26%
1933.42/1941.49 c 1941 69495 6763 1 -38.0000 -40.0000 5.26%
1939.30/1947.36 c 1947 69751 6805 1 -38.0000 -40.0000 5.26%
1945.38/1953.40 c 1953 70025 6863 1 -38.0000 -40.0000 5.26%
1951.35/1959.41 c 1959 70354 6918 1 -38.0000 -40.0000 5.26%
1956.34/1964.48 c 1964 70827 6977 1 -38.0000 -40.0000 5.26%
1961.38/1969.53 c 1970 71130 7014 1 -38.0000 -40.0000 5.26%
1966.56/1974.78 c 1975 71463 7058 1 -38.0000 -40.0000 5.26%
1971.64/1979.84 c 1980 71860 7091 1 -38.0000 -40.0000 5.26%
1976.72/1985.01 c 1985 72274 7109 1 -38.0000 -40.0000 5.26%
1982.18/1990.49 c 1990 72533 7133 1 -38.0000 -40.0000 5.26%
1987.88/1996.12 c 1996 72785 7161 1 -38.0000 -40.0000 5.26%
1993.25/2001.56 c 2002 73178 7206 1 -38.0000 -40.0000 5.26%
1998.32/2006.66 c 2007 73558 7240 1 -38.0000 -40.0000 5.26%
2004.40/2012.77 c 2013 73906 7276 1 -38.0000 -40.0000 5.26%
2009.88/2018.25 c 2018 74204 7306 1 -38.0000 -40.0000 5.26%
2015.15/2023.50 c 2024 74451 7335 1 -38.0000 -40.0000 5.26%
2021.04/2029.45 c 2029 74750 7366 1 -38.0000 -40.0000 5.26%
2026.51/2034.97 c 2035 75115 7389 1 -38.0000 -40.0000 5.26%
2031.70/2040.14 c 2040 75347 7421 1 -38.0000 -40.0000 5.26%
2037.68/2046.16 c 2046 75617 7461 1 -38.0000 -40.0000 5.26%
2044.23/2052.75 c 2053 75944 7488 1 -38.0000 -40.0000 5.26%
2049.71/2058.21 c 2058 76323 7511 1 -38.0000 -40.0000 5.26%
2054.69/2063.28 c 2063 76826 7514 1 -38.0000 -40.0000 5.26%
2060.07/2068.62 c 2069 77079 7551 1 -38.0000 -40.0000 5.26%
2065.06/2073.64 c 2074 77354 7580 1 -38.0000 -40.0000 5.26%
2071.33/2079.96 c 2080 77618 7608 1 -38.0000 -40.0000 5.26%
2076.90/2085.56 c 2086 77966 7636 1 -38.0000 -40.0000 5.26%
2082.58/2091.24 c 2091 78309 7673 1 -38.0000 -40.0000 5.26%
2087.55/2096.29 c 2096 78732 7720 1 -38.0000 -40.0000 5.26%
2092.64/2101.38 c 2101 79128 7746 1 -38.0000 -40.0000 5.26%
2098.21/2106.94 c 2107 79504 7792 1 -38.0000 -40.0000 5.26%
2103.29/2112.06 c 2112 79963 7833 1 -38.0000 -40.0000 5.26%
2108.37/2117.13 c 2117 80399 7893 1 -38.0000 -40.0000 5.26%
2113.63/2122.45 c 2122 80908 7960 1 -38.0000 -40.0000 5.26%
2118.91/2127.70 c 2128 81350 8010 1 -38.0000 -40.0000 5.26%
2123.98/2132.80 c 2133 81735 8073 1 -38.0000 -40.0000 5.26%
2129.46/2138.36 c 2138 82093 8109 1 -38.0000 -40.0000 5.26%
2135.25/2144.17 c 2144 82462 8136 1 -38.0000 -40.0000 5.26%
2140.92/2149.82 c 2150 82734 8148 1 -38.0000 -40.0000 5.26%
2146.00/2154.90 c 2155 83168 8178 1 -38.0000 -40.0000 5.26%
2151.27/2160.26 c 2160 83334 8196 1 -38.0000 -40.0000 5.26%
2156.95/2165.93 c 2166 83688 8218 1 -38.0000 -40.0000 5.26%
2162.63/2171.69 c 2172 84096 8234 1 -38.0000 -40.0000 5.26%
2168.29/2177.32 c 2177 84516 8266 1 -38.0000 -40.0000 5.26%
2173.27/2182.37 c 2182 84997 8331 1 -38.0000 -40.0000 5.26%
2178.65/2187.74 c 2188 85089 8333 1 -38.0000 -40.0000 5.26%
2183.73/2192.81 c 2193 85199 8347 1 -38.0000 -40.0000 5.26%
2190.80/2199.97 c 2200 85521 8383 1 -38.0000 -40.0000 5.26%
2196.08/2205.21 c 2205 85625 8391 1 -38.0000 -40.0000 5.26%
2202.26/2211.42 c 2211 85693 8399 1 -38.0000 -40.0000 5.26%
2207.54/2216.76 c 2217 86038 8412 1 -38.0000 -40.0000 5.26%
2212.62/2221.87 c 2222 86446 8418 1 -38.0000 -40.0000 5.26%
2218.40/2227.60 c 2228 86621 8423 1 -38.0000 -40.0000 5.26%
2224.47/2233.78 c 2234 86938 8442 1 -38.0000 -40.0000 5.26%
2230.26/2239.58 c 2240 87062 8447 1 -38.0000 -40.0000 5.26%
2235.33/2244.68 c 2245 87496 8471 1 -38.0000 -40.0000 5.26%
2240.42/2249.73 c 2250 87778 8483 1 -38.0000 -40.0000 5.26%
2245.49/2254.83 c 2255 88173 8484 1 -38.0000 -40.0000 5.26%
2252.27/2261.62 c 2262 88362 8491 1 -38.0000 -40.0000 5.26%
2258.05/2267.45 c 2267 88442 8497 1 -38.0000 -40.0000 5.26%
2263.64/2273.09 c 2273 88580 8495 1 -38.0000 -40.0000 5.26%
2269.50/2278.97 c 2279 88815 8498 1 -38.0000 -40.0000 5.26%
2274.69/2284.12 c 2284 89176 8479 1 -38.0000 -40.0000 5.26%
2280.06/2289.56 c 2290 89394 8471 1 -38.0000 -40.0000 5.26%
2285.13/2294.63 c 2295 89788 8487 1 -38.0000 -40.0000 5.26%
2291.01/2300.55 c 2301 89972 8489 1 -38.0000 -40.0000 5.26%
2296.19/2305.79 c 2306 90203 8504 1 -38.0000 -40.0000 5.26%
2302.36/2311.94 c 2312 90474 8519 1 -38.0000 -40.0000 5.26%
2307.64/2317.23 c 2317 90865 8554 1 -38.0000 -40.0000 5.26%
2312.72/2322.32 c 2322 91330 8583 1 -38.0000 -40.0000 5.26%
2317.90/2327.53 c 2328 91734 8639 1 -38.0000 -40.0000 5.26%
2323.08/2332.77 c 2333 92095 8671 1 -38.0000 -40.0000 5.26%
2328.15/2337.81 c 2338 92524 8688 1 -38.0000 -40.0000 5.26%
2333.53/2343.23 c 2343 92756 8700 1 -38.0000 -40.0000 5.26%
2338.92/2348.67 c 2349 93074 8722 1 -38.0000 -40.0000 5.26%
2344.99/2354.75 c 2355 93312 8734 1 -38.0000 -40.0000 5.26%
2351.06/2360.88 c 2361 93659 8745 1 -38.0000 -40.0000 5.26%
2356.95/2366.70 c 2367 93998 8768 1 -38.0000 -40.0000 5.26%
2361.92/2371.77 c 2372 94426 8776 1 -38.0000 -40.0000 5.26%
2367.21/2377.07 c 2377 94633 8769 1 -38.0000 -40.0000 5.26%
2372.48/2382.38 c 2382 94856 8784 1 -38.0000 -40.0000 5.26%
2377.96/2387.87 c 2388 95109 8803 1 -38.0000 -40.0000 5.26%
2383.53/2393.40 c 2393 95456 8818 1 -38.0000 -40.0000 5.26%
2388.71/2398.64 c 2399 95773 8853 1 -38.0000 -40.0000 5.26%
2393.79/2403.71 c 2404 96149 8867 1 -38.0000 -40.0000 5.26%
2399.18/2409.19 c 2409 96544 8880 1 -38.0000 -40.0000 5.26%
2404.25/2414.25 c 2414 96975 8929 1 -38.0000 -40.0000 5.26%
2409.33/2419.30 c 2419 97413 8963 1 -38.0000 -40.0000 5.26%
2414.71/2424.78 c 2425 97682 8956 1 -38.0000 -40.0000 5.26%
2420.58/2430.61 c 2431 98024 8988 1 -38.0000 -40.0000 5.26%
2427.75/2437.82 c 2438 98125 8995 1 -38.0000 -40.0000 5.26%
2433.63/2443.79 c 2444 98281 8993 1 -38.0000 -40.0000 5.26%
2440.70/2450.84 c 2451 98572 8990 1 -38.0000 -40.0000 5.26%
2446.28/2456.45 c 2456 98929 9021 1 -38.0000 -40.0000 5.26%
2452.46/2462.60 c 2463 98975 9023 1 -38.0000 -40.0000 5.26%
2457.85/2468.10 c 2468 99082 9030 1 -38.0000 -40.0000 5.26%
2462.94/2473.17 c 2473 99302 9062 1 -38.0000 -40.0000 5.26%
2468.00/2478.25 c 2478 99596 9095 1 -38.0000 -40.0000 5.26%
2473.28/2483.58 c 2484 99926 9111 1 -38.0000 -40.0000 5.26%
2479.07/2489.34 c 2489 100162 9155 1 -38.0000 -40.0000 5.26%
2485.04/2495.31 c 2495 100223 9164 1 -38.0000 -40.0000 5.26%
2490.51/2500.80 c 2501 100404 9151 1 -38.0000 -40.0000 5.26%
2496.10/2506.44 c 2506 100605 9158 1 -38.0000 -40.0000 5.26%
2501.07/2511.49 c 2511 101015 9172 1 -38.0000 -40.0000 5.26%
2506.26/2516.62 c 2517 101336 9191 1 -38.0000 -40.0000 5.26%
2512.23/2522.63 c 2523 101591 9205 1 -38.0000 -40.0000 5.26%
2518.01/2528.49 c 2528 101650 9214 1 -38.0000 -40.0000 5.26%
2523.39/2533.80 c 2534 101711 9215 1 -38.0000 -40.0000 5.26%
2528.68/2539.13 c 2539 101988 9254 1 -38.0000 -40.0000 5.26%
2533.85/2544.32 c 2544 102357 9313 1 -38.0000 -40.0000 5.26%
2538.94/2549.47 c 2549 102708 9364 1 -38.0000 -40.0000 5.26%
2544.63/2555.18 c 2555 102983 9373 1 -38.0000 -40.0000 5.26%
2550.99/2561.50 c 2562 103270 9382 1 -38.0000 -40.0000 5.26%
2556.48/2567.02 c 2567 103356 9384 1 -38.0000 -40.0000 5.26%
2563.24/2573.82 c 2574 103428 9390 1 -38.0000 -40.0000 5.26%
2569.63/2580.23 c 2580 103599 9386 1 -38.0000 -40.0000 5.26%
2574.91/2585.58 c 2586 103851 9414 1 -38.0000 -40.0000 5.26%
2579.99/2590.65 c 2591 104077 9468 1 -38.0000 -40.0000 5.26%
2585.48/2596.17 c 2596 104191 9478 1 -38.0000 -40.0000 5.26%
2591.24/2602.01 c 2602 104428 9513 1 -38.0000 -40.0000 5.26%
2597.22/2607.93 c 2608 104637 9516 1 -38.0000 -40.0000 5.26%
2603.69/2614.48 c 2614 104717 9511 1 -38.0000 -40.0000 5.26%
2609.07/2619.80 c 2620 104757 9519 1 -38.0000 -40.0000 5.26%
2615.73/2626.55 c 2627 104994 9500 1 -38.0000 -40.0000 5.26%
2621.71/2632.52 c 2633 105238 9522 1 -38.0000 -40.0000 5.26%
2627.38/2638.26 c 2638 105388 9512 1 -38.0000 -40.0000 5.26%
2633.57/2644.43 c 2644 105467 9511 1 -38.0000 -40.0000 5.26%
2638.85/2649.79 c 2650 105644 9524 1 -38.0000 -40.0000 5.26%
2644.43/2655.31 c 2655 105812 9530 1 -38.0000 -40.0000 5.26%
2649.70/2660.68 c 2661 105927 9529 1 -38.0000 -40.0000 5.26%
2654.98/2665.97 c 2666 106008 9544 1 -38.0000 -40.0000 5.26%
2660.26/2671.20 c 2671 106306 9549 1 -38.0000 -40.0000 5.26%
2666.93/2677.96 c 2678 106536 9545 1 -38.0000 -40.0000 5.26%
2672.50/2683.51 c 2684 106648 9535 1 -38.0000 -40.0000 5.26%
2678.69/2689.72 c 2690 106726 9541 1 -38.0000 -40.0000 5.26%
2683.77/2694.87 c 2695 106947 9546 1 -38.0000 -40.0000 5.26%
2688.85/2700.01 c 2700 107167 9544 1 -38.0000 -40.0000 5.26%
2694.03/2705.16 c 2705 107207 9552 1 -38.0000 -40.0000 5.26%
2699.20/2710.35 c 2710 107374 9559 1 -38.0000 -40.0000 5.26%
2704.79/2716.01 c 2716 107466 9557 1 -38.0000 -40.0000 5.26%
2710.16/2721.35 c 2721 107667 9552 1 -38.0000 -40.0000 5.26%
2716.53/2727.75 c 2728 107774 9563 1 -38.0000 -40.0000 5.26%
2722.21/2733.47 c 2733 107855 9562 1 -38.0000 -40.0000 5.26%
2727.98/2739.22 c 2739 108144 9573 1 -38.0000 -40.0000 5.26%
2734.55/2745.82 c 2746 108514 9597 1 -38.0000 -40.0000 5.26%
2740.03/2751.36 c 2751 108755 9606 1 -38.0000 -40.0000 5.26%
2745.29/2756.65 c 2757 109174 9616 1 -38.0000 -40.0000 5.26%
2751.17/2762.56 c 2763 109386 9624 1 -38.0000 -40.0000 5.26%
2756.55/2767.91 c 2768 109636 9652 1 -38.0000 -40.0000 5.26%
2762.33/2773.76 c 2774 110019 9658 1 -38.0000 -40.0000 5.26%
2768.30/2779.70 c 2780 110350 9673 1 -38.0000 -40.0000 5.26%
2773.68/2785.17 c 2785 110677 9730 1 -38.0000 -40.0000 5.26%
2778.76/2790.25 c 2790 111136 9790 1 -38.0000 -40.0000 5.26%
2783.84/2795.31 c 2795 111617 9819 1 -38.0000 -40.0000 5.26%
2788.82/2800.39 c 2800 111980 9872 1 -38.0000 -40.0000 5.26%
2793.99/2805.53 c 2806 112414 9920 1 -38.0000 -40.0000 5.26%
2798.98/2810.58 c 2811 112835 10011 1 -38.0000 -40.0000 5.26%
2804.65/2816.26 c 2816 113023 10055 1 -38.0000 -40.0000 5.26%
2809.64/2821.28 c 2821 113083 10067 1 -38.0000 -40.0000 5.26%
2816.01/2827.69 c 2828 113285 10085 1 -38.0000 -40.0000 5.26%
2821.10/2832.76 c 2833 113721 10155 1 -38.0000 -40.0000 5.26%
2827.07/2838.79 c 2839 113991 10211 1 -38.0000 -40.0000 5.26%
2832.36/2844.09 c 2844 114127 10235 1 -38.0000 -40.0000 5.26%
2838.82/2850.53 c 2851 114261 10267 1 -38.0000 -40.0000 5.26%
2844.01/2855.73 c 2856 114358 10282 1 -38.0000 -40.0000 5.26%
2849.40/2861.13 c 2861 114513 10307 1 -38.0000 -40.0000 5.26%
2855.47/2867.27 c 2867 114800 10354 1 -38.0000 -40.0000 5.26%
2860.65/2872.41 c 2872 115038 10394 1 -38.0000 -40.0000 5.26%
2865.73/2877.57 c 2878 115156 10406 1 -38.0000 -40.0000 5.26%
2871.41/2883.28 c 2883 115323 10413 1 -38.0000 -40.0000 5.26%
2876.59/2888.44 c 2888 115650 10440 1 -38.0000 -40.0000 5.26%
2881.78/2893.65 c 2894 115908 10468 1 -38.0000 -40.0000 5.26%
2887.85/2899.72 c 2900 116128 10478 1 -38.0000 -40.0000 5.26%
2892.92/2904.88 c 2905 116392 10474 1 -38.0000 -40.0000 5.26%
2898.01/2909.94 c 2910 116760 10475 1 -38.0000 -40.0000 5.26%
2904.38/2916.37 c 2916 116927 10476 1 -38.0000 -40.0000 5.26%
2909.76/2921.70 c 2922 117204 10485 1 -38.0000 -40.0000 5.26%
2915.83/2927.83 c 2928 117312 10503 1 -38.0000 -40.0000 5.26%
2921.71/2933.77 c 2934 117382 10505 1 -38.0000 -40.0000 5.26%
2928.39/2940.45 c 2940 117567 10517 1 -38.0000 -40.0000 5.26%
2933.86/2945.96 c 2946 117669 10519 1 -38.0000 -40.0000 5.26%
2939.73/2951.88 c 2952 117856 10534 1 -38.0000 -40.0000 5.26%
2945.52/2957.64 c 2958 118052 10534 1 -38.0000 -40.0000 5.26%
2950.80/2962.90 c 2963 118194 10523 1 -38.0000 -40.0000 5.26%
2956.27/2968.46 c 2968 118317 10524 1 -38.0000 -40.0000 5.26%
2962.15/2974.36 c 2974 118495 10536 1 -38.0000 -40.0000 5.26%
2967.42/2979.67 c 2980 118725 10568 1 -38.0000 -40.0000 5.26%
2972.40/2984.70 c 2985 118986 10583 1 -38.0000 -40.0000 5.26%
2977.80/2990.03 c 2990 119099 10584 1 -38.0000 -40.0000 5.26%
2983.77/2996.04 c 2996 119440 10585 1 -38.0000 -40.0000 5.26%
2989.84/3002.18 c 3002 119803 10591 1 -38.0000 -40.0000 5.26%
2995.40/3007.70 c 3008 119952 10584 1 -38.0000 -40.0000 5.26%
3000.89/3013.29 c 3013 120275 10593 1 -38.0000 -40.0000 5.26%
3005.96/3018.39 c 3018 120575 10641 1 -38.0000 -40.0000 5.26%
3011.05/3023.45 c 3023 120796 10650 1 -38.0000 -40.0000 5.26%
3016.52/3028.97 c 3029 121146 10676 1 -38.0000 -40.0000 5.26%
3021.99/3034.50 c 3034 121546 10692 1 -38.0000 -40.0000 5.26%
3027.07/3039.57 c 3040 121921 10757 1 -38.0000 -40.0000 5.26%
3032.15/3044.65 c 3045 122304 10820 1 -38.0000 -40.0000 5.26%
3037.24/3049.72 c 3050 122752 10828 1 -38.0000 -40.0000 5.26%
3042.22/3054.77 c 3055 123217 10815 1 -38.0000 -40.0000 5.26%
3047.30/3059.83 c 3060 123725 10805 1 -38.0000 -40.0000 5.26%
3052.28/3064.88 c 3065 124197 10807 1 -38.0000 -40.0000 5.26%
3057.66/3070.26 c 3070 124466 10826 1 -38.0000 -40.0000 5.26%
3063.55/3076.11 c 3076 124734 10854 1 -38.0000 -40.0000 5.26%
3068.53/3081.19 c 3081 125089 10913 1 -38.0000 -40.0000 5.26%
3073.71/3086.30 c 3086 125536 10950 1 -38.0000 -40.0000 5.26%
3078.69/3091.36 c 3091 126047 10959 1 -38.0000 -40.0000 5.26%
3084.16/3096.87 c 3097 126497 11049 1 -38.0000 -40.0000 5.26%
3089.25/3101.94 c 3102 126988 11072 1 -38.0000 -40.0000 5.26%
3094.22/3107.00 c 3107 127424 11116 1 -38.0000 -40.0000 5.26%
3099.32/3112.07 c 3112 127894 11140 1 -38.0000 -40.0000 5.26%
3104.49/3117.28 c 3117 128383 11201 1 -38.0000 -40.0000 5.26%
3109.57/3122.36 c 3122 128836 11242 1 -38.0000 -40.0000 5.26%
3114.64/3127.44 c 3127 129248 11300 1 -38.0000 -40.0000 5.26%
3119.73/3132.51 c 3133 129733 11361 1 -38.0000 -40.0000 5.26%
3124.71/3137.55 c 3138 130177 11399 1 -38.0000 -40.0000 5.26%
3129.89/3142.79 c 3143 130596 11466 1 -38.0000 -40.0000 5.26%
3134.97/3147.85 c 3148 130998 11540 1 -38.0000 -40.0000 5.26%
3140.06/3152.96 c 3153 131432 11582 1 -38.0000 -40.0000 5.26%
3145.14/3158.03 c 3158 131820 11610 1 -38.0000 -40.0000 5.26%
3150.30/3163.21 c 3163 132214 11644 1 -38.0000 -40.0000 5.26%
3155.29/3168.28 c 3168 132615 11663 1 -38.0000 -40.0000 5.26%
3160.37/3173.34 c 3173 133100 11670 1 -38.0000 -40.0000 5.26%
3165.36/3178.39 c 3178 133551 11707 1 -38.0000 -40.0000 5.26%
3170.44/3183.45 c 3183 133981 11727 1 -38.0000 -40.0000 5.26%
3175.51/3188.51 c 3189 134487 11737 1 -38.0000 -40.0000 5.26%
3180.60/3193.62 c 3194 134931 11768 1 -38.0000 -40.0000 5.26%
3185.58/3198.69 c 3199 135344 11835 1 -38.0000 -40.0000 5.26%
3190.77/3203.82 c 3204 135774 11887 1 -38.0000 -40.0000 5.26%
3195.75/3208.88 c 3209 136189 11922 1 -38.0000 -40.0000 5.26%
3200.83/3213.94 c 3214 136703 11954 1 -38.0000 -40.0000 5.26%
3205.91/3219.05 c 3219 137222 11956 1 -38.0000 -40.0000 5.26%
3210.99/3224.12 c 3224 137594 12012 1 -38.0000 -40.0000 5.26%
3216.06/3229.25 c 3229 137983 12047 1 -38.0000 -40.0000 5.26%
3221.14/3234.30 c 3234 138479 12053 1 -38.0000 -40.0000 5.26%
3226.13/3239.35 c 3239 138990 12098 1 -38.0000 -40.0000 5.26%
3231.21/3244.40 c 3244 139492 12152 1 -38.0000 -40.0000 5.26%
3236.19/3249.44 c 3249 140008 12162 1 -38.0000 -40.0000 5.26%
3241.37/3254.64 c 3255 140443 12175 1 -38.0000 -40.0000 5.26%
3246.46/3259.72 c 3260 140769 12183 1 -38.0000 -40.0000 5.26%
3251.43/3264.78 c 3265 141261 12173 1 -38.0000 -40.0000 5.26%
3258.02/3271.34 c 3271 141637 12175 1 -38.0000 -40.0000 5.26%
3263.20/3276.55 c 3277 141964 12184 1 -38.0000 -40.0000 5.26%
3268.86/3282.28 c 3282 142250 12180 1 -38.0000 -40.0000 5.26%
3274.15/3287.56 c 3288 142668 12216 1 -38.0000 -40.0000 5.26%
3279.23/3292.62 c 3293 143088 12280 1 -38.0000 -40.0000 5.26%
3285.80/3299.26 c 3299 143452 12298 1 -38.0000 -40.0000 5.26%
3290.89/3304.34 c 3304 143902 12342 1 -38.0000 -40.0000 5.26%
3295.86/3309.39 c 3309 144426 12384 1 -38.0000 -40.0000 5.26%
3300.94/3314.48 c 3314 144877 12425 1 -38.0000 -40.0000 5.26%
3306.02/3319.56 c 3320 145439 12467 1 -38.0000 -40.0000 5.26%
3311.10/3324.62 c 3325 145897 12492 1 -38.0000 -40.0000 5.26%
3316.08/3329.67 c 3330 146262 12555 1 -38.0000 -40.0000 5.26%
3321.25/3334.80 c 3335 146679 12636 1 -38.0000 -40.0000 5.26%
3326.24/3339.88 c 3340 147070 12678 1 -38.0000 -40.0000 5.26%
3331.43/3345.09 c 3345 147476 12692 1 -38.0000 -40.0000 5.26%
3336.51/3350.16 c 3350 147887 12697 1 -38.0000 -40.0000 5.26%
3341.57/3355.25 c 3355 148332 12706 1 -38.0000 -40.0000 5.26%
3346.66/3360.31 c 3360 148689 12723 1 -38.0000 -40.0000 5.26%
3351.63/3365.38 c 3365 149047 12737 1 -38.0000 -40.0000 5.26%
3356.82/3370.51 c 3371 149520 12778 1 -38.0000 -40.0000 5.26%
3361.79/3375.57 c 3376 149940 12828 1 -38.0000 -40.0000 5.26%
3366.87/3380.62 c 3381 150403 12853 1 -38.0000 -40.0000 5.26%
3371.95/3385.70 c 3386 150791 12943 1 -38.0000 -40.0000 5.26%
3377.03/3390.85 c 3391 151093 12989 1 -38.0000 -40.0000 5.26%
3382.22/3396.10 c 3396 151447 13021 1 -38.0000 -40.0000 5.26%
3387.69/3401.54 c 3402 151915 13027 1 -38.0000 -40.0000 5.26%
3392.96/3406.84 c 3407 152191 13049 1 -38.0000 -40.0000 5.26%
3397.95/3411.89 c 3412 152682 13087 1 -38.0000 -40.0000 5.26%
3403.14/3417.10 c 3417 153214 13117 1 -38.0000 -40.0000 5.26%
3408.21/3422.18 c 3422 153712 13175 1 -38.0000 -40.0000 5.26%
3413.28/3427.25 c 3427 154262 13225 1 -38.0000 -40.0000 5.26%
3418.47/3432.40 c 3432 154433 13240 1 -38.0000 -40.0000 5.26%
3423.64/3437.62 c 3438 154757 13262 1 -38.0000 -40.0000 5.26%
3428.63/3442.70 c 3443 155267 13282 1 -38.0000 -40.0000 5.26%
3433.90/3447.97 c 3448 155693 13318 1 -38.0000 -40.0000 5.26%
3439.28/3453.33 c 3453 156105 13358 1 -38.0000 -40.0000 5.26%
3444.26/3458.39 c 3458 156535 13408 1 -38.0000 -40.0000 5.26%
3449.34/3463.45 c 3463 157050 13457 1 -38.0000 -40.0000 5.26%
3454.42/3468.57 c 3469 157506 13487 1 -38.0000 -40.0000 5.26%
3459.50/3473.63 c 3474 157949 13491 1 -38.0000 -40.0000 5.26%
3464.58/3478.73 c 3479 158432 13514 1 -38.0000 -40.0000 5.26%
3469.56/3483.78 c 3484 158981 13537 1 -38.0000 -40.0000 5.26%
3475.63/3489.82 c 3490 159472 13544 1 -38.0000 -40.0000 5.26%
3480.62/3494.87 c 3495 159999 13527 1 -38.0000 -40.0000 5.26%
3485.69/3499.94 c 3500 160478 13598 1 -38.0000 -40.0000 5.26%
3490.68/3504.99 c 3505 161000 13597 1 -38.0000 -40.0000 5.26%
3495.77/3510.04 c 3510 161495 13576 1 -38.0000 -40.0000 5.26%
3500.74/3515.10 c 3515 161881 13662 1 -38.0000 -40.0000 5.26%
3505.91/3520.21 c 3520 162324 13703 1 -38.0000 -40.0000 5.26%
3510.89/3525.28 c 3525 162740 13775 1 -38.0000 -40.0000 5.26%
3516.37/3530.72 c 3531 163072 13835 1 -38.0000 -40.0000 5.26%
3521.35/3535.78 c 3536 163546 13863 1 -38.0000 -40.0000 5.26%
3526.42/3540.89 c 3541 163908 13887 1 -38.0000 -40.0000 5.26%
3531.51/3545.95 c 3546 164396 13901 1 -38.0000 -40.0000 5.26%
3536.59/3551.01 c 3551 164855 13938 1 -38.0000 -40.0000 5.26%
3541.57/3556.09 c 3556 165218 13981 1 -38.0000 -40.0000 5.26%
3546.66/3561.13 c 3561 165684 13989 1 -38.0000 -40.0000 5.26%
3551.72/3566.27 c 3566 166117 14066 1 -38.0000 -40.0000 5.26%
3556.80/3571.31 c 3571 166615 14110 1 -38.0000 -40.0000 5.26%
3561.78/3576.38 c 3576 167075 14162 1 -38.0000 -40.0000 5.26%
3566.96/3581.51 c 3582 167500 14187 1 -38.0000 -40.0000 5.26%
3571.94/3586.56 c 3587 167947 14216 1 -38.0000 -40.0000 5.26%
3577.01/3591.65 c 3592 168383 14256 1 -38.0000 -40.0000 5.26%
3582.10/3596.71 c 3597 168842 14281 1 -38.0000 -40.0000 5.26%
3585.68/3600.34 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.68/3600.34 c Total Time : 3600.34
3585.68/3600.34 c solving : 3600.34
3585.68/3600.34 c presolving : 1.03 (included in solving)
3585.68/3600.34 c B&B Tree :
3585.68/3600.34 c nodes (total) : 1
3585.68/3600.34 c Solution :
3585.68/3600.34 c Solutions found : 10
3585.68/3600.34 c Primal Bound : -3.80000000000000e+01
3585.68/3600.34 c Dual Bound : -4.00000000000000e+01
3585.68/3600.34 c Gap : 5.26316 %
3585.68/3600.34 c * Warning: final gap: 5.26316e-02 is greater than SCIPepsilon: 1.00000e-09
3585.68/3600.35 o -38
3585.68/3600.35 s SATISFIABLE
3585.68/3600.35 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3585.68/3600.35 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3585.68/3600.35 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3585.68/3600.35 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3585.68/3600.35 v -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124
3585.68/3600.35 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3585.68/3600.35 v -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166
3585.68/3600.35 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187
3585.68/3600.35 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208
3585.68/3600.35 v -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3585.68/3600.35 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3585.68/3600.35 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271
3585.68/3600.35 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3585.68/3600.35 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3585.68/3600.35 v -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334
3585.68/3600.35 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355
3585.68/3600.35 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376
3585.68/3600.35 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
3585.68/3600.35 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
3585.68/3600.35 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3585.68/3600.35 v -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460
3585.68/3600.35 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
3585.68/3600.35 v -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
3585.68/3600.35 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523
3585.68/3600.35 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544
3585.68/3600.35 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
3585.68/3600.35 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
3585.68/3600.35 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607
3585.68/3600.35 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628
3585.68/3600.35 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
3585.68/3600.35 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670
3585.68/3600.35 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
3585.78/3600.44 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712
3585.78/3600.44 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733
3585.78/3600.44 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754
3585.78/3600.44 v -x755 -x756 -x757 -x758 -x759 -x760
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: 64096 MiB (60662 MiB free)
memory of node 1: 64473 MiB (58546 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434713-1721058319/watcher-4434713-1721058319 -o /tmp/evaluation-result-4434713-1721058319/solver-4434713-1721058319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801071 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434713-1721058319.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=803742, runsolver pid=803739
[startup+0.100264 s]*
/proc/loadavg: 4.75 4.41 4.20 5/250 803743
/proc/meminfo: memFree=122051532/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=37464 memory=25840 CPUtime=0.1 cores=0,2
/proc/803742/stat : 803742 (fscip) R 803739 803742 797687 0 -1 4194304 4381 0 0 0 9 1 0 0 20 0 1 0 157989070 38363136 6460 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 9366 6460 2318 3032 0 5766 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37464 KiB
Current children cumulated memory: 25840 KiB
[startup+0.213273 s]*
/proc/loadavg: 4.75 4.41 4.20 5/250 803743
/proc/meminfo: memFree=122020016/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=73820 memory=62540 CPUtime=0.21 cores=0,2
/proc/803742/stat : 803742 (fscip) R 803739 803742 797687 0 -1 4194304 13483 0 0 0 18 3 0 0 20 0 1 0 157989070 75591680 15635 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 18455 15635 2558 3032 0 14855 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73820 KiB
Current children cumulated memory: 62540 KiB
[startup+0.312933 s]*
/proc/loadavg: 4.69 4.40 4.20 5/250 803743
/proc/meminfo: memFree=122007444/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=80008 memory=68528 CPUtime=0.31 cores=0,2
/proc/803742/stat : 803742 (fscip) R 803739 803742 797687 0 -1 4194304 14958 0 0 0 27 4 0 0 20 0 1 0 157989070 81928192 17132 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 20002 17132 2606 3032 0 16402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 80008 KiB
Current children cumulated memory: 68528 KiB
[startup+0.700299 s]
/proc/loadavg: 4.69 4.40 4.20 5/250 803743
/proc/meminfo: memFree=121979880/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=98140 memory=86396 CPUtime=0.69 cores=0,2
/proc/803742/stat : 803742 (fscip) R 803739 803742 797687 0 -1 4194304 27106 0 0 0 62 7 0 0 20 0 1 0 157989070 100495360 21599 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 24535 21599 2686 3032 0 20935 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 98140 KiB
Current children cumulated memory: 86396 KiB
[startup+1.50127 s]
/proc/loadavg: 4.69 4.40 4.20 5/250 803743
/proc/meminfo: memFree=121931128/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=286276 memory=229412 CPUtime=1.48 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 56013 0 0 0 133 15 0 0 20 0 3 0 157989070 293146624 57353 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 71569 57353 2782 3032 0 63643 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 286276 KiB
Current children cumulated memory: 229412 KiB
[startup+3.10576 s]
/proc/loadavg: 4.69 4.40 4.20 5/252 803745
/proc/meminfo: memFree=121670216/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=437904 memory=384992 CPUtime=3.07 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 106976 0 0 0 282 25 0 0 20 0 3 0 157989070 448413696 96248 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 109476 96248 2942 3032 0 104718 0
[pid=803742/tid=803744] ppid=803739 vsize=437904 memory=198340509722 CPUtime=1.76 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 62479 0 0 0 163 13 0 0 20 0 3 0 157989196 448413696 96248 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=437904 memory=0 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157989213 448413696 96248 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 437904 KiB
Current children cumulated memory: 384992 KiB
[startup+6.3003 s]
/proc/loadavg: 4.71 4.41 4.20 5/252 803746
/proc/meminfo: memFree=121643172/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=503440 memory=405096 CPUtime=6.25 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 126288 0 0 0 598 27 0 0 20 0 3 0 157989070 515522560 101274 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 125860 101274 2958 3032 0 113052 0
[pid=803742/tid=803744] ppid=803739 vsize=503440 memory=0 CPUtime=4.93 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 81791 0 0 0 478 15 0 0 20 0 3 0 157989196 515522560 101274 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=503440 memory=0 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157989213 515522560 101274 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 503440 KiB
Current children cumulated memory: 405096 KiB
[startup+12.7003 s]
/proc/loadavg: 4.65 4.41 4.20 5/252 803746
/proc/meminfo: memFree=121579804/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=503440 memory=406420 CPUtime=12.62 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 151139 0 0 0 1233 29 0 0 20 0 3 0 157989070 515522560 101605 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 125860 101605 2958 3032 0 118370 0
[pid=803742/tid=803744] ppid=803739 vsize=503440 memory=0 CPUtime=11.31 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 106636 0 0 0 1114 17 0 0 20 0 3 0 157989196 515522560 101605 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=503440 memory=406420 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 157989213 515522560 101605 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 503440 KiB
Current children cumulated memory: 406420 KiB
[startup+25.5004 s]
/proc/loadavg: 4.55 4.39 4.20 5/249 803749
/proc/meminfo: memFree=121515164/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=607784 memory=468852 CPUtime=25.37 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 217279 0 0 0 2502 35 0 0 20 0 3 0 157989070 622370816 117213 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 151946 117213 2974 3032 0 145067 0
[pid=803742/tid=803744] ppid=803739 vsize=607784 memory=11420 CPUtime=24.06 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 172526 0 0 0 2383 23 0 0 20 0 3 0 157989196 622370816 117213 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=607784 memory=468708 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 157989213 622370816 117213 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 607784 KiB
Current children cumulated memory: 468852 KiB
[startup+51.1127 s]
/proc/loadavg: 4.41 4.37 4.20 5/249 803753
/proc/meminfo: memFree=121480224/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=675616 memory=498120 CPUtime=50.87 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 283575 0 0 0 5047 40 0 0 20 0 3 0 157989070 691830784 124530 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 168904 124530 2974 3032 0 152699 0
[pid=803742/tid=803744] ppid=803739 vsize=675616 memory=498120 CPUtime=49.56 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 238703 0 0 0 4928 28 0 0 20 0 3 0 157989196 691830784 124530 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=675616 memory=498120 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 157989213 691830784 124530 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 675616 KiB
Current children cumulated memory: 498120 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.33 4.19 5/250 803763
/proc/meminfo: memFree=121365696/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=741152 memory=539884 CPUtime=101.86 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 392312 0 0 0 10137 49 0 0 20 0 3 0 157989070 758939648 134971 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 185288 134971 2974 3032 0 167712 0
[pid=803742/tid=803744] ppid=803739 vsize=741152 memory=139661330768497 CPUtime=100.54 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 347134 0 0 0 10018 36 0 0 20 0 3 0 157989196 758939648 134971 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=741152 memory=539772 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 157989213 758939648 134971 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 741152 KiB
Current children cumulated memory: 539884 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.28 4.18 5/250 803773
/proc/meminfo: memFree=121206396/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=827672 memory=617416 CPUtime=161.63 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 455325 0 0 0 16106 57 0 0 20 0 3 0 157989070 847536128 154354 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 206918 154354 2974 3032 0 200386 0
[pid=803742/tid=803744] ppid=803739 vsize=827672 memory=617392 CPUtime=160.3 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 410060 0 0 0 15986 44 0 0 20 0 3 0 157989196 847536128 154354 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=827672 memory=617416 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 157989213 847536128 154354 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 827672 KiB
Current children cumulated memory: 617416 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.26 4.18 5/250 803784
/proc/meminfo: memFree=121051648/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=917016 memory=687548 CPUtime=221.38 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 519917 0 0 0 22074 64 0 0 20 0 3 0 157989070 939024384 171887 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 229254 171887 2974 3032 0 224644 0
[pid=803742/tid=803744] ppid=803739 vsize=917016 memory=6720669839557605994 CPUtime=220.05 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 474404 0 0 0 21954 51 0 0 20 0 3 0 157989196 939024384 171887 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=917016 memory=11420 CPUtime=0 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 157989213 939024384 171887 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 917016 KiB
Current children cumulated memory: 687548 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/250 803794
/proc/meminfo: memFree=121008104/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=982552 memory=691732 CPUtime=281.12 cores=0,2
################
# More data... #
################
[pid=803742] ppid=803739 vsize=2084248 memory=1848684 CPUtime=3388.48 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 3897859 0 0 0 338420 428 0 0 20 0 3 0 157989070 2134269952 462171 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 521062 462171 3294 3032 0 506418 0
[pid=803742/tid=803744] ppid=803739 vsize=2084248 memory=1848684 CPUtime=3386.86 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 3850571 0 0 0 338284 402 0 0 20 0 3 0 157989196 2134269952 462171 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2084248 memory=11420 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 138 0 0 0 1 5 0 0 20 0 3 0 157989213 2134269952 462171 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3388.48 s
Current children cumulated vsize: 2084248 KiB
Current children cumulated memory: 1848684 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.14 3.39 4/244 805633
/proc/meminfo: memFree=118662768/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2084248 memory=1848684 CPUtime=3448.24 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 3949320 0 0 0 344390 434 0 0 20 0 3 0 157989070 2134269952 462171 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 521062 462171 3294 3032 0 506418 0
[pid=803742/tid=803744] ppid=803739 vsize=2084248 memory=1848684 CPUtime=3446.61 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 3902016 0 0 0 344253 408 0 0 20 0 3 0 157989196 2134269952 462171 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2084248 memory=11420 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 140 0 0 0 1 5 0 0 20 0 3 0 157989213 2134269952 462171 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3448.24 s
Current children cumulated vsize: 2084248 KiB
Current children cumulated memory: 1848684 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.13 3.36 4/244 805643
/proc/meminfo: memFree=118547728/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2084248 memory=1872808 CPUtime=3508.01 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 4015548 0 0 0 350358 443 0 0 20 0 3 0 157989070 2134269952 468202 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 521062 468202 3294 3032 0 515647 0
[pid=803742/tid=803744] ppid=803739 vsize=2084248 memory=42444 CPUtime=3506.36 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 3968228 0 0 0 350220 416 0 0 20 0 3 0 157989196 2134269952 468202 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2084248 memory=11420 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 142 0 0 0 1 5 0 0 20 0 3 0 157989213 2134269952 468202 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3508.01 s
Current children cumulated vsize: 2084248 KiB
Current children cumulated memory: 1872808 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.13 3.35 4/244 805654
/proc/meminfo: memFree=118503044/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2149784 memory=1893600 CPUtime=3567.76 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 4079801 0 0 0 356324 452 0 0 20 0 3 0 157989070 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 537446 473400 3294 3032 0 520594 0
[pid=803742/tid=803744] ppid=803739 vsize=2149784 memory=5540 CPUtime=3566.11 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 4032463 0 0 0 356186 425 0 0 20 0 3 0 157989196 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2149784 memory=11420 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 157989213 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3567.76 s
Current children cumulated vsize: 2149784 KiB
Current children cumulated memory: 1893600 KiB
[startup+3600.45 s]
# the end of solver process 803742 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.26 s, system=4.58 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.15 3.13 3.35 4/244 805654
/proc/meminfo: memFree=118502956/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2149784 memory=1893600 CPUtime=3569.46 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 4080057 0 0 0 356494 452 0 0 20 0 3 0 157989070 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 537446 473400 3294 3032 0 520594 0
[pid=803742/tid=803744] ppid=803739 vsize=2149784 memory=6720662164367227501 CPUtime=3567.81 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 4032719 0 0 0 356356 425 0 0 20 0 3 0 157989196 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2149784 memory=-9044459746194447340 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 157989213 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3569.46 s
Current children cumulated vsize: 2149784 KiB
Current children cumulated memory: 1893600 KiB
[startup+3590.4 s]
/proc/loadavg: 3.14 3.13 3.35 4/244 805656
/proc/meminfo: memFree=118502900/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2149784 memory=1893600 CPUtime=3575.82 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 4081190 0 0 0 357130 452 0 0 20 0 3 0 157989070 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 537446 473400 3294 3032 0 520594 0
[pid=803742/tid=803744] ppid=803739 vsize=2149784 memory=164 CPUtime=3574.18 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 4033852 0 0 0 356992 426 0 0 20 0 3 0 157989196 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2149784 memory=11420 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 157989213 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3575.82 s
Current children cumulated vsize: 2149784 KiB
Current children cumulated memory: 1893600 KiB
[startup+3596.8 s]
/proc/loadavg: 3.12 3.13 3.35 4/244 805657
/proc/meminfo: memFree=118502836/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2149784 memory=1893600 CPUtime=3582.2 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 4082072 0 0 0 357767 453 0 0 20 0 3 0 157989070 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 537446 473400 3294 3032 0 520594 0
[pid=803742/tid=803744] ppid=803739 vsize=2149784 memory=5540 CPUtime=3580.55 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 4034733 0 0 0 357629 426 0 0 20 0 3 0 157989196 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2149784 memory=1893600 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 157989213 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3582.2 s
Current children cumulated vsize: 2149784 KiB
Current children cumulated memory: 1893600 KiB
[startup+3598.4 s]
/proc/loadavg: 3.12 3.13 3.35 3/235 805688
/proc/meminfo: memFree=120432236/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2149784 memory=1893600 CPUtime=3583.79 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 4082372 0 0 0 357926 453 0 0 20 0 3 0 157989070 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 537446 473400 3294 3032 0 520594 0
[pid=803742/tid=803744] ppid=803739 vsize=2149784 memory=28412 CPUtime=3582.14 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 4035033 0 0 0 357788 426 0 0 20 0 3 0 157989196 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2149784 memory=2264 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 157989213 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 2149784 KiB
Current children cumulated memory: 1893600 KiB
[startup+3599.2 s]
/proc/loadavg: 3.12 3.13 3.35 3/235 805688
/proc/meminfo: memFree=120432528/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2149784 memory=1893600 CPUtime=3584.58 cores=0,2
/proc/803742/stat : 803742 (fscip) S 803739 803742 797687 0 -1 1077936128 4082430 0 0 0 358005 453 0 0 20 0 3 0 157989070 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 537446 473400 3294 3032 0 520594 0
[pid=803742/tid=803744] ppid=803739 vsize=2149784 memory=11420 CPUtime=3582.94 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 4035091 0 0 0 357868 426 0 0 20 0 3 0 157989196 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2149784 memory=42444 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 157989213 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 2149784 KiB
Current children cumulated memory: 1893600 KiB
[startup+3600 s]*
/proc/loadavg: 3.12 3.13 3.35 3/235 805688
/proc/meminfo: memFree=120432536/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=2149784 memory=1893600 CPUtime=3585.39 cores=0,2
/proc/803742/stat : 803742 (fscip) R 803739 803742 797687 0 -1 1077936128 4082604 0 0 0 358086 453 0 0 20 0 3 0 157989070 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 537446 473400 3294 3032 0 520594 0
[pid=803742/tid=803744] ppid=803739 vsize=2149784 memory=6720662164367227501 CPUtime=3583.75 cores=0,2
/proc/803742/task/803744/stat : 803744 (fscip) R 803739 803742 797687 0 -1 4194368 4035265 0 0 0 357948 427 0 0 20 0 3 0 157989196 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
[pid=803742/tid=803745] ppid=803739 vsize=2149784 memory=-9044459746194447340 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 3 0 157989213 2201378816 473400 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3585.39 s
Current children cumulated vsize: 2149784 KiB
Current children cumulated memory: 1893600 KiB
[startup+3600.4 s]
/proc/loadavg: 3.12 3.13 3.35 3/235 805688
/proc/meminfo: memFree=120432536/131655788 swapFree=131071996/131071996
[pid=803742] ppid=803739 vsize=1200180 memory=1089752 CPUtime=3585.78 cores=0,2
/proc/803742/stat : 803742 (fscip) R 803739 803742 797687 0 -1 4194304 4118030 0 0 0 358122 456 0 0 20 0 2 0 157989070 1228984320 272438 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
/proc/803742/statm: 300045 272438 3294 3032 0 294721 0
[pid=803742/tid=803745] ppid=803739 vsize=1200180 memory=5424 CPUtime=0.06 cores=0,2
/proc/803742/task/803745/stat : 803745 (fscip) S 803739 803742 797687 0 -1 1077936192 144 0 0 0 1 5 0 0 20 0 2 0 157989213 1228984320 272438 134679101440 4194304 16613245 140734843643616 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46039040 140734843646997 140734843647113 140734843647113 140734843654128 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 1200180 KiB
Current children cumulated memory: 1089752 KiB
Child status: 0
Real time (s): 3600.45
CPU time (s): 3585.84
CPU user time (s): 3581.26
CPU system time (s): 4.58
CPU usage (%): 99.5942
Max. virtual memory (cumulated for all children) (KiB): 2149784
Max. memory (cumulated for all children) (KiB): 1893600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.26
system time used= 4.58
maximum resident set size= 1903348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4118678
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= 9758
involuntary context switches= 25136
# summary of solver processes directly reported to runsolver:
# pid: 803742
# total CPU time (s): 3585.84
# total CPU user time (s): 3581.26
# total CPU system time (s): 4.58
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9369 second user time and 34.8889 second system time
The end
Begin job on nodeC011 at 2024-07-15 17:45:32
IDJOB=4434713
IDBENCH=146698
IDSOLVER=3064
FILE ID=nodeC011/4434713-1721058319
RUNJOBID= nodeC011-1721054725-801071
SLURM_JOB_ID= 7505475
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.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-4434713-1721058319/watcher-4434713-1721058319 -o /tmp/evaluation-result-4434713-1721058319/solver-4434713-1721058319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801071 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434713-1721058319.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=158189902
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1844.723
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3644.949
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.285
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2167.966
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3670.113
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.220
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.340
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122070152 kB
MemAvailable: 127239644 kB
Buffers: 382364 kB
Cached: 5564872 kB
SwapCached: 0 kB
Active: 652752 kB
Inactive: 8261644 kB
Active(anon): 1444 kB
Inactive(anon): 3003412 kB
Active(file): 651308 kB
Inactive(file): 5258232 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58448 kB
Writeback: 20 kB
AnonPages: 2967160 kB
Mapped: 141596 kB
Shmem: 37704 kB
KReclaimable: 200300 kB
Slab: 309924 kB
SReclaimable: 200300 kB
SUnreclaim: 109624 kB
KernelStack: 4028 kB
PageTables: 15376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1977220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1181696 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: 262984 kB
DirectMap2M: 33196032 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC011 at 2024-07-15 18:45:32