0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.11 c Default LC presolving (default).
0.00/0.11 c ** Before presolving: virtualMemUsedAtLc = 52015104, getVmSize() = 52015104, SCIPgetMemUsed() = 24212308, SCIPgetMemTotal() = 29750148, SCIPgetMemExternEstim() = 13050880
0.00/0.11 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.48/3.50 c ** Estimated virtualMemUsedAtSolver = 96548866, getVmSize() = 157577216, SCIPgetMemUsed() = 95364756, SCIPgetMemTotal() = 131772420, SCIPgetMemExternEstim() = 13050880
3.48/3.50 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.48/3.50 c Original Problem :
3.48/3.50 c Problem name : instance-4434797-1721115661
3.48/3.50 c Variables : 6088 (6088 binary, 0 integer, 0 implicit integer, 0 continuous)
3.48/3.50 c Constraints : 6677
3.48/3.50 c Objective sense : minimize
3.48/3.50 c Presolved Problem :
3.48/3.50 c Variables : 5137 (5137 binary, 0 integer, 0 implicit integer, 0 continuous)
3.48/3.50 c Constraints : 1107
3.48/3.50 c Constraints : Number
3.48/3.50 c knapsack : 512
3.48/3.50 c setppc : 84
3.48/3.50 c orbitope : 511
3.48/3.50 c ** Instance transfer method used: 0
3.48/3.51 c ** ParaScipInstance copy increased the number of variables. **
3.48/3.54 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.48/3.54 c Nodes Active
3.48/3.54 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.37/7.41 c 7 2 1 1 - 8.0000 -
12.64/12.72 c 13 76 73 1 - 8.0000 -
17.83/17.93 c 18 308 145 1 - 8.0000 -
22.92/23.03 c 23 890 249 1 - 8.0000 -
28.01/28.16 c 28 1747 287 1 - 8.0000 -
33.08/33.23 c 33 2299 301 1 - 8.0000 -
38.57/38.79 c 39 3019 342 1 - 8.0000 -
43.66/43.84 c 44 3736 371 1 - 8.0000 -
48.74/48.95 c 49 4737 401 1 - 8.0000 -
53.73/54.01 c 54 5917 417 1 - 8.0000 -
58.81/59.05 c 59 7040 481 1 - 8.0000 -
63.80/64.09 c 64 8075 498 1 - 8.0000 -
68.89/69.14 c 69 9136 529 1 - 8.0000 -
73.87/74.19 c 74 10251 545 1 - 8.0000 -
78.94/79.28 c 79 11374 576 1 - 8.0000 -
84.03/84.33 c 84 12304 571 1 - 8.0000 -
89.01/89.39 c 89 13478 618 1 - 8.0000 -
94.10/94.44 c 94 14802 642 1 - 8.0000 -
99.09/99.49 c 99 16196 644 1 - 8.0000 -
104.16/104.54 c 105 17689 685 1 - 8.0000 -
109.15/109.59 c 110 19054 685 1 - 8.0000 -
114.23/114.64 c 115 20475 682 1 - 8.0000 -
119.22/119.69 c 120 21938 674 1 - 8.0000 -
124.31/124.74 c 125 23358 674 1 - 8.0000 -
129.29/129.79 c 130 24916 685 1 - 8.0000 -
134.38/134.84 c 135 26373 680 1 - 8.0000 -
139.46/139.90 c 140 27882 701 1 - 8.0000 -
144.45/144.95 c 145 29450 716 1 - 8.0000 -
149.54/150.01 c 150 30990 763 1 - 8.0000 -
154.51/155.06 c 155 32440 755 1 - 8.0000 -
159.69/160.27 c 160 33920 786 1 - 8.0000 -
164.78/165.32 c 165 35457 771 1 - 8.0000 -
169.76/170.37 c 170 36796 779 1 - 8.0000 -
174.84/175.42 c 175 38162 791 1 - 8.0000 -
179.83/180.47 c 180 39473 845 1 - 8.0000 -
184.92/185.52 c 186 41005 946 1 - 8.0000 -
189.90/190.57 c 191 42500 982 1 - 8.0000 -
194.99/195.62 c 196 43991 1047 1 - 8.0000 -
199.97/200.67 c 201 45481 1048 1 - 8.0000 -
205.06/205.72 c 206 46962 1054 1 - 8.0000 -
210.04/210.77 c 211 48371 1034 1 - 8.0000 -
215.12/215.82 c 216 49826 1016 1 - 8.0000 -
220.11/220.87 c 221 51263 970 1 - 8.0000 -
225.19/225.92 c 226 52850 1021 1 - 8.0000 -
230.18/230.97 c 231 54348 1087 1 - 8.0000 -
235.27/236.02 c 236 55939 1209 1 - 8.0000 -
240.25/241.07 c 241 57525 1271 1 - 8.0000 -
245.34/246.12 c 246 59160 1284 1 - 8.0000 -
250.32/251.17 c 251 60731 1276 1 - 8.0000 -
255.39/256.22 c 256 62447 1271 1 - 8.0000 -
260.37/261.27 c 261 64096 1266 1 - 8.0000 -
265.46/266.32 c 266 65661 1248 1 - 8.0000 -
270.44/271.37 c 271 67259 1277 1 - 8.0000 -
275.53/276.42 c 276 68902 1399 1 - 8.0000 -
280.51/281.47 c 281 70449 1429 1 - 8.0000 -
285.59/286.52 c 287 71916 1439 1 - 8.0000 -
290.59/291.57 c 292 73388 1448 1 - 8.0000 -
295.67/296.62 c 297 74983 1429 1 - 8.0000 -
300.65/301.67 c 302 76560 1456 1 - 8.0000 -
305.73/306.72 c 307 78320 1478 1 - 8.0000 -
310.72/311.77 c 312 79939 1444 1 - 8.0000 -
315.81/316.82 c 317 81520 1481 1 - 8.0000 -
320.79/321.87 c 322 83110 1514 1 - 8.0000 -
325.88/326.92 c 327 84759 1536 1 - 8.0000 -
330.86/331.97 c 332 86401 1526 1 - 8.0000 -
335.95/337.02 c 337 88072 1576 1 - 8.0000 -
341.03/342.18 c 342 89681 1534 1 - 8.0000 -
346.11/347.23 c 347 91335 1534 1 - 8.0000 -
351.09/352.28 c 352 92935 1525 1 - 8.0000 -
356.18/357.33 c 357 94491 1522 1 - 8.0000 -
361.16/362.38 c 362 96059 1520 1 - 8.0000 -
366.25/367.43 c 367 97635 1512 1 - 8.0000 -
371.24/372.48 c 372 99151 1507 1 - 8.0000 -
376.32/377.53 c 378 100770 1618 1 - 8.0000 -
381.30/382.58 c 383 102359 1741 1 - 8.0000 -
386.39/387.63 c 388 103935 1771 1 - 8.0000 -
391.37/392.69 c 393 105533 1880 1 - 8.0000 -
396.46/397.74 c 398 106982 1890 1 - 8.0000 -
401.44/402.79 c 403 108642 1895 1 - 8.0000 -
406.52/407.84 c 408 110184 1883 1 - 8.0000 -
411.51/412.89 c 413 111689 1882 1 - 8.0000 -
416.59/417.94 c 418 113265 1820 1 - 8.0000 -
421.58/422.99 c 423 114863 1814 1 - 8.0000 -
426.67/428.04 c 428 116369 1821 1 - 8.0000 -
431.65/433.09 c 433 117845 1766 1 - 8.0000 -
436.74/438.14 c 438 119393 1696 1 - 8.0000 -
441.73/443.19 c 443 120946 1673 1 - 8.0000 -
446.80/448.24 c 448 122560 1668 1 - 8.0000 -
451.78/453.29 c 453 124065 1640 1 - 8.0000 -
456.87/458.34 c 458 125638 1617 1 - 8.0000 -
461.86/463.39 c 463 127275 1600 1 - 8.0000 -
466.94/468.44 c 468 128787 1579 1 - 8.0000 -
471.92/473.49 c 473 130334 1619 1 - 8.0000 -
477.01/478.54 c 479 131834 1663 1 - 8.0000 -
482.00/483.59 c 484 133336 1646 1 - 8.0000 -
487.08/488.64 c 489 134678 1673 1 - 8.0000 -
492.07/493.69 c 494 136078 1690 1 - 8.0000 -
497.15/498.74 c 499 137680 1720 1 - 8.0000 -
502.14/503.79 c 504 139279 1738 1 - 8.0000 -
507.22/508.84 c 509 140866 1741 1 - 8.0000 -
512.21/513.89 c 514 142505 1722 1 - 8.0000 -
517.29/518.94 c 519 143951 1675 1 - 8.0000 -
522.28/523.99 c 524 145435 1648 1 - 8.0000 -
527.37/529.04 c 529 146856 1697 1 - 8.0000 -
532.35/534.09 c 534 148322 1680 1 - 8.0000 -
537.44/539.14 c 539 149670 1674 1 - 8.0000 -
542.42/544.19 c 544 151066 1653 1 - 8.0000 -
547.50/549.24 c 549 152545 1654 1 - 8.0000 -
552.48/554.29 c 554 154037 1618 1 - 8.0000 -
557.56/559.34 c 559 155594 1679 1 - 8.0000 -
562.55/564.39 c 564 157161 1752 1 - 8.0000 -
567.64/569.44 c 569 158717 1766 1 - 8.0000 -
572.62/574.49 c 574 160366 1827 1 - 8.0000 -
577.71/579.55 c 580 162053 1856 1 - 8.0000 -
582.69/584.59 c 585 163602 1869 1 - 8.0000 -
587.78/589.64 c 590 165105 1865 1 - 8.0000 -
592.76/594.69 c 595 166601 1899 1 - 8.0000 -
597.85/599.74 c 600 168102 1920 1 - 8.0000 -
602.83/604.79 c 605 169636 1919 1 - 8.0000 -
608.02/609.96 c 610 171229 1935 1 - 8.0000 -
613.10/615.01 c 615 172650 1943 1 - 8.0000 -
618.09/620.06 c 620 174202 1979 1 - 8.0000 -
623.18/625.11 c 625 175679 1946 1 - 8.0000 -
628.16/630.16 c 630 177283 2016 1 - 8.0000 -
633.24/635.21 c 635 178855 2045 1 - 8.0000 -
638.21/640.27 c 640 180368 2059 1 - 8.0000 -
643.30/645.31 c 645 181859 2061 1 - 8.0000 -
648.29/650.36 c 650 183392 2028 1 - 8.0000 -
653.37/655.41 c 655 184990 2042 1 - 8.0000 -
658.36/660.46 c 660 186448 2024 1 - 8.0000 -
663.45/665.51 c 666 188029 2023 1 - 8.0000 -
668.43/670.56 c 671 189665 2033 1 - 8.0000 -
673.51/675.61 c 676 191260 1995 1 - 8.0000 -
678.50/680.66 c 681 192884 2038 1 - 8.0000 -
683.58/685.71 c 686 194438 2001 1 - 8.0000 -
688.57/690.76 c 691 196072 2009 1 - 8.0000 -
693.65/695.81 c 696 197743 2051 1 - 8.0000 -
698.64/700.86 c 701 199344 2095 1 - 8.0000 -
703.72/705.91 c 706 200990 2140 1 - 8.0000 -
708.71/710.96 c 711 202684 2166 1 - 8.0000 -
713.80/716.01 c 716 204209 2138 1 - 8.0000 -
718.79/721.06 c 721 205787 2198 1 - 8.0000 -
723.87/726.11 c 726 207488 2219 1 - 8.0000 -
728.85/731.18 c 731 209029 2258 1 - 8.0000 -
733.93/736.23 c 736 210702 2298 1 - 8.0000 -
738.91/741.28 c 741 212273 2309 1 - 8.0000 -
744.00/746.33 c 746 213943 2310 1 - 8.0000 -
748.98/751.38 c 751 215496 2305 1 - 8.0000 -
754.07/756.43 c 756 217019 2313 1 - 8.0000 -
759.06/761.48 c 761 218635 2318 1 - 8.0000 -
764.13/766.53 c 767 220262 2310 1 - 8.0000 -
769.12/771.58 c 772 221680 2257 1 - 8.0000 -
774.21/776.63 c 777 223232 2224 1 - 8.0000 -
779.20/781.69 c 782 224693 2217 1 - 8.0000 -
784.28/786.74 c 787 226148 2209 1 - 8.0000 -
789.27/791.79 c 792 227799 2201 1 - 8.0000 -
794.35/796.84 c 797 229447 2187 1 - 8.0000 -
799.34/801.89 c 802 231010 2169 1 - 8.0000 -
804.42/806.94 c 807 232560 2139 1 - 8.0000 -
809.40/811.99 c 812 234137 2118 1 - 8.0000 -
814.49/817.04 c 817 235757 2107 1 - 8.0000 -
819.48/822.09 c 822 237329 2095 1 - 8.0000 -
824.75/827.30 c 827 238873 2099 1 - 8.0000 -
829.74/832.35 c 832 240372 2071 1 - 8.0000 -
834.82/837.40 c 837 241953 2063 1 - 8.0000 -
839.81/842.45 c 842 243462 2054 1 - 8.0000 -
844.89/847.50 c 848 244938 2048 1 - 8.0000 -
849.88/852.55 c 853 246608 2075 1 - 8.0000 -
854.96/857.60 c 858 248206 2051 1 - 8.0000 -
859.95/862.65 c 863 249717 2086 1 - 8.0000 -
865.03/867.70 c 868 251183 2086 1 - 8.0000 -
870.01/872.75 c 873 252777 2094 1 - 8.0000 -
875.11/877.80 c 878 254508 2091 1 - 8.0000 -
880.08/882.86 c 883 256091 2063 1 - 8.0000 -
885.17/887.90 c 888 257610 2063 1 - 8.0000 -
890.16/892.95 c 893 259063 2066 1 - 8.0000 -
895.14/898.01 c 898 260570 2062 1 - 8.0000 -
900.24/903.05 c 903 261969 2063 1 - 8.0000 -
905.22/908.10 c 908 263540 2087 1 - 8.0000 -
910.31/913.15 c 913 265154 2093 1 - 8.0000 -
915.38/918.20 c 918 266868 2073 1 - 8.0000 -
920.36/923.25 c 923 268402 2049 1 - 8.0000 -
925.45/928.30 c 928 270068 2039 1 - 8.0000 -
930.43/933.35 c 933 271603 2029 1 - 8.0000 -
935.51/938.40 c 938 273239 1998 1 - 8.0000 -
940.50/943.45 c 943 274886 1984 1 - 8.0000 -
945.59/948.50 c 948 276519 1978 1 - 8.0000 -
950.57/953.55 c 954 278231 1965 1 - 8.0000 -
955.66/958.60 c 959 279784 1966 1 - 8.0000 -
960.64/963.65 c 964 281424 1994 1 - 8.0000 -
965.73/968.70 c 969 283116 2006 1 - 8.0000 -
970.70/973.75 c 974 284803 2052 1 - 8.0000 -
975.79/978.80 c 979 286371 2067 1 - 8.0000 -
980.77/983.85 c 984 287868 2054 1 - 8.0000 -
985.86/988.90 c 989 289415 2036 1 - 8.0000 -
990.84/993.96 c 994 291028 2047 1 - 8.0000 -
995.93/999.01 c 999 292552 2067 1 - 8.0000 -
1000.91/1004.06 c 1004 294144 2098 1 - 8.0000 -
1005.99/1009.11 c 1009 295553 2118 1 - 8.0000 -
1010.98/1014.16 c 1014 296993 2119 1 - 8.0000 -
1016.06/1019.21 c 1019 298429 2114 1 - 8.0000 -
1021.04/1024.26 c 1024 299896 2141 1 - 8.0000 -
1026.11/1029.31 c 1029 301375 2125 1 - 8.0000 -
1031.11/1034.36 c 1034 302887 2208 1 - 8.0000 -
1036.18/1039.41 c 1039 304373 2218 1 - 8.0000 -
1041.17/1044.46 c 1044 305790 2235 1 - 8.0000 -
1046.24/1049.52 c 1050 307252 2242 1 - 8.0000 -
1051.23/1054.58 c 1055 308726 2261 1 - 8.0000 -
1056.31/1059.63 c 1060 310158 2257 1 - 8.0000 -
1061.30/1064.68 c 1065 311523 2270 1 - 8.0000 -
1066.37/1069.73 c 1070 313028 2293 1 - 8.0000 -
1071.36/1074.78 c 1075 314569 2329 1 - 8.0000 -
1076.44/1079.83 c 1080 316005 2332 1 - 8.0000 -
1081.43/1084.88 c 1085 317467 2337 1 - 8.0000 -
1086.50/1089.93 c 1090 319099 2349 1 - 8.0000 -
1091.49/1094.98 c 1095 320671 2343 1 - 8.0000 -
1096.59/1100.03 c 1100 322204 2359 1 - 8.0000 -
1101.57/1105.08 c 1105 323823 2349 1 - 8.0000 -
1106.64/1110.13 c 1110 325299 2352 1 - 8.0000 -
1111.63/1115.18 c 1115 326797 2330 1 - 8.0000 -
1116.70/1120.23 c 1120 328507 2330 1 - 8.0000 -
1121.69/1125.29 c 1125 330102 2325 1 - 8.0000 -
1126.77/1130.34 c 1130 331683 2328 1 - 8.0000 -
1131.75/1135.39 c 1135 333148 2325 1 - 8.0000 -
1136.83/1140.44 c 1140 334673 2330 1 - 8.0000 -
1141.83/1145.49 c 1145 336416 2318 1 - 8.0000 -
1146.91/1150.54 c 1151 338168 2330 1 - 8.0000 -
1151.90/1155.59 c 1156 339739 2311 1 - 8.0000 -
1156.98/1160.64 c 1161 341244 2310 1 - 8.0000 -
1161.97/1165.69 c 1166 342764 2285 1 - 8.0000 -
1167.05/1170.75 c 1171 344399 2280 1 - 8.0000 -
1172.04/1175.79 c 1176 345890 2290 1 - 8.0000 -
1177.13/1180.84 c 1181 347432 2276 1 - 8.0000 -
1182.12/1185.89 c 1186 349051 2259 1 - 8.0000 -
1187.20/1190.94 c 1191 350561 2254 1 - 8.0000 -
1192.18/1195.99 c 1196 352147 2249 1 - 8.0000 -
1197.28/1201.04 c 1201 353723 2260 1 - 8.0000 -
1202.26/1206.10 c 1206 355459 2250 1 - 8.0000 -
1207.35/1211.15 c 1211 357070 2291 1 - 8.0000 -
1212.42/1216.20 c 1216 358801 2282 1 - 8.0000 -
1217.41/1221.25 c 1221 360514 2262 1 - 8.0000 -
1222.50/1226.30 c 1226 362123 2253 1 - 8.0000 -
1227.48/1231.35 c 1231 363772 2276 1 - 8.0000 -
1232.57/1236.40 c 1236 365330 2259 1 - 8.0000 -
1237.56/1241.45 c 1241 366906 2254 1 - 8.0000 -
1242.64/1246.50 c 1246 368446 2251 1 - 8.0000 -
1247.63/1251.55 c 1252 369992 2241 1 - 8.0000 -
1252.72/1256.60 c 1257 371583 2267 1 - 8.0000 -
1257.70/1261.65 c 1262 373226 2258 1 - 8.0000 -
1262.79/1266.70 c 1267 374810 2244 1 - 8.0000 -
1267.77/1271.75 c 1272 376333 2247 1 - 8.0000 -
1272.86/1276.80 c 1277 377979 2254 1 - 8.0000 -
1277.84/1281.85 c 1282 379551 2244 1 - 8.0000 -
1282.94/1286.90 c 1287 381061 2264 1 - 8.0000 -
1287.92/1291.95 c 1292 382623 2324 1 - 8.0000 -
1292.91/1297.01 c 1297 384266 2349 1 - 8.0000 -
1298.00/1302.05 c 1302 385862 2323 1 - 8.0000 -
1302.98/1307.10 c 1307 387421 2314 1 - 8.0000 -
1308.07/1312.15 c 1312 388882 2324 1 - 8.0000 -
1313.15/1317.20 c 1317 390424 2293 1 - 8.0000 -
1318.13/1322.25 c 1322 391986 2293 1 - 8.0000 -
1323.22/1327.30 c 1327 393499 2285 1 - 8.0000 -
1328.21/1332.35 c 1332 395090 2283 1 - 8.0000 -
1333.29/1337.40 c 1337 396633 2277 1 - 8.0000 -
1338.28/1342.45 c 1342 398307 2279 1 - 8.0000 -
1343.36/1347.50 c 1348 399955 2282 1 - 8.0000 -
1348.34/1352.55 c 1353 401540 2290 1 - 8.0000 -
1353.43/1357.60 c 1358 403107 2286 1 - 8.0000 -
1358.42/1362.65 c 1363 404812 2275 1 - 8.0000 -
1363.50/1367.70 c 1368 406228 2277 1 - 8.0000 -
1368.48/1372.75 c 1373 407995 2338 1 - 8.0000 -
1373.56/1377.80 c 1378 409556 2293 1 - 8.0000 -
1378.55/1382.85 c 1383 411208 2303 1 - 8.0000 -
1383.63/1387.90 c 1388 412797 2283 1 - 8.0000 -
1388.61/1392.95 c 1393 414272 2281 1 - 8.0000 -
1393.59/1398.01 c 1398 415852 2286 1 - 8.0000 -
1398.68/1403.05 c 1403 417411 2287 1 - 8.0000 -
1403.68/1408.10 c 1408 418988 2285 1 - 8.0000 -
1408.77/1413.15 c 1413 420657 2309 1 - 8.0000 -
1413.84/1418.20 c 1418 422293 2320 1 - 8.0000 -
1418.82/1423.25 c 1423 423835 2318 1 - 8.0000 -
1423.91/1428.30 c 1428 425364 2325 1 - 8.0000 -
1428.89/1433.35 c 1433 426939 2339 1 - 8.0000 -
1433.98/1438.41 c 1438 428389 2324 1 - 8.0000 -
1438.97/1443.45 c 1443 429777 2296 1 - 8.0000 -
1444.05/1448.50 c 1448 431337 2275 1 - 8.0000 -
1449.04/1453.55 c 1454 432869 2266 1 - 8.0000 -
1454.13/1458.60 c 1459 434406 2304 1 - 8.0000 -
1459.11/1463.65 c 1464 435679 2391 1 - 8.0000 -
1464.20/1468.70 c 1469 436991 2429 1 - 8.0000 -
1469.19/1473.75 c 1474 438485 2429 1 - 8.0000 -
1474.28/1478.80 c 1479 440052 2449 1 - 8.0000 -
1479.26/1483.85 c 1484 441565 2450 1 - 8.0000 -
1484.34/1488.90 c 1489 443140 2473 1 - 8.0000 -
1489.33/1493.95 c 1494 444668 2531 1 - 8.0000 -
1494.32/1499.01 c 1499 446175 2524 1 - 8.0000 -
1499.40/1504.06 c 1504 447619 2519 1 - 8.0000 -
1504.40/1509.10 c 1509 449127 2469 1 - 8.0000 -
1509.48/1514.15 c 1514 450539 2443 1 - 8.0000 -
1514.55/1519.20 c 1519 452072 2429 1 - 8.0000 -
1519.54/1524.25 c 1524 453507 2419 1 - 8.0000 -
1524.63/1529.30 c 1529 455141 2438 1 - 8.0000 -
1529.61/1534.35 c 1534 456655 2454 1 - 8.0000 -
1534.70/1539.40 c 1539 458140 2453 1 - 8.0000 -
1539.69/1544.46 c 1544 459457 2467 1 - 8.0000 -
1544.77/1549.51 c 1550 460743 2476 1 - 8.0000 -
1549.76/1554.56 c 1555 462065 2460 1 - 8.0000 -
1554.85/1559.61 c 1560 463480 2479 1 - 8.0000 -
1559.83/1564.66 c 1565 464957 2479 1 - 8.0000 -
1564.92/1569.71 c 1570 466441 2483 1 - 8.0000 -
1569.90/1574.76 c 1575 467815 2494 1 - 8.0000 -
1574.99/1579.81 c 1580 469286 2509 1 - 8.0000 -
1579.98/1584.86 c 1585 470817 2556 1 - 8.0000 -
1585.06/1589.91 c 1590 472411 2590 1 - 8.0000 -
1590.04/1594.96 c 1595 473912 2605 1 - 8.0000 -
1595.14/1600.01 c 1600 475572 2630 1 - 8.0000 -
1600.12/1605.06 c 1605 477060 2641 1 - 8.0000 -
1605.21/1610.11 c 1610 478457 2635 1 - 8.0000 -
1610.19/1615.16 c 1615 479930 2621 1 - 8.0000 -
1615.27/1620.21 c 1620 481446 2629 1 - 8.0000 -
1620.26/1625.26 c 1625 483188 2626 1 - 8.0000 -
1625.34/1630.31 c 1630 484769 2637 1 - 8.0000 -
1630.32/1635.36 c 1635 486399 2632 1 - 8.0000 -
1635.42/1640.41 c 1640 487940 2626 1 - 8.0000 -
1640.40/1645.46 c 1645 489404 2659 1 - 8.0000 -
1645.49/1650.51 c 1651 490764 2685 1 - 8.0000 -
1650.47/1655.56 c 1656 492200 2714 1 - 8.0000 -
1655.55/1660.61 c 1661 493636 2741 1 - 8.0000 -
1660.55/1665.67 c 1666 495065 2743 1 - 8.0000 -
1665.63/1670.72 c 1671 496629 2773 1 - 8.0000 -
1670.62/1675.77 c 1676 498075 2822 1 - 8.0000 -
1675.71/1680.82 c 1681 499558 2856 1 - 8.0000 -
1680.69/1685.87 c 1686 501008 2866 1 - 8.0000 -
1685.78/1690.92 c 1691 502457 2861 1 - 8.0000 -
1690.77/1695.97 c 1696 503861 2830 1 - 8.0000 -
1695.85/1701.02 c 1701 505276 2804 1 - 8.0000 -
1700.83/1706.07 c 1706 506647 2810 1 - 8.0000 -
1705.93/1711.12 c 1711 508066 2814 1 - 8.0000 -
1710.91/1716.18 c 1716 509682 2817 1 - 8.0000 -
1715.99/1721.23 c 1721 511221 2799 1 - 8.0000 -
1720.97/1726.28 c 1726 512666 2796 1 - 8.0000 -
1726.06/1731.33 c 1731 514166 2796 1 - 8.0000 -
1731.04/1736.38 c 1736 515674 2795 1 - 8.0000 -
1736.13/1741.43 c 1741 517237 2804 1 - 8.0000 -
1741.11/1746.48 c 1746 518839 2769 1 - 8.0000 -
1746.21/1751.53 c 1752 520308 2753 1 - 8.0000 -
1751.19/1756.58 c 1757 521791 2743 1 - 8.0000 -
1756.27/1761.63 c 1762 523369 2720 1 - 8.0000 -
1761.26/1766.68 c 1767 525026 2715 1 - 8.0000 -
1766.35/1771.73 c 1772 526616 2733 1 - 8.0000 -
1771.33/1776.78 c 1777 528243 2725 1 - 8.0000 -
1776.42/1781.83 c 1782 529745 2714 1 - 8.0000 -
1781.40/1786.88 c 1787 531254 2707 1 - 8.0000 -
1786.49/1791.94 c 1792 532637 2712 1 - 8.0000 -
1791.47/1796.98 c 1797 534162 2718 1 - 8.0000 -
1796.57/1802.03 c 1802 535743 2746 1 - 8.0000 -
1801.56/1807.08 c 1807 537151 2754 1 - 8.0000 -
1806.64/1812.13 c 1812 538554 2765 1 - 8.0000 -
1811.63/1817.18 c 1817 540123 2745 1 - 8.0000 -
1816.71/1822.23 c 1822 541414 2727 1 - 8.0000 -
1821.69/1827.28 c 1827 542856 2726 1 - 8.0000 -
1826.78/1832.33 c 1832 544307 2725 1 - 8.0000 -
1831.76/1837.38 c 1837 545807 2731 1 - 8.0000 -
1836.85/1842.43 c 1842 547239 2767 1 - 8.0000 -
1841.84/1847.48 c 1847 548758 2774 1 - 8.0000 -
1846.92/1852.53 c 1853 550386 2772 1 - 8.0000 -
1851.91/1857.58 c 1858 551858 2768 1 - 8.0000 -
1857.00/1862.63 c 1863 553349 2779 1 - 8.0000 -
1861.98/1867.68 c 1868 554756 2796 1 - 8.0000 -
1867.07/1872.73 c 1873 556115 2777 1 - 8.0000 -
1872.05/1877.78 c 1878 557544 2785 1 - 8.0000 -
1877.14/1882.83 c 1883 558968 2770 1 - 8.0000 -
1882.13/1887.88 c 1888 560367 2765 1 - 8.0000 -
1887.21/1892.93 c 1893 561803 2788 1 - 8.0000 -
1892.20/1897.98 c 1898 563165 2783 1 - 8.0000 -
1897.29/1903.04 c 1903 564635 2773 1 - 8.0000 -
1902.28/1908.08 c 1908 565945 2784 1 - 8.0000 -
1907.36/1913.13 c 1913 567368 2801 1 - 8.0000 -
1912.35/1918.18 c 1918 568864 2788 1 - 8.0000 -
1917.42/1923.23 c 1923 570349 2800 1 - 8.0000 -
1922.40/1928.28 c 1928 571990 2859 1 - 8.0000 -
1927.50/1933.33 c 1933 573606 2871 1 - 8.0000 -
1932.48/1938.38 c 1938 575266 2883 1 - 8.0000 -
1937.56/1943.43 c 1943 576896 2914 1 - 8.0000 -
1942.56/1948.49 c 1948 578360 2894 1 - 8.0000 -
1947.64/1953.53 c 1954 579781 2867 1 - 8.0000 -
1952.63/1958.58 c 1959 581267 2883 1 - 8.0000 -
1957.71/1963.63 c 1964 582712 2878 1 - 8.0000 -
1962.70/1968.68 c 1969 584139 2869 1 - 8.0000 -
1967.78/1973.73 c 1974 585620 2852 1 - 8.0000 -
1972.78/1978.79 c 1979 587008 2860 1 - 8.0000 -
1977.86/1983.84 c 1984 588545 2867 1 - 8.0000 -
1982.85/1988.89 c 1989 590014 2882 1 - 8.0000 -
1987.94/1993.95 c 1994 591529 2868 1 - 8.0000 -
1992.92/1999.01 c 1999 592937 2870 1 - 8.0000 -
1998.00/2004.05 c 2004 594457 2859 1 - 8.0000 -
2003.00/2009.10 c 2009 595900 2868 1 - 8.0000 -
2008.08/2014.15 c 2014 597245 2877 1 - 8.0000 -
2013.16/2019.20 c 2019 598639 2860 1 - 8.0000 -
2018.14/2024.25 c 2024 600122 2935 1 - 8.0000 -
2023.23/2029.30 c 2029 601677 2956 1 - 8.0000 -
2028.21/2034.35 c 2034 603107 2981 1 - 8.0000 -
2033.30/2039.41 c 2039 604643 2927 1 - 8.0000 -
2038.29/2044.45 c 2044 606171 2902 1 - 8.0000 -
2043.37/2049.50 c 2050 607665 2901 1 - 8.0000 -
2048.36/2054.55 c 2055 609177 2898 1 - 8.0000 -
2053.45/2059.61 c 2060 610635 2869 1 - 8.0000 -
2058.43/2064.66 c 2065 612112 2854 1 - 8.0000 -
2063.52/2069.71 c 2070 613488 2857 1 - 8.0000 -
2068.51/2074.76 c 2075 614668 2910 1 - 8.0000 -
2073.59/2079.81 c 2080 616122 2923 1 - 8.0000 -
2078.58/2084.86 c 2085 617660 2918 1 - 8.0000 -
2083.67/2089.91 c 2090 619206 2929 1 - 8.0000 -
2088.65/2094.96 c 2095 620740 2922 1 - 8.0000 -
2093.63/2100.01 c 2100 622230 2938 1 - 8.0000 -
2098.73/2105.06 c 2105 623618 2945 1 - 8.0000 -
2103.71/2110.11 c 2110 625089 2956 1 - 8.0000 -
2108.80/2115.16 c 2115 626502 2974 1 - 8.0000 -
2113.88/2120.21 c 2120 627913 2966 1 - 8.0000 -
2118.86/2125.26 c 2125 629436 2956 1 - 8.0000 -
2123.95/2130.31 c 2130 630837 2944 1 - 8.0000 -
2128.94/2135.36 c 2135 632296 2935 1 - 8.0000 -
2134.02/2140.41 c 2140 633914 2936 1 - 8.0000 -
2139.01/2145.46 c 2145 635336 2955 1 - 8.0000 -
2144.09/2150.51 c 2151 636795 2955 1 - 8.0000 -
2149.09/2155.56 c 2156 638265 2943 1 - 8.0000 -
2154.17/2160.61 c 2161 639679 2947 1 - 8.0000 -
2159.16/2165.66 c 2166 641255 2947 1 - 8.0000 -
2164.24/2170.71 c 2171 642665 2937 1 - 8.0000 -
2169.23/2175.76 c 2176 644070 2956 1 - 8.0000 -
2174.32/2180.81 c 2181 645495 2952 1 - 8.0000 -
2179.31/2185.86 c 2186 647021 2942 1 - 8.0000 -
2184.39/2190.91 c 2191 648642 2949 1 - 8.0000 -
2189.37/2195.96 c 2196 650222 2948 1 - 8.0000 -
2194.47/2201.01 c 2201 651818 2951 1 - 8.0000 -
2199.45/2206.06 c 2206 653372 2954 1 - 8.0000 -
2204.54/2211.11 c 2211 654935 2952 1 - 8.0000 -
2209.53/2216.16 c 2216 656291 2983 1 - 8.0000 -
2214.60/2221.21 c 2221 657721 2964 1 - 8.0000 -
2219.59/2226.26 c 2226 659056 2965 1 - 8.0000 -
2224.67/2231.31 c 2231 660520 2990 1 - 8.0000 -
2229.67/2236.36 c 2236 662032 2982 1 - 8.0000 -
2234.75/2241.41 c 2241 663451 2974 1 - 8.0000 -
2239.74/2246.46 c 2246 664798 2963 1 - 8.0000 -
2244.82/2251.51 c 2252 666059 2974 1 - 8.0000 -
2249.81/2256.56 c 2257 667438 2989 1 - 8.0000 -
2254.90/2261.61 c 2262 669025 2994 1 - 8.0000 -
2259.89/2266.66 c 2267 670586 2980 1 - 8.0000 -
2264.97/2271.72 c 2272 672013 2971 1 - 8.0000 -
2269.95/2276.77 c 2277 673391 2990 1 - 8.0000 -
2275.04/2281.82 c 2282 674847 2976 1 - 8.0000 -
2280.03/2286.88 c 2287 676359 3000 1 - 8.0000 -
2285.12/2291.93 c 2292 677884 2975 1 - 8.0000 -
2290.10/2296.98 c 2297 679415 2978 1 - 8.0000 -
2295.19/2302.03 c 2302 680851 2990 1 - 8.0000 -
2300.18/2307.08 c 2307 682426 3021 1 - 8.0000 -
2305.26/2312.13 c 2312 683852 2981 1 - 8.0000 -
2310.25/2317.18 c 2317 685318 2963 1 - 8.0000 -
2315.32/2322.23 c 2322 686648 2973 1 - 8.0000 -
2320.31/2327.28 c 2327 688029 2948 1 - 8.0000 -
2325.40/2332.33 c 2332 689170 2975 1 - 8.0000 -
2330.38/2337.38 c 2337 690421 3001 1 - 8.0000 -
2335.47/2342.43 c 2342 691407 3003 1 - 8.0000 -
2340.45/2347.48 c 2347 692477 3034 1 - 8.0000 -
2345.55/2352.53 c 2353 693735 2990 1 - 8.0000 -
2350.53/2357.58 c 2358 695096 3011 1 - 8.0000 -
2355.62/2362.63 c 2363 696597 3010 1 - 8.0000 -
2360.60/2367.68 c 2368 698030 3018 1 - 8.0000 -
2365.69/2372.73 c 2373 699506 3045 1 - 8.0000 -
2370.67/2377.78 c 2378 701100 3053 1 - 8.0000 -
2375.76/2382.83 c 2383 702632 3037 1 - 8.0000 -
2380.75/2387.89 c 2388 703988 3027 1 - 8.0000 -
2385.83/2392.94 c 2393 705347 3029 1 - 8.0000 -
2390.82/2397.99 c 2398 707016 3045 1 - 8.0000 -
2395.92/2403.04 c 2403 708611 3032 1 - 8.0000 -
2400.90/2408.09 c 2408 710078 3032 1 - 8.0000 -
2406.00/2413.14 c 2413 711696 3025 1 - 8.0000 -
2410.98/2418.19 c 2418 713192 3002 1 - 8.0000 -
2416.06/2423.24 c 2423 714554 2995 1 - 8.0000 -
2421.04/2428.29 c 2428 716001 3030 1 - 8.0000 -
2426.13/2433.34 c 2433 717540 3017 1 - 8.0000 -
2431.11/2438.39 c 2438 718941 3014 1 - 8.0000 -
2436.21/2443.44 c 2443 720335 3017 1 - 8.0000 -
2441.19/2448.50 c 2448 721942 3028 1 - 8.0000 -
2446.27/2453.54 c 2454 723448 3019 1 - 8.0000 -
2451.26/2458.59 c 2459 725066 3055 1 - 8.0000 -
2456.34/2463.64 c 2464 726567 3053 1 - 8.0000 -
2461.33/2468.69 c 2469 728207 3080 1 - 8.0000 -
2466.42/2473.74 c 2474 729722 3062 1 - 8.0000 -
2471.41/2478.79 c 2479 731239 3065 1 - 8.0000 -
2476.49/2483.84 c 2484 732739 3049 1 - 8.0000 -
2481.48/2488.89 c 2489 734134 3055 1 - 8.0000 -
2486.57/2493.94 c 2494 735568 3050 1 - 8.0000 -
2491.55/2498.99 c 2499 737173 3029 1 - 8.0000 -
2496.64/2504.04 c 2504 738428 3031 1 - 8.0000 -
2501.63/2509.09 c 2509 739801 3046 1 - 8.0000 -
2506.71/2514.14 c 2514 741127 3050 1 - 8.0000 -
2511.70/2519.19 c 2519 742476 3027 1 - 8.0000 -
2516.78/2524.24 c 2524 743996 3038 1 - 8.0000 -
2521.76/2529.29 c 2529 745511 3030 1 - 8.0000 -
2526.85/2534.34 c 2534 746896 3020 1 - 8.0000 -
2531.84/2539.39 c 2539 748345 3002 1 - 8.0000 -
2536.92/2544.45 c 2544 749727 3005 1 - 8.0000 -
2542.01/2549.50 c 2550 750990 3043 1 - 8.0000 -
2547.00/2554.55 c 2555 752181 3067 1 - 8.0000 -
2552.08/2559.60 c 2560 753601 3074 1 - 8.0000 -
2557.07/2564.65 c 2565 755029 3098 1 - 8.0000 -
2562.15/2569.70 c 2570 756442 3102 1 - 8.0000 -
2567.14/2574.75 c 2575 758064 3109 1 - 8.0000 -
2572.22/2579.80 c 2580 759562 3124 1 - 8.0000 -
2577.21/2584.85 c 2585 760927 3098 1 - 8.0000 -
2582.30/2589.90 c 2590 762324 3135 1 - 8.0000 -
2587.29/2594.95 c 2595 763795 3169 1 - 8.0000 -
2592.27/2600.01 c 2600 765216 3188 1 - 8.0000 -
2597.36/2605.06 c 2605 766408 3194 1 - 8.0000 -
2602.44/2610.11 c 2610 767635 3154 1 - 8.0000 -
2607.44/2615.17 c 2615 769052 3148 1 - 8.0000 -
2612.51/2620.22 c 2620 770448 3139 1 - 8.0000 -
2617.49/2625.28 c 2625 771759 3147 1 - 8.0000 -
2622.58/2630.33 c 2630 772973 3157 1 - 8.0000 -
2627.56/2635.38 c 2635 774174 3163 1 - 8.0000 -
2632.66/2640.43 c 2640 775408 3176 1 - 8.0000 -
2637.64/2645.48 c 2645 776695 3193 1 - 8.0000 -
2642.73/2650.53 c 2651 777935 3208 1 - 8.0000 -
2647.72/2655.58 c 2656 779111 3207 1 - 8.0000 -
2652.80/2660.63 c 2661 780361 3218 1 - 8.0000 -
2657.79/2665.68 c 2666 781551 3227 1 - 8.0000 -
2662.88/2670.73 c 2671 782785 3222 1 - 8.0000 -
2667.86/2675.78 c 2676 784048 3228 1 - 8.0000 -
2672.94/2680.83 c 2681 785375 3231 1 - 8.0000 -
2677.93/2685.88 c 2686 786633 3230 1 - 8.0000 -
2683.02/2690.93 c 2691 788106 3221 1 - 8.0000 -
2688.00/2695.98 c 2696 789489 3224 1 - 8.0000 -
2693.10/2701.03 c 2701 790820 3230 1 - 8.0000 -
2698.08/2706.08 c 2706 792183 3279 1 - 8.0000 -
2703.18/2711.13 c 2711 793458 3296 1 - 8.0000 -
2708.16/2716.18 c 2716 794742 3345 1 - 8.0000 -
2713.23/2721.23 c 2721 795899 3332 1 - 8.0000 -
2718.23/2726.28 c 2726 797111 3334 1 - 8.0000 -
2723.31/2731.33 c 2731 798233 3351 1 - 8.0000 -
2728.29/2736.38 c 2736 799344 3358 1 - 8.0000 -
2733.39/2741.43 c 2741 800480 3397 1 - 8.0000 -
2738.37/2746.48 c 2746 801766 3443 1 - 8.0000 -
2743.46/2751.53 c 2752 803215 3484 1 - 8.0000 -
2748.44/2756.58 c 2757 804463 3456 1 - 8.0000 -
2753.52/2761.64 c 2762 805512 3457 1 - 8.0000 -
2758.52/2766.69 c 2767 806732 3464 1 - 8.0000 -
2763.60/2771.74 c 2772 808122 3477 1 - 8.0000 -
2768.58/2776.79 c 2777 809293 3496 1 - 8.0000 -
2773.67/2781.84 c 2782 810509 3499 1 - 8.0000 -
2778.66/2786.89 c 2787 811657 3525 1 - 8.0000 -
2783.75/2791.94 c 2792 812972 3514 1 - 8.0000 -
2788.73/2796.99 c 2797 814260 3498 1 - 8.0000 -
2793.83/2802.04 c 2802 815900 3507 1 - 8.0000 -
2798.82/2807.09 c 2807 817387 3496 1 - 8.0000 -
2803.90/2812.14 c 2812 818757 3500 1 - 8.0000 -
2808.89/2817.19 c 2817 820072 3514 1 - 8.0000 -
2813.97/2822.24 c 2822 821501 3503 1 - 8.0000 -
2818.95/2827.29 c 2827 822964 3522 1 - 8.0000 -
2824.04/2832.34 c 2832 824477 3539 1 - 8.0000 -
2829.03/2837.39 c 2837 825917 3534 1 - 8.0000 -
2834.11/2842.45 c 2842 827369 3555 1 - 8.0000 -
2839.20/2847.50 c 2848 828520 3561 1 - 8.0000 -
2844.18/2852.56 c 2853 829819 3548 1 - 8.0000 -
2849.27/2857.61 c 2858 831399 3559 1 - 8.0000 -
2854.26/2862.66 c 2863 832885 3545 1 - 8.0000 -
2859.34/2867.71 c 2868 834268 3561 1 - 8.0000 -
2864.33/2872.76 c 2873 835580 3561 1 - 8.0000 -
2869.42/2877.81 c 2878 836672 3620 1 - 8.0000 -
2874.40/2882.86 c 2883 838064 3661 1 - 8.0000 -
2879.48/2887.91 c 2888 839381 3688 1 - 8.0000 -
2884.47/2892.96 c 2893 840596 3701 1 - 8.0000 -
2889.56/2898.01 c 2898 841942 3718 1 - 8.0000 -
2894.55/2903.06 c 2903 843273 3711 1 - 8.0000 -
2899.64/2908.11 c 2908 844498 3736 1 - 8.0000 -
2904.63/2913.17 c 2913 845734 3758 1 - 8.0000 -
2909.70/2918.23 c 2918 847057 3768 1 - 8.0000 -
2914.68/2923.27 c 2923 848280 3748 1 - 8.0000 -
2919.77/2928.33 c 2928 849513 3752 1 - 8.0000 -
2924.75/2933.39 c 2933 850870 3752 1 - 8.0000 -
2929.85/2938.46 c 2938 851988 3825 1 - 8.0000 -
2934.93/2943.51 c 2944 853059 3828 1 - 8.0000 -
2939.92/2948.56 c 2949 854153 3842 1 - 8.0000 -
2945.01/2953.61 c 2954 855252 3843 1 - 8.0000 -
2949.99/2958.66 c 2959 856419 3878 1 - 8.0000 -
2955.07/2963.71 c 2964 857695 3879 1 - 8.0000 -
2960.06/2968.78 c 2969 858928 3884 1 - 8.0000 -
2965.15/2973.83 c 2974 860072 3885 1 - 8.0000 -
2970.24/2978.90 c 2979 861118 3916 1 - 8.0000 -
2975.23/2983.95 c 2984 862189 3921 1 - 8.0000 -
2980.21/2989.01 c 2989 863443 3950 1 - 8.0000 -
2985.30/2994.05 c 2994 864651 3941 1 - 8.0000 -
2990.29/2999.10 c 2999 865784 3943 1 - 8.0000 -
2995.37/3004.15 c 3004 867018 3929 1 - 8.0000 -
3000.45/3009.20 c 3009 868191 3949 1 - 8.0000 -
3005.43/3014.25 c 3014 869357 3946 1 - 8.0000 -
3010.52/3019.31 c 3019 870246 3962 1 - 8.0000 -
3015.51/3024.37 c 3024 871286 3968 1 - 8.0000 -
3020.59/3029.42 c 3029 872412 3959 1 - 8.0000 -
3025.58/3034.47 c 3034 873722 3982 1 - 8.0000 -
3030.67/3039.52 c 3040 875163 3984 1 - 8.0000 -
3035.65/3044.58 c 3045 876404 4008 1 - 8.0000 -
3040.74/3049.63 c 3050 877587 3997 1 - 8.0000 -
3045.72/3054.68 c 3055 878721 4004 1 - 8.0000 -
3050.82/3059.73 c 3060 879974 3990 1 - 8.0000 -
3055.80/3064.78 c 3065 881144 4001 1 - 8.0000 -
3060.89/3069.83 c 3070 882105 4002 1 - 8.0000 -
3065.88/3074.88 c 3075 883086 4006 1 - 8.0000 -
3070.97/3079.93 c 3080 884124 3998 1 - 8.0000 -
3075.95/3084.98 c 3085 885300 3980 1 - 8.0000 -
3081.04/3090.03 c 3090 886620 3968 1 - 8.0000 -
3086.02/3095.08 c 3095 888085 3977 1 - 8.0000 -
3091.11/3100.13 c 3100 889475 3974 1 - 8.0000 -
3096.10/3105.18 c 3105 890699 3952 1 - 8.0000 -
3101.17/3110.23 c 3110 892182 3974 1 - 8.0000 -
3106.16/3115.28 c 3115 893654 3973 1 - 8.0000 -
3111.25/3120.33 c 3120 894939 3944 1 - 8.0000 -
3116.23/3125.39 c 3125 896324 3931 1 - 8.0000 -
3121.32/3130.44 c 3130 897270 3933 1 - 8.0000 -
3126.31/3135.49 c 3135 898670 3949 1 - 8.0000 -
3131.39/3140.55 c 3141 900137 3932 1 - 8.0000 -
3136.48/3145.60 c 3146 901541 3918 1 - 8.0000 -
3141.47/3150.66 c 3151 902806 3915 1 - 8.0000 -
3146.55/3155.70 c 3156 904286 3902 1 - 8.0000 -
3151.54/3160.75 c 3161 905709 4053 1 - 8.0000 -
3156.62/3165.80 c 3166 907114 4149 1 - 8.0000 -
3161.62/3170.86 c 3171 908386 4201 1 - 8.0000 -
3166.70/3175.92 c 3176 909743 4263 1 - 8.0000 -
3171.68/3180.97 c 3181 911087 4261 1 - 8.0000 -
3176.77/3186.02 c 3186 912443 4255 1 - 8.0000 -
3181.77/3191.07 c 3191 913839 4289 1 - 8.0000 -
3186.85/3196.13 c 3196 915261 4293 1 - 8.0000 -
3191.83/3201.18 c 3201 916639 4299 1 - 8.0000 -
3196.91/3206.24 c 3206 918180 4307 1 - 8.0000 -
3201.90/3211.29 c 3211 919549 4309 1 - 8.0000 -
3206.98/3216.34 c 3216 920915 4293 1 - 8.0000 -
3211.97/3221.39 c 3221 922214 4295 1 - 8.0000 -
3217.06/3226.44 c 3226 923465 4303 1 - 8.0000 -
3222.04/3231.49 c 3231 924743 4301 1 - 8.0000 -
3227.13/3236.55 c 3237 926128 4281 1 - 8.0000 -
3232.22/3241.61 c 3242 927519 4281 1 - 8.0000 -
3237.20/3246.65 c 3247 928952 4291 1 - 8.0000 -
3242.29/3251.70 c 3252 930090 4288 1 - 8.0000 -
3247.28/3256.75 c 3257 931342 4280 1 - 8.0000 -
3252.36/3261.80 c 3262 932613 4297 1 - 8.0000 -
3257.35/3266.85 c 3267 934080 4318 1 - 8.0000 -
3262.44/3271.90 c 3272 935406 4344 1 - 8.0000 -
3267.42/3276.95 c 3277 936778 4340 1 - 8.0000 -
3272.41/3282.01 c 3282 938212 4333 1 - 8.0000 -
3277.50/3287.05 c 3287 939653 4309 1 - 8.0000 -
3282.49/3292.10 c 3292 940845 4330 1 - 8.0000 -
3287.57/3297.15 c 3297 941954 4323 1 - 8.0000 -
3292.65/3302.20 c 3302 943284 4370 1 - 8.0000 -
3297.64/3307.25 c 3307 944562 4404 1 - 8.0000 -
3302.72/3312.30 c 3312 945812 4389 1 - 8.0000 -
3307.70/3317.35 c 3317 947190 4400 1 - 8.0000 -
3312.80/3322.41 c 3322 948300 4406 1 - 8.0000 -
3317.78/3327.47 c 3327 949378 4394 1 - 8.0000 -
3322.87/3332.53 c 3333 950500 4393 1 - 8.0000 -
3327.86/3337.58 c 3338 951699 4401 1 - 8.0000 -
3332.94/3342.63 c 3343 953078 4408 1 - 8.0000 -
3337.93/3347.69 c 3348 954420 4370 1 - 8.0000 -
3343.02/3352.76 c 3353 955634 4377 1 - 8.0000 -
3348.10/3357.81 c 3358 956849 4375 1 - 8.0000 -
3353.08/3362.86 c 3363 958115 4381 1 - 8.0000 -
3358.18/3367.91 c 3368 959337 4391 1 - 8.0000 -
3363.16/3372.96 c 3373 960547 4386 1 - 8.0000 -
3368.25/3378.01 c 3378 961973 4397 1 - 8.0000 -
3373.24/3383.07 c 3383 963179 4411 1 - 8.0000 -
3378.33/3388.12 c 3388 964526 4440 1 - 8.0000 -
3383.31/3393.17 c 3393 965589 4445 1 - 8.0000 -
3388.39/3398.22 c 3398 966775 4443 1 - 8.0000 -
3393.37/3403.27 c 3403 968218 4475 1 - 8.0000 -
3398.46/3408.32 c 3408 969627 4486 1 - 8.0000 -
3403.45/3413.37 c 3413 971011 4515 1 - 8.0000 -
3408.53/3418.42 c 3418 972199 4539 1 - 8.0000 -
3413.52/3423.47 c 3423 973531 4525 1 - 8.0000 -
3418.60/3428.52 c 3429 974960 4534 1 - 8.0000 -
3423.60/3433.57 c 3434 976221 4553 1 - 8.0000 -
3428.68/3438.62 c 3439 977602 4533 1 - 8.0000 -
3433.66/3443.67 c 3444 979105 4540 1 - 8.0000 -
3438.75/3448.72 c 3449 980557 4546 1 - 8.0000 -
3443.73/3453.78 c 3454 981761 4537 1 - 8.0000 -
3448.83/3458.82 c 3459 983095 4540 1 - 8.0000 -
3453.81/3463.87 c 3464 984506 4547 1 - 8.0000 -
3458.90/3468.92 c 3469 985892 4543 1 - 8.0000 -
3463.88/3473.97 c 3474 987151 4526 1 - 8.0000 -
3468.97/3479.02 c 3479 988323 4534 1 - 8.0000 -
3473.96/3484.07 c 3484 989739 4582 1 - 8.0000 -
3479.05/3489.12 c 3489 991077 4609 1 - 8.0000 -
3484.03/3494.18 c 3494 992433 4609 1 - 8.0000 -
3489.11/3499.23 c 3499 993690 4604 1 - 8.0000 -
3494.09/3504.28 c 3504 994849 4636 1 - 8.0000 -
3499.18/3509.34 c 3509 995998 4616 1 - 8.0000 -
3504.17/3514.38 c 3514 997335 4636 1 - 8.0000 -
3509.25/3519.43 c 3519 998680 4630 1 - 8.0000 -
3514.24/3524.48 c 3524 999952 4652 1 - 8.0000 -
3519.32/3529.53 c 3530 1001474 4695 1 - 8.0000 -
3524.31/3534.58 c 3535 1003067 4731 1 - 8.0000 -
3529.40/3539.63 c 3540 1004587 4738 1 - 8.0000 -
3534.39/3544.68 c 3545 1006073 4720 1 - 8.0000 -
3539.47/3549.73 c 3550 1007383 4710 1 - 8.0000 -
3544.45/3554.78 c 3555 1008562 4727 1 - 8.0000 -
3549.54/3559.83 c 3560 1009835 4727 1 - 8.0000 -
3554.53/3564.88 c 3565 1011182 4735 1 - 8.0000 -
3559.62/3569.93 c 3570 1012527 4725 1 - 8.0000 -
3564.60/3574.98 c 3575 1013948 4736 1 - 8.0000 -
3569.69/3580.03 c 3580 1015162 4729 1 - 8.0000 -
3574.68/3585.08 c 3585 1016568 4739 1 - 8.0000 -
3579.77/3590.14 c 3590 1017924 4751 1 - 8.0000 -
3584.75/3595.19 c 3595 1019536 4768 1 - 8.0000 -
3589.63/3600.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.63/3600.10 c Total Time : 3600.0900
3589.63/3600.10 c solving : 3600.0900
3589.63/3600.10 c presolving : 3.3964 (included in solving)
3589.63/3600.10 c B&B Tree :
3589.63/3600.10 c nodes (total) : 1
3589.63/3600.10 c Solution :
3589.63/3600.10 c Solutions found : 0
3589.63/3600.10 c Primal Bound : -
3589.63/3600.10 c Dual Bound : +8.00000000000000e+00
3589.63/3600.10 c Gap : -
3589.74/3600.14 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: 64059 MiB (61844 MiB free)
memory of node 1: 64510 MiB (60448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434797-1721115661/watcher-4434797-1721115661 -o /tmp/evaluation-result-4434797-1721115661/solver-4434797-1721115661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832868 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434797-1721115661.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
Current StackSize limit: 8192 KiB
solver pid=833441, runsolver pid=833438
[startup+0.100149 s]*
/proc/loadavg: 4.09 4.09 4.12 5/256 833442
/proc/meminfo: memFree=125202872/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=52848 memory=41856 CPUtime=0.1 cores=1,3
/proc/833441/stat : 833441 (fscip) R 833438 833441 832856 0 -1 4194304 8100 0 0 0 9 1 0 0 20 0 1 0 163723086 54116352 10464 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 13212 10464 2606 3032 0 9612 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52848 KiB
Current children cumulated memory: 41856 KiB
[startup+0.213461 s]*
/proc/loadavg: 4.09 4.09 4.12 5/256 833442
/proc/meminfo: memFree=125186480/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=65308 memory=54524 CPUtime=0.21 cores=1,3
/proc/833441/stat : 833441 (fscip) R 833438 833441 832856 0 -1 4194304 12870 0 0 0 19 2 0 0 20 0 1 0 163723086 66875392 13631 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 16327 13631 2734 3032 0 12727 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65308 KiB
Current children cumulated memory: 54524 KiB
[startup+0.31322 s]*
/proc/loadavg: 4.09 4.09 4.12 5/256 833442
/proc/meminfo: memFree=125175280/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=75772 memory=63520 CPUtime=0.32 cores=1,3
/proc/833441/stat : 833441 (fscip) R 833438 833441 832856 0 -1 4194304 15193 0 0 0 29 3 0 0 20 0 1 0 163723086 77590528 15880 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 18943 15880 2750 3032 0 15343 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 75772 KiB
Current children cumulated memory: 63520 KiB
[startup+0.700332 s]
/proc/loadavg: 4.09 4.09 4.12 5/256 833442
/proc/meminfo: memFree=125163348/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=97416 memory=77276 CPUtime=0.68 cores=1,3
/proc/833441/stat : 833441 (fscip) R 833438 833441 832856 0 -1 4194304 18061 0 0 0 65 3 0 0 20 0 1 0 163723086 99753984 19319 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 24354 19319 2782 3032 0 20754 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97416 KiB
Current children cumulated memory: 77276 KiB
[startup+1.50034 s]
/proc/loadavg: 4.09 4.09 4.12 5/256 833442
/proc/meminfo: memFree=125159372/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=101500 memory=82292 CPUtime=1.48 cores=1,3
/proc/833441/stat : 833441 (fscip) R 833438 833441 832856 0 -1 4194304 19309 0 0 0 145 3 0 0 20 0 1 0 163723086 103936000 20573 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 25375 20573 2782 3032 0 21775 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101500 KiB
Current children cumulated memory: 82292 KiB
[startup+3.11285 s]
/proc/loadavg: 4.08 4.09 4.12 5/256 833442
/proc/meminfo: memFree=125117904/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=140676 memory=121620 CPUtime=3.09 cores=1,3
/proc/833441/stat : 833441 (fscip) R 833438 833441 832856 0 -1 4194304 29200 0 0 0 304 5 0 0 20 0 1 0 163723086 144052224 30405 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 35169 30405 2782 3032 0 31569 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 140676 KiB
Current children cumulated memory: 121620 KiB
[startup+6.30038 s]
/proc/loadavg: 4.08 4.09 4.12 5/258 833444
/proc/meminfo: memFree=124982356/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=314340 memory=256356 CPUtime=6.27 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 73640 0 0 0 614 13 0 0 20 0 3 0 163723086 321884160 64089 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 78585 64089 2910 3032 0 73576 0
[pid=833441/tid=833443] ppid=833438 vsize=314340 memory=583 CPUtime=2.75 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 38967 0 0 0 269 6 0 0 20 0 3 0 163723436 321884160 64089 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=314340 memory=11404 CPUtime=0 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 163723441 321884160 64089 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 314340 KiB
Current children cumulated memory: 256356 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.08 4.12 5/258 833446
/proc/meminfo: memFree=124949352/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=379876 memory=291260 CPUtime=12.64 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 113826 0 0 0 1247 17 0 0 20 0 3 0 163723086 388993024 72815 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 94969 72815 2958 3032 0 80176 0
[pid=833441/tid=833443] ppid=833438 vsize=379876 memory=285672 CPUtime=9.14 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 79124 0 0 0 903 11 0 0 20 0 3 0 163723436 388993024 72815 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=379876 memory=284096 CPUtime=0 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 163723441 388993024 72815 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 379876 KiB
Current children cumulated memory: 291260 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 833447
/proc/meminfo: memFree=124931944/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=379876 memory=304852 CPUtime=25.41 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 193120 0 0 0 2515 26 0 0 20 0 3 0 163723086 388993024 76213 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 94969 76213 2958 3032 0 83060 0
[pid=833441/tid=833443] ppid=833438 vsize=379876 memory=304844 CPUtime=21.9 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 158383 0 0 0 2171 19 0 0 20 0 3 0 163723436 388993024 76213 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=379876 memory=304840 CPUtime=0 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 163723441 388993024 76213 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 379876 KiB
Current children cumulated memory: 304852 KiB
[startup+51.1133 s]
/proc/loadavg: 4.11 4.09 4.12 5/258 833452
/proc/meminfo: memFree=124851704/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=379876 memory=335264 CPUtime=50.95 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 262893 0 0 0 5061 34 0 0 20 0 3 0 163723086 388993024 83816 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 94969 83816 2958 3032 0 90520 0
[pid=833441/tid=833443] ppid=833438 vsize=379876 memory=11404 CPUtime=47.44 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 228100 0 0 0 4717 27 0 0 20 0 3 0 163723436 388993024 83816 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=379876 memory=335252 CPUtime=0 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 163723441 388993024 83816 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 379876 KiB
Current children cumulated memory: 335264 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/258 833461
/proc/meminfo: memFree=124842420/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=445412 memory=353044 CPUtime=101.97 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 329926 0 0 0 10153 44 0 0 20 0 3 0 163723086 456101888 88261 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 111353 88261 2958 3032 0 94917 0
[pid=833441/tid=833443] ppid=833438 vsize=445412 memory=11404 CPUtime=98.46 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 295090 0 0 0 9809 37 0 0 20 0 3 0 163723436 456101888 88261 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=445412 memory=353044 CPUtime=0 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 163723441 456101888 88261 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 445412 KiB
Current children cumulated memory: 353044 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/258 833471
/proc/meminfo: memFree=124811124/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=445412 memory=380872 CPUtime=161.78 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 398727 0 0 0 16123 55 0 0 20 0 3 0 163723086 456101888 95218 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 111353 95218 2958 3032 0 101971 0
[pid=833441/tid=833443] ppid=833438 vsize=445412 memory=2276 CPUtime=158.26 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 363852 0 0 0 15778 48 0 0 20 0 3 0 163723436 456101888 95218 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=445412 memory=11404 CPUtime=0 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 163723441 456101888 95218 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 445412 KiB
Current children cumulated memory: 380872 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/257 833482
/proc/meminfo: memFree=124794300/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=445412 memory=393832 CPUtime=221.6 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 436045 0 0 0 22095 65 0 0 20 0 3 0 163723086 456101888 98458 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 111353 98458 2974 3032 0 105221 0
[pid=833441/tid=833443] ppid=833438 vsize=445412 memory=381828 CPUtime=218.08 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 401150 0 0 0 21750 58 0 0 20 0 3 0 163723436 456101888 98458 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=445412 memory=6720668739995647337 CPUtime=0 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 163723441 456101888 98458 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 445412 KiB
Current children cumulated memory: 393832 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/254 833493
/proc/meminfo: memFree=124776964/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=445412 memory=395496 CPUtime=281.41 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 465090 0 0 0 28066 75 0 0 20 0 3 0 163723086 456101888 98874 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 111353 98874 2974 3032 0 105221 0
[pid=833441/tid=833443] ppid=833438 vsize=445412 memory=395176 CPUtime=277.87 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 430175 0 0 0 27721 66 0 0 20 0 3 0 163723436 456101888 98874 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
################
# More data... #
################
[pid=833441] ppid=833438 vsize=576648 memory=520024 CPUtime=3452.32 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1066706 0 0 0 344853 379 0 0 20 0 3 0 163723086 590487552 130006 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130006 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=520344 CPUtime=3448.45 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1031147 0 0 0 344488 357 0 0 20 0 3 0 163723436 590487552 130006 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=520344 CPUtime=0.05 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 163723441 590487552 130006 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 520024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.31 4.26 5/250 835300
/proc/meminfo: memFree=123942748/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3512.14 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1067975 0 0 0 350831 383 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=11404 CPUtime=3508.27 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1032406 0 0 0 350466 361 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=5524 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 137 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.88 4.48 4.33 5/252 835410
/proc/meminfo: memFree=124687968/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3571.98 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069331 0 0 0 356810 388 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=12556 CPUtime=3568.09 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033752 0 0 0 356444 365 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=521972 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3600.15 s]
# the end of solver process 833441 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.87 s, system=3.90552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.81 4.47 4.33 5/252 835411
/proc/meminfo: memFree=124687688/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3573.68 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069334 0 0 0 356980 388 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=-6081943532483033964 CPUtime=3569.79 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033755 0 0 0 356614 365 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=-8621784567947968669 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3590.4 s]
/proc/loadavg: 4.74 4.47 4.32 5/252 835413
/proc/meminfo: memFree=124661708/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3580.05 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069350 0 0 0 357617 388 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=521972 CPUtime=3576.16 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033771 0 0 0 357251 365 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=521972 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3580.05 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3596.8 s]
/proc/loadavg: 4.68 4.46 4.32 5/252 835413
/proc/meminfo: memFree=124658432/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3586.44 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069491 0 0 0 358255 389 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=521972 CPUtime=3582.55 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033906 0 0 0 357889 366 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=521972 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3598.4 s]
/proc/loadavg: 4.63 4.45 4.32 5/252 835414
/proc/meminfo: memFree=124656552/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3588.03 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069494 0 0 0 358414 389 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=16140 CPUtime=3584.14 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033909 0 0 0 358048 366 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=521972 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3588.03 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3599.2 s]
/proc/loadavg: 4.63 4.45 4.32 5/252 835414
/proc/meminfo: memFree=124656468/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3588.83 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069503 0 0 0 358494 389 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=-6081943532483033964 CPUtime=3584.95 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033918 0 0 0 358128 367 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=-8621784567947968669 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3588.83 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3599.6 s]
/proc/loadavg: 4.63 4.45 4.32 5/252 835414
/proc/meminfo: memFree=124656468/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3589.22 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069504 0 0 0 358533 389 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=12556 CPUtime=3585.34 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033919 0 0 0 358167 367 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=5524 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3589.22 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3600 s]*
/proc/loadavg: 4.63 4.45 4.32 5/252 835414
/proc/meminfo: memFree=124656432/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=576648 memory=521972 CPUtime=3589.63 cores=1,3
/proc/833441/stat : 833441 (fscip) S 833438 833441 832856 0 -1 1077936128 1069514 0 0 0 358574 389 0 0 20 0 3 0 163723086 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 144162 130493 2974 3032 0 135772 0
[pid=833441/tid=833443] ppid=833438 vsize=576648 memory=-6081943532483033964 CPUtime=3585.76 cores=1,3
/proc/833441/task/833443/stat : 833443 (fscip) R 833438 833441 832856 0 -1 4194368 1033933 0 0 0 358209 367 0 0 20 0 3 0 163723436 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
[pid=833441/tid=833444] ppid=833438 vsize=576648 memory=-8621784567947968669 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 3 0 163723441 590487552 130493 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3589.63 s
Current children cumulated vsize: 576648 KiB
Current children cumulated memory: 521972 KiB
[startup+3600.12 s]
/proc/loadavg: 4.63 4.45 4.32 5/252 835414
/proc/meminfo: memFree=124656432/131655788 swapFree=131071996/131071996
[pid=833441] ppid=833438 vsize=573208 memory=496332 CPUtime=3589.74 cores=1,3
/proc/833441/stat : 833441 (fscip) R 833438 833441 832856 0 -1 4194304 1069815 0 0 0 358585 389 0 0 20 0 2 0 163723086 586964992 124083 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
/proc/833441/statm: 143302 124083 2974 3032 0 134912 0
[pid=833441/tid=833444] ppid=833438 vsize=573208 memory=2276 CPUtime=0.06 cores=1,3
/proc/833441/task/833444/stat : 833444 (fscip) S 833438 833441 832856 0 -1 1077936192 139 0 0 0 1 5 0 0 20 0 2 0 163723441 586964992 124083 134679101440 4194304 16613245 140726394431360 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 49917952 140726394438677 140726394438793 140726394438793 140726394445808 0
Current children cumulated CPU time: 3589.74 s
Current children cumulated vsize: 573208 KiB
Current children cumulated memory: 496332 KiB
Child status: 0
Real time (s): 3600.15
CPU time (s): 3589.78
CPU user time (s): 3585.87
CPU system time (s): 3.90552
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 576648
Max. memory (cumulated for all children) (KiB): 521972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.87
system time used= 3.90552
maximum resident set size= 528060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1069849
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= 10825
involuntary context switches= 1594
# summary of solver processes directly reported to runsolver:
# pid: 833441
# total CPU time (s): 3589.78
# total CPU user time (s): 3585.87
# total CPU system time (s): 3.90552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.644 second user time and 35.3851 second system time
The end
Begin job on nodeC012 at 2024-07-16 09:41:14
IDJOB=4434797
IDBENCH=148769
IDSOLVER=3064
FILE ID=nodeC012/4434797-1721115661
RUNJOBID= nodeC012-1721115597-832868
SLURM_JOB_ID= 7505652
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx84.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-4434797-1721115661/watcher-4434797-1721115661 -o /tmp/evaluation-result-4434797-1721115661/solver-4434797-1721115661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832868 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434797-1721115661.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d60e9860abd72f5860673673bfdb8c38
RANDOM SEED=1219254532
nodeC012.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 : 3669.574
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 : 6984.37
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 : 2793.753
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.32
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.516
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 : 6984.37
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.325
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.32
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 : 3666.742
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 : 6984.37
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 : 3661.091
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.32
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.594
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 : 6984.37
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.546
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125228876 kB
MemAvailable: 128801628 kB
Buffers: 394516 kB
Cached: 3977496 kB
SwapCached: 0 kB
Active: 675000 kB
Inactive: 5129864 kB
Active(anon): 1440 kB
Inactive(anon): 1469112 kB
Active(file): 673560 kB
Inactive(file): 3660752 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29232 kB
Writeback: 0 kB
AnonPages: 1432876 kB
Mapped: 139660 kB
Shmem: 37704 kB
KReclaimable: 156940 kB
Slab: 261168 kB
SReclaimable: 156940 kB
SUnreclaim: 104228 kB
KernelStack: 4112 kB
PageTables: 12236 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1074268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52544 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 303944 kB
DirectMap2M: 33155072 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC012 at 2024-07-16 10:41:14