0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32542720, getVmSize() = 32542720, SCIPgetMemUsed() = 8857130, SCIPgetMemTotal() = 10624514, SCIPgetMemExternEstim() = 5420718
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 24883200, getVmSize() = 42106880, SCIPgetMemUsed() = 10222131, SCIPgetMemTotal() = 18887987, SCIPgetMemExternEstim() = 5420718
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4463989-1722378595
0.00/0.06 c Variables : 1960 (1960 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 4000
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 1468 (1468 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2817
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2817
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.08 c * 0 0 1 1 1706.0000 - -
0.09/0.13 c * 0 0 1 1 1166.0000 - -
0.09/0.13 c * 0 0 1 1 1082.0000 - -
0.09/0.15 c * 0 0 1 1 1071.0000 - -
12.15/12.20 c 12 2 1 1 1071.0000 1001.2638 6.96%
18.15/18.21 c 18 5 4 1 1071.0000 1001.2638 6.96%
23.23/23.33 c 23 9 8 1 1071.0000 1001.2638 6.96%
28.11/28.29 c * 28 42 41 1 1064.0000 1001.2638 6.27%
28.11/28.29 c * 28 42 41 1 1059.0000 1001.2638 5.77%
28.22/28.30 c * 28 42 41 1 1057.0000 1001.2638 5.57%
28.32/28.43 c * 28 42 41 1 1056.0000 1001.2638 5.47%
28.32/28.43 c 28 42 41 1 1056.0000 1001.2638 5.47%
28.42/28.51 c * 29 42 41 1 1055.0000 1001.2638 5.37%
34.01/34.11 c 34 91 39 1 1055.0000 1001.2638 5.37%
40.28/40.48 c 40 121 47 1 1055.0000 1001.5769 5.33%
47.76/47.94 c 48 160 70 1 1055.0000 1001.9026 5.30%
48.26/48.50 c * 48 160 70 1 1052.0000 1001.9026 5.00%
49.46/49.61 c * 50 199 69 1 1051.0000 1001.9026 4.90%
52.95/53.14 c 53 342 84 1 1051.0000 1002.5950 4.83%
54.04/54.29 c * 54 362 90 1 1050.0000 1002.5950 4.73%
54.94/55.15 c * 55 362 90 1 1049.0000 1002.5950 4.63%
60.42/60.65 c 61 507 95 1 1049.0000 1002.9551 4.59%
66.31/66.56 c 67 635 111 1 1049.0000 1003.3420 4.55%
67.70/67.94 c * 68 635 111 1 1048.0000 1003.3420 4.45%
71.69/71.96 c 72 802 113 1 1048.0000 1003.9967 4.38%
77.07/77.34 c * 77 811 122 1 1047.0000 1003.9967 4.28%
77.07/77.34 c 77 811 122 1 1047.0000 1003.9967 4.28%
82.86/83.14 c 83 1092 133 1 1047.0000 1004.2593 4.26%
88.94/89.28 c 89 1155 150 1 1047.0000 1004.6343 4.22%
94.61/94.95 c 95 1361 160 1 1047.0000 1004.9081 4.19%
101.00/101.35 c 101 1557 156 1 1047.0000 1004.9081 4.19%
106.38/106.72 c 107 1626 169 1 1047.0000 1005.0536 4.17%
114.06/114.49 c 114 1777 180 1 1047.0000 1005.5649 4.12%
119.84/120.26 c 120 1936 191 1 1047.0000 1006.0625 4.07%
125.62/126.01 c 126 2023 208 1 1047.0000 1006.3022 4.04%
133.60/134.03 c 134 2057 216 1 1047.0000 1006.3639 4.04%
138.69/139.18 c 139 2112 227 1 1047.0000 1006.5029 4.02%
142.77/143.29 c * 143 2136 229 1 1046.0000 1006.5638 3.92%
144.67/145.12 c 145 2166 244 1 1046.0000 1006.5638 3.92%
149.66/150.14 c 150 2227 249 1 1046.0000 1006.5777 3.92%
157.13/157.69 c 158 2466 252 1 1046.0000 1006.6506 3.91%
164.80/165.30 c 165 2592 262 1 1046.0000 1006.6667 3.91%
170.89/171.48 c 171 2702 272 1 1046.0000 1006.7477 3.90%
173.08/173.61 c * 174 2704 274 1 1044.0000 1006.7477 3.70%
176.88/177.43 c 177 2732 270 1 1044.0000 1006.8053 3.69%
182.36/182.99 c 183 2852 284 1 1044.0000 1006.9651 3.68%
189.63/190.28 c * 190 2902 290 1 1041.0000 1007.4333 3.33%
189.63/190.28 c 190 2902 290 1 1041.0000 1007.4333 3.33%
194.82/195.43 c 195 2992 290 1 1041.0000 1007.4835 3.33%
201.70/202.38 c 202 3104 300 1 1041.0000 1007.7448 3.30%
207.48/208.16 c 208 3208 324 1 1041.0000 1007.7727 3.30%
212.76/213.47 c 213 3301 339 1 1041.0000 1007.9669 3.28%
218.35/219.04 c 219 3501 341 1 1041.0000 1007.9669 3.28%
225.43/226.15 c 226 3547 345 1 1041.0000 1008.0330 3.27%
232.81/233.56 c 234 3776 350 1 1041.0000 1008.0959 3.26%
240.38/241.19 c 241 3823 357 1 1041.0000 1008.1314 3.26%
246.56/247.39 c 247 3934 370 1 1041.0000 1008.4167 3.23%
252.44/253.25 c 253 4014 378 1 1041.0000 1008.4476 3.23%
256.73/257.57 c * 258 4073 385 1 1040.0000 1008.7143 3.10%
259.62/260.45 c 260 4112 381 1 1040.0000 1008.7293 3.10%
266.41/267.24 c 267 4237 396 1 1040.0000 1008.8519 3.09%
271.89/272.75 c 273 4321 404 1 1040.0000 1008.9073 3.08%
277.87/278.73 c 279 4474 409 1 1040.0000 1008.9224 3.08%
283.16/284.10 c 284 4534 417 1 1040.0000 1008.9412 3.08%
288.94/289.86 c 290 4645 420 1 1040.0000 1008.9446 3.08%
294.82/295.77 c 296 4746 427 1 1040.0000 1008.9531 3.08%
300.50/301.40 c 301 4822 435 1 1040.0000 1009.2351 3.05%
305.49/306.47 c 306 4888 447 1 1040.0000 1009.2500 3.05%
312.86/313.81 c 314 4974 457 1 1040.0000 1009.3819 3.03%
320.24/321.20 c 321 5015 472 1 1040.0000 1009.4374 3.03%
325.62/326.64 c 327 5027 480 1 1040.0000 1009.4533 3.03%
331.02/332.05 c 332 5119 486 1 1040.0000 1009.5019 3.02%
336.49/337.55 c 338 5178 497 1 1040.0000 1009.6978 3.00%
342.38/343.44 c 343 5222 501 1 1040.0000 1009.7500 3.00%
347.46/348.56 c 349 5372 507 1 1040.0000 1009.7500 3.00%
354.53/355.65 c 356 5442 511 1 1040.0000 1009.8642 2.98%
360.22/361.34 c 361 5522 523 1 1040.0000 1009.8750 2.98%
365.01/366.19 c * 366 5580 529 1 1038.0000 1009.9168 2.78%
366.11/367.22 c 367 5596 510 1 1038.0000 1009.9168 2.78%
371.39/372.53 c 373 5710 516 1 1038.0000 1009.9168 2.78%
376.57/377.73 c 378 5768 522 1 1038.0000 1010.0025 2.77%
381.76/382.90 c 383 5878 518 1 1038.0000 1010.0025 2.77%
387.14/388.32 c 388 5902 524 1 1038.0000 1010.0831 2.76%
392.42/393.67 c 394 5957 527 1 1038.0000 1010.0831 2.76%
398.11/399.30 c 399 6079 531 1 1038.0000 1010.0831 2.76%
403.39/404.67 c 405 6145 537 1 1038.0000 1010.1148 2.76%
409.08/410.31 c 410 6214 544 1 1038.0000 1010.1176 2.76%
415.65/416.92 c 417 6322 542 1 1038.0000 1010.1225 2.76%
421.04/422.31 c 422 6395 549 1 1038.0000 1010.1615 2.76%
426.73/428.08 c 428 6441 559 1 1038.0000 1010.1649 2.76%
432.31/433.60 c 434 6555 559 1 1038.0000 1010.1649 2.76%
438.39/439.71 c 440 6643 559 1 1038.0000 1010.2185 2.75%
443.78/445.13 c 445 6677 571 1 1038.0000 1010.3684 2.73%
448.96/450.37 c 450 6788 576 1 1038.0000 1010.3684 2.73%
454.84/456.24 c 456 6807 587 1 1038.0000 1010.4440 2.73%
461.63/463.05 c 463 6846 596 1 1038.0000 1010.5449 2.72%
466.81/468.22 c 468 6964 596 1 1038.0000 1010.5449 2.72%
471.79/473.27 c 473 7002 600 1 1038.0000 1010.7048 2.70%
476.97/478.41 c 478 7041 607 1 1038.0000 1010.7048 2.70%
489.14/490.65 c 491 7104 1 1 1038.0000 1010.7048 2.70%
492.13/493.69 c * 494 7113 10 1 1037.0000 1010.7048 2.60%
494.62/496.17 c 496 7143 26 1 1037.0000 1010.7048 2.60%
501.10/502.67 c 503 7296 35 1 1037.0000 1010.7436 2.60%
507.08/508.61 c 509 7454 43 1 1037.0000 1011.0358 2.57%
512.86/514.41 c 514 7535 58 1 1037.0000 1011.6132 2.51%
518.65/520.25 c 520 7587 60 1 1037.0000 1011.7407 2.50%
524.03/525.64 c 526 7774 61 1 1037.0000 1011.7641 2.49%
530.11/531.77 c 532 7886 71 1 1037.0000 1011.8663 2.48%
535.80/537.45 c 537 7972 87 1 1037.0000 1011.9785 2.47%
541.18/542.86 c 543 8099 94 1 1037.0000 1011.9829 2.47%
546.86/548.54 c 549 8195 104 1 1037.0000 1012.0639 2.46%
552.64/554.33 c 554 8334 107 1 1037.0000 1012.1077 2.46%
558.13/559.86 c 560 8444 107 1 1037.0000 1012.1093 2.46%
563.21/564.92 c 565 8657 120 1 1037.0000 1012.1093 2.46%
568.30/570.08 c 570 8766 129 1 1037.0000 1012.3285 2.44%
576.38/578.13 c 578 8797 136 1 1037.0000 1012.4836 2.42%
582.15/583.99 c 584 8934 149 1 1037.0000 1012.7780 2.39%
587.64/589.49 c 590 9017 162 1 1037.0000 1012.8041 2.39%
592.72/594.55 c 595 9083 176 1 1037.0000 1012.8514 2.38%
597.71/599.59 c 600 9146 191 1 1037.0000 1012.8936 2.38%
603.39/605.26 c 605 9416 201 1 1037.0000 1012.9349 2.38%
608.58/610.40 c 610 9544 201 1 1037.0000 1013.0272 2.37%
614.36/616.28 c 616 9675 216 1 1037.0000 1013.1725 2.35%
620.05/621.90 c 622 9820 225 1 1037.0000 1013.2652 2.34%
625.63/627.58 c 628 9882 233 1 1037.0000 1013.2790 2.34%
631.41/633.36 c 633 9907 236 1 1037.0000 1013.3414 2.33%
637.39/639.38 c 639 10087 244 1 1037.0000 1013.3472 2.33%
642.78/644.78 c 645 10194 251 1 1037.0000 1013.4036 2.33%
648.76/650.78 c 651 10288 267 1 1037.0000 1013.5349 2.32%
654.65/656.60 c 657 10427 274 1 1037.0000 1013.5562 2.31%
659.82/661.86 c 662 10506 287 1 1037.0000 1013.6730 2.30%
665.21/667.26 c 667 10694 295 1 1037.0000 1013.6981 2.30%
670.89/672.92 c 673 10814 303 1 1037.0000 1013.7236 2.30%
677.27/679.35 c 679 11017 314 1 1037.0000 1013.7758 2.29%
683.26/685.33 c 685 11248 319 1 1037.0000 1013.8259 2.29%
688.64/690.73 c 691 11298 329 1 1037.0000 1013.8470 2.28%
693.92/696.02 c 696 11494 341 1 1037.0000 1013.9419 2.27%
699.20/701.36 c 701 11646 351 1 1037.0000 1013.9718 2.27%
704.59/706.73 c 707 11824 361 1 1037.0000 1013.9864 2.27%
710.07/712.25 c 712 11867 372 1 1037.0000 1014.0030 2.27%
715.65/717.84 c 718 11966 385 1 1037.0000 1014.0389 2.26%
721.54/723.79 c 724 12246 399 1 1037.0000 1014.0581 2.26%
727.42/729.62 c 730 12489 404 1 1037.0000 1014.0785 2.26%
732.81/735.08 c 735 12608 415 1 1037.0000 1014.1145 2.26%
737.89/740.16 c 740 12771 414 1 1037.0000 1014.1161 2.26%
742.97/745.29 c 745 12874 415 1 1037.0000 1014.1352 2.25%
748.86/751.14 c 751 13076 437 1 1037.0000 1014.1617 2.25%
755.44/757.74 c 758 13144 443 1 1037.0000 1014.2151 2.25%
761.92/764.23 c 764 13225 460 1 1037.0000 1014.2399 2.24%
767.20/769.59 c 770 13463 474 1 1037.0000 1014.2414 2.24%
772.98/775.33 c 775 13648 495 1 1037.0000 1014.3226 2.24%
778.07/780.46 c 780 13874 505 1 1037.0000 1014.3352 2.23%
787.64/790.06 c 790 13918 519 1 1037.0000 1014.3642 2.23%
793.52/795.95 c 796 14156 527 1 1037.0000 1014.3766 2.23%
798.61/801.06 c 801 14414 529 1 1037.0000 1014.3776 2.23%
804.29/806.74 c 807 14579 536 1 1037.0000 1014.3776 2.23%
811.16/813.65 c 814 14764 539 1 1037.0000 1014.3987 2.23%
817.15/819.65 c 820 14924 555 1 1037.0000 1014.4381 2.22%
822.23/824.71 c 825 15085 570 1 1037.0000 1014.4492 2.22%
827.82/830.35 c 830 15367 574 1 1037.0000 1014.4610 2.22%
834.30/836.80 c 837 15497 588 1 1037.0000 1014.5392 2.21%
840.38/842.93 c 843 15518 599 1 1037.0000 1014.5452 2.21%
847.86/850.41 c 850 15618 617 1 1037.0000 1014.5511 2.21%
852.84/855.43 c 855 15724 617 1 1037.0000 1014.5790 2.21%
858.83/861.42 c 861 15825 630 1 1037.0000 1014.5793 2.21%
863.91/866.56 c 867 15941 640 1 1037.0000 1014.6134 2.21%
870.29/872.95 c 873 16048 657 1 1037.0000 1014.6521 2.20%
875.97/878.65 c 879 16134 667 1 1037.0000 1014.6806 2.20%
881.65/884.37 c 884 16248 665 1 1037.0000 1014.6806 2.20%
887.64/890.37 c 890 16321 670 1 1037.0000 1014.6829 2.20%
894.02/896.72 c 897 16438 677 1 1037.0000 1014.6983 2.20%
899.80/902.57 c 903 16614 683 1 1037.0000 1014.7156 2.20%
905.68/908.48 c 908 16814 687 1 1037.0000 1014.8242 2.19%
910.86/913.69 c 914 16948 705 1 1037.0000 1014.8701 2.18%
917.55/920.37 c 920 17108 707 1 1037.0000 1014.8746 2.18%
923.63/926.40 c 926 17214 715 1 1037.0000 1014.9132 2.18%
928.62/931.44 c 931 17339 720 1 1037.0000 1014.9132 2.18%
934.00/936.86 c 937 17529 736 1 1037.0000 1014.9283 2.17%
939.29/942.14 c 942 17773 738 1 1037.0000 1014.9500 2.17%
945.17/948.02 c 948 17910 753 1 1037.0000 1014.9659 2.17%
950.85/953.77 c 954 18121 760 1 1037.0000 1014.9783 2.17%
956.63/959.56 c 960 18296 773 1 1037.0000 1015.0126 2.17%
962.41/965.39 c 965 18407 786 1 1037.0000 1015.0253 2.16%
968.29/971.23 c 971 18530 795 1 1037.0000 1015.0318 2.16%
974.18/977.16 c 977 18660 805 1 1037.0000 1015.0398 2.16%
979.86/982.83 c 983 18804 817 1 1037.0000 1015.0870 2.16%
985.05/988.06 c 988 18972 827 1 1037.0000 1015.0935 2.16%
990.33/993.32 c 993 19094 839 1 1037.0000 1015.1068 2.16%
995.41/998.44 c 998 19321 840 1 1037.0000 1015.1085 2.16%
1000.60/1003.68 c 1004 19476 851 1 1037.0000 1015.1345 2.15%
1006.49/1009.54 c 1010 19661 864 1 1037.0000 1015.1392 2.15%
1011.58/1014.61 c 1015 19759 890 1 1037.0000 1015.1463 2.15%
1016.86/1019.93 c 1020 19911 904 1 1037.0000 1015.1624 2.15%
1022.26/1025.34 c 1025 20051 910 1 1037.0000 1015.1696 2.15%
1022.46/1025.54 c * 1026 20051 910 1 1036.0000 1015.1696 2.05%
1027.74/1030.87 c 1031 20214 913 1 1036.0000 1015.2159 2.05%
1033.13/1036.29 c 1036 20400 925 1 1036.0000 1015.2199 2.05%
1039.91/1043.06 c 1043 20604 929 1 1036.0000 1015.2284 2.05%
1045.30/1048.45 c 1048 20791 936 1 1036.0000 1015.2404 2.04%
1050.58/1053.73 c 1054 20948 955 1 1036.0000 1015.2404 2.04%
1055.58/1058.76 c 1059 21060 963 1 1036.0000 1015.2552 2.04%
1061.26/1064.43 c 1064 21147 968 1 1036.0000 1015.2895 2.04%
1067.04/1070.26 c 1070 21317 988 1 1036.0000 1015.3040 2.04%
1072.13/1075.32 c 1075 21395 990 1 1036.0000 1015.3065 2.04%
1077.11/1080.37 c 1080 21477 1010 1 1036.0000 1015.3297 2.04%
1083.09/1086.39 c 1086 21609 1028 1 1036.0000 1015.3433 2.03%
1089.08/1092.37 c 1092 21719 1032 1 1036.0000 1015.3456 2.03%
1094.96/1098.22 c 1098 21853 1036 1 1036.0000 1015.3457 2.03%
1100.74/1104.07 c 1104 22014 1059 1 1036.0000 1015.3912 2.03%
1105.83/1109.19 c 1109 22104 1079 1 1036.0000 1015.4180 2.03%
1110.91/1114.28 c 1114 22144 1089 1 1036.0000 1015.4374 2.02%
1116.59/1119.91 c 1120 22267 1102 1 1036.0000 1015.4517 2.02%
1121.58/1124.93 c 1125 22403 1106 1 1036.0000 1015.4547 2.02%
1127.16/1130.59 c 1131 22605 1110 1 1036.0000 1015.4571 2.02%
1132.54/1135.96 c 1136 22844 1115 1 1036.0000 1015.4783 2.02%
1137.64/1141.09 c 1141 22982 1135 1 1036.0000 1015.4979 2.02%
1142.82/1146.25 c 1146 23169 1148 1 1036.0000 1015.4991 2.02%
1148.00/1151.44 c 1151 23424 1155 1 1036.0000 1015.4991 2.02%
1153.38/1156.89 c 1157 23679 1168 1 1036.0000 1015.5216 2.02%
1159.36/1162.81 c 1163 23803 1186 1 1036.0000 1015.5286 2.02%
1164.45/1167.96 c 1168 23984 1203 1 1036.0000 1015.5684 2.01%
1169.64/1173.17 c 1173 24076 1215 1 1036.0000 1015.5754 2.01%
1175.42/1178.96 c 1179 24219 1226 1 1036.0000 1015.6027 2.01%
1180.70/1184.20 c 1184 24364 1231 1 1036.0000 1015.6040 2.01%
1186.29/1189.89 c 1190 24494 1239 1 1036.0000 1015.6251 2.01%
1191.67/1195.26 c 1195 24527 1254 1 1036.0000 1015.6317 2.01%
1197.05/1200.65 c 1201 24747 1260 1 1036.0000 1015.6404 2.00%
1202.54/1206.16 c 1206 24855 1274 1 1036.0000 1015.6467 2.00%
1207.62/1211.28 c 1211 25075 1286 1 1036.0000 1015.6467 2.00%
1214.70/1218.38 c 1218 25292 1299 1 1036.0000 1015.6484 2.00%
1219.98/1223.67 c 1224 25424 1299 1 1036.0000 1015.6486 2.00%
1225.17/1228.81 c 1229 25593 1310 1 1036.0000 1015.6503 2.00%
1230.46/1234.15 c 1234 25672 1309 1 1036.0000 1015.6503 2.00%
1236.34/1240.09 c 1240 25778 1325 1 1036.0000 1015.6706 2.00%
1242.32/1246.08 c 1246 25879 1336 1 1036.0000 1015.6749 2.00%
1247.60/1251.32 c 1251 26094 1339 1 1036.0000 1015.6793 2.00%
1253.29/1257.04 c 1257 26249 1356 1 1036.0000 1015.6961 2.00%
1258.97/1262.74 c 1263 26458 1367 1 1036.0000 1015.7032 2.00%
1264.05/1267.86 c 1268 26684 1379 1 1036.0000 1015.7080 2.00%
1269.84/1273.66 c 1274 26774 1391 1 1036.0000 1015.7213 2.00%
1276.02/1279.85 c 1280 26964 1403 1 1036.0000 1015.7288 2.00%
1282.00/1285.80 c 1286 27098 1421 1 1036.0000 1015.7510 1.99%
1287.09/1290.97 c 1291 27248 1437 1 1036.0000 1015.7908 1.99%
1292.97/1296.80 c 1297 27371 1462 1 1036.0000 1015.8105 1.99%
1299.06/1302.96 c 1303 27458 1473 1 1036.0000 1015.8147 1.99%
1304.64/1308.57 c 1309 27573 1484 1 1036.0000 1015.8256 1.99%
1310.43/1314.31 c 1314 27655 1506 1 1036.0000 1015.8510 1.98%
1316.02/1319.90 c 1320 27755 1518 1 1036.0000 1015.8610 1.98%
1321.21/1325.16 c 1325 27904 1537 1 1036.0000 1015.8772 1.98%
1326.69/1330.68 c 1331 28082 1545 1 1036.0000 1015.8800 1.98%
1331.97/1335.91 c 1336 28194 1557 1 1036.0000 1015.8917 1.98%
1336.96/1340.92 c 1341 28294 1565 1 1036.0000 1015.8955 1.98%
1342.74/1346.70 c 1347 28403 1578 1 1036.0000 1015.9023 1.98%
1348.43/1352.44 c 1352 28465 1582 1 1036.0000 1015.9121 1.98%
1353.92/1357.99 c 1358 28655 1592 1 1036.0000 1015.9163 1.98%
1359.51/1363.55 c 1364 28684 1601 1 1036.0000 1015.9219 1.98%
1364.69/1368.79 c 1369 28814 1617 1 1036.0000 1015.9466 1.97%
1370.37/1374.40 c 1374 28979 1630 1 1036.0000 1015.9558 1.97%
1376.07/1380.12 c 1380 29135 1636 1 1036.0000 1015.9665 1.97%
1381.35/1385.43 c 1385 29273 1638 1 1036.0000 1015.9690 1.97%
1387.73/1391.87 c 1392 29345 1650 1 1036.0000 1015.9786 1.97%
1393.42/1397.53 c 1398 29530 1655 1 1036.0000 1015.9912 1.97%
1399.10/1403.29 c 1403 29645 1674 1 1036.0000 1015.9989 1.97%
1404.40/1408.57 c 1409 29745 1690 1 1036.0000 1016.0159 1.97%
1409.48/1413.64 c 1414 29834 1701 1 1036.0000 1016.0250 1.97%
1414.46/1418.65 c 1419 29971 1714 1 1036.0000 1016.0298 1.97%
1420.15/1424.31 c 1424 30019 1724 1 1036.0000 1016.0361 1.96%
1426.13/1430.32 c 1430 30211 1732 1 1036.0000 1016.0501 1.96%
1431.53/1435.76 c 1436 30384 1747 1 1036.0000 1016.0704 1.96%
1437.11/1441.32 c 1441 30516 1763 1 1036.0000 1016.0742 1.96%
1442.69/1446.93 c 1447 30654 1779 1 1036.0000 1016.0934 1.96%
1448.58/1452.85 c 1453 30802 1801 1 1036.0000 1016.1295 1.96%
1454.17/1458.44 c 1458 30911 1810 1 1036.0000 1016.1475 1.95%
1459.26/1463.58 c 1464 31073 1814 1 1036.0000 1016.1502 1.95%
1465.04/1469.38 c 1469 31244 1827 1 1036.0000 1016.1524 1.95%
1470.12/1474.43 c 1474 31324 1835 1 1036.0000 1016.1636 1.95%
1475.21/1479.56 c 1480 31526 1847 1 1036.0000 1016.1636 1.95%
1480.90/1485.22 c 1485 31705 1856 1 1036.0000 1016.1830 1.95%
1486.28/1490.65 c 1491 31880 1859 1 1036.0000 1016.1874 1.95%
1492.47/1496.80 c 1497 31955 1862 1 1036.0000 1016.1907 1.95%
1497.46/1501.86 c 1502 32084 1875 1 1036.0000 1016.2106 1.95%
1502.54/1506.97 c 1507 32160 1889 1 1036.0000 1016.2253 1.95%
1507.63/1512.04 c 1512 32294 1893 1 1036.0000 1016.2273 1.95%
1513.41/1517.85 c 1518 32448 1901 1 1036.0000 1016.2663 1.94%
1518.51/1522.94 c 1523 32544 1915 1 1036.0000 1016.2778 1.94%
1523.60/1528.07 c 1528 32732 1921 1 1036.0000 1016.2778 1.94%
1529.08/1533.55 c 1534 32853 1926 1 1036.0000 1016.2785 1.94%
1536.06/1540.55 c 1541 33034 1937 1 1036.0000 1016.2912 1.94%
1542.75/1547.26 c 1547 33088 1961 1 1036.0000 1016.3136 1.94%
1549.03/1553.51 c 1554 33263 1972 1 1036.0000 1016.3169 1.94%
1554.92/1559.40 c 1559 33363 1990 1 1036.0000 1016.3266 1.94%
1560.29/1564.84 c 1565 33470 1999 1 1036.0000 1016.3369 1.93%
1565.79/1570.30 c 1570 33537 1998 1 1036.0000 1016.3369 1.93%
1571.36/1575.99 c 1576 33602 2009 1 1036.0000 1016.3440 1.93%
1576.65/1581.27 c 1581 33724 2011 1 1036.0000 1016.3440 1.93%
1582.24/1586.87 c 1587 33804 2009 1 1036.0000 1016.3486 1.93%
1587.54/1592.19 c 1592 33864 2031 1 1036.0000 1016.3512 1.93%
1593.02/1597.67 c 1598 34009 2040 1 1036.0000 1016.3542 1.93%
1599.20/1603.82 c 1604 34048 2049 1 1036.0000 1016.3546 1.93%
1604.19/1608.83 c 1609 34097 2060 1 1036.0000 1016.3566 1.93%
1609.97/1614.61 c 1615 34170 2065 1 1036.0000 1016.3577 1.93%
1615.06/1619.72 c 1620 34203 2066 1 1036.0000 1016.3577 1.93%
1620.54/1625.29 c 1625 34262 2071 1 1036.0000 1016.3594 1.93%
1626.03/1630.75 c 1631 34369 2070 1 1036.0000 1016.3594 1.93%
1631.42/1636.12 c 1636 34411 2080 1 1036.0000 1016.3741 1.93%
1636.50/1641.23 c 1641 34484 2079 1 1036.0000 1016.3741 1.93%
1641.79/1646.58 c 1647 34550 2093 1 1036.0000 1016.3751 1.93%
1647.47/1652.29 c 1652 34644 2101 1 1036.0000 1016.4017 1.93%
1653.26/1658.04 c 1658 34749 2106 1 1036.0000 1016.4017 1.93%
1658.95/1663.71 c 1664 34828 2117 1 1036.0000 1016.4155 1.93%
1664.13/1668.91 c 1669 34864 2113 1 1036.0000 1016.4157 1.93%
1669.62/1674.42 c 1674 34932 2125 1 1036.0000 1016.4192 1.93%
1675.80/1680.64 c 1681 34984 2129 1 1036.0000 1016.4204 1.93%
1681.69/1686.53 c 1687 35028 2135 1 1036.0000 1016.4239 1.93%
1687.08/1691.91 c 1692 35088 2139 1 1036.0000 1016.4273 1.93%
1692.46/1697.38 c 1697 35154 2135 1 1036.0000 1016.4273 1.93%
1697.65/1702.51 c 1703 35254 2141 1 1036.0000 1016.4323 1.93%
1703.43/1708.30 c 1708 35275 2148 1 1036.0000 1016.4360 1.92%
1708.72/1713.60 c 1714 35364 2153 1 1036.0000 1016.4360 1.92%
1714.90/1719.80 c 1720 35439 2164 1 1036.0000 1016.4400 1.92%
1720.78/1725.79 c 1726 35500 2167 1 1036.0000 1016.4418 1.92%
1726.68/1731.69 c 1732 35563 2168 1 1036.0000 1016.4418 1.92%
1734.55/1739.58 c 1740 35637 2172 1 1036.0000 1016.4424 1.92%
1739.74/1744.70 c 1745 35729 2174 1 1036.0000 1016.4462 1.92%
1745.13/1750.11 c 1750 35814 2181 1 1036.0000 1016.4521 1.92%
1750.81/1755.89 c 1756 35885 2178 1 1036.0000 1016.4521 1.92%
1757.10/1762.15 c 1762 35953 2184 1 1036.0000 1016.4685 1.92%
1762.28/1767.32 c 1767 35972 2197 1 1036.0000 1016.4809 1.92%
1767.86/1772.93 c 1773 36024 2195 1 1036.0000 1016.4823 1.92%
1773.65/1778.71 c 1779 36050 2205 1 1036.0000 1016.4984 1.92%
1779.24/1784.39 c 1784 36144 2207 1 1036.0000 1016.5152 1.92%
1784.52/1789.62 c 1790 36270 2213 1 1036.0000 1016.5152 1.92%
1790.30/1795.47 c 1795 36363 2214 1 1036.0000 1016.5152 1.92%
1795.70/1800.84 c 1801 36404 2223 1 1036.0000 1016.5306 1.92%
1800.68/1805.86 c 1806 36494 2231 1 1036.0000 1016.5480 1.91%
1806.26/1811.46 c 1811 36527 2242 1 1036.0000 1016.5635 1.91%
1811.86/1817.06 c 1817 36642 2251 1 1036.0000 1016.5797 1.91%
1817.44/1822.66 c 1823 36732 2257 1 1036.0000 1016.5811 1.91%
1823.32/1828.50 c 1829 36817 2258 1 1036.0000 1016.5811 1.91%
1828.61/1833.89 c 1834 36899 2258 1 1036.0000 1016.5811 1.91%
1834.60/1839.84 c 1840 36968 2261 1 1036.0000 1016.5845 1.91%
1840.38/1845.60 c 1846 37071 2266 1 1036.0000 1016.5854 1.91%
1846.26/1851.50 c 1852 37135 2280 1 1036.0000 1016.5907 1.91%
1851.76/1857.07 c 1857 37191 2282 1 1036.0000 1016.5907 1.91%
1857.33/1862.64 c 1863 37274 2277 1 1036.0000 1016.5910 1.91%
1862.32/1867.67 c 1868 37319 2288 1 1036.0000 1016.5946 1.91%
1867.51/1872.83 c 1873 37400 2295 1 1036.0000 1016.5947 1.91%
1873.20/1878.59 c 1879 37494 2295 1 1036.0000 1016.5947 1.91%
1879.08/1884.41 c 1884 37524 2299 1 1036.0000 1016.6379 1.90%
1884.56/1889.93 c 1890 37587 2302 1 1036.0000 1016.6404 1.90%
1891.66/1897.04 c 1897 37706 2309 1 1036.0000 1016.6473 1.90%
1896.94/1902.37 c 1902 37823 2322 1 1036.0000 1016.6473 1.90%
1902.12/1907.57 c 1908 37944 2339 1 1036.0000 1016.6509 1.90%
1908.01/1913.48 c 1913 38065 2350 1 1036.0000 1016.6608 1.90%
1913.49/1918.96 c 1919 38230 2361 1 1036.0000 1016.6637 1.90%
1918.78/1924.21 c 1924 38448 2363 1 1036.0000 1016.6637 1.90%
1924.26/1929.73 c 1930 38614 2373 1 1036.0000 1016.6783 1.90%
1929.45/1934.90 c 1935 38749 2380 1 1036.0000 1016.6783 1.90%
1934.54/1940.02 c 1940 38834 2389 1 1036.0000 1016.6830 1.90%
1939.53/1945.08 c 1945 38870 2409 1 1036.0000 1016.6940 1.90%
1946.21/1951.78 c 1952 39019 2414 1 1036.0000 1016.7021 1.90%
1951.69/1957.27 c 1957 39132 2419 1 1036.0000 1016.7034 1.90%
1956.79/1962.33 c 1962 39251 2438 1 1036.0000 1016.7073 1.90%
1963.86/1969.43 c 1969 39344 2449 1 1036.0000 1016.7241 1.90%
1969.85/1975.49 c 1976 39484 2467 1 1036.0000 1016.7305 1.90%
1975.24/1980.80 c 1981 39567 2486 1 1036.0000 1016.7436 1.89%
1981.12/1986.73 c 1987 39681 2506 1 1036.0000 1016.7513 1.89%
1986.81/1992.45 c 1992 39824 2523 1 1036.0000 1016.7769 1.89%
1992.59/1998.25 c 1998 39951 2534 1 1036.0000 1016.8052 1.89%
1997.88/2003.53 c 2004 40098 2535 1 1036.0000 1016.8052 1.89%
2004.16/2009.82 c 2010 40199 2534 1 1036.0000 1016.8052 1.89%
2009.55/2015.21 c 2015 40264 2539 1 1036.0000 1016.8058 1.89%
2015.03/2020.70 c 2021 40341 2546 1 1036.0000 1016.8111 1.89%
2020.12/2025.85 c 2026 40454 2547 1 1036.0000 1016.8111 1.89%
2027.21/2032.92 c 2033 40524 2553 1 1036.0000 1016.8160 1.89%
2032.20/2037.95 c 2038 40604 2559 1 1036.0000 1016.8229 1.89%
2037.98/2043.75 c 2044 40734 2567 1 1036.0000 1016.8379 1.88%
2044.27/2050.02 c 2050 40844 2573 1 1036.0000 1016.8496 1.88%
2050.64/2056.48 c 2056 40934 2585 1 1036.0000 1016.8539 1.88%
2056.34/2062.12 c 2062 41008 2597 1 1036.0000 1016.8585 1.88%
2062.33/2068.18 c 2068 41038 2603 1 1036.0000 1016.8647 1.88%
2067.81/2073.68 c 2074 41144 2617 1 1036.0000 1016.8792 1.88%
2073.89/2079.72 c 2080 41254 2633 1 1036.0000 1016.9008 1.88%
2079.68/2085.57 c 2086 41332 2651 1 1036.0000 1016.9283 1.88%
2085.56/2091.43 c 2091 41384 2655 1 1036.0000 1016.9498 1.87%
2091.15/2097.07 c 2097 41471 2672 1 1036.0000 1016.9628 1.87%
2096.83/2102.77 c 2103 41575 2678 1 1036.0000 1016.9841 1.87%
2102.31/2108.26 c 2108 41730 2683 1 1036.0000 1016.9866 1.87%
2108.61/2114.55 c 2115 41819 2694 1 1036.0000 1016.9918 1.87%
2113.59/2119.56 c 2120 41855 2702 1 1036.0000 1016.9964 1.87%
2119.57/2125.57 c 2126 42031 2714 1 1036.0000 1016.9978 1.87%
2125.16/2131.13 c 2131 42092 2717 1 1036.0000 1017.0000 1.87%
2130.15/2136.16 c 2136 42192 2731 1 1036.0000 1017.0059 1.87%
2135.63/2141.63 c 2142 42274 2745 1 1036.0000 1017.0145 1.87%
2141.41/2147.42 c 2147 42360 2771 1 1036.0000 1017.0245 1.87%
2146.71/2152.73 c 2153 42485 2768 1 1036.0000 1017.0274 1.87%
2152.19/2158.25 c 2158 42588 2793 1 1036.0000 1017.0391 1.86%
2157.68/2163.78 c 2164 42669 2804 1 1036.0000 1017.0493 1.86%
2163.47/2169.53 c 2170 42791 2810 1 1036.0000 1017.0593 1.86%
2169.05/2175.13 c 2175 42944 2821 1 1036.0000 1017.0812 1.86%
2174.94/2181.03 c 2181 43059 2838 1 1036.0000 1017.0977 1.86%
2180.12/2186.20 c 2186 43214 2855 1 1036.0000 1017.1031 1.86%
2185.41/2191.50 c 2192 43354 2867 1 1036.0000 1017.1082 1.86%
2190.79/2196.97 c 2197 43443 2890 1 1036.0000 1017.1413 1.85%
2196.38/2202.53 c 2203 43459 2902 1 1036.0000 1017.1590 1.85%
2201.97/2208.17 c 2208 43577 2920 1 1036.0000 1017.1721 1.85%
2208.06/2214.21 c 2214 43699 2938 1 1036.0000 1017.1807 1.85%
2214.24/2220.42 c 2220 43826 2945 1 1036.0000 1017.1883 1.85%
2219.62/2225.81 c 2226 43898 2957 1 1036.0000 1017.2058 1.85%
2224.70/2230.98 c 2231 44078 2967 1 1036.0000 1017.2058 1.85%
2230.40/2236.66 c 2237 44245 2974 1 1036.0000 1017.2062 1.85%
2236.18/2242.41 c 2242 44395 2978 1 1036.0000 1017.2127 1.85%
2241.46/2247.76 c 2248 44544 2975 1 1036.0000 1017.2227 1.85%
2247.15/2253.46 c 2253 44636 2987 1 1036.0000 1017.2251 1.85%
2252.74/2259.08 c 2259 44740 2991 1 1036.0000 1017.2251 1.85%
2257.83/2264.11 c 2264 44802 2991 1 1036.0000 1017.2251 1.85%
2263.71/2270.07 c 2270 44934 2995 1 1036.0000 1017.2519 1.84%
2270.80/2277.17 c 2277 45049 3008 1 1036.0000 1017.2607 1.84%
2276.78/2283.18 c 2283 45100 3015 1 1036.0000 1017.2776 1.84%
2282.96/2289.34 c 2289 45222 3015 1 1036.0000 1017.2776 1.84%
2288.64/2295.01 c 2295 45316 3015 1 1036.0000 1017.2776 1.84%
2293.64/2300.04 c 2300 45372 3017 1 1036.0000 1017.2776 1.84%
2299.31/2305.76 c 2306 45504 3013 1 1036.0000 1017.2776 1.84%
2305.40/2311.81 c 2312 45707 3016 1 1036.0000 1017.2794 1.84%
2311.29/2317.73 c 2318 45860 3027 1 1036.0000 1017.2961 1.84%
2317.46/2323.97 c 2324 45953 3034 1 1036.0000 1017.3006 1.84%
2323.26/2329.72 c 2330 46034 3043 1 1036.0000 1017.3130 1.84%
2328.24/2334.74 c 2335 46158 3053 1 1036.0000 1017.3174 1.84%
2334.53/2341.00 c 2341 46198 3059 1 1036.0000 1017.3196 1.84%
2340.21/2346.74 c 2347 46253 3066 1 1036.0000 1017.3214 1.84%
2345.79/2352.34 c 2352 46414 3077 1 1036.0000 1017.3290 1.84%
2352.38/2358.97 c 2359 46509 3104 1 1036.0000 1017.3439 1.83%
2357.47/2364.05 c 2364 46635 3104 1 1036.0000 1017.3439 1.83%
2363.15/2369.76 c 2370 46744 3109 1 1036.0000 1017.3439 1.83%
2369.03/2375.65 c 2376 46817 3114 1 1036.0000 1017.3473 1.83%
2374.62/2381.23 c 2381 46884 3121 1 1036.0000 1017.3549 1.83%
2380.41/2387.06 c 2387 47012 3129 1 1036.0000 1017.3549 1.83%
2385.79/2392.40 c 2392 47066 3127 1 1036.0000 1017.3549 1.83%
2390.87/2397.53 c 2398 47135 3132 1 1036.0000 1017.3549 1.83%
2396.36/2403.07 c 2403 47293 3134 1 1036.0000 1017.3549 1.83%
2402.14/2408.89 c 2409 47364 3141 1 1036.0000 1017.3575 1.83%
2408.03/2414.74 c 2415 47420 3151 1 1036.0000 1017.3603 1.83%
2413.62/2420.31 c 2420 47484 3163 1 1036.0000 1017.3708 1.83%
2418.60/2425.39 c 2425 47530 3169 1 1036.0000 1017.3708 1.83%
2423.69/2430.42 c 2430 47615 3176 1 1036.0000 1017.3715 1.83%
2429.27/2436.04 c 2436 47675 3182 1 1036.0000 1017.3859 1.83%
2435.26/2442.06 c 2442 47749 3188 1 1036.0000 1017.3859 1.83%
2441.14/2447.99 c 2448 47841 3192 1 1036.0000 1017.3859 1.83%
2447.73/2454.59 c 2455 47883 3196 1 1036.0000 1017.3876 1.83%
2453.81/2460.60 c 2461 47901 3194 1 1036.0000 1017.3876 1.83%
2459.20/2466.05 c 2466 47994 3207 1 1036.0000 1017.3998 1.83%
2465.08/2471.93 c 2472 48045 3220 1 1036.0000 1017.4216 1.83%
2470.37/2477.23 c 2477 48146 3229 1 1036.0000 1017.4240 1.83%
2476.15/2483.08 c 2483 48270 3241 1 1036.0000 1017.4261 1.83%
2485.03/2491.92 c 2492 48320 3253 1 1036.0000 1017.4328 1.82%
2490.22/2497.17 c 2497 48376 3259 1 1036.0000 1017.4452 1.82%
2495.70/2502.67 c 2503 48443 3262 1 1036.0000 1017.4452 1.82%
2501.38/2508.32 c 2508 48515 3264 1 1036.0000 1017.4457 1.82%
2506.77/2513.79 c 2514 48538 3265 1 1036.0000 1017.4457 1.82%
2511.86/2518.84 c 2519 48627 3276 1 1036.0000 1017.4529 1.82%
2517.15/2524.16 c 2524 48680 3283 1 1036.0000 1017.4548 1.82%
2523.13/2530.14 c 2530 48761 3294 1 1036.0000 1017.4669 1.82%
2528.71/2535.72 c 2536 48872 3301 1 1036.0000 1017.4685 1.82%
2535.01/2542.01 c 2542 48979 3306 1 1036.0000 1017.4685 1.82%
2540.19/2547.21 c 2547 49054 3305 1 1036.0000 1017.4746 1.82%
2545.37/2552.44 c 2552 49095 3312 1 1036.0000 1017.4746 1.82%
2551.36/2558.45 c 2558 49150 3313 1 1036.0000 1017.4746 1.82%
2557.35/2564.43 c 2564 49208 3311 1 1036.0000 1017.4746 1.82%
2562.63/2569.70 c 2570 49234 3311 1 1036.0000 1017.4882 1.82%
2569.02/2576.12 c 2576 49289 3324 1 1036.0000 1017.4957 1.82%
2574.60/2581.71 c 2582 49341 3336 1 1036.0000 1017.5012 1.82%
2579.79/2586.97 c 2587 49402 3337 1 1036.0000 1017.5012 1.82%
2585.67/2592.86 c 2593 49454 3337 1 1036.0000 1017.5012 1.82%
2591.25/2598.40 c 2598 49519 3336 1 1036.0000 1017.5012 1.82%
2596.34/2603.55 c 2604 49603 3334 1 1036.0000 1017.5012 1.82%
2602.23/2609.47 c 2609 49715 3340 1 1036.0000 1017.5012 1.82%
2607.92/2615.10 c 2615 49821 3346 1 1036.0000 1017.5033 1.82%
2613.80/2621.05 c 2621 49899 3368 1 1036.0000 1017.5131 1.82%
2618.89/2626.13 c 2626 49959 3376 1 1036.0000 1017.5238 1.82%
2623.88/2631.20 c 2631 50006 3375 1 1036.0000 1017.5238 1.82%
2629.77/2637.03 c 2637 50080 3387 1 1036.0000 1017.5335 1.81%
2635.34/2642.69 c 2643 50216 3399 1 1036.0000 1017.5487 1.81%
2640.93/2648.24 c 2648 50338 3401 1 1036.0000 1017.5487 1.81%
2646.02/2653.35 c 2653 50512 3395 1 1036.0000 1017.5487 1.81%
2651.60/2658.96 c 2659 50621 3408 1 1036.0000 1017.5562 1.81%
2657.38/2664.74 c 2665 50774 3417 1 1036.0000 1017.5812 1.81%
2663.27/2670.60 c 2671 50894 3421 1 1036.0000 1017.5812 1.81%
2668.45/2675.85 c 2676 51050 3421 1 1036.0000 1017.5812 1.81%
2673.54/2680.96 c 2681 51133 3436 1 1036.0000 1017.5891 1.81%
2679.53/2686.99 c 2687 51191 3448 1 1036.0000 1017.6167 1.81%
2684.81/2692.23 c 2692 51276 3455 1 1036.0000 1017.6196 1.81%
2690.70/2698.15 c 2698 51364 3455 1 1036.0000 1017.6196 1.81%
2696.69/2704.11 c 2704 51425 3464 1 1036.0000 1017.6208 1.81%
2702.07/2709.53 c 2710 51505 3462 1 1036.0000 1017.6208 1.81%
2707.56/2715.04 c 2715 51607 3474 1 1036.0000 1017.6344 1.80%
2713.05/2720.57 c 2721 51686 3475 1 1036.0000 1017.6344 1.80%
2718.23/2725.71 c 2726 51747 3482 1 1036.0000 1017.6357 1.80%
2724.42/2731.92 c 2732 51824 3493 1 1036.0000 1017.6429 1.80%
2730.21/2737.76 c 2738 51932 3491 1 1036.0000 1017.6429 1.80%
2735.50/2743.04 c 2743 52027 3498 1 1036.0000 1017.6484 1.80%
2741.38/2748.99 c 2749 52096 3513 1 1036.0000 1017.6528 1.80%
2747.47/2755.01 c 2755 52149 3520 1 1036.0000 1017.6577 1.80%
2753.15/2760.76 c 2761 52218 3531 1 1036.0000 1017.6581 1.80%
2759.33/2766.95 c 2767 52300 3537 1 1036.0000 1017.6604 1.80%
2764.92/2772.59 c 2773 52415 3546 1 1036.0000 1017.6622 1.80%
2770.41/2778.06 c 2778 52488 3557 1 1036.0000 1017.6728 1.80%
2775.69/2783.40 c 2783 52592 3569 1 1036.0000 1017.6868 1.80%
2781.49/2789.13 c 2789 52715 3568 1 1036.0000 1017.6868 1.80%
2786.87/2794.50 c 2794 52781 3580 1 1036.0000 1017.6992 1.80%
2791.96/2799.61 c 2800 52855 3588 1 1036.0000 1017.7105 1.80%
2797.84/2805.50 c 2806 52924 3601 1 1036.0000 1017.7158 1.80%
2803.13/2810.89 c 2811 53077 3602 1 1036.0000 1017.7158 1.80%
2810.31/2818.07 c 2818 53174 3611 1 1036.0000 1017.7252 1.80%
2815.79/2823.50 c 2824 53287 3616 1 1036.0000 1017.7252 1.80%
2820.88/2828.66 c 2829 53404 3619 1 1036.0000 1017.7403 1.79%
2826.57/2834.32 c 2834 53547 3630 1 1036.0000 1017.7453 1.79%
2831.76/2839.59 c 2840 53625 3636 1 1036.0000 1017.7497 1.79%
2837.15/2844.96 c 2845 53718 3647 1 1036.0000 1017.7517 1.79%
2843.03/2850.83 c 2851 53823 3654 1 1036.0000 1017.7551 1.79%
2848.42/2856.29 c 2856 53954 3653 1 1036.0000 1017.7551 1.79%
2854.31/2862.12 c 2862 54055 3666 1 1036.0000 1017.7580 1.79%
2860.89/2868.77 c 2869 54184 3667 1 1036.0000 1017.7606 1.79%
2866.57/2874.44 c 2874 54246 3679 1 1036.0000 1017.7608 1.79%
2871.56/2879.49 c 2879 54335 3688 1 1036.0000 1017.7664 1.79%
2877.45/2885.35 c 2885 54389 3700 1 1036.0000 1017.7665 1.79%
2883.43/2891.31 c 2891 54513 3712 1 1036.0000 1017.7739 1.79%
2888.62/2896.53 c 2897 54646 3717 1 1036.0000 1017.7739 1.79%
2893.91/2901.86 c 2902 54729 3728 1 1036.0000 1017.7753 1.79%
2898.99/2906.97 c 2907 54854 3735 1 1036.0000 1017.7802 1.79%
2904.78/2912.79 c 2913 54869 3746 1 1036.0000 1017.7896 1.79%
2910.27/2918.25 c 2918 54946 3759 1 1036.0000 1017.7901 1.79%
2916.45/2924.42 c 2924 55116 3761 1 1036.0000 1017.7977 1.79%
2922.33/2930.32 c 2930 55213 3770 1 1036.0000 1017.7990 1.79%
2927.63/2935.67 c 2936 55285 3778 1 1036.0000 1017.8192 1.79%
2933.02/2941.04 c 2941 55419 3788 1 1036.0000 1017.8229 1.79%
2938.60/2946.63 c 2947 55584 3799 1 1036.0000 1017.8282 1.79%
2943.89/2951.90 c 2952 55717 3810 1 1036.0000 1017.8321 1.78%
2949.08/2957.12 c 2957 55824 3815 1 1036.0000 1017.8355 1.78%
2954.66/2962.75 c 2963 55933 3828 1 1036.0000 1017.8361 1.78%
2960.64/2968.72 c 2969 56030 3841 1 1036.0000 1017.8403 1.78%
2965.73/2973.86 c 2974 56067 3848 1 1036.0000 1017.8426 1.78%
2971.42/2979.59 c 2980 56144 3853 1 1036.0000 1017.8480 1.78%
2976.80/2984.90 c 2985 56185 3858 1 1036.0000 1017.8480 1.78%
2982.39/2990.51 c 2991 56225 3868 1 1036.0000 1017.8565 1.78%
2987.98/2996.11 c 2996 56342 3879 1 1036.0000 1017.8613 1.78%
2992.97/3001.19 c 3001 56434 3881 1 1036.0000 1017.8630 1.78%
2998.06/3006.20 c 3006 56502 3897 1 1036.0000 1017.8667 1.78%
3003.84/3012.00 c 3012 56576 3911 1 1036.0000 1017.8792 1.78%
3009.23/3017.40 c 3017 56682 3929 1 1036.0000 1017.8882 1.78%
3015.11/3023.32 c 3023 56749 3944 1 1036.0000 1017.8969 1.78%
3020.10/3028.39 c 3028 56886 3949 1 1036.0000 1017.9000 1.78%
3025.19/3033.44 c 3033 56993 3964 1 1036.0000 1017.9070 1.78%
3030.38/3038.69 c 3039 57163 3968 1 1036.0000 1017.9132 1.78%
3035.87/3044.13 c 3044 57268 3981 1 1036.0000 1017.9219 1.78%
3041.25/3049.53 c 3050 57371 3994 1 1036.0000 1017.9399 1.77%
3046.33/3054.67 c 3055 57512 3999 1 1036.0000 1017.9439 1.77%
3052.12/3060.41 c 3060 57597 4016 1 1036.0000 1017.9603 1.77%
3057.90/3066.28 c 3066 57766 4033 1 1036.0000 1017.9627 1.77%
3063.00/3071.35 c 3071 57941 4032 1 1036.0000 1017.9627 1.77%
3068.78/3077.11 c 3077 58043 4038 1 1036.0000 1017.9634 1.77%
3073.86/3082.23 c 3082 58114 4051 1 1036.0000 1017.9720 1.77%
3079.15/3087.57 c 3088 58244 4055 1 1036.0000 1017.9745 1.77%
3084.24/3092.64 c 3093 58388 4063 1 1036.0000 1017.9745 1.77%
3091.72/3100.12 c 3100 58499 4072 1 1036.0000 1017.9777 1.77%
3097.00/3105.42 c 3105 58620 4089 1 1036.0000 1017.9813 1.77%
3102.79/3111.24 c 3111 58752 4095 1 1036.0000 1017.9873 1.77%
3108.28/3116.70 c 3117 58844 4099 1 1036.0000 1017.9909 1.77%
3113.47/3121.92 c 3122 58904 4103 1 1036.0000 1017.9967 1.77%
3119.05/3127.50 c 3128 59033 4106 1 1036.0000 1018.0070 1.77%
3124.74/3133.21 c 3133 59138 4129 1 1036.0000 1018.0105 1.77%
3130.42/3138.93 c 3139 59313 4138 1 1036.0000 1018.0129 1.77%
3135.41/3143.95 c 3144 59444 4147 1 1036.0000 1018.0148 1.77%
3141.00/3149.50 c 3150 59584 4159 1 1036.0000 1018.0148 1.77%
3146.38/3154.96 c 3155 59656 4167 1 1036.0000 1018.0157 1.77%
3151.77/3160.33 c 3160 59746 4173 1 1036.0000 1018.0174 1.77%
3157.65/3166.26 c 3166 59846 4177 1 1036.0000 1018.0174 1.77%
3163.15/3171.78 c 3172 59936 4179 1 1036.0000 1018.0221 1.77%
3169.14/3177.78 c 3178 59991 4180 1 1036.0000 1018.0221 1.77%
3175.32/3183.94 c 3184 60044 4185 1 1036.0000 1018.0261 1.77%
3181.00/3189.64 c 3190 60107 4198 1 1036.0000 1018.0265 1.77%
3186.79/3195.48 c 3195 60183 4202 1 1036.0000 1018.0270 1.77%
3192.18/3200.88 c 3201 60250 4203 1 1036.0000 1018.0270 1.77%
3198.16/3206.86 c 3207 60325 4212 1 1036.0000 1018.0306 1.77%
3204.45/3213.17 c 3213 60388 4217 1 1036.0000 1018.0319 1.76%
3210.13/3218.88 c 3219 60449 4224 1 1036.0000 1018.0349 1.76%
3215.61/3224.38 c 3224 60564 4233 1 1036.0000 1018.0355 1.76%
3220.90/3229.63 c 3230 60645 4246 1 1036.0000 1018.0384 1.76%
3225.99/3234.71 c 3235 60751 4262 1 1036.0000 1018.0577 1.76%
3231.48/3240.23 c 3240 60868 4275 1 1036.0000 1018.0664 1.76%
3238.76/3247.56 c 3248 60979 4278 1 1036.0000 1018.0760 1.76%
3244.05/3252.84 c 3253 61152 4277 1 1036.0000 1018.0760 1.76%
3250.03/3258.82 c 3259 61247 4280 1 1036.0000 1018.0785 1.76%
3255.22/3264.06 c 3264 61380 4283 1 1036.0000 1018.0789 1.76%
3260.40/3269.26 c 3269 61524 4287 1 1036.0000 1018.0800 1.76%
3265.59/3274.40 c 3274 61651 4294 1 1036.0000 1018.0800 1.76%
3271.58/3280.41 c 3280 61792 4303 1 1036.0000 1018.0887 1.76%
3277.27/3286.13 c 3286 61939 4320 1 1036.0000 1018.1046 1.76%
3282.96/3291.87 c 3292 62077 4334 1 1036.0000 1018.1167 1.76%
3288.44/3297.32 c 3297 62234 4341 1 1036.0000 1018.1182 1.76%
3294.23/3303.17 c 3303 62308 4359 1 1036.0000 1018.1235 1.76%
3299.31/3308.28 c 3308 62462 4357 1 1036.0000 1018.1235 1.76%
3304.40/3313.32 c 3313 62538 4363 1 1036.0000 1018.1264 1.76%
3310.28/3319.29 c 3319 62684 4379 1 1036.0000 1018.1280 1.76%
3315.48/3324.42 c 3324 62760 4385 1 1036.0000 1018.1301 1.76%
3320.47/3329.44 c 3329 62884 4391 1 1036.0000 1018.1330 1.75%
3326.06/3335.01 c 3335 62955 4404 1 1036.0000 1018.1466 1.75%
3331.64/3340.68 c 3341 63062 4415 1 1036.0000 1018.1594 1.75%
3337.82/3346.80 c 3347 63132 4433 1 1036.0000 1018.1769 1.75%
3343.81/3352.85 c 3353 63225 4440 1 1036.0000 1018.1792 1.75%
3349.00/3358.02 c 3358 63359 4436 1 1036.0000 1018.1792 1.75%
3353.99/3363.06 c 3363 63474 4443 1 1036.0000 1018.1883 1.75%
3359.17/3368.23 c 3368 63574 4459 1 1036.0000 1018.1921 1.75%
3365.65/3374.75 c 3375 63649 4478 1 1036.0000 1018.1972 1.75%
3371.54/3380.68 c 3381 63789 4486 1 1036.0000 1018.1972 1.75%
3378.72/3387.88 c 3388 63904 4493 1 1036.0000 1018.2009 1.75%
3383.70/3392.88 c 3393 63955 4518 1 1036.0000 1018.2054 1.75%
3389.39/3398.57 c 3399 64048 4529 1 1036.0000 1018.2065 1.75%
3394.68/3403.82 c 3404 64139 4542 1 1036.0000 1018.2114 1.75%
3400.76/3409.90 c 3410 64284 4551 1 1036.0000 1018.2148 1.75%
3406.26/3415.42 c 3415 64374 4563 1 1036.0000 1018.2178 1.75%
3411.54/3420.77 c 3421 64456 4577 1 1036.0000 1018.2209 1.75%
3417.33/3426.54 c 3427 64514 4589 1 1036.0000 1018.2257 1.75%
3422.52/3431.74 c 3432 64680 4595 1 1036.0000 1018.2257 1.75%
3428.30/3437.56 c 3438 64781 4606 1 1036.0000 1018.2348 1.74%
3435.58/3444.86 c 3445 64922 4613 1 1036.0000 1018.2424 1.74%
3440.97/3450.26 c 3450 65052 4621 1 1036.0000 1018.2441 1.74%
3446.35/3455.65 c 3456 65174 4635 1 1036.0000 1018.2482 1.74%
3451.45/3460.76 c 3461 65289 4644 1 1036.0000 1018.2523 1.74%
3456.94/3466.24 c 3466 65387 4648 1 1036.0000 1018.2525 1.74%
3462.22/3471.59 c 3472 65524 4657 1 1036.0000 1018.2546 1.74%
3468.11/3477.48 c 3477 65638 4663 1 1036.0000 1018.2591 1.74%
3473.39/3482.76 c 3483 65689 4670 1 1036.0000 1018.2620 1.74%
3478.68/3488.02 c 3488 65843 4670 1 1036.0000 1018.2620 1.74%
3484.56/3493.93 c 3494 65944 4683 1 1036.0000 1018.2675 1.74%
3490.45/3499.87 c 3500 66088 4697 1 1036.0000 1018.2811 1.74%
3495.93/3505.36 c 3505 66194 4699 1 1036.0000 1018.2898 1.74%
3501.52/3510.97 c 3511 66308 4707 1 1036.0000 1018.2898 1.74%
3507.10/3516.52 c 3517 66375 4714 1 1036.0000 1018.2995 1.74%
3512.99/3522.42 c 3522 66477 4718 1 1036.0000 1018.2995 1.74%
3518.58/3528.01 c 3528 66614 4733 1 1036.0000 1018.3186 1.74%
3523.87/3533.32 c 3533 66683 4738 1 1036.0000 1018.3202 1.74%
3529.56/3539.03 c 3539 66830 4741 1 1036.0000 1018.3212 1.74%
3534.55/3544.05 c 3544 66979 4744 1 1036.0000 1018.3213 1.74%
3540.13/3549.65 c 3550 67126 4757 1 1036.0000 1018.3216 1.74%
3545.52/3555.02 c 3555 67285 4764 1 1036.0000 1018.3265 1.74%
3552.30/3561.89 c 3562 67434 4763 1 1036.0000 1018.3306 1.74%
3557.59/3567.14 c 3567 67471 4776 1 1036.0000 1018.3315 1.74%
3562.58/3572.15 c 3572 67597 4788 1 1036.0000 1018.3324 1.73%
3568.56/3578.18 c 3578 67741 4794 1 1036.0000 1018.3328 1.73%
3574.34/3583.95 c 3584 67910 4803 1 1036.0000 1018.3365 1.73%
3579.44/3589.09 c 3589 68117 4808 1 1036.0000 1018.3365 1.73%
3584.92/3594.53 c 3595 68236 4821 1 1036.0000 1018.3396 1.73%
3588.41/3598.08 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.41/3598.08 c Total Time : 3598.09
3588.41/3598.08 c solving : 3598.09
3588.41/3598.08 c presolving : 0.04 (included in solving)
3588.41/3598.08 c B&B Tree :
3588.41/3598.08 c nodes (total) : 1
3588.41/3598.08 c Solution :
3588.41/3598.08 c Solutions found : 23
3588.41/3598.08 c Primal Bound : +1.03600000000000e+03
3588.41/3598.08 c Dual Bound : +1.01834479150713e+03
3588.41/3598.08 c Gap : 1.73372 %
3588.41/3598.08 c * Warning: final gap: 1.73372e-02 is greater than SCIPepsilon: 1.00000e-09
3588.41/3598.08 o 1036
3588.41/3598.08 s SATISFIABLE
3588.41/3598.08 v x1960 x1959 x1958 x1957 x1956 -x1955 x1954 x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 x1945 x1944 x1943 x1942 -x1941
3588.41/3598.08 v -x1940 x1939 -x1938 x1937 x1936 -x1935 -x1934 -x1933 x1932 -x1931 x1930 -x1929 -x1928 x1927 x1926 x1925 -x1924 x1923 -x1922 -x1921
3588.41/3598.08 v x1920 -x1919 -x1918 x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 -x1908 x1907 -x1906 -x1905 -x1904 -x1903 x1902
3588.41/3598.08 v -x1901 -x1900 -x1899 x1898 -x1897 -x1896 x1895 -x1894 -x1893 -x1892 -x1891 x1890 x1889 x1888 -x1887 x1886 x1885 -x1884 -x1883
3588.41/3598.08 v x1882 -x1881 x1880 -x1879 -x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872 -x1871 -x1870 -x1869 x1868 -x1867 x1866 x1865 x1864
3588.41/3598.08 v x1863 x1862 -x1861 x1860 -x1859 x1858 x1857 x1856 x1855 -x1854 x1853 x1852 x1851 x1850 x1849 -x1848 -x1847 -x1846 -x1845 -x1844
3588.41/3598.08 v -x1843 x1842 -x1841 -x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 -x1833 x1832 -x1831 -x1830 x1829 x1828 -x1827 -x1826 x1825
3588.41/3598.08 v -x1824 x1823 -x1822 x1821 x1820 x1819 x1818 x1817 x1816 x1815 x1814 x1813 x1812 -x1811 -x1810 -x1809 -x1808 x1807 x1806
3588.41/3598.08 v -x1805 x1804 x1803 -x1802 -x1801 x1800 -x1799 x1798 x1797 -x1796 x1795 x1794 -x1793 x1792 -x1791 -x1790 x1789 x1788 x1787 x1786
3588.41/3598.08 v x1785 -x1784 -x1783 -x1782 x1781 -x1780 -x1779 x1778 x1777 -x1776 x1775 x1774 -x1773 -x1772 x1771 -x1770 x1769 -x1768 -x1767
3588.41/3598.08 v x1766 x1765 -x1764 x1763 x1762 x1761 x1760 -x1759 x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 x1750 x1749 -x1748
3588.41/3598.08 v -x1747 x1746 x1745 -x1744 x1743 x1742 -x1741 -x1740 -x1739 x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732 x1731 -x1730 -x1729
3588.41/3598.08 v -x1728 x1727 x1726 -x1725 -x1724 x1723 -x1722 x1721 -x1720 -x1719 x1718 -x1717 x1716 -x1715 x1714 x1713 -x1712 x1711 x1710 x1709
3588.41/3598.08 v x1708 -x1707 -x1706 -x1705 x1704 x1703 x1702 -x1701 -x1700 x1699 -x1698 -x1697 -x1696 x1695 x1694 -x1693 x1692 x1691 -x1690
3588.41/3598.08 v -x1689 -x1688 x1687 -x1686 -x1685 -x1684 -x1683 x1682 x1681 x1680 x1679 -x1678 -x1677 x1676 -x1675 x1674 x1673 -x1672 x1671
3588.41/3598.08 v -x1670 x1669 x1668 -x1667 -x1666 x1665 -x1664 -x1663 -x1662 -x1661 x1660 x1659 x1658 -x1657 -x1656 -x1655 x1654 -x1653 x1652
3588.41/3598.08 v x1651 -x1650 -x1649 x1648 x1647 x1646 x1645 x1644 x1643 x1642 x1641 -x1640 x1639 -x1638 x1637 x1636 x1635 -x1634 x1633 x1632
3588.41/3598.08 v x1631 -x1630 x1629 -x1628 x1627 x1626 -x1625 x1624 x1623 -x1622 x1621 x1620 x1619 x1618 -x1617 x1616 -x1615 -x1614 x1613 x1612
3588.41/3598.08 v -x1611 -x1610 x1609 -x1608 x1607 -x1606 -x1605 -x1604 x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 x1596 -x1595 -x1594
3588.41/3598.08 v -x1593 -x1592 -x1591 -x1590 x1589 x1588 x1587 -x1586 x1585 -x1584 x1583 -x1582 -x1581 -x1580 x1579 x1578 x1577 -x1576 x1575 -x1574
3588.41/3598.08 v x1573 -x1572 -x1571 -x1570 -x1569 x1568 -x1567 x1566 x1565 x1564 x1563 x1562 x1561 -x1560 x1559 x1558 x1557 -x1556 -x1555
3588.41/3598.08 v -x1554 x1553 x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 x1545 x1544 x1543 x1542 -x1541 x1540 -x1539 x1538 x1537 -x1536 x1535
3588.41/3598.08 v x1534 x1533 -x1532 -x1531 -x1530 -x1529 -x1528 x1527 x1526 x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517
3588.41/3598.08 v -x1516 -x1515 x1514 x1513 -x1512 x1511 -x1510 x1509 x1508 -x1507 x1506 x1505 x1504 x1503 x1502 x1501 -x1500 x1499 -x1498 -x1497
3588.41/3598.08 v -x1496 x1495 x1494 -x1493 x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 x1485 x1484 -x1483 x1482 -x1481 -x1480 x1479 -x1478
3588.41/3598.08 v x1477 x1476 x1475 -x1474 -x1473 x1472 x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 -x1464 -x1463 x1462 x1461 -x1460 -x1459
3588.41/3598.08 v -x1458 x1457 -x1456 x1455 -x1454 -x1453 x1452 x1451 -x1450 -x1449 x1448 x1447 x1446 -x1445 x1444 x1443 -x1442 -x1441 -x1440 x1439
3588.41/3598.08 v x1438 x1437 x1436 x1435 x1434 -x1433 -x1432 x1431 -x1430 -x1429 -x1428 -x1427 x1426 x1425 -x1424 -x1423 x1422 x1421 x1420
3588.41/3598.08 v -x1419 x1418 x1417 -x1416 -x1415 x1414 -x1413 -x1412 x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 x1404 -x1403 x1402 x1401
3588.41/3598.08 v -x1400 x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 x1390 -x1389 x1388 -x1387 x1386 -x1385 x1384 -x1383 x1382
3588.41/3598.08 v x1381 -x1380 x1379 x1378 x1377 x1376 -x1375 x1374 x1373 x1372 -x1371 x1370 x1369 -x1368 x1367 -x1366 -x1365 x1364 -x1363 -x1362
3588.41/3598.08 v x1361 x1360 -x1359 x1358 x1357 -x1356 -x1355 -x1354 x1353 -x1352 x1351 x1350 x1349 x1348 -x1347 x1346 x1345 -x1344 x1343
3588.41/3598.08 v x1342 x1341 -x1340 -x1339 x1338 x1337 -x1336 -x1335 -x1334 x1333 x1332 x1331 x1330 x1329 -x1328 -x1327 -x1326 -x1325 x1324
3588.41/3598.08 v x1323 x1322 -x1321 x1320 -x1319 x1318 x1317 -x1316 x1315 x1314 x1313 -x1312 x1311 x1310 x1309 x1308 -x1307 -x1306 -x1305 x1304
3588.41/3598.08 v -x1303 x1302 -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 x1289 -x1288 x1287 -x1286 x1285
3588.41/3598.08 v -x1284 -x1283 x1282 x1281 x1280 x1279 -x1278 -x1277 x1276 x1275 x1274 x1273 -x1272 x1271 x1270 -x1269 x1268 -x1267 -x1266
3588.41/3598.08 v x1265 -x1264 -x1263 x1262 -x1261 x1260 x1259 -x1258 x1257 -x1256 -x1255 -x1254 x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247
3588.41/3598.08 v x1246 x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 x1232 x1231 -x1230 -x1229 x1228
3588.41/3598.08 v x1227 -x1226 x1225 -x1224 x1223 x1222 x1221 -x1220 x1219 -x1218 x1217 -x1216 x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209
3588.41/3598.08 v x1208 x1207 -x1206 x1205 -x1204 x1203 -x1202 x1201 -x1200 -x1199 x1198 -x1197 -x1196 -x1195 -x1194 x1193 x1192 -x1191 -x1190
3588.41/3598.08 v -x1189 -x1188 -x1187 x1186 x1185 x1184 x1183 x1182 -x1181 -x1180 -x1179 x1178 x1177 -x1176 -x1175 -x1174 x1173 -x1172 x1171
3588.41/3598.08 v x1170 -x1169 -x1168 x1167 x1166 -x1165 -x1164 -x1163 -x1162 x1161 x1160 x1159 -x1158 x1157 x1156 x1155 -x1154 x1153 x1152 x1151
3588.41/3598.08 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 x1139 -x1138 x1137 x1136 -x1135 -x1134 x1133 -x1132
3588.41/3598.08 v x1131 -x1130 -x1129 x1128 x1127 -x1126 x1125 x1124 x1123 -x1122 x1121 -x1120 -x1119 -x1118 -x1117 x1116 x1115 x1114 x1113
3588.41/3598.08 v x1112 -x1111 x1110 x1109 x1108 -x1107 -x1106 -x1105 x1104 -x1103 x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 x1095 -x1094
3588.41/3598.08 v x1093 x1092 x1091 x1090 -x1089 x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 x1080 x1079 -x1078 x1077 -x1076 -x1075 x1074
3588.41/3598.08 v -x1073 -x1072 x1071 -x1070 x1069 x1068 x1067 x1066 -x1065 x1064 x1063 -x1062 -x1061 -x1060 x1059 x1058 -x1057 x1056 x1055
3588.41/3598.08 v x1054 x1053 -x1052 x1051 -x1050 x1049 -x1048 x1047 x1046 -x1045 x1044 -x1043 x1042 x1041 x1040 -x1039 -x1038 x1037 x1036 -x1035
3588.41/3598.08 v -x1034 x1033 -x1032 x1031 x1030 x1029 -x1028 x1027 x1026 -x1025 x1024 x1023 x1022 -x1021 x1020 -x1019 x1018 x1017 -x1016
3588.41/3598.08 v -x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 -x1008 -x1007 x1006 -x1005 x1004 x1003 x1002 -x1001 -x1000 -x999 -x998 x997 x996
3588.41/3598.08 v -x995 -x994 x993 -x992 x991 -x990 x989 -x988 x987 x986 -x985 -x984 -x983 -x982 x981 x980 -x979 -x978 x977 -x976 x975 -x974
3588.41/3598.08 v x973 -x972 -x971 -x970 x969 -x968 x967 -x966 -x965 -x964 -x963 x962 x961 x960 x959 x958 x957 x956 x955 -x954 -x953 x952 x951
3588.41/3598.08 v x950 -x949 x948 -x947 x946 x945 x944 x943 x942 -x941 x940 x939 -x938 -x937 x936 -x935 -x934 x933 x932 -x931 -x930 x929 x928
3588.41/3598.08 v -x927 x926 -x925 x924 x923 -x922 -x921 -x920 x919 -x918 x917 x916 x915 x914 x913 x912 -x911 -x910 x909 -x908 -x907 x906 -x905
3588.41/3598.08 v -x904 -x903 x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 x894 -x893 -x892 x891 -x890 -x889 x888 -x887 -x886 x885 x884 x883
3588.41/3598.08 v x882 -x881 x880 x879 -x878 -x877 -x876 -x875 x874 x873 -x872 -x871 x870 -x869 x868 x867 -x866 x865 x864 -x863 x862 x861 x860
3588.41/3598.08 v -x859 -x858 x857 -x856 -x855 x854 -x853 x852 x851 x850 x849 x848 -x847 -x846 -x845 x844 x843 -x842 x841 x840 x839 -x838 x837
3588.41/3598.08 v x836 -x835 -x834 -x833 -x832 x831 x830 -x829 x828 -x827 x826 x825 x824 x823 -x822 x821 -x820 x819 x818 x817 -x816 x815 x814 x813
3588.41/3598.08 v -x812 x811 x810 x809 -x808 -x807 x806 x805 -x804 -x803 -x802 x801 x800 x799 x798 -x797 x796 x795 x794 x793 -x792 x791 -x790
3588.41/3598.08 v x789 -x788 -x787 x786 x785 x784 x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 x774 x773 x772 x771 x770 -x769 x768 x767
3588.41/3598.08 v x766 x765 -x764 x763 -x762 x761 -x760 -x759 -x758 x757 x756 x755 -x754 -x753 x752 -x751 x750 x749 x748 -x747 x746 -x745 x744
3588.41/3598.08 v x743 x742 -x741 x740 -x739 x738 -x737 x736 x735 -x734 x733 x732 -x731 -x730 -x729 x728 x727 -x726 x725 -x724 -x723 -x722 x721
3588.41/3598.08 v -x720 -x719 x718 x717 -x716 x715 -x714 -x713 x712 -x711 -x710 x709 -x708 -x707 x706 x705 -x704 -x703 -x702 -x701 -x700 x699
3588.41/3598.08 v x698 -x697 -x696 x695 -x694 -x693 x692 -x691 x690 -x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 -x679 -x678 -x677 -x676
3588.41/3598.09 v x675 -x674 x673 x672 x671 -x670 -x669 x668 x667 x666 -x665 x664 x663 x662 -x661 x660 x659 -x658 x657 x656 -x655 x654 x653
3588.41/3598.09 v x652 -x651 x650 -x649 x648 x647 x646 x645 -x644 -x643 x642 -x641 x640 -x639 x638 x637 x636 x635 -x634 -x633 -x632 -x631 -x630
3588.41/3598.09 v x629 x628 x627 x626 x625 x624 -x623 x622 x621 x620 x619 x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607
3588.41/3598.09 v -x606 -x605 x604 x603 x602 x601 -x600 x599 x598 x597 -x596 x595 x594 x593 -x592 x591 -x590 x589 x588 -x587 x586 -x585 x584 -x583
3588.41/3598.09 v -x582 x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 x571 x570 -x569 x568 -x567 x566 -x565 x564 -x563 x562 -x561
3588.41/3598.09 v -x560 -x559 x558 -x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 -x548 x547 -x546 x545 x544 -x543 x542 -x541 x540 x539 x538
3588.41/3598.09 v -x537 -x536 -x535 x534 -x533 -x532 x531 -x530 -x529 -x528 x527 x526 x525 -x524 x523 -x522 x521 x520 -x519 -x518 -x517 -x516
3588.41/3598.09 v x515 -x514 x513 x512 -x511 -x510 -x509 x508 x507 -x506 -x505 -x504 -x503 x502 -x501 x500 x499 -x498 x497 x496 -x495 x494 -x493
3588.41/3598.09 v x492 x491 -x490 x489 x488 x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 x479 x478 x477 x476 x475 -x474 -x473 -x472 x471
3588.41/3598.09 v -x470 -x469 -x468 -x467 -x466 x465 -x464 x463 x462 x461 x460 x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448
3588.41/3598.09 v x447 -x446 x445 -x444 x443 -x442 x441 x440 x439 x438 x437 x436 -x435 x434 -x433 -x432 x431 x430 -x429 x428 -x427 x426 x425
3588.41/3598.09 v x424 x423 -x422 -x421 x420 -x419 x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 x410 x409 -x408 x407 -x406 x405 -x404 x403
3588.41/3598.09 v -x402 -x401 x400 x399 x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 x389 -x388 x387 x386 -x385 x384 x383 x382 -x381 -x380
3588.41/3598.09 v x379 x378 -x377 x376 -x375 x374 x373 -x372 -x371 x370 x369 x368 x367 -x366 -x365 -x364 x363 x362 x361 x360 -x359 x358 x357
3588.41/3598.09 v x356 x355 -x354 x353 x352 -x351 -x350 x349 -x348 x347 x346 x345 -x344 x343 x342 x341 -x340 x339 -x338 x337 x336 x335 -x334 -x333
3588.41/3598.09 v x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 x322 x321 x320 -x319 x318 x317 x316 x315 x314 -x313 -x312 -x311
3588.41/3598.09 v -x310 -x309 x308 x307 x306 -x305 x304 x303 -x302 x301 x300 -x299 -x298 -x297 x296 -x295 -x294 x293 x292 x291 -x290 -x289 x288
3588.41/3598.09 v x287 -x286 -x285 x284 -x283 x282 -x281 x280 x279 -x278 -x277 -x276 -x275 x274 x273 x272 x271 x270 -x269 x268 x267 -x266 x265
3588.41/3598.09 v x264 x263 x262 x261 -x260 x259 x258 -x257 x256 x255 -x254 x253 -x252 -x251 x250 -x249 x248 -x247 -x246 -x245 x244 -x243 x242
3588.41/3598.09 v x241 x240 x239 x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 x223 x222 -x221 x220 -x219
3588.41/3598.09 v x218 x217 x216 -x215 x214 -x213 x212 x211 -x210 x209 -x208 x207 x206 -x205 x204 x203 -x202 x201 -x200 -x199 -x198 x197 -x196
3588.41/3598.09 v -x195 -x194 x193 x192 x191 x190 -x189 x188 x187 x186 x185 -x184 x183 x182 -x181 x180 x179 x178 x177 x176 x175 -x174 x173
3588.41/3598.09 v x172 x171 -x170 -x169 x168 -x167 x166 x165 -x164 x163 -x162 -x161 x160 x159 -x158 -x157 x156 -x155 -x154 x153 x152 x151 x150
3588.41/3598.09 v -x149 x148 -x147 -x146 -x145 x144 -x143 -x142 x141 -x140 x139 x138 x137 x136 x135 x134 x133 -x132 x131 x130 -x129 x128 x127
3588.41/3598.09 v x126 -x125 -x124 -x123 x122 -x121 -x120 x119 -x118 x117 x116 -x115 x114 x113 -x112 -x111 x110 -x109 -x108 x107 x106 -x105 -x104
3588.41/3598.09 v -x103 -x102 -x101 x100 -x99 x98 -x97 x96 x95 -x94 x93 x92 x91 x90 x89 x88 -x87 -x86 x85 -x84 x83 -x82 x81 x80 x79 x78 x77
3588.41/3598.09 v -x76 x75 -x74 -x73 -x72 x71 -x70 -x69 x68 -x67 x66 x65 -x64 -x63 x62 x61 x60 x59 -x58 x57 -x56 x55 -x54 x53 x52 x51 -x50 x49
3588.41/3598.09 v -x48 -x47 x46 -x45 -x44 -x43 x42 x41 x40 -x39 x38 -x37 x36 -x35 x34 x33 x32 x31 x30 -x29 x28 -x27 x26 x25 -x24 x23 x22 -x21 -x20
3588.41/3598.09 v -x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 -x8 x7 -x6 x5 x4 x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59917 MiB free)
memory of node 1: 64510 MiB (63313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463989-1722378595/watcher-4463989-1722378595 -o /tmp/evaluation-result-4463989-1722378595/solver-4463989-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463989-1722378595.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=29005, runsolver pid=29002
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=126071928/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=131100 memory=47192 CPUtime=0.09 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 9589 0 0 0 8 1 0 0 20 0 3 0 4458052 134246400 11798 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 32775 11798 2790 3035 0 15145 0
[pid=29005/tid=29009] ppid=29002 vsize=131100 memory=4026561586 CPUtime=0.03 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 3523 0 0 0 3 0 0 0 20 0 3 0 4458059 134246400 11798 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=131100 memory=232851243367 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458060 134246400 11798 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131100 KiB
Current children cumulated memory: 47192 KiB
[startup+0.205623 s]*
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125985812/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=132124 memory=54568 CPUtime=0.2 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 11300 0 0 0 19 1 0 0 20 0 3 0 4458052 135294976 13642 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 33031 13642 2934 3035 0 16878 0
[pid=29005/tid=29009] ppid=29002 vsize=132124 memory=664970838410264707 CPUtime=0.13 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 5234 0 0 0 13 0 0 0 20 0 3 0 4458059 135294976 13642 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=132124 memory=19032 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458060 135294976 13642 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132124 KiB
Current children cumulated memory: 54568 KiB
[startup+0.304774 s]*
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125916300/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=132124 memory=54568 CPUtime=0.29 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 11319 0 0 0 28 1 0 0 20 0 3 0 4458052 135294976 13642 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 33031 13642 2934 3035 0 16896 0
[pid=29005/tid=29009] ppid=29002 vsize=132124 memory=-5155633513602706565 CPUtime=0.23 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 5253 0 0 0 23 0 0 0 20 0 3 0 4458059 135294976 13642 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=132124 memory=0 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458060 135294976 13642 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132124 KiB
Current children cumulated memory: 54568 KiB
[startup+0.700172 s]
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125906304/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=133580 memory=58580 CPUtime=0.69 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 12308 0 0 0 67 2 0 0 20 0 3 0 4458052 136785920 14645 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 33395 14645 2950 3035 0 18062 0
[pid=29005/tid=29009] ppid=29002 vsize=133580 memory=0 CPUtime=0.62 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 6242 0 0 0 62 0 0 0 20 0 3 0 4458059 136785920 14645 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=133580 memory=0 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458060 136785920 14645 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133580 KiB
Current children cumulated memory: 58580 KiB
[startup+1.5002 s]
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125895592/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=133580 memory=59432 CPUtime=1.49 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 15940 0 0 0 147 2 0 0 20 0 3 0 4458052 136785920 14858 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 33395 14858 2950 3035 0 18301 0
[pid=29005/tid=29009] ppid=29002 vsize=133580 memory=0 CPUtime=1.41 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 9870 0 0 0 141 0 0 0 20 0 3 0 4458059 136785920 14858 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=133580 memory=0 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4458060 136785920 14858 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 133580 KiB
Current children cumulated memory: 59432 KiB
[startup+3.10438 s]
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125832072/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=146772 memory=85564 CPUtime=3.09 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 24469 0 0 0 306 3 0 0 20 0 3 0 4458052 150294528 21391 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 36693 21391 2950 3035 0 25096 0
[pid=29005/tid=29009] ppid=29002 vsize=146772 memory=0 CPUtime=3.02 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 18438 0 0 0 301 1 0 0 20 0 3 0 4458059 150294528 21391 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=146772 memory=2273 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4458060 150294528 21391 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 146772 KiB
Current children cumulated memory: 85564 KiB
[startup+6.30017 s]
/proc/loadavg: 0.85 0.27 0.14 5/266 29012
/proc/meminfo: memFree=125416152/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=171436 memory=115096 CPUtime=6.28 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 47836 0 0 0 623 5 0 0 20 0 3 0 4458052 175550464 28774 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 42859 28774 2950 3035 0 32826 0
[pid=29005/tid=29009] ppid=29002 vsize=171436 memory=93680 CPUtime=6.2 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 41764 0 0 0 617 3 0 0 20 0 3 0 4458059 175550464 28774 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=171436 memory=-5155633513602706565 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4458060 175550464 28774 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 171436 KiB
Current children cumulated memory: 115096 KiB
[startup+12.7002 s]
/proc/loadavg: 1.11 0.33 0.16 5/266 29014
/proc/meminfo: memFree=125273908/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=184072 memory=135952 CPUtime=12.65 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 62930 0 0 0 1259 6 0 0 20 0 3 0 4458052 188489728 33988 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 46018 33988 2950 3035 0 39036 0
[pid=29005/tid=29009] ppid=29002 vsize=184072 memory=164 CPUtime=12.59 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 56817 0 0 0 1254 5 0 0 20 0 3 0 4458059 188489728 33988 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=184072 memory=135800 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4458060 188489728 33988 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 184072 KiB
Current children cumulated memory: 135952 KiB
[startup+25.5002 s]
/proc/loadavg: 1.75 0.51 0.22 5/266 29015
/proc/meminfo: memFree=125199720/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=184072 memory=136980 CPUtime=25.42 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 82868 0 0 0 2535 7 0 0 20 0 3 0 4458052 188489728 34245 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 46018 34245 2998 3035 0 39036 0
[pid=29005/tid=29009] ppid=29002 vsize=184072 memory=136244 CPUtime=25.36 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 76684 0 0 0 2530 6 0 0 20 0 3 0 4458059 188489728 34245 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=184072 memory=11584 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4458060 188489728 34245 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 184072 KiB
Current children cumulated memory: 136980 KiB
[startup+51.1045 s]
/proc/loadavg: 2.58 0.81 0.33 5/271 29081
/proc/meminfo: memFree=124056212/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=289244 memory=202728 CPUtime=50.95 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 171708 0 0 0 5081 14 0 0 20 0 3 0 4458052 296185856 50682 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 72311 50682 2998 3035 0 57269 0
[pid=29005/tid=29009] ppid=29002 vsize=289244 memory=201848 CPUtime=50.88 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 164655 0 0 0 5076 12 0 0 20 0 3 0 4458059 296185856 50682 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=289244 memory=146984 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4458060 296185856 50682 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 289244 KiB
Current children cumulated memory: 202728 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.32 0.53 5/270 29092
/proc/meminfo: memFree=123652744/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=293360 memory=228632 CPUtime=102 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 260895 0 0 0 10178 22 0 0 20 0 3 0 4458052 300400640 57158 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 73340 57158 2998 3035 0 64347 0
[pid=29005/tid=29009] ppid=29002 vsize=293360 memory=13172 CPUtime=101.92 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 252996 0 0 0 10172 20 0 0 20 0 3 0 4458059 300400640 57158 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=293360 memory=230228 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4458060 300400640 57158 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 293360 KiB
Current children cumulated memory: 228632 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.83 0.76 5/270 29102
/proc/meminfo: memFree=123525196/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=360136 memory=257268 CPUtime=161.81 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 326921 0 0 0 16153 28 0 0 20 0 3 0 4458052 368779264 64317 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 90034 64317 2998 3035 0 72348 0
[pid=29005/tid=29009] ppid=29002 vsize=360136 memory=254464 CPUtime=161.73 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 318573 0 0 0 16147 26 0 0 20 0 3 0 4458059 368779264 64317 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=360136 memory=254472 CPUtime=0 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4458060 368779264 64317 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 360136 KiB
################
# More data... #
################
/proc/29005/statm: 204862 194970 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=779880 CPUtime=3392.92 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2285347 0 0 0 339097 195 0 0 20 0 3 0 4458059 839114752 194970 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=11584 CPUtime=0.01 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 93 0 0 0 0 1 0 0 20 0 3 0 4458060 839114752 194970 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 779880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.08 5/264 30652
/proc/meminfo: memFree=122092076/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=780816 CPUtime=3453.04 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2308404 0 0 0 345100 204 0 0 20 0 3 0 4458052 839114752 195204 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195204 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=11584 CPUtime=3452.77 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2297103 0 0 0 345081 196 0 0 20 0 3 0 4458059 839114752 195204 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=780776 CPUtime=0.01 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 94 0 0 0 0 1 0 0 20 0 3 0 4458060 839114752 195204 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 780816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/266 30832
/proc/meminfo: memFree=122080388/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781056 CPUtime=3512.89 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2311516 0 0 0 351085 204 0 0 20 0 3 0 4458052 839114752 195264 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195264 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=780816 CPUtime=3512.61 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2300208 0 0 0 351065 196 0 0 20 0 3 0 4458059 839114752 195264 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=11584 CPUtime=0.01 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 94 0 0 0 0 1 0 0 20 0 3 0 4458060 839114752 195264 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.09 5/266 30842
/proc/meminfo: memFree=122077452/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781272 CPUtime=3572.75 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2323598 0 0 0 357070 205 0 0 20 0 3 0 4458052 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195318 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=781272 CPUtime=3572.46 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312280 0 0 0 357049 197 0 0 20 0 3 0 4458059 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=140143440769393 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781272 KiB
[startup+3598.1 s]
# the end of solver process 29005 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.45 s, system=2.06914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.09 5/266 30842
/proc/meminfo: memFree=122077460/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781272 CPUtime=3574.45 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2323603 0 0 0 357240 205 0 0 20 0 3 0 4458052 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195318 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=4904 CPUtime=3574.16 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312285 0 0 0 357219 197 0 0 20 0 3 0 4458059 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=483380 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3574.45 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781272 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076076/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781272 CPUtime=3580.83 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2323665 0 0 0 357878 205 0 0 20 0 3 0 4458052 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195318 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=11584 CPUtime=3580.54 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312347 0 0 0 357857 197 0 0 20 0 3 0 4458059 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=12856 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3580.83 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781272 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076012/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781272 CPUtime=3584.02 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2323674 0 0 0 358197 205 0 0 20 0 3 0 4458052 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195318 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=781272 CPUtime=3583.74 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312356 0 0 0 358177 197 0 0 20 0 3 0 4458059 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=781272 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195318 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781272 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076040/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781328 CPUtime=3585.62 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2323716 0 0 0 358357 205 0 0 20 0 3 0 4458052 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195332 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=7245577201579234449 CPUtime=3585.33 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312398 0 0 0 358336 197 0 0 20 0 3 0 4458059 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=7234276785647608368 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781328 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076000/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781328 CPUtime=3587.21 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2324011 0 0 0 358516 205 0 0 20 0 3 0 4458052 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195332 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=781272 CPUtime=3586.93 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312693 0 0 0 358496 197 0 0 20 0 3 0 4458059 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=781272 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781328 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 30844
/proc/meminfo: memFree=122171904/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781328 CPUtime=3588.01 cores=1,3
/proc/29005/stat : 29005 (fscip) S 29002 29005 28833 0 -1 1077936128 2324015 0 0 0 358596 205 0 0 20 0 3 0 4458052 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195332 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=-7666090306811552896 CPUtime=3587.72 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312697 0 0 0 358575 197 0 0 20 0 3 0 4458059 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=12856 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781328 KiB
[startup+3598 s]*
/proc/loadavg: 4.14 4.15 4.09 5/260 30859
/proc/meminfo: memFree=123808668/131524600 swapFree=131071996/131071996
[pid=29005] ppid=29002 vsize=819448 memory=781328 CPUtime=3588.41 cores=1,3
/proc/29005/stat : 29005 (fscip) R 29002 29005 28833 0 -1 1077936128 2324061 0 0 0 358636 205 0 0 20 0 3 0 4458052 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
/proc/29005/statm: 204862 195332 2998 3035 0 198425 0
[pid=29005/tid=29009] ppid=29002 vsize=819448 memory=-7812483601909447288 CPUtime=3588.13 cores=1,3
/proc/29005/task/29009/stat : 29009 (fscip) R 29002 29005 28833 0 -1 4194368 2312743 0 0 0 358616 197 0 0 20 0 3 0 4458059 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
[pid=29005/tid=29010] ppid=29002 vsize=819448 memory=4712 CPUtime=0.02 cores=1,3
/proc/29005/task/29010/stat : 29010 (fscip) S 29002 29005 28833 0 -1 1077936192 95 0 0 0 1 1 0 0 20 0 3 0 4458060 839114752 195332 134679101440 4194304 16623229 140737031462912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41725952 140737031468054 140737031468170 140737031468170 140737031475184 0
Current children cumulated CPU time: 3588.41 s
Current children cumulated vsize: 819448 KiB
Current children cumulated memory: 781328 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3588.52
CPU user time (s): 3586.45
CPU system time (s): 2.06914
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 819448
Max. memory (cumulated for all children) (KiB): 781328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.45
system time used= 2.06914
maximum resident set size= 781328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2325241
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= 10363
involuntary context switches= 2023
# summary of solver processes directly reported to runsolver:
# pid: 29005
# total CPU time (s): 3588.52
# total CPU user time (s): 3586.45
# total CPU system time (s): 2.06914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65831 second user time and 12.9754 second system time
The end
Begin job on nodeC022 at 2024-07-31 00:29:55
IDJOB=4463989
IDBENCH=147526
IDSOLVER=3092
FILE ID=nodeC022/4463989-1722378595
RUNJOBID= nodeC022-1722378594-28847
SLURM_JOB_ID= 8249845
Free space on /tmp= 890008 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.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-4463989-1722378595/watcher-4463989-1722378595 -o /tmp/evaluation-result-4463989-1722378595/solver-4463989-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463989-1722378595.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=1453536771
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.008
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.493
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.502
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.908
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.881
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.943
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.170
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.047
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126204816 kB
MemAvailable: 129065136 kB
Buffers: 91008 kB
Cached: 3574596 kB
SwapCached: 0 kB
Active: 260684 kB
Inactive: 4516112 kB
Active(anon): 1500 kB
Inactive(anon): 1131036 kB
Active(file): 259184 kB
Inactive(file): 3385076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 124176 kB
Writeback: 28 kB
AnonPages: 1111260 kB
Mapped: 110720 kB
Shmem: 21336 kB
KReclaimable: 111416 kB
Slab: 199012 kB
SReclaimable: 111416 kB
SUnreclaim: 87596 kB
KernelStack: 4076 kB
PageTables: 11092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1533664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC022 at 2024-07-31 01:29:54