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.12 c Default LC presolving (default).
0.10/0.12 c ** Before presolving: virtualMemUsedAtLc = 53997568, getVmSize() = 53997568, SCIPgetMemUsed() = 28055612, SCIPgetMemTotal() = 31306076, SCIPgetMemExternEstim() = 18270036
0.10/0.12 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.68/0.78 c ** Estimated virtualMemUsedAtSolver = 41584078, getVmSize() = 68931584, SCIPgetMemUsed() = 26230850, SCIPgetMemTotal() = 44106082, SCIPgetMemExternEstim() = 18270036
0.68/0.78 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.68/0.78 c Original Problem :
0.68/0.78 c Problem name : instance-4463937-1722378594
0.68/0.78 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.78 c Constraints : 13429
0.68/0.78 c Objective sense : minimize
0.68/0.78 c Presolved Problem :
0.68/0.78 c Variables : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.78 c Constraints : 5678
0.68/0.78 c Constraints : Number
0.68/0.78 c setppc : 912
0.68/0.78 c and : 2
0.68/0.78 c logicor : 4764
0.68/0.78 c ** Instance transfer method used: 0
0.78/0.80 c ** ParaScipInstance copy does not increase the number of variables. **
0.78/0.82 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.78/0.82 c Nodes Active
0.78/0.82 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.57/5.65 c 6 7 6 1 - 3088.5893 -
10.65/10.76 c 11 36 35 1 - 3103.3917 -
16.64/16.72 c 17 56 55 1 - 3104.7917 -
21.93/22.04 c 22 81 80 1 - 3106.1179 -
27.30/27.45 c 27 107 106 1 - 3106.2679 -
32.59/32.71 c 33 145 140 1 - 3106.7845 -
37.78/37.91 c 38 190 185 1 - 3106.7845 -
43.17/43.30 c 43 257 252 1 - 3108.7417 -
48.97/49.19 c 49 290 285 1 - 3108.7417 -
54.44/54.64 c 55 301 296 1 - 3108.7417 -
60.72/60.95 c 61 316 311 1 - 3108.7417 -
65.82/66.06 c 66 325 320 1 - 3108.7417 -
71.99/72.27 c 72 341 336 1 - 3108.7417 -
77.58/77.89 c 78 368 363 1 - 3108.7417 -
82.96/83.26 c 83 393 386 1 - 3128.2361 -
87.95/88.28 c 88 408 401 1 - 3128.2361 -
93.24/93.56 c 94 427 420 1 - 3128.2361 -
98.92/99.27 c 99 450 441 1 - 3128.9028 -
104.02/104.39 c 104 471 460 1 - 3130.6500 -
109.20/109.50 c 110 498 485 1 - 3130.9833 -
115.09/115.42 c 115 518 505 1 - 3130.9833 -
120.07/120.43 c 120 538 525 1 - 3130.9833 -
125.77/126.19 c 126 569 556 1 - 3130.9833 -
130.94/131.30 c 131 587 574 1 - 3130.9833 -
136.93/137.34 c 137 609 596 1 - 3130.9833 -
143.80/144.27 c 144 633 620 1 - 3130.9833 -
148.78/149.29 c 149 652 639 1 - 3130.9833 -
153.86/154.33 c 154 673 660 1 - 3130.9833 -
160.05/160.58 c 161 700 687 1 - 3130.9833 -
165.43/165.98 c 166 719 706 1 - 3130.9833 -
172.11/172.68 c 173 742 729 1 - 3130.9833 -
178.19/178.72 c 179 772 759 1 - 3130.9833 -
184.59/185.14 c 185 801 788 1 - 3130.9833 -
190.25/190.87 c 191 827 814 1 - 3137.1680 -
196.55/197.13 c 197 856 843 1 - 3137.1680 -
202.21/202.86 c 203 882 869 1 - 3137.1680 -
207.69/208.30 c 208 906 893 1 - 3139.7778 -
213.08/213.71 c 214 952 919 1 - 3139.7778 -
222.36/223.07 c 223 1005 930 1 - 3140.3333 -
228.23/228.95 c 229 1049 942 1 - 3143.6111 -
235.11/235.80 c 236 1105 948 1 - 3143.9490 -
240.79/241.56 c 242 1170 949 1 - 3143.9490 -
246.47/247.21 c 247 1205 954 1 - 3145.2222 -
251.76/252.58 c 253 1244 951 1 - 3145.2222 -
257.36/258.12 c 258 1290 947 1 - 3145.2222 -
263.43/264.20 c 264 1343 951 1 - 3146.0000 -
269.32/270.16 c 270 1371 959 1 - 3146.1667 -
275.30/276.18 c 276 1416 967 1 - 3146.3347 -
280.87/281.78 c 282 1453 966 1 - 3146.5062 -
286.55/287.40 c 287 1481 974 1 - 3146.5062 -
291.93/292.86 c 293 1501 984 1 - 3146.6667 -
297.13/298.04 c 298 1555 990 1 - 3146.6667 -
302.41/303.38 c 303 1585 990 1 - 3146.6680 -
308.69/309.69 c 310 1620 997 1 - 3146.8334 -
314.56/315.58 c 316 1661 1006 1 - 3146.8334 -
321.06/322.09 c 322 1695 1012 1 - 3147.6125 -
326.73/327.71 c 328 1732 1027 1 - 3148.0001 -
332.21/333.29 c 333 1770 1033 1 - 3149.2225 -
337.50/338.59 c 339 1815 1036 1 - 3149.6126 -
342.58/343.62 c 344 1862 1041 1 - 3149.6143 -
348.36/349.49 c 350 1902 1041 1 - 3149.8333 -
354.34/355.43 c 355 1955 1046 1 - 3149.8333 -
360.23/361.36 c 361 2008 1051 1 - 3150.0159 -
366.11/367.28 c 367 2047 1058 1 - 3150.5944 -
372.00/373.12 c 373 2095 1062 1 - 3150.6270 -
377.47/378.61 c 379 2139 1072 1 - 3150.6613 -
382.75/383.99 c 384 2175 1074 1 - 3150.6654 -
388.54/389.76 c 390 2225 1078 1 - 3150.6654 -
393.94/395.13 c 395 2277 1080 1 - 3150.6654 -
399.02/400.20 c 400 2312 1079 1 - 3150.7667 -
404.40/405.60 c 406 2355 1082 1 - 3150.7667 -
409.58/410.80 c 411 2382 1087 1 - 3151.0000 -
414.78/416.03 c 416 2421 1100 1 - 3151.0014 -
420.46/421.72 c 422 2462 1105 1 - 3151.1722 -
425.75/427.10 c 427 2498 1109 1 - 3151.1729 -
431.74/433.04 c 433 2554 1121 1 - 3151.3095 -
437.21/438.58 c 439 2598 1119 1 - 3151.3095 -
442.60/443.95 c 444 2647 1120 1 - 3151.3095 -
447.59/448.97 c 449 2692 1123 1 - 3151.3111 -
453.08/454.49 c 454 2729 1124 1 - 3151.3111 -
458.27/459.69 c 460 2745 1126 1 - 3151.3389 -
464.05/465.47 c 465 2808 1139 1 - 3151.5000 -
469.64/471.01 c 471 2862 1144 1 - 3151.5090 -
475.12/476.57 c 477 2935 1148 1 - 3151.6000 -
480.40/481.86 c 482 2992 1163 1 - 3151.8667 -
485.79/487.23 c 487 3057 1175 1 - 3152.1677 -
491.69/493.17 c 493 3132 1183 1 - 3152.1825 -
497.35/498.85 c 499 3212 1186 1 - 3152.1825 -
503.04/504.53 c 505 3252 1194 1 - 3152.7000 -
508.82/510.36 c 510 3311 1211 1 - 3152.8667 -
514.40/515.98 c 516 3372 1210 1 - 3153.0000 -
519.50/521.07 c 521 3431 1227 1 - 3153.1163 -
524.88/526.42 c 526 3506 1228 1 - 3153.2734 -
530.67/532.23 c 532 3580 1240 1 - 3153.3335 -
536.16/537.78 c 538 3651 1251 1 - 3153.3432 -
542.14/543.76 c 544 3715 1257 1 - 3154.0000 -
547.73/549.38 c 549 3774 1259 1 - 3154.0000 -
553.53/555.15 c 555 3813 1266 1 - 3154.0001 -
559.10/560.77 c 561 3877 1272 1 - 3154.1241 -
564.69/566.39 c 566 3923 1275 1 - 3154.2224 -
572.56/574.20 c 574 3956 1292 1 - 3154.3463 -
577.55/579.25 c 579 3988 1316 1 - 3154.3463 -
583.34/585.01 c 585 4043 1321 1 - 3154.4314 -
588.92/590.64 c 591 4082 1340 1 - 3154.5000 -
595.10/596.87 c 597 4122 1348 1 - 3154.6455 -
600.49/602.27 c 602 4172 1354 1 - 3154.9433 -
606.18/607.94 c 608 4215 1363 1 - 3155.0001 -
612.06/613.87 c 614 4271 1369 1 - 3155.1667 -
617.15/618.92 c 619 4312 1374 1 - 3155.2225 -
622.74/624.52 c 625 4369 1385 1 - 3155.2225 -
629.42/631.29 c 631 4433 1387 1 - 3155.2226 -
634.81/636.62 c 637 4495 1395 1 - 3155.3111 -
640.49/642.32 c 642 4552 1400 1 - 3155.4314 -
645.78/647.60 c 648 4601 1405 1 - 3155.4500 -
651.07/652.95 c 653 4663 1413 1 - 3155.6669 -
656.45/658.32 c 658 4728 1410 1 - 3155.6669 -
661.84/663.77 c 664 4786 1412 1 - 3155.6669 -
667.14/669.04 c 669 4849 1413 1 - 3155.6678 -
672.61/674.55 c 675 4895 1427 1 - 3155.6678 -
677.90/679.83 c 680 4942 1434 1 - 3155.6945 -
683.48/685.45 c 685 4995 1435 1 - 3155.6945 -
689.78/691.77 c 692 5051 1445 1 - 3155.6979 -
695.86/697.82 c 698 5117 1451 1 - 3155.8333 -
701.84/703.86 c 704 5161 1465 1 - 3155.8958 -
707.73/709.70 c 710 5201 1479 1 - 3156.0556 -
713.51/715.57 c 716 5245 1485 1 - 3156.0556 -
719.20/721.28 c 721 5313 1489 1 - 3156.0556 -
724.78/726.81 c 727 5365 1495 1 - 3156.1111 -
730.77/732.87 c 733 5427 1511 1 - 3156.1624 -
736.36/738.41 c 738 5492 1512 1 - 3156.1667 -
742.24/744.38 c 744 5533 1523 1 - 3156.2261 -
747.73/749.89 c 750 5589 1531 1 - 3156.3090 -
753.72/755.88 c 756 5662 1533 1 - 3156.4170 -
759.11/761.26 c 761 5726 1539 1 - 3156.4170 -
764.39/766.56 c 767 5787 1540 1 - 3156.4170 -
771.28/773.44 c 773 5832 1547 1 - 3156.4762 -
776.76/778.97 c 779 5880 1569 1 - 3156.4762 -
781.96/784.19 c 784 5952 1581 1 - 3156.4762 -
787.44/789.62 c 790 6014 1585 1 - 3156.5326 -
792.52/794.76 c 795 6071 1586 1 - 3156.6677 -
797.92/800.17 c 800 6132 1589 1 - 3156.6677 -
803.60/805.87 c 806 6183 1596 1 - 3156.7555 -
809.90/812.15 c 812 6243 1598 1 - 3156.7555 -
815.07/817.38 c 817 6304 1605 1 - 3156.7972 -
820.46/822.79 c 823 6364 1617 1 - 3156.8333 -
829.24/831.55 c 832 6425 1620 1 - 3156.9124 -
834.83/837.11 c 837 6482 1623 1 - 3156.9521 -
840.61/842.93 c 843 6537 1634 1 - 3157.0000 -
846.00/848.37 c 848 6578 1643 1 - 3157.0090 -
851.79/854.13 c 854 6648 1643 1 - 3157.0090 -
857.68/860.08 c 860 6703 1642 1 - 3157.0284 -
863.45/865.87 c 866 6791 1644 1 - 3157.0956 -
869.54/871.92 c 872 6856 1653 1 - 3157.2024 -
874.73/877.17 c 877 6942 1659 1 - 3157.2812 -
879.80/882.23 c 882 7007 1668 1 - 3157.3333 -
885.19/887.65 c 888 7082 1675 1 - 3157.3344 -
891.07/893.50 c 894 7155 1686 1 - 3157.3423 -
896.25/898.78 c 899 7222 1693 1 - 3157.4448 -
901.34/903.86 c 904 7282 1707 1 - 3157.5333 -
906.53/909.02 c 909 7369 1710 1 - 3157.5333 -
911.81/914.32 c 914 7441 1718 1 - 3157.5333 -
916.99/919.50 c 920 7513 1728 1 - 3157.6887 -
922.88/925.44 c 925 7579 1744 1 - 3157.6887 -
928.26/930.81 c 931 7650 1755 1 - 3157.7016 -
933.47/936.06 c 936 7686 1777 1 - 3157.9109 -
938.74/941.37 c 941 7744 1773 1 - 3157.9109 -
944.73/947.34 c 947 7805 1776 1 - 3158.0001 -
950.01/952.63 c 953 7877 1784 1 - 3158.0001 -
958.69/961.39 c 961 7945 1790 1 - 3158.0012 -
964.39/967.09 c 967 8033 1798 1 - 3158.0054 -
970.56/973.30 c 973 8092 1811 1 - 3158.1774 -
976.54/979.22 c 979 8155 1822 1 - 3158.1809 -
981.93/984.67 c 985 8203 1832 1 - 3158.2354 -
987.23/989.91 c 990 8262 1827 1 - 3158.2361 -
992.32/995.05 c 995 8324 1831 1 - 3158.2361 -
997.50/1000.25 c 1000 8370 1852 1 - 3158.2667 -
1003.29/1006.10 c 1006 8430 1853 1 - 3158.2667 -
1008.97/1011.72 c 1012 8492 1857 1 - 3158.3686 -
1014.16/1017.01 c 1017 8548 1865 1 - 3158.3697 -
1020.25/1023.03 c 1023 8609 1878 1 - 3158.5908 -
1025.62/1028.43 c 1028 8672 1880 1 - 3158.6667 -
1030.91/1033.79 c 1034 8731 1887 1 - 3158.6667 -
1036.59/1039.43 c 1039 8772 1898 1 - 3158.7101 -
1041.78/1044.64 c 1045 8840 1906 1 - 3158.7101 -
1047.47/1050.39 c 1050 8888 1907 1 - 3158.7292 -
1052.85/1055.79 c 1056 8932 1915 1 - 3158.8333 -
1058.05/1060.99 c 1061 8979 1936 1 - 3158.8333 -
1063.24/1066.15 c 1066 9052 1943 1 - 3158.8333 -
1068.42/1071.39 c 1071 9124 1947 1 - 3158.8333 -
1074.00/1076.94 c 1077 9187 1954 1 - 3158.8335 -
1079.29/1082.28 c 1082 9250 1959 1 - 3158.9192 -
1084.58/1087.55 c 1088 9317 1970 1 - 3158.9333 -
1090.07/1093.01 c 1093 9379 1980 1 - 3158.9445 -
1095.66/1098.60 c 1099 9430 1983 1 - 3158.9883 -
1100.64/1103.63 c 1104 9497 1992 1 - 3159.0089 -
1106.14/1109.14 c 1109 9542 1993 1 - 3159.0952 -
1111.72/1114.70 c 1115 9584 2015 1 - 3159.2115 -
1117.20/1120.24 c 1120 9648 2025 1 - 3159.2115 -
1122.29/1125.35 c 1125 9711 2023 1 - 3159.2156 -
1127.78/1130.86 c 1131 9773 2041 1 - 3159.2156 -
1133.26/1136.35 c 1136 9849 2043 1 - 3159.2222 -
1138.96/1142.04 c 1142 9902 2057 1 - 3159.2274 -
1145.04/1148.13 c 1148 9935 2072 1 - 3159.3335 -
1150.72/1153.82 c 1154 10001 2092 1 - 3159.3893 -
1156.10/1159.27 c 1159 10056 2115 1 - 3159.3893 -
1161.29/1164.49 c 1164 10115 2131 1 - 3159.3893 -
1166.78/1169.92 c 1170 10178 2154 1 - 3159.3893 -
1173.27/1176.41 c 1176 10232 2160 1 - 3159.4031 -
1178.97/1182.16 c 1182 10274 2182 1 - 3159.4647 -
1184.34/1187.58 c 1188 10322 2182 1 - 3159.5000 -
1190.32/1193.53 c 1194 10352 2188 1 - 3159.5448 -
1195.31/1198.58 c 1199 10394 2192 1 - 3159.5667 -
1201.81/1205.04 c 1205 10430 2204 1 - 3159.6121 -
1207.79/1211.08 c 1211 10502 2209 1 - 3159.6667 -
1213.17/1216.48 c 1216 10545 2208 1 - 3159.6667 -
1218.55/1221.88 c 1222 10589 2211 1 - 3159.6672 -
1225.04/1228.36 c 1228 10634 2232 1 - 3159.6859 -
1230.73/1234.04 c 1234 10683 2242 1 - 3159.7066 -
1236.82/1240.17 c 1240 10715 2252 1 - 3159.7500 -
1242.29/1245.66 c 1246 10763 2256 1 - 3159.7500 -
1247.39/1250.72 c 1251 10822 2261 1 - 3159.7619 -
1253.57/1256.90 c 1257 10874 2267 1 - 3159.8651 -
1258.86/1262.27 c 1262 10942 2317 1 - 3160.0000 -
1264.35/1267.79 c 1268 10994 2337 1 - 3160.0833 -
1269.53/1272.95 c 1273 11068 2341 1 - 3160.1667 -
1275.42/1278.88 c 1279 11134 2367 1 - 3160.2196 -
1280.62/1284.11 c 1284 11205 2384 1 - 3160.2196 -
1285.89/1289.31 c 1289 11278 2393 1 - 3160.2222 -
1291.69/1295.12 c 1295 11337 2403 1 - 3160.3335 -
1297.37/1300.80 c 1301 11416 2402 1 - 3160.3392 -
1302.66/1306.16 c 1306 11500 2402 1 - 3160.3392 -
1308.44/1311.91 c 1312 11581 2403 1 - 3160.4000 -
1315.53/1319.09 c 1319 11635 2411 1 - 3160.4167 -
1320.81/1324.32 c 1324 11713 2424 1 - 3160.4167 -
1326.69/1330.23 c 1330 11804 2437 1 - 3160.4512 -
1332.49/1336.09 c 1336 11887 2448 1 - 3160.4658 -
1337.58/1341.18 c 1341 11942 2459 1 - 3160.5338 -
1342.95/1346.58 c 1347 12009 2468 1 - 3160.5625 -
1348.24/1351.83 c 1352 12112 2478 1 - 3160.5625 -
1353.32/1356.98 c 1357 12165 2491 1 - 3160.7566 -
1359.01/1362.67 c 1363 12261 2493 1 - 3160.7566 -
1364.79/1368.40 c 1368 12344 2504 1 - 3160.8667 -
1370.49/1374.16 c 1374 12425 2512 1 - 3160.8892 -
1375.57/1379.23 c 1379 12502 2519 1 - 3160.9017 -
1380.66/1384.33 c 1384 12586 2513 1 - 3160.9017 -
1386.36/1390.10 c 1390 12642 2524 1 - 3161.0000 -
1392.03/1395.78 c 1396 12722 2524 1 - 3161.0155 -
1397.22/1400.96 c 1401 12775 2534 1 - 3161.0250 -
1403.00/1406.79 c 1407 12856 2537 1 - 3161.0278 -
1408.69/1412.48 c 1412 12885 2540 1 - 3161.1429 -
1414.39/1418.18 c 1418 12982 2543 1 - 3161.2233 -
1419.76/1423.56 c 1424 13064 2551 1 - 3161.2466 -
1424.96/1428.71 c 1429 13140 2554 1 - 3161.2466 -
1430.14/1433.99 c 1434 13238 2554 1 - 3161.2466 -
1435.53/1439.33 c 1439 13302 2557 1 - 3161.2556 -
1440.52/1444.35 c 1444 13352 2567 1 - 3161.3135 -
1446.50/1450.36 c 1450 13421 2570 1 - 3161.3423 -
1452.20/1456.08 c 1456 13494 2577 1 - 3161.3441 -
1458.37/1462.25 c 1462 13580 2571 1 - 3161.3441 -
1464.05/1468.01 c 1468 13647 2579 1 - 3161.5135 -
1469.84/1473.76 c 1474 13687 2589 1 - 3161.5556 -
1474.94/1478.83 c 1479 13729 2589 1 - 3161.5694 -
1480.32/1484.24 c 1484 13792 2595 1 - 3161.5837 -
1485.60/1489.56 c 1490 13835 2623 1 - 3161.5837 -
1491.29/1495.20 c 1495 13877 2633 1 - 3161.6946 -
1497.09/1501.04 c 1501 13933 2644 1 - 3161.8333 -
1502.67/1506.68 c 1507 13991 2648 1 - 3161.8411 -
1508.07/1512.11 c 1512 14072 2639 1 - 3161.8411 -
1513.34/1517.38 c 1517 14147 2647 1 - 3161.8411 -
1519.32/1523.39 c 1523 14213 2652 1 - 3161.8444 -
1524.81/1528.85 c 1529 14269 2656 1 - 3161.8659 -
1530.49/1534.54 c 1535 14330 2666 1 - 3161.9740 -
1536.48/1540.50 c 1540 14389 2667 1 - 3161.9779 -
1541.66/1545.70 c 1546 14442 2672 1 - 3162.0333 -
1547.35/1551.43 c 1551 14492 2670 1 - 3162.0694 -
1553.23/1557.37 c 1557 14542 2674 1 - 3162.1667 -
1559.03/1563.19 c 1563 14584 2684 1 - 3162.1667 -
1564.60/1568.74 c 1569 14625 2700 1 - 3162.1806 -
1570.09/1574.23 c 1574 14666 2711 1 - 3162.3345 -
1575.89/1580.01 c 1580 14739 2721 1 - 3162.3345 -
1581.26/1585.49 c 1586 14785 2727 1 - 3162.3392 -
1586.75/1590.96 c 1591 14843 2733 1 - 3162.3432 -
1592.24/1596.48 c 1596 14893 2733 1 - 3162.3488 -
1597.63/1601.88 c 1602 14945 2737 1 - 3162.3667 -
1603.22/1607.45 c 1607 14999 2761 1 - 3162.3889 -
1608.92/1613.17 c 1613 15066 2759 1 - 3162.4333 -
1613.99/1618.26 c 1618 15102 2754 1 - 3162.4583 -
1619.18/1623.42 c 1623 15143 2763 1 - 3162.5015 -
1624.96/1629.26 c 1629 15212 2765 1 - 3162.5015 -
1630.45/1634.79 c 1635 15256 2769 1 - 3162.5075 -
1636.75/1641.03 c 1641 15313 2772 1 - 3162.5317 -
1642.52/1646.82 c 1647 15385 2771 1 - 3162.5556 -
1648.11/1652.40 c 1652 15432 2802 1 - 3162.5833 -
1653.39/1657.73 c 1658 15481 2803 1 - 3162.5833 -
1658.98/1663.35 c 1663 15537 2801 1 - 3162.5833 -
1664.87/1669.24 c 1669 15592 2804 1 - 3162.5833 -
1670.55/1674.94 c 1675 15632 2814 1 - 3162.5952 -
1676.54/1680.96 c 1681 15697 2819 1 - 3162.6249 -
1682.52/1687.01 c 1687 15754 2822 1 - 3162.6677 -
1688.01/1692.44 c 1692 15804 2826 1 - 3162.6978 -
1694.29/1698.76 c 1699 15835 2831 1 - 3162.7651 -
1699.28/1703.78 c 1704 15882 2838 1 - 3162.8965 -
1704.68/1709.14 c 1709 15935 2845 1 - 3162.9278 -
1710.76/1715.24 c 1715 15993 2849 1 - 3163.0042 -
1715.95/1720.47 c 1720 16040 2862 1 - 3163.0476 -
1721.54/1726.07 c 1726 16096 2864 1 - 3163.0924 -
1727.42/1731.97 c 1732 16138 2876 1 - 3163.1667 -
1732.52/1737.03 c 1737 16202 2877 1 - 3163.1667 -
1738.19/1742.80 c 1743 16254 2897 1 - 3163.1667 -
1743.28/1747.84 c 1748 16327 2923 1 - 3163.1667 -
1748.48/1753.04 c 1753 16400 2968 1 - 3163.1667 -
1753.96/1758.53 c 1759 16472 2969 1 - 3163.1667 -
1759.74/1764.31 c 1764 16554 2967 1 - 3163.1667 -
1764.83/1769.49 c 1769 16631 2956 1 - 3163.1901 -
1770.52/1775.14 c 1775 16732 2939 1 - 3163.3114 -
1775.69/1780.32 c 1780 16822 2943 1 - 3163.3114 -
1781.68/1786.30 c 1786 16913 2970 1 - 3163.3375 -
1787.26/1791.90 c 1792 16981 2992 1 - 3163.3390 -
1792.54/1797.23 c 1797 17055 2998 1 - 3163.3622 -
1798.54/1803.25 c 1803 17133 3011 1 - 3163.3889 -
1804.43/1809.12 c 1809 17195 3012 1 - 3163.4639 -
1809.61/1814.30 c 1814 17254 3019 1 - 3163.5004 -
1814.70/1819.46 c 1819 17322 3019 1 - 3163.5141 -
1820.58/1825.38 c 1825 17372 3029 1 - 3163.5791 -
1826.16/1831.01 c 1831 17437 3029 1 - 3163.6778 -
1831.75/1836.57 c 1837 17509 3011 1 - 3163.7748 -
1837.63/1842.49 c 1842 17573 3024 1 - 3163.8333 -
1843.23/1848.05 c 1848 17639 3026 1 - 3163.8333 -
1849.00/1853.87 c 1854 17659 13 1 - 3163.8333 -
1854.39/1859.23 c 1859 17668 22 1 - 3163.8333 -
1860.87/1865.74 c 1866 17673 27 1 - 3163.8333 -
1867.85/1872.73 c 1873 17682 36 1 - 3163.8333 -
1873.04/1877.94 c 1878 17688 40 1 - 3163.8333 -
1878.32/1883.26 c 1883 17694 46 1 - 3163.8333 -
1884.00/1888.99 c 1889 17699 47 1 - 3163.8333 -
1890.10/1895.03 c 1895 17713 51 1 - 3163.8333 -
1895.97/1900.94 c 1901 17725 55 1 - 3163.8333 -
1901.25/1906.22 c 1906 17741 53 1 - 3163.8333 -
1906.74/1911.70 c 1912 17779 67 1 - 3163.8333 -
1912.22/1917.28 c 1917 17808 79 1 - 3163.8333 -
1917.49/1922.56 c 1923 17834 95 1 - 3163.8333 -
1923.09/1928.12 c 1928 17878 107 1 - 3163.8333 -
1928.76/1933.82 c 1934 17928 117 1 - 3163.8333 -
1935.14/1940.24 c 1940 17967 110 1 - 3163.8333 -
1941.32/1946.45 c 1946 18011 97 1 - 3163.8333 -
1946.71/1951.87 c 1952 18053 104 1 - 3163.8333 -
1952.29/1957.43 c 1957 18098 107 1 - 3163.8333 -
1958.17/1963.37 c 1963 18138 109 1 - 3163.8333 -
1964.36/1969.52 c 1970 18182 115 1 - 3163.8333 -
1969.95/1975.19 c 1975 18210 129 1 - 3163.8333 -
1975.12/1980.33 c 1980 18250 130 1 - 3163.8333 -
1980.70/1986.01 c 1986 18284 150 1 - 3163.8333 -
1986.29/1991.52 c 1992 18327 156 1 - 3163.8333 -
1991.97/1997.22 c 1997 18372 162 1 - 3163.8333 -
1997.55/2002.82 c 2003 18404 165 1 - 3163.8333 -
2003.34/2008.66 c 2009 18447 170 1 - 3163.8333 -
2009.21/2014.51 c 2015 18479 188 1 - 3163.8333 -
2014.71/2020.08 c 2020 18527 191 1 - 3163.8333 -
2020.18/2025.57 c 2026 18586 202 1 - 3163.8333 -
2025.57/2030.95 c 2031 18647 202 1 - 3163.8333 -
2030.85/2036.29 c 2036 18744 209 1 - 3163.8333 -
2036.83/2042.23 c 2042 18790 219 1 - 3163.8333 -
2042.62/2048.09 c 2048 18829 229 1 - 3163.8333 -
2048.39/2053.82 c 2054 18852 234 1 - 3163.8333 -
2053.59/2059.08 c 2059 18864 236 1 - 3163.8333 -
2059.16/2064.68 c 2065 18881 238 1 - 3163.8333 -
2064.94/2070.44 c 2070 18894 240 1 - 3163.8333 -
2070.23/2075.71 c 2076 18906 242 1 - 3163.8333 -
2075.81/2081.39 c 2081 18919 243 1 - 3163.8333 -
2081.79/2087.33 c 2087 18933 243 1 - 3163.8333 -
2087.17/2092.72 c 2093 18953 243 1 - 3163.8333 -
2092.47/2098.05 c 2098 18976 251 1 - 3163.8333 -
2098.64/2104.28 c 2104 18990 249 1 - 3163.8333 -
2103.83/2109.44 c 2109 19005 248 1 - 3163.8333 -
2108.82/2114.47 c 2114 19019 248 1 - 3163.8333 -
2114.20/2119.88 c 2120 19036 245 1 - 3163.8333 -
2119.40/2125.04 c 2125 19051 244 1 - 3163.8333 -
2124.57/2130.21 c 2130 19069 242 1 - 3163.8333 -
2130.75/2136.48 c 2136 19084 245 1 - 3163.8333 -
2137.13/2142.86 c 2143 19100 248 1 - 3163.8333 -
2142.22/2147.97 c 2148 19115 246 1 - 3163.8333 -
2147.70/2153.47 c 2153 19135 243 1 - 3163.8333 -
2153.08/2158.89 c 2159 19159 242 1 - 3163.8333 -
2158.56/2164.37 c 2164 19188 243 1 - 3163.8333 -
2164.15/2169.91 c 2170 19231 254 1 - 3163.8333 -
2169.73/2175.50 c 2176 19264 259 1 - 3163.8333 -
2174.92/2180.70 c 2181 19322 263 1 - 3163.8333 -
2180.50/2186.35 c 2186 19358 271 1 - 3163.8333 -
2186.48/2192.33 c 2192 19384 281 1 - 3163.8333 -
2191.97/2197.83 c 2198 19424 296 1 - 3163.8333 -
2197.26/2203.12 c 2203 19489 303 1 - 3163.8333 -
2202.73/2208.62 c 2209 19531 320 1 - 3163.8333 -
2208.81/2214.71 c 2215 19589 342 1 - 3163.8333 -
2214.21/2220.17 c 2220 19663 354 1 - 3163.8333 -
2220.09/2226.08 c 2226 19735 366 1 - 3163.8333 -
2225.36/2231.38 c 2231 19793 389 1 - 3163.8333 -
2230.85/2236.85 c 2237 19867 396 1 - 3163.8333 -
2236.14/2242.15 c 2242 19940 419 1 - 3163.8333 -
2241.31/2247.30 c 2247 20037 422 1 - 3163.8333 -
2246.49/2252.57 c 2253 20050 423 1 - 3163.8333 -
2251.88/2257.94 c 2258 20134 431 1 - 3163.8333 -
2257.57/2263.65 c 2264 20221 442 1 - 3163.8333 -
2262.96/2269.05 c 2269 20290 465 1 - 3163.8333 -
2268.62/2274.76 c 2275 20344 490 1 - 3163.8333 -
2273.92/2280.04 c 2280 20449 491 1 - 3163.8333 -
2279.20/2285.37 c 2285 20544 498 1 - 3163.8333 -
2284.78/2290.94 c 2291 20645 510 1 - 3163.8333 -
2290.26/2296.48 c 2296 20734 521 1 - 3163.8333 -
2295.55/2301.71 c 2302 20828 535 1 - 3163.8333 -
2300.84/2307.01 c 2307 20906 563 1 - 3163.8333 -
2306.61/2312.86 c 2313 20988 578 1 - 3163.8333 -
2311.80/2318.03 c 2318 21073 592 1 - 3163.8333 -
2317.07/2323.37 c 2323 21154 606 1 - 3163.8333 -
2322.36/2328.65 c 2329 21225 617 1 - 3163.8333 -
2327.44/2333.74 c 2334 21333 618 1 - 3163.8333 -
2332.63/2338.94 c 2339 21432 627 1 - 3163.8333 -
2338.01/2344.36 c 2344 21500 645 1 - 3163.8333 -
2343.30/2349.68 c 2350 21580 665 1 - 3163.8333 -
2348.48/2354.87 c 2355 21672 671 1 - 3163.8333 -
2353.68/2360.01 c 2360 21758 681 1 - 3163.8333 -
2358.84/2365.25 c 2365 21840 690 1 - 3163.8333 -
2364.24/2370.62 c 2371 21913 705 1 - 3163.8333 -
2369.63/2376.04 c 2376 21987 717 1 - 3163.8333 -
2374.90/2381.37 c 2381 22047 727 1 - 3163.8333 -
2381.08/2387.55 c 2388 22133 732 1 - 3163.8333 -
2386.36/2392.85 c 2393 22203 749 1 - 3163.8333 -
2392.74/2399.29 c 2399 22275 753 1 - 3163.8333 -
2398.22/2404.73 c 2405 22340 767 1 - 3163.8333 -
2403.31/2409.88 c 2410 22424 777 1 - 3163.8333 -
2409.29/2415.82 c 2416 22510 782 1 - 3163.8333 -
2414.67/2421.24 c 2421 22585 783 1 - 3163.8333 -
2420.05/2426.67 c 2427 22642 791 1 - 3163.8333 -
2425.84/2432.47 c 2432 22715 794 1 - 3163.8333 -
2431.23/2437.85 c 2438 22756 801 1 - 3163.8333 -
2436.91/2443.56 c 2444 22826 806 1 - 3163.8333 -
2442.19/2448.88 c 2449 22885 822 1 - 3163.8333 -
2448.27/2454.94 c 2455 22947 831 1 - 3163.8333 -
2457.94/2464.61 c 2465 22990 839 1 - 3163.8333 -
2463.62/2470.36 c 2470 23069 843 1 - 3163.8333 -
2468.71/2475.49 c 2476 23137 842 1 - 3163.8333 -
2474.30/2481.04 c 2481 23213 851 1 - 3163.8333 -
2479.58/2486.34 c 2486 23290 854 1 - 3163.8333 -
2484.75/2491.56 c 2492 23353 868 1 - 3163.8333 -
2490.04/2496.81 c 2497 23430 872 1 - 3163.8333 -
2495.43/2502.26 c 2502 23533 876 1 - 3163.8333 -
2500.71/2507.51 c 2508 23616 886 1 - 3163.8333 -
2506.09/2513.01 c 2513 23700 897 1 - 3163.8333 -
2511.57/2518.49 c 2518 23780 905 1 - 3163.8333 -
2516.85/2523.76 c 2524 23863 913 1 - 3163.8333 -
2522.03/2528.99 c 2529 23963 922 1 - 3163.8333 -
2527.92/2534.88 c 2535 24058 930 1 - 3163.8333 -
2533.12/2540.09 c 2540 24123 943 1 - 3163.8333 -
2538.29/2545.23 c 2545 24208 951 1 - 3163.8333 -
2543.47/2550.43 c 2550 24302 960 1 - 3163.8333 -
2548.76/2555.71 c 2556 24392 967 1 - 3163.8333 -
2554.05/2561.08 c 2561 24489 973 1 - 3163.8333 -
2559.22/2566.23 c 2566 24547 977 1 - 3163.8333 -
2564.60/2571.70 c 2572 24630 991 1 - 3163.8333 -
2570.01/2577.10 c 2577 24708 997 1 - 3163.8333 -
2575.48/2582.51 c 2583 24799 1002 1 - 3163.8333 -
2581.07/2588.15 c 2588 24890 1002 1 - 3163.8333 -
2586.44/2593.54 c 2594 24980 1015 1 - 3163.8333 -
2591.72/2598.85 c 2599 25049 1030 1 - 3163.8333 -
2597.70/2604.83 c 2605 25131 1043 1 - 3163.8333 -
2602.78/2609.96 c 2610 25238 1039 1 - 3163.8333 -
2608.17/2615.34 c 2615 25341 1051 1 - 3163.8333 -
2613.46/2620.69 c 2621 25429 1067 1 - 3163.8333 -
2619.34/2626.50 c 2627 25520 1091 1 - 3163.8333 -
2624.42/2631.63 c 2632 25605 1091 1 - 3163.8333 -
2629.61/2636.88 c 2637 25674 1099 1 - 3163.8333 -
2634.99/2642.21 c 2642 25760 1111 1 - 3163.8333 -
2640.18/2647.44 c 2647 25832 1122 1 - 3163.8333 -
2645.46/2652.76 c 2653 25921 1144 1 - 3163.8333 -
2650.75/2658.09 c 2658 26012 1158 1 - 3163.8333 -
2656.02/2663.30 c 2663 26102 1164 1 - 3163.8333 -
2661.91/2669.20 c 2669 26189 1184 1 - 3163.8333 -
2667.29/2674.69 c 2675 26287 1196 1 - 3163.8333 -
2673.37/2680.73 c 2681 26360 1220 1 - 3163.8333 -
2678.95/2686.36 c 2686 26439 1231 1 - 3163.8333 -
2684.13/2691.52 c 2692 26538 1231 1 - 3163.8333 -
2689.22/2696.67 c 2697 26643 1230 1 - 3163.8333 -
2694.80/2702.24 c 2702 26739 1239 1 - 3163.8333 -
2700.78/2708.20 c 2708 26829 1251 1 - 3163.8333 -
2705.87/2713.30 c 2713 26922 1264 1 - 3163.8333 -
2710.95/2718.48 c 2718 27005 1271 1 - 3163.8333 -
2716.25/2723.72 c 2724 27072 1277 1 - 3163.8333 -
2721.33/2728.87 c 2729 27147 1280 1 - 3163.8333 -
2726.53/2734.06 c 2734 27235 1289 1 - 3163.8333 -
2732.20/2739.74 c 2740 27312 1315 1 - 3163.8333 -
2737.59/2745.16 c 2745 27404 1331 1 - 3163.8333 -
2742.76/2750.39 c 2750 27490 1344 1 - 3163.8333 -
2749.24/2756.85 c 2757 27580 1351 1 - 3163.8333 -
2754.62/2762.23 c 2762 27670 1352 1 - 3163.8333 -
2760.52/2768.17 c 2768 27717 1362 1 - 3163.8333 -
2765.89/2773.50 c 2774 27788 1375 1 - 3163.8333 -
2771.17/2778.82 c 2779 27865 1383 1 - 3163.8333 -
2776.65/2784.37 c 2784 27940 1393 1 - 3163.8333 -
2782.04/2789.72 c 2790 28008 1403 1 - 3163.8333 -
2787.34/2795.06 c 2795 28090 1399 1 - 3163.8333 -
2792.61/2800.36 c 2800 28162 1397 1 - 3163.8333 -
2798.40/2806.18 c 2806 28234 1400 1 - 3163.8333 -
2804.29/2812.08 c 2812 28290 1405 1 - 3163.8333 -
2810.16/2817.91 c 2818 28345 1415 1 - 3163.8333 -
2815.44/2823.26 c 2823 28401 1423 1 - 3163.8333 -
2821.02/2828.82 c 2829 28463 1427 1 - 3163.8333 -
2826.80/2834.61 c 2835 28512 1454 1 - 3163.8333 -
2832.09/2839.94 c 2840 28566 1454 1 - 3163.8333 -
2837.67/2845.59 c 2846 28627 1461 1 - 3163.8333 -
2843.66/2851.50 c 2852 28680 1464 1 - 3163.8333 -
2848.84/2856.74 c 2857 28734 1478 1 - 3163.8333 -
2854.24/2862.19 c 2862 28799 1481 1 - 3163.8333 -
2859.51/2867.46 c 2867 28849 1481 1 - 3163.8333 -
2865.20/2873.13 c 2873 28909 1477 1 - 3163.8333 -
2870.27/2878.25 c 2878 28950 1486 1 - 3163.8333 -
2875.85/2883.85 c 2884 29007 1490 1 - 3163.8333 -
2881.35/2889.38 c 2889 29075 1482 1 - 3163.8333 -
2887.03/2895.08 c 2895 29130 1487 1 - 3163.8333 -
2892.70/2900.70 c 2901 29188 1488 1 - 3163.8333 -
2898.18/2906.26 c 2906 29259 1496 1 - 3163.8333 -
2903.17/2911.27 c 2911 29309 1511 1 - 3163.8333 -
2908.46/2916.52 c 2917 29365 1519 1 - 3163.8333 -
2913.54/2921.62 c 2922 29400 1534 1 - 3163.8333 -
2918.83/2927.01 c 2927 29463 1539 1 - 3163.8333 -
2924.02/2932.12 c 2932 29526 1538 1 - 3163.8333 -
2929.69/2937.82 c 2938 29604 1542 1 - 3163.8333 -
2935.48/2943.66 c 2944 29650 1560 1 - 3163.8333 -
2941.27/2949.43 c 2949 29719 1565 1 - 3163.8333 -
2946.75/2954.97 c 2955 29790 1572 1 - 3163.8333 -
2952.44/2960.65 c 2961 29857 1571 1 - 3163.8333 -
2957.72/2965.97 c 2966 29910 1584 1 - 3163.8333 -
2963.01/2971.29 c 2971 29967 1585 1 - 3163.8333 -
2968.69/2976.92 c 2977 30026 1596 1 - 3163.8333 -
2974.08/2982.38 c 2982 30042 1612 1 - 3163.8333 -
2979.67/2987.99 c 2988 30070 1634 1 - 3163.8333 -
2985.05/2993.38 c 2993 30131 1637 1 - 3163.8333 -
2990.04/2998.39 c 2998 30175 1657 1 - 3163.8333 -
2995.53/3003.88 c 3004 30225 1685 1 - 3163.8333 -
3006.39/3014.70 c 3015 30290 1694 1 - 3163.8333 -
3011.88/3020.25 c 3020 30359 1709 1 - 3163.8333 -
3017.27/3025.63 c 3026 30430 1718 1 - 3163.8333 -
3022.67/3031.03 c 3031 30510 1723 1 - 3163.8333 -
3027.76/3036.16 c 3036 30580 1729 1 - 3163.8333 -
3033.33/3041.74 c 3042 30660 1729 1 - 3163.8333 -
3038.52/3046.97 c 3047 30734 1731 1 - 3163.8333 -
3043.80/3052.22 c 3052 30820 1740 1 - 3163.8333 -
3048.89/3057.34 c 3057 30904 1753 1 - 3163.8333 -
3054.08/3062.53 c 3063 30980 1753 1 - 3163.8333 -
3059.86/3068.39 c 3068 31062 1761 1 - 3163.8333 -
3065.66/3074.14 c 3074 31120 1780 1 - 3163.8333 -
3070.83/3079.36 c 3079 31200 1791 1 - 3163.8333 -
3076.22/3084.72 c 3085 31292 1800 1 - 3163.8333 -
3081.31/3089.88 c 3090 31387 1795 1 - 3163.8333 -
3086.80/3095.34 c 3095 31457 1809 1 - 3163.8333 -
3091.89/3100.47 c 3100 31557 1815 1 - 3163.8333 -
3097.27/3105.80 c 3106 31630 1821 1 - 3163.8333 -
3102.46/3111.02 c 3111 31713 1822 1 - 3163.8333 -
3107.74/3116.35 c 3116 31794 1835 1 - 3163.8333 -
3112.82/3121.48 c 3121 31873 1849 1 - 3163.8333 -
3118.43/3127.06 c 3127 31938 1858 1 - 3163.8333 -
3124.00/3132.68 c 3133 32012 1855 1 - 3163.8333 -
3129.19/3137.89 c 3138 32094 1859 1 - 3163.8333 -
3134.57/3143.29 c 3143 32178 1863 1 - 3163.8333 -
3139.86/3148.55 c 3149 32259 1866 1 - 3163.8333 -
3145.36/3154.09 c 3154 32320 1876 1 - 3163.8333 -
3151.03/3159.74 c 3160 32384 1918 1 - 3163.8333 -
3156.52/3165.20 c 3165 32448 1945 1 - 3163.8333 -
3161.70/3170.45 c 3170 32517 1954 1 - 3163.8333 -
3167.09/3175.80 c 3176 32598 1967 1 - 3163.8333 -
3172.18/3181.01 c 3181 32676 1965 1 - 3163.8333 -
3177.27/3186.01 c 3186 32729 1962 1 - 3163.8333 -
3182.25/3191.03 c 3191 32788 1953 1 - 3163.8333 -
3188.34/3197.15 c 3197 32860 1969 1 - 3163.8333 -
3193.81/3202.63 c 3203 32913 1986 1 - 3163.8333 -
3199.00/3207.87 c 3208 32984 1999 1 - 3163.8333 -
3204.49/3213.30 c 3213 33070 2019 1 - 3163.8333 -
3209.57/3218.45 c 3218 33162 2025 1 - 3163.8333 -
3214.76/3223.67 c 3224 33252 2034 1 - 3163.8333 -
3219.95/3228.84 c 3229 33343 2039 1 - 3163.8333 -
3225.04/3233.98 c 3234 33413 2057 1 - 3163.8333 -
3230.72/3239.60 c 3240 33500 2072 1 - 3163.8333 -
3236.01/3244.90 c 3245 33598 2074 1 - 3163.8333 -
3241.21/3250.19 c 3250 33662 2090 1 - 3163.8333 -
3246.69/3255.69 c 3256 33740 2102 1 - 3163.8333 -
3251.98/3260.90 c 3261 33826 2118 1 - 3163.8333 -
3257.36/3266.33 c 3266 33880 2136 1 - 3163.8333 -
3262.45/3271.47 c 3271 33960 2142 1 - 3163.8333 -
3267.64/3276.63 c 3277 34034 2148 1 - 3163.8333 -
3272.93/3281.95 c 3282 34100 2154 1 - 3163.8333 -
3278.02/3287.06 c 3287 34179 2153 1 - 3163.8333 -
3283.30/3292.31 c 3292 34260 2160 1 - 3163.8333 -
3288.48/3297.54 c 3298 34337 2161 1 - 3163.8333 -
3295.87/3304.93 c 3305 34400 2164 1 - 3163.8333 -
3300.96/3310.09 c 3310 34478 2172 1 - 3163.8333 -
3306.13/3315.24 c 3315 34540 2175 1 - 3163.8333 -
3311.22/3320.39 c 3320 34621 2188 1 - 3163.8333 -
3316.61/3325.74 c 3326 34691 2201 1 - 3163.8333 -
3321.69/3330.87 c 3331 34785 2194 1 - 3163.8333 -
3326.99/3336.13 c 3336 34869 2200 1 - 3163.8333 -
3332.76/3341.91 c 3342 34943 2206 1 - 3163.8333 -
3337.95/3347.16 c 3347 35030 2220 1 - 3163.8333 -
3343.52/3352.71 c 3353 35110 2226 1 - 3163.8333 -
3349.40/3358.65 c 3359 35180 2228 1 - 3163.8333 -
3354.58/3363.89 c 3364 35245 2241 1 - 3163.8333 -
3360.96/3370.28 c 3370 35310 2240 1 - 3163.8333 -
3367.25/3376.58 c 3377 35376 2246 1 - 3163.8333 -
3373.14/3382.40 c 3382 35450 2268 1 - 3163.8333 -
3378.32/3387.65 c 3388 35509 2267 1 - 3163.8333 -
3384.00/3393.37 c 3393 35591 2257 1 - 3163.8333 -
3389.80/3399.13 c 3399 35636 2274 1 - 3163.8333 -
3395.68/3405.08 c 3405 35714 2280 1 - 3163.8333 -
3401.76/3411.13 c 3411 35804 2280 1 - 3163.8333 -
3408.13/3417.56 c 3418 35860 2279 1 - 3163.8333 -
3413.51/3422.92 c 3423 35925 2293 1 - 3163.8333 -
3418.70/3428.15 c 3428 35991 2291 1 - 3163.8333 -
3423.77/3433.26 c 3433 36040 2295 1 - 3163.8333 -
3429.06/3438.57 c 3439 36107 2292 1 - 3163.8333 -
3434.84/3444.39 c 3444 36166 2305 1 - 3163.8333 -
3440.82/3450.31 c 3450 36217 2322 1 - 3163.8333 -
3446.01/3455.55 c 3456 36290 2321 1 - 3163.8333 -
3452.30/3461.82 c 3462 36357 2333 1 - 3163.8333 -
3457.49/3467.01 c 3467 36418 2339 1 - 3163.8333 -
3463.36/3472.92 c 3473 36487 2348 1 - 3163.8333 -
3469.55/3479.19 c 3479 36575 2348 1 - 3163.8333 -
3474.82/3484.48 c 3484 36643 2350 1 - 3163.8333 -
3480.42/3490.11 c 3490 36712 2356 1 - 3163.8333 -
3485.89/3495.50 c 3496 36782 2368 1 - 3163.8333 -
3491.27/3500.92 c 3501 36843 2367 1 - 3163.8333 -
3496.37/3506.02 c 3506 36899 2377 1 - 3163.8333 -
3501.64/3511.36 c 3511 36967 2381 1 - 3163.8333 -
3507.93/3517.61 c 3518 37039 2375 1 - 3163.8333 -
3513.33/3523.04 c 3523 37105 2389 1 - 3163.8333 -
3518.80/3528.52 c 3529 37180 2394 1 - 3163.8333 -
3524.59/3534.35 c 3534 37251 2393 1 - 3163.8333 -
3529.87/3539.61 c 3540 37299 2395 1 - 3163.8333 -
3535.16/3544.92 c 3545 37356 2405 1 - 3163.8333 -
3540.55/3550.38 c 3550 37420 2412 1 - 3163.8333 -
3547.03/3556.82 c 3557 37486 2416 1 - 3163.8333 -
3552.62/3562.45 c 3562 37537 2430 1 - 3163.8333 -
3557.90/3567.76 c 3568 37599 2439 1 - 3163.8333 -
3563.09/3572.96 c 3573 37676 2437 1 - 3163.8333 -
3568.29/3578.12 c 3578 37752 2437 1 - 3163.8333 -
3573.96/3583.80 c 3584 37822 2444 1 - 3163.8333 -
3580.55/3590.40 c 3590 37890 2453 1 - 3163.8333 -
3586.15/3596.07 c 3596 37944 2461 1 - 3163.8333 -
3588.14/3598.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.14/3598.07 c Total Time : 3598.0700
3588.14/3598.07 c solving : 3598.0700
3588.14/3598.07 c presolving : 0.6540 (included in solving)
3588.14/3598.07 c B&B Tree :
3588.14/3598.07 c nodes (total) : 1
3588.14/3598.07 c Solution :
3588.14/3598.07 c Solutions found : 0
3588.14/3598.07 c Primal Bound : -
3588.14/3598.07 c Dual Bound : +3.16383333359066e+03
3588.14/3598.07 c Gap : -
3588.14/3598.09 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 (61329 MiB free)
memory of node 1: 64473 MiB (58021 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463937-1722378594/watcher-4463937-1722378594 -o /tmp/evaluation-result-4463937-1722378594/solver-4463937-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30829 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463937-1722378594.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
Linux 4.18.0-301.1.el8.x
solver pid=30887, runsolver pid=30881
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 0.16 0.12 0.13 5/249 30895
/proc/meminfo: memFree=122156380/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=48148 memory=37860 CPUtime=0.1 cores=1,3
/proc/30887/stat : 30887 (fscip) R 30881 30887 30817 0 -1 4194304 7224 0 0 0 8 2 0 0 20 0 1 0 4455940 49303552 9465 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 12087 9465 2555 3035 0 8483 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48148 KiB
Current children cumulated memory: 37860 KiB
[startup+0.214143 s]*
/proc/loadavg: 0.16 0.12 0.13 5/245 30900
/proc/meminfo: memFree=122133308/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=56928 memory=45472 CPUtime=0.22 cores=1,3
/proc/30887/stat : 30887 (fscip) R 30881 30887 30817 0 -1 4194304 9077 0 0 0 19 3 0 0 20 0 1 0 4455940 58294272 11368 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 14232 11368 2614 3035 0 10628 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56928 KiB
Current children cumulated memory: 45472 KiB
[startup+0.313522 s]*
/proc/loadavg: 0.16 0.12 0.13 4/247 30908
/proc/meminfo: memFree=122085640/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=65160 memory=53652 CPUtime=0.31 cores=1,3
/proc/30887/stat : 30887 (fscip) R 30881 30887 30817 0 -1 4194304 11688 0 0 0 27 4 0 0 20 0 1 0 4455940 66723840 13413 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 16290 13413 2710 3035 0 12686 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65160 KiB
Current children cumulated memory: 53652 KiB
[startup+0.700307 s]
/proc/loadavg: 0.16 0.12 0.13 4/247 30908
/proc/meminfo: memFree=122050844/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=62476 memory=51288 CPUtime=0.68 cores=1,3
/proc/30887/stat : 30887 (fscip) R 30881 30887 30817 0 -1 4194304 12282 0 0 0 64 4 0 0 20 0 1 0 4455940 63975424 12822 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 15619 12822 2758 3035 0 12015 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62476 KiB
Current children cumulated memory: 51288 KiB
[startup+1.5004 s]
/proc/loadavg: 0.16 0.12 0.13 4/249 30910
/proc/meminfo: memFree=122001668/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=160200 memory=89872 CPUtime=1.47 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 22551 0 0 0 139 8 0 0 20 0 3 0 4455940 164044800 22468 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 40050 22468 2950 3035 0 26625 0
[pid=30887/tid=30909] ppid=30881 vsize=160200 memory=5893401 CPUtime=0.68 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 8136 0 0 0 66 2 0 0 20 0 3 0 4456019 164044800 22468 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=160200 memory=12036 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456023 164044800 22468 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 160200 KiB
Current children cumulated memory: 89872 KiB
[startup+3.11289 s]
/proc/loadavg: 0.16 0.12 0.13 5/256 30950
/proc/meminfo: memFree=121850800/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=161224 memory=111756 CPUtime=3.08 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 37877 0 0 0 297 11 0 0 20 0 3 0 4455940 165093376 27939 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 40306 27939 2966 3035 0 32649 0
[pid=30887/tid=30909] ppid=30881 vsize=161224 memory=12036 CPUtime=2.28 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 23456 0 0 0 223 5 0 0 20 0 3 0 4456019 165093376 27939 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=161224 memory=60120 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4456023 165093376 27939 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 161224 KiB
Current children cumulated memory: 111756 KiB
[startup+6.30036 s]
/proc/loadavg: 0.55 0.20 0.16 5/256 30952
/proc/meminfo: memFree=121769148/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=226760 memory=136676 CPUtime=6.26 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 50757 0 0 0 613 13 0 0 20 0 3 0 4455940 232202240 34169 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 56690 34169 2966 3035 0 39109 0
[pid=30887/tid=30909] ppid=30881 vsize=226760 memory=12744 CPUtime=5.46 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 36297 0 0 0 539 7 0 0 20 0 3 0 4456019 232202240 34169 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=226760 memory=0 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4456023 232202240 34169 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 226760 KiB
Current children cumulated memory: 136676 KiB
[startup+12.7003 s]
/proc/loadavg: 0.82 0.26 0.18 5/259 31011
/proc/meminfo: memFree=121674004/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=226760 memory=139536 CPUtime=12.64 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 76683 0 0 0 1250 14 0 0 20 0 3 0 4455940 232202240 34884 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 56690 34884 3014 3035 0 39385 0
[pid=30887/tid=30909] ppid=30881 vsize=226760 memory=2316 CPUtime=11.85 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 62166 0 0 0 1176 9 0 0 20 0 3 0 4456019 232202240 34884 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=226760 memory=139536 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4456023 232202240 34884 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226760 KiB
Current children cumulated memory: 139536 KiB
[startup+25.5004 s]
/proc/loadavg: 1.53 0.45 0.24 5/259 31014
/proc/meminfo: memFree=121648508/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=226760 memory=140960 CPUtime=25.41 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 109469 0 0 0 2524 17 0 0 20 0 3 0 4455940 232202240 35240 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 56690 35240 3014 3035 0 39741 0
[pid=30887/tid=30909] ppid=30881 vsize=226760 memory=140948 CPUtime=24.61 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 94894 0 0 0 2450 11 0 0 20 0 3 0 4456019 232202240 35240 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=226760 memory=12036 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4456023 232202240 35240 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 226760 KiB
Current children cumulated memory: 140960 KiB
[startup+51.113 s]
/proc/loadavg: 2.43 0.75 0.35 5/259 31017
/proc/meminfo: memFree=121577588/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=226760 memory=152388 CPUtime=50.96 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 138948 0 0 0 5076 20 0 0 20 0 3 0 4455940 232202240 38097 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 56690 38097 3014 3035 0 46992 0
[pid=30887/tid=30909] ppid=30881 vsize=226760 memory=12036 CPUtime=50.16 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 124269 0 0 0 5002 14 0 0 20 0 3 0 4456019 232202240 38097 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=226760 memory=139536 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4456023 232202240 38097 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 226760 KiB
Current children cumulated memory: 152388 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.55 5/259 31025
/proc/meminfo: memFree=121471132/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=292296 memory=175192 CPUtime=102.02 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 178207 0 0 0 10179 23 0 0 20 0 3 0 4455940 299311104 43798 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 73074 43798 3014 3035 0 56776 0
[pid=30887/tid=30909] ppid=30881 vsize=292296 memory=172136 CPUtime=101.21 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 163406 0 0 0 10104 17 0 0 20 0 3 0 4456019 299311104 43798 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=292296 memory=171776 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4456023 299311104 43798 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 292296 KiB
Current children cumulated memory: 175192 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 1.83 0.78 5/259 31037
/proc/meminfo: memFree=121348156/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=357832 memory=219904 CPUtime=161.84 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 238285 0 0 0 16155 29 0 0 20 0 3 0 4455940 366419968 54976 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 89458 54976 3014 3035 0 72649 0
[pid=30887/tid=30909] ppid=30881 vsize=357832 memory=215792 CPUtime=161.03 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 223370 0 0 0 16080 23 0 0 20 0 3 0 4456019 366419968 54976 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=357832 memory=219608 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4456023 366419968 54976 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 357832 KiB
Current children cumulated memory: 219904 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.24 0.99 5/257 31047
/proc/meminfo: memFree=121265516/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=360664 memory=244988 CPUtime=221.65 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 249500 0 0 0 22133 32 0 0 20 0 3 0 4455940 369319936 61247 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 90166 61247 3014 3035 0 82252 0
[pid=30887/tid=30909] ppid=30881 vsize=360664 memory=219956 CPUtime=220.83 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 234545 0 0 0 22058 25 0 0 20 0 3 0 4456019 369319936 61247 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=360664 memory=244988 CPUtime=0 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4456023 369319936 61247 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 360664 KiB
Current children cumulated memory: 244988 KiB
################
# More data... #
################
/proc/30887/statm: 142898 131232 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=12036 CPUtime=3391.87 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 635111 0 0 0 339098 89 0 0 20 0 3 0 4456019 585310208 131232 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=524928 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 146 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131232 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 524928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/251 32606
/proc/meminfo: memFree=119798368/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525136 CPUtime=3452.79 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 654848 0 0 0 345170 109 0 0 20 0 3 0 4455940 585310208 131284 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131284 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=12036 CPUtime=3451.69 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 638914 0 0 0 345079 90 0 0 20 0 3 0 4456019 585310208 131284 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=12036 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 148 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131284 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/253 32787
/proc/meminfo: memFree=119793072/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3512.62 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 658616 0 0 0 351152 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=12036 CPUtime=3511.5 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 642662 0 0 0 351060 90 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=525176 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 150 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/253 32798
/proc/meminfo: memFree=119786396/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3572.47 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662373 0 0 0 357137 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=12036 CPUtime=3571.36 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646399 0 0 0 357045 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=0 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3598.1 s]
# the end of solver process 30887 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.13 s, system=1.114 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.09 5/253 32800
/proc/meminfo: memFree=119786360/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3574.18 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662373 0 0 0 357308 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=-7020104135748969084 CPUtime=3573.07 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646399 0 0 0 357216 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=4715715883094929052 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3574.18 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.09 5/253 32800
/proc/meminfo: memFree=119786208/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3580.55 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662526 0 0 0 357945 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=14824 CPUtime=3579.44 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646552 0 0 0 357853 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=525176 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3580.55 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32800
/proc/meminfo: memFree=119786232/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3583.74 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662557 0 0 0 358264 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=525176 CPUtime=3582.63 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646569 0 0 0 358172 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=525176 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3583.74 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119786112/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3585.34 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662561 0 0 0 358424 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=4715715883094929052 CPUtime=3584.23 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646572 0 0 0 358332 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=12036 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119785188/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3586.93 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662566 0 0 0 358583 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=525176 CPUtime=3585.82 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646577 0 0 0 358491 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=12744 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3586.93 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119785168/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3587.73 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662566 0 0 0 358663 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=14824 CPUtime=3586.62 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646577 0 0 0 358571 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=15860 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.13 4.09 5/253 32801
/proc/meminfo: memFree=119784848/131655788 swapFree=131071996/131071996
[pid=30887] ppid=30881 vsize=571592 memory=525176 CPUtime=3588.14 cores=1,3
/proc/30887/stat : 30887 (fscip) S 30881 30887 30817 0 -1 1077936128 662569 0 0 0 358704 110 0 0 20 0 3 0 4455940 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
/proc/30887/statm: 142898 131294 3014 3035 0 135419 0
[pid=30887/tid=30909] ppid=30881 vsize=571592 memory=4736 CPUtime=3587.03 cores=1,3
/proc/30887/task/30909/stat : 30909 (fscip) R 30881 30887 30817 0 -1 4194368 646580 0 0 0 358612 91 0 0 20 0 3 0 4456019 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
[pid=30887/tid=30910] ppid=30881 vsize=571592 memory=7078607063656472084 CPUtime=0.05 cores=1,3
/proc/30887/task/30910/stat : 30910 (fscip) S 30881 30887 30817 0 -1 1077936192 152 0 0 0 1 4 0 0 20 0 3 0 4456023 585310208 131294 134679101440 4194304 16623229 140735270664208 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46940160 140735270667286 140735270667402 140735270667402 140735270674416 0
Current children cumulated CPU time: 3588.14 s
Current children cumulated vsize: 571592 KiB
Current children cumulated memory: 525176 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3588.24
CPU user time (s): 3587.13
CPU system time (s): 1.114
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 571592
Max. memory (cumulated for all children) (KiB): 525176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.13
system time used= 1.114
maximum resident set size= 525176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663417
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= 10266
involuntary context switches= 1945
# summary of solver processes directly reported to runsolver:
# pid: 30887
# total CPU time (s): 3588.24
# total CPU user time (s): 3587.13
# total CPU system time (s): 1.114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1182 second user time and 32.7513 second system time
The end
Begin job on nodeC006 at 2024-07-31 00:29:54
IDJOB=4463937
IDBENCH=147102
IDSOLVER=3092
FILE ID=nodeC006/4463937-1722378594
RUNJOBID= nodeC006-1722378594-30829
SLURM_JOB_ID= 8249836
Free space on /tmp= 723732 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.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-4463937-1722378594/watcher-4463937-1722378594 -o /tmp/evaluation-result-4463937-1722378594/solver-4463937-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30829 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463937-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 58d046e1e41ee9602d09224f38506b42
RANDOM SEED=1497379858
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.199
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.587
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122231008 kB
MemAvailable: 129898796 kB
Buffers: 89872 kB
Cached: 8347616 kB
SwapCached: 0 kB
Active: 258536 kB
Inactive: 8589584 kB
Active(anon): 1304 kB
Inactive(anon): 430964 kB
Active(file): 257232 kB
Inactive(file): 8158620 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114348 kB
Writeback: 4 kB
AnonPages: 410580 kB
Mapped: 88308 kB
Shmem: 21320 kB
KReclaimable: 184272 kB
Slab: 271184 kB
SReclaimable: 184272 kB
SUnreclaim: 86912 kB
KernelStack: 3824 kB
PageTables: 10044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 743956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 278528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC006 at 2024-07-31 01:29:53