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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 54083584, getVmSize() = 54083584, SCIPgetMemUsed() = 28055532, SCIPgetMemTotal() = 31306076, SCIPgetMemExternEstim() = 18270036
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.29 c ** Estimated virtualMemUsedAtSolver = 41584078, getVmSize() = 68919296, SCIPgetMemUsed() = 26230770, SCIPgetMemTotal() = 44106082, SCIPgetMemExternEstim() = 18270036
0.20/0.29 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.29 c Original Problem :
0.20/0.29 c Problem name : instance-4434605-1721070716
0.20/0.29 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.29 c Constraints : 13429
0.20/0.29 c Objective sense : minimize
0.20/0.29 c Presolved Problem :
0.20/0.29 c Variables : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.29 c Constraints : 5678
0.20/0.29 c Constraints : Number
0.20/0.29 c setppc : 912
0.20/0.29 c and : 2
0.20/0.29 c logicor : 4764
0.20/0.29 c ** Instance transfer method used: 0
0.20/0.30 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.32 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.32 c Nodes Active
0.30/0.32 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.96/6.02 c 6 20 19 1 - 3094.5179 -
11.95/12.09 c 12 44 43 1 - 3104.2262 -
17.42/17.58 c 18 66 65 1 - 3105.6179 -
22.70/22.87 c 23 89 88 1 - 3106.1285 -
28.48/28.61 c 29 134 129 1 - 3106.7845 -
34.16/34.37 c 34 178 173 1 - 3106.7845 -
39.54/39.76 c 40 228 223 1 - 3106.7845 -
45.03/45.26 c 45 278 273 1 - 3108.7417 -
51.51/51.72 c 52 298 293 1 - 3108.7417 -
56.59/56.83 c 57 310 305 1 - 3108.7417 -
61.87/62.11 c 62 320 315 1 - 3108.7417 -
66.86/67.18 c 67 331 326 1 - 3108.7417 -
72.04/72.35 c 72 344 339 1 - 3108.7417 -
78.12/78.45 c 78 378 373 1 - 3128.2361 -
84.29/84.66 c 85 401 394 1 - 3128.2361 -
89.48/89.84 c 90 419 412 1 - 3128.2361 -
95.36/95.73 c 96 442 433 1 - 3128.9028 -
100.65/101.08 c 101 461 450 1 - 3130.2335 -
107.12/107.54 c 108 492 479 1 - 3130.9833 -
112.90/113.31 c 113 514 501 1 - 3130.9833 -
118.08/118.51 c 119 531 518 1 - 3130.9833 -
123.87/124.31 c 124 560 547 1 - 3130.9833 -
130.04/130.51 c 131 587 574 1 - 3130.9833 -
136.03/136.57 c 137 609 596 1 - 3130.9833 -
143.01/143.52 c 144 633 620 1 - 3130.9833 -
147.99/148.58 c 149 652 639 1 - 3130.9833 -
153.07/153.62 c 154 673 660 1 - 3130.9833 -
159.25/159.87 c 160 700 687 1 - 3130.9833 -
164.63/165.24 c 165 719 706 1 - 3130.9833 -
171.30/171.96 c 172 742 729 1 - 3130.9833 -
177.38/178.02 c 178 772 759 1 - 3130.9833 -
183.75/184.46 c 184 801 788 1 - 3130.9833 -
189.53/190.22 c 190 827 814 1 - 3137.1680 -
195.81/196.51 c 197 856 843 1 - 3137.1680 -
201.49/202.25 c 202 882 869 1 - 3137.1680 -
206.97/207.70 c 208 906 893 1 - 3139.7778 -
212.36/213.14 c 213 952 919 1 - 3139.7778 -
221.72/222.51 c 223 1005 930 1 - 3140.3333 -
227.50/228.38 c 228 1049 942 1 - 3143.6111 -
234.38/235.23 c 235 1105 948 1 - 3143.9490 -
239.96/240.84 c 241 1169 950 1 - 3143.9490 -
245.74/246.60 c 247 1205 954 1 - 3145.2222 -
251.02/251.95 c 252 1244 951 1 - 3145.2222 -
256.50/257.46 c 257 1290 947 1 - 3145.2222 -
262.58/263.55 c 264 1343 951 1 - 3146.0000 -
268.56/269.52 c 270 1371 959 1 - 3146.1667 -
274.54/275.53 c 276 1416 967 1 - 3146.3347 -
280.13/281.16 c 281 1453 966 1 - 3146.5062 -
285.70/286.77 c 287 1481 974 1 - 3146.5062 -
291.18/292.20 c 292 1501 984 1 - 3146.6667 -
296.26/297.37 c 297 1555 990 1 - 3146.6667 -
301.55/302.69 c 303 1585 990 1 - 3146.6680 -
307.82/308.99 c 309 1620 997 1 - 3146.8334 -
312.91/314.09 c 314 1657 1002 1 - 3146.8334 -
320.18/321.32 c 321 1695 1012 1 - 3147.6125 -
325.76/326.92 c 327 1732 1027 1 - 3148.0001 -
331.24/332.49 c 332 1770 1033 1 - 3149.2225 -
336.52/337.78 c 338 1815 1036 1 - 3149.6126 -
342.71/343.90 c 344 1872 1045 1 - 3149.6143 -
348.39/349.69 c 350 1910 1045 1 - 3149.8333 -
354.37/355.64 c 356 1970 1047 1 - 3149.8333 -
360.35/361.61 c 362 2021 1050 1 - 3150.0159 -
365.63/366.91 c 367 2052 1057 1 - 3150.6270 -
370.91/372.23 c 372 2095 1062 1 - 3150.6270 -
376.39/377.71 c 378 2139 1072 1 - 3150.6613 -
381.68/383.09 c 383 2175 1074 1 - 3150.6654 -
387.46/388.84 c 389 2225 1078 1 - 3150.6654 -
392.75/394.18 c 394 2277 1080 1 - 3150.6654 -
397.83/399.22 c 399 2312 1079 1 - 3150.7667 -
403.21/404.64 c 405 2356 1083 1 - 3150.7667 -
408.29/409.79 c 410 2382 1087 1 - 3151.0000 -
413.48/414.96 c 415 2421 1100 1 - 3151.0014 -
419.15/420.67 c 421 2462 1105 1 - 3151.1722 -
424.53/426.07 c 426 2498 1109 1 - 3151.1729 -
429.61/431.15 c 431 2542 1123 1 - 3151.3095 -
434.89/436.49 c 436 2591 1120 1 - 3151.3095 -
440.37/441.91 c 442 2640 1121 1 - 3151.3095 -
445.85/447.41 c 447 2683 1122 1 - 3151.3095 -
451.82/453.46 c 453 2729 1124 1 - 3151.3111 -
457.00/458.66 c 459 2745 1126 1 - 3151.3389 -
462.78/464.43 c 464 2808 1139 1 - 3151.5000 -
468.26/469.97 c 470 2862 1144 1 - 3151.5090 -
473.84/475.53 c 476 2935 1148 1 - 3151.6000 -
479.12/480.82 c 481 2992 1163 1 - 3151.8667 -
484.50/486.21 c 486 3057 1175 1 - 3152.1677 -
490.38/492.15 c 492 3132 1183 1 - 3152.1825 -
496.05/497.85 c 498 3212 1186 1 - 3152.1825 -
501.73/503.56 c 504 3252 1194 1 - 3152.7000 -
507.61/509.42 c 509 3311 1211 1 - 3152.8667 -
513.18/515.08 c 515 3372 1210 1 - 3153.0000 -
518.26/520.15 c 520 3430 1228 1 - 3153.1163 -
523.65/525.50 c 526 3505 1229 1 - 3153.2734 -
529.52/531.45 c 531 3580 1240 1 - 3153.3335 -
535.11/537.04 c 537 3651 1251 1 - 3153.3432 -
541.08/543.05 c 543 3715 1257 1 - 3154.0000 -
546.75/548.71 c 549 3774 1259 1 - 3154.0000 -
552.53/554.50 c 555 3813 1266 1 - 3154.0001 -
558.11/560.17 c 560 3877 1272 1 - 3154.1241 -
563.79/565.82 c 566 3923 1275 1 - 3154.2224 -
571.56/573.63 c 574 3956 1292 1 - 3154.3463 -
576.64/578.71 c 579 3988 1316 1 - 3154.3463 -
582.41/584.51 c 585 4043 1321 1 - 3154.4314 -
588.00/590.18 c 590 4082 1340 1 - 3154.5000 -
594.26/596.49 c 596 4122 1348 1 - 3154.6455 -
599.74/601.91 c 602 4172 1354 1 - 3154.9433 -
605.43/607.62 c 608 4215 1363 1 - 3155.0001 -
611.40/613.60 c 614 4271 1369 1 - 3155.1667 -
616.39/618.68 c 619 4312 1374 1 - 3155.2225 -
622.06/624.32 c 624 4369 1385 1 - 3155.2225 -
628.84/631.17 c 631 4433 1387 1 - 3155.2226 -
634.21/636.55 c 637 4495 1395 1 - 3155.3111 -
639.99/642.31 c 642 4552 1400 1 - 3155.4314 -
645.27/647.66 c 648 4601 1405 1 - 3155.4500 -
650.66/653.05 c 653 4663 1413 1 - 3155.6669 -
656.03/658.46 c 658 4729 1411 1 - 3155.6669 -
661.42/663.86 c 664 4786 1412 1 - 3155.6669 -
666.71/669.18 c 669 4849 1413 1 - 3155.6678 -
672.28/674.70 c 675 4895 1427 1 - 3155.6678 -
677.57/680.02 c 680 4942 1434 1 - 3155.6945 -
683.14/685.68 c 686 4995 1435 1 - 3155.6945 -
689.53/692.04 c 692 5051 1445 1 - 3155.6979 -
694.51/697.05 c 697 5100 1446 1 - 3155.8333 -
700.09/702.60 c 703 5149 1461 1 - 3155.8958 -
705.47/708.07 c 708 5186 1476 1 - 3155.9499 -
711.25/713.82 c 714 5218 1482 1 - 3156.0556 -
716.93/719.58 c 720 5293 1489 1 - 3156.0556 -
722.11/724.75 c 725 5352 1492 1 - 3156.1111 -
728.29/730.90 c 731 5406 1506 1 - 3156.1624 -
733.97/736.63 c 737 5466 1510 1 - 3156.1624 -
740.15/742.88 c 743 5512 1520 1 - 3156.2261 -
745.45/748.19 c 748 5562 1530 1 - 3156.3090 -
751.22/753.92 c 754 5640 1533 1 - 3156.3090 -
756.81/759.59 c 760 5701 1540 1 - 3156.4170 -
762.19/764.92 c 765 5766 1541 1 - 3156.4170 -
767.67/770.40 c 770 5808 1545 1 - 3156.4719 -
773.26/776.09 c 776 5850 1553 1 - 3156.4762 -
778.73/781.55 c 782 5914 1573 1 - 3156.4762 -
783.72/786.57 c 787 5966 1585 1 - 3156.5326 -
789.80/792.62 c 793 6043 1584 1 - 3156.5326 -
795.78/798.64 c 799 6108 1587 1 - 3156.6677 -
801.36/804.27 c 804 6155 1596 1 - 3156.7555 -
806.84/809.79 c 810 6210 1601 1 - 3156.7555 -
812.92/815.80 c 816 6283 1602 1 - 3156.7972 -
818.80/821.79 c 822 6354 1615 1 - 3156.8333 -
824.09/827.07 c 827 6413 1618 1 - 3156.8348 -
830.07/833.07 c 833 6436 1621 1 - 3156.9124 -
835.66/838.67 c 839 6492 1629 1 - 3156.9736 -
841.44/844.46 c 844 6549 1638 1 - 3157.0000 -
846.92/849.99 c 850 6593 1640 1 - 3157.0090 -
852.60/855.66 c 856 6660 1637 1 - 3157.0090 -
859.18/862.21 c 862 6722 1641 1 - 3157.0956 -
864.26/867.38 c 867 6810 1643 1 - 3157.0956 -
869.35/872.41 c 872 6856 1653 1 - 3157.2024 -
874.53/877.68 c 878 6942 1659 1 - 3157.2812 -
879.62/882.73 c 883 7007 1668 1 - 3157.3333 -
885.01/888.15 c 888 7082 1675 1 - 3157.3344 -
890.79/893.99 c 894 7155 1686 1 - 3157.3423 -
896.07/899.28 c 899 7222 1693 1 - 3157.4448 -
901.15/904.35 c 904 7282 1707 1 - 3157.5333 -
906.34/909.52 c 910 7369 1710 1 - 3157.5333 -
911.62/914.82 c 915 7441 1718 1 - 3157.5333 -
916.70/919.99 c 920 7513 1728 1 - 3157.6887 -
922.28/925.56 c 926 7576 1745 1 - 3157.6887 -
928.06/931.30 c 931 7650 1755 1 - 3157.7016 -
933.15/936.44 c 936 7685 1776 1 - 3157.9109 -
938.43/941.70 c 942 7742 1773 1 - 3157.9109 -
944.51/947.85 c 948 7805 1776 1 - 3158.0001 -
949.80/953.13 c 953 7877 1784 1 - 3158.0001 -
958.57/961.91 c 962 7945 1790 1 - 3158.0012 -
964.25/967.64 c 968 8033 1798 1 - 3158.0054 -
970.43/973.86 c 974 8092 1811 1 - 3158.1774 -
976.41/979.81 c 980 8155 1822 1 - 3158.1809 -
981.79/985.27 c 985 8203 1832 1 - 3158.2354 -
987.08/990.51 c 991 8262 1827 1 - 3158.2361 -
992.17/995.67 c 996 8324 1831 1 - 3158.2361 -
997.35/1000.88 c 1001 8370 1852 1 - 3158.2667 -
1003.23/1006.72 c 1007 8430 1853 1 - 3158.2667 -
1008.81/1012.35 c 1012 8492 1857 1 - 3158.3686 -
1014.10/1017.62 c 1018 8548 1865 1 - 3158.3697 -
1020.08/1023.64 c 1024 8609 1878 1 - 3158.5908 -
1025.47/1029.04 c 1029 8672 1880 1 - 3158.6667 -
1030.85/1034.40 c 1034 8731 1887 1 - 3158.6667 -
1036.43/1040.07 c 1040 8772 1898 1 - 3158.7101 -
1041.61/1045.29 c 1045 8840 1906 1 - 3158.7101 -
1047.40/1051.03 c 1051 8888 1907 1 - 3158.7292 -
1052.77/1056.42 c 1056 8932 1915 1 - 3158.8333 -
1057.96/1061.60 c 1062 8979 1936 1 - 3158.8333 -
1063.04/1066.76 c 1067 9052 1943 1 - 3158.8333 -
1068.33/1072.03 c 1072 9124 1947 1 - 3158.8333 -
1073.81/1077.58 c 1078 9187 1954 1 - 3158.8335 -
1079.19/1082.94 c 1083 9250 1959 1 - 3158.9192 -
1084.47/1088.20 c 1088 9317 1970 1 - 3158.9333 -
1089.86/1093.65 c 1094 9379 1980 1 - 3158.9445 -
1095.54/1099.31 c 1099 9431 1982 1 - 3158.9883 -
1101.52/1105.31 c 1105 9509 1990 1 - 3159.0089 -
1107.90/1111.75 c 1112 9552 1995 1 - 3159.1984 -
1113.88/1117.72 c 1118 9613 2024 1 - 3159.2115 -
1119.07/1122.90 c 1123 9664 2027 1 - 3159.2156 -
1124.25/1128.12 c 1128 9725 2035 1 - 3159.2156 -
1129.74/1133.61 c 1134 9812 2044 1 - 3159.2156 -
1135.13/1139.05 c 1139 9871 2051 1 - 3159.2222 -
1140.21/1144.13 c 1144 9912 2060 1 - 3159.2907 -
1145.20/1149.18 c 1149 9942 2077 1 - 3159.3338 -
1150.57/1154.54 c 1155 10001 2092 1 - 3159.3893 -
1155.95/1159.99 c 1160 10056 2115 1 - 3159.3893 -
1161.23/1165.24 c 1165 10115 2131 1 - 3159.3893 -
1166.92/1170.93 c 1171 10180 2156 1 - 3159.3893 -
1173.11/1177.17 c 1177 10232 2160 1 - 3159.4031 -
1178.88/1182.92 c 1183 10274 2182 1 - 3159.4647 -
1184.27/1188.36 c 1188 10322 2182 1 - 3159.5000 -
1190.25/1194.34 c 1194 10352 2188 1 - 3159.5448 -
1195.23/1199.39 c 1199 10394 2192 1 - 3159.5667 -
1201.71/1205.84 c 1206 10430 2204 1 - 3159.6121 -
1207.79/1211.91 c 1212 10502 2209 1 - 3159.6667 -
1213.17/1217.32 c 1217 10545 2208 1 - 3159.6667 -
1218.55/1222.76 c 1223 10589 2211 1 - 3159.6672 -
1225.04/1229.23 c 1229 10634 2232 1 - 3159.6859 -
1230.72/1234.92 c 1235 10683 2242 1 - 3159.7066 -
1236.80/1241.05 c 1241 10715 2252 1 - 3159.7500 -
1242.28/1246.54 c 1247 10763 2256 1 - 3159.7500 -
1247.36/1251.60 c 1252 10822 2261 1 - 3159.7619 -
1253.44/1257.79 c 1258 10874 2267 1 - 3159.8651 -
1258.82/1263.16 c 1263 10942 2317 1 - 3160.0000 -
1264.30/1268.69 c 1269 10994 2337 1 - 3160.0833 -
1269.48/1273.88 c 1274 11069 2342 1 - 3160.1667 -
1275.36/1279.79 c 1280 11134 2367 1 - 3160.2196 -
1280.64/1285.04 c 1285 11205 2384 1 - 3160.2196 -
1285.82/1290.25 c 1290 11278 2393 1 - 3160.2222 -
1291.60/1296.07 c 1296 11337 2403 1 - 3160.3335 -
1297.27/1301.76 c 1302 11416 2402 1 - 3160.3392 -
1302.66/1307.11 c 1307 11500 2402 1 - 3160.3392 -
1308.33/1312.87 c 1313 11581 2403 1 - 3160.4000 -
1315.51/1320.05 c 1320 11635 2411 1 - 3160.4167 -
1320.68/1325.29 c 1325 11713 2424 1 - 3160.4167 -
1326.66/1331.21 c 1331 11804 2437 1 - 3160.4512 -
1332.46/1337.06 c 1337 11887 2448 1 - 3160.4658 -
1337.54/1342.14 c 1342 11942 2459 1 - 3160.5338 -
1342.91/1347.58 c 1348 12012 2467 1 - 3160.5625 -
1348.09/1352.78 c 1353 12112 2478 1 - 3160.5625 -
1353.27/1357.93 c 1358 12165 2491 1 - 3160.7566 -
1358.75/1363.46 c 1363 12258 2492 1 - 3160.7566 -
1364.63/1369.37 c 1369 12344 2504 1 - 3160.8667 -
1370.41/1375.13 c 1375 12425 2512 1 - 3160.8892 -
1375.49/1380.20 c 1380 12502 2519 1 - 3160.9017 -
1380.57/1385.31 c 1385 12586 2513 1 - 3160.9017 -
1386.26/1391.07 c 1391 12642 2524 1 - 3161.0000 -
1391.93/1396.75 c 1397 12722 2524 1 - 3161.0155 -
1397.11/1401.93 c 1402 12775 2534 1 - 3161.0250 -
1402.89/1407.76 c 1408 12856 2537 1 - 3161.0278 -
1408.57/1413.49 c 1414 12885 2540 1 - 3161.1429 -
1414.25/1419.19 c 1419 12982 2543 1 - 3161.2233 -
1419.63/1424.58 c 1425 13064 2551 1 - 3161.2466 -
1424.80/1429.73 c 1430 13140 2554 1 - 3161.2466 -
1430.09/1435.00 c 1435 13238 2554 1 - 3161.2466 -
1435.36/1440.35 c 1440 13302 2557 1 - 3161.2556 -
1440.35/1445.37 c 1445 13352 2567 1 - 3161.3135 -
1446.43/1451.41 c 1451 13421 2570 1 - 3161.3423 -
1452.11/1457.15 c 1457 13494 2577 1 - 3161.3441 -
1458.28/1463.33 c 1463 13580 2571 1 - 3161.3441 -
1463.97/1469.09 c 1469 13647 2579 1 - 3161.5135 -
1469.74/1474.85 c 1475 13687 2589 1 - 3161.5556 -
1474.83/1479.93 c 1480 13729 2589 1 - 3161.5694 -
1480.21/1485.32 c 1485 13792 2595 1 - 3161.5837 -
1485.49/1490.65 c 1491 13835 2623 1 - 3161.5837 -
1491.17/1496.30 c 1496 13877 2633 1 - 3161.6946 -
1496.97/1502.14 c 1502 13933 2644 1 - 3161.8333 -
1502.54/1507.79 c 1508 13991 2648 1 - 3161.8411 -
1508.02/1513.20 c 1513 14072 2639 1 - 3161.8411 -
1513.21/1518.45 c 1518 14147 2647 1 - 3161.8411 -
1519.19/1524.45 c 1524 14213 2652 1 - 3161.8444 -
1524.67/1529.91 c 1530 14269 2656 1 - 3161.8659 -
1530.35/1535.62 c 1536 14330 2666 1 - 3161.9740 -
1536.23/1541.57 c 1542 14389 2667 1 - 3161.9779 -
1541.42/1546.76 c 1547 14442 2672 1 - 3162.0333 -
1547.10/1552.47 c 1552 14492 2670 1 - 3162.0694 -
1552.98/1558.36 c 1558 14541 2673 1 - 3162.1227 -
1558.86/1564.23 c 1564 14584 2684 1 - 3162.1667 -
1564.35/1569.78 c 1570 14625 2700 1 - 3162.1806 -
1569.83/1575.27 c 1575 14666 2711 1 - 3162.3345 -
1575.62/1581.04 c 1581 14739 2721 1 - 3162.3345 -
1581.10/1586.52 c 1587 14785 2727 1 - 3162.3392 -
1586.49/1591.99 c 1592 14843 2733 1 - 3162.3432 -
1592.07/1597.51 c 1598 14893 2733 1 - 3162.3488 -
1597.45/1602.90 c 1603 14945 2737 1 - 3162.3667 -
1602.93/1608.46 c 1608 14999 2761 1 - 3162.3889 -
1608.62/1614.18 c 1614 15066 2759 1 - 3162.4333 -
1613.70/1619.28 c 1619 15102 2754 1 - 3162.4583 -
1618.88/1624.49 c 1624 15144 2764 1 - 3162.5015 -
1624.66/1630.29 c 1630 15212 2765 1 - 3162.5015 -
1630.24/1635.83 c 1636 15256 2769 1 - 3162.5075 -
1636.43/1642.05 c 1642 15313 2772 1 - 3162.5317 -
1642.21/1647.85 c 1648 15385 2771 1 - 3162.5556 -
1647.79/1653.44 c 1653 15432 2802 1 - 3162.5833 -
1653.07/1658.76 c 1659 15481 2803 1 - 3162.5833 -
1658.66/1664.36 c 1664 15537 2801 1 - 3162.5833 -
1664.54/1670.24 c 1670 15592 2804 1 - 3162.5833 -
1670.22/1675.93 c 1676 15632 2814 1 - 3162.5952 -
1676.20/1681.93 c 1682 15697 2819 1 - 3162.6249 -
1682.19/1687.96 c 1688 15754 2822 1 - 3162.6677 -
1687.57/1693.36 c 1693 15804 2826 1 - 3162.6978 -
1693.85/1699.69 c 1700 15835 2831 1 - 3162.7651 -
1698.94/1704.70 c 1705 15882 2838 1 - 3162.8965 -
1704.22/1710.05 c 1710 15935 2845 1 - 3162.9278 -
1710.30/1716.15 c 1716 15993 2849 1 - 3163.0042 -
1715.48/1721.38 c 1721 16040 2862 1 - 3163.0476 -
1721.06/1726.97 c 1727 16096 2864 1 - 3163.0924 -
1726.94/1732.88 c 1733 16138 2876 1 - 3163.1667 -
1732.03/1737.95 c 1738 16202 2877 1 - 3163.1667 -
1737.91/1743.81 c 1744 16255 2898 1 - 3163.1667 -
1743.89/1749.82 c 1750 16343 2925 1 - 3163.1667 -
1749.18/1755.19 c 1755 16405 2971 1 - 3163.1667 -
1754.45/1760.46 c 1760 16488 2965 1 - 3163.1667 -
1760.33/1766.30 c 1766 16562 2967 1 - 3163.1901 -
1765.91/1771.94 c 1772 16652 2950 1 - 3163.3114 -
1771.10/1777.13 c 1777 16754 2937 1 - 3163.3114 -
1776.28/1782.30 c 1782 16837 2950 1 - 3163.3114 -
1782.26/1788.32 c 1788 16930 2977 1 - 3163.3375 -
1788.14/1794.21 c 1794 16995 2998 1 - 3163.3551 -
1793.72/1799.89 c 1800 17081 2997 1 - 3163.3685 -
1799.10/1805.20 c 1805 17151 3007 1 - 3163.3889 -
1804.48/1810.67 c 1811 17202 3011 1 - 3163.5004 -
1810.06/1816.27 c 1816 17272 3013 1 - 3163.5004 -
1815.24/1821.44 c 1821 17331 3020 1 - 3163.5141 -
1820.92/1827.15 c 1827 17382 3029 1 - 3163.5877 -
1826.70/1832.92 c 1833 17452 3024 1 - 3163.6978 -
1832.27/1838.58 c 1839 17523 3018 1 - 3163.7748 -
1838.15/1844.47 c 1844 17586 3025 1 - 3163.8333 -
1843.84/1850.11 c 1850 17646 0 1 - 3163.8333 -
1849.51/1855.89 c 1856 17661 15 1 - 3163.8333 -
1855.59/1861.95 c 1862 17669 23 1 - 3163.8333 -
1861.46/1867.84 c 1868 17675 29 1 - 3163.8333 -
1867.34/1873.73 c 1874 17682 36 1 - 3163.8333 -
1872.63/1879.00 c 1879 17688 40 1 - 3163.8333 -
1877.90/1884.33 c 1884 17694 46 1 - 3163.8333 -
1883.59/1890.09 c 1890 17699 47 1 - 3163.8333 -
1889.68/1896.12 c 1896 17713 51 1 - 3163.8333 -
1895.56/1902.00 c 1902 17725 55 1 - 3163.8333 -
1900.74/1907.27 c 1907 17741 53 1 - 3163.8333 -
1906.22/1912.74 c 1913 17779 67 1 - 3163.8333 -
1911.80/1918.30 c 1918 17808 79 1 - 3163.8333 -
1917.08/1923.60 c 1924 17834 95 1 - 3163.8333 -
1922.57/1929.17 c 1929 17878 107 1 - 3163.8333 -
1928.35/1934.90 c 1935 17928 117 1 - 3163.8333 -
1934.73/1941.31 c 1941 17967 110 1 - 3163.8333 -
1940.91/1947.54 c 1948 18011 97 1 - 3163.8333 -
1946.29/1952.96 c 1953 18053 104 1 - 3163.8333 -
1951.87/1958.50 c 1958 18098 107 1 - 3163.8333 -
1957.75/1964.45 c 1964 18138 109 1 - 3163.8333 -
1963.93/1970.62 c 1971 18182 115 1 - 3163.8333 -
1969.51/1976.29 c 1976 18210 129 1 - 3163.8333 -
1974.70/1981.45 c 1981 18250 130 1 - 3163.8333 -
1980.38/1987.11 c 1987 18284 150 1 - 3163.8333 -
1985.86/1992.64 c 1993 18327 156 1 - 3163.8333 -
1991.54/1998.32 c 1998 18372 162 1 - 3163.8333 -
1997.12/2003.91 c 2004 18404 165 1 - 3163.8333 -
2002.89/2009.76 c 2010 18447 170 1 - 3163.8333 -
2008.67/2015.59 c 2016 18479 188 1 - 3163.8333 -
2014.26/2021.17 c 2021 18527 191 1 - 3163.8333 -
2019.73/2026.65 c 2027 18586 202 1 - 3163.8333 -
2025.12/2032.02 c 2032 18647 202 1 - 3163.8333 -
2030.39/2037.34 c 2037 18744 209 1 - 3163.8333 -
2035.97/2042.97 c 2043 18789 218 1 - 3163.8333 -
2041.16/2048.18 c 2048 18826 228 1 - 3163.8333 -
2047.93/2054.92 c 2055 18852 234 1 - 3163.8333 -
2053.11/2060.18 c 2060 18864 236 1 - 3163.8333 -
2058.69/2065.78 c 2066 18881 238 1 - 3163.8333 -
2064.47/2071.54 c 2072 18894 240 1 - 3163.8333 -
2069.75/2076.82 c 2077 18906 242 1 - 3163.8333 -
2075.43/2082.53 c 2083 18919 243 1 - 3163.8333 -
2081.31/2088.46 c 2088 18933 243 1 - 3163.8333 -
2086.69/2093.87 c 2094 18953 243 1 - 3163.8333 -
2092.07/2099.20 c 2099 18976 251 1 - 3163.8333 -
2098.24/2105.41 c 2105 18990 249 1 - 3163.8333 -
2103.34/2110.57 c 2111 19005 248 1 - 3163.8333 -
2108.42/2115.60 c 2116 19019 248 1 - 3163.8333 -
2113.80/2121.02 c 2121 19036 245 1 - 3163.8333 -
2118.98/2126.21 c 2126 19051 244 1 - 3163.8333 -
2124.06/2131.37 c 2131 19069 242 1 - 3163.8333 -
2130.34/2137.66 c 2138 19084 245 1 - 3163.8333 -
2136.72/2144.05 c 2144 19100 248 1 - 3163.8333 -
2141.80/2149.19 c 2149 19115 246 1 - 3163.8333 -
2147.37/2154.71 c 2155 19135 243 1 - 3163.8333 -
2152.76/2160.11 c 2160 19159 242 1 - 3163.8333 -
2158.23/2165.60 c 2166 19188 243 1 - 3163.8333 -
2163.72/2171.15 c 2171 19231 254 1 - 3163.8333 -
2169.30/2176.73 c 2177 19264 259 1 - 3163.8333 -
2174.48/2181.96 c 2182 19322 263 1 - 3163.8333 -
2180.15/2187.62 c 2188 19358 271 1 - 3163.8333 -
2186.13/2193.61 c 2194 19384 281 1 - 3163.8333 -
2191.51/2199.09 c 2199 19423 297 1 - 3163.8333 -
2196.69/2204.23 c 2204 19487 301 1 - 3163.8333 -
2202.97/2210.51 c 2211 19532 321 1 - 3163.8333 -
2208.65/2216.22 c 2216 19592 342 1 - 3163.8333 -
2213.83/2221.45 c 2221 19663 354 1 - 3163.8333 -
2219.71/2227.39 c 2227 19735 366 1 - 3163.8333 -
2224.98/2232.69 c 2233 19793 389 1 - 3163.8333 -
2230.56/2238.20 c 2238 19867 396 1 - 3163.8333 -
2235.85/2243.52 c 2244 19940 419 1 - 3163.8333 -
2241.03/2248.72 c 2249 20037 422 1 - 3163.8333 -
2246.32/2254.00 c 2254 20050 423 1 - 3163.8333 -
2251.59/2259.36 c 2259 20134 431 1 - 3163.8333 -
2257.27/2265.08 c 2265 20221 442 1 - 3163.8333 -
2262.75/2270.51 c 2271 20291 464 1 - 3163.8333 -
2268.33/2276.16 c 2276 20344 490 1 - 3163.8333 -
2273.61/2281.46 c 2281 20449 491 1 - 3163.8333 -
2279.00/2286.80 c 2287 20544 498 1 - 3163.8333 -
2284.48/2292.37 c 2292 20645 510 1 - 3163.8333 -
2289.97/2297.89 c 2298 20734 521 1 - 3163.8333 -
2295.25/2303.10 c 2303 20828 535 1 - 3163.8333 -
2300.43/2308.37 c 2308 20906 563 1 - 3163.8333 -
2306.31/2314.23 c 2314 20988 578 1 - 3163.8333 -
2311.39/2319.39 c 2319 21073 592 1 - 3163.8333 -
2316.78/2324.72 c 2325 21154 606 1 - 3163.8333 -
2321.97/2329.99 c 2330 21225 617 1 - 3163.8333 -
2327.15/2335.14 c 2335 21334 617 1 - 3163.8333 -
2332.23/2340.28 c 2340 21432 627 1 - 3163.8333 -
2337.70/2345.70 c 2346 21500 645 1 - 3163.8333 -
2343.00/2351.01 c 2351 21580 665 1 - 3163.8333 -
2348.17/2356.21 c 2356 21673 672 1 - 3163.8333 -
2353.35/2361.46 c 2361 21760 679 1 - 3163.8333 -
2358.43/2366.57 c 2367 21840 690 1 - 3163.8333 -
2363.81/2371.98 c 2372 21914 706 1 - 3163.8333 -
2369.19/2377.32 c 2377 21987 717 1 - 3163.8333 -
2374.47/2382.67 c 2383 22047 727 1 - 3163.8333 -
2380.65/2388.82 c 2389 22133 732 1 - 3163.8333 -
2385.93/2394.12 c 2394 22203 749 1 - 3163.8333 -
2392.30/2400.57 c 2401 22275 753 1 - 3163.8333 -
2397.79/2406.03 c 2406 22340 767 1 - 3163.8333 -
2402.88/2411.17 c 2411 22423 776 1 - 3163.8333 -
2408.85/2417.17 c 2417 22510 782 1 - 3163.8333 -
2414.23/2422.57 c 2423 22585 783 1 - 3163.8333 -
2419.71/2428.00 c 2428 22642 791 1 - 3163.8333 -
2425.49/2433.80 c 2434 22715 794 1 - 3163.8333 -
2430.67/2439.10 c 2439 22755 800 1 - 3163.8333 -
2436.65/2445.09 c 2445 22827 807 1 - 3163.8333 -
2442.63/2451.07 c 2451 22897 824 1 - 3163.8333 -
2447.90/2456.31 c 2456 22947 831 1 - 3163.8333 -
2457.57/2466.00 c 2466 22990 839 1 - 3163.8333 -
2463.25/2471.73 c 2472 23067 843 1 - 3163.8333 -
2468.33/2476.88 c 2477 23136 843 1 - 3163.8333 -
2474.01/2482.54 c 2483 23215 853 1 - 3163.8333 -
2479.19/2487.77 c 2488 23290 854 1 - 3163.8333 -
2484.47/2493.02 c 2493 23354 869 1 - 3163.8333 -
2490.25/2498.83 c 2499 23442 874 1 - 3163.8333 -
2495.44/2504.08 c 2504 23537 876 1 - 3163.8333 -
2500.82/2509.49 c 2509 23626 886 1 - 3163.8333 -
2506.40/2515.08 c 2515 23711 897 1 - 3163.8333 -
2511.57/2520.26 c 2520 23785 906 1 - 3163.8333 -
2516.86/2525.56 c 2526 23870 913 1 - 3163.8333 -
2522.44/2531.12 c 2531 23976 921 1 - 3163.8333 -
2527.61/2536.31 c 2536 24058 930 1 - 3163.8333 -
2532.79/2541.50 c 2542 24123 943 1 - 3163.8333 -
2537.88/2546.64 c 2547 24208 951 1 - 3163.8333 -
2543.06/2551.84 c 2552 24302 960 1 - 3163.8333 -
2548.34/2557.15 c 2557 24393 966 1 - 3163.8333 -
2553.62/2562.42 c 2562 24489 973 1 - 3163.8333 -
2558.71/2567.59 c 2568 24547 977 1 - 3163.8333 -
2564.19/2573.08 c 2573 24630 991 1 - 3163.8333 -
2569.56/2578.49 c 2578 24708 997 1 - 3163.8333 -
2574.94/2583.88 c 2584 24799 1002 1 - 3163.8333 -
2580.62/2589.51 c 2590 24890 1002 1 - 3163.8333 -
2585.90/2594.89 c 2595 24980 1015 1 - 3163.8333 -
2591.28/2600.20 c 2600 25049 1030 1 - 3163.8333 -
2597.17/2606.18 c 2606 25131 1043 1 - 3163.8333 -
2602.34/2611.34 c 2611 25238 1039 1 - 3163.8333 -
2607.72/2616.71 c 2617 25341 1051 1 - 3163.8333 -
2613.01/2622.05 c 2622 25429 1067 1 - 3163.8333 -
2618.78/2627.86 c 2628 25520 1091 1 - 3163.8333 -
2623.86/2632.98 c 2633 25606 1092 1 - 3163.8333 -
2629.14/2638.20 c 2638 25674 1099 1 - 3163.8333 -
2634.42/2643.55 c 2644 25760 1111 1 - 3163.8333 -
2639.60/2648.78 c 2649 25832 1122 1 - 3163.8333 -
2644.99/2654.13 c 2654 25921 1144 1 - 3163.8333 -
2650.26/2659.46 c 2659 26012 1158 1 - 3163.8333 -
2655.44/2664.66 c 2665 26102 1164 1 - 3163.8333 -
2661.33/2670.56 c 2671 26189 1184 1 - 3163.8333 -
2666.81/2676.07 c 2676 26287 1196 1 - 3163.8333 -
2672.79/2682.07 c 2682 26360 1220 1 - 3163.8333 -
2678.36/2687.69 c 2688 26439 1231 1 - 3163.8333 -
2683.55/2692.88 c 2693 26538 1231 1 - 3163.8333 -
2688.73/2698.04 c 2698 26644 1231 1 - 3163.8333 -
2694.21/2703.54 c 2704 26737 1240 1 - 3163.8333 -
2699.39/2708.75 c 2709 26819 1251 1 - 3163.8333 -
2704.78/2714.15 c 2714 26911 1262 1 - 3163.8333 -
2710.05/2719.48 c 2719 26997 1269 1 - 3163.8333 -
2715.64/2725.04 c 2725 27070 1277 1 - 3163.8333 -
2720.82/2730.27 c 2730 27147 1280 1 - 3163.8333 -
2726.00/2735.48 c 2735 27235 1289 1 - 3163.8333 -
2731.38/2740.80 c 2741 27311 1314 1 - 3163.8333 -
2736.47/2745.90 c 2746 27387 1332 1 - 3163.8333 -
2742.35/2751.82 c 2752 27490 1344 1 - 3163.8333 -
2748.73/2758.28 c 2758 27580 1351 1 - 3163.8333 -
2754.11/2763.66 c 2764 27670 1352 1 - 3163.8333 -
2759.99/2769.60 c 2770 27717 1362 1 - 3163.8333 -
2765.39/2774.93 c 2775 27788 1375 1 - 3163.8333 -
2770.67/2780.24 c 2780 27865 1383 1 - 3163.8333 -
2776.15/2785.77 c 2786 27940 1393 1 - 3163.8333 -
2781.54/2791.11 c 2791 28008 1403 1 - 3163.8333 -
2786.82/2796.46 c 2796 28090 1399 1 - 3163.8333 -
2792.10/2801.77 c 2802 28162 1397 1 - 3163.8333 -
2797.98/2807.62 c 2808 28234 1400 1 - 3163.8333 -
2803.87/2813.54 c 2814 28290 1405 1 - 3163.8333 -
2809.65/2819.38 c 2819 28345 1415 1 - 3163.8333 -
2815.03/2824.75 c 2825 28401 1423 1 - 3163.8333 -
2820.51/2830.29 c 2830 28463 1427 1 - 3163.8333 -
2826.30/2836.09 c 2836 28512 1454 1 - 3163.8333 -
2831.48/2841.29 c 2841 28564 1454 1 - 3163.8333 -
2836.96/2846.75 c 2847 28622 1462 1 - 3163.8333 -
2842.24/2852.07 c 2852 28669 1463 1 - 3163.8333 -
2847.42/2857.21 c 2857 28723 1475 1 - 3163.8333 -
2852.81/2862.67 c 2863 28784 1478 1 - 3163.8333 -
2858.09/2867.93 c 2868 28842 1480 1 - 3163.8333 -
2863.77/2873.69 c 2874 28899 1477 1 - 3163.8333 -
2869.46/2879.38 c 2879 28949 1485 1 - 3163.8333 -
2875.34/2885.22 c 2885 29004 1489 1 - 3163.8333 -
2881.03/2890.96 c 2891 29075 1482 1 - 3163.8333 -
2886.71/2896.65 c 2897 29130 1487 1 - 3163.8333 -
2892.29/2902.27 c 2902 29188 1488 1 - 3163.8333 -
2897.87/2907.82 c 2908 29259 1496 1 - 3163.8333 -
2902.86/2912.85 c 2913 29309 1511 1 - 3163.8333 -
2908.15/2918.12 c 2918 29365 1519 1 - 3163.8333 -
2913.22/2923.21 c 2923 29400 1534 1 - 3163.8333 -
2918.51/2928.58 c 2929 29462 1538 1 - 3163.8333 -
2923.89/2933.99 c 2934 29527 1539 1 - 3163.8333 -
2929.37/2939.49 c 2939 29604 1542 1 - 3163.8333 -
2935.25/2945.34 c 2945 29650 1560 1 - 3163.8333 -
2941.04/2951.15 c 2951 29719 1565 1 - 3163.8333 -
2946.62/2956.72 c 2957 29790 1572 1 - 3163.8333 -
2952.30/2962.42 c 2962 29857 1571 1 - 3163.8333 -
2957.58/2967.76 c 2968 29910 1584 1 - 3163.8333 -
2962.97/2973.10 c 2973 29967 1585 1 - 3163.8333 -
2968.55/2978.75 c 2979 30026 1596 1 - 3163.8333 -
2974.03/2984.25 c 2984 30042 1612 1 - 3163.8333 -
2979.62/2989.87 c 2990 30070 1634 1 - 3163.8333 -
2985.00/2995.27 c 2995 30131 1637 1 - 3163.8333 -
2990.08/3000.30 c 3000 30175 1657 1 - 3163.8333 -
2995.47/3005.77 c 3006 30225 1685 1 - 3163.8333 -
3006.33/3016.62 c 3017 30290 1694 1 - 3163.8333 -
3011.82/3022.17 c 3022 30359 1709 1 - 3163.8333 -
3017.21/3027.55 c 3028 30430 1718 1 - 3163.8333 -
3022.59/3032.94 c 3033 30510 1723 1 - 3163.8333 -
3027.78/3038.14 c 3038 30581 1730 1 - 3163.8333 -
3033.26/3043.65 c 3044 30660 1729 1 - 3163.8333 -
3038.54/3048.90 c 3049 30734 1731 1 - 3163.8333 -
3043.73/3054.17 c 3054 30820 1740 1 - 3163.8333 -
3049.20/3059.64 c 3060 30911 1751 1 - 3163.8333 -
3055.08/3065.56 c 3066 31003 1750 1 - 3163.8333 -
3060.87/3071.36 c 3071 31070 1765 1 - 3163.8333 -
3066.65/3077.12 c 3077 31141 1779 1 - 3163.8333 -
3071.74/3082.28 c 3082 31224 1794 1 - 3163.8333 -
3077.12/3087.65 c 3088 31313 1800 1 - 3163.8333 -
3082.40/3092.94 c 3093 31400 1800 1 - 3163.8333 -
3087.68/3098.26 c 3098 31475 1817 1 - 3163.8333 -
3092.87/3103.41 c 3103 31566 1813 1 - 3163.8333 -
3098.15/3108.74 c 3109 31649 1822 1 - 3163.8333 -
3103.33/3113.91 c 3114 31729 1822 1 - 3163.8333 -
3108.72/3119.35 c 3119 31807 1839 1 - 3163.8333 -
3114.10/3124.77 c 3125 31880 1852 1 - 3163.8333 -
3119.78/3130.47 c 3130 31950 1863 1 - 3163.8333 -
3125.07/3135.73 c 3136 32031 1854 1 - 3163.8333 -
3130.25/3140.96 c 3141 32110 1860 1 - 3163.8333 -
3135.63/3146.33 c 3146 32191 1864 1 - 3163.8333 -
3140.82/3151.56 c 3152 32271 1868 1 - 3163.8333 -
3146.70/3157.43 c 3157 32329 1881 1 - 3163.8333 -
3152.08/3162.88 c 3163 32390 1924 1 - 3163.8333 -
3157.37/3168.19 c 3168 32459 1948 1 - 3163.8333 -
3162.65/3173.45 c 3173 32535 1958 1 - 3163.8333 -
3167.93/3178.78 c 3179 32614 1968 1 - 3163.8333 -
3173.91/3184.75 c 3185 32680 1968 1 - 3163.8333 -
3179.80/3190.61 c 3191 32756 1960 1 - 3163.8333 -
3185.58/3196.45 c 3196 32834 1962 1 - 3163.8333 -
3191.56/3202.45 c 3202 32894 1984 1 - 3163.8333 -
3196.74/3207.69 c 3208 32959 1992 1 - 3163.8333 -
3202.13/3213.06 c 3213 33041 2014 1 - 3163.8333 -
3207.31/3218.29 c 3218 33123 2030 1 - 3163.8333 -
3212.59/3223.51 c 3224 33219 2029 1 - 3163.8333 -
3217.78/3228.71 c 3229 33310 2034 1 - 3163.8333 -
3223.46/3234.46 c 3234 33395 2055 1 - 3163.8333 -
3229.44/3240.45 c 3240 33481 2069 1 - 3163.8333 -
3234.82/3245.81 c 3246 33575 2075 1 - 3163.8333 -
3239.81/3250.88 c 3251 33648 2084 1 - 3163.8333 -
3245.29/3256.34 c 3256 33721 2101 1 - 3163.8333 -
3250.77/3261.82 c 3262 33809 2117 1 - 3163.8333 -
3257.15/3268.28 c 3268 33880 2136 1 - 3163.8333 -
3262.33/3273.42 c 3273 33960 2142 1 - 3163.8333 -
3267.42/3278.59 c 3279 34034 2148 1 - 3163.8333 -
3272.81/3283.91 c 3284 34100 2154 1 - 3163.8333 -
3278.29/3289.46 c 3289 34188 2150 1 - 3163.8333 -
3283.67/3294.86 c 3295 34268 2160 1 - 3163.8333 -
3288.85/3300.03 c 3300 34350 2160 1 - 3163.8333 -
3295.74/3306.92 c 3307 34400 2164 1 - 3163.8333 -
3300.82/3312.10 c 3312 34478 2172 1 - 3163.8333 -
3306.00/3317.23 c 3317 34540 2175 1 - 3163.8333 -
3311.09/3322.37 c 3322 34621 2188 1 - 3163.8333 -
3316.47/3327.73 c 3328 34691 2201 1 - 3163.8333 -
3321.55/3332.87 c 3333 34785 2194 1 - 3163.8333 -
3326.84/3338.13 c 3338 34869 2200 1 - 3163.8333 -
3332.62/3343.91 c 3344 34943 2206 1 - 3163.8333 -
3337.80/3349.13 c 3349 35030 2220 1 - 3163.8333 -
3343.29/3354.69 c 3355 35110 2226 1 - 3163.8333 -
3349.27/3360.62 c 3361 35180 2228 1 - 3163.8333 -
3354.46/3365.87 c 3366 35245 2241 1 - 3163.8333 -
3360.83/3372.24 c 3372 35310 2240 1 - 3163.8333 -
3367.11/3378.55 c 3379 35376 2246 1 - 3163.8333 -
3372.90/3384.38 c 3384 35450 2268 1 - 3163.8333 -
3378.18/3389.62 c 3390 35509 2267 1 - 3163.8333 -
3383.86/3395.34 c 3395 35591 2257 1 - 3163.8333 -
3389.65/3401.11 c 3401 35636 2274 1 - 3163.8333 -
3395.53/3407.09 c 3407 35714 2280 1 - 3163.8333 -
3401.61/3413.15 c 3413 35804 2280 1 - 3163.8333 -
3408.08/3419.60 c 3420 35860 2279 1 - 3163.8333 -
3413.37/3424.97 c 3425 35925 2293 1 - 3163.8333 -
3418.65/3430.21 c 3430 35991 2291 1 - 3163.8333 -
3423.73/3435.31 c 3435 36040 2295 1 - 3163.8333 -
3429.02/3440.65 c 3441 36107 2292 1 - 3163.8333 -
3434.80/3446.46 c 3446 36166 2305 1 - 3163.8333 -
3440.78/3452.41 c 3452 36218 2323 1 - 3163.8333 -
3445.97/3457.63 c 3458 36290 2321 1 - 3163.8333 -
3452.25/3463.92 c 3464 36357 2333 1 - 3163.8333 -
3457.44/3469.14 c 3469 36419 2340 1 - 3163.8333 -
3463.32/3475.03 c 3475 36487 2348 1 - 3163.8333 -
3468.40/3480.11 c 3480 36560 2351 1 - 3163.8333 -
3473.78/3485.55 c 3486 36624 2351 1 - 3163.8333 -
3479.36/3491.19 c 3491 36704 2354 1 - 3163.8333 -
3484.74/3496.56 c 3497 36770 2362 1 - 3163.8333 -
3490.23/3502.06 c 3502 36828 2368 1 - 3163.8333 -
3495.31/3507.18 c 3507 36881 2371 1 - 3163.8333 -
3500.70/3512.51 c 3513 36951 2377 1 - 3163.8333 -
3506.18/3518.03 c 3518 37019 2375 1 - 3163.8333 -
3511.27/3523.12 c 3523 37087 2383 1 - 3163.8333 -
3516.75/3528.69 c 3529 37143 2387 1 - 3163.8333 -
3522.33/3534.26 c 3534 37222 2397 1 - 3163.8333 -
3527.91/3539.82 c 3540 37268 2394 1 - 3163.8333 -
3533.20/3545.11 c 3545 37332 2401 1 - 3163.8333 -
3538.37/3550.31 c 3550 37399 2409 1 - 3163.8333 -
3543.96/3555.94 c 3556 37466 2414 1 - 3163.8333 -
3549.74/3561.70 c 3562 37507 2422 1 - 3163.8333 -
3555.02/3567.05 c 3567 37558 2435 1 - 3163.8333 -
3560.20/3572.24 c 3572 37630 2440 1 - 3163.8333 -
3565.39/3577.40 c 3577 37708 2441 1 - 3163.8333 -
3570.87/3582.99 c 3583 37772 2441 1 - 3163.8333 -
3576.16/3588.29 c 3588 37851 2445 1 - 3163.8333 -
3581.74/3593.85 c 3594 37902 2457 1 - 3163.8333 -
3587.43/3599.55 c 3600 37951 2464 1 - 3163.8333 -
3587.93/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.93/3600.07 c Total Time : 3600.0700
3587.93/3600.07 c solving : 3600.0700
3587.93/3600.07 c presolving : 0.2489 (included in solving)
3587.93/3600.07 c B&B Tree :
3587.93/3600.07 c nodes (total) : 1
3587.93/3600.07 c Solution :
3587.93/3600.07 c Solutions found : 0
3587.93/3600.07 c Primal Bound : -
3587.93/3600.07 c Dual Bound : +3.16383333359066e+03
3587.93/3600.07 c Gap : -
3587.93/3600.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: 63931 MiB (60559 MiB free)
memory of node 1: 64510 MiB (61065 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434605-1721070716/watcher-4434605-1721070716 -o /tmp/evaluation-result-4434605-1721070716/solver-4434605-1721070716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809918 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434605-1721070716.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=814310, runsolver pid=814307
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.06 4.09 4.09 5/262 814311
/proc/meminfo: memFree=124505384/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=64184 memory=52932 CPUtime=0.09 cores=0,2
/proc/814310/stat : 814310 (fscip) R 814307 814310 809908 0 -1 4194304 11530 0 0 0 8 1 0 0 20 0 1 0 159241323 65724416 13233 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 16046 13233 2654 3032 0 12446 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64184 KiB
Current children cumulated memory: 52932 KiB
[startup+0.205673 s]*
/proc/loadavg: 4.05 4.08 4.09 5/262 814311
/proc/meminfo: memFree=124503284/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=61160 memory=50316 CPUtime=0.2 cores=0,2
/proc/814310/stat : 814310 (fscip) R 814307 814310 809908 0 -1 4194304 12057 0 0 0 19 1 0 0 20 0 1 0 159241323 62627840 12579 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 15290 12579 2702 3032 0 11690 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61160 KiB
Current children cumulated memory: 50316 KiB
[startup+0.305628 s]*
/proc/loadavg: 4.05 4.08 4.09 6/263 814312
/proc/meminfo: memFree=124494408/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=144168 memory=56904 CPUtime=0.3 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 14420 0 0 0 28 2 0 0 20 0 2 0 159241323 147628032 14226 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 36042 14226 2782 3032 0 16090 0
[pid=814310/tid=814312] ppid=814307 vsize=144168 memory=-6730462986925947749 CPUtime=0 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 159241353 147628032 14226 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 144168 KiB
Current children cumulated memory: 56904 KiB
[startup+0.700177 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 814313
/proc/meminfo: memFree=124465540/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=160184 memory=89828 CPUtime=0.67 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 22561 0 0 0 64 3 0 0 20 0 3 0 159241323 164028416 22457 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 40046 22457 2926 3032 0 26620 0
[pid=814310/tid=814312] ppid=814307 vsize=160184 memory=15976 CPUtime=0.37 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 8139 0 0 0 36 1 0 0 20 0 3 0 159241353 164028416 22457 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=160184 memory=257 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159241355 164028416 22457 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 160184 KiB
Current children cumulated memory: 89828 KiB
[startup+1.5002 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 814313
/proc/meminfo: memFree=124438772/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=161208 memory=111580 CPUtime=1.48 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 39346 0 0 0 143 5 0 0 20 0 3 0 159241323 165076992 27895 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 40302 27895 2942 3032 0 32643 0
[pid=814310/tid=814312] ppid=814307 vsize=161208 memory=257 CPUtime=1.16 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 24924 0 0 0 114 2 0 0 20 0 3 0 159241353 165076992 27895 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=161208 memory=0 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159241355 165076992 27895 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 161208 KiB
Current children cumulated memory: 111580 KiB
[startup+3.10512 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 814313
/proc/meminfo: memFree=124442076/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=161208 memory=111984 CPUtime=3.08 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 40395 0 0 0 303 5 0 0 20 0 3 0 159241323 165076992 27996 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 40302 27996 2942 3032 0 32643 0
[pid=814310/tid=814312] ppid=814307 vsize=161208 memory=0 CPUtime=2.76 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 25946 0 0 0 274 2 0 0 20 0 3 0 159241353 165076992 27996 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=161208 memory=0 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 159241355 165076992 27996 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 161208 KiB
Current children cumulated memory: 111984 KiB
[startup+6.30018 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 814313
/proc/meminfo: memFree=124416344/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=226744 memory=137784 CPUtime=6.25 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 59015 0 0 0 619 6 0 0 20 0 3 0 159241323 232185856 34446 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 56686 34446 2942 3032 0 39106 0
[pid=814310/tid=814312] ppid=814307 vsize=226744 memory=0 CPUtime=5.95 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 44535 0 0 0 591 4 0 0 20 0 3 0 159241353 232185856 34446 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=226744 memory=-6730462986925947749 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 159241355 232185856 34446 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 226744 KiB
Current children cumulated memory: 137784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 814315
/proc/meminfo: memFree=124414860/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=226744 memory=139116 CPUtime=12.64 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 77380 0 0 0 1256 8 0 0 20 0 3 0 159241323 232185856 34779 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 56686 34779 2990 3032 0 39378 0
[pid=814310/tid=814312] ppid=814307 vsize=226744 memory=-6730462986925947749 CPUtime=12.32 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 62839 0 0 0 1227 5 0 0 20 0 3 0 159241353 232185856 34779 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=226744 memory=139116 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 159241355 232185856 34779 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226744 KiB
Current children cumulated memory: 139116 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 814317
/proc/meminfo: memFree=124416264/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=226744 memory=140684 CPUtime=25.39 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 121726 0 0 0 2528 11 0 0 20 0 3 0 159241323 232185856 35171 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 56686 35171 2990 3032 0 39770 0
[pid=814310/tid=814312] ppid=814307 vsize=226744 memory=140588 CPUtime=25.09 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 107086 0 0 0 2500 9 0 0 20 0 3 0 159241353 232185856 35171 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=226744 memory=5492 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 159241355 232185856 35171 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 226744 KiB
Current children cumulated memory: 140684 KiB
[startup+51.1048 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 814321
/proc/meminfo: memFree=124406744/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=226744 memory=147552 CPUtime=50.91 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 154615 0 0 0 5077 14 0 0 20 0 3 0 159241323 232185856 36888 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 56686 36888 2990 3032 0 47043 0
[pid=814310/tid=814312] ppid=814307 vsize=226744 memory=146512 CPUtime=50.6 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 139885 0 0 0 5048 12 0 0 20 0 3 0 159241353 232185856 36888 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=226744 memory=12316 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 159241355 232185856 36888 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 226744 KiB
Current children cumulated memory: 147552 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 814330
/proc/meminfo: memFree=124374900/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=292280 memory=173196 CPUtime=101.94 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 196450 0 0 0 10176 18 0 0 20 0 3 0 159241323 299294720 43299 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 73070 43299 2990 3032 0 57470 0
[pid=814310/tid=814312] ppid=814307 vsize=292280 memory=170588 CPUtime=101.63 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 181580 0 0 0 10147 16 0 0 20 0 3 0 159241353 299294720 43299 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=292280 memory=168420 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 159241355 299294720 43299 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 292280 KiB
Current children cumulated memory: 173196 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/264 814341
/proc/meminfo: memFree=124319308/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=359840 memory=217240 CPUtime=161.74 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 242963 0 0 0 16151 23 0 0 20 0 3 0 159241323 368476160 54310 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 89960 54310 2990 3032 0 72728 0
[pid=814310/tid=814312] ppid=814307 vsize=359840 memory=197692 CPUtime=161.42 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 228006 0 0 0 16122 20 0 0 20 0 3 0 159241353 368476160 54310 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=359840 memory=212400 CPUtime=0 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 159241355 368476160 54310 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 359840 KiB
Current children cumulated memory: 217240 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 814351
/proc/meminfo: memFree=124247200/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=362672 memory=279320 CPUtime=221.52 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 267890 0 0 0 22127 25 0 0 20 0 3 0 159241323 371376128 69830 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 90668 69830 2990 3032 0 82242 0
[pid=814310/tid=814312] ppid=814307 vsize=362672 memory=232692 CPUtime=221.21 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 252908 0 0 0 22098 23 0 0 20 0 3 0 159241353 371376128 69830 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
################
# More data... #
################
/proc/814310/statm: 143656 130809 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=40760 CPUtime=3390.35 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 618640 0 0 0 338957 78 0 0 20 0 3 0 159241353 588414976 130809 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=615080 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 130809 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3390.84 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 523236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 817838
/proc/meminfo: memFree=124450696/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=524732 CPUtime=3450.66 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 636860 0 0 0 344980 86 0 0 20 0 3 0 159241323 588414976 131183 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131183 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=40760 CPUtime=3450.15 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 620838 0 0 0 344937 78 0 0 20 0 3 0 159241353 588414976 131183 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=524616 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131183 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3450.66 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 524732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 817854
/proc/meminfo: memFree=124447428/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=524844 CPUtime=3510.47 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 638944 0 0 0 350960 87 0 0 20 0 3 0 159241323 588414976 131211 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131211 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=524616 CPUtime=3509.96 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 622921 0 0 0 350917 79 0 0 20 0 3 0 159241353 588414976 131211 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=524784 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131211 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3510.47 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 524844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 817864
/proc/meminfo: memFree=124445216/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3570.27 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 642872 0 0 0 356940 87 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=525284 CPUtime=3569.77 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 626828 0 0 0 356897 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=12312 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3570.27 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
[startup+3600.1 s]
# the end of solver process 814310 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.14 s, system=0.886718 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.09 5/266 817864
/proc/meminfo: memFree=124445244/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3571.98 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 642874 0 0 0 357110 88 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=6720659956737391467 CPUtime=3571.47 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 626830 0 0 0 357067 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=-4421386513394000998 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 817865
/proc/meminfo: memFree=124445328/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3578.35 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 643132 0 0 0 357747 88 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=12316 CPUtime=3577.85 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 627088 0 0 0 357705 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=525284 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3578.35 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 817865
/proc/meminfo: memFree=124445328/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3584.73 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 643299 0 0 0 358385 88 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=525284 CPUtime=3584.23 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 627237 0 0 0 358343 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=525284 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3584.73 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 817867
/proc/meminfo: memFree=124445300/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3586.33 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 643303 0 0 0 358545 88 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=40760 CPUtime=3585.82 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 627241 0 0 0 358502 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=12312 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
[startup+3599.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 817867
/proc/meminfo: memFree=124445300/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3587.13 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 643311 0 0 0 358625 88 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=40760 CPUtime=3586.62 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 627249 0 0 0 358582 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=525452 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3587.13 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
[startup+3599.6 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 817867
/proc/meminfo: memFree=124445300/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3587.52 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 643311 0 0 0 358664 88 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=3296 CPUtime=3587.02 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 627249 0 0 0 358622 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=6720667627582405480 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 817867
/proc/meminfo: memFree=124445300/131524600 swapFree=131071996/131071996
[pid=814310] ppid=814307 vsize=574624 memory=525452 CPUtime=3587.93 cores=0,2
/proc/814310/stat : 814310 (fscip) S 814307 814310 809908 0 -1 1077936128 643311 0 0 0 358705 88 0 0 20 0 3 0 159241323 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
/proc/814310/statm: 143656 131363 2990 3032 0 134918 0
[pid=814310/tid=814312] ppid=814307 vsize=574624 memory=6720659956737391467 CPUtime=3587.42 cores=0,2
/proc/814310/task/814312/stat : 814312 (fscip) R 814307 814310 809908 0 -1 4194368 627249 0 0 0 358662 80 0 0 20 0 3 0 159241353 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
[pid=814310/tid=814313] ppid=814307 vsize=574624 memory=-4421386513394000998 CPUtime=0.02 cores=0,2
/proc/814310/task/814313/stat : 814313 (fscip) S 814307 814310 809908 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 159241355 588414976 131363 134679101440 4194304 16613245 140730749371840 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54788096 140730749375509 140730749375625 140730749375625 140730749382640 0
Current children cumulated CPU time: 3587.93 s
Current children cumulated vsize: 574624 KiB
Current children cumulated memory: 525452 KiB
Child status: 0
Real time (s): 3600.1
CPU time (s): 3588.03
CPU user time (s): 3587.14
CPU system time (s): 0.886718
CPU usage (%): 99.6647
Max. virtual memory (cumulated for all children) (KiB): 574624
Max. memory (cumulated for all children) (KiB): 525452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.14
system time used= 0.886718
maximum resident set size= 525452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644504
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= 10239
involuntary context switches= 25334
# summary of solver processes directly reported to runsolver:
# pid: 814310
# total CPU time (s): 3588.03
# total CPU user time (s): 3587.14
# total CPU system time (s): 0.886718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81733 second user time and 15.8119 second system time
The end
Begin job on nodeC033 at 2024-07-15 21:12:08
IDJOB=4434605
IDBENCH=147102
IDSOLVER=3064
FILE ID=nodeC033/4434605-1721070716
RUNJOBID= nodeC033-1721064102-809918
SLURM_JOB_ID= 7505520
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434605-1721070716/watcher-4434605-1721070716 -o /tmp/evaluation-result-4434605-1721070716/solver-4434605-1721070716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809918 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434605-1721070716.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 58d046e1e41ee9602d09224f38506b42
RANDOM SEED=348767020
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.542
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.075
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.998
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.108
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.938
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124544216 kB
MemAvailable: 127540896 kB
Buffers: 389868 kB
Cached: 3412144 kB
SwapCached: 0 kB
Active: 641096 kB
Inactive: 5677792 kB
Active(anon): 1564 kB
Inactive(anon): 2552748 kB
Active(file): 639532 kB
Inactive(file): 3125044 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29008 kB
Writeback: 16 kB
AnonPages: 2511116 kB
Mapped: 140644 kB
Shmem: 37716 kB
KReclaimable: 143504 kB
Slab: 253688 kB
SReclaimable: 143504 kB
SUnreclaim: 110184 kB
KernelStack: 4236 kB
PageTables: 14748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1562732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2129920 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 256724 kB
DirectMap2M: 25731072 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-15 22:12:08