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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 38359040, getVmSize() = 38359040, SCIPgetMemUsed() = 11622445, SCIPgetMemTotal() = 16292293, SCIPgetMemExternEstim() = 8316418
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.29/0.37 c ** Estimated virtualMemUsedAtSolver = 37727294, getVmSize() = 72171520, SCIPgetMemUsed() = 27046851, SCIPgetMemTotal() = 48274523, SCIPgetMemExternEstim() = 8316418
0.29/0.37 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.29/0.37 c Original Problem :
0.29/0.37 c Problem name : instance-4451980-1721426666
0.29/0.37 c Variables : 1482 (1482 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.37 c Constraints : 7073
0.29/0.37 c Objective sense : minimize
0.29/0.37 c Presolved Problem :
0.29/0.37 c Variables : 1476 (1476 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.37 c Constraints : 6760
0.29/0.37 c Constraints : Number
0.29/0.37 c knapsack : 1
0.29/0.37 c setppc : 2844
0.29/0.37 c linear : 1
0.29/0.37 c logicor : 3914
0.29/0.37 c ** Instance transfer method used: 0
0.29/0.38 c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.39 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.39 c Nodes Active
0.29/0.39 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.55/7.61 c 8 2 1 1 - 0.0000 -
13.05/13.16 c 13 107 52 1 - 0.0000 -
18.12/18.27 c 18 327 79 1 - 0.0000 -
23.71/23.85 c 24 476 113 1 - 0.0000 -
29.01/29.16 c 29 698 135 1 - 0.0000 -
34.19/34.30 c 34 856 187 1 - 0.0000 -
39.88/40.01 c 40 962 231 1 - 0.0000 -
45.86/46.06 c 46 1065 248 1 - 0.0000 -
58.63/58.86 c 59 1080 263 1 - 0.0000 -
64.51/64.77 c 65 1124 292 1 - 0.0000 -
70.39/70.67 c 71 1165 304 1 - 0.0000 -
75.79/76.02 c 76 1261 329 1 - 0.0000 -
81.27/81.55 c 82 1394 378 1 - 0.0000 -
86.46/86.71 c 87 1564 400 1 - 0.0000 -
91.64/91.95 c 92 1636 442 1 - 0.0000 -
97.13/97.46 c 97 1748 478 1 - 0.0000 -
103.11/103.42 c 103 1830 542 1 - 0.0000 -
108.60/108.96 c 109 1949 612 1 - 0.0000 -
113.98/114.31 c 114 2042 666 1 - 0.0000 -
119.37/119.71 c 120 2186 692 1 - 0.0000 -
125.36/125.74 c 126 2292 752 1 - 0.0000 -
130.45/130.80 c 131 2436 795 1 - 0.0000 -
135.74/136.12 c 136 2529 842 1 - 0.0000 -
141.62/142.07 c 142 2539 1 1 - 0.0000 -
147.20/147.63 c 148 2659 35 1 - 0.0000 -
152.19/152.68 c 153 2855 49 1 - 0.0000 -
157.28/157.74 c 158 3189 51 1 - 0.0000 -
162.37/162.83 c 163 3493 59 1 - 0.0000 -
167.45/167.91 c 168 3845 51 1 - 0.0000 -
172.43/172.99 c 173 4160 51 1 - 0.0000 -
177.53/178.09 c 178 4492 55 1 - 0.0000 -
182.70/183.21 c 183 4820 55 1 - 0.0000 -
187.80/188.30 c 188 5135 52 1 - 0.0000 -
192.78/193.38 c 193 5440 59 1 - 0.0000 -
197.87/198.44 c 198 5780 50 1 - 0.0000 -
202.95/203.50 c 204 6127 56 1 - 0.0000 -
207.94/208.58 c 209 6465 51 1 - 0.0000 -
213.03/213.69 c 214 6751 52 1 - 0.0000 -
218.12/218.76 c 219 7008 60 1 - 0.0000 -
223.20/223.83 c 224 7294 61 1 - 0.0000 -
228.69/229.35 c 229 7540 67 1 - 0.0000 -
233.77/234.49 c 234 7813 74 1 - 0.0000 -
238.96/239.67 c 240 8071 62 1 - 0.0000 -
244.35/245.04 c 245 8354 58 1 - 0.0000 -
249.83/250.57 c 251 8564 71 1 - 0.0000 -
254.92/255.65 c 256 8817 88 1 - 0.0000 -
260.00/260.72 c 261 9102 96 1 - 0.0000 -
265.00/265.79 c 266 9407 71 1 - 0.0000 -
270.29/271.02 c 271 9635 77 1 - 0.0000 -
275.37/276.15 c 276 9888 98 1 - 0.0000 -
280.45/281.22 c 281 10175 102 1 - 0.0000 -
285.63/286.44 c 286 10491 98 1 - 0.0000 -
290.82/291.63 c 292 10650 120 1 - 0.0000 -
296.71/297.54 c 298 10802 165 1 - 0.0000 -
301.79/302.67 c 303 11067 170 1 - 0.0000 -
306.89/307.74 c 308 11432 170 1 - 0.0000 -
311.97/312.80 c 313 11778 164 1 - 0.0000 -
317.26/318.17 c 318 12028 182 1 - 0.0000 -
322.34/323.26 c 323 12233 191 1 - 0.0000 -
328.52/329.47 c 329 12469 188 1 - 0.0000 -
333.71/334.69 c 335 12699 215 1 - 0.0000 -
338.99/339.98 c 340 13032 226 1 - 0.0000 -
344.09/345.06 c 345 13404 216 1 - 0.0000 -
349.28/350.21 c 350 13696 232 1 - 0.0000 -
354.46/355.42 c 355 13928 245 1 - 0.0000 -
359.55/360.51 c 361 14121 276 1 - 0.0000 -
364.73/365.72 c 366 14357 294 1 - 0.0000 -
369.92/370.97 c 371 14555 326 1 - 0.0000 -
375.20/376.24 c 376 14790 360 1 - 0.0000 -
383.68/384.71 c 385 14984 388 1 - 0.0000 -
388.77/389.86 c 390 15202 416 1 - 0.0000 -
394.06/395.14 c 395 15371 442 1 - 0.0000 -
399.54/400.63 c 401 15523 472 1 - 0.0000 -
405.42/406.52 c 407 15673 525 1 - 0.0000 -
410.71/411.88 c 412 15799 566 1 - 0.0000 -
416.79/417.95 c 418 15991 574 1 - 0.0000 -
421.98/423.12 c 423 16153 601 1 - 0.0000 -
427.16/428.33 c 428 16284 630 1 - 0.0000 -
432.56/433.74 c 434 16452 662 1 - 0.0000 -
437.95/439.18 c 439 16583 715 1 - 0.0000 -
443.63/444.82 c 445 16744 760 1 - 0.0000 -
449.01/450.24 c 450 16969 795 1 - 0.0000 -
454.20/455.41 c 455 17220 820 1 - 0.0000 -
459.29/460.50 c 461 17416 839 1 - 0.0000 -
464.47/465.72 c 466 17675 858 1 - 0.0000 -
469.56/470.86 c 471 17926 862 1 - 0.0000 -
474.64/475.96 c 476 18153 889 1 - 0.0000 -
479.73/481.08 c 481 18289 930 1 - 0.0000 -
485.02/486.36 c 486 18460 956 1 - 0.0000 -
490.50/491.89 c 492 18694 991 1 - 0.0000 -
495.98/497.36 c 497 18892 1036 1 - 0.0000 -
501.38/502.77 c 503 19044 1068 1 - 0.0000 -
506.46/507.88 c 508 19265 1097 1 - 0.0000 -
512.15/513.55 c 514 19420 1129 1 - 0.0000 -
517.33/518.70 c 519 19658 1147 1 - 0.0000 -
523.12/524.57 c 525 19801 1188 1 - 0.0000 -
528.20/529.67 c 530 19986 1220 1 - 0.0000 -
533.49/534.95 c 535 20124 1266 1 - 0.0000 -
538.69/540.18 c 540 20274 1325 1 - 0.0000 -
543.87/545.38 c 545 20505 1350 1 - 0.0000 -
549.25/550.74 c 551 20724 1373 1 - 0.0000 -
554.84/556.33 c 556 20954 1405 1 - 0.0000 -
560.22/561.75 c 562 21146 1441 1 - 0.0000 -
565.31/566.82 c 567 21325 1475 1 - 0.0000 -
575.88/577.46 c 577 21459 1499 1 - 0.0000 -
581.27/582.80 c 583 21660 1543 1 - 0.0000 -
586.36/587.90 c 588 21891 1546 1 - 0.0000 -
591.94/593.51 c 594 22092 1576 1 - 0.0000 -
597.13/598.74 c 599 22269 1617 1 - 0.0000 -
602.42/604.04 c 604 22451 1653 1 - 0.0000 -
607.60/609.28 c 609 22643 1688 1 - 0.0000 -
612.79/614.47 c 614 22861 1712 1 - 0.0000 -
618.17/619.83 c 620 23075 1740 1 - 0.0000 -
623.36/625.00 c 625 23305 1769 1 - 0.0000 -
628.45/630.11 c 630 23581 1775 1 - 0.0000 -
633.62/635.32 c 635 23811 1787 1 - 0.0000 -
639.11/640.82 c 641 24021 1809 1 - 0.0000 -
644.30/646.05 c 646 24261 1821 1 - 0.0000 -
649.49/651.20 c 651 24480 1818 1 - 0.0000 -
654.57/656.33 c 656 24689 1828 1 - 0.0000 -
659.85/661.68 c 662 24953 1826 1 - 0.0000 -
664.94/666.76 c 667 25184 1844 1 - 0.0000 -
670.13/671.91 c 672 25406 1863 1 - 0.0000 -
675.22/677.01 c 677 25617 1886 1 - 0.0000 -
680.30/682.14 c 682 25818 1904 1 - 0.0000 -
685.98/687.83 c 688 25993 1951 1 - 0.0000 -
691.37/693.26 c 693 26189 1982 1 - 0.0000 -
696.66/698.58 c 699 26421 2010 1 - 0.0000 -
701.74/703.69 c 704 26594 2042 1 - 0.0000 -
707.13/709.04 c 709 26786 2077 1 - 0.0000 -
712.22/714.18 c 714 26956 2098 1 - 0.0000 -
717.50/719.45 c 719 27179 2121 1 - 0.0000 -
722.88/724.84 c 725 27349 2159 1 - 0.0000 -
728.08/730.09 c 730 27579 2178 1 - 0.0000 -
733.45/735.40 c 735 27759 2188 1 - 0.0000 -
738.64/740.63 c 741 27932 2213 1 - 0.0000 -
743.92/745.99 c 746 28210 2230 1 - 0.0000 -
749.21/751.23 c 751 28410 2268 1 - 0.0000 -
754.59/756.66 c 757 28604 2298 1 - 0.0000 -
759.78/761.89 c 762 28829 2325 1 - 0.0000 -
764.97/767.01 c 767 29014 2357 1 - 0.0000 -
770.35/772.47 c 772 29171 2410 1 - 0.0000 -
775.73/777.88 c 778 29383 2437 1 - 0.0000 -
781.03/783.13 c 783 29624 2450 1 - 0.0000 -
786.30/788.41 c 788 29814 2468 1 - 0.0000 -
791.49/793.63 c 794 29981 2499 1 - 0.0000 -
796.57/798.72 c 799 30183 2527 1 - 0.0000 -
801.88/804.09 c 804 30315 2567 1 - 0.0000 -
807.45/809.62 c 810 30559 2589 1 - 0.0000 -
812.74/814.95 c 815 30812 2606 1 - 0.0000 -
818.03/820.22 c 820 30986 2641 1 - 0.0000 -
823.11/825.35 c 825 31198 2639 1 - 0.0000 -
828.30/830.52 c 831 31319 2661 1 - 0.0000 -
833.49/835.73 c 836 31521 2690 1 - 0.0000 -
838.57/840.88 c 841 31726 2709 1 - 0.0000 -
844.05/846.34 c 846 31918 2745 1 - 0.0000 -
849.75/852.09 c 852 32109 2749 1 - 0.0000 -
855.33/857.64 c 858 32296 2767 1 - 0.0000 -
861.02/863.30 c 863 32509 2796 1 - 0.0000 -
866.30/868.66 c 869 32688 2820 1 - 0.0000 -
871.39/873.72 c 874 32921 2842 1 - 0.0000 -
876.68/879.03 c 879 33104 2867 1 - 0.0000 -
881.76/884.13 c 884 33268 2884 1 - 0.0000 -
887.25/889.63 c 890 33437 2909 1 - 0.0000 -
892.34/894.73 c 895 33646 2914 1 - 0.0000 -
897.52/899.92 c 900 33862 2928 1 - 0.0000 -
903.21/905.60 c 906 34002 2941 1 - 0.0000 -
908.29/910.75 c 911 34249 2963 1 - 0.0000 -
913.69/916.15 c 916 34447 3001 1 - 0.0000 -
918.77/921.21 c 921 34768 3015 1 - 0.0000 -
924.26/926.74 c 927 35025 3027 1 - 0.0000 -
929.34/931.81 c 932 35271 3044 1 - 0.0000 -
934.43/936.98 c 937 35440 3060 1 - 0.0000 -
939.92/942.41 c 942 35607 3077 1 - 0.0000 -
945.30/947.87 c 948 35754 3113 1 - 0.0000 -
950.49/953.03 c 953 35938 3144 1 - 0.0000 -
955.67/958.24 c 958 36143 3181 1 - 0.0000 -
960.96/963.53 c 964 36421 3205 1 - 0.0000 -
966.14/968.70 c 969 36601 3268 1 - 0.0000 -
971.33/973.94 c 974 36844 3293 1 - 0.0000 -
976.42/979.01 c 979 37054 3310 1 - 0.0000 -
981.51/984.11 c 984 37292 3310 1 - 0.0000 -
986.49/989.20 c 989 37514 3335 1 - 0.0000 -
991.97/994.68 c 995 37698 3371 1 - 0.0000 -
997.06/999.75 c 1000 37925 3373 1 - 0.0000 -
1003.05/1005.70 c 1006 38103 3375 1 - 0.0000 -
1008.23/1010.90 c 1011 38299 3387 1 - 0.0000 -
1013.52/1016.20 c 1016 38509 3397 1 - 0.0000 -
1018.80/1021.52 c 1022 38729 3408 1 - 0.0000 -
1023.79/1026.59 c 1027 38938 3432 1 - 0.0000 -
1029.28/1032.00 c 1032 39171 3460 1 - 0.0000 -
1034.56/1037.34 c 1037 39443 3476 1 - 0.0000 -
1039.74/1042.59 c 1043 39603 3484 1 - 0.0000 -
1044.93/1047.79 c 1048 39828 3498 1 - 0.0000 -
1050.22/1053.06 c 1053 39997 3526 1 - 0.0000 -
1055.41/1058.27 c 1058 40227 3528 1 - 0.0000 -
1060.89/1063.75 c 1064 40432 3542 1 - 0.0000 -
1066.08/1068.96 c 1069 40691 3567 1 - 0.0000 -
1071.46/1074.32 c 1074 40951 3562 1 - 0.0000 -
1076.85/1079.74 c 1080 41202 3574 1 - 0.0000 -
1082.03/1084.94 c 1085 41387 3605 1 - 0.0000 -
1087.12/1090.02 c 1090 41655 3628 1 - 0.0000 -
1092.21/1095.11 c 1095 41897 3633 1 - 0.0000 -
1097.39/1100.34 c 1100 42137 3663 1 - 0.0000 -
1102.47/1105.46 c 1105 42306 3694 1 - 0.0000 -
1107.75/1110.70 c 1111 42531 3712 1 - 0.0000 -
1112.73/1115.78 c 1116 42706 3739 1 - 0.0000 -
1117.91/1120.95 c 1121 42883 3767 1 - 0.0000 -
1123.19/1126.21 c 1126 43096 3771 1 - 0.0000 -
1128.48/1131.59 c 1132 43326 3785 1 - 0.0000 -
1134.06/1137.15 c 1137 43541 3808 1 - 0.0000 -
1139.64/1142.78 c 1143 43755 3829 1 - 0.0000 -
1144.73/1147.88 c 1148 44050 3828 1 - 0.0000 -
1149.91/1153.07 c 1153 44276 3837 1 - 0.0000 -
1155.08/1158.28 c 1158 44517 3852 1 - 0.0000 -
1160.46/1163.64 c 1164 44749 3872 1 - 0.0000 -
1165.66/1168.89 c 1169 44965 3882 1 - 0.0000 -
1170.74/1173.96 c 1174 45198 3890 1 - 0.0000 -
1176.22/1179.41 c 1179 45392 3902 1 - 0.0000 -
1181.20/1184.48 c 1184 45577 3925 1 - 0.0000 -
1186.68/1189.91 c 1190 45779 3949 1 - 0.0000 -
1191.87/1195.11 c 1195 45985 3960 1 - 0.0000 -
1197.04/1200.30 c 1200 46202 3968 1 - 0.0000 -
1202.43/1205.71 c 1206 46372 3987 1 - 0.0000 -
1207.72/1211.04 c 1211 46584 4010 1 - 0.0000 -
1213.49/1216.88 c 1217 46661 4022 1 - 0.0000 -
1218.87/1222.27 c 1222 46951 4025 1 - 0.0000 -
1224.05/1227.43 c 1227 47135 4040 1 - 0.0000 -
1229.24/1232.61 c 1233 47322 4057 1 - 0.0000 -
1234.33/1237.75 c 1238 47533 4066 1 - 0.0000 -
1239.51/1242.98 c 1243 47760 4081 1 - 0.0000 -
1244.79/1248.23 c 1248 47914 4101 1 - 0.0000 -
1249.97/1253.41 c 1253 48101 4129 1 - 0.0000 -
1255.15/1258.65 c 1259 48313 4156 1 - 0.0000 -
1260.44/1263.98 c 1264 48523 4177 1 - 0.0000 -
1266.02/1269.51 c 1270 48737 4185 1 - 0.0000 -
1271.10/1274.65 c 1275 48923 4208 1 - 0.0000 -
1276.68/1280.20 c 1280 49088 4236 1 - 0.0000 -
1281.76/1285.36 c 1285 49303 4250 1 - 0.0000 -
1286.84/1290.46 c 1290 49555 4260 1 - 0.0000 -
1292.22/1295.83 c 1296 49772 4274 1 - 0.0000 -
1297.31/1300.95 c 1301 50019 4287 1 - 0.0000 -
1302.59/1306.25 c 1306 50283 4302 1 - 0.0000 -
1308.38/1312.01 c 1312 50519 4316 1 - 0.0000 -
1313.76/1317.45 c 1317 50724 4340 1 - 0.0000 -
1319.03/1322.77 c 1323 50928 4348 1 - 0.0000 -
1324.21/1327.92 c 1328 51172 4358 1 - 0.0000 -
1329.50/1333.28 c 1333 51414 4378 1 - 0.0000 -
1334.98/1338.76 c 1339 51609 4409 1 - 0.0000 -
1340.27/1344.00 c 1344 51832 4436 1 - 0.0000 -
1345.45/1349.23 c 1349 52019 4458 1 - 0.0000 -
1350.73/1354.55 c 1355 52169 4496 1 - 0.0000 -
1355.81/1359.65 c 1360 52335 4513 1 - 0.0000 -
1360.80/1364.68 c 1365 52483 4517 1 - 0.0000 -
1366.08/1369.90 c 1370 52673 4531 1 - 0.0000 -
1371.16/1375.10 c 1375 52900 4549 1 - 0.0000 -
1376.55/1380.44 c 1380 53099 4581 1 - 0.0000 -
1381.63/1385.52 c 1386 53292 4616 1 - 0.0000 -
1386.71/1390.64 c 1391 53489 4641 1 - 0.0000 -
1391.79/1395.79 c 1396 53650 4684 1 - 0.0000 -
1397.18/1401.15 c 1401 53819 4701 1 - 0.0000 -
1402.65/1406.62 c 1407 54029 4718 1 - 0.0000 -
1407.83/1411.80 c 1412 54227 4729 1 - 0.0000 -
1413.13/1417.15 c 1417 54409 4769 1 - 0.0000 -
1418.20/1422.25 c 1422 54579 4787 1 - 0.0000 -
1423.29/1427.34 c 1427 54840 4798 1 - 0.0000 -
1428.57/1432.62 c 1433 55012 4820 1 - 0.0000 -
1433.95/1438.07 c 1438 55202 4846 1 - 0.0000 -
1439.04/1443.16 c 1443 55434 4876 1 - 0.0000 -
1444.21/1448.32 c 1448 55631 4908 1 - 0.0000 -
1449.30/1453.46 c 1453 55875 4912 1 - 0.0000 -
1454.48/1458.67 c 1459 56075 4951 1 - 0.0000 -
1459.76/1463.99 c 1464 56236 4986 1 - 0.0000 -
1464.85/1469.09 c 1469 56422 5021 1 - 0.0000 -
1470.03/1474.25 c 1474 56587 5060 1 - 0.0000 -
1475.22/1479.46 c 1479 56769 5092 1 - 0.0000 -
1480.81/1485.00 c 1485 56962 5112 1 - 0.0000 -
1485.89/1490.15 c 1490 57157 5149 1 - 0.0000 -
1490.97/1495.26 c 1495 57341 5184 1 - 0.0000 -
1496.26/1500.56 c 1501 57515 5218 1 - 0.0000 -
1501.54/1505.84 c 1506 57719 5224 1 - 0.0000 -
1506.94/1511.28 c 1511 57906 5259 1 - 0.0000 -
1513.12/1517.43 c 1517 58106 5278 1 - 0.0000 -
1518.90/1523.21 c 1523 58305 5289 1 - 0.0000 -
1524.19/1528.54 c 1529 58501 5327 1 - 0.0000 -
1529.28/1533.62 c 1534 58671 5347 1 - 0.0000 -
1534.37/1538.74 c 1539 58870 5375 1 - 0.0000 -
1539.45/1543.88 c 1544 59085 5390 1 - 0.0000 -
1544.65/1549.02 c 1549 59324 5403 1 - 0.0000 -
1549.83/1554.24 c 1554 59562 5422 1 - 0.0000 -
1555.22/1559.64 c 1560 59740 5450 1 - 0.0000 -
1560.30/1564.79 c 1565 59881 5473 1 - 0.0000 -
1565.79/1570.24 c 1570 60166 5467 1 - 0.0000 -
1570.97/1575.46 c 1575 60350 5484 1 - 0.0000 -
1576.06/1580.55 c 1581 60590 5498 1 - 0.0000 -
1581.14/1585.64 c 1586 60806 5520 1 - 0.0000 -
1586.63/1591.17 c 1591 60982 5528 1 - 0.0000 -
1592.01/1596.52 c 1597 61196 5543 1 - 0.0000 -
1597.20/1601.76 c 1602 61350 5569 1 - 0.0000 -
1602.29/1606.87 c 1607 61565 5600 1 - 0.0000 -
1608.37/1612.91 c 1613 61732 5624 1 - 0.0000 -
1614.06/1618.60 c 1619 61947 5648 1 - 0.0000 -
1619.25/1623.84 c 1624 62137 5667 1 - 0.0000 -
1624.34/1628.97 c 1629 62351 5677 1 - 0.0000 -
1629.53/1634.18 c 1634 62572 5690 1 - 0.0000 -
1634.71/1639.33 c 1639 62752 5725 1 - 0.0000 -
1639.89/1644.53 c 1645 63000 5748 1 - 0.0000 -
1644.99/1649.66 c 1650 63194 5766 1 - 0.0000 -
1650.17/1654.80 c 1655 63386 5782 1 - 0.0000 -
1655.16/1659.88 c 1660 63643 5776 1 - 0.0000 -
1660.24/1664.97 c 1665 63850 5786 1 - 0.0000 -
1665.33/1670.09 c 1670 64083 5805 1 - 0.0000 -
1670.71/1675.43 c 1675 64290 5825 1 - 0.0000 -
1675.79/1680.56 c 1681 64507 5830 1 - 0.0000 -
1681.48/1686.20 c 1686 64723 5848 1 - 0.0000 -
1686.76/1691.54 c 1692 64935 5854 1 - 0.0000 -
1695.45/1700.28 c 1700 65085 5842 1 - 0.0000 -
1700.83/1705.69 c 1706 65297 5854 1 - 0.0000 -
1706.22/1711.00 c 1711 65509 5851 1 - 0.0000 -
1711.50/1716.33 c 1716 65707 5864 1 - 0.0000 -
1716.59/1721.46 c 1721 65911 5888 1 - 0.0000 -
1721.77/1726.63 c 1727 66084 5931 1 - 0.0000 -
1727.16/1732.04 c 1732 66279 5946 1 - 0.0000 -
1732.55/1737.44 c 1737 66505 5953 1 - 0.0000 -
1737.84/1742.79 c 1743 66688 5972 1 - 0.0000 -
1743.02/1747.95 c 1748 66852 5986 1 - 0.0000 -
1748.21/1753.18 c 1753 67032 6031 1 - 0.0000 -
1753.30/1758.27 c 1758 67252 6039 1 - 0.0000 -
1758.38/1763.34 c 1763 67527 6043 1 - 0.0000 -
1763.47/1768.48 c 1768 67739 6035 1 - 0.0000 -
1769.06/1774.10 c 1774 68006 6030 1 - 0.0000 -
1774.24/1779.24 c 1779 68204 6038 1 - 0.0000 -
1779.32/1784.32 c 1784 68436 6042 1 - 0.0000 -
1784.42/1789.42 c 1789 68590 6051 1 - 0.0000 -
1789.60/1794.64 c 1795 68881 6038 1 - 0.0000 -
1795.09/1800.19 c 1800 69086 6077 1 - 0.0000 -
1800.27/1805.37 c 1805 69276 6099 1 - 0.0000 -
1805.35/1810.46 c 1810 69478 6101 1 - 0.0000 -
1811.14/1816.20 c 1816 69621 6139 1 - 0.0000 -
1816.22/1821.39 c 1821 69794 6161 1 - 0.0000 -
1821.32/1826.48 c 1826 70028 6173 1 - 0.0000 -
1826.50/1831.61 c 1832 70264 6167 1 - 0.0000 -
1831.58/1836.76 c 1837 70450 6183 1 - 0.0000 -
1836.67/1841.82 c 1842 70683 6193 1 - 0.0000 -
1841.96/1847.13 c 1847 70879 6216 1 - 0.0000 -
1847.14/1852.30 c 1852 71052 6234 1 - 0.0000 -
1852.33/1857.51 c 1858 71242 6253 1 - 0.0000 -
1857.61/1862.81 c 1863 71453 6260 1 - 0.0000 -
1863.49/1868.73 c 1869 71613 6274 1 - 0.0000 -
1868.58/1873.87 c 1874 71825 6302 1 - 0.0000 -
1873.67/1878.96 c 1879 72067 6312 1 - 0.0000 -
1878.96/1884.23 c 1884 72308 6321 1 - 0.0000 -
1884.04/1889.33 c 1889 72562 6316 1 - 0.0000 -
1889.13/1894.43 c 1894 72774 6325 1 - 0.0000 -
1894.32/1899.64 c 1900 73007 6340 1 - 0.0000 -
1899.60/1904.95 c 1905 73171 6359 1 - 0.0000 -
1904.79/1910.13 c 1910 73409 6369 1 - 0.0000 -
1909.87/1915.25 c 1915 73639 6383 1 - 0.0000 -
1915.26/1920.62 c 1921 73844 6428 1 - 0.0000 -
1920.25/1925.66 c 1926 74106 6432 1 - 0.0000 -
1925.33/1930.75 c 1931 74353 6441 1 - 0.0000 -
1930.42/1935.84 c 1936 74582 6460 1 - 0.0000 -
1935.81/1941.24 c 1941 74810 6459 1 - 0.0000 -
1941.00/1946.48 c 1946 74965 6491 1 - 0.0000 -
1946.59/1952.03 c 1952 75205 6510 1 - 0.0000 -
1951.68/1957.14 c 1957 75329 6541 1 - 0.0000 -
1956.76/1962.26 c 1962 75598 6534 1 - 0.0000 -
1962.24/1967.71 c 1968 75797 6564 1 - 0.0000 -
1967.53/1973.07 c 1973 76045 6588 1 - 0.0000 -
1972.63/1978.15 c 1978 76246 6615 1 - 0.0000 -
1977.71/1983.26 c 1983 76417 6641 1 - 0.0000 -
1982.99/1988.55 c 1989 76611 6650 1 - 0.0000 -
1988.78/1994.32 c 1994 76816 6659 1 - 0.0000 -
1993.76/1999.39 c 1999 77053 6672 1 - 0.0000 -
1999.25/2004.87 c 2005 77269 6685 1 - 0.0000 -
2004.44/2010.07 c 2010 77409 6710 1 - 0.0000 -
2009.53/2015.14 c 2015 77647 6724 1 - 0.0000 -
2014.61/2020.23 c 2020 77848 6739 1 - 0.0000 -
2019.89/2025.54 c 2026 78073 6755 1 - 0.0000 -
2024.99/2030.65 c 2031 78337 6755 1 - 0.0000 -
2030.07/2035.70 c 2036 78588 6772 1 - 0.0000 -
2035.86/2041.53 c 2042 78809 6768 1 - 0.0000 -
2040.95/2046.61 c 2047 79037 6763 1 - 0.0000 -
2046.13/2051.88 c 2052 79273 6780 1 - 0.0000 -
2051.42/2057.12 c 2057 79475 6823 1 - 0.0000 -
2056.71/2062.45 c 2062 79678 6841 1 - 0.0000 -
2061.79/2067.55 c 2068 79863 6861 1 - 0.0000 -
2067.18/2072.95 c 2073 80024 6886 1 - 0.0000 -
2072.37/2078.12 c 2078 80203 6912 1 - 0.0000 -
2077.45/2083.23 c 2083 80451 6905 1 - 0.0000 -
2082.54/2088.39 c 2088 80681 6917 1 - 0.0000 -
2087.83/2093.68 c 2094 80880 6930 1 - 0.0000 -
2092.92/2098.75 c 2099 81098 6945 1 - 0.0000 -
2098.00/2103.82 c 2104 81337 6949 1 - 0.0000 -
2103.08/2108.91 c 2109 81561 6958 1 - 0.0000 -
2108.17/2114.00 c 2114 81823 6948 1 - 0.0000 -
2113.26/2119.12 c 2119 81974 6978 1 - 0.0000 -
2118.65/2124.56 c 2125 82146 6983 1 - 0.0000 -
2125.73/2131.65 c 2132 82313 7009 1 - 0.0000 -
2131.02/2136.97 c 2137 82525 7015 1 - 0.0000 -
2136.21/2142.11 c 2142 82742 7029 1 - 0.0000 -
2141.39/2147.38 c 2147 82998 7037 1 - 0.0000 -
2146.47/2152.40 c 2152 83165 7044 1 - 0.0000 -
2151.46/2157.49 c 2157 83392 7052 1 - 0.0000 -
2156.95/2162.94 c 2163 83619 7077 1 - 0.0000 -
2162.04/2168.07 c 2168 83852 7094 1 - 0.0000 -
2167.12/2173.17 c 2173 84085 7096 1 - 0.0000 -
2172.21/2178.26 c 2178 84386 7095 1 - 0.0000 -
2177.30/2183.37 c 2183 84596 7099 1 - 0.0000 -
2182.48/2188.51 c 2189 84839 7100 1 - 0.0000 -
2187.57/2193.63 c 2194 85093 7099 1 - 0.0000 -
2192.76/2198.84 c 2199 85333 7106 1 - 0.0000 -
2198.05/2204.11 c 2204 85513 7151 1 - 0.0000 -
2203.23/2209.37 c 2209 85675 7200 1 - 0.0000 -
2208.32/2214.47 c 2214 85921 7195 1 - 0.0000 -
2213.40/2219.56 c 2220 86176 7193 1 - 0.0000 -
2218.79/2224.94 c 2225 86387 7219 1 - 0.0000 -
2224.98/2231.12 c 2231 86559 7251 1 - 0.0000 -
2230.16/2236.37 c 2236 86768 7275 1 - 0.0000 -
2235.55/2241.71 c 2242 86962 7318 1 - 0.0000 -
2240.74/2246.92 c 2247 87159 7344 1 - 0.0000 -
2245.83/2252.02 c 2252 87421 7342 1 - 0.0000 -
2251.21/2257.40 c 2257 87628 7358 1 - 0.0000 -
2256.39/2262.66 c 2263 87848 7365 1 - 0.0000 -
2261.58/2267.83 c 2268 88009 7386 1 - 0.0000 -
2266.78/2273.01 c 2273 88222 7405 1 - 0.0000 -
2271.96/2278.22 c 2278 88413 7436 1 - 0.0000 -
2277.04/2283.35 c 2283 88675 7437 1 - 0.0000 -
2283.03/2289.35 c 2289 88850 7439 1 - 0.0000 -
2288.31/2294.66 c 2295 89028 7476 1 - 0.0000 -
2293.60/2299.94 c 2300 89235 7482 1 - 0.0000 -
2299.08/2305.46 c 2305 89447 7501 1 - 0.0000 -
2305.17/2311.57 c 2312 89589 7531 1 - 0.0000 -
2310.45/2316.87 c 2317 89794 7542 1 - 0.0000 -
2315.74/2322.15 c 2322 89972 7575 1 - 0.0000 -
2320.83/2327.24 c 2327 90178 7565 1 - 0.0000 -
2325.92/2332.38 c 2332 90395 7578 1 - 0.0000 -
2331.10/2337.54 c 2338 90637 7579 1 - 0.0000 -
2336.39/2342.85 c 2343 90869 7602 1 - 0.0000 -
2341.47/2347.94 c 2348 91055 7620 1 - 0.0000 -
2347.27/2353.70 c 2354 91299 7631 1 - 0.0000 -
2352.35/2358.82 c 2359 91508 7646 1 - 0.0000 -
2357.44/2363.93 c 2364 91690 7680 1 - 0.0000 -
2362.52/2369.09 c 2369 91913 7709 1 - 0.0000 -
2367.61/2374.16 c 2374 92176 7702 1 - 0.0000 -
2372.69/2379.26 c 2379 92376 7704 1 - 0.0000 -
2377.98/2384.50 c 2384 92597 7719 1 - 0.0000 -
2383.07/2389.65 c 2390 92780 7753 1 - 0.0000 -
2388.25/2394.89 c 2395 92976 7774 1 - 0.0000 -
2394.14/2400.74 c 2401 93090 7779 1 - 0.0000 -
2399.22/2405.86 c 2406 93312 7782 1 - 0.0000 -
2404.52/2411.19 c 2411 93479 7821 1 - 0.0000 -
2409.70/2416.31 c 2416 93720 7823 1 - 0.0000 -
2414.69/2421.37 c 2421 93932 7833 1 - 0.0000 -
2419.77/2426.46 c 2426 94172 7838 1 - 0.0000 -
2424.86/2431.55 c 2432 94381 7823 1 - 0.0000 -
2429.94/2436.65 c 2437 94608 7842 1 - 0.0000 -
2435.03/2441.74 c 2442 94857 7843 1 - 0.0000 -
2440.23/2446.91 c 2447 95075 7845 1 - 0.0000 -
2445.32/2452.05 c 2452 95278 7855 1 - 0.0000 -
2450.50/2457.20 c 2457 95478 7873 1 - 0.0000 -
2455.48/2462.29 c 2462 95662 7888 1 - 0.0000 -
2460.67/2467.40 c 2467 95890 7909 1 - 0.0000 -
2465.76/2472.51 c 2473 96091 7909 1 - 0.0000 -
2470.84/2477.68 c 2478 96270 7934 1 - 0.0000 -
2476.23/2483.10 c 2483 96470 7951 1 - 0.0000 -
2481.42/2488.23 c 2488 96715 7956 1 - 0.0000 -
2486.60/2493.43 c 2493 96912 7988 1 - 0.0000 -
2491.69/2498.51 c 2499 97139 8002 1 - 0.0000 -
2496.68/2503.59 c 2504 97365 8007 1 - 0.0000 -
2501.87/2508.78 c 2509 97563 8019 1 - 0.0000 -
2507.06/2513.93 c 2514 97788 8029 1 - 0.0000 -
2512.15/2519.01 c 2519 97961 8047 1 - 0.0000 -
2517.23/2524.16 c 2524 98146 8075 1 - 0.0000 -
2522.52/2529.40 c 2529 98337 8093 1 - 0.0000 -
2527.50/2534.46 c 2534 98518 8119 1 - 0.0000 -
2532.59/2539.56 c 2540 98739 8119 1 - 0.0000 -
2537.68/2544.66 c 2545 98952 8117 1 - 0.0000 -
2542.86/2549.80 c 2550 99135 8127 1 - 0.0000 -
2548.16/2555.13 c 2555 99397 8142 1 - 0.0000 -
2553.24/2560.22 c 2560 99626 8168 1 - 0.0000 -
2558.53/2565.50 c 2566 99886 8166 1 - 0.0000 -
2563.61/2570.66 c 2571 100091 8184 1 - 0.0000 -
2569.11/2576.17 c 2576 100285 8213 1 - 0.0000 -
2574.19/2581.26 c 2581 100484 8220 1 - 0.0000 -
2579.37/2586.48 c 2586 100632 8240 1 - 0.0000 -
2584.46/2591.58 c 2592 100834 8256 1 - 0.0000 -
2589.65/2596.71 c 2597 101075 8277 1 - 0.0000 -
2594.64/2601.77 c 2602 101351 8301 1 - 0.0000 -
2600.22/2607.33 c 2607 101555 8312 1 - 0.0000 -
2605.71/2612.88 c 2613 101704 8358 1 - 0.0000 -
2610.90/2618.07 c 2618 101958 8370 1 - 0.0000 -
2616.98/2624.12 c 2624 102186 8358 1 - 0.0000 -
2622.36/2629.54 c 2630 102391 8393 1 - 0.0000 -
2627.45/2634.64 c 2635 102620 8382 1 - 0.0000 -
2632.54/2639.71 c 2640 102855 8382 1 - 0.0000 -
2637.53/2644.77 c 2645 103068 8390 1 - 0.0000 -
2642.92/2650.13 c 2650 103239 8408 1 - 0.0000 -
2648.00/2655.22 c 2655 103397 8426 1 - 0.0000 -
2653.09/2660.30 c 2660 103621 8441 1 - 0.0000 -
2658.17/2665.42 c 2665 103860 8444 1 - 0.0000 -
2663.16/2670.49 c 2670 104078 8441 1 - 0.0000 -
2668.34/2675.66 c 2676 104286 8454 1 - 0.0000 -
2673.53/2680.81 c 2681 104511 8459 1 - 0.0000 -
2678.62/2685.92 c 2686 104719 8477 1 - 0.0000 -
2683.91/2691.25 c 2691 104959 8487 1 - 0.0000 -
2689.00/2696.35 c 2696 105179 8490 1 - 0.0000 -
2694.19/2701.59 c 2702 105380 8512 1 - 0.0000 -
2699.47/2706.80 c 2707 105605 8516 1 - 0.0000 -
2704.46/2711.86 c 2712 105833 8509 1 - 0.0000 -
2709.54/2716.96 c 2717 106046 8518 1 - 0.0000 -
2715.42/2722.88 c 2723 106265 8519 1 - 0.0000 -
2720.72/2728.15 c 2728 106462 8522 1 - 0.0000 -
2725.80/2733.25 c 2733 106692 8527 1 - 0.0000 -
2732.19/2739.62 c 2740 106792 8518 1 - 0.0000 -
2737.27/2744.71 c 2745 107052 8519 1 - 0.0000 -
2742.36/2749.81 c 2750 107294 8513 1 - 0.0000 -
2747.55/2755.09 c 2755 107503 8530 1 - 0.0000 -
2752.64/2760.18 c 2760 107722 8540 1 - 0.0000 -
2758.22/2765.70 c 2766 107909 8555 1 - 0.0000 -
2763.41/2770.97 c 2771 108121 8567 1 - 0.0000 -
2768.80/2776.32 c 2776 108322 8576 1 - 0.0000 -
2773.88/2781.44 c 2781 108573 8573 1 - 0.0000 -
2779.36/2786.98 c 2787 108746 8583 1 - 0.0000 -
2784.46/2792.02 c 2792 109059 8577 1 - 0.0000 -
2789.64/2797.25 c 2797 109276 8596 1 - 0.0000 -
2794.73/2802.36 c 2802 109531 8581 1 - 0.0000 -
2799.81/2807.44 c 2807 109802 8587 1 - 0.0000 -
2804.90/2812.52 c 2813 110076 8593 1 - 0.0000 -
2810.08/2817.73 c 2818 110287 8615 1 - 0.0000 -
2815.18/2822.83 c 2823 110554 8603 1 - 0.0000 -
2820.27/2827.94 c 2828 110790 8620 1 - 0.0000 -
2825.36/2833.08 c 2833 111009 8645 1 - 0.0000 -
2830.53/2838.23 c 2838 111226 8640 1 - 0.0000 -
2835.92/2843.67 c 2844 111431 8653 1 - 0.0000 -
2841.01/2848.77 c 2849 111639 8671 1 - 0.0000 -
2846.10/2853.85 c 2854 111902 8675 1 - 0.0000 -
2851.29/2859.07 c 2859 112104 8687 1 - 0.0000 -
2856.47/2864.21 c 2864 112275 8726 1 - 0.0000 -
2861.75/2869.58 c 2870 112503 8729 1 - 0.0000 -
2867.15/2874.99 c 2875 112690 8758 1 - 0.0000 -
2872.43/2880.28 c 2880 112898 8777 1 - 0.0000 -
2877.62/2885.40 c 2885 113116 8801 1 - 0.0000 -
2882.80/2890.64 c 2891 113299 8810 1 - 0.0000 -
2888.09/2895.97 c 2896 113534 8807 1 - 0.0000 -
2893.28/2901.13 c 2901 113791 8810 1 - 0.0000 -
2898.56/2906.41 c 2906 113928 8818 1 - 0.0000 -
2903.65/2911.52 c 2912 114094 8829 1 - 0.0000 -
2908.74/2916.60 c 2917 114268 8838 1 - 0.0000 -
2914.23/2922.15 c 2922 114452 8873 1 - 0.0000 -
2919.41/2927.37 c 2927 114640 8872 1 - 0.0000 -
2924.79/2932.76 c 2933 114826 8918 1 - 0.0000 -
2930.08/2938.09 c 2938 115030 8946 1 - 0.0000 -
2935.36/2943.37 c 2943 115244 8978 1 - 0.0000 -
2940.45/2948.43 c 2948 115527 8971 1 - 0.0000 -
2945.63/2953.64 c 2954 115762 8967 1 - 0.0000 -
2950.73/2958.76 c 2959 115994 8994 1 - 0.0000 -
2955.81/2963.85 c 2964 116228 9018 1 - 0.0000 -
2961.30/2969.34 c 2969 116421 9024 1 - 0.0000 -
2966.38/2974.45 c 2974 116675 9015 1 - 0.0000 -
2971.66/2979.75 c 2980 116878 9018 1 - 0.0000 -
2976.96/2985.08 c 2985 117144 9031 1 - 0.0000 -
2982.34/2990.43 c 2990 117306 9050 1 - 0.0000 -
2987.43/2995.51 c 2996 117560 9081 1 - 0.0000 -
2992.61/3000.75 c 3001 117798 9107 1 - 0.0000 -
2997.70/3005.83 c 3006 118111 9096 1 - 0.0000 -
3002.99/3011.13 c 3011 118346 9091 1 - 0.0000 -
3008.08/3016.29 c 3016 118565 9096 1 - 0.0000 -
3013.36/3021.56 c 3022 118788 9131 1 - 0.0000 -
3018.44/3026.65 c 3027 119042 9118 1 - 0.0000 -
3023.73/3031.93 c 3032 119273 9109 1 - 0.0000 -
3029.02/3037.23 c 3037 119493 9107 1 - 0.0000 -
3034.10/3042.37 c 3042 119714 9111 1 - 0.0000 -
3039.39/3047.65 c 3048 119922 9130 1 - 0.0000 -
3044.67/3052.96 c 3053 120119 9136 1 - 0.0000 -
3049.76/3058.09 c 3058 120321 9139 1 - 0.0000 -
3054.84/3063.16 c 3063 120591 9167 1 - 0.0000 -
3059.93/3068.22 c 3068 120898 9158 1 - 0.0000 -
3065.02/3073.30 c 3073 121198 9158 1 - 0.0000 -
3070.00/3078.39 c 3078 121509 9158 1 - 0.0000 -
3075.79/3084.14 c 3084 121656 9183 1 - 0.0000 -
3082.36/3090.70 c 3091 121772 9190 1 - 0.0000 -
3087.55/3095.93 c 3096 121987 9193 1 - 0.0000 -
3092.75/3101.12 c 3101 122146 9240 1 - 0.0000 -
3097.74/3106.19 c 3106 122383 9242 1 - 0.0000 -
3103.41/3111.85 c 3112 122589 9243 1 - 0.0000 -
3108.60/3117.06 c 3117 122829 9300 1 - 0.0000 -
3113.69/3122.18 c 3122 123071 9319 1 - 0.0000 -
3118.77/3127.29 c 3127 123324 9313 1 - 0.0000 -
3123.96/3132.43 c 3132 123570 9316 1 - 0.0000 -
3129.05/3137.51 c 3138 123800 9317 1 - 0.0000 -
3134.23/3142.77 c 3143 123950 9343 1 - 0.0000 -
3139.41/3147.92 c 3148 124164 9360 1 - 0.0000 -
3144.50/3153.06 c 3153 124374 9386 1 - 0.0000 -
3149.69/3158.28 c 3158 124616 9375 1 - 0.0000 -
3154.87/3163.40 c 3163 124832 9393 1 - 0.0000 -
3160.16/3168.73 c 3169 125031 9425 1 - 0.0000 -
3165.65/3174.29 c 3174 125212 9449 1 - 0.0000 -
3170.84/3179.41 c 3179 125446 9459 1 - 0.0000 -
3175.92/3184.53 c 3185 125650 9472 1 - 0.0000 -
3181.11/3189.71 c 3190 125895 9478 1 - 0.0000 -
3186.29/3194.95 c 3195 126083 9471 1 - 0.0000 -
3191.77/3200.49 c 3200 126306 9522 1 - 0.0000 -
3196.96/3205.62 c 3206 126557 9523 1 - 0.0000 -
3202.05/3210.72 c 3211 126767 9533 1 - 0.0000 -
3207.24/3215.98 c 3216 126967 9533 1 - 0.0000 -
3212.33/3221.08 c 3221 127204 9541 1 - 0.0000 -
3217.61/3226.32 c 3226 127423 9542 1 - 0.0000 -
3222.79/3231.56 c 3232 127651 9552 1 - 0.0000 -
3227.88/3236.63 c 3237 127869 9576 1 - 0.0000 -
3232.97/3241.73 c 3242 128100 9586 1 - 0.0000 -
3238.05/3246.84 c 3247 128325 9590 1 - 0.0000 -
3243.14/3251.98 c 3252 128582 9589 1 - 0.0000 -
3248.23/3257.06 c 3257 128783 9610 1 - 0.0000 -
3253.51/3262.32 c 3262 128974 9628 1 - 0.0000 -
3258.60/3267.44 c 3267 129188 9622 1 - 0.0000 -
3263.78/3272.65 c 3273 129389 9623 1 - 0.0000 -
3269.37/3278.29 c 3278 129610 9637 1 - 0.0000 -
3274.95/3283.86 c 3284 129819 9641 1 - 0.0000 -
3280.34/3289.21 c 3289 129992 9657 1 - 0.0000 -
3285.33/3294.29 c 3294 130203 9664 1 - 0.0000 -
3290.51/3299.40 c 3299 130392 9690 1 - 0.0000 -
3295.50/3304.48 c 3304 130614 9711 1 - 0.0000 -
3301.39/3310.34 c 3310 130823 9713 1 - 0.0000 -
3306.47/3315.45 c 3315 131102 9717 1 - 0.0000 -
3311.77/3320.75 c 3321 131262 9721 1 - 0.0000 -
3316.85/3325.86 c 3326 131489 9728 1 - 0.0000 -
3321.94/3330.94 c 3331 131739 9733 1 - 0.0000 -
3327.03/3336.02 c 3336 131933 9741 1 - 0.0000 -
3332.12/3341.15 c 3341 132145 9745 1 - 0.0000 -
3337.30/3346.37 c 3346 132374 9751 1 - 0.0000 -
3342.39/3351.47 c 3351 132613 9747 1 - 0.0000 -
3347.57/3356.63 c 3357 132826 9757 1 - 0.0000 -
3352.66/3361.71 c 3362 133042 9764 1 - 0.0000 -
3357.75/3366.89 c 3367 133242 9765 1 - 0.0000 -
3363.34/3372.41 c 3372 133402 9767 1 - 0.0000 -
3368.93/3378.07 c 3378 133564 9795 1 - 0.0000 -
3374.11/3383.20 c 3383 133746 9806 1 - 0.0000 -
3379.70/3388.86 c 3389 133944 9834 1 - 0.0000 -
3384.88/3394.02 c 3394 134243 9837 1 - 0.0000 -
3389.97/3399.14 c 3399 134411 9855 1 - 0.0000 -
3395.05/3404.22 c 3404 134599 9880 1 - 0.0000 -
3404.83/3414.10 c 3414 134812 9863 1 - 0.0000 -
3410.01/3419.20 c 3419 135011 9877 1 - 0.0000 -
3415.40/3424.63 c 3425 135207 9874 1 - 0.0000 -
3420.80/3430.05 c 3430 135397 9893 1 - 0.0000 -
3425.89/3435.11 c 3435 135647 9896 1 - 0.0000 -
3431.07/3440.37 c 3440 135870 9908 1 - 0.0000 -
3436.25/3445.53 c 3446 136064 9916 1 - 0.0000 -
3441.64/3450.95 c 3451 136331 9934 1 - 0.0000 -
3446.83/3456.14 c 3456 136600 9938 1 - 0.0000 -
3451.81/3461.19 c 3461 136839 9947 1 - 0.0000 -
3456.89/3466.27 c 3466 137045 9962 1 - 0.0000 -
3462.58/3471.93 c 3472 137226 9964 1 - 0.0000 -
3467.86/3477.20 c 3477 137479 9957 1 - 0.0000 -
3472.96/3482.30 c 3482 137700 9995 1 - 0.0000 -
3478.04/3487.48 c 3487 137923 10021 1 - 0.0000 -
3483.13/3492.54 c 3493 138199 10012 1 - 0.0000 -
3488.62/3498.03 c 3498 138410 10037 1 - 0.0000 -
3493.71/3503.15 c 3503 138655 10037 1 - 0.0000 -
3498.89/3508.31 c 3508 138835 10055 1 - 0.0000 -
3504.07/3513.53 c 3514 139043 10046 1 - 0.0000 -
3509.46/3518.93 c 3519 139192 10049 1 - 0.0000 -
3514.55/3524.03 c 3524 139462 10051 1 - 0.0000 -
3519.74/3529.29 c 3529 139683 10078 1 - 0.0000 -
3524.83/3534.37 c 3534 139953 10069 1 - 0.0000 -
3529.91/3539.47 c 3539 140220 10077 1 - 0.0000 -
3535.00/3544.58 c 3545 140405 10080 1 - 0.0000 -
3540.29/3549.80 c 3550 140588 10094 1 - 0.0000 -
3545.48/3555.08 c 3555 140803 10098 1 - 0.0000 -
3550.86/3560.42 c 3560 141006 10102 1 - 0.0000 -
3555.94/3565.51 c 3566 141221 10097 1 - 0.0000 -
3561.33/3570.91 c 3571 141420 10116 1 - 0.0000 -
3566.61/3576.24 c 3576 141649 10136 1 - 0.0000 -
3571.70/3581.35 c 3581 141854 10161 1 - 0.0000 -
3576.79/3586.45 c 3586 142113 10150 1 - 0.0000 -
3581.87/3591.56 c 3592 142356 10149 1 - 0.0000 -
3587.05/3596.78 c 3597 142507 10163 1 - 0.0000 -
3590.44/3600.15 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.44/3600.15 c Total Time : 3600.1500
3590.44/3600.15 c solving : 3600.1500
3590.44/3600.15 c presolving : 0.3485 (included in solving)
3590.44/3600.15 c B&B Tree :
3590.44/3600.15 c nodes (total) : 1
3590.44/3600.15 c Solution :
3590.44/3600.15 c Solutions found : 0
3590.44/3600.15 c Primal Bound : -
3590.44/3600.15 c Dual Bound : +0.00000000000000e+00
3590.44/3600.15 c Gap : -
3590.44/3600.16 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 (61742 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-4451980-1721426666/watcher-4451980-1721426666 -o /tmp/evaluation-result-4451980-1721426666/solver-4451980-1721426666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028663 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451980-1721426666.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1031258, runsolver pid=1031255
[startup+0.100271 s]*
/proc/loadavg: 4.09 4.09 4.10 5/262 1031259
/proc/meminfo: memFree=126399332/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=47976 memory=37456 CPUtime=0.09 cores=5,7
/proc/1031258/stat : 1031258 (fscip) R 1031255 1031258 1028650 0 -1 4194304 7665 0 0 0 8 1 0 0 20 0 1 0 194831536 49127424 9364 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 11994 9364 2734 3032 0 8394 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 37456 KiB
[startup+0.205549 s]*
/proc/loadavg: 4.09 4.09 4.10 5/262 1031259
/proc/meminfo: memFree=126398584/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=48360 memory=37720 CPUtime=0.19 cores=5,7
/proc/1031258/stat : 1031258 (fscip) R 1031255 1031258 1028650 0 -1 4194304 7761 0 0 0 18 1 0 0 20 0 1 0 194831536 49520640 9430 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 12090 9430 2734 3032 0 8490 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48360 KiB
Current children cumulated memory: 37720 KiB
[startup+0.30493 s]*
/proc/loadavg: 4.09 4.09 4.10 5/262 1031259
/proc/meminfo: memFree=126398444/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=48360 memory=37720 CPUtime=0.29 cores=5,7
/proc/1031258/stat : 1031258 (fscip) R 1031255 1031258 1028650 0 -1 4194304 7767 0 0 0 28 1 0 0 20 0 1 0 194831536 49520640 9430 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 12090 9430 2734 3032 0 8490 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48360 KiB
Current children cumulated memory: 37720 KiB
[startup+0.700271 s]
/proc/loadavg: 4.09 4.09 4.10 6/264 1031261
/proc/meminfo: memFree=126353536/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=162372 memory=100236 CPUtime=0.67 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 24747 0 0 0 64 3 0 0 20 0 3 0 194831536 166268928 25059 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 40593 25059 2910 3032 0 30371 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=162372 memory=39380 CPUtime=0.3 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 10681 0 0 0 29 1 0 0 20 0 3 0 194831573 166268928 25059 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=162372 memory=2273 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194831575 166268928 25059 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 162372 KiB
Current children cumulated memory: 100236 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.09 4.10 5/264 1031261
/proc/meminfo: memFree=126335728/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=162372 memory=101248 CPUtime=1.47 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 25792 0 0 0 143 4 0 0 20 0 3 0 194831536 166268928 25312 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 40593 25312 2910 3032 0 30596 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=162372 memory=2273 CPUtime=1.09 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 11726 0 0 0 108 1 0 0 20 0 3 0 194831573 166268928 25312 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=162372 memory=0 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194831575 166268928 25312 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 162372 KiB
Current children cumulated memory: 101248 KiB
[startup+3.1055 s]
/proc/loadavg: 4.09 4.09 4.10 5/264 1031261
/proc/meminfo: memFree=126335924/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=162372 memory=101260 CPUtime=3.07 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 27251 0 0 0 303 4 0 0 20 0 3 0 194831536 166268928 25315 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 40593 25315 2910 3032 0 30596 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=162372 memory=11648 CPUtime=2.69 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 13178 0 0 0 268 1 0 0 20 0 3 0 194831573 166268928 25315 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=162372 memory=0 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 194831575 166268928 25315 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 162372 KiB
Current children cumulated memory: 101260 KiB
[startup+6.30019 s]
/proc/loadavg: 4.16 4.11 4.10 5/264 1031261
/proc/meminfo: memFree=126263396/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=227908 memory=169256 CPUtime=6.26 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 62925 0 0 0 619 7 0 0 20 0 3 0 194831536 233377792 42314 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 56977 42314 2926 3032 0 49434 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=227908 memory=-7736474891345880191 CPUtime=5.87 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 48852 0 0 0 583 4 0 0 20 0 3 0 194831573 233377792 42314 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=227908 memory=-7736474891345880191 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 194831575 233377792 42314 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 227908 KiB
Current children cumulated memory: 169256 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.10 5/264 1031262
/proc/meminfo: memFree=126233344/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=293444 memory=197536 CPUtime=12.64 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 88360 0 0 0 1255 9 0 0 20 0 3 0 194831536 300486656 49384 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 73361 49384 2942 3032 0 56381 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=293444 memory=0 CPUtime=12.26 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 74220 0 0 0 1220 6 0 0 20 0 3 0 194831573 300486656 49384 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=293444 memory=101260 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 194831575 300486656 49384 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 293444 KiB
Current children cumulated memory: 197536 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.10 5/264 1031264
/proc/meminfo: memFree=126223728/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=293444 memory=199396 CPUtime=25.4 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 148070 0 0 0 2528 12 0 0 20 0 3 0 194831536 300486656 49849 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 73361 49849 2990 3032 0 57755 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=293444 memory=0 CPUtime=25.03 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 133831 0 0 0 2493 10 0 0 20 0 3 0 194831573 300486656 49849 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=293444 memory=11648 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 194831575 300486656 49849 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 293444 KiB
Current children cumulated memory: 199396 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.11 4.10 5/263 1031268
/proc/meminfo: memFree=126188748/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=293444 memory=221016 CPUtime=50.95 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 216189 0 0 0 5077 18 0 0 20 0 3 0 194831536 300486656 55254 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 73361 55254 2990 3032 0 62635 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=293444 memory=5036 CPUtime=50.56 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 201848 0 0 0 5041 15 0 0 20 0 3 0 194831573 300486656 55254 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=293444 memory=199240 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 194831575 300486656 55254 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 293444 KiB
Current children cumulated memory: 221016 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/263 1031277
/proc/meminfo: memFree=126172312/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=293444 memory=221780 CPUtime=102.01 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 293054 0 0 0 10177 24 0 0 20 0 3 0 194831536 300486656 55445 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 73361 55445 2990 3032 0 63147 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=293444 memory=11648 CPUtime=101.63 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 278591 0 0 0 10142 21 0 0 20 0 3 0 194831573 300486656 55445 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=293444 memory=221772 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 194831575 300486656 55445 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 293444 KiB
Current children cumulated memory: 221780 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1031302
/proc/meminfo: memFree=126120548/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=293444 memory=231800 CPUtime=161.87 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 337792 0 0 0 16158 29 0 0 20 0 3 0 194831536 300486656 57950 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 73361 57950 2990 3032 0 65844 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=293444 memory=221792 CPUtime=161.48 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 323236 0 0 0 16122 26 0 0 20 0 3 0 194831573 300486656 57950 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=293444 memory=11648 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 194831575 300486656 57950 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 293444 KiB
Current children cumulated memory: 231800 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/266 1031537
/proc/meminfo: memFree=126104400/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=293444 memory=231852 CPUtime=221.71 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 371378 0 0 0 22139 32 0 0 20 0 3 0 194831536 300486656 57963 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 73361 57963 2990 3032 0 65844 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=293444 memory=12952 CPUtime=221.31 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 356741 0 0 0 22102 29 0 0 20 0 3 0 194831573 300486656 57963 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=293444 memory=11648 CPUtime=0 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 194831575 300486656 57963 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
################
# More data... #
################
/proc/1031258/statm: 122513 102904 2990 3032 0 105548 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=411616 CPUtime=3452.41 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 725003 0 0 0 345120 121 0 0 20 0 3 0 194831573 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=11648 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 174 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 411616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 1033764
/proc/meminfo: memFree=124888260/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=411616 CPUtime=3512.85 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 741661 0 0 0 351151 134 0 0 20 0 3 0 194831536 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 102904 2990 3032 0 105548 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=411616 CPUtime=3512.25 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 726129 0 0 0 351103 122 0 0 20 0 3 0 194831573 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=411616 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 176 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 411616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 1034008
/proc/meminfo: memFree=125589252/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=411616 CPUtime=3572.69 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 742828 0 0 0 357134 135 0 0 20 0 3 0 194831536 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 102904 2990 3032 0 105548 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=11648 CPUtime=3572.09 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 727283 0 0 0 357086 123 0 0 20 0 3 0 194831573 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=32224 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 178 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 411616 KiB
[startup+3600.17 s]
# the end of solver process 1031258 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.15 s, system=1.37536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.13 4.09 5/262 1034008
/proc/meminfo: memFree=125589192/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=411616 CPUtime=3574.4 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 742835 0 0 0 357304 136 0 0 20 0 3 0 194831536 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 102904 2990 3032 0 105548 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=0 CPUtime=3573.79 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 727290 0 0 0 357256 123 0 0 20 0 3 0 194831573 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=-7736474891379170685 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 178 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3574.4 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 411616 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1034009
/proc/meminfo: memFree=125573708/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=411616 CPUtime=3580.77 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 743031 0 0 0 357941 136 0 0 20 0 3 0 194831536 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 102904 2990 3032 0 105548 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=11648 CPUtime=3580.17 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 727483 0 0 0 357893 124 0 0 20 0 3 0 194831573 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=2280 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3580.77 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 411616 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1034010
/proc/meminfo: memFree=125572276/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=411616 CPUtime=3587.15 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 743204 0 0 0 358579 136 0 0 20 0 3 0 194831536 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 102904 2990 3032 0 105548 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=11648 CPUtime=3586.55 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 727655 0 0 0 358531 124 0 0 20 0 3 0 194831573 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=5480 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 102904 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 411616 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1034014
/proc/meminfo: memFree=125447824/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=432648 CPUtime=3588.74 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 748514 0 0 0 358738 136 0 0 20 0 3 0 194831536 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 108162 2990 3032 0 111173 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=2204 CPUtime=3588.14 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 732965 0 0 0 358690 124 0 0 20 0 3 0 194831573 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=411616 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 432648 KiB
[startup+3599.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1034014
/proc/meminfo: memFree=125447124/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=432648 CPUtime=3589.54 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 748516 0 0 0 358818 136 0 0 20 0 3 0 194831536 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 108162 2990 3032 0 111173 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=11648 CPUtime=3588.94 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 732967 0 0 0 358770 124 0 0 20 0 3 0 194831573 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=46416 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3589.54 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 432648 KiB
[startup+3599.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1034014
/proc/meminfo: memFree=125447124/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=432648 CPUtime=3589.94 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 748516 0 0 0 358858 136 0 0 20 0 3 0 194831536 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 108162 2990 3032 0 111173 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=46416 CPUtime=3589.34 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 732967 0 0 0 358810 124 0 0 20 0 3 0 194831573 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=2204 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3589.94 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 432648 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 1034014
/proc/meminfo: memFree=125447124/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=432648 CPUtime=3590.34 cores=5,7
/proc/1031258/stat : 1031258 (fscip) R 1031255 1031258 1028650 0 -1 1077936128 748516 0 0 0 358898 136 0 0 20 0 3 0 194831536 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 108162 2990 3032 0 111173 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=-6736396330752380009 CPUtime=3589.74 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 732967 0 0 0 358850 124 0 0 20 0 3 0 194831573 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=1816 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3590.34 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 432648 KiB
[startup+3600.11 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 1034014
/proc/meminfo: memFree=125447124/131524600 swapFree=131070704/131071996
[pid=1031258] ppid=1031255 vsize=490052 memory=432648 CPUtime=3590.44 cores=5,7
/proc/1031258/stat : 1031258 (fscip) S 1031255 1031258 1028650 0 -1 1077936128 749241 0 0 0 358908 136 0 0 20 0 3 0 194831536 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
/proc/1031258/statm: 122513 108162 2990 3032 0 111173 0
[pid=1031258/tid=1031260] ppid=1031255 vsize=490052 memory=411616 CPUtime=3589.84 cores=5,7
/proc/1031258/task/1031260/stat : 1031260 (fscip) R 1031255 1031258 1028650 0 -1 4194368 733692 0 0 0 358860 124 0 0 20 0 3 0 194831573 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
[pid=1031258/tid=1031261] ppid=1031255 vsize=490052 memory=432648 CPUtime=0.02 cores=5,7
/proc/1031258/task/1031261/stat : 1031261 (fscip) S 1031255 1031258 1028650 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 194831575 501813248 108162 134679101440 4194304 16613245 140721682014496 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 29310976 140721682019347 140721682019463 140721682019463 140721682026480 0
Current children cumulated CPU time: 3590.44 s
Current children cumulated vsize: 490052 KiB
Current children cumulated memory: 432648 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3590.52
CPU user time (s): 3589.15
CPU system time (s): 1.37536
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 490052
Max. memory (cumulated for all children) (KiB): 432648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.15
system time used= 1.37536
maximum resident set size= 432648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 749386
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= 10477
involuntary context switches= 1607
# summary of solver processes directly reported to runsolver:
# pid: 1031258
# total CPU time (s): 3590.52
# total CPU user time (s): 3589.15
# total CPU system time (s): 1.37536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74417 second user time and 16.1954 second system time
The end
Begin job on nodeC023 at 2024-07-20 00:04:38
IDJOB=4451980
IDBENCH=162853
IDSOLVER=3064
FILE ID=nodeC023/4451980-1721426666
RUNJOBID= nodeC023-1721423005-1028663
SLURM_JOB_ID= 7545608
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.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-4451980-1721426666/watcher-4451980-1721426666 -o /tmp/evaluation-result-4451980-1721426666/solver-4451980-1721426666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028663 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451980-1721426666.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 821356efb808a668e35dedcee024edbb
RANDOM SEED=2086564062
nodeC023.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 : 3600.180
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.61
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 : 3673.059
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.48
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 : 3667.200
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.61
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.061
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.48
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.202
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.61
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 : 3676.042
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.48
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 : 3599.827
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.61
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 : 3666.229
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126426592 kB
MemAvailable: 128625008 kB
Buffers: 562400 kB
Cached: 2472284 kB
SwapCached: 80 kB
Active: 1193368 kB
Inactive: 3334408 kB
Active(anon): 1580 kB
Inactive(anon): 1537220 kB
Active(file): 1191788 kB
Inactive(file): 1797188 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 28352 kB
Writeback: 0 kB
AnonPages: 1492976 kB
Mapped: 141820 kB
Shmem: 45728 kB
KReclaimable: 98524 kB
Slab: 192228 kB
SReclaimable: 98524 kB
SUnreclaim: 93704 kB
KernelStack: 4128 kB
PageTables: 12176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1136016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 483328 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC023 at 2024-07-20 01:04:39