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.10/0.13 c Default LC presolving (default).
0.10/0.13 c ** Before presolving: virtualMemUsedAtLc = 57147392, getVmSize() = 57147392, SCIPgetMemUsed() = 28674770, SCIPgetMemTotal() = 34755234, SCIPgetMemExternEstim() = 15415482
0.10/0.13 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.99/4.10 c ** Estimated virtualMemUsedAtSolver = 107682216, getVmSize() = 173260800, SCIPgetMemUsed() = 108191835, SCIPgetMemTotal() = 146107843, SCIPgetMemExternEstim() = 15415482
3.99/4.10 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.99/4.10 c Original Problem :
3.99/4.10 c Problem name : instance-4464130-1722382195
3.99/4.10 c Variables : 7164 (7164 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.10 c Constraints : 7824
3.99/4.10 c Objective sense : minimize
3.99/4.10 c Presolved Problem :
3.99/4.10 c Variables : 6336 (6336 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.10 c Constraints : 1241
3.99/4.10 c Constraints : Number
3.99/4.10 c knapsack : 576
3.99/4.10 c setppc : 90
3.99/4.10 c orbitope : 575
3.99/4.10 c ** Instance transfer method used: 0
4.09/4.11 c ** ParaScipInstance copy increased the number of variables. **
4.09/4.16 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.09/4.16 c Nodes Active
4.09/4.16 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
9.15/9.27 c 9 2 1 1 - 9.0000 -
14.44/14.54 c 15 85 82 1 - 9.0000 -
19.43/19.58 c 20 957 239 1 - 9.0000 -
24.81/24.95 c 25 2046 212 1 - 9.0000 -
29.90/30.02 c 30 3040 269 1 - 9.0000 -
35.07/35.29 c 35 4015 292 1 - 9.0000 -
40.15/40.36 c 40 4983 336 1 - 9.0000 -
45.23/45.45 c 45 6128 251 1 - 9.0000 -
50.32/50.53 c 51 7054 402 1 - 9.0000 -
55.92/56.17 c 56 7519 395 1 - 9.0000 -
61.00/61.21 c 61 8661 434 1 - 9.0000 -
65.98/66.28 c 66 9447 448 1 - 9.0000 -
71.17/71.49 c 71 10529 485 1 - 9.0000 -
76.46/76.70 c 77 11042 569 1 - 9.0000 -
81.54/81.84 c 82 11848 612 1 - 9.0000 -
86.52/86.89 c 87 13367 662 1 - 9.0000 -
91.62/91.94 c 92 15153 647 1 - 9.0000 -
96.60/96.99 c 97 16590 672 1 - 9.0000 -
101.69/102.04 c 102 18605 675 1 - 9.0000 -
106.68/107.09 c 107 20394 646 1 - 9.0000 -
111.76/112.14 c 112 22469 658 1 - 9.0000 -
116.83/117.20 c 117 24269 749 1 - 9.0000 -
121.83/122.24 c 122 25933 741 1 - 9.0000 -
126.81/127.29 c 127 27698 761 1 - 9.0000 -
132.19/132.62 c 133 29203 806 1 - 9.0000 -
137.18/137.67 c 138 30990 792 1 - 9.0000 -
142.26/142.72 c 143 32463 791 1 - 9.0000 -
147.25/147.78 c 148 33752 934 1 - 9.0000 -
152.55/153.03 c 153 34961 832 1 - 9.0000 -
157.53/158.08 c 158 36807 906 1 - 9.0000 -
162.62/163.13 c 163 38741 947 1 - 9.0000 -
167.61/168.18 c 168 40588 969 1 - 9.0000 -
172.68/173.24 c 173 42522 930 1 - 9.0000 -
177.86/178.42 c 178 43943 933 1 - 9.0000 -
182.85/183.47 c 183 45924 959 1 - 9.0000 -
187.93/188.52 c 189 48031 871 1 - 9.0000 -
192.92/193.57 c 194 49248 988 1 - 9.0000 -
198.00/198.63 c 199 50833 993 1 - 9.0000 -
202.98/203.69 c 204 52057 1062 1 - 9.0000 -
208.07/208.73 c 209 53332 1151 1 - 9.0000 -
213.06/213.78 c 214 54865 1230 1 - 9.0000 -
218.15/218.84 c 219 56376 1244 1 - 9.0000 -
223.13/223.89 c 224 57922 1283 1 - 9.0000 -
228.22/228.94 c 229 59619 1299 1 - 9.0000 -
233.20/234.01 c 234 61020 1414 1 - 9.0000 -
238.47/239.23 c 239 62595 1347 1 - 9.0000 -
243.46/244.29 c 244 64310 1400 1 - 9.0000 -
248.65/249.47 c 249 65770 1379 1 - 9.0000 -
253.73/254.56 c 255 66844 1471 1 - 9.0000 -
258.81/259.62 c 260 68572 1511 1 - 9.0000 -
263.90/264.70 c 265 70257 1501 1 - 9.0000 -
268.88/269.75 c 270 71703 1579 1 - 9.0000 -
273.96/274.81 c 275 72957 1663 1 - 9.0000 -
278.94/279.86 c 280 74758 1676 1 - 9.0000 -
284.03/284.91 c 285 76659 1760 1 - 9.0000 -
289.01/289.96 c 290 78108 1678 1 - 9.0000 -
294.10/295.01 c 295 79585 1690 1 - 9.0000 -
299.09/300.06 c 300 80953 1709 1 - 9.0000 -
304.96/305.95 c 306 81788 1 1 - 9.0000 -
310.24/311.21 c 311 82073 200 1 - 9.0000 -
315.22/316.26 c 316 83131 261 1 - 9.0000 -
320.32/321.35 c 321 84197 281 1 - 9.0000 -
325.29/326.39 c 326 85109 304 1 - 9.0000 -
330.38/331.46 c 331 86156 327 1 - 9.0000 -
335.47/336.52 c 337 87197 314 1 - 9.0000 -
340.45/341.57 c 342 88073 316 1 - 9.0000 -
345.53/346.62 c 347 89091 323 1 - 9.0000 -
350.52/351.66 c 352 90236 318 1 - 9.0000 -
355.61/356.73 c 357 91221 328 1 - 9.0000 -
360.60/361.78 c 362 92166 319 1 - 9.0000 -
365.68/366.84 c 367 93279 381 1 - 9.0000 -
370.68/371.88 c 372 94298 423 1 - 9.0000 -
375.76/376.94 c 377 95207 437 1 - 9.0000 -
380.75/381.99 c 382 96250 444 1 - 9.0000 -
385.84/387.09 c 387 97118 457 1 - 9.0000 -
391.01/392.24 c 392 97970 537 1 - 9.0000 -
396.10/397.30 c 397 98951 584 1 - 9.0000 -
401.08/402.38 c 402 99684 653 1 - 9.0000 -
406.16/407.45 c 407 100260 662 1 - 9.0000 -
411.25/412.51 c 413 101159 666 1 - 9.0000 -
416.24/417.56 c 418 101988 669 1 - 9.0000 -
421.32/422.63 c 423 102694 665 1 - 9.0000 -
426.40/427.70 c 428 103402 686 1 - 9.0000 -
431.38/432.78 c 433 104071 711 1 - 9.0000 -
436.47/437.86 c 438 104849 724 1 - 9.0000 -
441.55/442.91 c 443 105637 746 1 - 9.0000 -
446.54/447.96 c 448 106314 738 1 - 9.0000 -
451.62/453.06 c 453 106864 726 1 - 9.0000 -
456.70/458.13 c 458 107510 743 1 - 9.0000 -
461.69/463.20 c 463 108249 752 1 - 9.0000 -
466.77/468.26 c 468 108911 795 1 - 9.0000 -
471.86/473.33 c 473 109594 827 1 - 9.0000 -
476.94/478.40 c 478 110296 836 1 - 9.0000 -
481.92/483.47 c 483 110964 847 1 - 9.0000 -
487.01/488.55 c 489 111661 848 1 - 9.0000 -
492.10/493.62 c 494 112360 870 1 - 9.0000 -
497.08/498.68 c 499 113172 874 1 - 9.0000 -
502.16/503.77 c 504 113862 909 1 - 9.0000 -
507.25/508.83 c 509 114833 912 1 - 9.0000 -
512.23/513.89 c 514 115782 928 1 - 9.0000 -
517.31/518.94 c 519 116621 994 1 - 9.0000 -
522.30/524.01 c 524 117629 1019 1 - 9.0000 -
527.39/529.06 c 529 118529 1048 1 - 9.0000 -
532.48/534.12 c 534 119245 1145 1 - 9.0000 -
537.55/539.22 c 539 119878 1229 1 - 9.0000 -
542.63/544.30 c 544 120454 1269 1 - 9.0000 -
547.63/549.34 c 549 121111 1316 1 - 9.0000 -
552.71/554.43 c 554 121777 1370 1 - 9.0000 -
557.69/559.47 c 559 122466 1447 1 - 9.0000 -
562.78/564.56 c 565 123367 1490 1 - 9.0000 -
567.87/569.62 c 570 124456 1486 1 - 9.0000 -
572.85/574.67 c 575 125438 1479 1 - 9.0000 -
577.94/579.72 c 580 126313 1483 1 - 9.0000 -
582.93/584.78 c 585 127156 1491 1 - 9.0000 -
588.01/589.83 c 590 128137 1495 1 - 9.0000 -
593.00/594.88 c 595 128959 1492 1 - 9.0000 -
598.08/599.93 c 600 129727 1541 1 - 9.0000 -
603.07/605.01 c 605 130593 1560 1 - 9.0000 -
608.16/610.10 c 610 131197 1591 1 - 9.0000 -
613.25/615.19 c 615 131904 1629 1 - 9.0000 -
618.32/620.25 c 620 132589 1641 1 - 9.0000 -
623.40/625.32 c 625 133310 1695 1 - 9.0000 -
628.49/630.41 c 630 134004 1787 1 - 9.0000 -
633.47/635.48 c 635 134694 1830 1 - 9.0000 -
638.57/640.54 c 641 135503 1840 1 - 9.0000 -
643.75/645.71 c 646 136375 1844 1 - 9.0000 -
648.74/650.78 c 651 137190 1841 1 - 9.0000 -
653.82/655.85 c 656 137986 1854 1 - 9.0000 -
658.91/660.92 c 661 138962 1879 1 - 9.0000 -
663.89/665.97 c 666 140007 1866 1 - 9.0000 -
668.98/671.02 c 671 140910 1873 1 - 9.0000 -
673.97/676.09 c 676 141680 1902 1 - 9.0000 -
679.06/681.13 c 681 142606 1932 1 - 9.0000 -
684.04/686.19 c 686 143190 1952 1 - 9.0000 -
689.11/691.27 c 691 143979 2011 1 - 9.0000 -
694.19/696.33 c 696 144619 2059 1 - 9.0000 -
699.29/701.40 c 701 145270 2071 1 - 9.0000 -
704.27/706.46 c 706 146111 2115 1 - 9.0000 -
709.35/711.53 c 712 146846 2150 1 - 9.0000 -
714.34/716.59 c 717 147556 2213 1 - 9.0000 -
719.42/721.69 c 722 148332 2230 1 - 9.0000 -
724.51/726.78 c 727 149090 2296 1 - 9.0000 -
729.60/731.82 c 732 149793 2375 1 - 9.0000 -
734.59/736.88 c 737 150402 2438 1 - 9.0000 -
739.67/741.94 c 742 151099 2444 1 - 9.0000 -
744.77/747.01 c 747 151763 2470 1 - 9.0000 -
749.76/752.08 c 752 152405 2502 1 - 9.0000 -
754.85/757.16 c 757 153043 2524 1 - 9.0000 -
759.92/762.22 c 762 153623 2544 1 - 9.0000 -
765.00/767.30 c 767 154319 2537 1 - 9.0000 -
770.00/772.35 c 772 155081 2543 1 - 9.0000 -
775.08/777.40 c 777 155840 2554 1 - 9.0000 -
780.07/782.47 c 782 156797 2569 1 - 9.0000 -
785.15/787.52 c 788 157819 2609 1 - 9.0000 -
790.14/792.59 c 793 158543 2613 1 - 9.0000 -
795.22/797.64 c 798 159207 2621 1 - 9.0000 -
800.20/802.69 c 803 160147 2630 1 - 9.0000 -
805.30/807.75 c 808 160926 2663 1 - 9.0000 -
810.28/812.79 c 813 161709 2711 1 - 9.0000 -
816.16/818.70 c 819 162387 2719 1 - 9.0000 -
821.25/823.76 c 824 163121 2737 1 - 9.0000 -
826.34/828.84 c 829 163757 2757 1 - 9.0000 -
831.33/833.89 c 834 164465 2789 1 - 9.0000 -
836.41/838.98 c 839 165213 2826 1 - 9.0000 -
841.51/844.03 c 844 165872 2888 1 - 9.0000 -
846.50/849.09 c 849 166563 2917 1 - 9.0000 -
851.58/854.15 c 854 167681 2924 1 - 9.0000 -
856.66/859.21 c 859 168644 2926 1 - 9.0000 -
861.64/864.28 c 864 169445 2976 1 - 9.0000 -
866.73/869.36 c 869 170114 3024 1 - 9.0000 -
871.81/874.41 c 874 170801 3029 1 - 9.0000 -
876.80/879.47 c 879 171549 3042 1 - 9.0000 -
881.89/884.55 c 885 172201 3057 1 - 9.0000 -
886.97/889.60 c 890 173144 3097 1 - 9.0000 -
891.96/894.65 c 895 174067 3114 1 - 9.0000 -
897.05/899.71 c 900 175081 3119 1 - 9.0000 -
902.03/904.76 c 905 176361 3179 1 - 9.0000 -
907.12/909.81 c 910 177712 3205 1 - 9.0000 -
912.10/914.87 c 915 178842 3184 1 - 9.0000 -
917.19/919.92 c 920 179799 3189 1 - 9.0000 -
922.18/924.97 c 925 181018 3184 1 - 9.0000 -
927.28/930.02 c 930 181920 3211 1 - 9.0000 -
932.26/935.07 c 935 182765 3225 1 - 9.0000 -
937.35/940.13 c 940 183718 3226 1 - 9.0000 -
942.33/945.18 c 945 184614 3236 1 - 9.0000 -
947.41/950.23 c 950 185441 3230 1 - 9.0000 -
952.39/955.29 c 955 186239 3223 1 - 9.0000 -
957.47/960.37 c 960 187156 3225 1 - 9.0000 -
962.56/965.42 c 965 188048 3227 1 - 9.0000 -
967.55/970.48 c 970 188947 3230 1 - 9.0000 -
973.04/976.01 c 976 189716 3218 1 - 9.0000 -
978.13/981.06 c 981 190525 3229 1 - 9.0000 -
983.22/986.12 c 986 191609 3251 1 - 9.0000 -
988.20/991.18 c 991 192607 3286 1 - 9.0000 -
993.27/996.23 c 996 193436 3280 1 - 9.0000 -
998.26/1001.29 c 1001 194190 3250 1 - 9.0000 -
1003.35/1006.34 c 1006 195003 3226 1 - 9.0000 -
1008.43/1011.40 c 1011 195887 3228 1 - 9.0000 -
1013.42/1016.46 c 1016 196695 3218 1 - 9.0000 -
1018.50/1021.52 c 1022 197466 3292 1 - 9.0000 -
1023.49/1026.57 c 1027 198169 3308 1 - 9.0000 -
1028.58/1031.61 c 1032 198873 3336 1 - 9.0000 -
1033.57/1036.69 c 1037 199717 3363 1 - 9.0000 -
1038.65/1041.74 c 1042 200490 3406 1 - 9.0000 -
1043.73/1046.83 c 1047 201449 3447 1 - 9.0000 -
1048.72/1051.87 c 1052 203002 3593 1 - 9.0000 -
1053.81/1056.94 c 1057 204201 3627 1 - 9.0000 -
1058.90/1062.03 c 1062 204839 3639 1 - 9.0000 -
1063.88/1067.07 c 1067 205507 3648 1 - 9.0000 -
1068.98/1072.16 c 1072 206230 3664 1 - 9.0000 -
1074.05/1077.26 c 1077 206868 3708 1 - 9.0000 -
1079.13/1082.31 c 1082 207460 3727 1 - 9.0000 -
1084.12/1087.36 c 1087 208095 3749 1 - 9.0000 -
1089.20/1092.41 c 1092 209290 3801 1 - 9.0000 -
1094.29/1097.50 c 1098 210245 3815 1 - 9.0000 -
1099.27/1102.58 c 1103 210957 3864 1 - 9.0000 -
1104.36/1107.66 c 1108 211686 3892 1 - 9.0000 -
1109.45/1112.75 c 1113 212357 3905 1 - 9.0000 -
1114.53/1117.81 c 1118 213097 3916 1 - 9.0000 -
1119.52/1122.86 c 1123 213871 3967 1 - 9.0000 -
1124.60/1127.92 c 1128 214557 4002 1 - 9.0000 -
1129.60/1132.97 c 1133 215258 4046 1 - 9.0000 -
1134.69/1138.03 c 1138 216049 4075 1 - 9.0000 -
1139.67/1143.09 c 1143 216947 4075 1 - 9.0000 -
1144.76/1148.14 c 1148 217847 4118 1 - 9.0000 -
1149.74/1153.20 c 1153 218711 4098 1 - 9.0000 -
1154.82/1158.26 c 1158 219695 4098 1 - 9.0000 -
1160.81/1164.25 c 1164 220537 4072 1 - 9.0000 -
1165.89/1169.30 c 1169 221501 4048 1 - 9.0000 -
1170.88/1174.34 c 1174 222648 4034 1 - 9.0000 -
1175.86/1179.39 c 1179 223839 4056 1 - 9.0000 -
1180.94/1184.44 c 1184 225020 4048 1 - 9.0000 -
1186.02/1189.50 c 1190 226139 4030 1 - 9.0000 -
1191.01/1194.55 c 1195 227301 4035 1 - 9.0000 -
1196.10/1199.60 c 1200 228423 4041 1 - 9.0000 -
1201.08/1204.66 c 1205 229332 4058 1 - 9.0000 -
1206.17/1209.70 c 1210 230453 4067 1 - 9.0000 -
1211.25/1214.81 c 1215 231417 4079 1 - 9.0000 -
1216.24/1219.86 c 1220 232397 4088 1 - 9.0000 -
1221.32/1224.92 c 1225 233528 4086 1 - 9.0000 -
1226.31/1229.98 c 1230 234633 4087 1 - 9.0000 -
1231.41/1235.03 c 1235 235707 4093 1 - 9.0000 -
1236.39/1240.08 c 1240 236865 4083 1 - 9.0000 -
1241.48/1245.15 c 1245 237631 4068 1 - 9.0000 -
1246.55/1250.20 c 1250 238717 4111 1 - 9.0000 -
1251.53/1255.27 c 1255 239881 4106 1 - 9.0000 -
1256.63/1260.31 c 1260 240952 4105 1 - 9.0000 -
1261.61/1265.37 c 1265 242129 4074 1 - 9.0000 -
1266.69/1270.42 c 1270 242906 4098 1 - 9.0000 -
1271.68/1275.46 c 1275 243812 4120 1 - 9.0000 -
1276.76/1280.52 c 1281 244700 4134 1 - 9.0000 -
1281.86/1285.60 c 1286 245460 4141 1 - 9.0000 -
1286.84/1290.66 c 1291 246279 4146 1 - 9.0000 -
1291.92/1295.72 c 1296 247135 4191 1 - 9.0000 -
1296.92/1300.77 c 1301 247875 4210 1 - 9.0000 -
1302.00/1305.83 c 1306 248763 4233 1 - 9.0000 -
1307.08/1310.90 c 1311 249391 4290 1 - 9.0000 -
1312.08/1315.98 c 1316 250209 4309 1 - 9.0000 -
1317.17/1321.05 c 1321 251067 4353 1 - 9.0000 -
1322.26/1326.12 c 1326 251626 4424 1 - 9.0000 -
1327.24/1331.19 c 1331 252358 4470 1 - 9.0000 -
1332.32/1336.27 c 1336 253245 4473 1 - 9.0000 -
1337.41/1341.33 c 1341 254042 4521 1 - 9.0000 -
1342.39/1346.39 c 1346 254938 4584 1 - 9.0000 -
1347.48/1351.44 c 1351 255619 4608 1 - 9.0000 -
1352.56/1356.51 c 1357 256375 4629 1 - 9.0000 -
1357.65/1361.61 c 1362 257152 4655 1 - 9.0000 -
1362.63/1366.65 c 1367 257862 4689 1 - 9.0000 -
1367.73/1371.72 c 1372 258568 4689 1 - 9.0000 -
1372.81/1376.80 c 1377 259391 4748 1 - 9.0000 -
1377.79/1381.84 c 1382 260100 4798 1 - 9.0000 -
1382.88/1386.91 c 1387 261374 4847 1 - 9.0000 -
1387.97/1392.04 c 1392 262165 4865 1 - 9.0000 -
1392.97/1397.08 c 1397 263097 4902 1 - 9.0000 -
1398.06/1402.16 c 1402 263825 4933 1 - 9.0000 -
1403.13/1407.21 c 1407 264664 4968 1 - 9.0000 -
1408.12/1412.28 c 1412 265437 5065 1 - 9.0000 -
1413.20/1417.34 c 1417 266268 5098 1 - 9.0000 -
1418.29/1422.40 c 1422 266925 5122 1 - 9.0000 -
1423.28/1427.45 c 1427 267731 5117 1 - 9.0000 -
1428.37/1432.51 c 1433 268463 5129 1 - 9.0000 -
1433.36/1437.59 c 1438 269450 5146 1 - 9.0000 -
1438.54/1442.70 c 1443 270207 5158 1 - 9.0000 -
1443.54/1447.77 c 1448 270861 5201 1 - 9.0000 -
1448.62/1452.83 c 1453 271517 5214 1 - 9.0000 -
1453.61/1457.89 c 1458 272124 5213 1 - 9.0000 -
1458.70/1462.97 c 1463 272664 5227 1 - 9.0000 -
1463.79/1468.05 c 1468 273277 5237 1 - 9.0000 -
1468.88/1473.13 c 1473 273940 5242 1 - 9.0000 -
1473.87/1478.19 c 1478 274599 5276 1 - 9.0000 -
1478.94/1483.26 c 1483 275243 5308 1 - 9.0000 -
1484.03/1488.32 c 1488 275926 5330 1 - 9.0000 -
1489.02/1493.37 c 1493 276633 5351 1 - 9.0000 -
1494.11/1498.43 c 1498 277323 5374 1 - 9.0000 -
1499.19/1503.52 c 1504 278022 5421 1 - 9.0000 -
1504.18/1508.59 c 1509 278757 5452 1 - 9.0000 -
1509.27/1513.65 c 1514 279551 5500 1 - 9.0000 -
1514.36/1518.70 c 1519 280719 5563 1 - 9.0000 -
1519.44/1523.80 c 1524 281812 5568 1 - 9.0000 -
1524.43/1528.86 c 1529 282791 5601 1 - 9.0000 -
1529.52/1533.90 c 1534 283558 5636 1 - 9.0000 -
1534.50/1538.95 c 1539 284398 5650 1 - 9.0000 -
1539.60/1544.01 c 1544 285151 5680 1 - 9.0000 -
1544.59/1549.08 c 1549 285950 5701 1 - 9.0000 -
1549.69/1554.13 c 1554 286606 5720 1 - 9.0000 -
1554.67/1559.19 c 1559 287368 5747 1 - 9.0000 -
1559.75/1564.23 c 1564 288295 5767 1 - 9.0000 -
1564.74/1569.29 c 1569 288843 5775 1 - 9.0000 -
1569.82/1574.36 c 1574 289668 5803 1 - 9.0000 -
1574.90/1579.41 c 1579 290256 5859 1 - 9.0000 -
1579.89/1584.48 c 1584 290883 5860 1 - 9.0000 -
1584.98/1589.58 c 1590 291573 5887 1 - 9.0000 -
1590.07/1594.66 c 1595 292101 5893 1 - 9.0000 -
1595.16/1599.71 c 1600 293063 5905 1 - 9.0000 -
1600.24/1604.80 c 1605 293676 5944 1 - 9.0000 -
1605.34/1609.90 c 1610 294237 5954 1 - 9.0000 -
1610.33/1614.96 c 1615 294938 5982 1 - 9.0000 -
1615.42/1620.01 c 1620 295735 6000 1 - 9.0000 -
1620.41/1625.05 c 1625 296789 6005 1 - 9.0000 -
1625.50/1630.12 c 1630 297629 5987 1 - 9.0000 -
1630.56/1635.21 c 1635 298383 6000 1 - 9.0000 -
1635.65/1640.37 c 1640 299280 6083 1 - 9.0000 -
1640.73/1645.42 c 1645 300246 6079 1 - 9.0000 -
1645.71/1650.47 c 1650 301179 6144 1 - 9.0000 -
1650.80/1655.53 c 1656 301995 6158 1 - 9.0000 -
1655.79/1660.59 c 1661 302781 6126 1 - 9.0000 -
1660.87/1665.65 c 1666 303621 6122 1 - 9.0000 -
1665.95/1670.71 c 1671 304542 6122 1 - 9.0000 -
1670.93/1675.78 c 1676 305433 6112 1 - 9.0000 -
1676.02/1680.82 c 1681 306202 6092 1 - 9.0000 -
1681.41/1686.27 c 1686 307215 6158 1 - 9.0000 -
1686.49/1691.32 c 1691 308086 6172 1 - 9.0000 -
1691.47/1696.38 c 1696 308955 6178 1 - 9.0000 -
1696.55/1701.44 c 1701 310090 6164 1 - 9.0000 -
1701.54/1706.50 c 1706 311023 6152 1 - 9.0000 -
1706.62/1711.55 c 1712 312119 6161 1 - 9.0000 -
1711.71/1716.61 c 1717 312842 6165 1 - 9.0000 -
1716.69/1721.66 c 1722 313685 6167 1 - 9.0000 -
1721.78/1726.72 c 1727 314670 6187 1 - 9.0000 -
1726.76/1731.77 c 1732 315723 6172 1 - 9.0000 -
1731.85/1736.83 c 1737 316708 6184 1 - 9.0000 -
1736.83/1741.88 c 1742 317238 6207 1 - 9.0000 -
1741.91/1746.96 c 1747 317803 6218 1 - 9.0000 -
1747.01/1752.02 c 1752 318493 6224 1 - 9.0000 -
1751.99/1757.08 c 1757 319270 6272 1 - 9.0000 -
1757.07/1762.15 c 1762 319985 6279 1 - 9.0000 -
1762.14/1767.20 c 1767 320716 6276 1 - 9.0000 -
1767.13/1772.25 c 1772 321469 6288 1 - 9.0000 -
1772.22/1777.30 c 1777 322225 6282 1 - 9.0000 -
1777.20/1782.35 c 1782 323037 6280 1 - 9.0000 -
1782.28/1787.41 c 1787 323809 6305 1 - 9.0000 -
1787.26/1792.47 c 1792 324530 6334 1 - 9.0000 -
1792.36/1797.53 c 1798 325197 6353 1 - 9.0000 -
1797.44/1802.63 c 1803 325971 6364 1 - 9.0000 -
1802.42/1807.68 c 1808 326753 6383 1 - 9.0000 -
1807.50/1812.73 c 1813 327505 6425 1 - 9.0000 -
1812.59/1817.80 c 1818 328389 6422 1 - 9.0000 -
1817.57/1822.85 c 1823 329470 6451 1 - 9.0000 -
1822.66/1827.92 c 1828 330237 6456 1 - 9.0000 -
1827.65/1832.98 c 1833 330982 6496 1 - 9.0000 -
1832.73/1838.05 c 1838 331812 6516 1 - 9.0000 -
1837.72/1843.10 c 1843 332552 6531 1 - 9.0000 -
1842.89/1848.20 c 1848 333564 6584 1 - 9.0000 -
1847.88/1853.26 c 1853 334226 6618 1 - 9.0000 -
1852.96/1858.31 c 1858 334995 6636 1 - 9.0000 -
1857.95/1863.35 c 1863 335810 6642 1 - 9.0000 -
1863.04/1868.41 c 1868 336761 6680 1 - 9.0000 -
1868.02/1873.47 c 1873 337553 6691 1 - 9.0000 -
1873.10/1878.53 c 1879 338142 6709 1 - 9.0000 -
1878.18/1883.62 c 1884 338819 6720 1 - 9.0000 -
1883.17/1888.69 c 1889 339769 6772 1 - 9.0000 -
1888.25/1893.75 c 1894 340525 6815 1 - 9.0000 -
1893.33/1898.83 c 1899 341536 6856 1 - 9.0000 -
1898.32/1903.88 c 1904 342316 6863 1 - 9.0000 -
1903.41/1908.94 c 1909 343039 6859 1 - 9.0000 -
1908.39/1913.99 c 1914 343796 6855 1 - 9.0000 -
1913.49/1919.05 c 1919 344597 6866 1 - 9.0000 -
1918.47/1924.10 c 1924 345446 6860 1 - 9.0000 -
1923.55/1929.15 c 1929 346145 6886 1 - 9.0000 -
1928.62/1934.22 c 1934 347251 6911 1 - 9.0000 -
1933.60/1939.29 c 1939 348011 6917 1 - 9.0000 -
1938.69/1944.37 c 1944 348740 6960 1 - 9.0000 -
1943.78/1949.44 c 1949 349423 6956 1 - 9.0000 -
1948.87/1954.51 c 1955 350086 6958 1 - 9.0000 -
1953.85/1959.56 c 1960 350669 6977 1 - 9.0000 -
1959.82/1965.56 c 1966 351335 6988 1 - 9.0000 -
1964.91/1970.64 c 1971 351891 7008 1 - 9.0000 -
1969.99/1975.70 c 1976 352383 6976 1 - 9.0000 -
1974.98/1980.77 c 1981 353051 7008 1 - 9.0000 -
1980.07/1985.83 c 1986 353697 7017 1 - 9.0000 -
1985.05/1990.88 c 1991 354241 7045 1 - 9.0000 -
1990.13/1995.93 c 1996 354870 7077 1 - 9.0000 -
1995.11/2000.99 c 2001 355438 7100 1 - 9.0000 -
2000.22/2006.10 c 2006 356169 7102 1 - 9.0000 -
2005.30/2011.14 c 2011 357019 7142 1 - 9.0000 -
2010.28/2016.19 c 2016 358055 7160 1 - 9.0000 -
2015.35/2021.25 c 2021 359078 7164 1 - 9.0000 -
2020.44/2026.30 c 2026 359896 7190 1 - 9.0000 -
2025.43/2031.34 c 2031 360900 7203 1 - 9.0000 -
2030.51/2036.40 c 2036 361841 7190 1 - 9.0000 -
2035.49/2041.45 c 2041 362777 7197 1 - 9.0000 -
2040.58/2046.51 c 2047 363626 7197 1 - 9.0000 -
2045.56/2051.57 c 2052 364503 7217 1 - 9.0000 -
2050.64/2056.61 c 2057 365388 7230 1 - 9.0000 -
2055.62/2061.67 c 2062 366284 7242 1 - 9.0000 -
2060.71/2066.74 c 2067 367125 7233 1 - 9.0000 -
2065.69/2071.79 c 2072 368046 7233 1 - 9.0000 -
2070.78/2076.84 c 2077 368943 7228 1 - 9.0000 -
2075.87/2081.91 c 2082 369812 7223 1 - 9.0000 -
2080.85/2086.95 c 2087 370749 7221 1 - 9.0000 -
2085.84/2092.01 c 2092 371678 7217 1 - 9.0000 -
2090.93/2097.06 c 2097 372564 7231 1 - 9.0000 -
2096.01/2102.14 c 2102 373452 7245 1 - 9.0000 -
2100.99/2107.18 c 2107 374197 7266 1 - 9.0000 -
2106.07/2112.24 c 2112 374991 7256 1 - 9.0000 -
2111.15/2117.30 c 2117 375798 7280 1 - 9.0000 -
2116.13/2122.35 c 2122 376628 7288 1 - 9.0000 -
2121.22/2127.41 c 2127 377458 7292 1 - 9.0000 -
2126.20/2132.46 c 2132 378516 7301 1 - 9.0000 -
2131.29/2137.52 c 2138 379394 7300 1 - 9.0000 -
2136.27/2142.57 c 2143 380179 7309 1 - 9.0000 -
2141.36/2147.63 c 2148 380962 7314 1 - 9.0000 -
2146.44/2152.70 c 2153 381832 7310 1 - 9.0000 -
2151.42/2157.75 c 2158 382579 7327 1 - 9.0000 -
2156.51/2162.81 c 2163 383441 7317 1 - 9.0000 -
2161.49/2167.87 c 2168 384456 7320 1 - 9.0000 -
2166.57/2172.91 c 2173 385317 7320 1 - 9.0000 -
2171.56/2177.98 c 2178 386255 7326 1 - 9.0000 -
2176.65/2183.07 c 2183 387152 7321 1 - 9.0000 -
2181.74/2188.12 c 2188 388100 7306 1 - 9.0000 -
2186.71/2193.17 c 2193 389086 7292 1 - 9.0000 -
2191.79/2198.23 c 2198 389935 7327 1 - 9.0000 -
2196.78/2203.29 c 2203 390807 7348 1 - 9.0000 -
2201.86/2208.35 c 2208 391646 7350 1 - 9.0000 -
2206.94/2213.40 c 2213 392579 7351 1 - 9.0000 -
2211.92/2218.47 c 2218 393425 7339 1 - 9.0000 -
2217.01/2223.51 c 2224 394309 7348 1 - 9.0000 -
2221.99/2228.57 c 2229 395164 7345 1 - 9.0000 -
2227.07/2233.64 c 2234 395985 7343 1 - 9.0000 -
2232.16/2238.71 c 2239 396904 7344 1 - 9.0000 -
2237.15/2243.78 c 2244 397761 7354 1 - 9.0000 -
2242.23/2248.83 c 2249 398639 7387 1 - 9.0000 -
2247.61/2254.20 c 2254 399539 7376 1 - 9.0000 -
2252.60/2259.26 c 2259 400327 7386 1 - 9.0000 -
2257.68/2264.32 c 2264 401096 7390 1 - 9.0000 -
2262.67/2269.36 c 2269 402055 7416 1 - 9.0000 -
2267.75/2274.42 c 2274 402961 7415 1 - 9.0000 -
2272.73/2279.47 c 2279 403835 7411 1 - 9.0000 -
2277.82/2284.52 c 2285 404755 7403 1 - 9.0000 -
2282.80/2289.57 c 2290 405639 7418 1 - 9.0000 -
2287.88/2294.64 c 2295 406480 7418 1 - 9.0000 -
2292.97/2299.70 c 2300 407281 7417 1 - 9.0000 -
2297.95/2304.74 c 2305 408204 7406 1 - 9.0000 -
2303.04/2309.81 c 2310 409134 7400 1 - 9.0000 -
2308.02/2314.87 c 2315 410089 7393 1 - 9.0000 -
2313.11/2319.92 c 2320 411106 7392 1 - 9.0000 -
2318.09/2324.97 c 2325 412171 7394 1 - 9.0000 -
2323.18/2330.02 c 2330 413138 7381 1 - 9.0000 -
2328.16/2335.08 c 2335 414067 7374 1 - 9.0000 -
2333.25/2340.15 c 2340 414937 7372 1 - 9.0000 -
2338.32/2345.20 c 2345 415865 7389 1 - 9.0000 -
2343.31/2350.25 c 2350 416837 7388 1 - 9.0000 -
2348.39/2355.30 c 2355 417738 7379 1 - 9.0000 -
2353.38/2360.34 c 2360 418721 7384 1 - 9.0000 -
2358.46/2365.40 c 2365 419692 7411 1 - 9.0000 -
2363.44/2370.45 c 2370 420810 7419 1 - 9.0000 -
2368.54/2375.50 c 2376 421842 7446 1 - 9.0000 -
2373.52/2380.56 c 2381 422844 7461 1 - 9.0000 -
2378.60/2385.60 c 2386 423731 7457 1 - 9.0000 -
2383.59/2390.66 c 2391 424727 7453 1 - 9.0000 -
2388.68/2395.72 c 2396 425640 7451 1 - 9.0000 -
2393.66/2400.77 c 2401 426562 7451 1 - 9.0000 -
2398.76/2405.82 c 2406 427530 7473 1 - 9.0000 -
2403.74/2410.87 c 2411 428468 7492 1 - 9.0000 -
2408.83/2415.94 c 2416 429362 7496 1 - 9.0000 -
2413.81/2420.99 c 2421 430324 7516 1 - 9.0000 -
2418.92/2426.04 c 2426 431279 7519 1 - 9.0000 -
2423.90/2431.10 c 2431 432096 7529 1 - 9.0000 -
2428.98/2436.15 c 2436 432948 7537 1 - 9.0000 -
2434.06/2441.22 c 2441 433820 7561 1 - 9.0000 -
2439.04/2446.27 c 2446 434742 7562 1 - 9.0000 -
2444.14/2451.33 c 2451 435655 7564 1 - 9.0000 -
2449.12/2456.37 c 2456 436588 7569 1 - 9.0000 -
2454.20/2461.42 c 2461 437361 7561 1 - 9.0000 -
2459.19/2466.48 c 2466 438187 7555 1 - 9.0000 -
2464.27/2471.55 c 2472 439024 7545 1 - 9.0000 -
2469.36/2476.61 c 2477 439824 7545 1 - 9.0000 -
2474.34/2481.68 c 2482 440608 7544 1 - 9.0000 -
2479.42/2486.74 c 2487 441429 7524 1 - 9.0000 -
2484.41/2491.79 c 2492 442253 7505 1 - 9.0000 -
2489.49/2496.85 c 2497 443000 7495 1 - 9.0000 -
2494.48/2501.89 c 2502 443881 7499 1 - 9.0000 -
2499.57/2506.94 c 2507 444956 7510 1 - 9.0000 -
2504.55/2512.01 c 2512 445989 7512 1 - 9.0000 -
2509.63/2517.05 c 2517 447083 7512 1 - 9.0000 -
2514.62/2522.10 c 2522 448144 7497 1 - 9.0000 -
2519.70/2527.15 c 2527 449054 7500 1 - 9.0000 -
2524.78/2532.21 c 2532 449941 7502 1 - 9.0000 -
2529.76/2537.28 c 2537 450752 7500 1 - 9.0000 -
2534.85/2542.33 c 2542 451632 7502 1 - 9.0000 -
2539.92/2547.48 c 2547 452413 7532 1 - 9.0000 -
2545.01/2552.54 c 2553 453348 7538 1 - 9.0000 -
2549.99/2557.58 c 2558 454329 7547 1 - 9.0000 -
2555.07/2562.63 c 2563 455328 7537 1 - 9.0000 -
2560.07/2567.69 c 2568 456337 7528 1 - 9.0000 -
2565.15/2572.73 c 2573 457278 7532 1 - 9.0000 -
2570.23/2577.80 c 2578 458218 7529 1 - 9.0000 -
2575.21/2582.85 c 2583 459131 7540 1 - 9.0000 -
2580.19/2587.89 c 2588 460045 7527 1 - 9.0000 -
2585.28/2592.94 c 2593 460904 7548 1 - 9.0000 -
2590.26/2598.01 c 2598 461665 7537 1 - 9.0000 -
2595.35/2603.06 c 2603 462515 7545 1 - 9.0000 -
2600.45/2608.12 c 2608 463497 7573 1 - 9.0000 -
2605.43/2613.17 c 2613 464443 7581 1 - 9.0000 -
2610.50/2618.23 c 2618 465481 7605 1 - 9.0000 -
2615.48/2623.28 c 2623 466422 7596 1 - 9.0000 -
2620.56/2628.34 c 2628 467278 7631 1 - 9.0000 -
2625.55/2633.38 c 2633 468085 7654 1 - 9.0000 -
2630.64/2638.44 c 2638 468903 7651 1 - 9.0000 -
2635.62/2643.49 c 2643 469850 7678 1 - 9.0000 -
2640.70/2648.54 c 2649 470821 7682 1 - 9.0000 -
2645.69/2653.59 c 2654 471723 7681 1 - 9.0000 -
2650.77/2658.64 c 2659 472581 7709 1 - 9.0000 -
2655.86/2663.70 c 2664 473427 7751 1 - 9.0000 -
2660.84/2668.76 c 2669 474196 7756 1 - 9.0000 -
2665.92/2673.81 c 2674 475044 7756 1 - 9.0000 -
2670.90/2678.86 c 2679 475953 7753 1 - 9.0000 -
2675.99/2683.91 c 2684 476849 7766 1 - 9.0000 -
2680.97/2688.95 c 2689 477835 7775 1 - 9.0000 -
2686.07/2694.01 c 2694 478669 7769 1 - 9.0000 -
2691.05/2699.07 c 2699 479584 7780 1 - 9.0000 -
2696.14/2704.12 c 2704 480500 7778 1 - 9.0000 -
2701.13/2709.17 c 2709 481335 7795 1 - 9.0000 -
2706.19/2714.22 c 2714 482252 7816 1 - 9.0000 -
2711.17/2719.28 c 2719 483155 7823 1 - 9.0000 -
2716.26/2724.34 c 2724 484004 7824 1 - 9.0000 -
2721.24/2729.39 c 2729 484870 7829 1 - 9.0000 -
2726.33/2734.45 c 2734 485792 7832 1 - 9.0000 -
2731.41/2739.53 c 2740 486676 7846 1 - 9.0000 -
2736.40/2744.58 c 2745 487557 7837 1 - 9.0000 -
2741.48/2749.63 c 2750 488506 7843 1 - 9.0000 -
2746.46/2754.67 c 2755 489370 7841 1 - 9.0000 -
2751.55/2759.72 c 2760 490293 7835 1 - 9.0000 -
2756.53/2764.78 c 2765 491215 7837 1 - 9.0000 -
2761.62/2769.83 c 2770 492164 7839 1 - 9.0000 -
2766.60/2774.88 c 2775 492987 7848 1 - 9.0000 -
2771.68/2779.93 c 2780 493856 7865 1 - 9.0000 -
2776.66/2784.99 c 2785 494647 7875 1 - 9.0000 -
2781.76/2790.07 c 2790 495401 7887 1 - 9.0000 -
2786.85/2795.11 c 2795 496208 7892 1 - 9.0000 -
2791.83/2800.17 c 2800 497157 7905 1 - 9.0000 -
2796.91/2805.23 c 2805 498136 7919 1 - 9.0000 -
2801.89/2810.28 c 2810 499053 7905 1 - 9.0000 -
2806.97/2815.33 c 2815 499949 7893 1 - 9.0000 -
2811.96/2820.38 c 2820 500922 7917 1 - 9.0000 -
2817.04/2825.43 c 2825 501838 7928 1 - 9.0000 -
2822.02/2830.48 c 2830 502746 7962 1 - 9.0000 -
2827.11/2835.54 c 2836 503616 7967 1 - 9.0000 -
2832.09/2840.58 c 2841 504536 7961 1 - 9.0000 -
2837.18/2845.64 c 2846 505455 7957 1 - 9.0000 -
2842.26/2850.70 c 2851 506368 7965 1 - 9.0000 -
2847.25/2855.75 c 2856 507315 7957 1 - 9.0000 -
2852.33/2860.81 c 2861 508242 7952 1 - 9.0000 -
2857.31/2865.86 c 2866 509098 7949 1 - 9.0000 -
2862.79/2871.37 c 2871 509894 7958 1 - 9.0000 -
2867.87/2876.44 c 2876 510659 7968 1 - 9.0000 -
2872.96/2881.51 c 2882 511425 7969 1 - 9.0000 -
2877.95/2886.56 c 2887 512246 7975 1 - 9.0000 -
2883.03/2891.61 c 2892 513044 7981 1 - 9.0000 -
2888.02/2896.68 c 2897 513865 7971 1 - 9.0000 -
2893.10/2901.74 c 2902 514749 7972 1 - 9.0000 -
2898.08/2906.78 c 2907 515617 7974 1 - 9.0000 -
2903.16/2911.84 c 2912 516483 7971 1 - 9.0000 -
2908.15/2916.89 c 2917 517590 7986 1 - 9.0000 -
2913.23/2921.95 c 2922 518524 7973 1 - 9.0000 -
2918.22/2927.01 c 2927 519391 7959 1 - 9.0000 -
2923.30/2932.05 c 2932 520181 7961 1 - 9.0000 -
2928.38/2937.12 c 2937 521008 7956 1 - 9.0000 -
2933.37/2942.17 c 2942 521805 7989 1 - 9.0000 -
2938.44/2947.22 c 2947 522672 8009 1 - 9.0000 -
2943.42/2952.28 c 2952 523500 8005 1 - 9.0000 -
2948.51/2957.34 c 2957 524348 8007 1 - 9.0000 -
2953.50/2962.38 c 2962 525367 8009 1 - 9.0000 -
2958.58/2967.43 c 2967 526237 8019 1 - 9.0000 -
2963.57/2972.48 c 2972 526979 8026 1 - 9.0000 -
2968.64/2977.53 c 2978 527773 8017 1 - 9.0000 -
2973.63/2982.58 c 2983 528762 8016 1 - 9.0000 -
2978.72/2987.64 c 2988 529709 8013 1 - 9.0000 -
2983.70/2992.69 c 2993 530610 8032 1 - 9.0000 -
2988.78/2997.76 c 2998 531461 8043 1 - 9.0000 -
2993.87/3002.81 c 3003 532259 8056 1 - 9.0000 -
2998.85/3007.86 c 3008 533258 8066 1 - 9.0000 -
3003.93/3012.92 c 3013 534332 8078 1 - 9.0000 -
3008.92/3017.97 c 3018 535269 8077 1 - 9.0000 -
3014.01/3023.02 c 3023 536086 8068 1 - 9.0000 -
3019.00/3028.09 c 3028 536947 8071 1 - 9.0000 -
3024.08/3033.13 c 3033 537739 8067 1 - 9.0000 -
3029.06/3038.19 c 3038 538600 8055 1 - 9.0000 -
3034.14/3043.25 c 3043 539508 8063 1 - 9.0000 -
3039.22/3048.31 c 3048 540384 8052 1 - 9.0000 -
3044.21/3053.36 c 3053 541291 8061 1 - 9.0000 -
3049.29/3058.42 c 3058 542088 8054 1 - 9.0000 -
3054.28/3063.48 c 3063 542942 8048 1 - 9.0000 -
3059.36/3068.53 c 3069 543736 8048 1 - 9.0000 -
3064.34/3073.59 c 3074 544599 8056 1 - 9.0000 -
3069.43/3078.65 c 3079 545377 8040 1 - 9.0000 -
3074.51/3083.71 c 3084 546185 8067 1 - 9.0000 -
3079.49/3088.77 c 3089 547023 8071 1 - 9.0000 -
3084.58/3093.81 c 3094 547859 8068 1 - 9.0000 -
3089.56/3098.87 c 3099 548629 8056 1 - 9.0000 -
3094.65/3103.92 c 3104 549410 8055 1 - 9.0000 -
3099.63/3108.97 c 3109 550273 8052 1 - 9.0000 -
3104.73/3114.03 c 3114 551131 8046 1 - 9.0000 -
3109.71/3119.09 c 3119 551894 8062 1 - 9.0000 -
3114.80/3124.14 c 3124 552801 8062 1 - 9.0000 -
3119.77/3129.19 c 3129 553697 8067 1 - 9.0000 -
3124.85/3134.24 c 3134 554572 8060 1 - 9.0000 -
3129.83/3139.29 c 3139 555560 8065 1 - 9.0000 -
3134.91/3144.34 c 3144 556553 8046 1 - 9.0000 -
3139.90/3149.39 c 3149 557566 8052 1 - 9.0000 -
3144.98/3154.45 c 3154 558651 8042 1 - 9.0000 -
3150.06/3159.50 c 3160 559866 8065 1 - 9.0000 -
3155.05/3164.55 c 3165 560777 8056 1 - 9.0000 -
3160.14/3169.60 c 3170 561714 8060 1 - 9.0000 -
3165.12/3174.66 c 3175 562676 8059 1 - 9.0000 -
3170.20/3179.71 c 3180 563509 8054 1 - 9.0000 -
3175.19/3184.77 c 3185 564381 8063 1 - 9.0000 -
3180.27/3189.83 c 3190 565300 8078 1 - 9.0000 -
3185.26/3194.88 c 3195 566336 8067 1 - 9.0000 -
3190.34/3199.93 c 3200 567393 8071 1 - 9.0000 -
3195.33/3204.98 c 3205 568408 8079 1 - 9.0000 -
3200.41/3210.03 c 3210 569472 8072 1 - 9.0000 -
3205.39/3215.09 c 3215 570417 8076 1 - 9.0000 -
3210.48/3220.13 c 3220 571345 8074 1 - 9.0000 -
3215.55/3225.21 c 3225 572285 8064 1 - 9.0000 -
3220.54/3230.25 c 3230 573132 8085 1 - 9.0000 -
3225.62/3235.31 c 3235 574081 8075 1 - 9.0000 -
3230.61/3240.36 c 3240 575047 8096 1 - 9.0000 -
3235.69/3245.40 c 3245 576166 8094 1 - 9.0000 -
3240.67/3250.46 c 3250 577146 8099 1 - 9.0000 -
3245.76/3255.52 c 3256 578161 8109 1 - 9.0000 -
3250.74/3260.58 c 3261 579062 8112 1 - 9.0000 -
3255.82/3265.63 c 3266 579863 8117 1 - 9.0000 -
3260.81/3270.68 c 3271 580824 8136 1 - 9.0000 -
3265.89/3275.74 c 3276 581646 8128 1 - 9.0000 -
3270.88/3280.79 c 3281 582630 8127 1 - 9.0000 -
3275.96/3285.85 c 3286 583683 8121 1 - 9.0000 -
3280.94/3290.89 c 3291 584563 8133 1 - 9.0000 -
3286.03/3295.95 c 3296 585432 8139 1 - 9.0000 -
3291.13/3301.01 c 3301 586284 8144 1 - 9.0000 -
3296.11/3306.07 c 3306 587144 8136 1 - 9.0000 -
3301.19/3311.12 c 3311 587950 8136 1 - 9.0000 -
3306.17/3316.18 c 3316 588729 8140 1 - 9.0000 -
3311.25/3321.25 c 3321 589491 8140 1 - 9.0000 -
3316.33/3326.31 c 3326 590285 8140 1 - 9.0000 -
3321.31/3331.37 c 3331 591112 8137 1 - 9.0000 -
3326.40/3336.45 c 3336 591920 8134 1 - 9.0000 -
3331.48/3341.50 c 3342 592784 8133 1 - 9.0000 -
3336.47/3346.54 c 3347 593734 8141 1 - 9.0000 -
3341.55/3351.61 c 3352 594653 8150 1 - 9.0000 -
3346.53/3356.66 c 3357 595665 8133 1 - 9.0000 -
3351.62/3361.71 c 3362 596690 8128 1 - 9.0000 -
3356.60/3366.75 c 3367 597693 8130 1 - 9.0000 -
3361.68/3371.80 c 3372 598636 8123 1 - 9.0000 -
3366.67/3376.88 c 3377 599444 8124 1 - 9.0000 -
3371.75/3381.93 c 3382 600255 8133 1 - 9.0000 -
3376.73/3387.01 c 3387 601173 8115 1 - 9.0000 -
3381.82/3392.05 c 3392 602035 8119 1 - 9.0000 -
3386.81/3397.09 c 3397 603117 8117 1 - 9.0000 -
3391.90/3402.14 c 3402 604031 8110 1 - 9.0000 -
3396.97/3407.20 c 3407 605031 8109 1 - 9.0000 -
3401.97/3412.25 c 3412 605996 8119 1 - 9.0000 -
3407.04/3417.30 c 3417 606946 8125 1 - 9.0000 -
3412.03/3422.37 c 3422 607920 8142 1 - 9.0000 -
3417.11/3427.42 c 3427 608885 8138 1 - 9.0000 -
3422.10/3432.47 c 3432 609883 8159 1 - 9.0000 -
3427.18/3437.51 c 3438 610913 8156 1 - 9.0000 -
3432.16/3442.57 c 3443 611969 8153 1 - 9.0000 -
3437.25/3447.62 c 3448 612843 8145 1 - 9.0000 -
3442.23/3452.67 c 3453 613780 8151 1 - 9.0000 -
3447.32/3457.73 c 3458 614894 8144 1 - 9.0000 -
3452.30/3462.78 c 3463 615897 8149 1 - 9.0000 -
3457.39/3467.84 c 3468 616838 8155 1 - 9.0000 -
3462.37/3472.89 c 3473 617741 8153 1 - 9.0000 -
3467.46/3477.95 c 3478 618623 8188 1 - 9.0000 -
3472.44/3482.99 c 3483 619457 8198 1 - 9.0000 -
3477.54/3488.05 c 3488 620266 8181 1 - 9.0000 -
3482.52/3493.09 c 3493 621107 8178 1 - 9.0000 -
3487.62/3498.15 c 3498 622071 8192 1 - 9.0000 -
3492.69/3503.21 c 3503 623075 8194 1 - 9.0000 -
3497.67/3508.26 c 3508 624026 8190 1 - 9.0000 -
3502.76/3513.30 c 3513 624912 8194 1 - 9.0000 -
3507.75/3518.36 c 3518 625890 8200 1 - 9.0000 -
3512.84/3523.42 c 3523 626849 8222 1 - 9.0000 -
3517.82/3528.47 c 3528 627805 8246 1 - 9.0000 -
3522.92/3533.52 c 3534 628846 8267 1 - 9.0000 -
3527.90/3538.59 c 3539 629792 8277 1 - 9.0000 -
3532.99/3543.65 c 3544 630818 8281 1 - 9.0000 -
3537.98/3548.69 c 3549 631905 8302 1 - 9.0000 -
3543.06/3553.74 c 3554 632875 8290 1 - 9.0000 -
3548.15/3558.80 c 3559 634007 8299 1 - 9.0000 -
3553.14/3563.85 c 3564 635045 8292 1 - 9.0000 -
3558.22/3568.90 c 3569 635925 8299 1 - 9.0000 -
3563.21/3573.95 c 3574 636918 8309 1 - 9.0000 -
3568.20/3578.99 c 3579 637880 8304 1 - 9.0000 -
3573.30/3584.05 c 3584 638727 8326 1 - 9.0000 -
3578.28/3589.10 c 3589 639587 8327 1 - 9.0000 -
3583.37/3594.16 c 3594 640340 8347 1 - 9.0000 -
3587.36/3598.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.36/3598.14 c Total Time : 3598.1300
3587.36/3598.14 c solving : 3598.1300
3587.36/3598.14 c presolving : 3.9632 (included in solving)
3587.36/3598.14 c B&B Tree :
3587.36/3598.14 c nodes (total) : 1
3587.36/3598.14 c Solution :
3587.36/3598.14 c Solutions found : 0
3587.36/3598.14 c Primal Bound : -
3587.36/3598.14 c Dual Bound : +9.00000000000000e+00
3587.36/3598.14 c Gap : -
3587.36/3598.17 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63549 MiB free)
memory of node 1: 64473 MiB (55455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464130-1722382195/watcher-4464130-1722382195 -o /tmp/evaluation-result-4464130-1722382195/solver-4464130-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28008 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464130-1722382195.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30264, runsolver pid=30261
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.16 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121814728/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=48140 memory=38008 CPUtime=0.1 cores=4,6
/proc/30264/stat : 30264 (fscip) R 30261 30264 27997 0 -1 4194304 7205 0 0 0 8 2 0 0 20 0 1 0 4589900 49295360 9502 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 12035 9502 2555 3035 0 8431 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48140 KiB
Current children cumulated memory: 38008 KiB
[startup+0.214012 s]*
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121793476/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=60040 memory=48584 CPUtime=0.22 cores=4,6
/proc/30264/stat : 30264 (fscip) R 30261 30264 27997 0 -1 4194304 9791 0 0 0 19 3 0 0 20 0 1 0 4589900 61480960 12146 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 15010 12146 2630 3035 0 11406 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 60040 KiB
Current children cumulated memory: 48584 KiB
[startup+0.31357 s]*
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121773868/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=69832 memory=58508 CPUtime=0.31 cores=4,6
/proc/30264/stat : 30264 (fscip) R 30261 30264 27997 0 -1 4194304 13487 0 0 0 27 4 0 0 20 0 1 0 4589900 71507968 14627 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 17458 14627 2694 3035 0 13854 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69832 KiB
Current children cumulated memory: 58508 KiB
[startup+0.700326 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121763824/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=100792 memory=77460 CPUtime=0.69 cores=4,6
/proc/30264/stat : 30264 (fscip) R 30261 30264 27997 0 -1 4194304 20059 0 0 0 62 7 0 0 20 0 1 0 4589900 103211008 19365 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 25198 19365 2790 3035 0 21594 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100792 KiB
Current children cumulated memory: 77460 KiB
[startup+1.50026 s]
/proc/loadavg: 4.15 4.14 4.09 5/249 30265
/proc/meminfo: memFree=121739752/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=108992 memory=86172 CPUtime=1.49 cores=4,6
/proc/30264/stat : 30264 (fscip) R 30261 30264 27997 0 -1 4194304 22262 0 0 0 141 8 0 0 20 0 1 0 4589900 111607808 21543 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 27248 21543 2790 3035 0 23644 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108992 KiB
Current children cumulated memory: 86172 KiB
[startup+3.11198 s]
/proc/loadavg: 4.15 4.14 4.09 6/251 30271
/proc/meminfo: memFree=123296068/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=117044 memory=93828 CPUtime=3.09 cores=4,6
/proc/30264/stat : 30264 (fscip) R 30261 30264 27997 0 -1 4194304 24167 0 0 0 301 8 0 0 20 0 1 0 4589900 119853056 23457 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 29261 23457 2790 3035 0 25657 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 117044 KiB
Current children cumulated memory: 93828 KiB
[startup+6.30039 s]
/proc/loadavg: 4.21 4.15 4.10 5/249 30379
/proc/meminfo: memFree=128584764/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=261712 memory=216660 CPUtime=6.27 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 60653 0 0 0 610 17 0 0 20 0 3 0 4589900 267993088 54165 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 65428 54165 2806 3035 0 61384 0
[pid=30264/tid=30322] ppid=30261 vsize=261712 memory=11536 CPUtime=2.16 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 20917 0 0 0 210 6 0 0 20 0 3 0 4590310 267993088 54165 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=261712 memory=0 CPUtime=0 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4590316 267993088 54165 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 261712 KiB
Current children cumulated memory: 216660 KiB
[startup+12.7004 s]
/proc/loadavg: 4.20 4.15 4.10 5/255 30415
/proc/meminfo: memFree=128276044/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=398152 memory=319360 CPUtime=12.64 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 121548 0 0 0 1241 23 0 0 20 0 3 0 4589900 407707648 79840 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 99538 79840 2998 3035 0 89577 0
[pid=30264/tid=30322] ppid=30261 vsize=398152 memory=244636 CPUtime=8.54 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 81826 0 0 0 841 13 0 0 20 0 3 0 4590310 407707648 79840 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=398152 memory=12856 CPUtime=0 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4590316 407707648 79840 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 398152 KiB
Current children cumulated memory: 319360 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 30418
/proc/meminfo: memFree=128135096/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=398152 memory=336208 CPUtime=25.4 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 184752 0 0 0 2512 28 0 0 20 0 3 0 4589900 407707648 84052 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 99538 84052 2998 3035 0 94482 0
[pid=30264/tid=30322] ppid=30261 vsize=398152 memory=336144 CPUtime=21.3 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 144955 0 0 0 2112 18 0 0 20 0 3 0 4590310 407707648 84052 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=398152 memory=193 CPUtime=0 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4590316 407707648 84052 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 398152 KiB
Current children cumulated memory: 336208 KiB
[startup+51.1125 s]
/proc/loadavg: 4.23 4.16 4.10 5/252 30477
/proc/meminfo: memFree=128032704/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=463688 memory=355020 CPUtime=50.94 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 254306 0 0 0 5059 35 0 0 20 0 3 0 4589900 474816512 88755 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 115922 88755 2998 3035 0 97003 0
[pid=30264/tid=30322] ppid=30261 vsize=463688 memory=346408 CPUtime=46.83 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 214461 0 0 0 4659 24 0 0 20 0 3 0 4590310 474816512 88755 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=463688 memory=2248 CPUtime=0 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4590316 474816512 88755 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 463688 KiB
Current children cumulated memory: 355020 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/252 30486
/proc/meminfo: memFree=128007664/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=463688 memory=373004 CPUtime=101.98 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 349866 0 0 0 10151 47 0 0 20 0 3 0 4589900 474816512 93251 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 115922 93251 2998 3035 0 100718 0
[pid=30264/tid=30322] ppid=30261 vsize=463688 memory=16320 CPUtime=97.87 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 309968 0 0 0 9751 36 0 0 20 0 3 0 4590310 474816512 93251 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=463688 memory=366576 CPUtime=0 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4590316 474816512 93251 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 463688 KiB
Current children cumulated memory: 373004 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/252 30497
/proc/meminfo: memFree=127938632/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=463688 memory=378116 CPUtime=161.81 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 405167 0 0 0 16124 57 0 0 20 0 3 0 4589900 474816512 94529 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 115922 94529 2998 3035 0 101307 0
[pid=30264/tid=30322] ppid=30261 vsize=463688 memory=375700 CPUtime=157.69 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 365253 0 0 0 15723 46 0 0 20 0 3 0 4590310 474816512 94529 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=463688 memory=37112 CPUtime=0 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4590316 474816512 94529 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 463688 KiB
Current children cumulated memory: 378116 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 30508
/proc/meminfo: memFree=127882044/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=463688 memory=385820 CPUtime=221.63 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 451361 0 0 0 22095 68 0 0 20 0 3 0 4589900 474816512 96455 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 115922 96455 2998 3035 0 103005 0
[pid=30264/tid=30322] ppid=30261 vsize=463688 memory=385820 CPUtime=217.51 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 411429 0 0 0 21694 57 0 0 20 0 3 0 4590310 474816512 96455 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=463688 memory=11536 CPUtime=0 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4590316 474816512 96455 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 463688 KiB
Current children cumulated memory: 385820 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/250 30518
/proc/meminfo: memFree=127859024/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=463688 memory=404596 CPUtime=281.44 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 475029 0 0 0 28067 77 0 0 20 0 3 0 4589900 474816512 101149 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 115922 101149 2998 3035 0 107709 0
[pid=30264/tid=30322] ppid=30261 vsize=463688 memory=11536 CPUtime=277.31 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 435085 0 0 0 27666 65 0 0 20 0 3 0 4590310 474816512 101149 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
################
# More data... #
################
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=11536 CPUtime=3447.44 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 800885 0 0 0 344452 292 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=-7524507294014465402 CPUtime=0.05 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.29 4.19 5/252 32400
/proc/meminfo: memFree=113986684/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=709948 CPUtime=3511.74 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 846181 0 0 0 350852 322 0 0 20 0 3 0 4589900 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=11536 CPUtime=3507.27 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 805642 0 0 0 350431 296 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=709948 CPUtime=0.05 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 137 0 0 0 1 4 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.29 4.20 5/252 32411
/proc/meminfo: memFree=113952328/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=709948 CPUtime=3571.58 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 850307 0 0 0 356832 326 0 0 20 0 3 0 4589900 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=709948 CPUtime=3567.12 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 809757 0 0 0 356411 301 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=709948 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3598.2 s]
# the end of solver process 30264 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.14 s, system=3.31876 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.29 4.20 5/252 32412
/proc/meminfo: memFree=113951928/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=709948 CPUtime=3573.3 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 850396 0 0 0 357003 327 0 0 20 0 3 0 4589900 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=709948 CPUtime=3568.82 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 809846 0 0 0 356581 301 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=4786084627272593057 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.28 4.20 5/252 32412
/proc/meminfo: memFree=113951992/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=709948 CPUtime=3579.67 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 850598 0 0 0 357639 328 0 0 20 0 3 0 4589900 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=11536 CPUtime=3575.2 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 810048 0 0 0 357218 302 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=12856 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3579.67 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.28 4.20 5/252 32414
/proc/meminfo: memFree=113951828/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=709948 CPUtime=3582.86 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 850700 0 0 0 357958 328 0 0 20 0 3 0 4589900 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=709948 CPUtime=3578.39 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 810150 0 0 0 357537 302 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=709948 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3582.86 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3595.2 s]
/proc/loadavg: 4.17 4.28 4.20 5/252 32414
/proc/meminfo: memFree=113948780/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=709948 CPUtime=3584.46 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 851750 0 0 0 358118 328 0 0 20 0 3 0 4589900 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=466436 CPUtime=3579.98 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 811200 0 0 0 357696 302 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=709948 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3584.46 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113948824/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=709948 CPUtime=3586.05 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 851900 0 0 0 358277 328 0 0 20 0 3 0 4589900 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 177487 2998 3035 0 181793 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=11536 CPUtime=3581.58 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 811350 0 0 0 357856 302 0 0 20 0 3 0 4590310 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=709948 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 177487 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 709948 KiB
[startup+3597.6 s]
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113948236/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=719344 CPUtime=3586.85 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 862802 0 0 0 358356 329 0 0 20 0 3 0 4589900 805052416 179836 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 179836 2998 3035 0 184243 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=11536 CPUtime=3582.38 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 822252 0 0 0 357935 303 0 0 20 0 3 0 4590310 805052416 179836 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=12856 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 179836 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 719344 KiB
[startup+3598 s]*
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113938668/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=719488 CPUtime=3587.26 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 863092 0 0 0 358397 329 0 0 20 0 3 0 4589900 805052416 179872 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 179872 2998 3035 0 184243 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=-5155635678166150021 CPUtime=3582.79 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 822544 0 0 0 357976 303 0 0 20 0 3 0 4590310 805052416 179872 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=4786084627272593057 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 179872 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3587.26 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 719488 KiB
[startup+3598.11 s]
/proc/loadavg: 4.16 4.27 4.20 5/252 32414
/proc/meminfo: memFree=113938668/131655788 swapFree=131071728/131071996
[pid=30264] ppid=30261 vsize=786184 memory=719488 CPUtime=3587.36 cores=4,6
/proc/30264/stat : 30264 (fscip) S 30261 30264 27997 0 -1 1077936128 867580 0 0 0 358407 329 0 0 20 0 3 0 4589900 805052416 179872 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
/proc/30264/statm: 196546 179872 2998 3035 0 184243 0
[pid=30264/tid=30322] ppid=30261 vsize=786184 memory=709948 CPUtime=3582.88 cores=4,6
/proc/30264/task/30322/stat : 30322 (fscip) R 30261 30264 27997 0 -1 4194368 827027 0 0 0 357985 303 0 0 20 0 3 0 4590310 805052416 179872 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
[pid=30264/tid=30323] ppid=30261 vsize=786184 memory=709948 CPUtime=0.06 cores=4,6
/proc/30264/task/30323/stat : 30323 (fscip) S 30261 30264 27997 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 4590316 805052416 179872 134679101440 4194304 16623229 140723672347776 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26882048 140723672351766 140723672351882 140723672351882 140723672358896 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 786184 KiB
Current children cumulated memory: 719488 KiB
Child status: 0
Real time (s): 3598.2
CPU time (s): 3587.46
CPU user time (s): 3584.14
CPU system time (s): 3.31876
CPU usage (%): 99.7015
Max. virtual memory (cumulated for all children) (KiB): 786184
Max. memory (cumulated for all children) (KiB): 719488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.14
system time used= 3.31876
maximum resident set size= 719488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 869018
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= 10783
involuntary context switches= 1945
# summary of solver processes directly reported to runsolver:
# pid: 30264
# total CPU time (s): 3587.46
# total CPU user time (s): 3584.14
# total CPU system time (s): 3.31876
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4104 second user time and 37.3951 second system time
The end
Begin job on nodeC011 at 2024-07-31 01:29:55
IDJOB=4464130
IDBENCH=148773
IDSOLVER=3092
FILE ID=nodeC011/4464130-1722382195
RUNJOBID= nodeC011-1722378594-28008
SLURM_JOB_ID= 8249841
Free space on /tmp= 723708 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx92.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-4464130-1722382195/watcher-4464130-1722382195 -o /tmp/evaluation-result-4464130-1722382195/solver-4464130-1722382195 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28008 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464130-1722382195.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=1367756045
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1296.908
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.416
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.639
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121873292 kB
MemAvailable: 122899608 kB
Buffers: 90904 kB
Cached: 1779540 kB
SwapCached: 12 kB
Active: 274860 kB
Inactive: 9062716 kB
Active(anon): 1876 kB
Inactive(anon): 7494772 kB
Active(file): 272984 kB
Inactive(file): 1567944 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 85916 kB
Writeback: 0 kB
AnonPages: 7465708 kB
Mapped: 113192 kB
Shmem: 29468 kB
KReclaimable: 51176 kB
Slab: 127336 kB
SReclaimable: 51176 kB
SUnreclaim: 76160 kB
KernelStack: 3936 kB
PageTables: 23864 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7412448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5310464 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723572 MiB
End job on nodeC011 at 2024-07-31 02:29:54