0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32493568, getVmSize() = 32493568, SCIPgetMemUsed() = 8852570, 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 = 24951466, getVmSize() = 42360832, SCIPgetMemUsed() = 10372831, 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-4463991-1722378595
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.08 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.45/10.50 c 10 2 1 1 1083.0000 1001.1163 8.18%
15.53/15.62 c 16 4 3 1 1083.0000 1001.5722 8.13%
21.82/21.93 c 22 6 5 1 1083.0000 1001.5722 8.13%
26.81/26.94 c 27 12 11 1 1083.0000 1001.5722 8.13%
27.31/27.44 c * 27 12 11 1 1064.0000 1001.5722 6.23%
33.00/33.17 c 33 25 24 1 1064.0000 1001.9265 6.20%
38.39/38.53 c 39 55 54 1 1064.0000 1001.9265 6.20%
38.78/38.97 c * 39 55 54 1 1062.0000 1001.9265 6.00%
38.78/38.98 c * 39 55 54 1 1055.0000 1001.9265 5.30%
38.78/38.98 c * 39 55 54 1 1054.0000 1001.9265 5.20%
38.89/39.01 c * 39 55 54 1 1053.0000 1001.9265 5.10%
38.89/39.03 c * 39 55 54 1 1052.0000 1001.9265 5.00%
38.99/39.11 c * 39 55 54 1 1051.0000 1001.9265 4.90%
44.27/44.47 c 44 151 76 1 1051.0000 1001.9387 4.90%
49.46/49.69 c 50 232 105 1 1051.0000 1002.5967 4.83%
54.96/55.13 c 55 258 121 1 1051.0000 1002.9223 4.79%
60.23/60.41 c 60 287 124 1 1051.0000 1003.4196 4.74%
65.63/65.87 c 66 303 128 1 1051.0000 1003.5029 4.73%
72.51/72.76 c 73 328 143 1 1051.0000 1003.5694 4.73%
80.19/80.42 c 80 375 154 1 1051.0000 1003.8704 4.69%
85.68/85.95 c 86 401 166 1 1051.0000 1003.9909 4.68%
91.16/91.40 c 91 502 173 1 1051.0000 1004.3035 4.65%
96.25/96.59 c 97 542 183 1 1051.0000 1004.3385 4.65%
101.04/101.35 c * 101 548 189 1 1050.0000 1004.3385 4.55%
101.54/101.83 c 102 632 185 1 1050.0000 1004.3937 4.54%
108.53/108.82 c 109 707 194 1 1050.0000 1004.4276 4.54%
116.71/117.01 c 117 747 206 1 1050.0000 1004.4407 4.54%
122.29/122.66 c 123 777 212 1 1050.0000 1004.5286 4.53%
129.17/129.50 c 130 886 227 1 1050.0000 1004.8923 4.49%
135.16/135.53 c 136 889 230 1 1050.0000 1004.8923 4.49%
135.76/136.18 c * 136 889 230 1 1049.0000 1004.8923 4.39%
141.54/141.93 c 142 1009 236 1 1049.0000 1004.9642 4.38%
149.42/149.83 c 150 1066 253 1 1049.0000 1004.9833 4.38%
155.01/155.41 c 155 1094 261 1 1049.0000 1005.0961 4.37%
162.89/163.31 c 163 1186 273 1 1049.0000 1005.1802 4.36%
168.29/168.77 c 169 1234 285 1 1049.0000 1005.2742 4.35%
174.37/174.82 c 175 1261 292 1 1049.0000 1005.3003 4.35%
180.85/181.39 c 181 1378 305 1 1049.0000 1005.3031 4.35%
188.82/189.38 c 189 1426 319 1 1049.0000 1005.6028 4.32%
194.81/195.30 c 195 1457 326 1 1049.0000 1005.6120 4.31%
201.00/201.50 c * 202 1487 332 1 1048.0000 1005.6184 4.21%
201.00/201.50 c 202 1487 332 1 1048.0000 1005.6184 4.21%
205.99/206.51 c 207 1510 339 1 1048.0000 1005.6870 4.21%
211.78/212.39 c 212 1565 342 1 1048.0000 1005.6970 4.21%
217.76/218.39 c 218 1675 342 1 1048.0000 1005.6970 4.21%
223.85/224.44 c 224 1744 343 1 1048.0000 1005.6970 4.21%
228.83/229.46 c 229 1764 343 1 1048.0000 1005.7102 4.20%
234.62/235.25 c 235 1797 350 1 1048.0000 1005.7102 4.20%
241.30/241.90 c 242 1827 354 1 1048.0000 1005.7121 4.20%
246.89/247.51 c 248 1897 380 1 1048.0000 1005.7121 4.20%
252.38/253.05 c 253 1922 389 1 1048.0000 1005.7393 4.20%
259.37/260.08 c 260 2005 388 1 1048.0000 1005.7569 4.20%
264.65/265.37 c 265 2009 392 1 1048.0000 1005.7569 4.20%
271.24/271.90 c 272 2054 397 1 1048.0000 1005.7749 4.20%
277.53/278.29 c 278 2104 405 1 1048.0000 1005.8195 4.19%
285.00/285.72 c 286 2167 414 1 1048.0000 1005.9686 4.18%
291.88/292.68 c 293 2227 416 1 1048.0000 1005.9686 4.18%
297.18/297.99 c 298 2242 423 1 1048.0000 1005.9865 4.18%
303.06/303.80 c 304 2286 431 1 1048.0000 1006.0179 4.17%
312.04/312.83 c 313 2332 431 1 1048.0000 1006.0382 4.17%
318.72/319.55 c 320 2357 444 1 1048.0000 1006.0436 4.17%
324.01/324.85 c 325 2385 450 1 1048.0000 1006.0646 4.17%
329.79/330.67 c 331 2445 460 1 1048.0000 1006.0692 4.17%
337.07/337.94 c 338 2462 465 1 1048.0000 1006.0827 4.17%
343.46/344.36 c 344 2535 476 1 1048.0000 1006.0848 4.17%
349.45/350.38 c 350 2635 482 1 1048.0000 1006.0848 4.17%
354.64/355.55 c 356 2654 489 1 1048.0000 1006.1126 4.16%
361.02/361.97 c 362 2726 493 1 1048.0000 1006.2267 4.15%
366.91/367.88 c 368 2758 503 1 1048.0000 1006.3133 4.14%
373.59/374.50 c 374 2788 511 1 1048.0000 1006.3524 4.14%
378.78/379.74 c 380 2827 518 1 1048.0000 1006.3542 4.14%
383.97/384.90 c 385 2853 522 1 1048.0000 1006.3912 4.13%
390.65/391.67 c 392 2957 526 1 1048.0000 1006.3912 4.13%
396.14/397.14 c 397 2997 534 1 1048.0000 1006.3982 4.13%
403.52/404.53 c 405 3019 544 1 1048.0000 1006.4389 4.13%
411.00/412.07 c 412 3105 546 1 1048.0000 1006.4987 4.12%
416.49/417.56 c 418 3202 551 1 1048.0000 1006.5566 4.12%
421.98/423.08 c 423 3209 558 1 1048.0000 1006.5566 4.12%
428.36/429.43 c 429 3244 565 1 1048.0000 1006.5596 4.12%
433.44/434.55 c 435 3324 569 1 1048.0000 1006.5596 4.12%
441.03/442.14 c 442 3375 570 1 1048.0000 1006.5814 4.11%
449.21/450.36 c 450 3433 576 1 1048.0000 1006.6758 4.11%
457.89/459.00 c 459 3486 589 1 1048.0000 1006.6773 4.10%
463.07/464.27 c 464 3578 589 1 1048.0000 1006.6773 4.10%
468.46/469.61 c 470 3624 591 1 1048.0000 1006.6773 4.10%
473.86/475.04 c 475 3742 591 1 1048.0000 1006.6847 4.10%
479.34/480.57 c 481 3754 599 1 1048.0000 1006.6847 4.10%
485.22/486.47 c 486 3794 601 1 1048.0000 1006.6871 4.10%
492.21/493.40 c 493 3823 608 1 1048.0000 1006.7888 4.09%
498.79/500.04 c 500 3844 617 1 1048.0000 1006.8299 4.09%
506.57/507.85 c 508 3863 624 1 1048.0000 1006.9040 4.08%
511.96/513.26 c 513 3935 630 1 1048.0000 1006.9040 4.08%
517.85/519.14 c 519 3963 632 1 1048.0000 1006.9811 4.07%
525.23/526.58 c 527 4015 642 1 1048.0000 1007.0407 4.07%
530.41/531.76 c 532 4092 645 1 1048.0000 1007.0565 4.07%
535.50/536.83 c 537 4112 655 1 1048.0000 1007.0789 4.06%
540.88/542.23 c 542 4152 661 1 1048.0000 1007.0789 4.06%
546.98/548.30 c 548 4220 663 1 1048.0000 1007.0789 4.06%
553.16/554.52 c 555 4247 666 1 1048.0000 1007.1199 4.06%
559.44/560.88 c 561 4265 672 1 1048.0000 1007.2520 4.05%
567.52/568.93 c 569 4333 678 1 1048.0000 1007.3015 4.04%
572.61/574.08 c 574 4364 685 1 1048.0000 1007.3015 4.04%
579.09/580.58 c 581 4396 699 1 1048.0000 1007.3200 4.04%
584.49/585.93 c 586 4427 712 1 1048.0000 1007.3285 4.04%
589.57/591.00 c 591 4455 716 1 1048.0000 1007.3649 4.03%
595.56/597.02 c 597 4492 721 1 1048.0000 1007.3768 4.03%
602.64/604.19 c 604 4536 733 1 1048.0000 1007.3807 4.03%
608.02/609.52 c 610 4586 741 1 1048.0000 1007.3923 4.03%
614.32/615.81 c 616 4635 746 1 1048.0000 1007.4107 4.03%
619.70/621.22 c 621 4753 752 1 1048.0000 1007.4107 4.03%
625.18/626.74 c 627 4771 760 1 1048.0000 1007.4599 4.02%
630.27/631.89 c 632 4805 764 1 1048.0000 1007.5845 4.01%
635.96/637.52 c 638 4950 771 1 1048.0000 1007.5845 4.01%
642.85/644.44 c 644 4995 772 1 1048.0000 1007.5907 4.01%
651.13/652.79 c 653 5066 783 1 1048.0000 1007.6166 4.01%
656.52/658.14 c 658 5194 793 1 1048.0000 1007.6166 4.01%
661.60/663.20 c 663 5342 789 1 1048.0000 1007.6166 4.01%
669.88/671.58 c 672 5426 791 1 1048.0000 1007.6254 4.01%
677.76/679.44 c 679 5493 794 1 1048.0000 1007.6284 4.01%
683.74/685.46 c 685 5513 802 1 1048.0000 1007.6495 4.00%
689.73/691.42 c 691 5534 809 1 1048.0000 1007.6722 4.00%
696.21/697.97 c 698 5566 819 1 1048.0000 1007.6874 4.00%
701.70/703.44 c 703 5658 827 1 1048.0000 1007.6874 4.00%
708.99/710.75 c 711 5734 831 1 1048.0000 1007.6905 4.00%
714.38/716.11 c 716 5808 835 1 1048.0000 1007.6905 4.00%
720.16/721.91 c 722 5839 844 1 1048.0000 1007.8205 3.99%
725.25/727.10 c 727 5950 847 1 1048.0000 1007.8205 3.99%
731.24/733.04 c 733 5985 852 1 1048.0000 1007.8222 3.99%
737.11/738.90 c 739 5999 860 1 1048.0000 1007.8600 3.98%
742.31/744.14 c 744 6015 864 1 1048.0000 1007.8677 3.98%
750.19/752.02 c 752 6083 870 1 1048.0000 1007.9078 3.98%
755.18/757.09 c 757 6118 877 1 1048.0000 1007.9078 3.98%
760.96/762.83 c 763 6148 883 1 1048.0000 1007.9149 3.98%
767.15/769.00 c 769 6184 887 1 1048.0000 1007.9268 3.98%
772.63/774.52 c 775 6250 891 1 1048.0000 1007.9268 3.98%
778.22/780.10 c 780 6365 886 1 1048.0000 1007.9268 3.98%
783.40/785.31 c 785 6487 886 1 1048.0000 1007.9268 3.98%
788.59/790.51 c 791 6556 889 1 1048.0000 1007.9300 3.98%
794.77/796.79 c 797 6635 896 1 1048.0000 1007.9408 3.97%
800.46/802.43 c 802 6685 906 1 1048.0000 1007.9987 3.97%
806.24/808.20 c 808 6734 909 1 1048.0000 1007.9987 3.97%
811.93/813.95 c 814 6785 916 1 1048.0000 1007.9990 3.97%
819.61/821.60 c 822 6832 921 1 1048.0000 1008.0209 3.97%
824.80/826.89 c 827 6853 930 1 1048.0000 1008.0570 3.96%
830.58/832.67 c 833 6922 937 1 1048.0000 1008.1154 3.96%
836.17/838.23 c 838 6953 946 1 1048.0000 1008.1154 3.96%
841.26/843.36 c 843 7104 949 1 1048.0000 1008.1154 3.96%
846.84/848.94 c 849 7194 953 1 1048.0000 1008.1614 3.95%
852.03/854.16 c 854 7243 968 1 1048.0000 1008.1827 3.95%
857.32/859.46 c 859 7313 970 1 1048.0000 1008.2021 3.95%
863.01/865.14 c 865 7363 976 1 1048.0000 1008.2436 3.94%
869.90/872.10 c 872 7463 982 1 1048.0000 1008.2956 3.94%
875.38/877.55 c 878 7497 998 1 1048.0000 1008.3048 3.94%
882.86/885.04 c 885 7612 1001 1 1048.0000 1008.3287 3.93%
889.04/891.24 c 891 7643 1008 1 1048.0000 1008.3496 3.93%
894.83/897.00 c 897 7692 1013 1 1048.0000 1008.3906 3.93%
900.31/902.58 c 903 7772 1019 1 1048.0000 1008.3906 3.93%
906.60/908.82 c 909 7882 1015 1 1048.0000 1008.4444 3.92%
913.28/915.53 c 916 7924 1025 1 1048.0000 1008.4707 3.92%
919.37/921.60 c 922 8022 1033 1 1048.0000 1008.4782 3.92%
926.35/928.69 c 929 8054 1043 1 1048.0000 1008.4813 3.92%
932.14/934.45 c 934 8113 1050 1 1048.0000 1008.4987 3.92%
939.32/941.69 c 942 8194 1059 1 1048.0000 1008.5332 3.91%
945.20/947.58 c 948 8236 1073 1 1048.0000 1008.5399 3.91%
950.89/953.28 c 953 8335 1076 1 1048.0000 1008.5440 3.91%
956.68/959.00 c 959 8382 1081 1 1048.0000 1008.5889 3.91%
963.95/966.33 c 966 8422 1089 1 1048.0000 1008.6469 3.90%
969.74/972.10 c 972 8459 1102 1 1048.0000 1008.6807 3.90%
977.42/979.85 c 980 8566 1107 1 1048.0000 1008.7072 3.90%
983.71/986.18 c 986 8672 1113 1 1048.0000 1008.7170 3.89%
988.99/991.45 c 991 8711 1122 1 1048.0000 1008.7170 3.89%
997.77/1000.20 c 1000 8804 1127 1 1048.0000 1008.7262 3.89%
1002.86/1005.38 c 1005 8970 1133 1 1048.0000 1008.7262 3.89%
1008.35/1010.80 c 1011 9073 1132 1 1048.0000 1008.7262 3.89%
1014.03/1016.50 c 1016 9141 1132 1 1048.0000 1008.7262 3.89%
1020.02/1022.58 c 1023 9222 1131 1 1048.0000 1008.7306 3.89%
1025.21/1027.76 c 1028 9228 1137 1 1048.0000 1008.7306 3.89%
1030.39/1032.92 c 1033 9368 1137 1 1048.0000 1008.7306 3.89%
1038.97/1041.56 c 1042 9482 1139 1 1048.0000 1008.7503 3.89%
1046.76/1049.37 c 1049 9502 1147 1 1048.0000 1008.7929 3.89%
1052.85/1055.49 c 1055 9598 1153 1 1048.0000 1008.7929 3.89%
1058.93/1061.55 c 1062 9692 1153 1 1048.0000 1008.8237 3.88%
1064.22/1066.84 c 1067 9791 1166 1 1048.0000 1008.8237 3.88%
1070.01/1072.66 c 1073 9817 1172 1 1048.0000 1008.8653 3.88%
1075.19/1077.90 c 1078 9955 1168 1 1048.0000 1008.8653 3.88%
1083.07/1085.76 c 1086 10095 1172 1 1048.0000 1008.9751 3.87%
1089.45/1092.19 c 1092 10118 1183 1 1048.0000 1008.9776 3.87%
1095.44/1098.10 c 1098 10206 1187 1 1048.0000 1008.9776 3.87%
1100.91/1103.64 c 1104 10218 1193 1 1048.0000 1009.0128 3.86%
1106.10/1108.89 c 1109 10245 1200 1 1048.0000 1009.0190 3.86%
1111.49/1114.27 c 1114 10260 1205 1 1048.0000 1009.0190 3.86%
1116.67/1119.49 c 1119 10277 1208 1 1048.0000 1009.0207 3.86%
1121.95/1124.79 c 1125 10362 1213 1 1048.0000 1009.0207 3.86%
1127.24/1130.09 c 1130 10461 1214 1 1048.0000 1009.0207 3.86%
1133.33/1136.19 c 1136 10478 1219 1 1048.0000 1009.0715 3.86%
1140.31/1143.15 c 1143 10533 1222 1 1048.0000 1009.0783 3.86%
1146.88/1149.72 c 1150 10554 1233 1 1048.0000 1009.0854 3.86%
1151.97/1154.84 c 1155 10589 1244 1 1048.0000 1009.1314 3.85%
1157.55/1160.45 c 1160 10665 1246 1 1048.0000 1009.2121 3.84%
1162.44/1165.31 c * 1165 10665 1246 1 1046.0000 1009.2121 3.65%
1162.94/1165.85 c 1166 10682 1246 1 1046.0000 1009.2544 3.64%
1168.72/1171.63 c 1172 10733 1257 1 1046.0000 1009.2544 3.64%
1174.80/1177.79 c 1178 10846 1262 1 1046.0000 1009.2544 3.64%
1179.98/1182.93 c 1183 10887 1271 1 1046.0000 1009.2554 3.64%
1185.46/1188.43 c 1188 11058 1274 1 1046.0000 1009.2554 3.64%
1191.16/1194.10 c 1194 11118 1278 1 1046.0000 1009.3010 3.64%
1196.44/1199.46 c 1199 11159 1287 1 1046.0000 1009.3262 3.63%
1202.32/1205.33 c 1205 11193 1303 1 1046.0000 1009.3406 3.63%
1208.30/1211.33 c 1211 11263 1317 1 1046.0000 1009.3747 3.63%
1213.79/1216.85 c 1217 11336 1326 1 1046.0000 1009.3844 3.63%
1220.97/1224.08 c 1224 11362 1334 1 1046.0000 1009.3921 3.63%
1226.54/1229.67 c 1230 11415 1353 1 1046.0000 1009.3996 3.63%
1232.53/1235.66 c 1236 11465 1359 1 1046.0000 1009.4314 3.62%
1238.02/1241.18 c 1241 11531 1367 1 1046.0000 1009.4890 3.62%
1244.69/1247.86 c 1248 11595 1371 1 1046.0000 1009.4905 3.62%
1249.78/1253.00 c 1253 11634 1376 1 1046.0000 1009.5045 3.62%
1255.16/1258.36 c 1258 11674 1382 1 1046.0000 1009.5197 3.61%
1260.95/1264.11 c 1264 11734 1390 1 1046.0000 1009.5571 3.61%
1269.42/1272.69 c 1273 11779 1403 1 1046.0000 1009.5746 3.61%
1275.00/1278.22 c 1278 11816 1412 1 1046.0000 1009.5921 3.61%
1280.09/1283.37 c 1283 11852 1418 1 1046.0000 1009.6584 3.60%
1287.07/1290.32 c 1290 11876 1430 1 1046.0000 1009.6650 3.60%
1294.94/1298.26 c 1298 12023 1433 1 1046.0000 1009.7231 3.59%
1300.84/1304.18 c 1304 12069 1443 1 1046.0000 1009.7294 3.59%
1308.01/1311.38 c 1311 12203 1445 1 1046.0000 1009.7619 3.59%
1314.99/1318.31 c 1318 12284 1450 1 1046.0000 1009.7878 3.59%
1320.38/1323.71 c 1324 12393 1457 1 1046.0000 1009.7878 3.59%
1326.36/1329.70 c 1330 12504 1458 1 1046.0000 1009.7958 3.59%
1334.15/1337.54 c 1338 12622 1470 1 1046.0000 1009.8131 3.58%
1339.23/1342.65 c 1343 12790 1478 1 1046.0000 1009.8131 3.58%
1345.52/1348.97 c 1349 12894 1486 1 1046.0000 1009.8314 3.58%
1351.01/1354.41 c 1354 12945 1501 1 1046.0000 1009.8348 3.58%
1356.49/1359.95 c 1360 13005 1507 1 1046.0000 1009.8358 3.58%
1362.48/1365.98 c 1366 13096 1516 1 1046.0000 1009.8569 3.58%
1370.06/1373.55 c 1374 13122 1524 1 1046.0000 1009.9209 3.57%
1375.84/1379.36 c 1379 13172 1532 1 1046.0000 1009.9937 3.56%
1381.54/1385.07 c 1385 13200 1540 1 1046.0000 1009.9937 3.56%
1387.02/1390.56 c 1391 13224 1550 1 1046.0000 1010.0168 3.56%
1392.90/1396.48 c 1396 13323 1549 1 1046.0000 1010.0168 3.56%
1398.19/1401.79 c 1402 13390 1548 1 1046.0000 1010.0168 3.56%
1403.28/1406.87 c 1407 13416 1552 1 1046.0000 1010.0506 3.56%
1410.06/1413.67 c 1414 13447 1561 1 1046.0000 1010.0660 3.56%
1415.25/1418.85 c 1419 13554 1562 1 1046.0000 1010.0660 3.56%
1421.74/1425.35 c 1425 13642 1560 1 1046.0000 1010.0805 3.56%
1427.32/1430.91 c 1431 13727 1565 1 1046.0000 1010.0805 3.56%
1432.81/1436.47 c 1436 13841 1573 1 1046.0000 1010.0805 3.56%
1438.59/1442.26 c 1442 13959 1571 1 1046.0000 1010.0805 3.56%
1444.48/1448.15 c 1448 14074 1576 1 1046.0000 1010.0805 3.56%
1451.76/1455.49 c 1455 14133 1575 1 1046.0000 1010.0997 3.55%
1457.84/1461.57 c 1462 14173 1581 1 1046.0000 1010.1048 3.55%
1464.04/1467.78 c 1468 14250 1588 1 1046.0000 1010.1048 3.55%
1469.92/1473.63 c 1474 14328 1588 1 1046.0000 1010.1048 3.55%
1475.21/1478.99 c 1479 14369 1593 1 1046.0000 1010.1140 3.55%
1480.89/1484.66 c 1485 14515 1591 1 1046.0000 1010.1140 3.55%
1486.48/1490.25 c 1490 14586 1598 1 1046.0000 1010.1566 3.55%
1491.67/1495.47 c 1495 14710 1604 1 1046.0000 1010.1566 3.55%
1497.36/1501.18 c 1501 14793 1601 1 1046.0000 1010.1566 3.55%
1503.24/1507.08 c 1507 14833 1601 1 1046.0000 1010.1763 3.55%
1510.12/1513.90 c 1514 14902 1612 1 1046.0000 1010.1927 3.54%
1516.41/1520.21 c 1520 14944 1624 1 1046.0000 1010.1997 3.54%
1521.59/1525.46 c 1525 15035 1631 1 1046.0000 1010.1997 3.54%
1527.18/1531.01 c 1531 15132 1630 1 1046.0000 1010.1997 3.54%
1532.77/1536.68 c 1537 15162 1638 1 1046.0000 1010.2101 3.54%
1538.76/1542.69 c 1543 15216 1646 1 1046.0000 1010.2101 3.54%
1543.94/1547.85 c 1548 15244 1646 1 1046.0000 1010.2421 3.54%
1549.63/1553.58 c 1554 15362 1648 1 1046.0000 1010.2659 3.54%
1554.92/1558.87 c 1559 15400 1656 1 1046.0000 1010.2659 3.54%
1561.40/1565.32 c 1565 15485 1663 1 1046.0000 1010.2798 3.54%
1566.88/1570.85 c 1571 15531 1673 1 1046.0000 1010.2951 3.53%
1574.57/1578.59 c 1579 15549 1679 1 1046.0000 1010.3144 3.53%
1581.36/1585.31 c 1585 15590 1686 1 1046.0000 1010.3449 3.53%
1586.54/1590.57 c 1591 15665 1689 1 1046.0000 1010.3625 3.53%
1591.83/1595.82 c 1596 15807 1695 1 1046.0000 1010.3625 3.53%
1597.32/1601.33 c 1601 15862 1700 1 1046.0000 1010.4276 3.52%
1605.50/1609.53 c 1610 15912 1708 1 1046.0000 1010.4387 3.52%
1610.58/1614.65 c 1615 16034 1718 1 1046.0000 1010.4387 3.52%
1615.97/1620.07 c 1620 16062 1724 1 1046.0000 1010.4823 3.51%
1621.95/1626.09 c 1626 16093 1729 1 1046.0000 1010.4926 3.51%
1627.64/1631.74 c 1632 16222 1740 1 1046.0000 1010.4926 3.51%
1635.52/1639.64 c 1640 16263 1749 1 1046.0000 1010.5637 3.51%
1641.01/1645.17 c 1645 16298 1762 1 1046.0000 1010.6150 3.50%
1646.20/1650.31 c 1650 16328 1768 1 1046.0000 1010.6283 3.50%
1653.99/1658.11 c 1658 16472 1774 1 1046.0000 1010.6934 3.49%
1660.37/1664.57 c 1665 16544 1784 1 1046.0000 1010.7150 3.49%
1666.45/1670.60 c 1671 16579 1797 1 1046.0000 1010.7337 3.49%
1671.73/1675.96 c 1676 16662 1796 1 1046.0000 1010.8188 3.48%
1676.92/1681.16 c 1681 16693 1807 1 1046.0000 1010.8188 3.48%
1683.09/1687.37 c 1687 16718 1814 1 1046.0000 1010.8353 3.48%
1691.57/1695.86 c 1696 16782 1818 1 1046.0000 1010.8453 3.48%
1697.65/1701.97 c 1702 16810 1826 1 1046.0000 1010.8453 3.48%
1703.34/1707.67 c 1708 16899 1831 1 1046.0000 1010.8783 3.47%
1708.82/1713.14 c 1713 16929 1839 1 1046.0000 1010.8841 3.47%
1714.60/1718.95 c 1719 17048 1840 1 1046.0000 1010.8841 3.47%
1720.69/1725.10 c 1725 17138 1838 1 1046.0000 1010.8841 3.47%
1726.47/1730.89 c 1731 17172 1844 1 1046.0000 1010.9185 3.47%
1732.25/1736.61 c 1737 17212 1854 1 1046.0000 1010.9185 3.47%
1738.34/1742.79 c 1743 17242 1852 1 1046.0000 1010.9261 3.47%
1746.21/1750.67 c 1751 17324 1862 1 1046.0000 1010.9310 3.47%
1751.49/1755.96 c 1756 17450 1866 1 1046.0000 1010.9310 3.47%
1756.69/1761.17 c 1761 17586 1870 1 1046.0000 1010.9310 3.47%
1761.77/1766.27 c 1766 17628 1878 1 1046.0000 1010.9521 3.47%
1767.26/1771.72 c 1772 17659 1883 1 1046.0000 1010.9704 3.46%
1772.84/1777.33 c 1777 17714 1888 1 1046.0000 1010.9937 3.46%
1777.83/1782.38 c 1782 17782 1892 1 1046.0000 1011.0142 3.46%
1786.11/1790.67 c 1791 17832 1898 1 1046.0000 1011.0214 3.46%
1791.70/1796.26 c 1796 17922 1916 1 1046.0000 1011.0567 3.46%
1797.09/1801.63 c 1802 17952 1924 1 1046.0000 1011.0567 3.46%
1802.37/1806.93 c 1807 17988 1930 1 1046.0000 1011.0618 3.46%
1807.57/1812.14 c 1812 18004 1936 1 1046.0000 1011.0641 3.46%
1813.25/1817.82 c 1818 18041 1941 1 1046.0000 1011.0641 3.46%
1818.93/1823.58 c 1824 18154 1940 1 1046.0000 1011.0641 3.46%
1824.33/1828.94 c 1829 18232 1940 1 1046.0000 1011.0773 3.45%
1829.61/1834.22 c 1834 18253 1949 1 1046.0000 1011.0773 3.45%
1834.70/1839.31 c 1839 18302 1950 1 1046.0000 1011.1793 3.44%
1842.77/1847.40 c 1847 18384 1958 1 1046.0000 1011.1872 3.44%
1850.06/1854.76 c 1855 18462 1966 1 1046.0000 1011.2000 3.44%
1855.54/1860.21 c 1860 18556 1974 1 1046.0000 1011.2000 3.44%
1863.73/1868.40 c 1868 18569 1981 1 1046.0000 1011.2054 3.44%
1868.72/1873.43 c 1873 18613 1983 1 1046.0000 1011.2225 3.44%
1874.90/1879.60 c 1880 18639 1997 1 1046.0000 1011.2473 3.44%
1880.29/1885.09 c 1885 18682 2004 1 1046.0000 1011.2664 3.43%
1885.38/1890.16 c 1890 18732 2010 1 1046.0000 1011.2664 3.43%
1890.97/1895.70 c 1896 18831 2009 1 1046.0000 1011.2664 3.43%
1896.46/1901.20 c 1901 18858 2018 1 1046.0000 1011.3159 3.43%
1903.74/1908.58 c 1909 18925 2019 1 1046.0000 1011.3168 3.43%
1909.02/1913.80 c 1914 18995 2027 1 1046.0000 1011.3456 3.43%
1915.61/1920.41 c 1920 19052 2032 1 1046.0000 1011.3718 3.42%
1920.90/1925.78 c 1926 19168 2036 1 1046.0000 1011.3718 3.42%
1926.48/1931.37 c 1931 19212 2044 1 1046.0000 1011.3788 3.42%
1932.36/1937.21 c 1937 19284 2050 1 1046.0000 1011.3788 3.42%
1937.54/1942.45 c 1942 19401 2051 1 1046.0000 1011.3788 3.42%
1943.53/1948.45 c 1948 19464 2054 1 1046.0000 1011.3938 3.42%
1950.70/1955.67 c 1956 19523 2067 1 1046.0000 1011.3954 3.42%
1957.68/1962.69 c 1963 19565 2077 1 1046.0000 1011.4141 3.42%
1963.96/1968.91 c 1969 19633 2081 1 1046.0000 1011.4483 3.42%
1969.45/1974.42 c 1974 19675 2091 1 1046.0000 1011.4483 3.42%
1976.64/1981.64 c 1982 19724 2092 1 1046.0000 1011.4584 3.42%
1982.22/1987.27 c 1987 19742 2098 1 1046.0000 1011.4777 3.41%
1988.00/1993.00 c 1993 19782 2106 1 1046.0000 1011.5410 3.41%
1994.88/1999.93 c 2000 19789 2113 1 1046.0000 1011.5410 3.41%
2000.46/2005.56 c 2006 19854 2114 1 1046.0000 1011.5410 3.41%
2006.14/2011.22 c 2011 19887 2119 1 1046.0000 1011.5477 3.41%
2012.13/2017.23 c 2017 19909 2129 1 1046.0000 1011.5635 3.40%
2019.02/2024.16 c 2024 19975 2131 1 1046.0000 1011.5936 3.40%
2024.40/2029.56 c 2030 20058 2142 1 1046.0000 1011.6139 3.40%
2030.58/2035.74 c 2036 20112 2142 1 1046.0000 1011.6459 3.40%
2036.16/2041.32 c 2041 20135 2153 1 1046.0000 1011.6521 3.40%
2043.54/2048.73 c 2049 20203 2159 1 1046.0000 1011.6559 3.39%
2048.83/2054.05 c 2054 20292 2166 1 1046.0000 1011.6559 3.39%
2056.10/2061.39 c 2061 20413 2163 1 1046.0000 1011.6919 3.39%
2061.89/2067.18 c 2067 20449 2177 1 1046.0000 1011.7161 3.39%
2066.97/2072.28 c 2072 20550 2188 1 1046.0000 1011.7398 3.39%
2072.36/2077.62 c 2078 20587 2199 1 1046.0000 1011.7411 3.39%
2078.24/2083.57 c 2084 20622 2208 1 1046.0000 1011.8329 3.38%
2084.62/2089.96 c 2090 20682 2216 1 1046.0000 1011.8329 3.38%
2090.20/2095.53 c 2096 20697 2221 1 1046.0000 1011.8346 3.38%
2095.49/2100.81 c 2101 20794 2226 1 1046.0000 1011.8346 3.38%
2101.07/2106.41 c 2106 20850 2230 1 1046.0000 1011.8356 3.38%
2107.06/2112.43 c 2112 20872 2240 1 1046.0000 1011.8704 3.37%
2112.84/2118.23 c 2118 20923 2241 1 1046.0000 1011.8812 3.37%
2118.72/2124.14 c 2124 20947 2249 1 1046.0000 1011.8812 3.37%
2123.80/2129.22 c 2129 20991 2251 1 1046.0000 1011.8812 3.37%
2130.39/2135.82 c 2136 21015 2257 1 1046.0000 1011.9098 3.37%
2135.47/2140.92 c 2141 21027 2257 1 1046.0000 1011.9098 3.37%
2142.15/2147.68 c 2148 21082 2260 1 1046.0000 1011.9228 3.37%
2147.23/2152.79 c 2153 21132 2266 1 1046.0000 1011.9371 3.37%
2152.82/2158.38 c 2158 21154 2274 1 1046.0000 1011.9371 3.37%
2158.30/2163.87 c 2164 21251 2275 1 1046.0000 1011.9371 3.37%
2164.89/2170.44 c 2170 21302 2274 1 1046.0000 1011.9647 3.36%
2170.17/2175.75 c 2176 21346 2282 1 1046.0000 1011.9647 3.36%
2177.65/2183.23 c 2183 21442 2282 1 1046.0000 1011.9824 3.36%
2183.63/2189.20 c 2189 21522 2290 1 1046.0000 1011.9824 3.36%
2189.11/2194.73 c 2195 21549 2295 1 1046.0000 1011.9964 3.36%
2194.29/2199.93 c 2200 21592 2296 1 1046.0000 1011.9964 3.36%
2199.78/2205.40 c 2205 21658 2300 1 1046.0000 1011.9964 3.36%
2205.56/2211.29 c 2211 21769 2305 1 1046.0000 1011.9964 3.36%
2211.35/2217.09 c 2217 21802 2316 1 1046.0000 1012.0042 3.36%
2217.23/2222.99 c 2223 21889 2317 1 1046.0000 1012.0042 3.36%
2223.52/2229.27 c 2229 21921 2323 1 1046.0000 1012.0092 3.36%
2229.91/2235.61 c * 2236 21947 2323 1 1043.0000 1012.0092 3.06%
2229.91/2235.61 c 2236 21947 2323 1 1043.0000 1012.0092 3.06%
2235.00/2240.76 c 2241 21998 2311 1 1043.0000 1012.0179 3.06%
2241.68/2247.40 c 2247 22076 2311 1 1043.0000 1012.0260 3.06%
2246.96/2252.79 c 2253 22122 2311 1 1043.0000 1012.0302 3.06%
2252.85/2258.69 c 2259 22212 2315 1 1043.0000 1012.0322 3.06%
2258.03/2263.87 c 2264 22241 2324 1 1043.0000 1012.0322 3.06%
2263.22/2269.08 c 2269 22267 2328 1 1043.0000 1012.0329 3.06%
2269.20/2275.09 c 2275 22307 2340 1 1043.0000 1012.0477 3.06%
2275.28/2281.16 c 2281 22359 2346 1 1043.0000 1012.0786 3.06%
2281.07/2286.94 c 2287 22414 2349 1 1043.0000 1012.0873 3.05%
2286.35/2292.20 c 2292 22502 2361 1 1043.0000 1012.0873 3.05%
2291.54/2297.45 c 2297 22622 2369 1 1043.0000 1012.0873 3.05%
2299.22/2305.17 c 2305 22753 2370 1 1043.0000 1012.0951 3.05%
2304.90/2310.81 c 2311 22784 2377 1 1043.0000 1012.0951 3.05%
2310.09/2316.06 c 2316 22920 2381 1 1043.0000 1012.0951 3.05%
2315.27/2321.26 c 2321 22949 2386 1 1043.0000 1012.1115 3.05%
2322.94/2328.94 c 2329 23074 2391 1 1043.0000 1012.1298 3.05%
2328.03/2334.07 c 2334 23192 2399 1 1043.0000 1012.1339 3.05%
2334.01/2340.09 c 2340 23204 2405 1 1043.0000 1012.1339 3.05%
2339.69/2345.73 c 2346 23244 2405 1 1043.0000 1012.1380 3.05%
2346.77/2352.83 c 2353 23304 2415 1 1043.0000 1012.1476 3.05%
2352.35/2358.41 c 2358 23354 2425 1 1043.0000 1012.1593 3.05%
2357.85/2363.91 c 2364 23422 2431 1 1043.0000 1012.1593 3.05%
2363.43/2369.51 c 2370 23546 2429 1 1043.0000 1012.1593 3.05%
2369.02/2375.18 c 2375 23613 2436 1 1043.0000 1012.1720 3.05%
2375.39/2381.57 c 2382 23693 2438 1 1043.0000 1012.2717 3.04%
2380.58/2386.76 c 2387 23725 2448 1 1043.0000 1012.2867 3.03%
2386.16/2392.39 c 2392 23749 2458 1 1043.0000 1012.3059 3.03%
2391.74/2397.99 c 2398 23803 2462 1 1043.0000 1012.3229 3.03%
2397.93/2404.14 c 2404 23829 2476 1 1043.0000 1012.3563 3.03%
2403.51/2409.76 c 2410 23863 2486 1 1043.0000 1012.3623 3.03%
2409.39/2415.67 c 2416 23923 2490 1 1043.0000 1012.3738 3.03%
2417.57/2423.82 c 2424 24002 2497 1 1043.0000 1012.4336 3.02%
2422.65/2428.98 c 2429 24029 2510 1 1043.0000 1012.4343 3.02%
2431.33/2437.67 c 2438 24059 2518 1 1043.0000 1012.4351 3.02%
2437.31/2443.67 c 2444 24089 2528 1 1043.0000 1012.4498 3.02%
2442.80/2449.17 c 2449 24118 2535 1 1043.0000 1012.4498 3.02%
2450.68/2457.07 c 2457 24193 2538 1 1043.0000 1012.4777 3.01%
2455.76/2462.12 c 2462 24262 2543 1 1043.0000 1012.5099 3.01%
2460.94/2467.37 c 2467 24281 2550 1 1043.0000 1012.5099 3.01%
2467.02/2473.43 c 2473 24359 2558 1 1043.0000 1012.5158 3.01%
2472.81/2479.28 c 2479 24417 2558 1 1043.0000 1012.5158 3.01%
2478.49/2484.92 c 2485 24464 2561 1 1043.0000 1012.5197 3.01%
2483.88/2490.37 c 2490 24510 2569 1 1043.0000 1012.5455 3.01%
2489.06/2495.57 c 2496 24632 2573 1 1043.0000 1012.5455 3.01%
2497.44/2503.93 c 2504 24762 2581 1 1043.0000 1012.5487 3.01%
2504.52/2511.05 c 2511 24864 2589 1 1043.0000 1012.5694 3.01%
2510.20/2516.72 c 2517 24905 2600 1 1043.0000 1012.6121 3.00%
2515.39/2521.92 c 2522 25027 2606 1 1043.0000 1012.6121 3.00%
2521.27/2527.80 c 2528 25080 2613 1 1043.0000 1012.6355 3.00%
2526.56/2533.12 c 2533 25121 2622 1 1043.0000 1012.6439 3.00%
2532.14/2538.75 c 2539 25236 2629 1 1043.0000 1012.6459 3.00%
2537.62/2544.20 c 2544 25332 2641 1 1043.0000 1012.6600 3.00%
2543.00/2549.65 c 2550 25365 2646 1 1043.0000 1012.6743 2.99%
2548.78/2555.42 c 2555 25446 2649 1 1043.0000 1012.6743 2.99%
2554.27/2560.96 c 2561 25569 2650 1 1043.0000 1012.6743 2.99%
2560.05/2566.74 c 2567 25589 2658 1 1043.0000 1012.6885 2.99%
2565.83/2572.51 c 2573 25669 2656 1 1043.0000 1012.6885 2.99%
2570.92/2577.65 c 2578 25822 2653 1 1043.0000 1012.6885 2.99%
2576.00/2582.76 c 2583 25958 2651 1 1043.0000 1012.6885 2.99%
2581.69/2588.40 c 2588 25990 2659 1 1043.0000 1012.7080 2.99%
2591.76/2598.51 c 2599 26019 2666 1 1043.0000 1012.7108 2.99%
2597.84/2604.62 c 2605 26088 2673 1 1043.0000 1012.7212 2.99%
2603.13/2609.97 c 2610 26154 2677 1 1043.0000 1012.7260 2.99%
2609.52/2616.37 c 2616 26213 2682 1 1043.0000 1012.7286 2.99%
2614.90/2621.75 c 2622 26242 2691 1 1043.0000 1012.7435 2.99%
2620.29/2627.14 c 2627 26369 2700 1 1043.0000 1012.7435 2.99%
2626.07/2632.90 c 2633 26419 2708 1 1043.0000 1012.7684 2.99%
2634.04/2640.99 c 2641 26462 2717 1 1043.0000 1012.8664 2.98%
2640.02/2646.98 c 2647 26512 2725 1 1043.0000 1012.8822 2.97%
2645.51/2652.43 c 2652 26592 2733 1 1043.0000 1012.8822 2.97%
2650.99/2657.98 c 2658 26637 2736 1 1043.0000 1012.8827 2.97%
2656.87/2663.87 c 2664 26667 2744 1 1043.0000 1012.8982 2.97%
2662.16/2669.15 c 2669 26785 2754 1 1043.0000 1012.8982 2.97%
2668.94/2675.94 c 2676 26833 2756 1 1043.0000 1012.9041 2.97%
2674.82/2681.87 c 2682 26858 2769 1 1043.0000 1012.9483 2.97%
2680.02/2687.05 c 2687 26902 2771 1 1043.0000 1012.9510 2.97%
2685.79/2692.84 c 2693 26927 2784 1 1043.0000 1012.9524 2.97%
2693.77/2700.89 c 2701 26993 2790 1 1043.0000 1012.9698 2.96%
2702.05/2709.14 c 2709 27042 2797 1 1043.0000 1012.9699 2.96%
2707.13/2714.23 c 2714 27067 2800 1 1043.0000 1012.9699 2.96%
2712.51/2719.63 c 2720 27089 2808 1 1043.0000 1012.9769 2.96%
2719.90/2727.03 c 2727 27154 2809 1 1043.0000 1013.0023 2.96%
2725.28/2732.48 c 2732 27236 2813 1 1043.0000 1013.0023 2.96%
2731.06/2738.22 c 2738 27326 2815 1 1043.0000 1013.0023 2.96%
2736.35/2743.52 c 2744 27383 2820 1 1043.0000 1013.0232 2.96%
2742.93/2750.19 c 2750 27432 2827 1 1043.0000 1013.0380 2.96%
2748.71/2755.95 c 2756 27526 2835 1 1043.0000 1013.0380 2.96%
2754.30/2761.59 c 2762 27630 2835 1 1043.0000 1013.0380 2.96%
2759.48/2766.75 c 2767 27698 2839 1 1043.0000 1013.0380 2.96%
2765.36/2772.61 c 2773 27782 2835 1 1043.0000 1013.0422 2.96%
2771.44/2778.78 c 2779 27822 2843 1 1043.0000 1013.0422 2.96%
2777.63/2784.93 c 2785 27882 2845 1 1043.0000 1013.0503 2.96%
2785.50/2792.84 c 2793 27902 2851 1 1043.0000 1013.0663 2.95%
2792.39/2799.73 c 2800 27953 2862 1 1043.0000 1013.0713 2.95%
2797.68/2805.04 c 2805 28019 2868 1 1043.0000 1013.0713 2.95%
2802.86/2810.23 c 2810 28076 2869 1 1043.0000 1013.0713 2.95%
2808.44/2815.83 c 2816 28167 2868 1 1043.0000 1013.0713 2.95%
2813.73/2821.17 c 2821 28203 2868 1 1043.0000 1013.0785 2.95%
2819.92/2827.36 c 2827 28252 2875 1 1043.0000 1013.1161 2.95%
2824.90/2832.39 c 2832 28284 2885 1 1043.0000 1013.1260 2.95%
2830.59/2838.10 c 2838 28347 2892 1 1043.0000 1013.1260 2.95%
2836.77/2844.20 c 2844 28402 2891 1 1043.0000 1013.1302 2.95%
2842.16/2849.62 c 2850 28492 2897 1 1043.0000 1013.1465 2.95%
2847.16/2854.68 c 2855 28508 2905 1 1043.0000 1013.1465 2.95%
2852.94/2860.40 c 2860 28553 2904 1 1043.0000 1013.1608 2.95%
2858.63/2866.17 c 2866 28606 2917 1 1043.0000 1013.1630 2.94%
2864.02/2871.51 c 2872 28712 2923 1 1043.0000 1013.1630 2.94%
2870.00/2877.55 c 2878 28814 2921 1 1043.0000 1013.1630 2.94%
2875.79/2883.32 c 2883 28887 2924 1 1043.0000 1013.1630 2.94%
2881.67/2889.28 c 2889 29004 2923 1 1043.0000 1013.1630 2.94%
2886.96/2894.55 c 2895 29104 2921 1 1043.0000 1013.1630 2.94%
2893.84/2901.44 c 2901 29155 2924 1 1043.0000 1013.1641 2.94%
2900.53/2908.18 c 2908 29192 2927 1 1043.0000 1013.1937 2.94%
2906.61/2914.23 c 2914 29262 2939 1 1043.0000 1013.1937 2.94%
2913.00/2920.66 c 2921 29312 2939 1 1043.0000 1013.2202 2.94%
2918.68/2926.34 c 2926 29375 2946 1 1043.0000 1013.2202 2.94%
2924.87/2932.57 c 2933 29434 2955 1 1043.0000 1013.2395 2.94%
2930.36/2938.00 c 2938 29459 2960 1 1043.0000 1013.2526 2.94%
2936.04/2943.71 c 2944 29508 2963 1 1043.0000 1013.2526 2.94%
2941.03/2948.75 c 2949 29532 2961 1 1043.0000 1013.2602 2.94%
2947.71/2955.47 c 2955 29572 2969 1 1043.0000 1013.2659 2.93%
2955.49/2963.27 c 2963 29622 2977 1 1043.0000 1013.2928 2.93%
2960.68/2968.47 c 2968 29629 2984 1 1043.0000 1013.2928 2.93%
2966.58/2974.37 c 2974 29649 2992 1 1043.0000 1013.3031 2.93%
2972.16/2979.96 c 2980 29695 2992 1 1043.0000 1013.3031 2.93%
2977.95/2985.75 c 2986 29728 3003 1 1043.0000 1013.3056 2.93%
2983.43/2991.27 c 2991 29789 3004 1 1043.0000 1013.3056 2.93%
2989.62/2997.49 c 2997 29821 3010 1 1043.0000 1013.3189 2.93%
2994.80/3002.63 c 3003 29854 3019 1 1043.0000 1013.3272 2.93%
3000.39/3008.22 c 3008 29912 3025 1 1043.0000 1013.3272 2.93%
3006.47/3014.33 c 3014 29949 3032 1 1043.0000 1013.3378 2.93%
3012.06/3019.93 c 3020 29981 3044 1 1043.0000 1013.3418 2.93%
3019.24/3027.14 c 3027 30053 3042 1 1043.0000 1013.3595 2.92%
3026.52/3034.48 c 3034 30122 3049 1 1043.0000 1013.3643 2.92%
3032.51/3040.48 c 3040 30194 3055 1 1043.0000 1013.3643 2.92%
3038.00/3045.93 c 3046 30272 3065 1 1043.0000 1013.3691 2.92%
3043.19/3051.15 c 3051 30316 3073 1 1043.0000 1013.3691 2.92%
3048.47/3056.49 c 3056 30406 3073 1 1043.0000 1013.3691 2.92%
3054.95/3062.90 c 3063 30484 3073 1 1043.0000 1013.4096 2.92%
3060.34/3068.31 c 3068 30563 3076 1 1043.0000 1013.4096 2.92%
3066.33/3074.31 c 3074 30589 3084 1 1043.0000 1013.4347 2.92%
3073.62/3081.64 c 3082 30642 3085 1 1043.0000 1013.4392 2.92%
3079.01/3087.07 c 3087 30662 3093 1 1043.0000 1013.4410 2.92%
3084.89/3092.96 c 3093 30741 3100 1 1043.0000 1013.4410 2.92%
3089.98/3098.09 c 3098 30844 3101 1 1043.0000 1013.4410 2.92%
3095.56/3103.69 c 3104 30882 3099 1 1043.0000 1013.4412 2.92%
3100.85/3108.93 c 3109 30974 3109 1 1043.0000 1013.4412 2.92%
3106.34/3114.45 c 3114 31009 3114 1 1043.0000 1013.4422 2.92%
3111.62/3119.77 c 3120 31120 3115 1 1043.0000 1013.4422 2.92%
3117.61/3125.74 c 3126 31215 3126 1 1043.0000 1013.4580 2.91%
3122.79/3130.92 c 3131 31272 3125 1 1043.0000 1013.4697 2.91%
3127.99/3136.16 c 3136 31295 3134 1 1043.0000 1013.4697 2.91%
3133.17/3141.37 c 3141 31434 3135 1 1043.0000 1013.4697 2.91%
3140.65/3148.88 c 3149 31542 3141 1 1043.0000 1013.4779 2.91%
3146.84/3155.02 c 3155 31569 3158 1 1043.0000 1013.4899 2.91%
3152.52/3160.73 c 3161 31629 3164 1 1043.0000 1013.5034 2.91%
3157.61/3165.89 c 3166 31767 3168 1 1043.0000 1013.5034 2.91%
3163.31/3171.52 c 3172 31813 3176 1 1043.0000 1013.5043 2.91%
3168.59/3176.82 c 3177 31848 3181 1 1043.0000 1013.5064 2.91%
3174.18/3182.47 c 3182 31896 3191 1 1043.0000 1013.5109 2.91%
3180.06/3188.39 c 3188 31948 3195 1 1043.0000 1013.5171 2.91%
3185.55/3193.88 c 3194 31994 3199 1 1043.0000 1013.5315 2.91%
3191.84/3200.13 c 3200 32034 3209 1 1043.0000 1013.5662 2.90%
3197.13/3205.46 c 3205 32065 3216 1 1043.0000 1013.5839 2.90%
3203.31/3211.63 c 3212 32122 3219 1 1043.0000 1013.6248 2.90%
3209.00/3217.30 c 3217 32153 3228 1 1043.0000 1013.6503 2.90%
3214.19/3222.50 c 3222 32278 3233 1 1043.0000 1013.6503 2.90%
3219.17/3227.56 c 3228 32307 3242 1 1043.0000 1013.6524 2.90%
3225.16/3233.52 c 3234 32359 3248 1 1043.0000 1013.6528 2.90%
3230.34/3238.73 c 3239 32493 3246 1 1043.0000 1013.6528 2.90%
3236.23/3244.67 c 3245 32572 3245 1 1043.0000 1013.6642 2.89%
3241.62/3250.01 c 3250 32647 3264 1 1043.0000 1013.6737 2.89%
3251.70/3260.11 c 3260 32679 3272 1 1043.0000 1013.6884 2.89%
3257.28/3265.76 c 3266 32802 3283 1 1043.0000 1013.6930 2.89%
3263.36/3271.82 c 3272 32872 3281 1 1043.0000 1013.7273 2.89%
3269.45/3277.95 c 3278 32896 3293 1 1043.0000 1013.7483 2.89%
3274.94/3283.40 c 3283 32931 3304 1 1043.0000 1013.7493 2.89%
3281.12/3289.67 c 3290 33003 3302 1 1043.0000 1013.7543 2.88%
3286.22/3294.77 c 3295 33082 3313 1 1043.0000 1013.7561 2.88%
3291.40/3299.99 c 3300 33118 3323 1 1043.0000 1013.7561 2.88%
3297.49/3306.01 c 3306 33169 3328 1 1043.0000 1013.7706 2.88%
3302.58/3311.15 c 3311 33296 3331 1 1043.0000 1013.7706 2.88%
3308.46/3317.05 c 3317 33339 3338 1 1043.0000 1013.7839 2.88%
3314.55/3323.18 c 3323 33413 3342 1 1043.0000 1013.7979 2.88%
3321.33/3329.93 c 3330 33473 3350 1 1043.0000 1013.8184 2.88%
3329.31/3337.96 c 3338 33585 3360 1 1043.0000 1013.8296 2.88%
3336.00/3344.68 c 3345 33653 3370 1 1043.0000 1013.8348 2.88%
3341.18/3349.89 c 3350 33693 3378 1 1043.0000 1013.8500 2.88%
3349.36/3358.04 c 3358 33792 3385 1 1043.0000 1013.8715 2.87%
3355.65/3364.39 c 3364 33876 3391 1 1043.0000 1013.8715 2.87%
3360.93/3369.63 c 3370 33922 3393 1 1043.0000 1013.8752 2.87%
3367.42/3376.16 c 3376 33993 3400 1 1043.0000 1013.8778 2.87%
3373.31/3382.00 c 3382 33999 3406 1 1043.0000 1013.8778 2.87%
3378.40/3387.15 c 3387 34019 3414 1 1043.0000 1013.8817 2.87%
3383.59/3392.36 c 3392 34149 3410 1 1043.0000 1013.8817 2.87%
3389.87/3398.61 c 3399 34233 3410 1 1043.0000 1013.8825 2.87%
3395.26/3404.01 c 3404 34332 3417 1 1043.0000 1013.8825 2.87%
3403.34/3412.17 c 3412 34442 3415 1 1043.0000 1013.8925 2.87%
3409.33/3418.15 c 3418 34490 3427 1 1043.0000 1013.8925 2.87%
3414.51/3423.36 c 3423 34534 3429 1 1043.0000 1013.9071 2.87%
3419.89/3428.76 c 3429 34563 3436 1 1043.0000 1013.9100 2.87%
3425.49/3434.35 c 3434 34639 3444 1 1043.0000 1013.9100 2.87%
3430.97/3439.83 c 3440 34662 3451 1 1043.0000 1013.9343 2.87%
3436.76/3445.67 c 3446 34669 3458 1 1043.0000 1013.9343 2.87%
3443.64/3452.51 c 3453 34762 3457 1 1043.0000 1013.9485 2.87%
3448.93/3457.80 c 3458 34837 3468 1 1043.0000 1013.9485 2.87%
3454.41/3463.38 c 3463 34935 3468 1 1043.0000 1013.9485 2.87%
3459.90/3468.87 c 3469 35045 3468 1 1043.0000 1013.9485 2.87%
3465.19/3474.14 c 3474 35127 3466 1 1043.0000 1013.9485 2.87%
3470.87/3479.80 c 3480 35194 3469 1 1043.0000 1013.9765 2.86%
3476.07/3485.07 c 3485 35239 3474 1 1043.0000 1013.9765 2.86%
3481.65/3490.65 c 3491 35268 3481 1 1043.0000 1013.9803 2.86%
3487.83/3496.80 c 3497 35333 3486 1 1043.0000 1013.9907 2.86%
3494.92/3503.95 c 3504 35373 3494 1 1043.0000 1014.0051 2.86%
3500.50/3509.59 c 3510 35447 3500 1 1043.0000 1014.0051 2.86%
3507.88/3516.95 c 3517 35542 3501 1 1043.0000 1014.0350 2.86%
3515.86/3524.99 c 3525 35602 3511 1 1043.0000 1014.0449 2.86%
3521.55/3530.68 c 3531 35688 3519 1 1043.0000 1014.0449 2.86%
3527.24/3536.31 c 3536 35707 3524 1 1043.0000 1014.0450 2.86%
3534.12/3543.22 c 3543 35735 3532 1 1043.0000 1014.0471 2.86%
3539.42/3548.56 c 3549 35758 3543 1 1043.0000 1014.0499 2.85%
3544.91/3554.07 c 3554 35808 3549 1 1043.0000 1014.0657 2.85%
3550.89/3560.01 c 3560 35826 3555 1 1043.0000 1014.0968 2.85%
3556.77/3565.94 c 3566 35872 3567 1 1043.0000 1014.1051 2.85%
3562.16/3571.37 c 3571 35906 3569 1 1043.0000 1014.1051 2.85%
3568.64/3577.89 c 3578 35973 3576 1 1043.0000 1014.1147 2.85%
3574.23/3583.46 c 3583 36037 3580 1 1043.0000 1014.1147 2.85%
3579.41/3588.63 c 3589 36168 3583 1 1043.0000 1014.1147 2.85%
3587.20/3596.41 c 3596 36279 3590 1 1043.0000 1014.1160 2.85%
3588.90/3598.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.90/3598.10 c Total Time : 3598.10
3588.90/3598.10 c solving : 3598.10
3588.90/3598.10 c presolving : 0.04 (included in solving)
3588.90/3598.10 c B&B Tree :
3588.90/3598.10 c nodes (total) : 1
3588.90/3598.10 c Solution :
3588.90/3598.10 c Solutions found : 17
3588.90/3598.10 c Primal Bound : +1.04300000000000e+03
3588.90/3598.10 c Dual Bound : +1.01411598081856e+03
3588.90/3598.10 c Gap : 2.84820 %
3588.90/3598.10 c * Warning: final gap: 2.84820e-02 is greater than SCIPepsilon: 1.00000e-09
3588.90/3598.10 o 1043
3588.90/3598.10 s SATISFIABLE
3588.90/3598.10 v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 -x1946 x1945 x1944 -x1943 -x1942 x1941 x1940 -x1939
3588.90/3598.10 v -x1938 -x1937 -x1936 -x1935 -x1934 x1933 -x1932 -x1931 x1930 x1929 x1928 -x1927 -x1926 x1925 x1924 x1923 -x1922 -x1921 x1920
3588.90/3598.10 v x1919 x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 -x1911 -x1910 x1909 x1908 x1907 -x1906 -x1905 -x1904 x1903 -x1902 x1901 x1900
3588.90/3598.10 v x1899 -x1898 -x1897 x1896 -x1895 -x1894 x1893 -x1892 x1891 x1890 -x1889 -x1888 x1887 x1886 x1885 x1884 x1883 -x1882 x1881
3588.90/3598.10 v -x1880 -x1879 -x1878 -x1877 x1876 -x1875 x1874 x1873 -x1872 x1871 x1870 -x1869 x1868 -x1867 x1866 -x1865 -x1864 -x1863 x1862
3588.90/3598.10 v -x1861 x1860 x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852 x1851 x1850 -x1849 -x1848 x1847 x1846 -x1845 x1844 -x1843 -x1842
3588.90/3598.10 v x1841 -x1840 -x1839 -x1838 x1837 x1836 -x1835 -x1834 -x1833 -x1832 x1831 -x1830 x1829 x1828 -x1827 x1826 x1825 x1824 x1823
3588.90/3598.10 v -x1822 -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814 -x1813 -x1812 -x1811 x1810 -x1809 -x1808 -x1807 -x1806 x1805 x1804
3588.90/3598.10 v -x1803 -x1802 -x1801 x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 x1793 -x1792 x1791 x1790 x1789 -x1788 -x1787 x1786
3588.90/3598.10 v -x1785 x1784 x1783 x1782 x1781 x1780 -x1779 -x1778 -x1777 x1776 x1775 x1774 x1773 x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765
3588.90/3598.10 v x1764 -x1763 -x1762 x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 x1753 -x1752 -x1751 x1750 x1749 -x1748 -x1747
3588.90/3598.10 v -x1746 x1745 -x1744 x1743 -x1742 x1741 -x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 x1732 -x1731 x1730 -x1729 -x1728
3588.90/3598.10 v x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721 -x1720 -x1719 x1718 x1717 -x1716 x1715 x1714 -x1713 x1712 -x1711 x1710 -x1709
3588.90/3598.10 v x1708 x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 -x1699 x1698 -x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689
3588.90/3598.10 v -x1688 x1687 x1686 x1685 -x1684 x1683 x1682 -x1681 -x1680 x1679 -x1678 -x1677 x1676 x1675 x1674 -x1673 x1672 x1671 x1670 -x1669
3588.90/3598.10 v -x1668 -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 x1652 -x1651
3588.90/3598.10 v -x1650 x1649 x1648 x1647 -x1646 -x1645 x1644 x1643 x1642 x1641 -x1640 x1639 -x1638 -x1637 x1636 -x1635 x1634 -x1633 -x1632
3588.90/3598.10 v x1631 -x1630 -x1629 -x1628 -x1627 x1626 x1625 x1624 x1623 x1622 x1621 -x1620 x1619 -x1618 x1617 -x1616 -x1615 x1614 -x1613 -x1612
3588.90/3598.10 v x1611 x1610 x1609 -x1608 x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 x1595 -x1594
3588.90/3598.10 v -x1593 x1592 -x1591 -x1590 x1589 x1588 -x1587 -x1586 x1585 -x1584 x1583 x1582 x1581 -x1580 x1579 -x1578 -x1577 x1576 x1575 -x1574
3588.90/3598.10 v -x1573 x1572 -x1571 x1570 x1569 -x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 -x1560 x1559 x1558 -x1557 -x1556 x1555
3588.90/3598.10 v -x1554 x1553 x1552 x1551 -x1550 x1549 x1548 -x1547 x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 x1538 x1537 x1536 x1535 x1534
3588.90/3598.10 v -x1533 -x1532 -x1531 x1530 x1529 x1528 x1527 x1526 -x1525 -x1524 -x1523 x1522 x1521 x1520 x1519 -x1518 -x1517 -x1516 x1515
3588.90/3598.10 v x1514 x1513 x1512 -x1511 x1510 x1509 x1508 x1507 x1506 x1505 -x1504 -x1503 x1502 -x1501 x1500 x1499 x1498 -x1497 -x1496 -x1495
3588.90/3598.10 v x1494 x1493 x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484 -x1483 x1482 -x1481 -x1480 -x1479 x1478 x1477 x1476
3588.90/3598.10 v x1475 -x1474 x1473 x1472 x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 x1464 -x1463 x1462 x1461 -x1460 x1459 -x1458 x1457 x1456
3588.90/3598.10 v -x1455 -x1454 x1453 x1452 x1451 x1450 x1449 -x1448 -x1447 -x1446 -x1445 x1444 x1443 -x1442 x1441 x1440 -x1439 x1438 x1437
3588.90/3598.10 v x1436 x1435 x1434 x1433 -x1432 -x1431 x1430 x1429 -x1428 -x1427 x1426 -x1425 -x1424 x1423 x1422 x1421 -x1420 -x1419 x1418 x1417
3588.90/3598.10 v x1416 -x1415 x1414 -x1413 -x1412 x1411 x1410 -x1409 -x1408 x1407 -x1406 x1405 x1404 -x1403 -x1402 x1401 -x1400 -x1399 x1398
3588.90/3598.10 v x1397 x1396 x1395 -x1394 x1393 -x1392 x1391 x1390 x1389 x1388 -x1387 -x1386 -x1385 x1384 -x1383 x1382 -x1381 x1380 x1379
3588.90/3598.10 v x1378 x1377 x1376 x1375 x1374 -x1373 x1372 -x1371 -x1370 x1369 x1368 -x1367 x1366 x1365 x1364 -x1363 -x1362 x1361 x1360 x1359
3588.90/3598.10 v x1358 x1357 x1356 x1355 -x1354 x1353 x1352 -x1351 x1350 x1349 x1348 -x1347 x1346 x1345 x1344 x1343 x1342 -x1341 x1340 x1339
3588.90/3598.10 v -x1338 x1337 -x1336 -x1335 -x1334 x1333 x1332 -x1331 x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 x1322 -x1321 x1320
3588.90/3598.10 v -x1319 -x1318 -x1317 x1316 x1315 -x1314 -x1313 x1312 -x1311 x1310 -x1309 x1308 x1307 -x1306 -x1305 x1304 -x1303 x1302 -x1301
3588.90/3598.10 v -x1300 -x1299 -x1298 -x1297 x1296 -x1295 -x1294 x1293 x1292 x1291 -x1290 x1289 -x1288 x1287 x1286 x1285 x1284 -x1283 x1282 x1281
3588.90/3598.10 v x1280 x1279 x1278 x1277 -x1276 x1275 x1274 -x1273 -x1272 x1271 -x1270 -x1269 x1268 x1267 -x1266 x1265 -x1264 -x1263 x1262
3588.90/3598.10 v -x1261 -x1260 x1259 x1258 x1257 x1256 x1255 -x1254 x1253 -x1252 -x1251 x1250 x1249 -x1248 -x1247 x1246 -x1245 x1244 -x1243
3588.90/3598.10 v x1242 -x1241 -x1240 x1239 x1238 -x1237 x1236 x1235 x1234 x1233 x1232 -x1231 -x1230 -x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223
3588.90/3598.10 v -x1222 x1221 x1220 x1219 x1218 x1217 x1216 x1215 -x1214 x1213 x1212 x1211 x1210 x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203
3588.90/3598.10 v x1202 -x1201 x1200 x1199 -x1198 x1197 -x1196 -x1195 -x1194 x1193 x1192 -x1191 x1190 -x1189 -x1188 x1187 -x1186 x1185 -x1184
3588.90/3598.10 v -x1183 -x1182 -x1181 x1180 x1179 x1178 x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 x1166 -x1165
3588.90/3598.10 v x1164 x1163 x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 x1155 x1154 x1153 x1152 -x1151 x1150 x1149 -x1148 -x1147 -x1146
3588.90/3598.10 v x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 x1135 -x1134 x1133 x1132 x1131 -x1130 x1129 -x1128 x1127
3588.90/3598.10 v -x1126 -x1125 -x1124 x1123 -x1122 x1121 x1120 -x1119 x1118 x1117 -x1116 -x1115 -x1114 -x1113 x1112 x1111 x1110 -x1109 x1108
3588.90/3598.10 v x1107 x1106 x1105 x1104 x1103 x1102 x1101 x1100 x1099 x1098 -x1097 x1096 x1095 x1094 x1093 x1092 x1091 -x1090 x1089 x1088 -x1087
3588.90/3598.10 v x1086 x1085 -x1084 x1083 -x1082 -x1081 x1080 x1079 x1078 -x1077 x1076 -x1075 x1074 x1073 -x1072 x1071 -x1070 -x1069 -x1068
3588.90/3598.10 v -x1067 x1066 x1065 -x1064 -x1063 x1062 x1061 x1060 x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 x1052 x1051 x1050 x1049
3588.90/3598.10 v x1048 x1047 -x1046 -x1045 x1044 x1043 -x1042 x1041 -x1040 -x1039 -x1038 x1037 -x1036 x1035 -x1034 -x1033 -x1032 x1031 x1030
3588.90/3598.10 v -x1029 x1028 -x1027 -x1026 x1025 x1024 -x1023 x1022 -x1021 -x1020 x1019 x1018 x1017 x1016 x1015 x1014 x1013 x1012 x1011 x1010
3588.90/3598.10 v -x1009 x1008 -x1007 -x1006 x1005 -x1004 x1003 x1002 -x1001 -x1000 -x999 x998 x997 x996 -x995 x994 -x993 x992 x991 x990 -x989
3588.90/3598.10 v -x988 -x987 -x986 x985 x984 x983 x982 x981 -x980 -x979 x978 x977 x976 -x975 x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 x966
3588.90/3598.10 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
3588.90/3598.10 v x941 x940 x939 x938 -x937 x936 -x935 x934 x933 -x932 x931 x930 x929 x928 -x927 x926 -x925 x924 x923 -x922 -x921 -x920 -x919
3588.90/3598.10 v x918 x917 x916 x915 -x914 -x913 x912 x911 -x910 x909 -x908 -x907 x906 x905 x904 -x903 x902 -x901 -x900 -x899 x898 -x897 x896
3588.90/3598.10 v x895 x894 x893 -x892 x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 x881 -x880 x879 x878 -x877 x876 -x875 x874 -x873
3588.90/3598.10 v -x872 x871 -x870 x869 -x868 x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 x859 x858 x857 x856 x855 -x854 x853 x852 x851 x850
3588.90/3598.10 v -x849 -x848 x847 x846 x845 x844 -x843 x842 -x841 -x840 x839 x838 -x837 x836 x835 -x834 x833 -x832 -x831 x830 -x829 -x828
3588.90/3598.10 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
3588.90/3598.10 v -x803 -x802 -x801 -x800 x799 x798 x797 x796 x795 x794 x793 x792 x791 x790 -x789 -x788 x787 x786 x785 -x784 x783 x782 x781
3588.90/3598.10 v -x780 x779 -x778 x777 -x776 -x775 x774 x773 -x772 -x771 x770 -x769 x768 -x767 -x766 x765 -x764 -x763 x762 x761 -x760 -x759 -x758
3588.90/3598.10 v x757 -x756 -x755 x754 -x753 x752 -x751 x750 x749 x748 -x747 x746 -x745 x744 -x743 -x742 -x741 -x740 x739 x738 x737 x736
3588.90/3598.10 v x735 -x734 -x733 -x732 x731 -x730 x729 x728 x727 x726 x725 -x724 x723 x722 -x721 -x720 -x719 x718 x717 -x716 -x715 -x714 x713
3588.90/3598.10 v -x712 -x711 x710 -x709 x708 x707 x706 -x705 -x704 x703 x702 x701 x700 x699 -x698 -x697 -x696 -x695 x694 -x693 x692 x691 x690
3588.90/3598.10 v x689 -x688 -x687 x686 x685 x684 x683 x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 x668 -x667
3588.90/3598.11 v -x666 x665 -x664 x663 -x662 -x661 x660 -x659 x658 -x657 x656 x655 x654 -x653 -x652 x651 x650 x649 -x648 -x647 -x646 -x645
3588.90/3598.11 v x644 -x643 x642 x641 x640 -x639 -x638 x637 x636 x635 -x634 -x633 -x632 -x631 x630 -x629 x628 -x627 -x626 x625 x624 x623 x622
3588.90/3598.11 v -x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 x612 x611 -x610 -x609 -x608 -x607 -x606 x605 x604 -x603 -x602 x601 x600 -x599
3588.90/3598.11 v x598 x597 x596 -x595 x594 -x593 x592 -x591 -x590 x589 x588 -x587 -x586 x585 x584 -x583 -x582 -x581 x580 x579 -x578 x577 x576
3588.90/3598.11 v x575 -x574 x573 -x572 -x571 x570 -x569 x568 x567 -x566 -x565 -x564 -x563 x562 x561 x560 -x559 x558 -x557 -x556 -x555 x554
3588.90/3598.11 v x553 x552 -x551 -x550 x549 x548 x547 x546 x545 x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 x531
3588.90/3598.11 v x530 x529 x528 x527 x526 -x525 -x524 x523 x522 -x521 -x520 x519 x518 -x517 -x516 x515 x514 x513 -x512 -x511 -x510 x509 -x508
3588.90/3598.11 v x507 -x506 -x505 x504 x503 -x502 -x501 x500 -x499 x498 x497 x496 x495 x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486
3588.90/3598.11 v x485 -x484 -x483 -x482 -x481 x480 -x479 x478 x477 x476 x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467 -x466 -x465 -x464 -x463
3588.90/3598.11 v x462 x461 x460 x459 -x458 -x457 x456 -x455 x454 x453 x452 x451 -x450 x449 -x448 x447 -x446 x445 x444 x443 -x442 -x441 x440
3588.90/3598.11 v x439 x438 x437 -x436 -x435 -x434 x433 x432 x431 -x430 -x429 x428 x427 -x426 x425 x424 x423 -x422 x421 -x420 -x419 x418 x417
3588.90/3598.11 v -x416 x415 -x414 x413 x412 x411 x410 x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 x395 -x394
3588.90/3598.11 v x393 -x392 -x391 x390 x389 x388 x387 -x386 x385 x384 x383 x382 x381 -x380 -x379 x378 -x377 x376 -x375 x374 -x373 -x372 -x371
3588.90/3598.11 v -x370 -x369 -x368 -x367 x366 -x365 x364 x363 x362 x361 x360 x359 -x358 -x357 x356 x355 -x354 x353 -x352 -x351 x350 -x349
3588.90/3598.11 v x348 x347 -x346 -x345 -x344 x343 -x342 -x341 x340 x339 -x338 x337 x336 x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326
3588.90/3598.11 v -x325 -x324 -x323 -x322 x321 -x320 -x319 x318 x317 x316 x315 -x314 x313 -x312 -x311 -x310 x309 -x308 -x307 x306 x305 x304 -x303
3588.90/3598.11 v -x302 x301 -x300 x299 -x298 x297 -x296 x295 x294 x293 x292 x291 -x290 -x289 x288 -x287 -x286 -x285 x284 x283 x282 -x281 -x280
3588.90/3598.11 v x279 x278 x277 -x276 -x275 -x274 x273 x272 x271 x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 x260 -x259 -x258
3588.90/3598.11 v x257 -x256 x255 -x254 -x253 x252 -x251 x250 -x249 -x248 x247 -x246 x245 x244 x243 -x242 x241 x240 -x239 -x238 x237 -x236 -x235
3588.90/3598.11 v x234 -x233 x232 -x231 x230 -x229 x228 x227 -x226 -x225 -x224 x223 -x222 x221 x220 x219 x218 x217 x216 x215 -x214 -x213 x212
3588.90/3598.11 v x211 -x210 -x209 -x208 x207 -x206 x205 x204 -x203 x202 x201 x200 -x199 x198 -x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189
3588.90/3598.11 v -x188 x187 x186 x185 x184 x183 -x182 -x181 x180 x179 x178 x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 -x168 -x167 x166
3588.90/3598.11 v x165 -x164 x163 -x162 -x161 -x160 x159 x158 -x157 x156 x155 x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144
3588.90/3598.11 v -x143 x142 -x141 x140 -x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 x122 x121
3588.90/3598.11 v -x120 x119 x118 -x117 x116 x115 x114 x113 -x112 x111 x110 x109 -x108 x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99 -x98
3588.90/3598.11 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
3588.90/3598.11 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
3588.90/3598.11 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
3588.90/3598.11 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: 63968 MiB (62476 MiB free)
memory of node 1: 64473 MiB (61795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463991-1722378595/watcher-4463991-1722378595 -o /tmp/evaluation-result-4463991-1722378595/solver-4463991-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29777 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463991-1722378595.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=29936, runsolver pid=29933
Current StackSize limit: 8192 KiB
[startup+0.100192 s]*
/proc/loadavg: 0.11 0.11 0.09 5/266 29939
/proc/meminfo: memFree=127230560/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=131284 memory=47148 CPUtime=0.09 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 9938 0 0 0 8 1 0 0 20 0 3 0 4458549 134434816 11787 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 32821 11787 2790 3035 0 15239 0
[pid=29936/tid=29938] ppid=29933 vsize=131284 memory=4026561586 CPUtime=0.02 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 3778 0 0 0 2 0 0 0 20 0 3 0 4458555 134434816 11787 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=131284 memory=232851243367 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458556 134434816 11787 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131284 KiB
Current children cumulated memory: 47148 KiB
[startup+0.216193 s]*
/proc/loadavg: 0.11 0.11 0.09 5/266 29939
/proc/meminfo: memFree=127211480/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=132308 memory=54788 CPUtime=0.2 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 11759 0 0 0 18 2 0 0 20 0 3 0 4458549 135483392 13697 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 33077 13697 2934 3035 0 17014 0
[pid=29936/tid=29938] ppid=29933 vsize=132308 memory=664970838410264707 CPUtime=0.13 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 5599 0 0 0 13 0 0 0 20 0 3 0 4458555 135483392 13697 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=132308 memory=81065 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458556 135483392 13697 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132308 KiB
Current children cumulated memory: 54788 KiB
[startup+0.30619 s]*
/proc/loadavg: 0.11 0.11 0.09 5/266 29939
/proc/meminfo: memFree=127187872/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=132308 memory=54788 CPUtime=0.29 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 11760 0 0 0 27 2 0 0 20 0 3 0 4458549 135483392 13697 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 33077 13697 2934 3035 0 17014 0
[pid=29936/tid=29938] ppid=29933 vsize=132308 memory=-5155632401055181957 CPUtime=0.22 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 5600 0 0 0 22 0 0 0 20 0 3 0 4458555 135483392 13697 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=132308 memory=0 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458556 135483392 13697 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132308 KiB
Current children cumulated memory: 54788 KiB
[startup+0.700213 s]
/proc/loadavg: 0.11 0.11 0.09 5/266 29939
/proc/meminfo: memFree=127180480/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=133764 memory=59032 CPUtime=0.68 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 12831 0 0 0 66 2 0 0 20 0 3 0 4458549 136974336 14758 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 33441 14758 2950 3035 0 18241 0
[pid=29936/tid=29938] ppid=29933 vsize=133764 memory=0 CPUtime=0.6 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 6671 0 0 0 60 0 0 0 20 0 3 0 4458555 136974336 14758 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=133764 memory=0 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458556 136974336 14758 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133764 KiB
Current children cumulated memory: 59032 KiB
[startup+1.50019 s]
/proc/loadavg: 0.11 0.11 0.09 5/268 29941
/proc/meminfo: memFree=126967436/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=133764 memory=63140 CPUtime=1.47 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 17566 0 0 0 145 2 0 0 20 0 3 0 4458549 136974336 15785 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 33441 15785 2950 3035 0 19334 0
[pid=29936/tid=29938] ppid=29933 vsize=133764 memory=0 CPUtime=1.41 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 11406 0 0 0 140 1 0 0 20 0 3 0 4458555 136974336 15785 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=133764 memory=0 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458556 136974336 15785 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 133764 KiB
Current children cumulated memory: 63140 KiB
[startup+3.10542 s]
/proc/loadavg: 0.11 0.11 0.09 5/268 29943
/proc/meminfo: memFree=126839276/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=148852 memory=88912 CPUtime=3.07 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 24069 0 0 0 304 3 0 0 20 0 3 0 4458549 152424448 22228 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 37213 22228 2950 3035 0 26025 0
[pid=29936/tid=29938] ppid=29933 vsize=148852 memory=0 CPUtime=3.01 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 17908 0 0 0 299 2 0 0 20 0 3 0 4458555 152424448 22228 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=148852 memory=2273 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4458556 152424448 22228 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 148852 KiB
Current children cumulated memory: 88912 KiB
[startup+6.30018 s]
/proc/loadavg: 0.42 0.18 0.11 5/268 29943
/proc/meminfo: memFree=126759436/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=184424 memory=127748 CPUtime=6.26 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 45986 0 0 0 621 5 0 0 20 0 3 0 4458549 188850176 31937 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 46106 31937 2950 3035 0 36043 0
[pid=29936/tid=29938] ppid=29933 vsize=184424 memory=93892 CPUtime=6.19 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 39824 0 0 0 615 4 0 0 20 0 3 0 4458555 188850176 31937 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=184424 memory=-5155632401055181957 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4458556 188850176 31937 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 184424 KiB
Current children cumulated memory: 127748 KiB
[startup+12.7002 s]
/proc/loadavg: 0.71 0.24 0.13 5/268 29943
/proc/meminfo: memFree=126713024/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=184424 memory=135032 CPUtime=12.64 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 60139 0 0 0 1258 6 0 0 20 0 3 0 4458549 188850176 33758 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 46106 33758 2950 3035 0 38558 0
[pid=29936/tid=29938] ppid=29933 vsize=184424 memory=164 CPUtime=12.58 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 53949 0 0 0 1253 5 0 0 20 0 3 0 4458555 188850176 33758 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=184424 memory=134960 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4458556 188850176 33758 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 184424 KiB
Current children cumulated memory: 135032 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.42 0.20 5/268 29946
/proc/meminfo: memFree=126676556/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=189532 memory=141268 CPUtime=25.41 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 92580 0 0 0 2533 8 0 0 20 0 3 0 4458549 194080768 35317 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 47383 35317 2998 3035 0 39835 0
[pid=29936/tid=29938] ppid=29933 vsize=189532 memory=135520 CPUtime=25.35 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 86323 0 0 0 2528 7 0 0 20 0 3 0 4458555 194080768 35317 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=189532 memory=11524 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4458556 194080768 35317 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 189532 KiB
Current children cumulated memory: 141268 KiB
[startup+51.1057 s]
/proc/loadavg: 2.32 0.71 0.30 5/269 30008
/proc/meminfo: memFree=126503692/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=297804 memory=195788 CPUtime=50.96 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 167093 0 0 0 5082 14 0 0 20 0 3 0 4458549 304951296 48947 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 74451 48947 2998 3035 0 54597 0
[pid=29936/tid=29938] ppid=29933 vsize=297804 memory=191632 CPUtime=50.89 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 159978 0 0 0 5076 13 0 0 20 0 3 0 4458555 304951296 48947 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=297804 memory=150692 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4458556 304951296 48947 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 297804 KiB
Current children cumulated memory: 195788 KiB
[startup+102.3 s]
/proc/loadavg: 3.31 1.23 0.50 5/267 30112
/proc/meminfo: memFree=124633716/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=321172 memory=274160 CPUtime=102.04 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 260205 0 0 0 10181 23 0 0 20 0 3 0 4458549 328880128 68540 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 80293 68540 2998 3035 0 75502 0
[pid=29936/tid=29938] ppid=29933 vsize=321172 memory=11524 CPUtime=101.96 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 252685 0 0 0 10175 21 0 0 20 0 3 0 4458555 328880128 68540 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=321172 memory=12536 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4458556 328880128 68540 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 321172 KiB
Current children cumulated memory: 274160 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.77 0.73 5/267 30170
/proc/meminfo: memFree=125750352/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=321172 memory=274372 CPUtime=161.9 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 322923 0 0 0 16163 27 0 0 20 0 3 0 4458549 328880128 68593 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 80293 68593 2998 3035 0 75502 0
[pid=29936/tid=29938] ppid=29933 vsize=321172 memory=33 CPUtime=161.82 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 315006 0 0 0 16156 26 0 0 20 0 3 0 4458555 328880128 68593 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=321172 memory=274208 CPUtime=0 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4458556 328880128 68593 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 321172 KiB
################
# More data... #
################
/proc/29936/statm: 166923 148819 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=12652 CPUtime=3453.19 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1432867 0 0 0 345204 115 0 0 20 0 3 0 4458555 683716608 148819 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=595276 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 112 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148819 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.06 7/268 31773
/proc/meminfo: memFree=119392176/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595276 CPUtime=3513.27 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1449880 0 0 0 351204 123 0 0 20 0 3 0 4458549 683716608 148819 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148819 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=595276 CPUtime=3513.04 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1440357 0 0 0 351188 116 0 0 20 0 3 0 4458555 683716608 148819 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=595276 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 113 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148819 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/265 31924
/proc/meminfo: memFree=119393204/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3573.13 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1462379 0 0 0 357189 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=5536 CPUtime=3572.9 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1452835 0 0 0 357173 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=595500 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3598.12 s]
# the end of solver process 29936 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.67 s, system=1.26177 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.06 5/265 31926
/proc/meminfo: memFree=119393108/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3574.83 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1463240 0 0 0 357359 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=-5155629089770204037 CPUtime=3574.6 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1453696 0 0 0 357343 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=4211311625317805726 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3574.83 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.07 5/265 31927
/proc/meminfo: memFree=119392824/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3581.21 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1463435 0 0 0 357997 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=11524 CPUtime=3580.98 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1453890 0 0 0 357981 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=595500 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3581.21 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.07 5/265 31929
/proc/meminfo: memFree=119392756/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3584.4 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1463860 0 0 0 358316 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=595500 CPUtime=3584.17 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1454315 0 0 0 358300 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=-7017571960470201213 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3584.4 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.06 5/265 31929
/proc/meminfo: memFree=119392680/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3586 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1463869 0 0 0 358476 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=11524 CPUtime=3585.77 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1454324 0 0 0 358460 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=12652 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.06 6/265 31929
/proc/meminfo: memFree=119392680/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3587.59 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1463871 0 0 0 358635 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=595500 CPUtime=3587.36 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1454326 0 0 0 358619 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=11524 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.12 4.06 5/264 31929
/proc/meminfo: memFree=119394728/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3588.39 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1463946 0 0 0 358715 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=11524 CPUtime=3588.16 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1454401 0 0 0 358699 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=1980 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3588.39 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3598 s]*
/proc/loadavg: 4.13 4.12 4.06 4/259 31975
/proc/meminfo: memFree=120386952/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=667692 memory=595500 CPUtime=3588.8 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1463954 0 0 0 358756 124 0 0 20 0 3 0 4458549 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 166923 148875 2998 3035 0 152996 0
[pid=29936/tid=29938] ppid=29933 vsize=667692 memory=-6000919502737468268 CPUtime=3588.56 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1454409 0 0 0 358739 117 0 0 20 0 3 0 4458555 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=667692 memory=2636 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 683716608 148875 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 595500 KiB
[startup+3598.11 s]
/proc/loadavg: 4.13 4.12 4.06 4/259 31975
/proc/meminfo: memFree=120386952/131524600 swapFree=131071728/131071996
[pid=29936] ppid=29933 vsize=582212 memory=510320 CPUtime=3588.9 cores=1,3
/proc/29936/stat : 29936 (fscip) S 29933 29936 29765 0 -1 1077936128 1465334 0 0 0 358765 125 0 0 20 0 3 0 4458549 596185088 127974 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
/proc/29936/statm: 145300 127721 2998 3035 0 131373 0
[pid=29936/tid=29938] ppid=29933 vsize=579176 memory=595500 CPUtime=3588.66 cores=1,3
/proc/29936/task/29938/stat : 29938 (fscip) R 29933 29936 29765 0 -1 4194368 1455791 0 0 0 358749 117 0 0 20 0 3 0 4458555 593076224 127468 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
[pid=29936/tid=29939] ppid=29933 vsize=579176 memory=-7017571960470201213 CPUtime=0.02 cores=1,3
/proc/29936/task/29939/stat : 29939 (fscip) S 29933 29936 29765 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 4458556 593076224 127468 134679101440 4194304 16623229 140732873733184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 49192960 140732873737238 140732873737354 140732873737354 140732873744368 0
Current children cumulated CPU time: 3588.9 s
Current children cumulated vsize: 582212 KiB
Current children cumulated memory: 510320 KiB
Child status: 0
Real time (s): 3598.12
CPU time (s): 3588.93
CPU user time (s): 3587.67
CPU system time (s): 1.26177
CPU usage (%): 99.7445
Max. virtual memory (cumulated for all children) (KiB): 667692
Max. memory (cumulated for all children) (KiB): 595500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 1.26177
maximum resident set size= 595500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1465954
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= 8514
involuntary context switches= 1809
# summary of solver processes directly reported to runsolver:
# pid: 29936
# total CPU time (s): 3588.93
# total CPU user time (s): 3587.67
# total CPU system time (s): 1.26177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.39136 second user time and 14.39 second system time
The end
Begin job on nodeC024 at 2024-07-31 00:29:55
IDJOB=4463991
IDBENCH=147523
IDSOLVER=3092
FILE ID=nodeC024/4463991-1722378595
RUNJOBID= nodeC024-1722378594-29777
SLURM_JOB_ID= 8249847
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4463991-1722378595/watcher-4463991-1722378595 -o /tmp/evaluation-result-4463991-1722378595/solver-4463991-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29777 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463991-1722378595.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fd68547584ae9b6527d66061061fb773
RANDOM SEED=1453536771
nodeC024.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 : 3600.467
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.90
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 : 3651.691
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
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 : 3671.123
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.90
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 : 3650.168
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
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 : 3671.111
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.90
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 : 3661.435
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
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 : 3599.993
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.90
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 : 3476.638
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127274436 kB
MemAvailable: 129633228 kB
Buffers: 82172 kB
Cached: 3094488 kB
SwapCached: 36 kB
Active: 254620 kB
Inactive: 3485420 kB
Active(anon): 1536 kB
Inactive(anon): 583136 kB
Active(file): 253084 kB
Inactive(file): 2902284 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 115796 kB
Writeback: 0 kB
AnonPages: 561592 kB
Mapped: 122024 kB
Shmem: 21292 kB
KReclaimable: 86492 kB
Slab: 170732 kB
SReclaimable: 86492 kB
SUnreclaim: 84240 kB
KernelStack: 4208 kB
PageTables: 10324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 932036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9088 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 178900 kB
DirectMap2M: 11128832 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 889932 MiB
End job on nodeC024 at 2024-07-31 01:29:54