0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32477184, getVmSize() = 32477184, SCIPgetMemUsed() = 8852490, SCIPgetMemTotal() = 10624490, SCIPgetMemExternEstim() = 5418327
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 24940544, getVmSize() = 42344448, SCIPgetMemUsed() = 10372751, SCIPgetMemTotal() = 19035983, SCIPgetMemExternEstim() = 5418327
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4434659-1721071462
0.00/0.06 c Variables : 1957 (1957 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 4000
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 1539 (1539 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2993
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2993
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.07 c * 0 0 1 1 1744.0000 - -
0.09/0.13 c * 0 0 1 1 1169.0000 - -
0.09/0.14 c * 0 0 1 1 1089.0000 - -
0.09/0.16 c * 0 0 1 1 1083.0000 - -
10.52/10.65 c 11 2 1 1 1083.0000 1001.1163 8.18%
15.71/15.84 c 16 4 3 1 1083.0000 1001.5722 8.13%
22.09/22.23 c 22 6 5 1 1083.0000 1001.5722 8.13%
27.19/27.31 c 27 12 11 1 1083.0000 1001.5722 8.13%
27.68/27.82 c * 28 12 11 1 1064.0000 1001.5722 6.23%
33.47/33.64 c 34 25 24 1 1064.0000 1001.9265 6.20%
38.86/39.09 c 39 55 54 1 1064.0000 1001.9265 6.20%
39.36/39.54 c * 40 55 54 1 1062.0000 1001.9265 6.00%
39.36/39.55 c * 40 55 54 1 1055.0000 1001.9265 5.30%
39.36/39.55 c * 40 55 54 1 1054.0000 1001.9265 5.20%
39.36/39.58 c * 40 55 54 1 1053.0000 1001.9265 5.10%
39.46/39.60 c * 40 55 54 1 1052.0000 1001.9265 5.00%
39.46/39.68 c * 40 55 54 1 1051.0000 1001.9265 4.90%
44.94/45.12 c 45 151 76 1 1051.0000 1001.9387 4.90%
50.23/50.43 c 50 232 105 1 1051.0000 1002.5967 4.83%
55.72/55.91 c 56 258 121 1 1051.0000 1002.9223 4.79%
61.01/61.26 c 61 287 124 1 1051.0000 1003.4196 4.74%
66.49/66.76 c 67 303 128 1 1051.0000 1003.5029 4.73%
73.48/73.74 c 74 328 143 1 1051.0000 1003.5694 4.73%
81.15/81.46 c 81 375 154 1 1051.0000 1003.8704 4.69%
86.75/87.05 c 87 401 166 1 1051.0000 1003.9909 4.68%
91.74/92.09 c 92 440 175 1 1051.0000 1004.2401 4.66%
97.52/97.81 c 98 542 183 1 1051.0000 1004.3385 4.65%
102.31/102.61 c * 103 548 189 1 1050.0000 1004.3385 4.55%
102.71/103.09 c 103 632 185 1 1050.0000 1004.3937 4.54%
109.80/110.19 c 110 707 194 1 1050.0000 1004.4276 4.54%
118.07/118.44 c 118 747 206 1 1050.0000 1004.4407 4.54%
123.77/124.17 c 124 777 212 1 1050.0000 1004.5286 4.53%
130.65/131.08 c 131 886 227 1 1050.0000 1004.8923 4.49%
136.73/137.14 c 137 889 230 1 1050.0000 1004.8923 4.49%
137.33/137.78 c * 138 889 230 1 1049.0000 1004.8923 4.39%
143.21/143.62 c 144 1009 236 1 1049.0000 1004.9642 4.38%
151.20/151.61 c 152 1066 253 1 1049.0000 1004.9833 4.38%
156.79/157.25 c 157 1094 261 1 1049.0000 1005.0961 4.37%
164.77/165.26 c 165 1186 273 1 1049.0000 1005.1802 4.36%
170.26/170.79 c 171 1234 285 1 1049.0000 1005.2742 4.35%
176.44/176.92 c 177 1261 292 1 1049.0000 1005.3003 4.35%
183.02/183.54 c 184 1378 305 1 1049.0000 1005.3031 4.35%
191.10/191.61 c 192 1426 319 1 1049.0000 1005.6028 4.32%
197.09/197.60 c 198 1457 326 1 1049.0000 1005.6120 4.31%
202.08/202.61 c 203 1487 332 1 1049.0000 1005.6184 4.31%
203.28/203.86 c * 204 1487 332 1 1048.0000 1005.6184 4.21%
208.37/208.94 c 209 1510 339 1 1048.0000 1005.6870 4.21%
214.35/214.90 c 215 1565 342 1 1048.0000 1005.6970 4.21%
220.34/220.97 c 221 1675 342 1 1048.0000 1005.6970 4.21%
226.53/227.11 c 227 1744 343 1 1048.0000 1005.6970 4.21%
231.52/232.18 c 232 1764 343 1 1048.0000 1005.7102 4.20%
237.40/238.04 c 238 1797 350 1 1048.0000 1005.7102 4.20%
244.09/244.78 c 245 1827 354 1 1048.0000 1005.7121 4.20%
249.77/250.43 c 250 1897 380 1 1048.0000 1005.7121 4.20%
255.36/256.06 c 256 1922 389 1 1048.0000 1005.7393 4.20%
262.44/263.13 c 263 2005 388 1 1048.0000 1005.7569 4.20%
267.73/268.45 c 268 2009 392 1 1048.0000 1005.7569 4.20%
274.32/275.05 c 275 2054 397 1 1048.0000 1005.7749 4.20%
280.80/281.50 c 282 2104 405 1 1048.0000 1005.8195 4.19%
288.28/289.00 c 289 2167 414 1 1048.0000 1005.9686 4.18%
295.25/296.02 c 296 2227 416 1 1048.0000 1005.9686 4.18%
300.53/301.40 c 301 2242 423 1 1048.0000 1005.9865 4.18%
306.42/307.29 c 307 2286 431 1 1048.0000 1006.0179 4.17%
315.59/316.42 c 316 2332 431 1 1048.0000 1006.0382 4.17%
322.37/323.22 c 323 2357 444 1 1048.0000 1006.0436 4.17%
327.76/328.60 c 329 2385 450 1 1048.0000 1006.0646 4.17%
333.63/334.50 c 334 2445 460 1 1048.0000 1006.0692 4.17%
340.92/341.87 c 342 2462 465 1 1048.0000 1006.0827 4.17%
347.40/348.35 c 348 2535 476 1 1048.0000 1006.0848 4.17%
353.48/354.40 c 354 2635 482 1 1048.0000 1006.0848 4.17%
358.66/359.61 c 360 2654 489 1 1048.0000 1006.1126 4.16%
365.05/366.10 c 366 2726 493 1 1048.0000 1006.2267 4.15%
371.04/372.09 c 372 2758 503 1 1048.0000 1006.3133 4.14%
377.81/378.80 c 379 2788 511 1 1048.0000 1006.3524 4.14%
383.00/384.10 c 384 2827 518 1 1048.0000 1006.3542 4.14%
388.28/389.32 c 389 2853 522 1 1048.0000 1006.3912 4.13%
395.06/396.15 c 396 2957 526 1 1048.0000 1006.3912 4.13%
400.65/401.70 c 402 2997 534 1 1048.0000 1006.3982 4.13%
408.03/409.15 c 409 3019 544 1 1048.0000 1006.4389 4.13%
415.60/416.77 c 417 3105 546 1 1048.0000 1006.4987 4.12%
421.09/422.29 c 422 3202 551 1 1048.0000 1006.5566 4.12%
426.67/427.86 c 428 3209 558 1 1048.0000 1006.5566 4.12%
433.05/434.29 c 434 3244 565 1 1048.0000 1006.5596 4.12%
438.13/439.39 c 439 3324 569 1 1048.0000 1006.5596 4.12%
445.81/447.04 c 447 3375 570 1 1048.0000 1006.5814 4.11%
453.99/455.29 c 455 3433 576 1 1048.0000 1006.6758 4.11%
462.66/463.97 c 464 3486 589 1 1048.0000 1006.6773 4.10%
467.86/469.19 c 469 3578 589 1 1048.0000 1006.6773 4.10%
473.13/474.48 c 474 3625 590 1 1048.0000 1006.6773 4.10%
478.52/479.88 c 480 3742 591 1 1048.0000 1006.6847 4.10%
484.11/485.46 c 485 3753 598 1 1048.0000 1006.6847 4.10%
490.00/491.35 c 491 3794 601 1 1048.0000 1006.6871 4.10%
496.98/498.30 c 498 3823 608 1 1048.0000 1006.7888 4.09%
503.57/504.94 c 505 3844 617 1 1048.0000 1006.8299 4.09%
511.25/512.67 c 513 3863 624 1 1048.0000 1006.9040 4.08%
516.64/518.01 c 518 3935 630 1 1048.0000 1006.9040 4.08%
522.52/523.90 c 524 3963 632 1 1048.0000 1006.9811 4.07%
529.90/531.32 c 531 4015 642 1 1048.0000 1007.0407 4.07%
534.99/536.40 c 536 4092 645 1 1048.0000 1007.0565 4.07%
539.98/541.48 c 541 4112 655 1 1048.0000 1007.0789 4.06%
545.37/546.84 c 547 4153 662 1 1048.0000 1007.0789 4.06%
551.15/552.65 c 553 4220 663 1 1048.0000 1007.0789 4.06%
557.24/558.79 c 559 4247 666 1 1048.0000 1007.1199 4.06%
563.53/565.05 c 565 4265 672 1 1048.0000 1007.2520 4.05%
571.51/573.00 c 573 4333 678 1 1048.0000 1007.3015 4.04%
576.60/578.16 c 578 4364 685 1 1048.0000 1007.3015 4.04%
583.08/584.67 c 585 4396 699 1 1048.0000 1007.3200 4.04%
588.47/590.00 c 590 4427 712 1 1048.0000 1007.3285 4.04%
593.46/595.03 c 595 4455 716 1 1048.0000 1007.3649 4.03%
599.44/601.01 c 601 4492 721 1 1048.0000 1007.3768 4.03%
606.43/608.10 c 608 4536 733 1 1048.0000 1007.3807 4.03%
611.71/613.33 c 613 4586 741 1 1048.0000 1007.3923 4.03%
617.89/619.54 c 620 4635 746 1 1048.0000 1007.4107 4.03%
623.28/624.96 c 625 4757 752 1 1048.0000 1007.4107 4.03%
628.76/630.41 c 630 4771 760 1 1048.0000 1007.4599 4.02%
633.85/635.53 c 636 4805 764 1 1048.0000 1007.5845 4.01%
639.44/641.12 c 641 4952 771 1 1048.0000 1007.5845 4.01%
646.02/647.77 c 648 4995 772 1 1048.0000 1007.5907 4.01%
654.31/656.07 c 656 5066 783 1 1048.0000 1007.6166 4.01%
659.59/661.36 c 661 5194 793 1 1048.0000 1007.6166 4.01%
664.89/666.67 c 667 5351 790 1 1048.0000 1007.6166 4.01%
672.67/674.48 c 674 5426 791 1 1048.0000 1007.6254 4.01%
680.45/682.27 c 682 5493 794 1 1048.0000 1007.6284 4.01%
686.44/688.27 c 688 5513 802 1 1048.0000 1007.6495 4.00%
692.33/694.17 c 694 5534 809 1 1048.0000 1007.6722 4.00%
698.81/700.66 c 701 5566 819 1 1048.0000 1007.6874 4.00%
704.30/706.13 c 706 5659 826 1 1048.0000 1007.6874 4.00%
711.38/713.25 c 713 5734 831 1 1048.0000 1007.6905 4.00%
716.77/718.64 c 719 5815 834 1 1048.0000 1007.6905 4.00%
722.35/724.23 c 724 5839 844 1 1048.0000 1007.8205 3.99%
727.54/729.40 c 729 5953 846 1 1048.0000 1007.8205 3.99%
733.33/735.23 c 735 5985 852 1 1048.0000 1007.8222 3.99%
739.12/741.07 c 741 5999 860 1 1048.0000 1007.8600 3.98%
744.30/746.22 c 746 6015 864 1 1048.0000 1007.8677 3.98%
752.10/754.04 c 754 6083 870 1 1048.0000 1007.9078 3.98%
758.08/760.04 c 760 6135 876 1 1048.0000 1007.9078 3.98%
763.86/765.87 c 766 6153 886 1 1048.0000 1007.9149 3.98%
770.05/772.09 c 772 6189 892 1 1048.0000 1007.9268 3.98%
775.33/777.35 c 777 6270 891 1 1048.0000 1007.9268 3.98%
780.82/782.83 c 783 6387 886 1 1048.0000 1007.9268 3.98%
786.01/788.08 c 788 6526 887 1 1048.0000 1007.9268 3.98%
792.00/794.07 c 794 6587 894 1 1048.0000 1007.9300 3.98%
797.28/799.36 c 799 6641 902 1 1048.0000 1007.9408 3.97%
802.77/804.89 c 805 6695 910 1 1048.0000 1007.9987 3.97%
808.56/810.64 c 811 6760 913 1 1048.0000 1007.9987 3.97%
817.14/819.20 c 819 6789 920 1 1048.0000 1007.9990 3.97%
822.93/825.00 c 825 6851 928 1 1048.0000 1008.0209 3.97%
828.31/830.48 c 830 6880 935 1 1048.0000 1008.0570 3.96%
835.00/837.15 c 837 6924 939 1 1048.0000 1008.1154 3.96%
840.48/842.64 c 843 7041 950 1 1048.0000 1008.1154 3.96%
848.07/850.20 c 850 7194 953 1 1048.0000 1008.1614 3.95%
853.26/855.41 c 855 7243 968 1 1048.0000 1008.1827 3.95%
858.44/860.69 c 861 7313 970 1 1048.0000 1008.2021 3.95%
864.14/866.35 c 866 7363 976 1 1048.0000 1008.2436 3.94%
871.02/873.28 c 873 7463 982 1 1048.0000 1008.2956 3.94%
876.51/878.75 c 879 7497 998 1 1048.0000 1008.3048 3.94%
883.90/886.18 c 886 7612 1001 1 1048.0000 1008.3287 3.93%
890.08/892.37 c 892 7643 1008 1 1048.0000 1008.3496 3.93%
895.77/898.09 c 898 7692 1013 1 1048.0000 1008.3906 3.93%
901.35/903.66 c 904 7772 1019 1 1048.0000 1008.3906 3.93%
907.54/909.88 c 910 7882 1015 1 1048.0000 1008.4444 3.92%
914.22/916.58 c 917 7924 1025 1 1048.0000 1008.4707 3.92%
920.32/922.63 c 923 8022 1033 1 1048.0000 1008.4782 3.92%
927.40/929.76 c 930 8054 1043 1 1048.0000 1008.4813 3.92%
933.18/935.53 c 936 8113 1050 1 1048.0000 1008.4987 3.92%
940.46/942.80 c 943 8194 1059 1 1048.0000 1008.5332 3.91%
946.35/948.74 c 949 8236 1073 1 1048.0000 1008.5399 3.91%
952.04/954.46 c 954 8335 1076 1 1048.0000 1008.5440 3.91%
957.83/960.20 c 960 8382 1081 1 1048.0000 1008.5889 3.91%
965.21/967.61 c 968 8422 1089 1 1048.0000 1008.6469 3.90%
971.00/973.44 c 973 8459 1102 1 1048.0000 1008.6807 3.90%
978.78/981.25 c 981 8566 1107 1 1048.0000 1008.7072 3.90%
985.17/987.63 c 988 8672 1113 1 1048.0000 1008.7170 3.89%
990.46/992.94 c 993 8711 1122 1 1048.0000 1008.7170 3.89%
999.24/1001.71 c 1002 8804 1127 1 1048.0000 1008.7262 3.89%
1004.33/1006.88 c 1007 8970 1133 1 1048.0000 1008.7262 3.89%
1009.72/1012.26 c 1012 9073 1132 1 1048.0000 1008.7262 3.89%
1015.40/1017.96 c 1018 9141 1132 1 1048.0000 1008.7262 3.89%
1021.50/1024.05 c 1024 9222 1131 1 1048.0000 1008.7306 3.89%
1026.68/1029.28 c 1029 9228 1137 1 1048.0000 1008.7306 3.89%
1031.87/1034.44 c 1034 9368 1137 1 1048.0000 1008.7306 3.89%
1040.55/1043.11 c 1043 9482 1139 1 1048.0000 1008.7503 3.89%
1048.33/1050.97 c 1051 9502 1147 1 1048.0000 1008.7929 3.89%
1054.52/1057.10 c 1057 9598 1153 1 1048.0000 1008.7929 3.89%
1060.60/1063.20 c 1063 9692 1153 1 1048.0000 1008.8237 3.88%
1065.79/1068.48 c 1068 9791 1166 1 1048.0000 1008.8237 3.88%
1071.67/1074.31 c 1074 9816 1173 1 1048.0000 1008.8653 3.88%
1076.87/1079.56 c 1080 9955 1168 1 1048.0000 1008.8653 3.88%
1084.75/1087.45 c 1087 10095 1172 1 1048.0000 1008.9751 3.87%
1091.24/1093.93 c 1094 10118 1183 1 1048.0000 1008.9776 3.87%
1097.12/1099.85 c 1100 10206 1187 1 1048.0000 1008.9776 3.87%
1102.71/1105.42 c 1105 10218 1193 1 1048.0000 1009.0128 3.86%
1108.00/1110.72 c 1111 10245 1200 1 1048.0000 1009.0190 3.86%
1113.39/1116.11 c 1116 10260 1205 1 1048.0000 1009.0190 3.86%
1118.57/1121.36 c 1121 10277 1208 1 1048.0000 1009.0207 3.86%
1123.86/1126.66 c 1127 10362 1213 1 1048.0000 1009.0207 3.86%
1129.16/1131.95 c 1132 10461 1214 1 1048.0000 1009.0207 3.86%
1135.25/1138.08 c 1138 10478 1219 1 1048.0000 1009.0715 3.86%
1142.23/1145.08 c 1145 10533 1222 1 1048.0000 1009.0783 3.86%
1148.81/1151.68 c 1152 10554 1233 1 1048.0000 1009.0854 3.86%
1154.00/1156.84 c 1157 10589 1244 1 1048.0000 1009.1314 3.85%
1159.59/1162.48 c 1162 10665 1246 1 1048.0000 1009.2121 3.84%
1164.48/1167.36 c * 1167 10665 1246 1 1046.0000 1009.2121 3.65%
1165.07/1167.90 c 1168 10682 1246 1 1046.0000 1009.2544 3.64%
1170.86/1173.71 c 1174 10733 1257 1 1046.0000 1009.2544 3.64%
1176.94/1179.89 c 1180 10846 1262 1 1046.0000 1009.2544 3.64%
1182.24/1185.15 c 1185 10888 1272 1 1046.0000 1009.2554 3.64%
1187.62/1190.55 c 1191 11058 1274 1 1046.0000 1009.2554 3.64%
1193.31/1196.24 c 1196 11118 1278 1 1046.0000 1009.3010 3.64%
1198.70/1201.62 c 1202 11159 1287 1 1046.0000 1009.3262 3.63%
1204.58/1207.53 c 1208 11193 1303 1 1046.0000 1009.3406 3.63%
1209.57/1212.54 c 1213 11231 1315 1 1046.0000 1009.3747 3.63%
1215.06/1218.08 c 1218 11325 1319 1 1046.0000 1009.3844 3.63%
1223.44/1226.40 c 1226 11362 1334 1 1046.0000 1009.3921 3.63%
1229.03/1232.01 c 1232 11415 1353 1 1046.0000 1009.3996 3.63%
1234.03/1237.02 c 1237 11452 1360 1 1046.0000 1009.4314 3.62%
1239.51/1242.55 c 1243 11515 1361 1 1046.0000 1009.4890 3.62%
1247.19/1250.25 c 1250 11595 1371 1 1046.0000 1009.4905 3.62%
1252.28/1255.39 c 1255 11634 1376 1 1046.0000 1009.5045 3.62%
1257.67/1260.79 c 1261 11674 1382 1 1046.0000 1009.5197 3.61%
1263.46/1266.58 c 1267 11734 1390 1 1046.0000 1009.5571 3.61%
1272.04/1275.18 c 1275 11779 1403 1 1046.0000 1009.5746 3.61%
1277.63/1280.74 c 1281 11816 1412 1 1046.0000 1009.5921 3.61%
1282.82/1285.95 c 1286 11852 1418 1 1046.0000 1009.6584 3.60%
1289.80/1292.95 c 1293 11876 1430 1 1046.0000 1009.6650 3.60%
1297.78/1300.91 c 1301 12023 1433 1 1046.0000 1009.7231 3.59%
1303.66/1306.87 c 1307 12069 1443 1 1046.0000 1009.7294 3.59%
1310.85/1314.07 c 1314 12203 1445 1 1046.0000 1009.7619 3.59%
1317.84/1321.01 c 1321 12284 1450 1 1046.0000 1009.7878 3.59%
1323.23/1326.40 c 1326 12393 1457 1 1046.0000 1009.7878 3.59%
1329.12/1332.38 c 1332 12504 1458 1 1046.0000 1009.7958 3.59%
1337.00/1340.26 c 1340 12622 1470 1 1046.0000 1009.8131 3.58%
1342.09/1345.38 c 1345 12791 1479 1 1046.0000 1009.8131 3.58%
1348.37/1351.67 c 1352 12894 1486 1 1046.0000 1009.8314 3.58%
1353.87/1357.13 c 1357 12945 1501 1 1046.0000 1009.8348 3.58%
1359.45/1362.70 c 1363 13005 1507 1 1046.0000 1009.8358 3.58%
1365.43/1368.75 c 1369 13096 1516 1 1046.0000 1009.8569 3.58%
1373.01/1376.39 c 1376 13122 1524 1 1046.0000 1009.9209 3.57%
1378.90/1382.23 c 1382 13172 1532 1 1046.0000 1009.9937 3.56%
1384.59/1387.96 c 1388 13200 1540 1 1046.0000 1009.9937 3.56%
1390.18/1393.50 c 1394 13224 1550 1 1046.0000 1010.0168 3.56%
1396.07/1399.41 c 1399 13323 1549 1 1046.0000 1010.0168 3.56%
1401.35/1404.74 c 1405 13390 1548 1 1046.0000 1010.0168 3.56%
1406.45/1409.85 c 1410 13416 1552 1 1046.0000 1010.0506 3.56%
1413.23/1416.67 c 1417 13447 1561 1 1046.0000 1010.0660 3.56%
1418.41/1421.87 c 1422 13554 1562 1 1046.0000 1010.0660 3.56%
1424.90/1428.36 c 1428 13642 1560 1 1046.0000 1010.0805 3.56%
1430.49/1433.92 c 1434 13727 1565 1 1046.0000 1010.0805 3.56%
1435.98/1439.46 c 1439 13841 1573 1 1046.0000 1010.0805 3.56%
1441.77/1445.25 c 1445 13959 1571 1 1046.0000 1010.0805 3.56%
1447.66/1451.13 c 1451 14074 1576 1 1046.0000 1010.0805 3.56%
1454.93/1458.49 c 1458 14133 1575 1 1046.0000 1010.0997 3.55%
1461.12/1464.61 c 1465 14173 1581 1 1046.0000 1010.1048 3.55%
1467.30/1470.83 c 1471 14250 1588 1 1046.0000 1010.1048 3.55%
1473.19/1476.70 c 1477 14328 1588 1 1046.0000 1010.1048 3.55%
1478.49/1482.10 c 1482 14369 1593 1 1046.0000 1010.1140 3.55%
1484.17/1487.77 c 1488 14515 1591 1 1046.0000 1010.1140 3.55%
1489.86/1493.40 c 1493 14586 1598 1 1046.0000 1010.1566 3.55%
1495.05/1498.61 c 1499 14710 1604 1 1046.0000 1010.1566 3.55%
1500.73/1504.33 c 1504 14793 1601 1 1046.0000 1010.1566 3.55%
1506.62/1510.22 c 1510 14833 1601 1 1046.0000 1010.1763 3.55%
1513.41/1517.07 c 1517 14902 1612 1 1046.0000 1010.1927 3.54%
1519.78/1523.43 c 1523 14944 1624 1 1046.0000 1010.1997 3.54%
1524.97/1528.69 c 1529 15035 1631 1 1046.0000 1010.1997 3.54%
1530.55/1534.24 c 1534 15132 1630 1 1046.0000 1010.1997 3.54%
1536.23/1539.96 c 1540 15162 1638 1 1046.0000 1010.2101 3.54%
1542.33/1546.00 c 1546 15216 1646 1 1046.0000 1010.2101 3.54%
1547.41/1551.18 c 1551 15244 1646 1 1046.0000 1010.2421 3.54%
1552.89/1556.67 c 1557 15356 1650 1 1046.0000 1010.2421 3.54%
1558.48/1562.27 c 1562 15400 1656 1 1046.0000 1010.2659 3.54%
1564.96/1568.72 c 1569 15485 1663 1 1046.0000 1010.2798 3.54%
1570.54/1574.30 c 1574 15531 1673 1 1046.0000 1010.2951 3.53%
1578.33/1582.12 c 1582 15549 1679 1 1046.0000 1010.3144 3.53%
1585.00/1588.88 c 1589 15590 1686 1 1046.0000 1010.3449 3.53%
1590.29/1594.16 c 1594 15665 1689 1 1046.0000 1010.3625 3.53%
1595.58/1599.46 c 1599 15808 1696 1 1046.0000 1010.3625 3.53%
1601.06/1604.94 c 1605 15862 1700 1 1046.0000 1010.4276 3.52%
1609.25/1613.18 c 1613 15912 1708 1 1046.0000 1010.4387 3.52%
1614.44/1618.31 c 1618 16034 1718 1 1046.0000 1010.4387 3.52%
1619.83/1623.74 c 1624 16062 1724 1 1046.0000 1010.4823 3.51%
1625.81/1629.79 c 1630 16093 1729 1 1046.0000 1010.4926 3.51%
1631.50/1635.43 c 1635 16222 1740 1 1046.0000 1010.4926 3.51%
1639.38/1643.34 c 1643 16263 1749 1 1046.0000 1010.5637 3.51%
1644.97/1648.90 c 1649 16298 1762 1 1046.0000 1010.6150 3.50%
1650.06/1654.04 c 1654 16328 1768 1 1046.0000 1010.6283 3.50%
1657.84/1661.87 c 1662 16472 1774 1 1046.0000 1010.6934 3.49%
1664.32/1668.34 c 1668 16544 1784 1 1046.0000 1010.7150 3.49%
1670.31/1674.39 c 1674 16579 1797 1 1046.0000 1010.7337 3.49%
1675.71/1679.75 c 1680 16662 1796 1 1046.0000 1010.8188 3.48%
1680.90/1684.98 c 1685 16693 1807 1 1046.0000 1010.8188 3.48%
1687.18/1691.21 c 1691 16718 1814 1 1046.0000 1010.8353 3.48%
1695.66/1699.72 c 1700 16782 1818 1 1046.0000 1010.8453 3.48%
1701.74/1705.85 c 1706 16810 1826 1 1046.0000 1010.8453 3.48%
1707.43/1711.56 c 1712 16899 1831 1 1046.0000 1010.8783 3.47%
1712.93/1717.05 c 1717 16929 1839 1 1046.0000 1010.8841 3.47%
1718.11/1722.24 c 1722 17037 1841 1 1046.0000 1010.8841 3.47%
1724.89/1729.03 c 1729 17138 1838 1 1046.0000 1010.8841 3.47%
1730.69/1734.85 c 1735 17172 1844 1 1046.0000 1010.9185 3.47%
1736.47/1740.61 c 1741 17212 1854 1 1046.0000 1010.9185 3.47%
1742.66/1746.81 c 1747 17242 1852 1 1046.0000 1010.9261 3.47%
1750.44/1754.69 c 1755 17324 1862 1 1046.0000 1010.9310 3.47%
1755.73/1759.97 c 1760 17450 1866 1 1046.0000 1010.9310 3.47%
1761.21/1765.49 c 1765 17592 1868 1 1046.0000 1010.9521 3.47%
1767.10/1771.32 c 1771 17652 1876 1 1046.0000 1010.9704 3.46%
1772.58/1776.87 c 1777 17683 1885 1 1046.0000 1010.9704 3.46%
1778.07/1782.37 c 1782 17721 1893 1 1046.0000 1010.9937 3.46%
1784.76/1789.08 c 1789 17784 1894 1 1046.0000 1011.0142 3.46%
1790.44/1794.74 c 1795 17832 1898 1 1046.0000 1011.0214 3.46%
1796.04/1800.32 c 1800 17922 1916 1 1046.0000 1011.0567 3.46%
1801.43/1805.71 c 1806 17952 1924 1 1046.0000 1011.0567 3.46%
1806.72/1811.01 c 1811 17988 1930 1 1046.0000 1011.0618 3.46%
1811.90/1816.25 c 1816 18004 1936 1 1046.0000 1011.0641 3.46%
1817.58/1821.94 c 1822 18041 1941 1 1046.0000 1011.0641 3.46%
1823.27/1827.66 c 1828 18154 1940 1 1046.0000 1011.0641 3.46%
1828.56/1832.99 c 1833 18232 1940 1 1046.0000 1011.0773 3.45%
1833.84/1838.29 c 1838 18253 1949 1 1046.0000 1011.0773 3.45%
1838.93/1843.38 c 1843 18302 1950 1 1046.0000 1011.1793 3.44%
1847.01/1851.47 c 1851 18384 1958 1 1046.0000 1011.1872 3.44%
1854.39/1858.83 c 1859 18462 1966 1 1046.0000 1011.2000 3.44%
1859.78/1864.25 c 1864 18556 1974 1 1046.0000 1011.2000 3.44%
1867.96/1872.46 c 1872 18569 1981 1 1046.0000 1011.2054 3.44%
1873.05/1877.51 c 1878 18613 1983 1 1046.0000 1011.2225 3.44%
1879.24/1883.72 c 1884 18639 1997 1 1046.0000 1011.2473 3.44%
1884.72/1889.23 c 1889 18682 2004 1 1046.0000 1011.2664 3.43%
1889.81/1894.33 c 1894 18732 2010 1 1046.0000 1011.2664 3.43%
1895.31/1899.84 c 1900 18831 2009 1 1046.0000 1011.2664 3.43%
1900.80/1905.37 c 1905 18858 2018 1 1046.0000 1011.3159 3.43%
1908.18/1912.77 c 1913 18925 2019 1 1046.0000 1011.3168 3.43%
1913.47/1918.00 c 1918 18995 2027 1 1046.0000 1011.3456 3.43%
1920.05/1924.60 c 1925 19052 2032 1 1046.0000 1011.3718 3.42%
1925.44/1930.05 c 1930 19169 2037 1 1046.0000 1011.3718 3.42%
1930.92/1935.56 c 1936 19212 2044 1 1046.0000 1011.3788 3.42%
1936.80/1941.43 c 1941 19285 2051 1 1046.0000 1011.3788 3.42%
1941.99/1946.60 c 1947 19401 2051 1 1046.0000 1011.3788 3.42%
1947.99/1952.60 c 1953 19464 2054 1 1046.0000 1011.3938 3.42%
1955.17/1959.86 c 1960 19523 2067 1 1046.0000 1011.3954 3.42%
1962.15/1966.89 c 1967 19565 2077 1 1046.0000 1011.4141 3.42%
1968.44/1973.12 c 1973 19633 2081 1 1046.0000 1011.4483 3.42%
1973.92/1978.62 c 1979 19675 2091 1 1046.0000 1011.4483 3.42%
1981.11/1985.86 c 1986 19724 2092 1 1046.0000 1011.4584 3.42%
1986.80/1991.52 c 1992 19742 2098 1 1046.0000 1011.4777 3.41%
1992.48/1997.26 c 1997 19782 2106 1 1046.0000 1011.5410 3.41%
1999.47/2004.23 c 2004 19789 2113 1 1046.0000 1011.5410 3.41%
2005.05/2009.87 c 2010 19855 2115 1 1046.0000 1011.5410 3.41%
2010.74/2015.54 c 2016 19887 2119 1 1046.0000 1011.5477 3.41%
2016.73/2021.59 c 2022 19909 2129 1 1046.0000 1011.5635 3.40%
2023.71/2028.52 c 2029 19975 2131 1 1046.0000 1011.5936 3.40%
2029.10/2033.93 c 2034 20058 2142 1 1046.0000 1011.6139 3.40%
2035.29/2040.13 c 2040 20112 2142 1 1046.0000 1011.6459 3.40%
2040.88/2045.73 c 2046 20135 2153 1 1046.0000 1011.6521 3.40%
2048.27/2053.15 c 2053 20203 2159 1 1046.0000 1011.6559 3.39%
2053.65/2058.54 c 2059 20295 2165 1 1046.0000 1011.6559 3.39%
2060.93/2065.85 c 2066 20413 2163 1 1046.0000 1011.6919 3.39%
2066.72/2071.66 c 2072 20449 2177 1 1046.0000 1011.7161 3.39%
2071.81/2076.77 c 2077 20550 2188 1 1046.0000 1011.7398 3.39%
2077.20/2082.13 c 2082 20587 2199 1 1046.0000 1011.7411 3.39%
2083.09/2088.09 c 2088 20622 2208 1 1046.0000 1011.8329 3.38%
2089.56/2094.52 c 2095 20682 2216 1 1046.0000 1011.8329 3.38%
2095.16/2100.15 c 2100 20697 2221 1 1046.0000 1011.8346 3.38%
2100.44/2105.41 c 2105 20794 2226 1 1046.0000 1011.8346 3.38%
2106.03/2111.00 c 2111 20850 2230 1 1046.0000 1011.8356 3.38%
2112.02/2117.06 c 2117 20872 2240 1 1046.0000 1011.8704 3.37%
2117.91/2122.90 c 2123 20923 2241 1 1046.0000 1011.8812 3.37%
2123.79/2128.83 c 2129 20947 2249 1 1046.0000 1011.8812 3.37%
2128.88/2133.90 c 2134 20991 2251 1 1046.0000 1011.8812 3.37%
2133.87/2138.93 c 2139 21009 2257 1 1046.0000 1011.9098 3.37%
2139.35/2144.44 c 2144 21025 2255 1 1046.0000 1011.9098 3.37%
2147.33/2152.45 c 2152 21082 2260 1 1046.0000 1011.9228 3.37%
2152.42/2157.56 c 2158 21132 2266 1 1046.0000 1011.9371 3.37%
2158.11/2163.20 c 2163 21154 2274 1 1046.0000 1011.9371 3.37%
2163.50/2168.66 c 2169 21251 2275 1 1046.0000 1011.9371 3.37%
2170.09/2175.25 c 2175 21302 2274 1 1046.0000 1011.9647 3.36%
2175.38/2180.55 c 2181 21346 2282 1 1046.0000 1011.9647 3.36%
2182.86/2188.07 c 2188 21442 2282 1 1046.0000 1011.9824 3.36%
2188.85/2194.07 c 2194 21522 2290 1 1046.0000 1011.9824 3.36%
2194.43/2199.61 c 2200 21549 2295 1 1046.0000 1011.9964 3.36%
2199.62/2204.81 c 2205 21592 2296 1 1046.0000 1011.9964 3.36%
2205.00/2210.24 c 2210 21658 2300 1 1046.0000 1011.9964 3.36%
2210.89/2216.13 c 2216 21769 2305 1 1046.0000 1011.9964 3.36%
2216.68/2221.99 c 2222 21802 2316 1 1046.0000 1012.0042 3.36%
2222.77/2228.08 c 2228 21892 2316 1 1046.0000 1012.0092 3.36%
2228.85/2234.19 c 2234 21921 2323 1 1046.0000 1012.0092 3.36%
2235.24/2240.51 c * 2241 21947 2323 1 1043.0000 1012.0092 3.06%
2235.24/2240.51 c 2241 21947 2323 1 1043.0000 1012.0092 3.06%
2240.32/2245.69 c 2246 21998 2311 1 1043.0000 1012.0179 3.06%
2247.01/2252.34 c 2252 22076 2311 1 1043.0000 1012.0260 3.06%
2252.41/2257.74 c 2258 22122 2311 1 1043.0000 1012.0302 3.06%
2258.29/2263.64 c 2264 22212 2315 1 1043.0000 1012.0322 3.06%
2263.48/2268.86 c 2269 22242 2323 1 1043.0000 1012.0322 3.06%
2268.77/2274.10 c 2274 22267 2328 1 1043.0000 1012.0329 3.06%
2274.75/2280.14 c 2280 22307 2340 1 1043.0000 1012.0477 3.06%
2279.74/2285.15 c 2285 22353 2340 1 1043.0000 1012.0786 3.06%
2286.62/2292.02 c 2292 22414 2349 1 1043.0000 1012.0873 3.05%
2291.81/2297.28 c 2297 22502 2361 1 1043.0000 1012.0873 3.05%
2297.00/2302.42 c 2302 22618 2371 1 1043.0000 1012.0873 3.05%
2301.99/2307.49 c 2307 22752 2369 1 1043.0000 1012.0951 3.05%
2309.47/2314.95 c 2315 22759 2376 1 1043.0000 1012.0951 3.05%
2314.66/2320.12 c 2320 22893 2380 1 1043.0000 1012.0951 3.05%
2320.85/2326.39 c 2326 22949 2386 1 1043.0000 1012.1115 3.05%
2328.53/2334.08 c 2334 23074 2391 1 1043.0000 1012.1298 3.05%
2333.62/2339.19 c 2339 23192 2399 1 1043.0000 1012.1339 3.05%
2339.70/2345.24 c 2345 23204 2405 1 1043.0000 1012.1339 3.05%
2345.39/2350.91 c 2351 23244 2405 1 1043.0000 1012.1380 3.05%
2352.48/2358.03 c 2358 23304 2415 1 1043.0000 1012.1476 3.05%
2358.06/2363.64 c 2364 23354 2425 1 1043.0000 1012.1593 3.05%
2363.55/2369.13 c 2369 23422 2431 1 1043.0000 1012.1593 3.05%
2369.13/2374.73 c 2375 23546 2429 1 1043.0000 1012.1593 3.05%
2374.82/2380.42 c 2380 23613 2436 1 1043.0000 1012.1720 3.05%
2381.21/2386.81 c 2387 23693 2438 1 1043.0000 1012.2717 3.04%
2386.40/2392.05 c 2392 23725 2448 1 1043.0000 1012.2867 3.03%
2392.08/2397.72 c 2398 23749 2458 1 1043.0000 1012.3059 3.03%
2397.67/2403.33 c 2403 23803 2462 1 1043.0000 1012.3229 3.03%
2403.66/2409.34 c 2409 23828 2475 1 1043.0000 1012.3563 3.03%
2409.46/2415.19 c 2415 23863 2486 1 1043.0000 1012.3623 3.03%
2415.45/2421.11 c 2421 23923 2490 1 1043.0000 1012.3738 3.03%
2423.52/2429.29 c 2429 24002 2497 1 1043.0000 1012.4336 3.02%
2428.71/2434.48 c 2434 24029 2510 1 1043.0000 1012.4343 3.02%
2437.49/2443.20 c 2443 24059 2518 1 1043.0000 1012.4351 3.02%
2443.48/2449.23 c 2449 24089 2528 1 1043.0000 1012.4498 3.02%
2448.97/2454.75 c 2455 24118 2535 1 1043.0000 1012.4498 3.02%
2456.85/2462.68 c 2463 24193 2538 1 1043.0000 1012.4777 3.01%
2461.94/2467.70 c 2468 24262 2543 1 1043.0000 1012.5099 3.01%
2467.13/2472.95 c 2473 24281 2550 1 1043.0000 1012.5099 3.01%
2473.22/2479.04 c 2479 24359 2558 1 1043.0000 1012.5158 3.01%
2479.10/2484.92 c 2485 24417 2558 1 1043.0000 1012.5158 3.01%
2484.69/2490.57 c 2491 24464 2561 1 1043.0000 1012.5197 3.01%
2490.18/2496.04 c 2496 24510 2569 1 1043.0000 1012.5455 3.01%
2495.36/2501.23 c 2501 24632 2573 1 1043.0000 1012.5455 3.01%
2503.64/2509.59 c 2510 24762 2581 1 1043.0000 1012.5487 3.01%
2510.83/2516.72 c 2517 24864 2589 1 1043.0000 1012.5694 3.01%
2516.51/2522.41 c 2522 24905 2600 1 1043.0000 1012.6121 3.00%
2521.60/2527.58 c 2528 25027 2606 1 1043.0000 1012.6121 3.00%
2527.50/2533.49 c 2533 25080 2613 1 1043.0000 1012.6355 3.00%
2532.89/2538.83 c 2539 25121 2622 1 1043.0000 1012.6439 3.00%
2538.47/2544.44 c 2544 25236 2629 1 1043.0000 1012.6459 3.00%
2543.86/2549.89 c 2550 25332 2641 1 1043.0000 1012.6600 3.00%
2549.35/2555.38 c 2555 25365 2646 1 1043.0000 1012.6743 2.99%
2555.14/2561.13 c 2561 25446 2649 1 1043.0000 1012.6743 2.99%
2560.62/2566.64 c 2567 25569 2650 1 1043.0000 1012.6743 2.99%
2566.40/2572.45 c 2572 25589 2658 1 1043.0000 1012.6885 2.99%
2572.19/2578.23 c 2578 25670 2657 1 1043.0000 1012.6885 2.99%
2577.28/2583.32 c 2583 25822 2653 1 1043.0000 1012.6885 2.99%
2582.37/2588.46 c 2588 25960 2651 1 1043.0000 1012.6885 2.99%
2587.97/2594.08 c 2594 25990 2659 1 1043.0000 1012.7080 2.99%
2598.14/2604.23 c 2604 26019 2666 1 1043.0000 1012.7108 2.99%
2603.13/2609.25 c 2609 26082 2667 1 1043.0000 1012.7212 2.99%
2609.61/2615.74 c 2616 26154 2677 1 1043.0000 1012.7260 2.99%
2616.00/2622.13 c 2622 26213 2682 1 1043.0000 1012.7286 2.99%
2621.39/2627.53 c 2628 26242 2691 1 1043.0000 1012.7435 2.99%
2626.67/2632.89 c 2633 26369 2700 1 1043.0000 1012.7435 2.99%
2632.46/2638.68 c 2639 26419 2708 1 1043.0000 1012.7684 2.99%
2640.64/2646.81 c 2647 26462 2717 1 1043.0000 1012.8664 2.98%
2646.63/2652.83 c 2653 26512 2725 1 1043.0000 1012.8822 2.97%
2652.02/2658.28 c 2658 26592 2733 1 1043.0000 1012.8822 2.97%
2657.61/2663.84 c 2664 26637 2736 1 1043.0000 1012.8827 2.97%
2663.49/2669.76 c 2670 26667 2744 1 1043.0000 1012.8982 2.97%
2668.78/2675.05 c 2675 26785 2754 1 1043.0000 1012.8982 2.97%
2675.57/2681.88 c 2682 26833 2756 1 1043.0000 1012.9041 2.97%
2681.55/2687.81 c 2688 26858 2769 1 1043.0000 1012.9483 2.97%
2686.74/2693.00 c 2693 26902 2771 1 1043.0000 1012.9510 2.97%
2692.53/2698.80 c 2699 26927 2784 1 1043.0000 1012.9524 2.97%
2700.51/2706.87 c 2707 26993 2790 1 1043.0000 1012.9698 2.96%
2708.80/2715.14 c 2715 27042 2797 1 1043.0000 1012.9699 2.96%
2713.88/2720.25 c 2720 27067 2800 1 1043.0000 1012.9699 2.96%
2719.37/2725.70 c 2726 27089 2808 1 1043.0000 1012.9769 2.96%
2726.67/2733.09 c 2733 27154 2809 1 1043.0000 1013.0023 2.96%
2732.25/2738.68 c 2739 27240 2813 1 1043.0000 1013.0023 2.96%
2737.83/2744.27 c 2744 27326 2815 1 1043.0000 1013.0023 2.96%
2743.12/2749.59 c 2750 27383 2820 1 1043.0000 1013.0232 2.96%
2749.81/2756.28 c 2756 27432 2827 1 1043.0000 1013.0380 2.96%
2755.60/2762.04 c 2762 27526 2835 1 1043.0000 1013.0380 2.96%
2761.18/2767.66 c 2768 27630 2835 1 1043.0000 1013.0380 2.96%
2766.96/2773.47 c 2773 27705 2838 1 1043.0000 1013.0380 2.96%
2772.15/2778.66 c 2779 27782 2835 1 1043.0000 1013.0422 2.96%
2778.34/2784.87 c 2785 27822 2843 1 1043.0000 1013.0422 2.96%
2784.53/2791.03 c 2791 27882 2845 1 1043.0000 1013.0503 2.96%
2792.41/2798.99 c 2799 27902 2851 1 1043.0000 1013.0663 2.95%
2799.39/2805.93 c 2806 27953 2862 1 1043.0000 1013.0713 2.95%
2804.68/2811.23 c 2811 28019 2868 1 1043.0000 1013.0713 2.95%
2809.76/2816.39 c 2816 28076 2869 1 1043.0000 1013.0713 2.95%
2815.35/2821.96 c 2822 28167 2868 1 1043.0000 1013.0713 2.95%
2820.75/2827.30 c 2827 28203 2868 1 1043.0000 1013.0785 2.95%
2826.93/2833.50 c 2834 28252 2875 1 1043.0000 1013.1161 2.95%
2831.92/2838.55 c 2839 28284 2885 1 1043.0000 1013.1260 2.95%
2837.61/2844.24 c 2844 28347 2892 1 1043.0000 1013.1260 2.95%
2843.69/2850.34 c 2850 28402 2891 1 1043.0000 1013.1302 2.95%
2849.08/2855.74 c 2856 28492 2897 1 1043.0000 1013.1465 2.95%
2854.17/2860.87 c 2861 28511 2904 1 1043.0000 1013.1465 2.95%
2859.66/2866.39 c 2866 28553 2904 1 1043.0000 1013.1608 2.95%
2865.35/2872.05 c 2872 28606 2917 1 1043.0000 1013.1630 2.94%
2870.53/2877.29 c 2877 28712 2923 1 1043.0000 1013.1630 2.94%
2876.43/2883.18 c 2883 28814 2921 1 1043.0000 1013.1630 2.94%
2882.12/2888.84 c 2889 28887 2924 1 1043.0000 1013.1630 2.94%
2887.91/2894.65 c 2895 29004 2923 1 1043.0000 1013.1630 2.94%
2893.30/2900.02 c 2900 29109 2920 1 1043.0000 1013.1630 2.94%
2899.78/2906.56 c 2907 29155 2924 1 1043.0000 1013.1641 2.94%
2906.46/2913.20 c 2913 29192 2927 1 1043.0000 1013.1937 2.94%
2912.36/2919.15 c 2919 29262 2939 1 1043.0000 1013.1937 2.94%
2918.64/2925.47 c 2925 29312 2939 1 1043.0000 1013.2202 2.94%
2924.23/2931.02 c 2931 29375 2946 1 1043.0000 1013.2202 2.94%
2930.32/2937.15 c 2937 29434 2955 1 1043.0000 1013.2395 2.94%
2935.70/2942.50 c 2942 29459 2960 1 1043.0000 1013.2526 2.94%
2941.20/2948.10 c 2948 29508 2963 1 1043.0000 1013.2526 2.94%
2947.88/2954.71 c 2955 29537 2966 1 1043.0000 1013.2602 2.94%
2953.86/2960.78 c 2961 29579 2976 1 1043.0000 1013.2659 2.93%
2960.46/2967.35 c 2967 29622 2977 1 1043.0000 1013.2928 2.93%
2965.65/2972.51 c 2973 29629 2984 1 1043.0000 1013.2928 2.93%
2971.43/2978.33 c 2978 29649 2992 1 1043.0000 1013.3031 2.93%
2976.92/2983.80 c 2984 29695 2992 1 1043.0000 1013.3031 2.93%
2982.61/2989.53 c 2990 29730 3003 1 1043.0000 1013.3056 2.93%
2987.90/2994.89 c 2995 29789 3004 1 1043.0000 1013.3056 2.93%
2994.09/3001.03 c 3001 29821 3010 1 1043.0000 1013.3189 2.93%
2999.18/3006.10 c 3006 29854 3019 1 1043.0000 1013.3272 2.93%
3004.56/3011.57 c 3012 29912 3025 1 1043.0000 1013.3272 2.93%
3010.65/3017.60 c 3018 29949 3032 1 1043.0000 1013.3378 2.93%
3016.15/3023.11 c 3023 29981 3044 1 1043.0000 1013.3418 2.93%
3023.13/3030.18 c 3030 30053 3042 1 1043.0000 1013.3595 2.92%
3030.31/3037.37 c 3037 30122 3049 1 1043.0000 1013.3643 2.92%
3036.20/3043.27 c 3043 30194 3055 1 1043.0000 1013.3643 2.92%
3041.59/3048.61 c 3049 30272 3065 1 1043.0000 1013.3691 2.92%
3046.68/3053.79 c 3054 30317 3072 1 1043.0000 1013.3691 2.92%
3051.87/3058.98 c 3059 30407 3072 1 1043.0000 1013.3691 2.92%
3058.16/3065.24 c 3065 30484 3073 1 1043.0000 1013.4096 2.92%
3063.54/3070.67 c 3071 30565 3078 1 1043.0000 1013.4096 2.92%
3069.33/3076.47 c 3076 30589 3084 1 1043.0000 1013.4347 2.92%
3076.52/3083.69 c 3084 30642 3085 1 1043.0000 1013.4392 2.92%
3081.92/3089.04 c 3089 30662 3093 1 1043.0000 1013.4410 2.92%
3086.91/3094.05 c 3094 30724 3101 1 1043.0000 1013.4410 2.92%
3092.19/3099.38 c 3099 30834 3101 1 1043.0000 1013.4410 2.92%
3098.18/3105.31 c 3105 30882 3099 1 1043.0000 1013.4412 2.92%
3103.57/3110.79 c 3111 30983 3108 1 1043.0000 1013.4412 2.92%
3108.76/3115.90 c 3116 31009 3114 1 1043.0000 1013.4422 2.92%
3113.85/3121.09 c 3121 31120 3115 1 1043.0000 1013.4422 2.92%
3119.84/3127.06 c 3127 31218 3127 1 1043.0000 1013.4580 2.91%
3128.92/3136.15 c 3136 31279 3132 1 1043.0000 1013.4697 2.91%
3134.10/3141.35 c 3141 31412 3135 1 1043.0000 1013.4697 2.91%
3139.29/3146.58 c 3147 31537 3142 1 1043.0000 1013.4697 2.91%
3144.48/3151.72 c 3152 31556 3151 1 1043.0000 1013.4779 2.91%
3149.47/3156.76 c 3157 31591 3160 1 1043.0000 1013.4899 2.91%
3155.16/3162.47 c 3162 31648 3169 1 1043.0000 1013.5034 2.91%
3160.65/3167.91 c 3168 31802 3167 1 1043.0000 1013.5043 2.91%
3168.74/3176.02 c 3176 31842 3175 1 1043.0000 1013.5064 2.91%
3174.42/3181.75 c 3182 31885 3186 1 1043.0000 1013.5109 2.91%
3180.11/3187.46 c 3187 31942 3189 1 1043.0000 1013.5171 2.91%
3186.60/3193.95 c 3194 31994 3199 1 1043.0000 1013.5315 2.91%
3192.79/3200.12 c 3200 32034 3209 1 1043.0000 1013.5662 2.90%
3197.97/3205.39 c 3205 32065 3216 1 1043.0000 1013.5839 2.90%
3204.06/3211.46 c 3211 32122 3219 1 1043.0000 1013.6248 2.90%
3209.65/3217.07 c 3217 32153 3228 1 1043.0000 1013.6503 2.90%
3214.94/3222.32 c 3222 32282 3233 1 1043.0000 1013.6503 2.90%
3220.42/3227.85 c 3228 32322 3241 1 1043.0000 1013.6528 2.90%
3225.62/3233.06 c 3233 32360 3247 1 1043.0000 1013.6528 2.90%
3230.80/3238.22 c 3238 32494 3247 1 1043.0000 1013.6528 2.90%
3236.49/3243.92 c 3244 32572 3245 1 1043.0000 1013.6642 2.89%
3241.68/3249.15 c 3249 32647 3264 1 1043.0000 1013.6737 2.89%
3251.66/3259.14 c 3259 32679 3272 1 1043.0000 1013.6884 2.89%
3257.15/3264.66 c 3265 32802 3283 1 1043.0000 1013.6930 2.89%
3263.13/3270.60 c 3271 32872 3281 1 1043.0000 1013.7273 2.89%
3269.12/3276.67 c 3277 32896 3293 1 1043.0000 1013.7483 2.89%
3274.52/3282.06 c 3282 32931 3304 1 1043.0000 1013.7493 2.89%
3280.70/3288.21 c 3288 33003 3302 1 1043.0000 1013.7543 2.88%
3288.69/3296.29 c 3296 33084 3315 1 1043.0000 1013.7561 2.88%
3295.58/3303.11 c 3303 33162 3321 1 1043.0000 1013.7706 2.88%
3300.77/3308.39 c 3308 33273 3330 1 1043.0000 1013.7706 2.88%
3306.35/3313.91 c 3314 33333 3332 1 1043.0000 1013.7839 2.88%
3313.54/3321.11 c 3321 33413 3342 1 1043.0000 1013.7979 2.88%
3320.13/3327.75 c 3328 33473 3350 1 1043.0000 1013.8184 2.88%
3328.01/3335.65 c 3336 33585 3360 1 1043.0000 1013.8296 2.88%
3334.60/3342.22 c 3342 33653 3370 1 1043.0000 1013.8348 2.88%
3339.69/3347.37 c 3347 33693 3378 1 1043.0000 1013.8500 2.88%
3347.67/3355.36 c 3355 33792 3385 1 1043.0000 1013.8715 2.87%
3353.85/3361.57 c 3362 33876 3391 1 1043.0000 1013.8715 2.87%
3359.04/3366.72 c 3367 33922 3393 1 1043.0000 1013.8752 2.87%
3365.44/3373.16 c 3373 33993 3400 1 1043.0000 1013.8778 2.87%
3371.22/3378.94 c 3379 33999 3406 1 1043.0000 1013.8778 2.87%
3376.31/3384.03 c 3384 34019 3414 1 1043.0000 1013.8817 2.87%
3381.50/3389.29 c 3389 34151 3412 1 1043.0000 1013.8817 2.87%
3387.49/3395.27 c 3395 34233 3410 1 1043.0000 1013.8825 2.87%
3393.07/3400.82 c 3401 34341 3418 1 1043.0000 1013.8825 2.87%
3400.76/3408.55 c 3409 34442 3415 1 1043.0000 1013.8925 2.87%
3406.65/3414.48 c 3414 34491 3428 1 1043.0000 1013.8925 2.87%
3411.74/3419.57 c 3420 34534 3429 1 1043.0000 1013.9071 2.87%
3417.03/3424.89 c 3425 34563 3436 1 1043.0000 1013.9100 2.87%
3422.52/3430.37 c 3430 34639 3444 1 1043.0000 1013.9100 2.87%
3427.90/3435.79 c 3436 34662 3451 1 1043.0000 1013.9343 2.87%
3433.69/3441.57 c 3442 34669 3458 1 1043.0000 1013.9343 2.87%
3440.38/3448.25 c 3448 34762 3457 1 1043.0000 1013.9485 2.87%
3445.57/3453.47 c 3453 34838 3469 1 1043.0000 1013.9485 2.87%
3451.56/3459.49 c 3460 34944 3467 1 1043.0000 1013.9485 2.87%
3456.75/3464.65 c 3465 35055 3466 1 1043.0000 1013.9485 2.87%
3462.44/3470.38 c 3470 35151 3468 1 1043.0000 1013.9485 2.87%
3469.83/3477.73 c 3478 35198 3473 1 1043.0000 1013.9765 2.86%
3475.62/3483.51 c 3484 35244 3475 1 1043.0000 1013.9803 2.86%
3480.71/3488.64 c 3489 35325 3486 1 1043.0000 1013.9803 2.86%
3486.20/3494.18 c 3494 35339 3492 1 1043.0000 1013.9907 2.86%
3492.98/3500.96 c 3501 35379 3500 1 1043.0000 1014.0051 2.86%
3498.18/3506.16 c 3506 35494 3499 1 1043.0000 1014.0051 2.86%
3503.36/3511.32 c 3511 35542 3501 1 1043.0000 1014.0350 2.86%
3511.25/3519.23 c 3519 35602 3511 1 1043.0000 1014.0449 2.86%
3516.74/3524.79 c 3525 35688 3519 1 1043.0000 1014.0449 2.86%
3522.33/3530.35 c 3530 35707 3524 1 1043.0000 1014.0450 2.86%
3529.12/3537.15 c 3537 35735 3532 1 1043.0000 1014.0471 2.86%
3534.40/3542.40 c 3542 35758 3543 1 1043.0000 1014.0499 2.85%
3539.79/3547.80 c 3548 35808 3549 1 1043.0000 1014.0657 2.85%
3545.58/3553.64 c 3554 35826 3555 1 1043.0000 1014.0968 2.85%
3551.47/3559.51 c 3560 35873 3566 1 1043.0000 1014.1051 2.85%
3556.76/3564.84 c 3565 35906 3569 1 1043.0000 1014.1051 2.85%
3563.15/3571.28 c 3571 35973 3576 1 1043.0000 1014.1147 2.85%
3568.74/3576.82 c 3577 36038 3581 1 1043.0000 1014.1147 2.85%
3574.03/3582.17 c 3582 36177 3584 1 1043.0000 1014.1147 2.85%
3581.21/3589.38 c 3589 36279 3590 1 1043.0000 1014.1160 2.85%
3586.70/3594.86 c 3595 36423 3588 1 1043.0000 1014.1160 2.85%
3591.79/3599.98 c 3600 36512 3589 1 1043.0000 1014.1160 2.85%
3591.99/3600.13 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.99/3600.13 c Total Time : 3600.12
3591.99/3600.13 c solving : 3600.12
3591.99/3600.13 c presolving : 0.05 (included in solving)
3591.99/3600.13 c B&B Tree :
3591.99/3600.13 c nodes (total) : 1
3591.99/3600.13 c Solution :
3591.99/3600.13 c Solutions found : 17
3591.99/3600.13 c Primal Bound : +1.04300000000000e+03
3591.99/3600.13 c Dual Bound : +1.01411598081856e+03
3591.99/3600.13 c Gap : 2.84820 %
3591.99/3600.13 c * Warning: final gap: 2.84820e-02 is greater than SCIPepsilon: 1.00000e-09
3591.99/3600.13 o 1043
3591.99/3600.13 s SATISFIABLE
3591.99/3600.13 v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 -x1946 x1945 x1944 -x1943 -x1942 x1941 x1940 -x1939
3591.99/3600.13 v -x1938 -x1937 -x1936 -x1935 -x1934 x1933 -x1932 -x1931 x1930 x1929 x1928 -x1927 -x1926 x1925 x1924 x1923 -x1922 -x1921 x1920
3591.99/3600.13 v x1919 x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 -x1911 -x1910 x1909 x1908 x1907 -x1906 -x1905 -x1904 x1903 -x1902 x1901 x1900
3591.99/3600.13 v x1899 -x1898 -x1897 x1896 -x1895 -x1894 x1893 -x1892 x1891 x1890 -x1889 -x1888 x1887 x1886 x1885 x1884 x1883 -x1882 x1881
3591.99/3600.13 v -x1880 -x1879 -x1878 -x1877 x1876 -x1875 x1874 x1873 -x1872 x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 -x1864 -x1863 x1862
3591.99/3600.13 v -x1861 x1860 x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 x1851 x1850 -x1849 -x1848 x1847 x1846 -x1845 x1844 -x1843 -x1842
3591.99/3600.13 v x1841 -x1840 -x1839 -x1838 x1837 x1836 -x1835 -x1834 -x1833 -x1832 x1831 -x1830 x1829 x1828 -x1827 x1826 x1825 x1824 x1823
3591.99/3600.13 v -x1822 -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814 -x1813 -x1812 -x1811 x1810 -x1809 -x1808 -x1807 -x1806 x1805 x1804
3591.99/3600.13 v -x1803 -x1802 -x1801 x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 x1793 -x1792 x1791 x1790 x1789 -x1788 -x1787 x1786
3591.99/3600.13 v -x1785 x1784 x1783 x1782 x1781 x1780 -x1779 -x1778 -x1777 x1776 x1775 x1774 x1773 x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765
3591.99/3600.13 v x1764 -x1763 -x1762 x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 x1753 -x1752 -x1751 x1750 x1749 -x1748 -x1747
3591.99/3600.13 v -x1746 x1745 -x1744 x1743 -x1742 x1741 -x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 x1732 -x1731 x1730 -x1729 -x1728
3591.99/3600.13 v x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721 -x1720 -x1719 x1718 x1717 -x1716 x1715 x1714 -x1713 x1712 -x1711 x1710 -x1709
3591.99/3600.13 v x1708 x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 -x1699 x1698 -x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689
3591.99/3600.13 v -x1688 x1687 x1686 x1685 -x1684 x1683 x1682 -x1681 -x1680 x1679 -x1678 -x1677 x1676 x1675 x1674 -x1673 x1672 x1671 x1670 -x1669
3591.99/3600.13 v -x1668 -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 x1652 -x1651
3591.99/3600.13 v -x1650 x1649 x1648 x1647 -x1646 -x1645 x1644 x1643 x1642 x1641 -x1640 x1639 -x1638 -x1637 x1636 -x1635 x1634 -x1633 -x1632
3591.99/3600.13 v x1631 -x1630 -x1629 -x1628 -x1627 x1626 x1625 x1624 x1623 x1622 x1621 -x1620 x1619 -x1618 x1617 -x1616 -x1615 x1614 -x1613 -x1612
3591.99/3600.13 v x1611 x1610 x1609 -x1608 x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 -x1594
3591.99/3600.13 v -x1593 x1592 -x1591 -x1590 x1589 x1588 -x1587 -x1586 x1585 -x1584 x1583 x1582 x1581 -x1580 x1579 -x1578 -x1577 x1576 x1575 -x1574
3591.99/3600.13 v -x1573 x1572 -x1571 x1570 x1569 -x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 -x1560 x1559 x1558 -x1557 -x1556 x1555
3591.99/3600.13 v -x1554 x1553 x1552 x1551 -x1550 x1549 x1548 -x1547 x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 x1538 x1537 x1536 x1535 x1534
3591.99/3600.13 v -x1533 -x1532 -x1531 x1530 x1529 x1528 x1527 x1526 -x1525 -x1524 -x1523 x1522 x1521 x1520 x1519 -x1518 -x1517 -x1516 x1515
3591.99/3600.13 v x1514 x1513 x1512 -x1511 x1510 x1509 x1508 x1507 x1506 x1505 -x1504 -x1503 x1502 -x1501 x1500 x1499 x1498 -x1497 -x1496 -x1495
3591.99/3600.13 v x1494 x1493 x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484 -x1483 x1482 -x1481 -x1480 -x1479 x1478 x1477 x1476
3591.99/3600.13 v x1475 -x1474 x1473 x1472 x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 x1464 -x1463 x1462 x1461 -x1460 x1459 -x1458 x1457 x1456
3591.99/3600.13 v -x1455 -x1454 x1453 x1452 x1451 x1450 x1449 -x1448 -x1447 -x1446 -x1445 x1444 x1443 -x1442 x1441 x1440 -x1439 x1438 x1437
3591.99/3600.13 v x1436 x1435 x1434 x1433 -x1432 -x1431 x1430 x1429 -x1428 -x1427 x1426 -x1425 -x1424 x1423 x1422 x1421 -x1420 -x1419 x1418 x1417
3591.99/3600.13 v x1416 -x1415 x1414 -x1413 -x1412 x1411 x1410 -x1409 -x1408 x1407 -x1406 x1405 x1404 -x1403 -x1402 x1401 -x1400 -x1399 x1398
3591.99/3600.13 v x1397 x1396 x1395 -x1394 x1393 -x1392 x1391 x1390 x1389 x1388 -x1387 -x1386 -x1385 x1384 -x1383 x1382 -x1381 x1380 x1379
3591.99/3600.13 v x1378 x1377 x1376 x1375 x1374 -x1373 x1372 -x1371 -x1370 x1369 x1368 -x1367 x1366 x1365 x1364 -x1363 -x1362 x1361 x1360 x1359
3591.99/3600.13 v x1358 x1357 x1356 x1355 -x1354 x1353 x1352 -x1351 x1350 x1349 x1348 -x1347 x1346 x1345 x1344 x1343 x1342 -x1341 x1340 x1339
3591.99/3600.13 v -x1338 x1337 -x1336 -x1335 -x1334 x1333 x1332 -x1331 x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 x1322 -x1321 x1320
3591.99/3600.13 v -x1319 -x1318 -x1317 x1316 x1315 -x1314 -x1313 x1312 -x1311 x1310 -x1309 x1308 x1307 -x1306 -x1305 x1304 -x1303 x1302 -x1301
3591.99/3600.13 v -x1300 -x1299 -x1298 -x1297 x1296 -x1295 -x1294 x1293 x1292 x1291 -x1290 x1289 -x1288 x1287 x1286 x1285 x1284 -x1283 x1282 x1281
3591.99/3600.13 v x1280 x1279 x1278 x1277 -x1276 x1275 x1274 -x1273 -x1272 x1271 -x1270 -x1269 x1268 x1267 -x1266 x1265 -x1264 -x1263 x1262
3591.99/3600.13 v -x1261 -x1260 x1259 x1258 x1257 x1256 x1255 -x1254 x1253 -x1252 -x1251 x1250 x1249 -x1248 -x1247 x1246 -x1245 x1244 -x1243
3591.99/3600.13 v x1242 -x1241 -x1240 x1239 x1238 -x1237 x1236 x1235 x1234 x1233 x1232 -x1231 -x1230 -x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223
3591.99/3600.13 v -x1222 x1221 x1220 x1219 x1218 x1217 x1216 x1215 -x1214 x1213 x1212 x1211 x1210 x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203
3591.99/3600.13 v x1202 -x1201 x1200 x1199 -x1198 x1197 -x1196 -x1195 -x1194 x1193 x1192 -x1191 x1190 -x1189 -x1188 x1187 -x1186 x1185 -x1184
3591.99/3600.13 v -x1183 -x1182 -x1181 x1180 x1179 x1178 x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 x1166 -x1165
3591.99/3600.13 v x1164 x1163 x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 x1155 x1154 x1153 x1152 -x1151 x1150 x1149 -x1148 -x1147 -x1146
3591.99/3600.13 v x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 x1135 -x1134 x1133 x1132 x1131 -x1130 x1129 -x1128 x1127
3591.99/3600.13 v -x1126 -x1125 -x1124 x1123 -x1122 x1121 x1120 -x1119 x1118 x1117 -x1116 -x1115 -x1114 -x1113 x1112 x1111 x1110 -x1109 x1108
3591.99/3600.13 v x1107 x1106 x1105 x1104 x1103 x1102 x1101 x1100 x1099 x1098 -x1097 x1096 x1095 x1094 x1093 x1092 x1091 -x1090 x1089 x1088 -x1087
3591.99/3600.13 v x1086 x1085 -x1084 x1083 -x1082 -x1081 x1080 x1079 x1078 -x1077 x1076 -x1075 x1074 x1073 -x1072 x1071 -x1070 -x1069 -x1068
3591.99/3600.13 v -x1067 x1066 x1065 -x1064 -x1063 x1062 x1061 x1060 x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 x1052 x1051 x1050 x1049
3591.99/3600.13 v x1048 x1047 -x1046 -x1045 x1044 x1043 -x1042 x1041 -x1040 -x1039 -x1038 x1037 -x1036 x1035 -x1034 -x1033 -x1032 x1031 x1030
3591.99/3600.13 v -x1029 x1028 -x1027 -x1026 x1025 x1024 -x1023 x1022 -x1021 -x1020 x1019 x1018 x1017 x1016 x1015 x1014 x1013 x1012 x1011 x1010
3591.99/3600.13 v -x1009 x1008 -x1007 -x1006 x1005 -x1004 x1003 x1002 -x1001 -x1000 -x999 x998 x997 x996 -x995 x994 -x993 x992 x991 x990 -x989
3591.99/3600.13 v -x988 -x987 -x986 x985 x984 x983 x982 x981 -x980 -x979 x978 x977 x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 x966
3591.99/3600.13 v x965 -x964 x963 x962 -x961 x960 x959 -x958 x957 x956 x955 x954 x953 x952 x951 -x950 x949 x948 x947 x946 x945 x944 -x943 x942
3591.99/3600.13 v x941 x940 x939 x938 -x937 x936 -x935 x934 x933 -x932 x931 x930 x929 x928 -x927 x926 -x925 x924 x923 -x922 -x921 -x920 -x919
3591.99/3600.13 v x918 x917 x916 x915 -x914 -x913 x912 x911 -x910 x909 -x908 -x907 x906 x905 x904 -x903 x902 -x901 -x900 -x899 x898 -x897 x896
3591.99/3600.13 v x895 x894 x893 -x892 x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 x881 -x880 x879 x878 -x877 x876 -x875 x874 -x873
3591.99/3600.13 v -x872 x871 -x870 x869 -x868 x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 x859 x858 x857 x856 x855 -x854 x853 x852 x851 x850
3591.99/3600.13 v -x849 -x848 x847 x846 x845 x844 -x843 x842 -x841 -x840 x839 x838 -x837 x836 x835 -x834 x833 -x832 -x831 x830 -x829 -x828
3591.99/3600.13 v x827 x826 -x825 x824 -x823 x822 x821 x820 -x819 x818 x817 -x816 x815 x814 x813 x812 -x811 x810 -x809 -x808 x807 -x806 -x805 x804
3591.99/3600.13 v -x803 -x802 -x801 -x800 x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 -x789 -x788 x787 x786 x785 -x784 x783 x782 x781
3591.99/3600.13 v -x780 x779 -x778 x777 -x776 -x775 x774 x773 -x772 -x771 x770 -x769 x768 -x767 -x766 x765 -x764 -x763 x762 x761 -x760 -x759 -x758
3591.99/3600.13 v x757 -x756 -x755 x754 -x753 x752 -x751 x750 x749 x748 -x747 x746 -x745 x744 -x743 -x742 -x741 -x740 x739 x738 x737 x736
3591.99/3600.13 v x735 -x734 -x733 -x732 x731 -x730 x729 x728 x727 x726 x725 -x724 x723 x722 -x721 -x720 -x719 x718 x717 -x716 -x715 -x714 x713
3591.99/3600.13 v -x712 -x711 x710 -x709 x708 x707 x706 -x705 -x704 x703 x702 x701 x700 x699 -x698 -x697 -x696 -x695 x694 -x693 x692 x691 x690
3591.99/3600.13 v x689 -x688 -x687 x686 x685 x684 x683 x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 x668 -x667
3591.99/3600.13 v -x666 x665 -x664 x663 -x662 -x661 x660 -x659 x658 -x657 x656 x655 x654 -x653 -x652 x651 x650 x649 -x648 -x647 -x646 -x645
3591.99/3600.13 v x644 -x643 x642 x641 x640 -x639 -x638 x637 x636 x635 -x634 -x633 -x632 -x631 x630 -x629 x628 -x627 -x626 x625 x624 x623 x622
3591.99/3600.13 v -x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 x612 x611 -x610 -x609 -x608 -x607 -x606 x605 x604 -x603 -x602 x601 x600 -x599
3591.99/3600.13 v x598 x597 x596 -x595 x594 -x593 x592 -x591 -x590 x589 x588 -x587 -x586 x585 x584 -x583 -x582 -x581 x580 x579 -x578 x577 x576
3591.99/3600.13 v x575 -x574 x573 -x572 -x571 x570 -x569 x568 x567 -x566 -x565 -x564 -x563 x562 x561 x560 -x559 x558 -x557 -x556 -x555 x554
3591.99/3600.13 v x553 x552 -x551 -x550 x549 x548 x547 x546 x545 x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 x531
3591.99/3600.13 v x530 x529 x528 x527 x526 -x525 -x524 x523 x522 -x521 -x520 x519 x518 -x517 -x516 x515 x514 x513 -x512 -x511 -x510 x509 -x508
3591.99/3600.13 v x507 -x506 -x505 x504 x503 -x502 -x501 x500 -x499 x498 x497 x496 x495 x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486
3591.99/3600.13 v x485 -x484 -x483 -x482 -x481 x480 -x479 x478 x477 x476 x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 -x466 -x465 -x464 -x463
3591.99/3600.13 v x462 x461 x460 x459 -x458 -x457 x456 -x455 x454 x453 x452 x451 -x450 x449 -x448 x447 -x446 x445 x444 x443 -x442 -x441 x440
3591.99/3600.13 v x439 x438 x437 -x436 -x435 -x434 x433 x432 x431 -x430 -x429 x428 x427 -x426 x425 x424 x423 -x422 x421 -x420 -x419 x418 x417
3591.99/3600.13 v -x416 x415 -x414 x413 x412 x411 x410 x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 x395 -x394
3591.99/3600.13 v x393 -x392 -x391 x390 x389 x388 x387 -x386 x385 x384 x383 x382 x381 -x380 -x379 x378 -x377 x376 -x375 x374 -x373 -x372 -x371
3591.99/3600.13 v -x370 -x369 -x368 -x367 x366 -x365 x364 x363 x362 x361 x360 x359 -x358 -x357 x356 x355 -x354 x353 -x352 -x351 x350 -x349
3591.99/3600.13 v x348 x347 -x346 -x345 -x344 x343 -x342 -x341 x340 x339 -x338 x337 x336 x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326
3591.99/3600.13 v -x325 -x324 -x323 -x322 x321 -x320 -x319 x318 x317 x316 x315 -x314 x313 -x312 -x311 -x310 x309 -x308 -x307 x306 x305 x304 -x303
3591.99/3600.13 v -x302 x301 -x300 x299 -x298 x297 -x296 x295 x294 x293 x292 x291 -x290 -x289 x288 -x287 -x286 -x285 x284 x283 x282 -x281 -x280
3591.99/3600.13 v x279 x278 x277 -x276 -x275 -x274 x273 x272 x271 x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 x260 -x259 -x258
3591.99/3600.13 v x257 -x256 x255 -x254 -x253 x252 -x251 x250 -x249 -x248 x247 -x246 x245 x244 x243 -x242 x241 x240 -x239 -x238 x237 -x236 -x235
3591.99/3600.13 v x234 -x233 x232 -x231 x230 -x229 x228 x227 -x226 -x225 -x224 x223 -x222 x221 x220 x219 x218 x217 x216 x215 -x214 -x213 x212
3591.99/3600.13 v x211 -x210 -x209 -x208 x207 -x206 x205 x204 -x203 x202 x201 x200 -x199 x198 -x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189
3591.99/3600.13 v -x188 x187 x186 x185 x184 x183 -x182 -x181 x180 x179 x178 x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 -x168 -x167 x166
3591.99/3600.13 v x165 -x164 x163 -x162 -x161 -x160 x159 x158 -x157 x156 x155 x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144
3591.99/3600.13 v -x143 x142 -x141 x140 -x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 x122 x121
3591.99/3600.13 v -x120 x119 x118 -x117 x116 x115 x114 x113 -x112 x111 x110 x109 -x108 x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99 -x98
3591.99/3600.13 v x97 x96 x95 x94 -x93 -x92 -x91 x90 x89 x88 -x87 x86 x85 x84 -x83 x82 -x81 -x80 x79 -x78 -x77 -x76 x75 -x74 -x73 x72 x71 x70
3591.99/3600.13 v x69 x68 x67 x66 -x65 x64 -x63 -x62 -x61 -x60 x59 -x58 x57 x56 -x55 x54 x53 -x52 -x51 x50 x49 x48 x47 -x46 -x45 -x44 -x43 x42
3591.99/3600.13 v x41 -x40 -x39 x38 x37 x36 x35 -x34 x33 -x32 -x31 x30 -x29 -x28 x27 x26 x25 x24 x23 -x22 x21 -x20 -x19 x18 -x17 -x16 x15 x14 -x13
3591.99/3600.13 v -x12 x11 x10 -x9 x8 x7 x6 -x5 x4 x3 x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61113 MiB free)
memory of node 1: 64510 MiB (61782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434659-1721071462/watcher-4434659-1721071462 -o /tmp/evaluation-result-4434659-1721071462/solver-4434659-1721071462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809919 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434659-1721071462.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=816163, runsolver pid=816160
Current StackSize limit: 8192 KiB
[startup+0.100669 s]*
/proc/loadavg: 4.07 4.08 4.08 5/266 816166
/proc/meminfo: memFree=125810240/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=131268 memory=45084 CPUtime=0.09 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 9943 0 0 0 8 1 0 0 20 0 3 0 159315900 134418432 11271 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 32817 11271 2782 3032 0 15239 0
[pid=816163/tid=816165] ppid=816160 vsize=131268 memory=4026561586 CPUtime=0.02 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 3783 0 0 0 2 0 0 0 20 0 3 0 159315906 134418432 11271 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=131268 memory=228556276070 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159315907 134418432 11271 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131268 KiB
Current children cumulated memory: 45084 KiB
[startup+0.205665 s]*
/proc/loadavg: 4.07 4.08 4.08 5/266 816166
/proc/meminfo: memFree=125803184/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=132292 memory=52600 CPUtime=0.19 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 11754 0 0 0 18 1 0 0 20 0 3 0 159315900 135467008 13150 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 33073 13150 2894 3032 0 17008 0
[pid=816163/tid=816165] ppid=816160 vsize=132292 memory=4782652875487838339 CPUtime=0.12 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 5594 0 0 0 12 0 0 0 20 0 3 0 159315906 135467008 13150 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=132292 memory=17963 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159315907 135467008 13150 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132292 KiB
Current children cumulated memory: 52600 KiB
[startup+0.305652 s]*
/proc/loadavg: 4.07 4.08 4.08 5/266 816166
/proc/meminfo: memFree=125802848/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=132292 memory=52600 CPUtime=0.28 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 11758 0 0 0 27 1 0 0 20 0 3 0 159315900 135467008 13150 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 33073 13150 2894 3032 0 17011 0
[pid=816163/tid=816165] ppid=816160 vsize=132292 memory=-6298678173628545900 CPUtime=0.21 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 5598 0 0 0 21 0 0 0 20 0 3 0 159315906 135467008 13150 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=132292 memory=0 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159315907 135467008 13150 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 132292 KiB
Current children cumulated memory: 52600 KiB
[startup+0.700653 s]
/proc/loadavg: 4.07 4.08 4.08 6/266 816166
/proc/meminfo: memFree=125799152/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=133748 memory=56876 CPUtime=0.66 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 12835 0 0 0 65 1 0 0 20 0 3 0 159315900 136957952 14219 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 33437 14219 2910 3032 0 18255 0
[pid=816163/tid=816165] ppid=816160 vsize=133748 memory=0 CPUtime=0.59 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 6675 0 0 0 59 0 0 0 20 0 3 0 159315906 136957952 14219 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=133748 memory=0 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159315907 136957952 14219 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 133748 KiB
Current children cumulated memory: 56876 KiB
[startup+1.50065 s]
/proc/loadavg: 4.07 4.08 4.08 5/266 816166
/proc/meminfo: memFree=125798316/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=133748 memory=60976 CPUtime=1.46 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 17561 0 0 0 144 2 0 0 20 0 3 0 159315900 136957952 15244 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 33437 15244 2910 3032 0 19353 0
[pid=816163/tid=816165] ppid=816160 vsize=133748 memory=0 CPUtime=1.39 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 11401 0 0 0 138 1 0 0 20 0 3 0 159315906 136957952 15244 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=133748 memory=0 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159315907 136957952 15244 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133748 KiB
Current children cumulated memory: 60976 KiB
[startup+3.10542 s]
/proc/loadavg: 4.07 4.08 4.08 5/266 816167
/proc/meminfo: memFree=125768492/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=148836 memory=86476 CPUtime=3.04 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 24044 0 0 0 302 2 0 0 20 0 3 0 159315900 152408064 21619 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 37209 21619 2910 3032 0 26036 0
[pid=816163/tid=816165] ppid=816160 vsize=148836 memory=2273 CPUtime=2.98 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 17882 0 0 0 296 2 0 0 20 0 3 0 159315906 152408064 21619 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=148836 memory=0 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 159315907 152408064 21619 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 148836 KiB
Current children cumulated memory: 86476 KiB
[startup+6.30023 s]
/proc/loadavg: 4.06 4.08 4.08 5/266 816167
/proc/meminfo: memFree=125737572/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=184408 memory=125480 CPUtime=6.23 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 45528 0 0 0 619 4 0 0 20 0 3 0 159315900 188833792 31370 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 46102 31370 2910 3032 0 36058 0
[pid=816163/tid=816165] ppid=816160 vsize=184408 memory=-6298678173628545900 CPUtime=6.16 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 39364 0 0 0 613 3 0 0 20 0 3 0 159315906 188833792 31370 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=184408 memory=114944 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 159315907 188833792 31370 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 184408 KiB
Current children cumulated memory: 125480 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.09 4.09 5/266 816169
/proc/meminfo: memFree=125723792/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=184408 memory=132912 CPUtime=12.62 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 59777 0 0 0 1257 5 0 0 20 0 3 0 159315900 188833792 33228 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 46102 33228 2910 3032 0 38561 0
[pid=816163/tid=816165] ppid=816160 vsize=184408 memory=86476 CPUtime=12.55 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 53581 0 0 0 1251 4 0 0 20 0 3 0 159315906 188833792 33228 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=184408 memory=0 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 159315907 188833792 33228 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 184408 KiB
Current children cumulated memory: 132912 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 816170
/proc/meminfo: memFree=125707472/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=187472 memory=137468 CPUtime=25.38 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 89492 0 0 0 2531 7 0 0 20 0 3 0 159315900 191971328 34367 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 46868 34367 2958 3032 0 39327 0
[pid=816163/tid=816165] ppid=816160 vsize=187472 memory=132796 CPUtime=25.32 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 83223 0 0 0 2525 7 0 0 20 0 3 0 159315906 191971328 34367 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=187472 memory=12316 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 159315907 191971328 34367 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 187472 KiB
Current children cumulated memory: 137468 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.08 4.08 5/266 816173
/proc/meminfo: memFree=125652476/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=294736 memory=191576 CPUtime=50.93 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 162405 0 0 0 5080 13 0 0 20 0 3 0 159315900 301809664 47894 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 73684 47894 2958 3032 0 53744 0
[pid=816163/tid=816165] ppid=816160 vsize=294736 memory=185588 CPUtime=50.86 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 155268 0 0 0 5074 12 0 0 20 0 3 0 159315906 301809664 47894 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=294736 memory=185588 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 159315907 301809664 47894 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 294736 KiB
Current children cumulated memory: 191576 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 816566
/proc/meminfo: memFree=125537252/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=323192 memory=272768 CPUtime=102.01 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 287208 0 0 0 10177 24 0 0 20 0 3 0 159315900 330948608 68192 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 80798 68192 2974 3032 0 75496 0
[pid=816163/tid=816165] ppid=816160 vsize=323192 memory=272760 CPUtime=101.94 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 279992 0 0 0 10171 23 0 0 20 0 3 0 159315906 330948608 68192 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=323192 memory=271572 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 159315907 330948608 68192 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 323192 KiB
Current children cumulated memory: 272768 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 816576
/proc/meminfo: memFree=125459016/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=323192 memory=272848 CPUtime=161.88 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 324185 0 0 0 16161 27 0 0 20 0 3 0 159315900 330948608 68212 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 80798 68212 2974 3032 0 75496 0
[pid=816163/tid=816165] ppid=816160 vsize=323192 memory=272844 CPUtime=161.79 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 316240 0 0 0 16154 25 0 0 20 0 3 0 159315906 330948608 68212 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=323192 memory=12316 CPUtime=0 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 159315907 330948608 68212 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 323192 KiB
################
# More data... #
################
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=619304 CPUtime=3454.23 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1125190 0 0 0 345327 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=40760 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3454.46 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3522.3 s]
/proc/loadavg: 2.43 2.99 3.49 3/247 818049
/proc/meminfo: memFree=125414340/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3514.34 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1135858 0 0 0 351331 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=619304 CPUtime=3514.11 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1126251 0 0 0 351315 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=620372 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 173 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3514.34 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3582.3 s]
/proc/loadavg: 1.56 2.64 3.34 2/238 818090
/proc/meminfo: memFree=126120856/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3574.22 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139000 0 0 0 357319 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=619304 CPUtime=3573.99 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1129375 0 0 0 357303 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=12316 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3574.22 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3600.13 s]
# the end of solver process 816163 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.99 s, system=1.03924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.56 2.64 3.34 2/238 818090
/proc/meminfo: memFree=126120888/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3575.93 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139005 0 0 0 357490 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=6720659956737391467 CPUtime=3575.69 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1129380 0 0 0 357473 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=-4421386509031859302 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3575.93 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3590.4 s]
/proc/loadavg: 1.52 2.62 3.33 2/238 818091
/proc/meminfo: memFree=126120756/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3582.31 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139174 0 0 0 358128 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=40760 CPUtime=3582.07 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1129549 0 0 0 358111 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=140036536476449 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3582.31 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3596.8 s]
/proc/loadavg: 1.44 2.56 3.30 2/238 818093
/proc/meminfo: memFree=126120744/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3588.69 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139661 0 0 0 358766 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=620372 CPUtime=3588.46 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1130036 0 0 0 358750 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=620372 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3588.69 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3598.4 s]
/proc/loadavg: 1.44 2.56 3.30 2/238 818093
/proc/meminfo: memFree=126120744/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3590.29 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139662 0 0 0 358926 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=12316 CPUtime=3590.06 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1130037 0 0 0 358910 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=40760 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3590.29 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3599.2 s]
/proc/loadavg: 1.44 2.56 3.30 2/238 818093
/proc/meminfo: memFree=126120744/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3591.09 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139662 0 0 0 359006 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=1740 CPUtime=3590.86 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1130037 0 0 0 358990 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=12316 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3591.09 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3599.6 s]
/proc/loadavg: 1.44 2.56 3.30 2/238 818093
/proc/meminfo: memFree=126120744/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3591.49 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139822 0 0 0 359046 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=12312 CPUtime=3591.26 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1130195 0 0 0 359030 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=5492 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3591.49 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3600 s]*
/proc/loadavg: 1.44 2.56 3.30 2/238 818093
/proc/meminfo: memFree=126120744/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3591.89 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1139866 0 0 0 359086 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=6720659956737391467 CPUtime=3591.66 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1130237 0 0 0 359070 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=620372 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3591.89 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
[startup+3600.1 s]
/proc/loadavg: 1.44 2.56 3.30 2/238 818093
/proc/meminfo: memFree=126120744/131524600 swapFree=131071996/131071996
[pid=816163] ppid=816160 vsize=703788 memory=620372 CPUtime=3591.99 cores=4,6
/proc/816163/stat : 816163 (fscip) S 816160 816163 809908 0 -1 1077936128 1140364 0 0 0 359096 103 0 0 20 0 3 0 159315900 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
/proc/816163/statm: 175947 155093 2974 3032 0 157731 0
[pid=816163/tid=816165] ppid=816160 vsize=703788 memory=620372 CPUtime=3591.76 cores=4,6
/proc/816163/task/816165/stat : 816165 (fscip) R 816160 816163 809908 0 -1 4194368 1130734 0 0 0 359080 96 0 0 20 0 3 0 159315906 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
[pid=816163/tid=816166] ppid=816160 vsize=703788 memory=620372 CPUtime=0.02 cores=4,6
/proc/816163/task/816166/stat : 816166 (fscip) S 816160 816163 809908 0 -1 1077936192 177 0 0 0 1 1 0 0 20 0 3 0 159315907 720678912 155093 134679101440 4194304 16613245 140728592694416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45268992 140728592700437 140728592700553 140728592700553 140728592707568 0
Current children cumulated CPU time: 3591.99 s
Current children cumulated vsize: 703788 KiB
Current children cumulated memory: 620372 KiB
Child status: 0
Real time (s): 3600.13
CPU time (s): 3592.03
CPU user time (s): 3590.99
CPU system time (s): 1.03924
CPU usage (%): 99.7749
Max. virtual memory (cumulated for all children) (KiB): 703788
Max. memory (cumulated for all children) (KiB): 620372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.99
system time used= 1.03924
maximum resident set size= 620372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1141109
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= 8507
involuntary context switches= 1762
# summary of solver processes directly reported to runsolver:
# pid: 816163
# total CPU time (s): 3592.03
# total CPU user time (s): 3590.99
# total CPU system time (s): 1.03924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89691 second user time and 15.6994 second system time
The end
Begin job on nodeC033 at 2024-07-15 21:24:34
IDJOB=4434659
IDBENCH=147523
IDSOLVER=3064
FILE ID=nodeC033/4434659-1721071462
RUNJOBID= nodeC033-1721064102-809919
SLURM_JOB_ID= 7505520
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.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-4434659-1721071462/watcher-4434659-1721071462 -o /tmp/evaluation-result-4434659-1721071462/solver-4434659-1721071462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809919 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434659-1721071462.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fd68547584ae9b6527d66061061fb773
RANDOM SEED=1269501642
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.850
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.868
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.206
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.961
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.878
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.317
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125845356 kB
MemAvailable: 128846872 kB
Buffers: 391028 kB
Cached: 3415768 kB
SwapCached: 0 kB
Active: 639544 kB
Inactive: 4380048 kB
Active(anon): 1564 kB
Inactive(anon): 1248940 kB
Active(file): 637980 kB
Inactive(file): 3131108 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28320 kB
Writeback: 20 kB
AnonPages: 1212252 kB
Mapped: 139044 kB
Shmem: 37716 kB
KReclaimable: 144152 kB
Slab: 254340 kB
SReclaimable: 144152 kB
SUnreclaim: 110188 kB
KernelStack: 4256 kB
PageTables: 11448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1167248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 620544 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: 256724 kB
DirectMap2M: 25731072 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-15 22:24:34