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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 32526336, getVmSize() = 32526336, SCIPgetMemUsed() = 8862250, SCIPgetMemTotal() = 10605354, SCIPgetMemExternEstim() = 5423109
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.16 c ** Estimated virtualMemUsedAtSolver = 24946005, getVmSize() = 42311680, SCIPgetMemUsed() = 10323215, SCIPgetMemTotal() = 18977383, SCIPgetMemExternEstim() = 5423109
0.10/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.16 c Original Problem :
0.10/0.16 c Problem name : instance-4463987-1722378596
0.10/0.16 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 4000
0.10/0.16 c Objective sense : minimize
0.10/0.16 c Presolved Problem :
0.10/0.16 c Variables : 1515 (1515 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 2929
0.10/0.16 c Constraints : Number
0.10/0.16 c setppc : 2929
0.10/0.16 c ** Instance transfer method used: 0
0.10/0.18 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.19 c Nodes Active
0.10/0.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.21 c * 0 0 1 1 1735.0000 - -
0.29/0.38 c * 0 0 1 1 1184.0000 - -
0.29/0.39 c * 0 0 1 1 1090.0000 - -
0.39/0.44 c * 0 0 1 1 1085.0000 - -
13.23/13.37 c 13 2 1 1 1085.0000 1005.5532 7.90%
20.11/20.23 c 20 5 4 1 1085.0000 1005.5532 7.90%
26.30/26.42 c 26 9 8 1 1085.0000 1005.5532 7.90%
31.68/31.80 c 32 42 41 1 1085.0000 1005.5532 7.90%
31.90/32.01 c * 32 42 41 1 1057.0000 1005.5532 5.12%
36.37/36.58 c * 37 71 64 1 1056.0000 1005.7350 5.00%
40.36/40.57 c 41 90 74 1 1056.0000 1006.1797 4.95%
41.36/41.51 c * 42 90 74 1 1055.0000 1006.1797 4.85%
45.25/45.45 c * 45 149 87 1 1054.0000 1006.6305 4.71%
45.35/45.59 c 46 192 90 1 1054.0000 1007.4312 4.62%
51.23/51.46 c 51 212 102 1 1054.0000 1007.4312 4.62%
53.23/53.41 c * 53 233 103 1 1053.0000 1007.4312 4.52%
57.22/57.49 c 57 274 109 1 1053.0000 1007.5226 4.51%
63.61/63.87 c 64 317 114 1 1053.0000 1007.5553 4.51%
67.59/67.89 c * 68 322 115 1 1042.0000 1007.5647 3.42%
68.59/68.90 c 69 338 112 1 1042.0000 1007.5647 3.42%
75.57/75.88 c 76 417 133 1 1042.0000 1007.9722 3.38%
81.66/81.95 c 82 502 150 1 1042.0000 1008.9970 3.27%
84.56/84.81 c * 85 522 158 1 1041.0000 1009.0312 3.17%
84.56/84.81 c * 85 522 158 1 1040.0000 1009.0312 3.07%
87.24/87.54 c 88 582 160 1 1040.0000 1009.4274 3.03%
92.44/92.79 c 93 636 196 1 1040.0000 1009.4274 3.03%
97.83/98.11 c 98 676 212 1 1040.0000 1009.4816 3.02%
104.82/105.14 c 105 746 230 1 1040.0000 1009.5223 3.02%
111.70/112.11 c 112 797 257 1 1040.0000 1009.8333 2.99%
116.78/117.19 c 117 892 270 1 1040.0000 1009.9836 2.97%
122.37/122.73 c 123 931 279 1 1040.0000 1009.9836 2.97%
127.85/128.22 c 128 987 289 1 1040.0000 1010.0265 2.97%
134.74/135.20 c 135 1066 296 1 1040.0000 1010.0833 2.96%
141.42/141.87 c 142 1105 311 1 1040.0000 1010.2083 2.95%
148.30/148.70 c 149 1144 324 1 1040.0000 1010.5000 2.92%
153.98/154.41 c 154 1176 332 1 1040.0000 1010.5000 2.92%
158.97/159.45 c 159 1256 346 1 1040.0000 1010.8913 2.88%
165.26/165.78 c 166 1331 353 1 1040.0000 1010.9598 2.87%
170.44/170.93 c 171 1422 360 1 1040.0000 1010.9598 2.87%
175.64/176.18 c 176 1486 370 1 1040.0000 1011.0278 2.87%
182.31/182.85 c 183 1654 370 1 1040.0000 1011.1577 2.85%
187.40/187.97 c 188 1722 378 1 1040.0000 1011.1667 2.85%
192.88/193.41 c 193 1762 390 1 1040.0000 1011.2053 2.85%
199.07/199.63 c 200 1827 393 1 1040.0000 1011.2053 2.85%
204.16/204.76 c 205 1868 404 1 1040.0000 1011.2500 2.84%
209.64/210.27 c 210 1933 409 1 1040.0000 1011.5645 2.81%
217.32/217.90 c 218 1985 415 1 1040.0000 1011.6140 2.81%
223.31/223.98 c 224 2061 423 1 1040.0000 1011.6780 2.80%
231.19/231.83 c 232 2097 429 1 1040.0000 1011.6875 2.80%
236.98/237.66 c 238 2125 445 1 1040.0000 1011.7490 2.79%
243.06/243.77 c 244 2176 454 1 1040.0000 1011.7500 2.79%
248.15/248.83 c 249 2272 460 1 1040.0000 1011.8152 2.79%
253.64/254.34 c 254 2317 465 1 1040.0000 1011.8394 2.78%
259.62/260.32 c 260 2424 468 1 1040.0000 1011.8525 2.78%
265.50/266.21 c 266 2444 474 1 1040.0000 1011.8936 2.78%
270.59/271.33 c 271 2512 478 1 1040.0000 1011.9560 2.77%
278.06/278.80 c 279 2567 491 1 1040.0000 1011.9608 2.77%
284.05/284.80 c 285 2606 502 1 1040.0000 1012.0849 2.76%
289.84/290.63 c 291 2675 509 1 1040.0000 1012.1261 2.75%
295.33/296.14 c 296 2832 510 1 1040.0000 1012.3165 2.73%
300.91/301.75 c 302 2915 513 1 1040.0000 1012.3165 2.73%
306.00/306.85 c 307 2942 518 1 1040.0000 1012.4370 2.72%
312.58/313.49 c 313 3035 525 1 1040.0000 1012.5324 2.71%
318.47/319.30 c 319 3106 538 1 1040.0000 1012.5636 2.71%
324.36/325.27 c 325 3144 538 1 1040.0000 1012.5913 2.71%
329.84/330.75 c 331 3225 545 1 1040.0000 1012.6275 2.70%
335.43/336.35 c 336 3284 554 1 1040.0000 1012.7000 2.70%
341.01/341.98 c 342 3364 560 1 1040.0000 1012.8261 2.68%
347.80/348.76 c 349 3485 561 1 1040.0000 1012.8333 2.68%
353.78/354.78 c 355 3521 571 1 1040.0000 1012.8644 2.68%
361.67/362.68 c 363 3597 583 1 1040.0000 1012.9211 2.67%
367.65/368.69 c 369 3681 587 1 1040.0000 1013.0823 2.66%
374.33/375.38 c 375 3754 592 1 1040.0000 1013.0982 2.66%
381.03/382.06 c 382 3796 602 1 1040.0000 1013.1064 2.65%
386.50/387.58 c 388 3855 609 1 1040.0000 1013.1111 2.65%
392.68/393.77 c 394 3923 615 1 1040.0000 1013.2408 2.64%
400.57/401.68 c 402 4033 617 1 1040.0000 1013.2981 2.64%
405.76/406.86 c 407 4037 621 1 1040.0000 1013.2981 2.64%
410.84/411.97 c 412 4099 629 1 1040.0000 1013.3163 2.63%
416.83/417.91 c 418 4135 631 1 1040.0000 1013.3705 2.63%
422.51/423.69 c 424 4191 643 1 1040.0000 1013.3720 2.63%
428.09/429.24 c 429 4286 644 1 1040.0000 1013.4012 2.62%
434.17/435.31 c 435 4422 644 1 1040.0000 1013.4478 2.62%
440.66/441.85 c 442 4485 653 1 1040.0000 1013.4777 2.62%
446.14/447.31 c 447 4593 655 1 1040.0000 1013.4777 2.62%
451.63/452.87 c 453 4708 658 1 1040.0000 1013.4777 2.62%
456.82/458.03 c 458 4766 666 1 1040.0000 1013.5000 2.61%
462.39/463.64 c 464 4856 672 1 1040.0000 1013.5333 2.61%
467.89/469.13 c 469 4996 672 1 1040.0000 1013.5333 2.61%
475.05/476.37 c 476 5074 678 1 1040.0000 1013.5925 2.61%
480.53/481.83 c 482 5143 683 1 1040.0000 1013.5936 2.61%
488.21/489.58 c 490 5235 691 1 1040.0000 1013.6107 2.60%
494.00/495.32 c 495 5286 702 1 1040.0000 1013.6667 2.60%
499.69/501.09 c 501 5412 704 1 1040.0000 1013.7692 2.59%
507.25/508.61 c 509 5455 715 1 1040.0000 1013.7832 2.59%
512.94/514.39 c 514 5492 722 1 1040.0000 1013.8109 2.58%
518.22/519.60 c 520 5544 728 1 1040.0000 1013.8475 2.58%
523.31/524.75 c 525 5647 731 1 1040.0000 1013.8475 2.58%
528.99/530.43 c 530 5774 722 1 1040.0000 1013.8475 2.58%
534.58/536.05 c 536 5915 721 1 1040.0000 1013.8475 2.58%
540.25/541.77 c 542 6035 719 1 1040.0000 1013.8475 2.58%
545.54/547.02 c 547 6124 722 1 1040.0000 1013.8475 2.58%
550.82/552.39 c 552 6161 727 1 1040.0000 1013.8936 2.57%
556.30/557.81 c 558 6218 732 1 1040.0000 1014.0000 2.56%
561.60/563.12 c 563 6271 739 1 1040.0000 1014.0000 2.56%
569.06/570.63 c 571 6346 742 1 1040.0000 1014.0471 2.56%
574.34/575.96 c 576 6421 745 1 1040.0000 1014.0471 2.56%
581.62/583.27 c 583 6473 747 1 1040.0000 1014.1729 2.55%
587.00/588.67 c 589 6547 749 1 1040.0000 1014.1729 2.55%
592.59/594.29 c 594 6582 758 1 1040.0000 1014.2020 2.54%
597.99/599.61 c 600 6687 757 1 1040.0000 1014.2020 2.54%
603.17/604.87 c 605 6782 758 1 1040.0000 1014.2020 2.54%
608.95/610.68 c 611 6825 763 1 1040.0000 1014.2098 2.54%
614.25/615.97 c 616 6862 770 1 1040.0000 1014.2317 2.54%
619.34/621.05 c 621 6900 776 1 1040.0000 1014.2317 2.54%
625.11/626.81 c 627 6954 776 1 1040.0000 1014.2377 2.54%
630.10/631.85 c 632 7022 782 1 1040.0000 1014.2500 2.54%
635.69/637.48 c 637 7062 788 1 1040.0000 1014.2500 2.54%
641.46/643.21 c 643 7122 792 1 1040.0000 1014.2517 2.54%
646.55/648.38 c 648 7222 798 1 1040.0000 1014.2517 2.54%
653.02/654.80 c 655 7323 797 1 1040.0000 1014.3333 2.53%
659.51/661.39 c 661 7374 802 1 1040.0000 1014.3734 2.53%
665.31/667.13 c 667 7406 808 1 1040.0000 1014.3734 2.53%
670.39/672.22 c 672 7486 810 1 1040.0000 1014.4118 2.52%
675.58/677.49 c 677 7532 812 1 1040.0000 1014.4202 2.52%
681.36/683.30 c 683 7608 816 1 1040.0000 1014.4202 2.52%
687.45/689.37 c 689 7692 824 1 1040.0000 1014.5239 2.51%
692.73/694.69 c 695 7723 833 1 1040.0000 1014.5500 2.51%
698.41/700.38 c 700 7835 839 1 1040.0000 1014.5502 2.51%
703.70/705.62 c 706 7981 847 1 1040.0000 1014.5502 2.51%
710.28/712.26 c 712 8025 857 1 1040.0000 1014.6560 2.50%
716.18/718.12 c 718 8146 864 1 1040.0000 1014.7061 2.49%
721.74/723.72 c 724 8250 866 1 1040.0000 1014.7971 2.48%
728.93/730.91 c 731 8314 878 1 1040.0000 1014.8276 2.48%
734.12/736.17 c 736 8492 884 1 1040.0000 1014.8276 2.48%
740.10/742.18 c 742 8615 885 1 1040.0000 1014.8451 2.48%
746.17/748.22 c 748 8721 891 1 1040.0000 1014.8494 2.48%
752.07/754.12 c 754 8835 895 1 1040.0000 1014.8734 2.48%
757.24/759.35 c 759 9009 899 1 1040.0000 1014.8734 2.48%
762.23/764.37 c 764 9094 900 1 1040.0000 1014.8947 2.47%
767.61/769.77 c 770 9236 906 1 1040.0000 1014.8947 2.47%
773.70/775.85 c 776 9362 904 1 1040.0000 1014.9490 2.47%
778.90/781.03 c 781 9511 907 1 1040.0000 1014.9490 2.47%
785.77/787.95 c 788 9584 920 1 1040.0000 1014.9839 2.46%
790.86/793.03 c 793 9751 925 1 1040.0000 1014.9839 2.46%
797.85/800.05 c 800 9767 931 1 1040.0000 1015.0000 2.46%
803.02/805.20 c 805 9892 932 1 1040.0000 1015.0000 2.46%
809.30/811.55 c 812 9924 942 1 1040.0000 1015.0838 2.45%
814.39/816.69 c 817 10033 947 1 1040.0000 1015.0838 2.45%
819.79/822.02 c 822 10135 951 1 1040.0000 1015.0838 2.45%
825.17/827.48 c 827 10215 957 1 1040.0000 1015.0869 2.45%
831.26/833.50 c 834 10246 960 1 1040.0000 1015.0948 2.45%
837.44/839.75 c 840 10309 965 1 1040.0000 1015.1208 2.45%
842.74/845.01 c 845 10418 968 1 1040.0000 1015.1208 2.45%
849.31/851.60 c 852 10427 973 1 1040.0000 1015.1430 2.45%
855.10/857.42 c 857 10519 981 1 1040.0000 1015.1858 2.44%
860.48/862.89 c 863 10638 980 1 1040.0000 1015.1858 2.44%
866.27/868.63 c 869 10687 987 1 1040.0000 1015.2241 2.44%
871.96/874.39 c 874 10732 994 1 1040.0000 1015.3011 2.43%
877.85/880.25 c 880 10762 998 1 1040.0000 1015.3333 2.43%
883.13/885.53 c 886 10822 1002 1 1040.0000 1015.3464 2.43%
889.22/891.65 c 892 10875 1011 1 1040.0000 1015.3523 2.43%
895.80/898.20 c 898 10887 1019 1 1040.0000 1015.3607 2.43%
901.09/903.59 c 904 10944 1020 1 1040.0000 1015.3748 2.43%
908.18/910.69 c 911 11005 1027 1 1040.0000 1015.4085 2.42%
913.46/915.91 c 916 11180 1028 1 1040.0000 1015.4085 2.42%
918.65/921.13 c 921 11269 1031 1 1040.0000 1015.4085 2.42%
924.92/927.45 c 927 11305 1039 1 1040.0000 1015.4492 2.42%
930.52/933.08 c 933 11375 1043 1 1040.0000 1015.4500 2.42%
936.50/939.02 c 939 11378 1046 1 1040.0000 1015.4500 2.42%
942.27/944.84 c 945 11405 1055 1 1040.0000 1015.5156 2.41%
947.95/950.51 c 951 11542 1058 1 1040.0000 1015.5327 2.41%
955.45/958.08 c 958 11613 1065 1 1040.0000 1015.5731 2.41%
960.91/963.52 c 964 11662 1078 1 1040.0000 1015.5962 2.40%
965.90/968.58 c 969 11741 1085 1 1040.0000 1015.5962 2.40%
972.39/975.05 c 975 11787 1095 1 1040.0000 1015.6168 2.40%
978.38/981.03 c 981 11822 1102 1 1040.0000 1015.6357 2.40%
985.35/988.10 c 988 11887 1111 1 1040.0000 1015.6581 2.40%
991.34/994.08 c 994 11990 1120 1 1040.0000 1015.6849 2.39%
997.01/999.77 c 1000 12097 1123 1 1040.0000 1015.7020 2.39%
1003.30/1006.10 c 1006 12225 1123 1 1040.0000 1015.7067 2.39%
1008.77/1011.52 c 1012 12292 1132 1 1040.0000 1015.7419 2.39%
1014.37/1017.12 c 1017 12380 1138 1 1040.0000 1015.7419 2.39%
1019.54/1022.30 c 1022 12464 1136 1 1040.0000 1015.7419 2.39%
1027.33/1030.17 c 1030 12512 1146 1 1040.0000 1015.7500 2.39%
1033.60/1036.48 c 1036 12550 1160 1 1040.0000 1015.7590 2.39%
1039.20/1042.04 c 1042 12615 1159 1 1040.0000 1015.8539 2.38%
1044.47/1047.31 c 1047 12651 1161 1 1040.0000 1015.8539 2.38%
1049.55/1052.43 c 1052 12816 1162 1 1040.0000 1015.8539 2.38%
1057.14/1060.06 c 1060 12933 1167 1 1040.0000 1015.8616 2.38%
1062.31/1065.28 c 1065 13005 1179 1 1040.0000 1015.8725 2.38%
1069.39/1072.35 c 1072 13053 1189 1 1040.0000 1015.9213 2.37%
1076.97/1079.94 c 1080 13185 1205 1 1040.0000 1015.9223 2.37%
1083.65/1086.61 c 1087 13202 1214 1 1040.0000 1015.9630 2.37%
1089.43/1092.48 c 1092 13294 1222 1 1040.0000 1015.9707 2.37%
1095.81/1098.81 c 1099 13355 1229 1 1040.0000 1015.9823 2.36%
1101.59/1104.68 c 1105 13475 1239 1 1040.0000 1016.0000 2.36%
1107.99/1111.10 c 1111 13524 1246 1 1040.0000 1016.0166 2.36%
1113.56/1116.62 c 1117 13551 1255 1 1040.0000 1016.0182 2.36%
1120.55/1123.65 c 1124 13623 1255 1 1040.0000 1016.0198 2.36%
1126.53/1129.64 c 1130 13707 1261 1 1040.0000 1016.0210 2.36%
1134.30/1137.49 c 1137 13772 1266 1 1040.0000 1016.0462 2.36%
1142.38/1145.51 c 1146 13817 1277 1 1040.0000 1016.0528 2.36%
1148.06/1151.24 c 1151 13914 1282 1 1040.0000 1016.0535 2.36%
1153.15/1156.39 c 1156 14049 1279 1 1040.0000 1016.0535 2.36%
1160.22/1163.41 c 1163 14116 1290 1 1040.0000 1016.0908 2.35%
1165.21/1168.48 c 1168 14248 1300 1 1040.0000 1016.0908 2.35%
1171.09/1174.33 c 1174 14353 1309 1 1040.0000 1016.1426 2.35%
1176.57/1179.86 c 1180 14444 1316 1 1040.0000 1016.1471 2.35%
1183.06/1186.34 c 1186 14544 1316 1 1040.0000 1016.1647 2.35%
1188.05/1191.37 c 1191 14612 1318 1 1040.0000 1016.1701 2.35%
1193.63/1196.91 c 1197 14649 1329 1 1040.0000 1016.1981 2.34%
1200.41/1203.72 c 1204 14743 1329 1 1040.0000 1016.2162 2.34%
1206.29/1209.65 c 1210 14791 1339 1 1040.0000 1016.2308 2.34%
1213.87/1217.28 c 1217 14892 1336 1 1040.0000 1016.2458 2.34%
1219.45/1222.83 c 1223 14903 1343 1 1040.0000 1016.2500 2.34%
1224.65/1228.09 c 1228 15002 1346 1 1040.0000 1016.2500 2.34%
1229.92/1233.31 c 1233 15100 1352 1 1040.0000 1016.2500 2.34%
1235.50/1238.95 c 1239 15205 1351 1 1040.0000 1016.2500 2.34%
1241.88/1245.38 c 1245 15244 1352 1 1040.0000 1016.2530 2.34%
1247.87/1251.36 c 1251 15309 1365 1 1040.0000 1016.3017 2.33%
1253.45/1256.94 c 1257 15333 1371 1 1040.0000 1016.3135 2.33%
1258.94/1262.47 c 1262 15404 1370 1 1040.0000 1016.3135 2.33%
1264.12/1267.63 c 1268 15422 1376 1 1040.0000 1016.3873 2.32%
1270.30/1273.85 c 1274 15465 1387 1 1040.0000 1016.4007 2.32%
1279.87/1283.44 c 1283 15487 1397 1 1040.0000 1016.4107 2.32%
1285.65/1289.21 c 1289 15529 1403 1 1040.0000 1016.4534 2.32%
1291.64/1295.20 c 1295 15580 1410 1 1040.0000 1016.4667 2.32%
1297.63/1301.26 c 1301 15633 1409 1 1040.0000 1016.4667 2.32%
1303.11/1306.76 c 1307 15699 1415 1 1040.0000 1016.4856 2.31%
1309.99/1313.62 c 1314 15725 1423 1 1040.0000 1016.5061 2.31%
1315.39/1319.06 c 1319 15834 1426 1 1040.0000 1016.5061 2.31%
1322.55/1326.23 c 1326 15852 1432 1 1040.0000 1016.5110 2.31%
1328.04/1331.75 c 1332 15889 1439 1 1040.0000 1016.5110 2.31%
1333.12/1336.89 c 1337 15955 1441 1 1040.0000 1016.5225 2.31%
1339.31/1343.04 c 1343 16006 1448 1 1040.0000 1016.5512 2.31%
1344.58/1348.32 c 1348 16033 1451 1 1040.0000 1016.5657 2.31%
1349.87/1353.67 c 1354 16066 1460 1 1040.0000 1016.5734 2.30%
1356.55/1360.36 c 1360 16110 1468 1 1040.0000 1016.5835 2.30%
1363.72/1367.59 c 1368 16133 1475 1 1040.0000 1016.6286 2.30%
1369.32/1373.17 c 1373 16216 1480 1 1040.0000 1016.6286 2.30%
1376.98/1380.89 c 1381 16343 1479 1 1040.0000 1016.6312 2.30%
1382.36/1386.26 c 1386 16417 1483 1 1040.0000 1016.6312 2.30%
1388.85/1392.77 c 1393 16455 1491 1 1040.0000 1016.6640 2.30%
1394.54/1398.41 c 1398 16499 1499 1 1040.0000 1016.6846 2.29%
1402.12/1406.11 c 1406 16632 1498 1 1040.0000 1016.6876 2.29%
1407.30/1411.26 c 1411 16687 1503 1 1040.0000 1016.6876 2.29%
1413.58/1417.56 c 1418 16772 1504 1 1040.0000 1016.7046 2.29%
1420.86/1424.88 c 1425 16797 1515 1 1040.0000 1016.7140 2.29%
1427.15/1431.11 c 1431 16884 1516 1 1040.0000 1016.7168 2.29%
1432.32/1436.39 c 1436 16909 1529 1 1040.0000 1016.7317 2.29%
1441.11/1445.14 c 1445 16972 1534 1 1040.0000 1016.7442 2.29%
1446.99/1451.08 c 1451 17019 1543 1 1040.0000 1016.7717 2.28%
1451.98/1456.10 c 1456 17050 1548 1 1040.0000 1016.8167 2.28%
1459.64/1463.76 c 1464 17072 1554 1 1040.0000 1016.8508 2.28%
1466.12/1470.23 c 1470 17084 1562 1 1040.0000 1016.8711 2.27%
1473.02/1477.12 c 1477 17117 1575 1 1040.0000 1016.8982 2.27%
1479.78/1483.95 c 1484 17192 1576 1 1040.0000 1016.9100 2.27%
1485.77/1489.95 c 1490 17196 1 1 1040.0000 1016.9100 2.27%
1492.05/1496.20 c 1496 17211 16 1 1040.0000 1016.9100 2.27%
1497.23/1501.41 c 1501 17215 20 1 1040.0000 1016.9100 2.27%
1503.12/1507.39 c 1507 17246 23 1 1040.0000 1016.9100 2.27%
1510.29/1514.50 c 1514 17294 31 1 1040.0000 1016.9100 2.27%
1515.37/1519.62 c 1520 17348 33 1 1040.0000 1016.9100 2.27%
1521.45/1525.79 c 1526 17437 38 1 1040.0000 1016.9100 2.27%
1527.54/1531.86 c 1532 17497 42 1 1040.0000 1016.9100 2.27%
1532.73/1537.01 c 1537 17607 42 1 1040.0000 1016.9100 2.27%
1538.11/1542.49 c 1542 17751 46 1 1040.0000 1016.9100 2.27%
1543.90/1548.27 c 1548 17846 55 1 1040.0000 1016.9100 2.27%
1549.08/1553.41 c 1553 17950 59 1 1040.0000 1016.9100 2.27%
1555.38/1559.79 c 1560 18019 62 1 1040.0000 1016.9100 2.27%
1562.86/1567.28 c 1567 18049 66 1 1040.0000 1016.9495 2.27%
1568.44/1572.82 c 1573 18173 76 1 1040.0000 1017.0311 2.26%
1573.43/1577.83 c 1578 18299 86 1 1040.0000 1017.0937 2.25%
1579.32/1583.71 c 1584 18461 90 1 1040.0000 1017.1000 2.25%
1584.61/1589.08 c 1589 18599 100 1 1040.0000 1017.3081 2.23%
1591.38/1595.87 c 1596 18729 110 1 1040.0000 1017.3244 2.23%
1596.97/1601.44 c 1601 18855 116 1 1040.0000 1017.4024 2.22%
1602.46/1606.98 c 1607 18955 122 1 1040.0000 1017.4660 2.21%
1608.25/1612.73 c 1613 19039 126 1 1040.0000 1017.5054 2.21%
1614.33/1618.81 c 1619 19050 131 1 1040.0000 1017.5116 2.21%
1620.12/1624.67 c 1625 19207 138 1 1040.0000 1017.5611 2.21%
1625.31/1629.89 c 1630 19316 145 1 1040.0000 1017.7407 2.19%
1631.19/1635.76 c 1636 19442 149 1 1040.0000 1017.7407 2.19%
1637.18/1641.72 c 1642 19636 149 1 1040.0000 1017.7407 2.19%
1642.37/1646.92 c 1647 19728 155 1 1040.0000 1017.7489 2.19%
1648.26/1652.85 c 1653 19855 162 1 1040.0000 1017.7627 2.18%
1653.64/1658.26 c 1658 19959 170 1 1040.0000 1017.8519 2.18%
1658.82/1663.42 c 1663 20018 183 1 1040.0000 1017.8620 2.17%
1664.01/1668.60 c 1669 20116 187 1 1040.0000 1017.9513 2.17%
1669.00/1673.66 c 1674 20172 195 1 1040.0000 1017.9513 2.17%
1674.29/1678.94 c 1679 20259 196 1 1040.0000 1017.9513 2.17%
1679.57/1684.20 c 1684 20326 203 1 1040.0000 1018.0274 2.16%
1685.27/1689.95 c 1690 20405 212 1 1040.0000 1018.0721 2.15%
1690.55/1695.25 c 1695 20502 219 1 1040.0000 1018.1441 2.15%
1696.54/1701.26 c 1701 20658 219 1 1040.0000 1018.1551 2.15%
1701.82/1706.50 c 1706 20825 220 1 1040.0000 1018.1551 2.15%
1707.42/1712.16 c 1712 20907 226 1 1040.0000 1018.1808 2.14%
1712.60/1717.31 c 1717 21026 233 1 1040.0000 1018.1919 2.14%
1717.68/1722.47 c 1722 21126 243 1 1040.0000 1018.2028 2.14%
1723.18/1727.90 c 1728 21216 257 1 1040.0000 1018.3128 2.13%
1729.06/1733.84 c 1734 21240 265 1 1040.0000 1018.3433 2.13%
1734.36/1739.16 c 1739 21322 279 1 1040.0000 1018.3531 2.13%
1739.54/1744.35 c 1744 21466 277 1 1040.0000 1018.3705 2.12%
1745.52/1750.30 c 1750 21580 287 1 1040.0000 1018.3894 2.12%
1752.09/1756.92 c 1757 21647 302 1 1040.0000 1018.4216 2.12%
1757.19/1762.03 c 1762 21824 305 1 1040.0000 1018.4216 2.12%
1762.86/1767.79 c 1768 21944 311 1 1040.0000 1018.4430 2.12%
1768.65/1773.53 c 1774 21980 321 1 1040.0000 1018.4666 2.11%
1773.64/1778.58 c 1779 22035 322 1 1040.0000 1018.4666 2.11%
1779.33/1784.28 c 1784 22109 324 1 1040.0000 1018.4969 2.11%
1785.01/1789.99 c 1790 22204 321 1 1040.0000 1018.4969 2.11%
1791.60/1796.53 c 1797 22349 324 1 1040.0000 1018.4969 2.11%
1797.88/1802.87 c 1803 22409 338 1 1040.0000 1018.5020 2.11%
1803.67/1808.60 c 1809 22527 344 1 1040.0000 1018.5178 2.11%
1808.65/1813.65 c 1814 22652 345 1 1040.0000 1018.5529 2.11%
1815.54/1820.55 c 1821 22760 357 1 1040.0000 1018.5749 2.10%
1820.73/1825.73 c 1826 22869 362 1 1040.0000 1018.5750 2.10%
1826.03/1831.06 c 1831 22945 368 1 1040.0000 1018.5776 2.10%
1831.81/1836.85 c 1837 22970 373 1 1040.0000 1018.5779 2.10%
1837.00/1842.07 c 1842 23076 379 1 1040.0000 1018.6498 2.10%
1842.58/1847.61 c 1848 23186 387 1 1040.0000 1018.6498 2.10%
1847.86/1852.97 c 1853 23256 389 1 1040.0000 1018.6764 2.09%
1853.44/1858.51 c 1859 23392 395 1 1040.0000 1018.6764 2.09%
1860.42/1865.54 c 1866 23459 396 1 1040.0000 1018.7229 2.09%
1867.50/1872.67 c 1873 23546 401 1 1040.0000 1018.7492 2.09%
1872.90/1878.04 c 1878 23690 409 1 1040.0000 1018.7492 2.09%
1878.57/1883.76 c 1884 23733 420 1 1040.0000 1018.7624 2.08%
1884.46/1889.60 c 1890 23910 419 1 1040.0000 1018.7624 2.08%
1889.64/1894.89 c 1895 24009 426 1 1040.0000 1018.7681 2.08%
1895.13/1900.37 c 1900 24102 431 1 1040.0000 1018.7795 2.08%
1900.72/1905.92 c 1906 24187 432 1 1040.0000 1018.8082 2.08%
1906.81/1912.09 c 1912 24269 444 1 1040.0000 1018.8786 2.07%
1912.10/1917.37 c 1917 24341 446 1 1040.0000 1018.8786 2.07%
1917.18/1922.41 c 1922 24386 449 1 1040.0000 1018.9075 2.07%
1923.07/1928.33 c 1928 24532 453 1 1040.0000 1018.9075 2.07%
1929.46/1934.70 c 1935 24607 456 1 1040.0000 1018.9169 2.07%
1934.44/1939.76 c 1940 24706 461 1 1040.0000 1018.9283 2.07%
1944.22/1949.58 c 1950 24830 475 1 1040.0000 1018.9579 2.07%
1949.91/1955.27 c 1955 24968 477 1 1040.0000 1018.9806 2.06%
1956.29/1961.61 c 1962 25036 483 1 1040.0000 1019.0254 2.06%
1961.98/1967.32 c 1967 25085 494 1 1040.0000 1019.0254 2.06%
1967.36/1972.75 c 1973 25187 510 1 1040.0000 1019.0359 2.06%
1972.76/1978.18 c 1978 25224 527 1 1040.0000 1019.0532 2.06%
1978.54/1983.98 c 1984 25404 523 1 1040.0000 1019.0532 2.06%
1985.31/1990.70 c 1991 25547 540 1 1040.0000 1019.0837 2.05%
1990.61/1996.02 c 1996 25660 551 1 1040.0000 1019.0837 2.05%
1996.00/2001.43 c 2001 25788 555 1 1040.0000 1019.1096 2.05%
2001.59/2007.06 c 2007 25959 558 1 1040.0000 1019.1427 2.05%
2007.07/2012.56 c 2013 26163 564 1 1040.0000 1019.1518 2.05%
2013.05/2018.56 c 2019 26232 585 1 1040.0000 1019.2268 2.04%
2018.44/2023.92 c 2024 26363 582 1 1040.0000 1019.2708 2.03%
2023.64/2029.15 c 2029 26462 579 1 1040.0000 1019.2708 2.03%
2029.41/2034.99 c 2035 26639 584 1 1040.0000 1019.2873 2.03%
2036.20/2041.72 c 2042 26650 591 1 1040.0000 1019.2910 2.03%
2042.08/2047.65 c 2048 26756 603 1 1040.0000 1019.3552 2.03%
2048.26/2053.80 c 2054 26848 603 1 1040.0000 1019.3552 2.03%
2053.35/2058.97 c 2059 26886 609 1 1040.0000 1019.3814 2.02%
2058.94/2064.52 c 2065 27006 607 1 1040.0000 1019.3995 2.02%
2064.82/2070.43 c 2070 27089 614 1 1040.0000 1019.4008 2.02%
2070.71/2076.33 c 2076 27147 620 1 1040.0000 1019.4261 2.02%
2076.60/2082.27 c 2082 27187 632 1 1040.0000 1019.4454 2.02%
2081.78/2087.44 c 2087 27292 641 1 1040.0000 1019.4481 2.02%
2087.27/2092.90 c 2093 27427 644 1 1040.0000 1019.4481 2.02%
2092.75/2098.45 c 2098 27522 649 1 1040.0000 1019.4583 2.01%
2097.94/2103.67 c 2104 27695 646 1 1040.0000 1019.4583 2.01%
2104.12/2109.82 c 2110 27817 660 1 1040.0000 1019.5368 2.01%
2109.12/2114.83 c 2115 27887 664 1 1040.0000 1019.5712 2.00%
2118.31/2124.03 c 2124 27950 679 1 1040.0000 1019.5936 2.00%
2124.88/2130.68 c 2131 28047 682 1 1040.0000 1019.5992 2.00%
2130.57/2136.36 c 2136 28188 691 1 1040.0000 1019.6004 2.00%
2136.46/2142.29 c 2142 28291 704 1 1040.0000 1019.6417 2.00%
2141.54/2147.39 c 2147 28457 712 1 1040.0000 1019.6417 2.00%
2146.63/2152.40 c 2152 28564 715 1 1040.0000 1019.6530 2.00%
2151.82/2157.67 c 2158 28686 717 1 1040.0000 1019.6921 1.99%
2157.50/2163.31 c 2163 28759 724 1 1040.0000 1019.7332 1.99%
2162.59/2168.43 c 2168 28912 731 1 1040.0000 1019.7332 1.99%
2167.98/2173.89 c 2174 28970 731 1 1040.0000 1019.7343 1.99%
2173.66/2179.58 c 2180 29006 735 1 1040.0000 1019.7482 1.99%
2179.65/2185.58 c 2186 29079 748 1 1040.0000 1019.7667 1.98%
2184.94/2190.80 c 2191 29207 754 1 1040.0000 1019.7667 1.98%
2189.93/2195.86 c 2196 29268 759 1 1040.0000 1019.7815 1.98%
2196.71/2202.68 c 2203 29350 769 1 1040.0000 1019.7924 1.98%
2202.21/2208.13 c 2208 29435 772 1 1040.0000 1019.7924 1.98%
2208.38/2214.32 c 2214 29523 768 1 1040.0000 1019.7924 1.98%
2213.47/2219.48 c 2219 29560 771 1 1040.0000 1019.7962 1.98%
2218.86/2224.85 c 2225 29639 778 1 1040.0000 1019.8058 1.98%
2225.06/2231.07 c 2231 29737 802 1 1040.0000 1019.8111 1.98%
2230.83/2236.84 c 2237 29776 815 1 1040.0000 1019.8383 1.98%
2238.22/2244.24 c 2244 29836 827 1 1040.0000 1019.8438 1.98%
2243.50/2249.52 c 2250 29907 836 1 1040.0000 1019.8562 1.98%
2249.19/2255.23 c 2255 30038 841 1 1040.0000 1019.8563 1.98%
2254.87/2260.94 c 2261 30119 844 1 1040.0000 1019.8564 1.98%
2260.07/2266.11 c 2266 30234 869 1 1040.0000 1019.8564 1.98%
2266.24/2272.36 c 2272 30349 874 1 1040.0000 1019.8564 1.98%
2271.94/2278.10 c 2278 30466 883 1 1040.0000 1019.8688 1.97%
2277.11/2283.21 c 2283 30505 888 1 1040.0000 1019.8688 1.97%
2282.70/2288.84 c 2289 30624 895 1 1040.0000 1019.8688 1.97%
2288.01/2294.16 c 2294 30726 897 1 1040.0000 1019.8688 1.97%
2293.18/2299.30 c 2299 30866 905 1 1040.0000 1019.8688 1.97%
2298.98/2305.19 c 2305 30999 910 1 1040.0000 1019.8765 1.97%
2304.75/2311.01 c 2311 31133 916 1 1040.0000 1019.8793 1.97%
2311.13/2317.34 c 2317 31276 909 1 1040.0000 1019.8872 1.97%
2316.32/2322.57 c 2323 31392 915 1 1040.0000 1019.8872 1.97%
2323.00/2329.28 c 2329 31446 919 1 1040.0000 1019.9074 1.97%
2329.58/2335.86 c 2336 31528 927 1 1040.0000 1019.9205 1.97%
2335.08/2341.37 c 2341 31641 930 1 1040.0000 1019.9205 1.97%
2340.36/2346.60 c 2347 31759 946 1 1040.0000 1019.9205 1.97%
2346.15/2352.45 c 2352 31869 948 1 1040.0000 1019.9232 1.97%
2351.93/2358.21 c 2358 31952 955 1 1040.0000 1019.9369 1.97%
2357.32/2363.60 c 2364 32099 956 1 1040.0000 1019.9369 1.97%
2362.50/2368.80 c 2369 32203 954 1 1040.0000 1019.9369 1.97%
2367.80/2374.18 c 2374 32270 957 1 1040.0000 1019.9369 1.97%
2373.80/2380.12 c 2380 32356 959 1 1040.0000 1019.9696 1.96%
2379.37/2385.78 c 2386 32442 959 1 1040.0000 1019.9838 1.96%
2386.05/2392.46 c 2392 32520 967 1 1040.0000 1020.0179 1.96%
2391.84/2398.24 c 2398 32599 976 1 1040.0000 1020.0212 1.96%
2397.64/2404.08 c 2404 32646 983 1 1040.0000 1020.0408 1.96%
2402.91/2409.35 c 2409 32676 989 1 1040.0000 1020.1152 1.95%
2408.71/2415.18 c 2415 32702 999 1 1040.0000 1020.1277 1.95%
2414.38/2420.81 c 2421 32794 999 1 1040.0000 1020.1277 1.95%
2420.97/2427.49 c 2428 32837 1006 1 1040.0000 1020.1362 1.95%
2426.96/2433.44 c 2433 32886 1013 1 1040.0000 1020.1464 1.95%
2434.04/2440.59 c 2441 32958 1019 1 1040.0000 1020.2116 1.94%
2440.72/2447.23 c 2447 33040 1031 1 1040.0000 1020.2116 1.94%
2446.11/2452.66 c 2453 33094 1037 1 1040.0000 1020.2293 1.94%
2452.10/2458.61 c 2459 33123 1040 1 1040.0000 1020.2293 1.94%
2458.89/2465.46 c 2465 33236 1045 1 1040.0000 1020.2293 1.94%
2463.97/2470.57 c 2471 33280 1051 1 1040.0000 1020.2293 1.94%
2469.86/2476.41 c 2476 33313 1054 1 1040.0000 1020.2293 1.94%
2476.34/2482.92 c 2483 33346 1053 1 1040.0000 1020.2349 1.94%
2481.93/2488.54 c 2489 33423 1052 1 1040.0000 1020.2349 1.94%
2487.42/2494.07 c 2494 33498 1053 1 1040.0000 1020.2535 1.94%
2493.51/2500.12 c 2500 33587 1064 1 1040.0000 1020.2844 1.93%
2498.69/2505.37 c 2505 33676 1071 1 1040.0000 1020.2954 1.93%
2504.98/2511.68 c 2512 33690 1075 1 1040.0000 1020.3149 1.93%
2510.07/2516.78 c 2517 33819 1082 1 1040.0000 1020.3149 1.93%
2515.36/2522.08 c 2522 33840 1087 1 1040.0000 1020.3164 1.93%
2520.45/2527.19 c 2527 33982 1085 1 1040.0000 1020.3164 1.93%
2525.83/2532.50 c 2532 34025 1088 1 1040.0000 1020.3239 1.93%
2530.81/2537.57 c 2538 34107 1098 1 1040.0000 1020.3373 1.93%
2535.90/2542.61 c 2543 34190 1101 1 1040.0000 1020.3373 1.93%
2541.19/2547.97 c 2548 34233 1110 1 1040.0000 1020.3530 1.93%
2547.07/2553.82 c 2554 34315 1110 1 1040.0000 1020.3530 1.93%
2552.76/2559.56 c 2560 34396 1107 1 1040.0000 1020.3530 1.93%
2557.75/2564.58 c 2565 34420 1105 1 1040.0000 1020.3530 1.93%
2564.93/2571.78 c 2572 34471 1108 1 1040.0000 1020.4027 1.92%
2570.23/2577.01 c 2577 34568 1111 1 1040.0000 1020.4027 1.92%
2575.41/2582.23 c 2582 34679 1114 1 1040.0000 1020.4027 1.92%
2581.09/2588.01 c 2588 34714 1123 1 1040.0000 1020.4179 1.92%
2586.98/2593.87 c 2594 34750 1123 1 1040.0000 1020.4214 1.92%
2592.07/2598.95 c 2599 34810 1129 1 1040.0000 1020.4272 1.92%
2597.35/2604.27 c 2604 34846 1131 1 1040.0000 1020.4565 1.92%
2603.53/2610.46 c 2610 34881 1144 1 1040.0000 1020.4973 1.91%
2608.72/2615.61 c 2616 34943 1148 1 1040.0000 1020.5260 1.91%
2614.12/2621.09 c 2621 34983 1150 1 1040.0000 1020.5260 1.91%
2619.69/2626.62 c 2627 35033 1154 1 1040.0000 1020.5261 1.91%
2625.78/2632.78 c 2633 35081 1158 1 1040.0000 1020.5441 1.91%
2631.27/2638.24 c 2638 35135 1158 1 1040.0000 1020.5441 1.91%
2636.56/2643.58 c 2644 35203 1164 1 1040.0000 1020.5776 1.90%
2642.54/2649.54 c 2650 35233 1176 1 1040.0000 1020.5968 1.90%
2648.63/2655.60 c 2656 35307 1178 1 1040.0000 1020.6038 1.90%
2653.71/2660.75 c 2661 35376 1187 1 1040.0000 1020.6107 1.90%
2660.30/2667.32 c 2667 35381 1192 1 1040.0000 1020.6107 1.90%
2665.48/2672.58 c 2673 35438 1201 1 1040.0000 1020.6920 1.89%
2670.67/2677.74 c 2678 35572 1207 1 1040.0000 1020.6920 1.89%
2676.25/2683.39 c 2683 35664 1217 1 1040.0000 1020.7065 1.89%
2681.34/2688.47 c 2688 35730 1223 1 1040.0000 1020.7065 1.89%
2686.53/2693.60 c 2694 35875 1224 1 1040.0000 1020.7065 1.89%
2693.92/2701.04 c 2701 35956 1229 1 1040.0000 1020.7214 1.89%
2700.41/2707.56 c 2708 36067 1236 1 1040.0000 1020.7287 1.89%
2705.69/2712.89 c 2713 36122 1247 1 1040.0000 1020.7443 1.89%
2711.48/2718.65 c 2719 36190 1261 1 1040.0000 1020.7621 1.88%
2716.87/2724.02 c 2724 36310 1271 1 1040.0000 1020.7700 1.88%
2722.64/2729.88 c 2730 36407 1278 1 1040.0000 1020.7732 1.88%
2727.94/2735.11 c 2735 36485 1288 1 1040.0000 1020.7827 1.88%
2733.12/2740.38 c 2740 36596 1293 1 1040.0000 1020.8011 1.88%
2741.60/2748.87 c 2749 36661 1300 1 1040.0000 1020.8064 1.88%
2747.68/2754.90 c 2755 36768 1303 1 1040.0000 1020.8187 1.88%
2753.37/2760.63 c 2761 36842 1317 1 1040.0000 1020.8378 1.88%
2759.44/2766.73 c 2767 36999 1326 1 1040.0000 1020.8409 1.88%
2764.93/2772.26 c 2772 37089 1332 1 1040.0000 1020.8462 1.88%
2770.12/2777.48 c 2777 37252 1329 1 1040.0000 1020.8462 1.88%
2775.72/2783.09 c 2783 37355 1330 1 1040.0000 1020.8462 1.88%
2781.49/2788.83 c 2789 37466 1339 1 1040.0000 1020.8706 1.87%
2787.38/2794.72 c 2795 37601 1348 1 1040.0000 1020.8711 1.87%
2792.56/2799.91 c 2800 37705 1354 1 1040.0000 1020.8746 1.87%
2797.66/2805.09 c 2805 37876 1355 1 1040.0000 1020.8837 1.87%
2804.64/2812.06 c 2812 37956 1369 1 1040.0000 1020.8892 1.87%
2810.41/2817.83 c 2818 38057 1372 1 1040.0000 1020.8895 1.87%
2815.61/2823.08 c 2823 38131 1384 1 1040.0000 1020.8955 1.87%
2820.79/2828.26 c 2828 38246 1383 1 1040.0000 1020.8955 1.87%
2826.18/2833.65 c 2834 38363 1394 1 1040.0000 1020.8955 1.87%
2831.27/2838.71 c 2839 38416 1399 1 1040.0000 1020.9156 1.87%
2836.76/2844.24 c 2844 38421 1404 1 1040.0000 1020.9156 1.87%
2842.14/2849.61 c 2850 38526 1421 1 1040.0000 1020.9284 1.87%
2847.73/2855.29 c 2855 38624 1425 1 1040.0000 1020.9284 1.87%
2853.62/2861.17 c 2861 38711 1436 1 1040.0000 1020.9333 1.87%
2861.30/2868.88 c 2869 38836 1443 1 1040.0000 1020.9514 1.87%
2866.89/2874.44 c 2874 38929 1456 1 1040.0000 1020.9514 1.87%
2872.18/2879.77 c 2880 39034 1461 1 1040.0000 1020.9539 1.87%
2877.26/2884.83 c 2885 39109 1464 1 1040.0000 1020.9586 1.87%
2882.46/2890.04 c 2890 39225 1470 1 1040.0000 1020.9586 1.87%
2888.82/2896.41 c 2896 39347 1472 1 1040.0000 1020.9586 1.87%
2894.21/2901.80 c 2902 39454 1475 1 1040.0000 1020.9586 1.87%
2899.89/2907.51 c 2908 39546 1479 1 1040.0000 1020.9664 1.86%
2905.48/2913.17 c 2913 39616 1489 1 1040.0000 1020.9936 1.86%
2910.56/2918.29 c 2918 39657 1498 1 1040.0000 1021.0181 1.86%
2915.74/2923.46 c 2923 39805 1506 1 1040.0000 1021.0181 1.86%
2920.93/2928.60 c 2929 39821 1510 1 1040.0000 1021.0202 1.86%
2927.12/2934.88 c 2935 39887 1518 1 1040.0000 1021.0298 1.86%
2932.31/2940.03 c 2940 40016 1531 1 1040.0000 1021.0328 1.86%
2938.18/2945.99 c 2946 40138 1539 1 1040.0000 1021.0456 1.86%
2943.76/2951.58 c 2952 40252 1549 1 1040.0000 1021.0520 1.86%
2948.95/2956.72 c 2957 40427 1556 1 1040.0000 1021.0520 1.86%
2953.93/2961.78 c 2962 40519 1562 1 1040.0000 1021.0547 1.86%
2959.33/2967.19 c 2967 40598 1569 1 1040.0000 1021.0580 1.86%
2964.50/2972.38 c 2972 40796 1573 1 1040.0000 1021.0595 1.85%
2970.38/2978.22 c 2978 40876 1581 1 1040.0000 1021.0678 1.85%
2975.37/2983.28 c 2983 40958 1593 1 1040.0000 1021.0678 1.85%
2981.05/2988.97 c 2989 41074 1597 1 1040.0000 1021.0774 1.85%
2987.04/2994.98 c 2995 41108 1609 1 1040.0000 1021.0838 1.85%
2993.62/3001.52 c 3002 41226 1621 1 1040.0000 1021.1206 1.85%
2999.00/3006.91 c 3007 41328 1625 1 1040.0000 1021.1206 1.85%
3004.88/3012.84 c 3013 41434 1635 1 1040.0000 1021.1275 1.85%
3010.76/3018.79 c 3019 41496 1641 1 1040.0000 1021.1381 1.85%
3015.95/3023.96 c 3024 41553 1654 1 1040.0000 1021.1410 1.85%
3021.23/3029.22 c 3029 41619 1668 1 1040.0000 1021.1465 1.85%
3026.42/3034.47 c 3034 41745 1672 1 1040.0000 1021.1465 1.85%
3032.31/3040.39 c 3040 41879 1684 1 1040.0000 1021.1636 1.84%
3032.51/3040.59 c * 3041 41879 1684 1 1039.0000 1021.1636 1.75%
3039.49/3047.53 c 3048 41998 1656 1 1039.0000 1021.1800 1.75%
3044.77/3052.81 c 3053 42096 1662 1 1039.0000 1021.1810 1.74%
3050.45/3058.57 c 3059 42260 1666 1 1039.0000 1021.1908 1.74%
3055.73/3063.80 c 3064 42431 1667 1 1039.0000 1021.1908 1.74%
3061.41/3069.56 c 3070 42600 1668 1 1039.0000 1021.1908 1.74%
3066.92/3075.04 c 3075 42680 1680 1 1039.0000 1021.2018 1.74%
3072.39/3080.57 c 3081 42785 1685 1 1039.0000 1021.2019 1.74%
3077.88/3086.02 c 3086 42877 1683 1 1039.0000 1021.2026 1.74%
3083.16/3091.36 c 3091 42936 1696 1 1039.0000 1021.2041 1.74%
3089.44/3097.62 c 3098 43078 1698 1 1039.0000 1021.2046 1.74%
3094.72/3102.95 c 3103 43149 1705 1 1039.0000 1021.2077 1.74%
3100.10/3108.32 c 3108 43187 1709 1 1039.0000 1021.2077 1.74%
3106.19/3114.40 c 3114 43217 1715 1 1039.0000 1021.2343 1.74%
3111.27/3119.57 c 3120 43309 1725 1 1039.0000 1021.2431 1.74%
3117.56/3125.87 c 3126 43419 1737 1 1039.0000 1021.2728 1.74%
3124.33/3132.60 c 3133 43537 1743 1 1039.0000 1021.2765 1.74%
3130.22/3138.58 c 3139 43622 1760 1 1039.0000 1021.2922 1.73%
3135.30/3143.69 c 3144 43761 1767 1 1039.0000 1021.2922 1.73%
3141.28/3149.60 c 3150 43876 1774 1 1039.0000 1021.2947 1.73%
3146.47/3154.84 c 3155 43946 1774 1 1039.0000 1021.3033 1.73%
3152.36/3160.74 c 3161 44036 1782 1 1039.0000 1021.3182 1.73%
3159.03/3167.42 c 3167 44088 1796 1 1039.0000 1021.3404 1.73%
3164.12/3172.57 c 3173 44162 1804 1 1039.0000 1021.3466 1.73%
3171.50/3179.93 c 3180 44211 1809 1 1039.0000 1021.3507 1.73%
3177.48/3185.90 c 3186 44337 1821 1 1039.0000 1021.3697 1.73%
3184.57/3193.07 c 3193 44506 1816 1 1039.0000 1021.3816 1.72%
3189.94/3198.45 c 3198 44587 1823 1 1039.0000 1021.3821 1.72%
3195.42/3203.90 c 3204 44686 1826 1 1039.0000 1021.3899 1.72%
3201.20/3209.77 c 3210 44795 1839 1 1039.0000 1021.4065 1.72%
3206.29/3214.88 c 3215 44963 1841 1 1039.0000 1021.4065 1.72%
3212.26/3220.88 c 3221 45029 1847 1 1039.0000 1021.4185 1.72%
3218.25/3226.80 c 3227 45104 1856 1 1039.0000 1021.4299 1.72%
3224.45/3233.07 c 3233 45147 1863 1 1039.0000 1021.4454 1.72%
3230.83/3239.48 c 3239 45278 1868 1 1039.0000 1021.4540 1.72%
3236.01/3244.68 c 3245 45435 1873 1 1039.0000 1021.4540 1.72%
3241.90/3250.50 c 3250 45538 1884 1 1039.0000 1021.4573 1.72%
3247.39/3256.07 c 3256 45604 1892 1 1039.0000 1021.4608 1.72%
3252.56/3261.26 c 3261 45627 1899 1 1039.0000 1021.4742 1.72%
3258.55/3267.28 c 3267 45668 1904 1 1039.0000 1021.4742 1.72%
3264.54/3273.22 c 3273 45773 1909 1 1039.0000 1021.4827 1.71%
3269.62/3278.37 c 3278 45937 1911 1 1039.0000 1021.4827 1.71%
3275.32/3284.10 c 3284 46058 1914 1 1039.0000 1021.4967 1.71%
3281.30/3290.02 c 3290 46144 1926 1 1039.0000 1021.5214 1.71%
3286.57/3295.32 c 3295 46292 1926 1 1039.0000 1021.5214 1.71%
3291.85/3300.66 c 3301 46393 1935 1 1039.0000 1021.5311 1.71%
3297.93/3306.78 c 3307 46428 1944 1 1039.0000 1021.5450 1.71%
3303.72/3312.55 c 3313 46555 1955 1 1039.0000 1021.5811 1.71%
3308.91/3317.76 c 3318 46700 1962 1 1039.0000 1021.5854 1.70%
3314.60/3323.47 c 3323 46849 1965 1 1039.0000 1021.5874 1.70%
3319.79/3328.67 c 3329 46965 1971 1 1039.0000 1021.5884 1.70%
3325.57/3334.42 c 3334 47052 1986 1 1039.0000 1021.6113 1.70%
3330.86/3339.75 c 3340 47122 1992 1 1039.0000 1021.6122 1.70%
3336.34/3345.24 c 3345 47275 1993 1 1039.0000 1021.6122 1.70%
3342.53/3351.46 c 3351 47301 2003 1 1039.0000 1021.6171 1.70%
3348.13/3357.05 c 3357 47376 2008 1 1039.0000 1021.6298 1.70%
3354.11/3363.06 c 3363 47463 2019 1 1039.0000 1021.6365 1.70%
3359.58/3368.59 c 3369 47599 2027 1 1039.0000 1021.6368 1.70%
3366.18/3375.16 c 3375 47738 2030 1 1039.0000 1021.6376 1.70%
3372.25/3381.26 c 3381 47856 2034 1 1039.0000 1021.6404 1.70%
3377.44/3386.45 c 3386 47999 2041 1 1039.0000 1021.6404 1.70%
3382.63/3391.64 c 3392 48066 2048 1 1039.0000 1021.6520 1.70%
3387.72/3396.78 c 3397 48113 2055 1 1039.0000 1021.6520 1.70%
3392.81/3401.89 c 3402 48172 2058 1 1039.0000 1021.6578 1.70%
3399.30/3408.30 c 3408 48298 2064 1 1039.0000 1021.6580 1.70%
3405.09/3414.11 c 3414 48344 2082 1 1039.0000 1021.6611 1.70%
3410.27/3419.32 c 3419 48501 2081 1 1039.0000 1021.6611 1.70%
3415.46/3424.59 c 3425 48618 2090 1 1039.0000 1021.6614 1.70%
3421.14/3430.26 c 3430 48721 2095 1 1039.0000 1021.6652 1.70%
3426.73/3435.81 c 3436 48731 2101 1 1039.0000 1021.6865 1.69%
3432.22/3441.37 c 3441 48803 2111 1 1039.0000 1021.6872 1.69%
3437.40/3446.51 c 3447 48961 2109 1 1039.0000 1021.6872 1.69%
3442.49/3451.67 c 3452 49074 2122 1 1039.0000 1021.6909 1.69%
3447.78/3456.95 c 3457 49139 2133 1 1039.0000 1021.6949 1.69%
3454.07/3463.24 c 3463 49237 2141 1 1039.0000 1021.7017 1.69%
3460.05/3469.29 c 3469 49346 2144 1 1039.0000 1021.7020 1.69%
3465.24/3474.41 c 3474 49456 2156 1 1039.0000 1021.7036 1.69%
3470.63/3479.88 c 3480 49576 2156 1 1039.0000 1021.7059 1.69%
3476.11/3485.31 c 3485 49596 2168 1 1039.0000 1021.7081 1.69%
3481.11/3490.33 c 3490 49677 2179 1 1039.0000 1021.7110 1.69%
3486.69/3496.01 c 3496 49812 2190 1 1039.0000 1021.7118 1.69%
3493.07/3502.30 c 3502 49916 2196 1 1039.0000 1021.7168 1.69%
3498.66/3507.91 c 3508 50030 2206 1 1039.0000 1021.7313 1.69%
3503.95/3513.20 c 3513 50180 2206 1 1039.0000 1021.7313 1.69%
3509.04/3518.36 c 3518 50334 2200 1 1039.0000 1021.7313 1.69%
3515.62/3525.01 c 3525 50361 2207 1 1039.0000 1021.7382 1.69%
3521.51/3530.88 c 3531 50448 2218 1 1039.0000 1021.7391 1.69%
3527.19/3536.56 c 3537 50526 2226 1 1039.0000 1021.7438 1.69%
3532.88/3542.29 c 3542 50656 2224 1 1039.0000 1021.7473 1.69%
3538.07/3547.49 c 3547 50754 2238 1 1039.0000 1021.7561 1.69%
3543.95/3553.30 c 3553 50865 2251 1 1039.0000 1021.7828 1.69%
3549.14/3558.53 c 3559 50936 2256 1 1039.0000 1021.8089 1.68%
3554.74/3564.16 c 3564 51046 2268 1 1039.0000 1021.8199 1.68%
3561.01/3570.40 c 3570 51128 2274 1 1039.0000 1021.8308 1.68%
3566.10/3575.50 c 3576 51255 2277 1 1039.0000 1021.8308 1.68%
3572.28/3581.75 c 3582 51348 2280 1 1039.0000 1021.8407 1.68%
3577.98/3587.41 c 3587 51466 2292 1 1039.0000 1021.8473 1.68%
3583.37/3592.88 c 3593 51481 2303 1 1039.0000 1021.8486 1.68%
3588.45/3597.99 c 3598 51557 2315 0 1039.0000 1021.8496 1.68%
3588.56/3598.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.56/3598.03 c Total Time : 3598.04
3588.56/3598.03 c solving : 3598.04
3588.56/3598.03 c presolving : 0.12 (included in solving)
3588.56/3598.03 c B&B Tree :
3588.56/3598.03 c nodes (total) : 1
3588.56/3598.03 c Solution :
3588.56/3598.03 c Solutions found : 14
3588.56/3598.03 c Primal Bound : +1.03900000000000e+03
3588.56/3598.03 c Dual Bound : +1.02184962708004e+03
3588.56/3598.03 c Gap : 1.67837 %
3588.56/3598.03 c * Warning: final gap: 1.67837e-02 is greater than SCIPepsilon: 1.00000e-09
3588.56/3598.03 o 1039
3588.56/3598.03 s SATISFIABLE
3588.56/3598.03 v -x1963 x1962 x1961 -x1960 x1959 x1958 x1957 -x1956 x1955 x1954 -x1953 -x1952 -x1951 -x1950 x1949 -x1948 x1947 -x1946 x1945 x1944
3588.56/3598.03 v x1943 -x1942 -x1941 x1940 x1939 -x1938 -x1937 x1936 x1935 -x1934 x1933 -x1932 -x1931 -x1930 x1929 -x1928 -x1927 -x1926 -x1925
3588.56/3598.03 v -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 x1918 x1917 x1916 -x1915 -x1914 x1913 -x1912 x1911 -x1910 -x1909 -x1908 x1907 x1906
3588.56/3598.03 v x1905 -x1904 x1903 -x1902 -x1901 x1900 x1899 x1898 -x1897 x1896 -x1895 x1894 -x1893 x1892 x1891 -x1890 -x1889 x1888 -x1887
3588.56/3598.03 v x1886 -x1885 -x1884 x1883 x1882 x1881 x1880 -x1879 x1878 -x1877 -x1876 x1875 x1874 x1873 x1872 x1871 -x1870 x1869 x1868 x1867
3588.56/3598.03 v x1866 x1865 x1864 x1863 -x1862 x1861 -x1860 -x1859 x1858 -x1857 -x1856 -x1855 x1854 -x1853 x1852 -x1851 -x1850 -x1849 -x1848
3588.56/3598.03 v -x1847 x1846 x1845 x1844 -x1843 x1842 -x1841 x1840 x1839 x1838 x1837 -x1836 x1835 x1834 -x1833 -x1832 x1831 -x1830 -x1829
3588.56/3598.03 v -x1828 x1827 x1826 -x1825 -x1824 x1823 -x1822 -x1821 -x1820 x1819 -x1818 x1817 x1816 -x1815 x1814 x1813 x1812 x1811 -x1810 x1809
3588.56/3598.03 v x1808 -x1807 x1806 -x1805 -x1804 -x1803 x1802 x1801 -x1800 -x1799 -x1798 x1797 -x1796 -x1795 x1794 x1793 -x1792 x1791 x1790
3588.56/3598.03 v -x1789 -x1788 -x1787 x1786 -x1785 x1784 -x1783 x1782 -x1781 x1780 x1779 x1778 x1777 -x1776 x1775 x1774 -x1773 -x1772 -x1771
3588.56/3598.03 v x1770 -x1769 x1768 x1767 x1766 -x1765 x1764 -x1763 x1762 x1761 -x1760 x1759 -x1758 x1757 -x1756 -x1755 x1754 -x1753 x1752 -x1751
3588.56/3598.03 v -x1750 x1749 -x1748 x1747 x1746 -x1745 x1744 x1743 x1742 x1741 x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732
3588.56/3598.03 v -x1731 x1730 -x1729 x1728 -x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 x1720 -x1719 -x1718 -x1717 x1716 -x1715 -x1714 x1713
3588.56/3598.03 v x1712 x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 x1704 -x1703 x1702 x1701 x1700 x1699 x1698 -x1697 x1696 -x1695 x1694
3588.56/3598.03 v -x1693 x1692 x1691 x1690 -x1689 x1688 x1687 -x1686 x1685 x1684 x1683 -x1682 x1681 -x1680 x1679 x1678 -x1677 -x1676 x1675 -x1674
3588.56/3598.03 v -x1673 -x1672 -x1671 -x1670 x1669 -x1668 -x1667 -x1666 x1665 -x1664 x1663 -x1662 -x1661 -x1660 x1659 x1658 -x1657 -x1656
3588.56/3598.03 v -x1655 x1654 -x1653 -x1652 x1651 x1650 x1649 -x1648 -x1647 x1646 -x1645 -x1644 x1643 -x1642 x1641 x1640 x1639 x1638 -x1637
3588.56/3598.03 v -x1636 x1635 -x1634 x1633 -x1632 -x1631 x1630 -x1629 -x1628 -x1627 x1626 x1625 -x1624 -x1623 x1622 -x1621 x1620 x1619 -x1618
3588.56/3598.03 v x1617 -x1616 x1615 -x1614 -x1613 -x1612 -x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 -x1602 x1601 x1600 -x1599 x1598
3588.56/3598.03 v x1597 x1596 -x1595 x1594 x1593 -x1592 -x1591 x1590 x1589 x1588 -x1587 x1586 -x1585 -x1584 -x1583 x1582 x1581 -x1580 x1579 x1578
3588.56/3598.03 v x1577 x1576 -x1575 x1574 -x1573 -x1572 x1571 x1570 x1569 x1568 -x1567 x1566 x1565 -x1564 x1563 x1562 -x1561 x1560 -x1559
3588.56/3598.03 v -x1558 x1557 x1556 x1555 x1554 x1553 -x1552 x1551 x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 x1541 -x1540
3588.56/3598.03 v -x1539 -x1538 x1537 x1536 x1535 x1534 x1533 -x1532 -x1531 x1530 -x1529 x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 x1521 -x1520
3588.56/3598.03 v x1519 x1518 x1517 -x1516 -x1515 x1514 x1513 x1512 x1511 x1510 x1509 x1508 x1507 -x1506 -x1505 -x1504 -x1503 -x1502 x1501
3588.56/3598.03 v -x1500 x1499 x1498 x1497 x1496 -x1495 x1494 x1493 x1492 -x1491 -x1490 -x1489 x1488 x1487 x1486 -x1485 x1484 -x1483 x1482 -x1481
3588.56/3598.03 v -x1480 x1479 -x1478 x1477 x1476 x1475 x1474 x1473 x1472 -x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 x1464 x1463 -x1462
3588.56/3598.03 v -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 -x1448 x1447 -x1446 -x1445 x1444 -x1443
3588.56/3598.03 v -x1442 -x1441 x1440 x1439 -x1438 -x1437 x1436 x1435 x1434 -x1433 -x1432 -x1431 x1430 x1429 x1428 -x1427 x1426 -x1425 -x1424
3588.56/3598.03 v -x1423 x1422 -x1421 x1420 x1419 -x1418 x1417 -x1416 -x1415 -x1414 x1413 x1412 -x1411 -x1410 x1409 -x1408 -x1407 x1406 -x1405
3588.56/3598.03 v x1404 -x1403 -x1402 -x1401 x1400 x1399 -x1398 -x1397 -x1396 x1395 x1394 x1393 -x1392 x1391 -x1390 x1389 x1388 -x1387 x1386 x1385
3588.56/3598.03 v -x1384 x1383 x1382 -x1381 -x1380 x1379 -x1378 -x1377 -x1376 x1375 x1374 x1373 -x1372 -x1371 -x1370 x1369 x1368 -x1367 x1366
3588.56/3598.03 v x1365 x1364 x1363 x1362 -x1361 x1360 -x1359 -x1358 -x1357 x1356 -x1355 -x1354 x1353 -x1352 x1351 -x1350 -x1349 -x1348 -x1347
3588.56/3598.03 v -x1346 -x1345 x1344 -x1343 x1342 -x1341 -x1340 x1339 x1338 x1337 -x1336 -x1335 x1334 -x1333 -x1332 x1331 x1330 x1329 -x1328
3588.56/3598.03 v x1327 x1326 -x1325 -x1324 x1323 x1322 -x1321 x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 x1310 x1309
3588.56/3598.03 v -x1308 -x1307 x1306 -x1305 x1304 x1303 x1302 x1301 x1300 -x1299 -x1298 x1297 x1296 x1295 x1294 x1293 x1292 x1291 x1290 -x1289
3588.56/3598.03 v x1288 -x1287 x1286 x1285 x1284 -x1283 -x1282 -x1281 -x1280 x1279 -x1278 -x1277 -x1276 x1275 x1274 -x1273 x1272 x1271 x1270
3588.56/3598.03 v -x1269 -x1268 -x1267 x1266 x1265 -x1264 -x1263 -x1262 x1261 x1260 x1259 -x1258 x1257 x1256 -x1255 x1254 -x1253 x1252 x1251
3588.56/3598.03 v -x1250 x1249 -x1248 x1247 x1246 -x1245 -x1244 x1243 x1242 -x1241 x1240 x1239 x1238 x1237 -x1236 -x1235 x1234 x1233 x1232 -x1231
3588.56/3598.03 v -x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 x1223 x1222 -x1221 x1220 -x1219 x1218 x1217 -x1216 x1215 x1214 x1213 x1212 x1211
3588.56/3598.03 v x1210 x1209 x1208 -x1207 -x1206 x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 x1198 x1197 -x1196 x1195 x1194 -x1193 -x1192
3588.56/3598.04 v -x1191 x1190 x1189 -x1188 -x1187 x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 x1179 x1178 -x1177 -x1176 x1175 -x1174 x1173
3588.56/3598.04 v -x1172 x1171 -x1170 -x1169 x1168 x1167 -x1166 x1165 -x1164 x1163 x1162 -x1161 x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154
3588.56/3598.04 v -x1153 x1152 -x1151 -x1150 x1149 x1148 x1147 x1146 -x1145 -x1144 x1143 -x1142 -x1141 x1140 -x1139 -x1138 x1137 x1136 x1135
3588.56/3598.04 v -x1134 x1133 x1132 x1131 x1130 x1129 -x1128 x1127 -x1126 x1125 x1124 x1123 x1122 -x1121 x1120 x1119 -x1118 x1117 -x1116 x1115
3588.56/3598.04 v x1114 -x1113 -x1112 x1111 -x1110 x1109 -x1108 x1107 -x1106 x1105 x1104 -x1103 x1102 x1101 -x1100 -x1099 -x1098 -x1097 x1096
3588.56/3598.04 v -x1095 x1094 -x1093 -x1092 x1091 x1090 x1089 x1088 x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 x1077
3588.56/3598.04 v -x1076 -x1075 -x1074 x1073 x1072 x1071 -x1070 x1069 -x1068 x1067 -x1066 x1065 -x1064 x1063 x1062 x1061 -x1060 x1059 x1058 -x1057
3588.56/3598.04 v x1056 x1055 -x1054 -x1053 x1052 x1051 x1050 x1049 -x1048 -x1047 x1046 -x1045 -x1044 x1043 -x1042 -x1041 x1040 -x1039 -x1038
3588.56/3598.04 v -x1037 -x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028 -x1027 -x1026 -x1025 x1024 -x1023 x1022 -x1021 x1020 x1019 x1018
3588.56/3598.04 v x1017 x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 x1009 -x1008 -x1007 x1006 x1005 x1004 x1003 x1002 x1001 -x1000 -x999
3588.56/3598.04 v -x998 x997 -x996 x995 -x994 x993 -x992 x991 x990 x989 x988 -x987 -x986 x985 -x984 x983 x982 -x981 x980 x979 x978 x977 -x976
3588.56/3598.04 v -x975 x974 -x973 -x972 x971 -x970 -x969 -x968 x967 -x966 x965 x964 -x963 x962 x961 -x960 -x959 -x958 -x957 -x956 x955 -x954
3588.56/3598.04 v -x953 x952 -x951 -x950 x949 x948 -x947 x946 x945 x944 x943 -x942 x941 -x940 -x939 -x938 -x937 x936 -x935 x934 -x933 x932 -x931
3588.56/3598.04 v -x930 -x929 x928 x927 -x926 x925 x924 x923 x922 x921 x920 -x919 -x918 -x917 -x916 x915 x914 -x913 -x912 x911 x910 -x909 x908
3588.56/3598.04 v x907 -x906 -x905 -x904 x903 -x902 x901 x900 x899 -x898 x897 x896 -x895 -x894 x893 x892 x891 x890 x889 -x888 -x887 x886 -x885
3588.56/3598.04 v -x884 x883 x882 x881 -x880 x879 x878 x877 -x876 x875 x874 -x873 x872 -x871 -x870 -x869 -x868 x867 -x866 x865 -x864 x863 x862
3588.56/3598.04 v -x861 x860 x859 x858 x857 x856 x855 -x854 -x853 x852 -x851 x850 x849 -x848 x847 -x846 x845 x844 -x843 -x842 -x841 x840 -x839
3588.56/3598.04 v -x838 x837 -x836 -x835 -x834 x833 x832 x831 -x830 -x829 -x828 -x827 -x826 x825 x824 x823 -x822 x821 -x820 x819 x818 x817 -x816
3588.56/3598.04 v -x815 x814 x813 -x812 -x811 -x810 -x809 x808 x807 -x806 -x805 x804 x803 x802 -x801 -x800 x799 -x798 -x797 x796 x795 -x794
3588.56/3598.04 v -x793 x792 x791 x790 x789 x788 x787 x786 x785 -x784 x783 x782 x781 x780 -x779 x778 x777 -x776 x775 -x774 -x773 -x772 x771 -x770
3588.56/3598.04 v x769 -x768 x767 -x766 -x765 -x764 -x763 x762 -x761 x760 -x759 x758 x757 x756 -x755 x754 x753 -x752 -x751 x750 -x749 -x748
3588.56/3598.04 v x747 x746 -x745 x744 x743 x742 x741 -x740 -x739 -x738 x737 x736 x735 -x734 x733 -x732 -x731 x730 -x729 -x728 x727 x726 -x725
3588.56/3598.04 v -x724 -x723 x722 -x721 -x720 x719 -x718 -x717 -x716 x715 x714 -x713 -x712 x711 x710 x709 x708 -x707 x706 -x705 x704 x703 x702
3588.56/3598.04 v -x701 -x700 -x699 x698 -x697 x696 x695 x694 -x693 -x692 x691 -x690 x689 x688 -x687 x686 -x685 -x684 -x683 -x682 x681 x680 -x679
3588.56/3598.05 v -x678 -x677 x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 x666 x665 -x664 -x663 x662 -x661 x660 x659 x658 x657
3588.56/3598.05 v x656 -x655 x654 x653 -x652 -x651 -x650 -x649 x648 x647 x646 -x645 x644 x643 x642 x641 -x640 x639 -x638 x637 -x636 x635 -x634
3588.56/3598.05 v x633 -x632 -x631 -x630 x629 x628 -x627 -x626 -x625 -x624 -x623 x622 x621 x620 x619 x618 x617 -x616 x615 -x614 -x613 -x612
3588.56/3598.05 v -x611 x610 x609 x608 -x607 x606 x605 -x604 -x603 -x602 x601 -x600 x599 -x598 -x597 -x596 x595 x594 x593 x592 -x591 x590 -x589
3588.56/3598.05 v x588 x587 x586 x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 x575 x574 -x573 -x572 -x571 -x570 -x569 x568 -x567
3588.56/3598.05 v -x566 -x565 x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 x553 -x552 -x551 x550 x549 x548 -x547 -x546 -x545
3588.56/3598.05 v x544 x543 -x542 x541 -x540 -x539 x538 x537 x536 x535 x534 x533 x532 -x531 x530 x529 x528 -x527 x526 x525 -x524 x523 x522 -x521
3588.56/3598.05 v x520 -x519 x518 x517 x516 -x515 -x514 -x513 x512 -x511 x510 -x509 x508 x507 -x506 -x505 -x504 -x503 x502 -x501 x500 -x499 x498
3588.56/3598.05 v x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 x486 x485 x484 x483 -x482 -x481 x480 x479 x478 x477 -x476
3588.56/3598.05 v x475 x474 x473 x472 x471 x470 -x469 x468 x467 x466 x465 -x464 x463 x462 x461 -x460 x459 -x458 -x457 -x456 x455 x454 x453 x452
3588.56/3598.05 v -x451 -x450 x449 -x448 x447 x446 -x445 -x444 -x443 x442 x441 -x440 x439 -x438 -x437 x436 x435 x434 -x433 -x432 -x431 -x430 x429
3588.56/3598.05 v x428 -x427 x426 x425 x424 -x423 x422 x421 x420 -x419 x418 -x417 x416 -x415 -x414 x413 x412 x411 -x410 -x409 x408 x407 x406
3588.56/3598.05 v x405 -x404 x403 x402 x401 x400 x399 -x398 x397 -x396 -x395 x394 x393 -x392 x391 -x390 x389 -x388 -x387 -x386 x385 x384 x383
3588.56/3598.05 v x382 -x381 x380 -x379 x378 -x377 -x376 x375 x374 x373 x372 x371 x370 -x369 -x368 x367 x366 -x365 x364 x363 x362 -x361 -x360
3588.56/3598.05 v x359 x358 x357 -x356 -x355 -x354 x353 x352 x351 x350 -x349 x348 x347 x346 x345 x344 x343 x342 x341 -x340 x339 x338 x337 -x336
3588.56/3598.05 v x335 -x334 x333 x332 x331 x330 x329 -x328 -x327 -x326 x325 -x324 -x323 x322 -x321 -x320 x319 x318 -x317 -x316 -x315 -x314 x313
3588.56/3598.05 v -x312 -x311 x310 -x309 x308 -x307 x306 x305 -x304 -x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 -x292 x291 x290
3588.56/3598.05 v -x289 x288 -x287 -x286 x285 -x284 -x283 -x282 x281 x280 -x279 x278 x277 x276 x275 x274 -x273 x272 x271 x270 -x269 x268 x267 x266
3588.56/3598.05 v x265 -x264 x263 -x262 x261 x260 x259 x258 x257 x256 x255 -x254 x253 -x252 -x251 x250 x249 -x248 -x247 x246 x245 -x244 x243
3588.56/3598.05 v -x242 -x241 x240 -x239 x238 -x237 x236 x235 x234 -x233 x232 x231 -x230 -x229 x228 x227 x226 -x225 x224 x223 -x222 x221 -x220
3588.56/3598.05 v -x219 x218 -x217 x216 x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 x207 -x206 x205 x204 -x203 x202 x201 -x200 -x199 x198 -x197
3588.56/3598.05 v x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 x181 x180 x179 -x178 x177 x176 -x175
3588.56/3598.05 v -x174 x173 -x172 -x171 x170 -x169 -x168 x167 x166 x165 -x164 x163 x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 x154 x153
3588.56/3598.05 v x152 x151 -x150 -x149 x148 -x147 -x146 x145 -x144 -x143 x142 -x141 -x140 -x139 x138 -x137 x136 -x135 -x134 x133 -x132 x131 -x130
3588.56/3598.05 v -x129 -x128 x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119 -x118 x117 x116 -x115 -x114 -x113 -x112 x111 x110 -x109 x108
3588.56/3598.05 v x107 -x106 x105 x104 x103 x102 -x101 x100 x99 x98 x97 x96 x95 x94 x93 -x92 x91 x90 x89 x88 -x87 -x86 -x85 -x84 x83 -x82 -x81
3588.56/3598.05 v x80 -x79 x78 -x77 x76 x75 x74 x73 x72 x71 -x70 -x69 x68 x67 x66 x65 x64 -x63 -x62 x61 -x60 x59 x58 -x57 -x56 -x55 x54 -x53
3588.56/3598.05 v -x52 x51 x50 -x49 x48 -x47 x46 x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 -x34 -x33 x32 x31 x30 -x29 x28 x27 x26 -x25
3588.56/3598.05 v -x24 x23 x22 -x21 x20 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: 64096 MiB (61152 MiB free)
memory of node 1: 64473 MiB (57942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463987-1722378596/watcher-4463987-1722378596 -o /tmp/evaluation-result-4463987-1722378596/solver-4463987-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30830 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463987-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30947, runsolver pid=30944
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 0.16 0.12 0.13 5/254 30948
/proc/meminfo: memFree=121915380/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=38328 memory=28020 CPUtime=0.1 cores=5,7
/proc/30947/stat : 30947 (fscip) R 30944 30947 30817 0 -1 4194304 4681 0 0 0 9 1 0 0 20 0 1 0 4456117 39247872 7005 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 9582 7005 2710 3035 0 5978 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38328 KiB
Current children cumulated memory: 28020 KiB
[startup+0.21374 s]*
/proc/loadavg: 0.16 0.12 0.13 5/256 30950
/proc/meminfo: memFree=121897264/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=129164 memory=40928 CPUtime=0.2 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 8558 0 0 0 17 3 0 0 20 0 3 0 4456117 132263936 10232 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 32291 10232 2790 3035 0 14150 0
[pid=30947/tid=30949] ppid=30944 vsize=129164 memory=8505393642823811203 CPUtime=0.02 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 2476 0 0 0 2 0 0 0 20 0 3 0 4456134 132263936 10232 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=129164 memory=17979 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456137 132263936 10232 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 129164 KiB
Current children cumulated memory: 40928 KiB
[startup+0.313742 s]*
/proc/loadavg: 0.16 0.12 0.13 5/256 30950
/proc/meminfo: memFree=121891216/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=131216 memory=45664 CPUtime=0.29 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 9717 0 0 0 26 3 0 0 20 0 3 0 4456117 134365184 11416 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 32804 11416 2790 3035 0 15292 0
[pid=30947/tid=30949] ppid=30944 vsize=131216 memory=-5155631297249176453 CPUtime=0.12 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 3697 0 0 0 11 1 0 0 20 0 3 0 4456134 134365184 11482 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=131216 memory=0 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456137 134365184 11482 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131216 KiB
Current children cumulated memory: 45664 KiB
[startup+0.700377 s]
/proc/loadavg: 0.16 0.12 0.13 5/256 30950
/proc/meminfo: memFree=121877608/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=132240 memory=52776 CPUtime=0.66 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 11367 0 0 0 62 4 0 0 20 0 3 0 4456117 135413760 13194 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 33060 13194 2934 3035 0 16968 0
[pid=30947/tid=30949] ppid=30944 vsize=132240 memory=0 CPUtime=0.48 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 5285 0 0 0 46 2 0 0 20 0 3 0 4456134 135413760 13194 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=132240 memory=0 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456137 135413760 13194 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 132240 KiB
Current children cumulated memory: 52776 KiB
[startup+1.50039 s]
/proc/loadavg: 0.16 0.12 0.13 5/256 30950
/proc/meminfo: memFree=121859208/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=133696 memory=56932 CPUtime=1.46 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 15833 0 0 0 141 5 0 0 20 0 3 0 4456117 136904704 14233 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 33424 14233 2950 3035 0 18182 0
[pid=30947/tid=30949] ppid=30944 vsize=133696 memory=0 CPUtime=1.28 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 9751 0 0 0 126 2 0 0 20 0 3 0 4456134 136904704 14233 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=133696 memory=0 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456137 136904704 14233 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133696 KiB
Current children cumulated memory: 56932 KiB
[startup+3.11314 s]
/proc/loadavg: 0.55 0.20 0.16 5/256 30952
/proc/meminfo: memFree=121816244/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=133696 memory=61652 CPUtime=3.07 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 17256 0 0 0 302 5 0 0 20 0 3 0 4456117 136904704 15413 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 33424 15413 2950 3035 0 19581 0
[pid=30947/tid=30949] ppid=30944 vsize=133696 memory=0 CPUtime=2.88 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 11172 0 0 0 286 2 0 0 20 0 3 0 4456134 136904704 15413 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=133696 memory=4048792179733459441 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4456137 136904704 15413 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 133696 KiB
Current children cumulated memory: 61652 KiB
[startup+6.30035 s]
/proc/loadavg: 0.55 0.20 0.16 5/256 30952
/proc/meminfo: memFree=121742128/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=152616 memory=91572 CPUtime=6.24 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 33206 0 0 0 618 6 0 0 20 0 3 0 4456117 156278784 22893 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 38154 22893 2950 3035 0 27311 0
[pid=30947/tid=30949] ppid=30944 vsize=152616 memory=0 CPUtime=6.06 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 27120 0 0 0 602 4 0 0 20 0 3 0 4456134 156278784 22893 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=152616 memory=85924 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4456137 156278784 22893 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 152616 KiB
Current children cumulated memory: 91572 KiB
[startup+12.7003 s]
/proc/loadavg: 0.82 0.26 0.18 5/259 31011
/proc/meminfo: memFree=121673496/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=184388 memory=130292 CPUtime=12.63 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 58865 0 0 0 1254 9 0 0 20 0 3 0 4456117 188813312 32573 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 46097 32573 2950 3035 0 38321 0
[pid=30947/tid=30949] ppid=30944 vsize=184388 memory=12036 CPUtime=12.44 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 52768 0 0 0 1238 6 0 0 20 0 3 0 4456134 188813312 32573 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=184388 memory=58408 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4456137 188813312 32573 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 184388 KiB
Current children cumulated memory: 130292 KiB
[startup+25.5004 s]
/proc/loadavg: 1.53 0.45 0.24 5/259 31014
/proc/meminfo: memFree=121648456/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=184388 memory=130676 CPUtime=25.4 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 74108 0 0 0 2530 10 0 0 20 0 3 0 4456117 188813312 32669 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 46097 32669 2998 3035 0 38321 0
[pid=30947/tid=30949] ppid=30944 vsize=184388 memory=17955 CPUtime=25.21 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 67926 0 0 0 2514 7 0 0 20 0 3 0 4456134 188813312 32669 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=184388 memory=0 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4456137 188813312 32669 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 184388 KiB
Current children cumulated memory: 130676 KiB
[startup+51.1129 s]
/proc/loadavg: 2.43 0.75 0.35 5/259 31017
/proc/meminfo: memFree=121572804/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=217908 memory=175008 CPUtime=50.94 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 148780 0 0 0 5078 16 0 0 20 0 3 0 4456117 223137792 43752 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 54477 43752 2998 3035 0 50224 0
[pid=30947/tid=30949] ppid=30944 vsize=217908 memory=164848 CPUtime=50.75 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 141776 0 0 0 5062 13 0 0 20 0 3 0 4456134 223137792 43752 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=217908 memory=163224 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4456137 223137792 43752 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 217908 KiB
Current children cumulated memory: 175008 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.55 5/259 31025
/proc/meminfo: memFree=121459340/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=282848 memory=221468 CPUtime=102.01 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 256771 0 0 0 10176 25 0 0 20 0 3 0 4456117 289636352 55367 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 70712 55367 2998 3035 0 62644 0
[pid=30947/tid=30949] ppid=30944 vsize=282848 memory=220280 CPUtime=101.82 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 248611 0 0 0 10160 22 0 0 20 0 3 0 4456134 289636352 55367 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=282848 memory=221468 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4456137 289636352 55367 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 282848 KiB
Current children cumulated memory: 221468 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 1.83 0.78 5/259 31037
/proc/meminfo: memFree=121347680/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=348944 memory=276584 CPUtime=161.86 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 336294 0 0 0 16153 33 0 0 20 0 3 0 4456117 357318656 69146 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 87236 69146 2998 3035 0 77492 0
[pid=30947/tid=30949] ppid=30944 vsize=348944 memory=12036 CPUtime=161.66 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 328081 0 0 0 16137 29 0 0 20 0 3 0 4456134 357318656 69146 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=348944 memory=231276 CPUtime=0 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4456137 357318656 69146 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 348944 KiB
Current children cumulated memory: 276584 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.24 0.99 5/257 31047
################
# More data... #
################
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=635596 CPUtime=3392.83 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1014215 0 0 0 339182 101 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=635660 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/251 32606
/proc/meminfo: memFree=119798344/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3453.17 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1031246 0 0 0 345198 119 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=635596 CPUtime=3452.69 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1021763 0 0 0 345167 102 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=635660 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 184 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/253 32787
/proc/meminfo: memFree=119793080/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3513.03 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1032297 0 0 0 351183 120 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=635660 CPUtime=3512.54 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1022795 0 0 0 351151 103 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=635660 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 186 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/253 32798
/proc/meminfo: memFree=119786360/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3572.88 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1037938 0 0 0 357168 120 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=635660 CPUtime=3572.4 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028415 0 0 0 357137 103 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=12036 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 188 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3598.06 s]
# the end of solver process 30947 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.39 s, system=1.22419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.13 4.09 5/253 32800
/proc/meminfo: memFree=119786196/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3574.6 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1037939 0 0 0 357339 121 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=-7020104135748969084 CPUtime=3574.11 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028416 0 0 0 357307 104 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=4715715883094929052 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 188 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3574.6 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32800
/proc/meminfo: memFree=119786216/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3580.97 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1038045 0 0 0 357976 121 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=635660 CPUtime=3580.48 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028522 0 0 0 357944 104 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=12036 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 188 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3580.97 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119786096/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3584.16 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1038263 0 0 0 358295 121 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=635660 CPUtime=3583.68 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028735 0 0 0 358264 104 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=12036 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 190 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119785168/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3585.76 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1038269 0 0 0 358455 121 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=-7020104135748969084 CPUtime=3585.27 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028741 0 0 0 358423 104 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=1804 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 190 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119785184/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3587.36 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1038286 0 0 0 358615 121 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=12036 CPUtime=3586.87 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028758 0 0 0 358583 104 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=14824 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 190 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.13 4.09 2/232 32825
/proc/meminfo: memFree=121556376/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3588.15 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1038289 0 0 0 358694 121 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=5548 CPUtime=3587.66 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028761 0 0 0 358662 104 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=15860 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 190 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3588.15 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.13 4.09 5/251 32943
/proc/meminfo: memFree=121420884/131655788 swapFree=131071996/131071996
[pid=30947] ppid=30944 vsize=686596 memory=635660 CPUtime=3588.56 cores=5,7
/proc/30947/stat : 30947 (fscip) S 30944 30947 30817 0 -1 1077936128 1038428 0 0 0 358735 121 0 0 20 0 3 0 4456117 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
/proc/30947/statm: 171649 158915 2998 3035 0 161808 0
[pid=30947/tid=30949] ppid=30944 vsize=686596 memory=635660 CPUtime=3588.07 cores=5,7
/proc/30947/task/30949/stat : 30949 (fscip) R 30944 30947 30817 0 -1 4194368 1028902 0 0 0 358703 104 0 0 20 0 3 0 4456134 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
[pid=30947/tid=30950] ppid=30944 vsize=686596 memory=2724 CPUtime=0.04 cores=5,7
/proc/30947/task/30950/stat : 30950 (fscip) S 30944 30947 30817 0 -1 1077936192 190 0 0 0 1 3 0 0 20 0 3 0 4456137 703074304 158915 134679101440 4194304 16623229 140720841498592 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 27602944 140720841503766 140720841503882 140720841503882 140720841510896 0
Current children cumulated CPU time: 3588.56 s
Current children cumulated vsize: 686596 KiB
Current children cumulated memory: 635660 KiB
Child status: 0
Real time (s): 3598.06
CPU time (s): 3588.61
CPU user time (s): 3587.39
CPU system time (s): 1.22419
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 687616
Max. memory (cumulated for all children) (KiB): 635660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.39
system time used= 1.22419
maximum resident set size= 635660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1039256
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= 9433
involuntary context switches= 5408
# summary of solver processes directly reported to runsolver:
# pid: 30947
# total CPU time (s): 3588.61
# total CPU user time (s): 3587.39
# total CPU system time (s): 1.22419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0606 second user time and 35.8955 second system time
The end
Begin job on nodeC006 at 2024-07-31 00:29:56
IDJOB=4463987
IDBENCH=147531
IDSOLVER=3092
FILE ID=nodeC006/4463987-1722378596
RUNJOBID= nodeC006-1722378594-30830
SLURM_JOB_ID= 8249836
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.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-4463987-1722378596/watcher-4463987-1722378596 -o /tmp/evaluation-result-4463987-1722378596/solver-4463987-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30830 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463987-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=1453536771
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2125.510
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1925.512
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.350
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.334
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2524.809
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.168
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.300
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.171
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121955104 kB
MemAvailable: 129624272 kB
Buffers: 89888 kB
Cached: 8348444 kB
SwapCached: 0 kB
Active: 260320 kB
Inactive: 8864176 kB
Active(anon): 1420 kB
Inactive(anon): 706072 kB
Active(file): 258900 kB
Inactive(file): 8158104 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114672 kB
Writeback: 0 kB
AnonPages: 685788 kB
Mapped: 124432 kB
Shmem: 21320 kB
KReclaimable: 184724 kB
Slab: 271708 kB
SReclaimable: 184724 kB
SUnreclaim: 86984 kB
KernelStack: 4080 kB
PageTables: 10740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 935228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 278528 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: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC006 at 2024-07-31 01:29:54