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.09/0.20 c Default LC presolving (default).
0.09/0.20 c ** Before presolving: virtualMemUsedAtLc = 163732533, getVmSize() = 117104640, SCIPgetMemUsed() = 83029789, SCIPgetMemTotal() = 89762837, SCIPgetMemExternEstim() = 73969696
0.09/0.20 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
2.68/2.79 c ** Estimated virtualMemUsedAtSolver = 149440188, getVmSize() = 191668224, SCIPgetMemUsed() = 112981474, SCIPgetMemTotal() = 150190586, SCIPgetMemExternEstim() = 73969696
2.68/2.79 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.68/2.79 c Original Problem :
2.68/2.79 c Problem name : instance-4442900-1721300958
2.68/2.79 c Variables : 2750 (2750 binary, 0 integer, 0 implicit integer, 0 continuous)
2.68/2.79 c Constraints : 74305
2.68/2.79 c Objective sense : minimize
2.68/2.79 c Presolved Problem :
2.68/2.79 c Variables : 2750 (2750 binary, 0 integer, 0 implicit integer, 0 continuous)
2.68/2.79 c Constraints : 74408
2.68/2.79 c Constraints : Number
2.68/2.79 c setppc : 74353
2.68/2.79 c logicor : 55
2.68/2.79 c ** Instance transfer method used: 0
2.78/2.90 c ** ParaScipInstance copy does not increase the number of variables. **
2.88/2.98 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.88/2.98 c Nodes Active
2.88/2.98 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
21.09/21.36 c 21 2 1 1 - 0.0000 -
27.26/27.50 c 28 20 19 1 - 0.0000 -
32.94/33.26 c 33 29 28 1 - 0.0000 -
39.43/39.70 c 40 38 37 1 - 0.0000 -
45.11/45.46 c 45 103 96 1 - 0.0000 -
50.29/50.60 c 51 178 159 1 - 0.0000 -
55.98/56.33 c 56 288 237 1 - 0.0000 -
61.07/61.45 c 61 504 280 1 - 0.0000 -
66.54/66.96 c 67 719 306 1 - 0.0000 -
71.64/72.02 c 72 944 292 1 - 0.0000 -
77.01/77.48 c 77 1124 329 1 - 0.0000 -
82.40/82.87 c 83 1322 391 1 - 0.0000 -
87.79/88.24 c 88 1417 414 1 - 0.0000 -
93.37/93.85 c 94 1511 430 1 - 0.0000 -
98.76/99.27 c 99 1634 449 1 - 0.0000 -
104.55/105.02 c 105 1738 465 1 - 0.0000 -
110.73/111.26 c 111 1857 492 1 - 0.0000 -
116.31/116.88 c 117 1951 512 1 - 0.0000 -
121.50/122.05 c 122 2065 524 1 - 0.0000 -
126.78/127.32 c 127 2163 530 1 - 0.0000 -
132.57/133.19 c 133 2290 545 1 - 0.0000 -
137.65/138.20 c 138 2402 548 1 - 0.0000 -
143.63/144.21 c 144 2602 554 1 - 0.0000 -
148.72/149.39 c 149 2708 562 1 - 0.0000 -
154.11/154.78 c 155 2846 576 1 - 0.0000 -
159.50/160.19 c 160 2971 587 1 - 0.0000 -
164.88/165.50 c 166 3083 601 1 - 0.0000 -
170.67/171.36 c 171 3200 608 1 - 0.0000 -
175.76/176.44 c 176 3446 620 1 - 0.0000 -
180.74/181.49 c 182 3690 624 1 - 0.0000 -
186.83/187.57 c 188 3874 623 1 - 0.0000 -
192.71/193.41 c 193 4021 650 1 - 0.0000 -
198.09/198.84 c 199 4159 678 1 - 0.0000 -
203.58/204.38 c 204 4230 687 1 - 0.0000 -
208.66/209.43 c 209 4324 703 1 - 0.0000 -
213.95/214.77 c 215 4432 717 1 - 0.0000 -
220.03/220.88 c 221 4594 733 1 - 0.0000 -
225.71/226.52 c 227 4706 741 1 - 0.0000 -
231.00/231.89 c 232 4810 743 1 - 0.0000 -
236.29/237.13 c 237 4932 757 1 - 0.0000 -
241.58/242.48 c 242 5061 778 1 - 0.0000 -
247.35/248.23 c 248 5208 789 1 - 0.0000 -
253.44/254.40 c 254 5365 808 1 - 0.0000 -
259.23/260.11 c 260 5530 811 1 - 0.0000 -
264.30/265.20 c 265 5740 823 1 - 0.0000 -
270.20/271.17 c 271 5855 830 1 - 0.0000 -
275.28/276.24 c 276 6086 837 1 - 0.0000 -
280.37/281.31 c 281 6294 847 1 - 0.0000 -
285.35/286.36 c 286 6539 868 1 - 0.0000 -
290.43/291.42 c 291 6814 891 1 - 0.0000 -
295.51/296.50 c 296 7108 890 1 - 0.0000 -
300.80/301.85 c 302 7291 901 1 - 0.0000 -
305.89/306.97 c 307 7517 936 1 - 0.0000 -
311.27/312.37 c 312 7731 955 1 - 0.0000 -
317.15/318.23 c 318 7948 959 1 - 0.0000 -
322.83/323.91 c 324 8127 1018 1 - 0.0000 -
327.82/328.96 c 329 8243 1022 1 - 0.0000 -
333.10/334.25 c 334 8369 1058 1 - 0.0000 -
338.49/339.65 c 340 8436 1069 1 - 0.0000 -
343.98/345.15 c 345 8569 1098 1 - 0.0000 -
349.46/350.62 c 351 8669 1116 1 - 0.0000 -
355.14/356.30 c 356 8814 1129 1 - 0.0000 -
360.22/361.47 c 361 8924 1131 1 - 0.0000 -
365.41/366.65 c 367 9022 1136 1 - 0.0000 -
370.80/372.08 c 372 9149 1137 1 - 0.0000 -
376.88/378.17 c 378 9302 1165 1 - 0.0000 -
382.37/383.63 c 384 9427 1209 1 - 0.0000 -
387.95/389.22 c 389 9596 1255 1 - 0.0000 -
393.03/394.32 c 394 9842 1315 1 - 0.0000 -
398.22/399.53 c 400 10074 1345 1 - 0.0000 -
403.60/404.99 c 405 10306 1366 1 - 0.0000 -
409.09/410.45 c 410 10509 1387 1 - 0.0000 -
414.18/415.56 c 416 10740 1417 1 - 0.0000 -
419.47/420.81 c 421 10981 1454 1 - 0.0000 -
424.55/425.91 c 426 11250 1483 1 - 0.0000 -
429.64/431.01 c 431 11539 1542 1 - 0.0000 -
434.63/436.06 c 436 11876 1548 1 - 0.0000 -
439.71/441.13 c 441 12180 1536 1 - 0.0000 -
444.99/446.46 c 446 12290 1566 1 - 0.0000 -
450.38/451.85 c 452 12384 1574 1 - 0.0000 -
455.57/457.08 c 457 12488 1594 1 - 0.0000 -
461.06/462.57 c 463 12602 1600 1 - 0.0000 -
466.34/467.88 c 468 12710 1622 1 - 0.0000 -
471.72/473.22 c 473 12838 1640 1 - 0.0000 -
477.52/479.00 c 479 13005 1671 1 - 0.0000 -
483.40/484.93 c 485 13139 1679 1 - 0.0000 -
488.59/490.19 c 490 13249 1689 1 - 0.0000 -
494.27/495.86 c 496 13474 1701 1 - 0.0000 -
499.36/500.96 c 501 13684 1710 1 - 0.0000 -
505.45/507.00 c 507 13948 1707 1 - 0.0000 -
510.54/512.18 c 512 14175 1713 1 - 0.0000 -
515.62/517.25 c 517 14489 1745 1 - 0.0000 -
520.71/522.33 c 522 14816 1772 1 - 0.0000 -
526.19/527.89 c 528 15045 1763 1 - 0.0000 -
531.68/533.37 c 533 15227 1771 1 - 0.0000 -
537.47/539.12 c 539 15498 1777 1 - 0.0000 -
543.15/544.87 c 545 15729 1775 1 - 0.0000 -
548.23/549.97 c 550 15966 1782 1 - 0.0000 -
553.32/555.03 c 555 16271 1785 1 - 0.0000 -
558.41/560.11 c 560 16558 1796 1 - 0.0000 -
563.40/565.17 c 565 16876 1819 1 - 0.0000 -
568.48/570.23 c 570 17196 1820 1 - 0.0000 -
573.57/575.31 c 575 17502 1819 1 - 0.0000 -
578.55/580.37 c 580 17771 1814 1 - 0.0000 -
583.95/585.70 c 586 18034 1812 1 - 0.0000 -
588.93/590.75 c 591 18312 1816 1 - 0.0000 -
594.02/595.83 c 596 18611 1827 1 - 0.0000 -
599.40/601.28 c 601 18895 1832 1 - 0.0000 -
605.19/607.10 c 607 19083 1836 1 - 0.0000 -
610.28/612.18 c 612 19379 1848 1 - 0.0000 -
615.37/617.26 c 617 19686 1844 1 - 0.0000 -
621.75/623.60 c 624 19962 1849 1 - 0.0000 -
627.33/629.22 c 629 20216 1848 1 - 0.0000 -
632.32/634.28 c 634 20504 1856 1 - 0.0000 -
637.41/639.37 c 639 20827 1877 1 - 0.0000 -
642.59/644.53 c 645 21133 1871 1 - 0.0000 -
647.68/649.63 c 650 21430 1870 1 - 0.0000 -
652.76/654.70 c 655 21723 1882 1 - 0.0000 -
658.06/660.03 c 660 22006 1889 1 - 0.0000 -
663.64/665.63 c 666 22126 1895 1 - 0.0000 -
669.53/671.53 c 672 22242 1899 1 - 0.0000 -
674.82/676.83 c 677 22474 1909 1 - 0.0000 -
679.90/681.99 c 682 22616 1908 1 - 0.0000 -
684.99/687.08 c 687 22930 1913 1 - 0.0000 -
690.08/692.14 c 692 23203 1913 1 - 0.0000 -
695.46/697.58 c 698 23332 1920 1 - 0.0000 -
700.55/702.66 c 703 23580 1925 1 - 0.0000 -
705.64/707.74 c 708 23839 1928 1 - 0.0000 -
710.72/712.81 c 713 24129 1942 1 - 0.0000 -
715.71/717.88 c 718 24414 1941 1 - 0.0000 -
720.80/722.97 c 723 24647 1937 1 - 0.0000 -
725.88/728.03 c 728 24949 1938 1 - 0.0000 -
730.98/733.15 c 733 25226 1951 1 - 0.0000 -
736.06/738.25 c 738 25529 1976 1 - 0.0000 -
742.04/744.20 c 744 25752 1961 1 - 0.0000 -
747.33/749.56 c 750 26008 1960 1 - 0.0000 -
752.41/754.65 c 755 26318 1962 1 - 0.0000 -
757.50/759.78 c 760 26614 1966 1 - 0.0000 -
762.58/764.83 c 765 26937 1969 1 - 0.0000 -
767.68/769.90 c 770 27233 1967 1 - 0.0000 -
772.67/774.97 c 775 27540 1970 1 - 0.0000 -
777.76/780.05 c 780 27850 1965 1 - 0.0000 -
782.84/785.10 c 785 28154 1970 1 - 0.0000 -
787.83/790.16 c 790 28449 1971 1 - 0.0000 -
792.91/795.24 c 795 28741 1972 1 - 0.0000 -
798.29/800.63 c 801 29018 1977 1 - 0.0000 -
803.59/805.98 c 806 29125 2024 1 - 0.0000 -
809.07/811.40 c 811 29235 2036 1 - 0.0000 -
814.16/816.58 c 817 29343 2044 1 - 0.0000 -
819.66/822.04 c 822 29462 2061 1 - 0.0000 -
825.53/827.97 c 828 29637 2082 1 - 0.0000 -
830.62/833.06 c 833 29924 2109 1 - 0.0000 -
835.72/838.12 c 838 30247 2138 1 - 0.0000 -
840.79/843.25 c 843 30555 2130 1 - 0.0000 -
845.98/848.42 c 848 30865 2130 1 - 0.0000 -
851.37/853.87 c 854 31058 2162 1 - 0.0000 -
856.75/859.21 c 859 31219 2179 1 - 0.0000 -
862.24/864.74 c 865 31316 2192 1 - 0.0000 -
868.72/871.26 c 871 31456 2194 1 - 0.0000 -
874.02/876.59 c 877 31573 2199 1 - 0.0000 -
879.70/882.23 c 882 31703 2213 1 - 0.0000 -
884.69/887.28 c 887 31830 2218 1 - 0.0000 -
890.28/892.85 c 893 31950 2224 1 - 0.0000 -
896.36/898.97 c 899 32113 2233 1 - 0.0000 -
901.75/904.33 c 904 32226 2236 1 - 0.0000 -
907.64/910.22 c 910 32377 2237 1 - 0.0000 -
913.62/916.20 c 916 32525 2241 1 - 0.0000 -
919.21/921.88 c 922 32680 2244 1 - 0.0000 -
925.09/927.71 c 928 32857 2247 1 - 0.0000 -
930.87/933.53 c 934 33008 2248 1 - 0.0000 -
936.47/939.10 c 939 33222 2256 1 - 0.0000 -
941.56/944.26 c 944 33422 2258 1 - 0.0000 -
947.04/949.79 c 950 33532 2260 1 - 0.0000 -
952.33/955.02 c 955 33698 2264 1 - 0.0000 -
958.01/960.73 c 961 33893 2273 1 - 0.0000 -
963.09/965.88 c 966 34148 2280 1 - 0.0000 -
968.48/971.23 c 971 34341 2288 1 - 0.0000 -
974.16/976.90 c 977 34512 2299 1 - 0.0000 -
979.26/982.03 c 982 34731 2322 1 - 0.0000 -
984.35/987.14 c 987 35021 2344 1 - 0.0000 -
989.43/992.21 c 992 35298 2361 1 - 0.0000 -
994.41/997.29 c 997 35564 2385 1 - 0.0000 -
999.50/1002.35 c 1002 35853 2396 1 - 0.0000 -
1004.59/1007.42 c 1007 36134 2409 1 - 0.0000 -
1009.58/1012.49 c 1012 36435 2418 1 - 0.0000 -
1014.66/1017.54 c 1018 36734 2434 1 - 0.0000 -
1019.75/1022.62 c 1023 37042 2446 1 - 0.0000 -
1025.24/1028.16 c 1028 37303 2477 1 - 0.0000 -
1030.32/1033.22 c 1033 37628 2499 1 - 0.0000 -
1035.41/1038.31 c 1038 37918 2511 1 - 0.0000 -
1040.40/1043.38 c 1043 38175 2515 1 - 0.0000 -
1045.98/1048.90 c 1049 38344 2524 1 - 0.0000 -
1051.08/1054.02 c 1054 38618 2534 1 - 0.0000 -
1056.16/1059.13 c 1059 38907 2544 1 - 0.0000 -
1061.24/1064.20 c 1064 39195 2580 1 - 0.0000 -
1066.33/1069.34 c 1069 39425 2576 1 - 0.0000 -
1071.71/1074.78 c 1075 39682 2596 1 - 0.0000 -
1076.81/1079.85 c 1080 39994 2614 1 - 0.0000 -
1081.89/1084.98 c 1085 40285 2623 1 - 0.0000 -
1086.98/1090.04 c 1090 40503 2629 1 - 0.0000 -
1092.46/1095.58 c 1096 40759 2633 1 - 0.0000 -
1097.55/1100.65 c 1101 41017 2638 1 - 0.0000 -
1102.63/1105.71 c 1106 41313 2639 1 - 0.0000 -
1107.73/1110.81 c 1111 41611 2642 1 - 0.0000 -
1112.71/1115.88 c 1116 41908 2659 1 - 0.0000 -
1117.80/1120.94 c 1121 42217 2648 1 - 0.0000 -
1122.89/1126.04 c 1126 42494 2687 1 - 0.0000 -
1127.98/1131.12 c 1131 42696 2704 1 - 0.0000 -
1133.06/1136.21 c 1136 42971 2707 1 - 0.0000 -
1138.74/1141.91 c 1142 43244 2716 1 - 0.0000 -
1144.03/1147.28 c 1147 43444 2718 1 - 0.0000 -
1149.82/1153.04 c 1153 43676 2718 1 - 0.0000 -
1154.91/1158.11 c 1158 43967 2717 1 - 0.0000 -
1159.90/1163.19 c 1163 44245 2719 1 - 0.0000 -
1166.17/1169.47 c 1169 44497 2721 1 - 0.0000 -
1171.46/1174.71 c 1175 44733 2727 1 - 0.0000 -
1176.44/1179.79 c 1180 45007 2731 1 - 0.0000 -
1181.54/1184.87 c 1185 45280 2736 1 - 0.0000 -
1186.73/1190.08 c 1190 45531 2779 1 - 0.0000 -
1192.41/1195.78 c 1196 45776 2788 1 - 0.0000 -
1197.50/1200.87 c 1201 46060 2796 1 - 0.0000 -
1202.69/1206.00 c 1206 46325 2811 1 - 0.0000 -
1207.68/1211.08 c 1211 46621 2829 1 - 0.0000 -
1212.77/1216.20 c 1216 46922 2842 1 - 0.0000 -
1217.85/1221.26 c 1221 47249 2857 1 - 0.0000 -
1222.93/1226.32 c 1226 47555 2847 1 - 0.0000 -
1228.02/1231.40 c 1231 47851 2852 1 - 0.0000 -
1233.01/1236.48 c 1236 48169 2858 1 - 0.0000 -
1238.09/1241.54 c 1242 48432 2863 1 - 0.0000 -
1243.18/1246.64 c 1247 48696 2865 1 - 0.0000 -
1248.86/1252.31 c 1252 48941 2869 1 - 0.0000 -
1254.05/1257.58 c 1258 49231 2868 1 - 0.0000 -
1259.14/1262.69 c 1263 49501 2878 1 - 0.0000 -
1264.33/1267.80 c 1268 49808 2891 1 - 0.0000 -
1269.41/1272.91 c 1273 50116 2891 1 - 0.0000 -
1274.40/1277.97 c 1278 50428 2925 1 - 0.0000 -
1279.88/1283.46 c 1283 50684 2937 1 - 0.0000 -
1284.98/1288.51 c 1289 50968 2941 1 - 0.0000 -
1290.06/1293.62 c 1294 51264 2941 1 - 0.0000 -
1295.15/1298.70 c 1299 51566 2941 1 - 0.0000 -
1300.33/1303.95 c 1304 51866 2939 1 - 0.0000 -
1305.43/1309.04 c 1309 52170 2946 1 - 0.0000 -
1310.51/1314.15 c 1314 52464 2953 1 - 0.0000 -
1315.59/1319.25 c 1319 52760 2958 1 - 0.0000 -
1320.68/1324.34 c 1324 53060 2965 1 - 0.0000 -
1325.77/1329.42 c 1329 53363 2971 1 - 0.0000 -
1330.85/1334.50 c 1335 53664 2966 1 - 0.0000 -
1335.84/1339.58 c 1340 53965 2965 1 - 0.0000 -
1341.02/1344.77 c 1345 54267 2975 1 - 0.0000 -
1346.12/1349.85 c 1350 54587 3000 1 - 0.0000 -
1351.20/1354.91 c 1355 54895 3007 1 - 0.0000 -
1356.18/1359.96 c 1360 55226 3023 1 - 0.0000 -
1361.27/1365.03 c 1365 55544 3027 1 - 0.0000 -
1366.37/1370.10 c 1370 55849 3044 1 - 0.0000 -
1371.35/1375.18 c 1375 56161 3045 1 - 0.0000 -
1376.43/1380.24 c 1380 56472 3043 1 - 0.0000 -
1381.51/1385.33 c 1385 56790 3047 1 - 0.0000 -
1386.60/1390.40 c 1390 57113 3049 1 - 0.0000 -
1391.59/1395.46 c 1395 57418 3049 1 - 0.0000 -
1396.68/1400.53 c 1401 57730 3049 1 - 0.0000 -
1401.77/1405.60 c 1406 58023 3058 1 - 0.0000 -
1406.85/1410.70 c 1411 58336 3067 1 - 0.0000 -
1411.84/1415.78 c 1416 58676 3085 1 - 0.0000 -
1416.92/1420.86 c 1421 59004 3100 1 - 0.0000 -
1422.02/1425.92 c 1426 59345 3115 1 - 0.0000 -
1427.00/1430.98 c 1431 59683 3113 1 - 0.0000 -
1432.09/1436.07 c 1436 60047 3117 1 - 0.0000 -
1437.18/1441.12 c 1441 60374 3117 1 - 0.0000 -
1442.16/1446.18 c 1446 60707 3124 1 - 0.0000 -
1447.84/1451.81 c 1452 60979 3128 1 - 0.0000 -
1454.04/1458.02 c 1458 61145 3132 1 - 0.0000 -
1459.32/1463.31 c 1463 61276 3135 1 - 0.0000 -
1465.80/1469.89 c 1470 61402 3139 1 - 0.0000 -
1471.09/1475.17 c 1475 61530 3145 1 - 0.0000 -
1476.38/1480.45 c 1480 61655 3148 1 - 0.0000 -
1481.46/1485.51 c 1486 61744 3149 1 - 0.0000 -
1487.05/1491.12 c 1491 61932 3155 1 - 0.0000 -
1492.04/1496.15 c 1496 62047 3156 1 - 0.0000 -
1497.73/1501.83 c 1502 62202 3169 1 - 0.0000 -
1503.02/1507.12 c 1507 62311 3182 1 - 0.0000 -
1508.70/1512.85 c 1513 62501 3206 1 - 0.0000 -
1513.89/1518.04 c 1518 62637 3214 1 - 0.0000 -
1519.17/1523.32 c 1523 62836 3215 1 - 0.0000 -
1524.56/1528.70 c 1529 63039 3215 1 - 0.0000 -
1529.54/1533.78 c 1534 63326 3222 1 - 0.0000 -
1534.63/1538.85 c 1539 63621 3222 1 - 0.0000 -
1539.72/1543.93 c 1544 63914 3222 1 - 0.0000 -
1544.81/1549.01 c 1549 64204 3227 1 - 0.0000 -
1549.80/1554.06 c 1554 64506 3237 1 - 0.0000 -
1554.88/1559.14 c 1559 64814 3242 1 - 0.0000 -
1559.97/1564.25 c 1564 65120 3252 1 - 0.0000 -
1565.05/1569.35 c 1569 65386 3249 1 - 0.0000 -
1570.14/1574.44 c 1574 65676 3248 1 - 0.0000 -
1575.22/1579.56 c 1580 65984 3254 1 - 0.0000 -
1580.31/1584.65 c 1585 66267 3266 1 - 0.0000 -
1585.40/1589.71 c 1590 66571 3266 1 - 0.0000 -
1590.39/1594.76 c 1595 66884 3270 1 - 0.0000 -
1595.77/1600.18 c 1600 67117 3283 1 - 0.0000 -
1601.66/1606.04 c 1606 67273 3283 1 - 0.0000 -
1607.25/1611.61 c 1612 67447 3291 1 - 0.0000 -
1612.33/1616.76 c 1617 67678 3298 1 - 0.0000 -
1617.92/1622.38 c 1622 67827 3305 1 - 0.0000 -
1623.00/1627.46 c 1627 68065 3314 1 - 0.0000 -
1628.29/1632.75 c 1633 68347 3309 1 - 0.0000 -
1633.38/1637.83 c 1638 68646 3325 1 - 0.0000 -
1638.67/1643.18 c 1643 68932 3331 1 - 0.0000 -
1644.65/1649.14 c 1649 69076 3337 1 - 0.0000 -
1650.43/1654.99 c 1655 69235 3344 1 - 0.0000 -
1656.03/1660.55 c 1661 69383 3353 1 - 0.0000 -
1661.32/1665.87 c 1666 69494 3356 1 - 0.0000 -
1666.61/1671.14 c 1671 69611 3361 1 - 0.0000 -
1671.99/1676.57 c 1677 69778 3362 1 - 0.0000 -
1677.48/1682.01 c 1682 69917 3363 1 - 0.0000 -
1683.16/1687.72 c 1688 70075 3363 1 - 0.0000 -
1688.25/1692.81 c 1693 70242 3364 1 - 0.0000 -
1693.74/1698.36 c 1698 70494 3385 1 - 0.0000 -
1698.82/1703.41 c 1703 70789 3391 1 - 0.0000 -
1703.91/1708.52 c 1709 71069 3393 1 - 0.0000 -
1708.99/1713.65 c 1714 71354 3398 1 - 0.0000 -
1714.08/1718.75 c 1719 71657 3405 1 - 0.0000 -
1719.16/1723.82 c 1724 71975 3411 1 - 0.0000 -
1724.26/1728.97 c 1729 72299 3421 1 - 0.0000 -
1729.34/1734.05 c 1734 72594 3424 1 - 0.0000 -
1734.43/1739.16 c 1739 72911 3427 1 - 0.0000 -
1739.52/1744.21 c 1744 73228 3434 1 - 0.0000 -
1744.60/1749.32 c 1749 73545 3436 1 - 0.0000 -
1749.59/1754.37 c 1754 73856 3447 1 - 0.0000 -
1754.67/1759.47 c 1759 74171 3443 1 - 0.0000 -
1759.77/1764.54 c 1765 74477 3443 1 - 0.0000 -
1764.85/1769.62 c 1770 74781 3440 1 - 0.0000 -
1769.94/1774.71 c 1775 75086 3434 1 - 0.0000 -
1774.93/1779.78 c 1780 75396 3436 1 - 0.0000 -
1780.11/1784.93 c 1785 75708 3443 1 - 0.0000 -
1785.20/1790.03 c 1790 76023 3452 1 - 0.0000 -
1790.29/1795.13 c 1795 76336 3454 1 - 0.0000 -
1795.28/1800.19 c 1800 76672 3456 1 - 0.0000 -
1800.36/1805.25 c 1805 76987 3474 1 - 0.0000 -
1805.45/1810.30 c 1810 77300 3485 1 - 0.0000 -
1810.43/1815.39 c 1815 77641 3494 1 - 0.0000 -
1815.52/1820.48 c 1820 77968 3502 1 - 0.0000 -
1820.61/1825.55 c 1826 78272 3503 1 - 0.0000 -
1825.69/1830.62 c 1831 78548 3515 1 - 0.0000 -
1830.78/1835.72 c 1836 78871 3514 1 - 0.0000 -
1835.77/1840.79 c 1841 79188 3520 1 - 0.0000 -
1840.96/1845.94 c 1846 79496 3544 1 - 0.0000 -
1846.05/1851.02 c 1851 79826 3550 1 - 0.0000 -
1851.13/1856.11 c 1856 80147 3553 1 - 0.0000 -
1856.21/1861.20 c 1861 80474 3553 1 - 0.0000 -
1861.20/1866.29 c 1866 80798 3549 1 - 0.0000 -
1866.39/1871.41 c 1871 81112 3548 1 - 0.0000 -
1871.47/1876.53 c 1877 81424 3551 1 - 0.0000 -
1876.57/1881.60 c 1882 81747 3554 1 - 0.0000 -
1881.65/1886.72 c 1887 82049 3561 1 - 0.0000 -
1886.74/1891.82 c 1892 82360 3554 1 - 0.0000 -
1892.42/1897.52 c 1898 82663 3568 1 - 0.0000 -
1897.41/1902.58 c 1903 82959 3578 1 - 0.0000 -
1902.49/1907.68 c 1908 83268 3585 1 - 0.0000 -
1907.58/1912.74 c 1913 83568 3595 1 - 0.0000 -
1912.67/1917.80 c 1918 83876 3599 1 - 0.0000 -
1917.76/1922.90 c 1923 84199 3621 1 - 0.0000 -
1922.74/1927.95 c 1928 84504 3628 1 - 0.0000 -
1927.83/1933.03 c 1933 84829 3627 1 - 0.0000 -
1932.82/1938.09 c 1938 85143 3632 1 - 0.0000 -
1937.91/1943.19 c 1943 85465 3629 1 - 0.0000 -
1943.10/1948.31 c 1948 85775 3631 1 - 0.0000 -
1948.08/1953.39 c 1953 86082 3626 1 - 0.0000 -
1953.27/1958.50 c 1958 86402 3628 1 - 0.0000 -
1958.25/1963.56 c 1964 86732 3636 1 - 0.0000 -
1963.34/1968.68 c 1969 87051 3627 1 - 0.0000 -
1968.42/1973.74 c 1974 87350 3633 1 - 0.0000 -
1973.52/1978.83 c 1979 87664 3637 1 - 0.0000 -
1978.60/1983.90 c 1984 87985 3646 1 - 0.0000 -
1983.59/1988.97 c 1989 88294 3638 1 - 0.0000 -
1988.68/1994.02 c 1994 88619 3641 1 - 0.0000 -
1993.66/1999.09 c 1999 88940 3646 1 - 0.0000 -
1998.75/2004.15 c 2004 89259 3654 1 - 0.0000 -
2003.83/2009.26 c 2009 89582 3659 1 - 0.0000 -
2008.91/2014.35 c 2014 89905 3666 1 - 0.0000 -
2014.00/2019.46 c 2019 90215 3666 1 - 0.0000 -
2019.09/2024.55 c 2025 90520 3660 1 - 0.0000 -
2024.18/2029.62 c 2030 90827 3660 1 - 0.0000 -
2029.17/2034.68 c 2035 91144 3658 1 - 0.0000 -
2034.35/2039.80 c 2040 91450 3660 1 - 0.0000 -
2039.44/2044.91 c 2045 91749 3673 1 - 0.0000 -
2044.42/2049.97 c 2050 92067 3676 1 - 0.0000 -
2049.51/2055.04 c 2055 92392 3683 1 - 0.0000 -
2054.61/2060.11 c 2060 92725 3685 1 - 0.0000 -
2059.59/2065.17 c 2065 93055 3677 1 - 0.0000 -
2064.68/2070.27 c 2070 93374 3684 1 - 0.0000 -
2069.76/2075.33 c 2075 93677 3678 1 - 0.0000 -
2074.74/2080.38 c 2080 93970 3675 1 - 0.0000 -
2079.83/2085.45 c 2085 94267 3677 1 - 0.0000 -
2084.92/2090.51 c 2091 94581 3678 1 - 0.0000 -
2090.01/2095.60 c 2096 94885 3686 1 - 0.0000 -
2095.09/2100.72 c 2101 95194 3690 1 - 0.0000 -
2100.19/2105.83 c 2106 95491 3689 1 - 0.0000 -
2105.17/2110.89 c 2111 95777 3695 1 - 0.0000 -
2110.76/2116.42 c 2116 96012 3696 1 - 0.0000 -
2116.04/2121.77 c 2122 96132 3698 1 - 0.0000 -
2121.13/2126.83 c 2127 96407 3698 1 - 0.0000 -
2126.22/2131.90 c 2132 96712 3699 1 - 0.0000 -
2131.21/2136.99 c 2137 97029 3696 1 - 0.0000 -
2136.39/2142.13 c 2142 97346 3699 1 - 0.0000 -
2141.47/2147.21 c 2147 97663 3696 1 - 0.0000 -
2146.47/2152.27 c 2152 97974 3691 1 - 0.0000 -
2151.55/2157.34 c 2157 98307 3692 1 - 0.0000 -
2156.64/2162.41 c 2162 98640 3700 1 - 0.0000 -
2161.72/2167.51 c 2168 98961 3685 1 - 0.0000 -
2166.71/2172.58 c 2173 99285 3676 1 - 0.0000 -
2171.79/2177.69 c 2178 99609 3676 1 - 0.0000 -
2176.89/2182.76 c 2183 99933 3684 1 - 0.0000 -
2181.97/2187.83 c 2188 100254 3693 1 - 0.0000 -
2186.96/2192.88 c 2193 100581 3686 1 - 0.0000 -
2192.55/2198.41 c 2198 100891 3683 1 - 0.0000 -
2197.53/2203.46 c 2203 101239 3688 1 - 0.0000 -
2202.62/2208.51 c 2209 101572 3692 1 - 0.0000 -
2207.60/2213.59 c 2214 101904 3692 1 - 0.0000 -
2212.69/2218.65 c 2219 102228 3704 1 - 0.0000 -
2217.78/2223.72 c 2224 102556 3711 1 - 0.0000 -
2222.77/2228.79 c 2229 102889 3711 1 - 0.0000 -
2227.86/2233.86 c 2234 103227 3707 1 - 0.0000 -
2232.94/2238.91 c 2239 103563 3708 1 - 0.0000 -
2238.03/2244.00 c 2244 103902 3714 1 - 0.0000 -
2243.01/2249.06 c 2249 104236 3715 1 - 0.0000 -
2248.10/2254.12 c 2254 104552 3714 1 - 0.0000 -
2253.18/2259.20 c 2259 104868 3710 1 - 0.0000 -
2258.17/2264.27 c 2264 105194 3712 1 - 0.0000 -
2263.25/2269.34 c 2269 105524 3710 1 - 0.0000 -
2268.35/2274.42 c 2274 105844 3719 1 - 0.0000 -
2273.34/2279.49 c 2280 106144 3731 1 - 0.0000 -
2278.42/2284.55 c 2285 106475 3733 1 - 0.0000 -
2283.50/2289.64 c 2290 106796 3739 1 - 0.0000 -
2288.90/2295.01 c 2295 107116 3737 1 - 0.0000 -
2293.89/2300.07 c 2300 107434 3742 1 - 0.0000 -
2298.97/2305.15 c 2305 107754 3736 1 - 0.0000 -
2304.05/2310.23 c 2310 108065 3737 1 - 0.0000 -
2309.64/2315.85 c 2316 108329 3740 1 - 0.0000 -
2314.73/2320.92 c 2321 108654 3741 1 - 0.0000 -
2319.71/2325.99 c 2326 108994 3741 1 - 0.0000 -
2324.80/2331.05 c 2331 109318 3740 1 - 0.0000 -
2329.90/2336.11 c 2336 109640 3734 1 - 0.0000 -
2334.88/2341.19 c 2341 109947 3735 1 - 0.0000 -
2339.97/2346.28 c 2346 110237 3735 1 - 0.0000 -
2345.65/2351.99 c 2352 110521 3724 1 - 0.0000 -
2351.23/2357.53 c 2358 110802 3733 1 - 0.0000 -
2356.42/2362.74 c 2363 110939 3740 1 - 0.0000 -
2361.51/2367.85 c 2368 111238 3743 1 - 0.0000 -
2366.59/2372.90 c 2373 111531 3743 1 - 0.0000 -
2371.99/2378.37 c 2378 111750 3765 1 - 0.0000 -
2377.07/2383.45 c 2383 112053 3760 1 - 0.0000 -
2382.56/2388.95 c 2389 112238 3763 1 - 0.0000 -
2387.65/2394.02 c 2394 112471 3771 1 - 0.0000 -
2392.63/2399.09 c 2399 112787 3767 1 - 0.0000 -
2397.73/2404.19 c 2404 113093 3771 1 - 0.0000 -
2403.10/2409.54 c 2410 113413 3772 1 - 0.0000 -
2408.20/2414.62 c 2415 113608 3779 1 - 0.0000 -
2414.08/2420.50 c 2420 113760 3787 1 - 0.0000 -
2419.36/2425.82 c 2426 113912 3795 1 - 0.0000 -
2424.56/2431.08 c 2431 114047 3802 1 - 0.0000 -
2429.74/2436.23 c 2436 114225 3810 1 - 0.0000 -
2435.22/2441.79 c 2442 114414 3819 1 - 0.0000 -
2440.31/2446.88 c 2447 114616 3831 1 - 0.0000 -
2445.40/2451.93 c 2452 114801 3836 1 - 0.0000 -
2450.49/2457.03 c 2457 115074 3841 1 - 0.0000 -
2455.58/2462.16 c 2462 115292 3847 1 - 0.0000 -
2461.16/2467.70 c 2468 115441 3870 1 - 0.0000 -
2466.35/2472.98 c 2473 115575 3882 1 - 0.0000 -
2471.64/2478.27 c 2478 115735 3884 1 - 0.0000 -
2477.62/2484.29 c 2484 115871 3892 1 - 0.0000 -
2483.31/2489.94 c 2490 116055 3898 1 - 0.0000 -
2489.09/2495.78 c 2496 116150 3903 1 - 0.0000 -
2494.78/2501.46 c 2501 116307 3904 1 - 0.0000 -
2500.48/2507.14 c 2507 116432 3925 1 - 0.0000 -
2506.16/2512.82 c 2513 116590 3935 1 - 0.0000 -
2511.84/2518.55 c 2519 116819 3942 1 - 0.0000 -
2517.22/2523.98 c 2524 116977 3944 1 - 0.0000 -
2522.52/2529.27 c 2529 117212 3953 1 - 0.0000 -
2528.00/2534.79 c 2535 117440 3963 1 - 0.0000 -
2533.29/2540.09 c 2540 117645 3968 1 - 0.0000 -
2538.88/2545.66 c 2546 117830 3969 1 - 0.0000 -
2544.66/2551.46 c 2551 118023 3976 1 - 0.0000 -
2549.95/2556.71 c 2557 118179 3982 1 - 0.0000 -
2555.53/2562.36 c 2562 118395 3986 1 - 0.0000 -
2561.22/2568.06 c 2568 118536 3999 1 - 0.0000 -
2566.31/2573.15 c 2573 118770 4005 1 - 0.0000 -
2572.00/2578.88 c 2579 118946 4015 1 - 0.0000 -
2577.19/2584.02 c 2584 119143 4020 1 - 0.0000 -
2582.37/2589.23 c 2589 119378 4029 1 - 0.0000 -
2587.35/2594.29 c 2594 119651 4045 1 - 0.0000 -
2592.45/2599.36 c 2599 119915 4055 1 - 0.0000 -
2597.53/2604.44 c 2604 120178 4062 1 - 0.0000 -
2602.62/2609.51 c 2610 120384 4070 1 - 0.0000 -
2608.90/2615.83 c 2616 120649 4073 1 - 0.0000 -
2614.39/2621.38 c 2621 120769 4077 1 - 0.0000 -
2620.08/2627.07 c 2627 120956 4082 1 - 0.0000 -
2625.17/2632.14 c 2632 121209 4091 1 - 0.0000 -
2630.55/2637.53 c 2638 121457 4105 1 - 0.0000 -
2635.64/2642.63 c 2643 121727 4123 1 - 0.0000 -
2640.72/2647.73 c 2648 122003 4137 1 - 0.0000 -
2645.81/2652.83 c 2653 122281 4149 1 - 0.0000 -
2650.80/2657.89 c 2658 122543 4164 1 - 0.0000 -
2655.88/2662.99 c 2663 122827 4172 1 - 0.0000 -
2660.98/2668.07 c 2668 123114 4179 1 - 0.0000 -
2666.07/2673.15 c 2673 123392 4189 1 - 0.0000 -
2671.15/2678.22 c 2678 123640 4195 1 - 0.0000 -
2676.13/2683.28 c 2683 123918 4205 1 - 0.0000 -
2681.52/2688.68 c 2689 124144 4211 1 - 0.0000 -
2686.61/2693.75 c 2694 124396 4217 1 - 0.0000 -
2691.70/2698.80 c 2699 124677 4220 1 - 0.0000 -
2696.78/2703.92 c 2704 124906 4221 1 - 0.0000 -
2701.77/2708.99 c 2709 125196 4232 1 - 0.0000 -
2706.86/2714.05 c 2714 125504 4248 1 - 0.0000 -
2711.84/2719.09 c 2719 125819 4249 1 - 0.0000 -
2716.94/2724.18 c 2724 126148 4253 1 - 0.0000 -
2722.02/2729.24 c 2729 126435 4272 1 - 0.0000 -
2727.10/2734.32 c 2734 126729 4296 1 - 0.0000 -
2732.19/2739.40 c 2739 127035 4303 1 - 0.0000 -
2737.17/2744.45 c 2744 127351 4309 1 - 0.0000 -
2742.27/2749.56 c 2750 127650 4319 1 - 0.0000 -
2747.36/2754.61 c 2755 127944 4327 1 - 0.0000 -
2752.34/2759.69 c 2760 128245 4334 1 - 0.0000 -
2757.43/2764.75 c 2765 128541 4344 1 - 0.0000 -
2762.51/2769.83 c 2770 128840 4363 1 - 0.0000 -
2767.60/2774.93 c 2775 129141 4374 1 - 0.0000 -
2772.69/2780.02 c 2780 129440 4387 1 - 0.0000 -
2777.78/2785.11 c 2785 129756 4393 1 - 0.0000 -
2782.77/2790.18 c 2790 130038 4407 1 - 0.0000 -
2787.85/2795.25 c 2795 130340 4416 1 - 0.0000 -
2792.94/2800.31 c 2800 130638 4422 1 - 0.0000 -
2797.92/2805.38 c 2805 130946 4440 1 - 0.0000 -
2803.01/2810.47 c 2810 131251 4445 1 - 0.0000 -
2808.09/2815.56 c 2816 131559 4447 1 - 0.0000 -
2813.18/2820.63 c 2821 131858 4456 1 - 0.0000 -
2818.47/2825.98 c 2826 132124 4466 1 - 0.0000 -
2823.56/2831.03 c 2831 132431 4471 1 - 0.0000 -
2828.65/2836.13 c 2836 132738 4472 1 - 0.0000 -
2833.73/2841.23 c 2841 133054 4479 1 - 0.0000 -
2838.82/2846.34 c 2846 133379 4491 1 - 0.0000 -
2843.91/2851.42 c 2851 133697 4496 1 - 0.0000 -
2848.99/2856.53 c 2857 133996 4521 1 - 0.0000 -
2854.17/2861.73 c 2862 134256 4529 1 - 0.0000 -
2859.17/2866.79 c 2867 134570 4535 1 - 0.0000 -
2864.25/2871.87 c 2872 134874 4535 1 - 0.0000 -
2869.44/2877.01 c 2877 135191 4544 1 - 0.0000 -
2874.53/2882.11 c 2882 135504 4559 1 - 0.0000 -
2879.62/2887.20 c 2887 135830 4562 1 - 0.0000 -
2884.80/2892.43 c 2892 136120 4564 1 - 0.0000 -
2889.89/2897.55 c 2898 136365 4567 1 - 0.0000 -
2895.08/2902.70 c 2903 136597 4569 1 - 0.0000 -
2900.16/2907.81 c 2908 136901 4579 1 - 0.0000 -
2905.15/2912.89 c 2913 137186 4586 1 - 0.0000 -
2910.23/2917.97 c 2918 137489 4586 1 - 0.0000 -
2915.33/2923.03 c 2923 137780 4597 1 - 0.0000 -
2920.41/2928.12 c 2928 138080 4605 1 - 0.0000 -
2925.40/2933.17 c 2933 138386 4613 1 - 0.0000 -
2930.48/2938.26 c 2938 138693 4618 1 - 0.0000 -
2935.57/2943.30 c 2943 139005 4617 1 - 0.0000 -
2940.56/2948.37 c 2948 139312 4622 1 - 0.0000 -
2945.64/2953.42 c 2953 139627 4632 1 - 0.0000 -
2950.63/2958.49 c 2958 139934 4637 1 - 0.0000 -
2955.81/2963.60 c 2964 140255 4641 1 - 0.0000 -
2960.80/2968.68 c 2969 140563 4657 1 - 0.0000 -
2966.09/2973.98 c 2974 140873 4665 1 - 0.0000 -
2971.18/2979.06 c 2979 141184 4674 1 - 0.0000 -
2976.27/2984.14 c 2984 141501 4683 1 - 0.0000 -
2981.35/2989.22 c 2989 141816 4690 1 - 0.0000 -
2986.44/2994.30 c 2994 142117 4697 1 - 0.0000 -
2991.42/2999.36 c 2999 142432 4706 1 - 0.0000 -
2996.51/3004.43 c 3004 142751 4710 1 - 0.0000 -
3001.60/3009.50 c 3010 143083 4705 1 - 0.0000 -
3006.59/3014.56 c 3015 143409 4701 1 - 0.0000 -
3011.67/3019.64 c 3020 143735 4727 1 - 0.0000 -
3016.85/3024.88 c 3025 144032 4736 1 - 0.0000 -
3021.94/3029.98 c 3030 144336 4741 1 - 0.0000 -
3027.03/3035.05 c 3035 144652 4744 1 - 0.0000 -
3032.12/3040.11 c 3040 144977 4745 1 - 0.0000 -
3037.10/3045.17 c 3045 145295 4747 1 - 0.0000 -
3042.18/3050.22 c 3050 145634 4747 1 - 0.0000 -
3047.18/3055.28 c 3055 145951 4757 1 - 0.0000 -
3052.26/3060.35 c 3060 146264 4758 1 - 0.0000 -
3057.35/3065.40 c 3065 146577 4764 1 - 0.0000 -
3062.43/3070.50 c 3070 146879 4774 1 - 0.0000 -
3067.41/3075.59 c 3076 147192 4779 1 - 0.0000 -
3072.50/3080.65 c 3081 147502 4779 1 - 0.0000 -
3077.59/3085.72 c 3086 147823 4784 1 - 0.0000 -
3082.68/3090.83 c 3091 148142 4797 1 - 0.0000 -
3087.66/3095.88 c 3096 148450 4807 1 - 0.0000 -
3092.75/3100.94 c 3101 148784 4809 1 - 0.0000 -
3097.74/3105.99 c 3106 149111 4819 1 - 0.0000 -
3102.82/3111.05 c 3111 149422 4825 1 - 0.0000 -
3107.91/3116.10 c 3116 149735 4829 1 - 0.0000 -
3112.89/3121.16 c 3121 150051 4833 1 - 0.0000 -
3117.98/3126.23 c 3126 150375 4835 1 - 0.0000 -
3123.07/3131.34 c 3131 150697 4841 1 - 0.0000 -
3128.15/3136.41 c 3136 151019 4843 1 - 0.0000 -
3133.14/3141.46 c 3141 151329 4851 1 - 0.0000 -
3138.22/3146.52 c 3147 151647 4855 1 - 0.0000 -
3144.01/3152.37 c 3152 151946 4862 1 - 0.0000 -
3149.10/3157.48 c 3157 152269 4865 1 - 0.0000 -
3154.18/3162.53 c 3163 152595 4871 1 - 0.0000 -
3159.26/3167.60 c 3168 152926 4875 1 - 0.0000 -
3164.26/3172.64 c 3173 153237 4882 1 - 0.0000 -
3169.34/3177.72 c 3178 153568 4883 1 - 0.0000 -
3174.33/3182.77 c 3183 153884 4883 1 - 0.0000 -
3179.41/3187.84 c 3188 154200 4887 1 - 0.0000 -
3184.49/3192.91 c 3193 154538 4885 1 - 0.0000 -
3189.49/3197.99 c 3198 154856 4891 1 - 0.0000 -
3194.58/3203.07 c 3203 155175 4901 1 - 0.0000 -
3199.66/3208.13 c 3208 155498 4902 1 - 0.0000 -
3204.64/3213.19 c 3213 155819 4901 1 - 0.0000 -
3209.72/3218.29 c 3218 156133 4899 1 - 0.0000 -
3214.81/3223.37 c 3223 156446 4926 1 - 0.0000 -
3219.90/3228.41 c 3228 156753 4932 1 - 0.0000 -
3224.88/3233.48 c 3233 157069 4941 1 - 0.0000 -
3229.97/3238.56 c 3239 157391 4945 1 - 0.0000 -
3235.05/3243.64 c 3244 157714 4943 1 - 0.0000 -
3240.15/3248.70 c 3249 158043 4950 1 - 0.0000 -
3245.13/3253.76 c 3254 158370 4947 1 - 0.0000 -
3250.21/3258.88 c 3259 158668 4954 1 - 0.0000 -
3255.30/3263.99 c 3264 158985 4959 1 - 0.0000 -
3260.38/3269.04 c 3269 159298 4958 1 - 0.0000 -
3265.48/3274.12 c 3274 159633 4956 1 - 0.0000 -
3270.56/3279.23 c 3279 159950 4965 1 - 0.0000 -
3275.64/3284.31 c 3284 160262 4983 1 - 0.0000 -
3280.72/3289.41 c 3289 160585 4986 1 - 0.0000 -
3285.71/3294.48 c 3294 160909 4995 1 - 0.0000 -
3290.80/3299.56 c 3300 161233 4993 1 - 0.0000 -
3295.89/3304.65 c 3305 161555 4999 1 - 0.0000 -
3300.97/3309.70 c 3310 161878 5000 1 - 0.0000 -
3305.96/3314.78 c 3315 162191 5002 1 - 0.0000 -
3311.04/3319.88 c 3320 162489 5010 1 - 0.0000 -
3316.13/3324.95 c 3325 162815 5013 1 - 0.0000 -
3321.22/3330.02 c 3330 163133 5015 1 - 0.0000 -
3326.21/3335.08 c 3335 163454 5022 1 - 0.0000 -
3331.38/3340.20 c 3340 163751 5018 1 - 0.0000 -
3336.37/3345.27 c 3345 164081 5022 1 - 0.0000 -
3341.46/3350.35 c 3350 164408 5025 1 - 0.0000 -
3346.55/3355.43 c 3355 164737 5035 1 - 0.0000 -
3351.54/3360.49 c 3360 165065 5032 1 - 0.0000 -
3356.62/3365.57 c 3366 165405 5027 1 - 0.0000 -
3361.71/3370.65 c 3371 165741 5046 1 - 0.0000 -
3366.79/3375.75 c 3376 166077 5038 1 - 0.0000 -
3371.88/3380.81 c 3381 166393 5034 1 - 0.0000 -
3376.86/3385.86 c 3386 166708 5041 1 - 0.0000 -
3381.95/3390.93 c 3391 167026 5043 1 - 0.0000 -
3386.94/3395.98 c 3396 167347 5047 1 - 0.0000 -
3392.03/3401.07 c 3401 167649 5061 1 - 0.0000 -
3397.11/3406.14 c 3406 167957 5057 1 - 0.0000 -
3402.19/3411.22 c 3411 168284 5068 1 - 0.0000 -
3407.18/3416.26 c 3416 168620 5066 1 - 0.0000 -
3412.27/3421.33 c 3421 168926 5073 1 - 0.0000 -
3417.35/3426.42 c 3426 169239 5076 1 - 0.0000 -
3422.44/3431.51 c 3432 169568 5084 1 - 0.0000 -
3427.42/3436.59 c 3437 169899 5088 1 - 0.0000 -
3432.51/3441.63 c 3442 170222 5095 1 - 0.0000 -
3437.50/3446.69 c 3447 170541 5104 1 - 0.0000 -
3442.59/3451.77 c 3452 170876 5107 1 - 0.0000 -
3447.67/3456.89 c 3457 171215 5112 1 - 0.0000 -
3452.75/3461.95 c 3462 171534 5110 1 - 0.0000 -
3457.84/3467.03 c 3467 171862 5122 1 - 0.0000 -
3462.93/3472.12 c 3472 172169 5114 1 - 0.0000 -
3467.92/3477.19 c 3477 172487 5120 1 - 0.0000 -
3473.10/3482.30 c 3482 172798 5122 1 - 0.0000 -
3478.18/3487.42 c 3487 173123 5119 1 - 0.0000 -
3483.27/3492.52 c 3493 173461 5121 1 - 0.0000 -
3488.25/3497.60 c 3498 173798 5118 1 - 0.0000 -
3493.34/3502.68 c 3503 174136 5120 1 - 0.0000 -
3498.43/3507.74 c 3508 174456 5122 1 - 0.0000 -
3503.51/3512.86 c 3513 174772 5128 1 - 0.0000 -
3508.59/3517.92 c 3518 175092 5130 1 - 0.0000 -
3513.57/3522.99 c 3523 175405 5135 1 - 0.0000 -
3518.67/3528.06 c 3528 175740 5137 1 - 0.0000 -
3523.76/3533.12 c 3533 176059 5142 1 - 0.0000 -
3528.83/3538.21 c 3538 176401 5144 1 - 0.0000 -
3533.82/3543.27 c 3543 176741 5156 1 - 0.0000 -
3538.90/3548.32 c 3548 177096 5163 1 - 0.0000 -
3543.98/3553.40 c 3553 177425 5164 1 - 0.0000 -
3548.97/3558.47 c 3558 177747 5162 1 - 0.0000 -
3554.06/3563.52 c 3564 178088 5170 1 - 0.0000 -
3559.04/3568.59 c 3569 178423 5171 1 - 0.0000 -
3564.12/3573.64 c 3574 178762 5175 1 - 0.0000 -
3569.11/3578.70 c 3579 179102 5174 1 - 0.0000 -
3574.30/3583.80 c 3584 179443 5186 1 - 0.0000 -
3579.28/3588.87 c 3589 179778 5189 1 - 0.0000 -
3584.37/3593.93 c 3594 180110 5189 1 - 0.0000 -
3589.45/3599.01 c 3599 180453 5195 1 - 0.0000 -
3590.55/3600.19 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.55/3600.19 c Total Time : 3600.2000
3590.55/3600.19 c solving : 3600.2000
3590.55/3600.19 c presolving : 2.5873 (included in solving)
3590.55/3600.19 c B&B Tree :
3590.55/3600.19 c nodes (total) : 1
3590.55/3600.19 c Solution :
3590.55/3600.19 c Solutions found : 0
3590.55/3600.19 c Primal Bound : -
3590.55/3600.19 c Dual Bound : +0.00000000000000e+00
3590.55/3600.19 c Gap : -
3590.65/3600.27 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: 63968 MiB (61919 MiB free)
memory of node 1: 64473 MiB (61720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442900-1721300958/watcher-4442900-1721300958 -o /tmp/evaluation-result-4442900-1721300958/solver-4442900-1721300958 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954239 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442900-1721300958.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=959190, runsolver pid=959187
[startup+0.100834 s]*
/proc/loadavg: 4.08 4.13 4.10 5/261 959191
/proc/meminfo: memFree=126569188/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=59288 memory=46920 CPUtime=0.09 cores=1,3
/proc/959190/stat : 959190 (fscip) R 959187 959190 954227 0 -1 4194304 9639 0 0 0 8 1 0 0 20 0 1 0 182262018 60710912 11730 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 14822 11730 2318 3032 0 11222 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59288 KiB
Current children cumulated memory: 46920 KiB
[startup+0.205367 s]*
/proc/loadavg: 4.08 4.13 4.10 6/261 959191
/proc/meminfo: memFree=126513512/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=115704 memory=103848 CPUtime=0.2 cores=1,3
/proc/959190/stat : 959190 (fscip) R 959187 959190 954227 0 -1 4194304 23988 0 0 0 17 3 0 0 20 0 1 0 182262018 118480896 25962 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 28926 25962 2590 3032 0 25326 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115704 KiB
Current children cumulated memory: 103848 KiB
[startup+0.30547 s]*
/proc/loadavg: 4.08 4.13 4.10 5/257 959191
/proc/meminfo: memFree=126956528/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=134948 memory=117240 CPUtime=0.29 cores=1,3
/proc/959190/stat : 959190 (fscip) R 959187 959190 954227 0 -1 4194304 27350 0 0 0 26 3 0 0 20 0 1 0 182262018 138186752 29310 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 33737 29310 2590 3032 0 30137 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134948 KiB
Current children cumulated memory: 117240 KiB
[startup+0.700238 s]
/proc/loadavg: 4.08 4.13 4.10 5/253 959220
/proc/meminfo: memFree=126928096/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=147452 memory=135040 CPUtime=0.68 cores=1,3
/proc/959190/stat : 959190 (fscip) R 959187 959190 954227 0 -1 4194304 42139 0 0 0 63 5 0 0 20 0 1 0 182262018 150990848 33760 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 36863 33760 2702 3032 0 33263 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 147452 KiB
Current children cumulated memory: 135040 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.13 4.10 5/259 959237
/proc/meminfo: memFree=126816916/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=195088 memory=166836 CPUtime=1.48 cores=1,3
/proc/959190/stat : 959190 (fscip) R 959187 959190 954227 0 -1 4194304 49536 0 0 0 142 6 0 0 20 0 1 0 182262018 199770112 41709 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 48772 41709 2750 3032 0 45172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195088 KiB
Current children cumulated memory: 166836 KiB
[startup+3.10583 s]
/proc/loadavg: 4.08 4.13 4.10 5/261 959239
/proc/meminfo: memFree=126253788/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=352956 memory=287996 CPUtime=3.07 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 85024 0 0 0 296 11 0 0 20 0 3 0 182262018 361426944 71999 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 88239 71999 2766 3032 0 76587 0
[pid=959190/tid=959238] ppid=959187 vsize=352956 memory=167096 CPUtime=0.19 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 24207 0 0 0 16 3 0 0 20 0 3 0 182262298 361426944 71999 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=352956 memory=0 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 182262317 361426944 71999 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 352956 KiB
Current children cumulated memory: 287996 KiB
[startup+6.30083 s]
/proc/loadavg: 4.16 4.14 4.11 5/261 959241
/proc/meminfo: memFree=126007328/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=484028 memory=418084 CPUtime=6.24 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 131896 0 0 0 608 16 0 0 20 0 3 0 182262018 495644672 104521 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 121007 104521 2926 3032 0 111533 0
[pid=959190/tid=959238] ppid=959187 vsize=484028 memory=1676385 CPUtime=3.35 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 71078 0 0 0 327 8 0 0 20 0 3 0 182262298 495644672 104521 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=484028 memory=167096 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 182262317 495644672 104521 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 484028 KiB
Current children cumulated memory: 418084 KiB
[startup+12.7008 s]
/proc/loadavg: 4.14 4.14 4.11 5/258 959335
/proc/meminfo: memFree=125943548/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=549564 memory=443196 CPUtime=12.58 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 175350 0 0 0 1239 19 0 0 20 0 3 0 182262018 562753536 110799 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 137391 110799 2926 3032 0 124502 0
[pid=959190/tid=959238] ppid=959187 vsize=549564 memory=167096 CPUtime=9.69 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 114530 0 0 0 958 11 0 0 20 0 3 0 182262298 562753536 110799 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=549564 memory=43436 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 182262317 562753536 110799 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 549564 KiB
Current children cumulated memory: 443196 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 959336
/proc/meminfo: memFree=125824904/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=682068 memory=542424 CPUtime=25.26 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 253988 0 0 0 2501 25 0 0 20 0 3 0 182262018 698437632 135606 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 170517 135606 2926 3032 0 153259 0
[pid=959190/tid=959238] ppid=959187 vsize=682068 memory=542356 CPUtime=22.37 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 193108 0 0 0 2220 17 0 0 20 0 3 0 182262298 698437632 135606 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=682068 memory=542348 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 182262317 698437632 135606 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 682068 KiB
Current children cumulated memory: 542424 KiB
[startup+51.1055 s]
/proc/loadavg: 4.21 4.16 4.11 5/260 959393
/proc/meminfo: memFree=127145412/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=747604 memory=607720 CPUtime=50.79 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 375543 0 0 0 5046 33 0 0 20 0 3 0 182262018 765546496 151930 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 186901 151930 2974 3032 0 174463 0
[pid=959190/tid=959238] ppid=959187 vsize=747604 memory=588340 CPUtime=47.91 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 314620 0 0 0 4766 25 0 0 20 0 3 0 182262298 765546496 151930 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=747604 memory=543604 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 182262317 765546496 151930 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 747604 KiB
Current children cumulated memory: 607720 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 959407
/proc/meminfo: memFree=125883088/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=813140 memory=614168 CPUtime=101.85 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 455178 0 0 0 10145 40 0 0 20 0 3 0 182262018 832655360 153542 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 203285 153542 2974 3032 0 189011 0
[pid=959190/tid=959238] ppid=959187 vsize=813140 memory=11664 CPUtime=98.96 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 394209 0 0 0 9864 32 0 0 20 0 3 0 182262298 832655360 153542 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=813140 memory=11664 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 182262317 832655360 153542 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 813140 KiB
Current children cumulated memory: 614168 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 959417
/proc/meminfo: memFree=125851728/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=813140 memory=631228 CPUtime=161.69 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 525024 0 0 0 16123 46 0 0 20 0 3 0 182262018 832655360 157807 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 203285 157807 2974 3032 0 193949 0
[pid=959190/tid=959238] ppid=959187 vsize=813140 memory=11664 CPUtime=158.8 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 464023 0 0 0 15842 38 0 0 20 0 3 0 182262298 832655360 157807 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=813140 memory=614188 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 182262317 832655360 157807 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 813140 KiB
Current children cumulated memory: 631228 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 959428
/proc/meminfo: memFree=125510588/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=813416 memory=635664 CPUtime=221.52 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 575630 0 0 0 22102 50 0 0 20 0 3 0 182262018 832937984 158916 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 203354 158916 2974 3032 0 197310 0
[pid=959190/tid=959238] ppid=959187 vsize=813416 memory=635324 CPUtime=218.63 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 514615 0 0 0 21821 42 0 0 20 0 3 0 182262298 832937984 158916 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=813416 memory=16156 CPUtime=0 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 182262317 832937984 158916 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 813416 KiB
Current children cumulated memory: 635664 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 959440
/proc/meminfo: memFree=125353464/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=878952 memory=716084 CPUtime=281.36 cores=1,3
################
# More data... #
################
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=976160 CPUtime=3390.19 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1206988 0 0 0 338848 171 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=976160 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 78 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/262 961206
/proc/meminfo: memFree=124154504/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3453.15 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1271507 0 0 0 345126 189 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=976160 CPUtime=3450.03 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1209816 0 0 0 344829 174 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=976160 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 79 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3522.3 s]
/proc/loadavg: 3.64 4.01 4.06 4/253 961248
/proc/meminfo: memFree=124534860/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3512.98 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1273482 0 0 0 351107 191 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3509.85 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1211781 0 0 0 350809 176 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=1023792 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 80 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3582.3 s]
/proc/loadavg: 3.35 3.86 4.00 4/253 961258
/proc/meminfo: memFree=124535596/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3572.8 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1276047 0 0 0 357086 194 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=16156 CPUtime=3569.66 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1214334 0 0 0 356788 178 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=1023792 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 80 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3600.28 s]
# the end of solver process 959190 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.77 s, system=1.95827 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.35 3.86 4.00 4/253 961258
/proc/meminfo: memFree=124535604/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3574.5 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1276054 0 0 0 357256 194 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=-6514284690057378667 CPUtime=3571.36 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1214341 0 0 0 356958 178 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=-7737314618303276151 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 80 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3574.5 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3590.4 s]
/proc/loadavg: 3.30 3.83 3.99 4/253 961260
/proc/meminfo: memFree=124535500/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3580.88 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1276644 0 0 0 357894 194 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3577.73 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1214930 0 0 0 357595 178 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=2648 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3580.88 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3596.8 s]
/proc/loadavg: 3.27 3.82 3.98 4/253 961262
/proc/meminfo: memFree=124535360/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3587.26 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1277156 0 0 0 358532 194 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3584.11 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1215442 0 0 0 358233 178 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=12420 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3587.26 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3598.4 s]
/proc/loadavg: 3.27 3.82 3.98 4/253 961262
/proc/meminfo: memFree=124535420/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3588.85 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1277230 0 0 0 358691 194 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=6720667661908918121 CPUtime=3585.71 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1215516 0 0 0 358393 178 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=4872 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3599.2 s]
/proc/loadavg: 3.27 3.82 3.98 4/253 961262
/proc/meminfo: memFree=124535404/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3589.65 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1277231 0 0 0 358771 194 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=43644 CPUtime=3586.5 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1215517 0 0 0 358472 178 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=12420 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3589.65 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3600 s]*
/proc/loadavg: 3.25 3.80 3.98 4/253 961262
/proc/meminfo: memFree=124535388/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1214372 memory=1023792 CPUtime=3590.45 cores=1,3
/proc/959190/stat : 959190 (fscip) S 959187 959190 954227 0 -1 1077936128 1277232 0 0 0 358851 194 0 0 20 0 3 0 182262018 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 303593 255948 2974 3032 0 293426 0
[pid=959190/tid=959238] ppid=959187 vsize=1214372 memory=-6514284690057378667 CPUtime=3587.31 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1215518 0 0 0 358553 178 0 0 20 0 3 0 182262298 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1214372 memory=-7737314618303276151 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 182262317 1243516928 255948 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3590.45 s
Current children cumulated vsize: 1214372 KiB
Current children cumulated memory: 1023792 KiB
[startup+3600.2 s]
/proc/loadavg: 3.25 3.80 3.98 4/253 961262
/proc/meminfo: memFree=124535388/131524600 swapFree=131071996/131071996
[pid=959190] ppid=959187 vsize=1084028 memory=904520 CPUtime=3590.65 cores=1,3
/proc/959190/stat : 959190 (fscip) D 959187 959190 954227 0 -1 4194304 1278981 0 0 0 358870 195 0 0 20 0 3 0 182262018 1110044672 226642 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
/proc/959190/statm: 271007 226130 2974 3032 0 266062 0
[pid=959190/tid=959238] ppid=959187 vsize=1084028 memory=31024 CPUtime=3587.5 cores=1,3
/proc/959190/task/959238/stat : 959238 (fscip) R 959187 959190 954227 0 -1 4194368 1217265 0 0 0 358571 179 0 0 20 0 3 0 182262298 1110044672 225618 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
[pid=959190/tid=959239] ppid=959187 vsize=1084028 memory=7488 CPUtime=0.03 cores=1,3
/proc/959190/task/959239/stat : 959239 (fscip) S 959187 959190 954227 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 182262317 1110044672 225618 134679101440 4194304 16613245 140734527703824 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29171712 140734527710228 140734527710344 140734527710344 140734527717360 0
Current children cumulated CPU time: 3590.65 s
Current children cumulated vsize: 1084028 KiB
Current children cumulated memory: 904520 KiB
Child status: 0
Real time (s): 3600.28
CPU time (s): 3590.73
CPU user time (s): 3588.77
CPU system time (s): 1.95827
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 1214372
Max. memory (cumulated for all children) (KiB): 1044184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.77
system time used= 1.95827
maximum resident set size= 1044384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1286164
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= 10519
involuntary context switches= 1516
# summary of solver processes directly reported to runsolver:
# pid: 959190
# total CPU time (s): 3590.73
# total CPU user time (s): 3588.77
# total CPU system time (s): 1.95827
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00015 second user time and 16.1609 second system time
The end
Begin job on nodeC026 at 2024-07-18 13:09:31
IDJOB=4442900
IDBENCH=147856
IDSOLVER=3064
FILE ID=nodeC026/4442900-1721300958
RUNJOBID= nodeC026-1721293769-954239
SLURM_JOB_ID= 7542600
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.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-4442900-1721300958/watcher-4442900-1721300958 -o /tmp/evaluation-result-4442900-1721300958/solver-4442900-1721300958 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721293769-954239 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442900-1721300958.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=359297667
nodeC026.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 : 3666.983
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.74
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 : 3671.251
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3600.223
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.74
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 : 3664.569
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3667.044
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.74
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 : 3669.563
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3600.101
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.74
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 : 3599.905
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126607684 kB
MemAvailable: 127239220 kB
Buffers: 505956 kB
Cached: 962972 kB
SwapCached: 0 kB
Active: 990104 kB
Inactive: 3312080 kB
Active(anon): 1548 kB
Inactive(anon): 2869420 kB
Active(file): 988556 kB
Inactive(file): 442660 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29936 kB
Writeback: 4 kB
AnonPages: 2824724 kB
Mapped: 141696 kB
Shmem: 37720 kB
KReclaimable: 80284 kB
Slab: 190524 kB
SReclaimable: 80284 kB
SUnreclaim: 110240 kB
KernelStack: 4160 kB
PageTables: 14988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1237332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2146304 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: 260820 kB
DirectMap2M: 27824128 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC026 at 2024-07-18 14:09:32