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.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 57126912, getVmSize() = 57126912, SCIPgetMemUsed() = 28674690, SCIPgetMemTotal() = 34755234, SCIPgetMemExternEstim() = 15415482
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.18/3.26 c ** Estimated virtualMemUsedAtSolver = 107682216, getVmSize() = 173211648, SCIPgetMemUsed() = 108191755, SCIPgetMemTotal() = 146107843, SCIPgetMemExternEstim() = 15415482
3.18/3.26 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
3.18/3.26 c Original Problem :
3.18/3.26 c Problem name : instance-4434798-1721119074
3.18/3.26 c Variables : 7164 (7164 binary, 0 integer, 0 implicit integer, 0 continuous)
3.18/3.26 c Constraints : 7824
3.18/3.26 c Objective sense : minimize
3.18/3.26 c Presolved Problem :
3.18/3.26 c Variables : 6336 (6336 binary, 0 integer, 0 implicit integer, 0 continuous)
3.18/3.26 c Constraints : 1241
3.18/3.26 c Constraints : Number
3.18/3.26 c knapsack : 576
3.18/3.26 c setppc : 90
3.18/3.26 c orbitope : 575
3.18/3.26 c ** Instance transfer method used: 0
3.18/3.27 c ** ParaScipInstance copy increased the number of variables. **
3.18/3.29 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.18/3.29 c Nodes Active
3.18/3.29 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.97/7.10 c 7 2 1 1 - 9.0000 -
12.25/12.38 c 12 85 82 1 - 9.0000 -
17.33/17.44 c 17 952 240 1 - 9.0000 -
22.41/22.59 c 23 2025 210 1 - 9.0000 -
27.60/27.78 c 28 2918 261 1 - 9.0000 -
32.69/32.89 c 33 3916 313 1 - 9.0000 -
37.77/37.95 c 38 4828 342 1 - 9.0000 -
42.86/43.01 c 43 5965 246 1 - 9.0000 -
47.85/48.07 c 48 6892 371 1 - 9.0000 -
53.13/53.34 c 53 7462 417 1 - 9.0000 -
58.71/58.97 c 59 8351 447 1 - 9.0000 -
63.90/64.15 c 64 9273 515 1 - 9.0000 -
68.98/69.24 c 69 10252 483 1 - 9.0000 -
74.07/74.38 c 74 10984 559 1 - 9.0000 -
79.25/79.52 c 80 11447 584 1 - 9.0000 -
84.24/84.57 c 85 12887 622 1 - 9.0000 -
89.32/89.63 c 90 14572 655 1 - 9.0000 -
94.41/94.79 c 95 15993 640 1 - 9.0000 -
99.49/99.85 c 100 17817 683 1 - 9.0000 -
104.56/104.90 c 105 19684 653 1 - 9.0000 -
109.55/109.95 c 110 21529 664 1 - 9.0000 -
114.65/115.00 c 115 23352 735 1 - 9.0000 -
119.63/120.06 c 120 25136 783 1 - 9.0000 -
124.71/125.11 c 125 26784 752 1 - 9.0000 -
129.70/130.16 c 130 28431 766 1 - 9.0000 -
134.87/135.39 c 135 29872 800 1 - 9.0000 -
139.95/140.44 c 140 31624 786 1 - 9.0000 -
144.94/145.49 c 146 32879 828 1 - 9.0000 -
150.03/150.54 c 151 34246 817 1 - 9.0000 -
155.41/155.98 c 156 35595 865 1 - 9.0000 -
160.50/161.03 c 161 37390 922 1 - 9.0000 -
165.48/166.08 c 166 39314 937 1 - 9.0000 -
170.56/171.13 c 171 41085 949 1 - 9.0000 -
175.55/176.19 c 176 42942 860 1 - 9.0000 -
180.63/181.24 c 181 44409 936 1 - 9.0000 -
185.61/186.29 c 186 46361 974 1 - 9.0000 -
190.69/191.34 c 191 48340 875 1 - 9.0000 -
195.68/196.40 c 196 49583 996 1 - 9.0000 -
200.76/201.44 c 201 51166 1002 1 - 9.0000 -
205.75/206.49 c 206 52371 1069 1 - 9.0000 -
210.83/211.59 c 212 53642 1175 1 - 9.0000 -
215.92/216.64 c 217 55347 1244 1 - 9.0000 -
221.11/221.85 c 222 56906 1249 1 - 9.0000 -
226.19/226.90 c 227 58518 1272 1 - 9.0000 -
231.18/231.96 c 232 60085 1337 1 - 9.0000 -
236.27/237.02 c 237 61525 1397 1 - 9.0000 -
241.25/242.07 c 242 63156 1346 1 - 9.0000 -
246.34/247.13 c 247 64632 1379 1 - 9.0000 -
251.42/252.20 c 252 65993 1408 1 - 9.0000 -
256.41/257.23 c 257 67183 1466 1 - 9.0000 -
261.39/262.27 c 262 69120 1508 1 - 9.0000 -
266.58/267.41 c 267 70562 1533 1 - 9.0000 -
271.57/272.47 c 272 71929 1633 1 - 9.0000 -
276.65/277.52 c 278 73450 1669 1 - 9.0000 -
281.64/282.57 c 283 75354 1708 1 - 9.0000 -
286.72/287.63 c 288 77101 1664 1 - 9.0000 -
291.71/292.68 c 293 78598 1735 1 - 9.0000 -
296.80/297.72 c 298 80080 1713 1 - 9.0000 -
301.78/302.79 c 303 81444 1712 1 - 9.0000 -
306.86/307.90 c 308 81848 39 1 - 9.0000 -
311.95/312.99 c 313 82245 234 1 - 9.0000 -
317.05/318.05 c 318 83325 267 1 - 9.0000 -
322.13/323.12 c 323 84341 287 1 - 9.0000 -
327.12/328.17 c 328 85258 304 1 - 9.0000 -
332.20/333.21 c 333 86280 326 1 - 9.0000 -
337.18/338.27 c 338 87276 313 1 - 9.0000 -
342.27/343.31 c 343 88122 312 1 - 9.0000 -
347.25/348.37 c 348 89141 323 1 - 9.0000 -
352.34/353.42 c 353 90263 321 1 - 9.0000 -
357.33/358.47 c 358 91224 329 1 - 9.0000 -
362.42/363.56 c 364 92163 321 1 - 9.0000 -
367.50/368.61 c 369 93256 383 1 - 9.0000 -
372.48/373.67 c 374 94265 424 1 - 9.0000 -
377.57/378.71 c 379 95166 439 1 - 9.0000 -
382.56/383.77 c 384 96198 438 1 - 9.0000 -
387.95/389.13 c 389 97116 457 1 - 9.0000 -
393.13/394.34 c 394 97968 539 1 - 9.0000 -
398.22/399.40 c 399 98926 585 1 - 9.0000 -
403.21/404.49 c 404 99679 654 1 - 9.0000 -
408.29/409.56 c 410 100248 658 1 - 9.0000 -
413.37/414.62 c 415 101126 667 1 - 9.0000 -
418.46/419.70 c 420 101967 670 1 - 9.0000 -
423.45/424.79 c 425 102681 664 1 - 9.0000 -
428.54/429.87 c 430 103382 684 1 - 9.0000 -
433.62/434.92 c 435 104037 707 1 - 9.0000 -
438.71/440.01 c 440 104821 718 1 - 9.0000 -
443.70/445.06 c 445 105590 746 1 - 9.0000 -
448.79/450.11 c 450 106262 735 1 - 9.0000 -
453.78/455.18 c 455 106814 724 1 - 9.0000 -
458.86/460.23 c 460 107432 735 1 - 9.0000 -
463.94/465.31 c 465 108184 745 1 - 9.0000 -
468.93/470.37 c 470 108837 796 1 - 9.0000 -
474.02/475.43 c 475 109540 829 1 - 9.0000 -
479.10/480.50 c 480 110230 835 1 - 9.0000 -
484.09/485.57 c 486 110841 854 1 - 9.0000 -
489.17/490.63 c 491 111520 850 1 - 9.0000 -
494.16/495.69 c 496 112201 875 1 - 9.0000 -
499.25/500.73 c 501 112977 873 1 - 9.0000 -
504.33/505.82 c 506 113613 906 1 - 9.0000 -
509.32/510.86 c 511 114475 922 1 - 9.0000 -
514.40/515.95 c 516 115310 920 1 - 9.0000 -
519.50/521.00 c 521 116227 937 1 - 9.0000 -
524.48/526.05 c 526 116938 1006 1 - 9.0000 -
529.57/531.10 c 531 118132 1031 1 - 9.0000 -
534.55/536.17 c 536 118740 1057 1 - 9.0000 -
539.63/541.23 c 541 119465 1175 1 - 9.0000 -
544.62/546.27 c 546 120079 1248 1 - 9.0000 -
549.71/551.36 c 551 120578 1277 1 - 9.0000 -
554.79/556.41 c 556 121281 1321 1 - 9.0000 -
559.87/561.55 c 562 121866 1373 1 - 9.0000 -
564.97/566.63 c 567 122541 1448 1 - 9.0000 -
569.95/571.69 c 572 123483 1490 1 - 9.0000 -
575.04/576.74 c 577 124500 1491 1 - 9.0000 -
580.12/581.81 c 582 125449 1476 1 - 9.0000 -
585.11/586.87 c 587 126298 1484 1 - 9.0000 -
590.19/591.91 c 592 127109 1484 1 - 9.0000 -
595.18/596.97 c 597 128051 1490 1 - 9.0000 -
600.27/602.04 c 602 128873 1492 1 - 9.0000 -
605.25/607.09 c 607 129591 1525 1 - 9.0000 -
610.35/612.15 c 612 130403 1567 1 - 9.0000 -
615.42/617.23 c 617 131081 1594 1 - 9.0000 -
620.41/622.29 c 622 131723 1626 1 - 9.0000 -
625.50/627.34 c 627 132371 1627 1 - 9.0000 -
630.48/632.39 c 632 133021 1677 1 - 9.0000 -
635.67/637.50 c 638 133811 1775 1 - 9.0000 -
640.66/642.59 c 643 134414 1810 1 - 9.0000 -
645.74/647.65 c 648 135135 1831 1 - 9.0000 -
650.83/652.70 c 653 135965 1848 1 - 9.0000 -
655.81/657.74 c 658 136791 1840 1 - 9.0000 -
660.80/662.79 c 663 137451 1850 1 - 9.0000 -
665.89/667.86 c 668 138342 1861 1 - 9.0000 -
670.97/672.91 c 673 139275 1872 1 - 9.0000 -
675.96/677.97 c 678 140247 1866 1 - 9.0000 -
681.05/683.02 c 683 141109 1881 1 - 9.0000 -
686.13/688.11 c 688 141808 1908 1 - 9.0000 -
691.13/693.17 c 693 142698 1932 1 - 9.0000 -
696.20/698.26 c 698 143269 1952 1 - 9.0000 -
701.29/703.33 c 703 144060 2022 1 - 9.0000 -
706.38/708.41 c 708 144669 2063 1 - 9.0000 -
711.37/713.45 c 713 145298 2070 1 - 9.0000 -
716.45/718.53 c 719 146113 2115 1 - 9.0000 -
721.54/723.61 c 724 146813 2150 1 - 9.0000 -
726.52/728.65 c 729 147499 2205 1 - 9.0000 -
731.62/733.72 c 734 148244 2231 1 - 9.0000 -
736.60/738.77 c 739 148957 2281 1 - 9.0000 -
741.69/743.84 c 744 149674 2371 1 - 9.0000 -
746.78/748.90 c 749 150277 2428 1 - 9.0000 -
751.76/753.96 c 754 150930 2446 1 - 9.0000 -
756.85/759.07 c 759 151578 2477 1 - 9.0000 -
761.94/764.15 c 764 152198 2491 1 - 9.0000 -
767.02/769.22 c 769 152868 2510 1 - 9.0000 -
772.00/774.29 c 774 153364 2537 1 - 9.0000 -
777.09/779.34 c 779 154004 2542 1 - 9.0000 -
782.17/784.40 c 784 154648 2526 1 - 9.0000 -
787.17/789.49 c 790 155300 2540 1 - 9.0000 -
792.25/794.54 c 795 156147 2549 1 - 9.0000 -
797.34/799.64 c 800 157026 2587 1 - 9.0000 -
802.42/804.71 c 805 158001 2619 1 - 9.0000 -
807.51/809.80 c 810 158655 2618 1 - 9.0000 -
812.49/814.88 c 815 159305 2627 1 - 9.0000 -
817.58/819.93 c 820 160208 2627 1 - 9.0000 -
822.67/825.00 c 825 160925 2662 1 - 9.0000 -
827.66/830.05 c 830 161656 2710 1 - 9.0000 -
832.94/835.38 c 835 162219 2719 1 - 9.0000 -
838.02/840.44 c 840 162887 2730 1 - 9.0000 -
843.11/845.52 c 846 163558 2748 1 - 9.0000 -
848.10/850.56 c 851 164176 2771 1 - 9.0000 -
853.18/855.63 c 856 164872 2788 1 - 9.0000 -
858.17/860.69 c 861 165549 2880 1 - 9.0000 -
863.25/865.77 c 866 166192 2907 1 - 9.0000 -
868.35/870.81 c 871 166927 2924 1 - 9.0000 -
873.33/875.87 c 876 168119 2922 1 - 9.0000 -
878.42/880.92 c 881 168883 2930 1 - 9.0000 -
883.40/885.97 c 886 169586 2987 1 - 9.0000 -
888.49/891.03 c 891 170298 3021 1 - 9.0000 -
893.59/896.12 c 896 170964 3033 1 - 9.0000 -
898.66/901.21 c 901 171619 3046 1 - 9.0000 -
903.65/906.27 c 906 172257 3065 1 - 9.0000 -
908.74/911.33 c 911 173141 3096 1 - 9.0000 -
913.82/916.40 c 916 174019 3110 1 - 9.0000 -
918.81/921.47 c 921 174983 3120 1 - 9.0000 -
923.89/926.51 c 927 176153 3153 1 - 9.0000 -
928.88/931.56 c 932 177380 3200 1 - 9.0000 -
933.97/936.62 c 937 178535 3176 1 - 9.0000 -
938.95/941.68 c 942 179465 3181 1 - 9.0000 -
944.04/946.73 c 947 180470 3192 1 - 9.0000 -
949.03/951.79 c 952 181534 3212 1 - 9.0000 -
954.11/956.84 c 957 182312 3217 1 - 9.0000 -
959.10/961.89 c 962 183175 3220 1 - 9.0000 -
964.18/966.95 c 967 184038 3224 1 - 9.0000 -
969.28/972.01 c 972 184835 3238 1 - 9.0000 -
974.26/977.07 c 977 185689 3224 1 - 9.0000 -
979.35/982.11 c 982 186418 3238 1 - 9.0000 -
984.33/987.18 c 987 187294 3225 1 - 9.0000 -
989.42/992.24 c 992 188138 3224 1 - 9.0000 -
994.50/997.30 c 997 188991 3227 1 - 9.0000 -
999.79/1002.63 c 1003 189676 3221 1 - 9.0000 -
1004.77/1007.67 c 1008 190450 3229 1 - 9.0000 -
1009.85/1012.74 c 1013 191471 3242 1 - 9.0000 -
1014.95/1017.81 c 1018 192444 3282 1 - 9.0000 -
1019.93/1022.85 c 1023 193220 3273 1 - 9.0000 -
1025.01/1027.90 c 1028 193961 3259 1 - 9.0000 -
1030.00/1032.95 c 1033 194675 3230 1 - 9.0000 -
1035.09/1038.01 c 1038 195566 3207 1 - 9.0000 -
1040.08/1043.07 c 1043 196297 3216 1 - 9.0000 -
1045.17/1048.15 c 1048 197006 3244 1 - 9.0000 -
1050.24/1053.22 c 1053 197787 3291 1 - 9.0000 -
1055.33/1058.33 c 1058 198483 3329 1 - 9.0000 -
1060.32/1063.39 c 1063 199147 3351 1 - 9.0000 -
1065.40/1068.45 c 1068 199915 3380 1 - 9.0000 -
1070.49/1073.50 c 1074 200806 3408 1 - 9.0000 -
1075.47/1078.55 c 1079 201652 3494 1 - 9.0000 -
1080.56/1083.61 c 1084 203106 3614 1 - 9.0000 -
1085.55/1088.66 c 1089 204206 3626 1 - 9.0000 -
1090.64/1093.74 c 1094 204826 3638 1 - 9.0000 -
1095.72/1098.81 c 1099 205472 3646 1 - 9.0000 -
1100.71/1103.85 c 1104 206157 3667 1 - 9.0000 -
1105.79/1108.92 c 1109 206759 3697 1 - 9.0000 -
1110.79/1113.99 c 1114 207356 3723 1 - 9.0000 -
1115.88/1119.04 c 1119 207902 3750 1 - 9.0000 -
1120.96/1124.12 c 1124 208932 3800 1 - 9.0000 -
1126.05/1129.22 c 1129 209979 3808 1 - 9.0000 -
1131.03/1134.28 c 1134 210727 3850 1 - 9.0000 -
1136.11/1139.33 c 1139 211383 3888 1 - 9.0000 -
1141.20/1144.41 c 1144 212043 3887 1 - 9.0000 -
1146.19/1149.45 c 1149 212717 3942 1 - 9.0000 -
1151.27/1154.51 c 1155 213465 3951 1 - 9.0000 -
1156.26/1159.56 c 1160 214094 3981 1 - 9.0000 -
1161.35/1164.63 c 1165 214805 4015 1 - 9.0000 -
1166.33/1169.68 c 1170 215459 4060 1 - 9.0000 -
1171.42/1174.72 c 1175 216187 4075 1 - 9.0000 -
1176.40/1179.77 c 1180 217072 4081 1 - 9.0000 -
1181.50/1184.84 c 1185 217892 4118 1 - 9.0000 -
1186.48/1189.89 c 1190 218702 4100 1 - 9.0000 -
1191.56/1194.94 c 1195 219612 4093 1 - 9.0000 -
1197.25/1200.61 c 1201 220365 4087 1 - 9.0000 -
1202.24/1205.66 c 1206 221219 4049 1 - 9.0000 -
1207.33/1210.71 c 1211 222123 4060 1 - 9.0000 -
1212.31/1215.76 c 1216 223314 4047 1 - 9.0000 -
1217.39/1220.82 c 1221 224424 4061 1 - 9.0000 -
1222.38/1225.86 c 1226 225507 4042 1 - 9.0000 -
1227.47/1230.91 c 1231 226450 4029 1 - 9.0000 -
1232.45/1235.97 c 1236 227672 4035 1 - 9.0000 -
1237.54/1241.04 c 1241 228634 4037 1 - 9.0000 -
1242.53/1246.08 c 1246 229508 4056 1 - 9.0000 -
1247.61/1251.13 c 1251 230530 4070 1 - 9.0000 -
1253.60/1257.14 c 1257 231418 4078 1 - 9.0000 -
1258.58/1262.19 c 1262 232517 4084 1 - 9.0000 -
1263.67/1267.25 c 1267 233586 4081 1 - 9.0000 -
1268.65/1272.29 c 1272 234601 4089 1 - 9.0000 -
1273.73/1277.36 c 1277 235569 4101 1 - 9.0000 -
1278.83/1282.40 c 1282 236664 4087 1 - 9.0000 -
1283.81/1287.48 c 1287 237463 4067 1 - 9.0000 -
1288.90/1292.53 c 1293 238419 4068 1 - 9.0000 -
1293.88/1297.58 c 1298 239531 4115 1 - 9.0000 -
1298.96/1302.63 c 1303 240515 4114 1 - 9.0000 -
1303.95/1307.67 c 1308 241581 4091 1 - 9.0000 -
1309.04/1312.74 c 1313 242464 4079 1 - 9.0000 -
1314.02/1317.79 c 1318 243310 4122 1 - 9.0000 -
1319.11/1322.85 c 1323 244200 4118 1 - 9.0000 -
1324.19/1327.92 c 1328 244957 4128 1 - 9.0000 -
1329.18/1332.99 c 1333 245696 4153 1 - 9.0000 -
1334.27/1338.03 c 1338 246413 4146 1 - 9.0000 -
1339.25/1343.10 c 1343 247251 4184 1 - 9.0000 -
1344.33/1348.16 c 1348 247959 4209 1 - 9.0000 -
1349.42/1353.22 c 1353 248770 4236 1 - 9.0000 -
1354.50/1358.30 c 1358 249365 4288 1 - 9.0000 -
1359.49/1363.35 c 1363 250127 4309 1 - 9.0000 -
1364.58/1368.41 c 1368 250947 4351 1 - 9.0000 -
1369.56/1373.48 c 1373 251509 4409 1 - 9.0000 -
1374.65/1378.55 c 1379 252164 4459 1 - 9.0000 -
1379.74/1383.61 c 1384 252881 4497 1 - 9.0000 -
1384.73/1388.66 c 1389 253771 4510 1 - 9.0000 -
1389.81/1393.72 c 1394 254461 4546 1 - 9.0000 -
1394.80/1398.79 c 1399 255229 4599 1 - 9.0000 -
1399.88/1403.87 c 1404 255982 4615 1 - 9.0000 -
1404.97/1408.92 c 1409 256719 4642 1 - 9.0000 -
1410.06/1414.02 c 1414 257391 4664 1 - 9.0000 -
1415.05/1419.07 c 1419 258050 4679 1 - 9.0000 -
1420.14/1424.16 c 1424 258732 4712 1 - 9.0000 -
1425.22/1429.22 c 1429 259536 4764 1 - 9.0000 -
1430.20/1434.28 c 1434 260287 4816 1 - 9.0000 -
1435.29/1439.33 c 1439 261458 4855 1 - 9.0000 -
1440.38/1444.41 c 1444 262187 4871 1 - 9.0000 -
1445.36/1449.46 c 1449 263084 4899 1 - 9.0000 -
1450.45/1454.51 c 1455 263773 4933 1 - 9.0000 -
1455.44/1459.57 c 1460 264542 4961 1 - 9.0000 -
1460.52/1464.63 c 1465 265306 5053 1 - 9.0000 -
1465.51/1469.69 c 1470 266089 5096 1 - 9.0000 -
1470.59/1474.75 c 1475 266831 5118 1 - 9.0000 -
1475.89/1480.09 c 1480 267494 5120 1 - 9.0000 -
1480.97/1485.15 c 1485 268206 5122 1 - 9.0000 -
1486.06/1490.21 c 1490 269027 5132 1 - 9.0000 -
1491.04/1495.26 c 1495 269912 5165 1 - 9.0000 -
1496.12/1500.36 c 1500 270569 5174 1 - 9.0000 -
1501.22/1505.42 c 1505 271174 5210 1 - 9.0000 -
1506.21/1510.49 c 1510 271805 5223 1 - 9.0000 -
1511.29/1515.54 c 1516 272350 5215 1 - 9.0000 -
1516.28/1520.58 c 1521 272899 5231 1 - 9.0000 -
1521.36/1525.67 c 1526 273569 5243 1 - 9.0000 -
1526.45/1530.74 c 1531 274126 5248 1 - 9.0000 -
1531.54/1535.83 c 1536 274816 5282 1 - 9.0000 -
1536.62/1540.91 c 1541 275411 5312 1 - 9.0000 -
1541.61/1545.96 c 1546 276066 5339 1 - 9.0000 -
1546.70/1551.03 c 1551 276764 5354 1 - 9.0000 -
1551.68/1556.09 c 1556 277430 5377 1 - 9.0000 -
1556.77/1561.15 c 1561 278089 5423 1 - 9.0000 -
1561.85/1566.20 c 1566 278811 5464 1 - 9.0000 -
1566.83/1571.25 c 1571 279559 5502 1 - 9.0000 -
1571.92/1576.31 c 1576 280637 5560 1 - 9.0000 -
1576.91/1581.36 c 1581 281697 5571 1 - 9.0000 -
1582.00/1586.42 c 1586 282682 5592 1 - 9.0000 -
1586.98/1591.49 c 1591 283365 5623 1 - 9.0000 -
1592.06/1596.54 c 1597 284191 5652 1 - 9.0000 -
1597.06/1601.58 c 1602 284942 5677 1 - 9.0000 -
1602.14/1606.64 c 1607 285704 5698 1 - 9.0000 -
1607.13/1611.70 c 1612 286385 5718 1 - 9.0000 -
1612.21/1616.77 c 1617 287051 5740 1 - 9.0000 -
1617.30/1621.85 c 1622 287913 5753 1 - 9.0000 -
1622.39/1626.91 c 1627 288592 5775 1 - 9.0000 -
1627.37/1631.98 c 1632 289267 5785 1 - 9.0000 -
1632.46/1637.03 c 1637 289977 5834 1 - 9.0000 -
1637.45/1642.08 c 1642 290521 5867 1 - 9.0000 -
1642.53/1647.16 c 1647 291211 5874 1 - 9.0000 -
1647.62/1652.23 c 1652 291787 5888 1 - 9.0000 -
1652.71/1657.33 c 1657 292555 5894 1 - 9.0000 -
1657.69/1662.38 c 1662 293242 5925 1 - 9.0000 -
1662.77/1667.44 c 1667 293850 5958 1 - 9.0000 -
1667.77/1672.48 c 1672 294431 5965 1 - 9.0000 -
1672.86/1677.55 c 1678 295086 5983 1 - 9.0000 -
1677.94/1682.60 c 1683 295937 5991 1 - 9.0000 -
1682.92/1687.65 c 1688 296975 5998 1 - 9.0000 -
1688.01/1692.74 c 1693 297716 5988 1 - 9.0000 -
1693.09/1697.81 c 1698 298433 5995 1 - 9.0000 -
1698.09/1702.85 c 1703 299312 6079 1 - 9.0000 -
1703.17/1707.90 c 1708 300240 6079 1 - 9.0000 -
1708.16/1712.95 c 1713 301133 6133 1 - 9.0000 -
1713.25/1718.01 c 1718 301948 6163 1 - 9.0000 -
1718.23/1723.07 c 1723 302701 6132 1 - 9.0000 -
1723.33/1728.12 c 1728 303495 6122 1 - 9.0000 -
1728.31/1733.17 c 1733 304353 6121 1 - 9.0000 -
1733.39/1738.22 c 1738 305227 6112 1 - 9.0000 -
1738.38/1743.27 c 1743 306015 6096 1 - 9.0000 -
1743.46/1748.35 c 1748 306880 6146 1 - 9.0000 -
1748.55/1753.40 c 1753 307717 6175 1 - 9.0000 -
1753.54/1758.45 c 1758 308482 6178 1 - 9.0000 -
1758.62/1763.50 c 1764 309345 6168 1 - 9.0000 -
1763.61/1768.56 c 1769 310439 6168 1 - 9.0000 -
1768.70/1773.61 c 1774 311556 6150 1 - 9.0000 -
1773.68/1778.66 c 1779 312376 6168 1 - 9.0000 -
1778.77/1783.70 c 1784 313121 6173 1 - 9.0000 -
1783.76/1788.77 c 1789 313875 6163 1 - 9.0000 -
1788.85/1793.81 c 1794 315114 6181 1 - 9.0000 -
1793.83/1798.86 c 1799 315848 6169 1 - 9.0000 -
1798.91/1803.92 c 1804 316789 6189 1 - 9.0000 -
1804.01/1809.00 c 1809 317292 6207 1 - 9.0000 -
1808.99/1814.04 c 1814 317852 6213 1 - 9.0000 -
1814.08/1819.14 c 1819 318562 6229 1 - 9.0000 -
1819.06/1824.19 c 1824 319296 6272 1 - 9.0000 -
1824.15/1829.24 c 1829 319985 6279 1 - 9.0000 -
1829.14/1834.29 c 1834 320692 6276 1 - 9.0000 -
1834.22/1839.34 c 1839 321397 6286 1 - 9.0000 -
1839.31/1844.40 c 1844 322146 6281 1 - 9.0000 -
1844.29/1849.48 c 1849 322935 6278 1 - 9.0000 -
1849.38/1854.53 c 1855 323718 6309 1 - 9.0000 -
1854.47/1859.62 c 1860 324442 6332 1 - 9.0000 -
1859.45/1864.67 c 1865 325038 6340 1 - 9.0000 -
1864.54/1869.73 c 1870 325817 6358 1 - 9.0000 -
1869.62/1874.81 c 1875 326504 6374 1 - 9.0000 -
1874.61/1879.87 c 1880 327277 6412 1 - 9.0000 -
1879.70/1884.93 c 1885 328012 6426 1 - 9.0000 -
1884.68/1889.97 c 1890 329031 6460 1 - 9.0000 -
1889.78/1895.04 c 1895 329910 6448 1 - 9.0000 -
1894.86/1900.13 c 1900 330631 6480 1 - 9.0000 -
1899.85/1905.17 c 1905 331317 6520 1 - 9.0000 -
1904.93/1910.22 c 1910 332125 6507 1 - 9.0000 -
1909.92/1915.28 c 1915 332876 6565 1 - 9.0000 -
1915.00/1920.35 c 1920 333742 6594 1 - 9.0000 -
1919.99/1925.39 c 1925 334403 6624 1 - 9.0000 -
1925.08/1930.45 c 1930 335207 6638 1 - 9.0000 -
1930.16/1935.51 c 1936 335897 6649 1 - 9.0000 -
1935.15/1940.58 c 1941 336797 6680 1 - 9.0000 -
1940.23/1945.63 c 1946 337572 6694 1 - 9.0000 -
1945.33/1950.70 c 1951 338145 6710 1 - 9.0000 -
1950.31/1955.76 c 1956 338790 6720 1 - 9.0000 -
1955.40/1960.82 c 1961 339722 6774 1 - 9.0000 -
1960.38/1965.87 c 1966 340445 6805 1 - 9.0000 -
1965.47/1970.92 c 1971 341440 6854 1 - 9.0000 -
1970.45/1975.98 c 1976 342179 6862 1 - 9.0000 -
1975.55/1981.04 c 1981 342878 6865 1 - 9.0000 -
1980.63/1986.11 c 1986 343613 6858 1 - 9.0000 -
1985.62/1991.16 c 1991 344334 6867 1 - 9.0000 -
1990.70/1996.22 c 1996 345171 6869 1 - 9.0000 -
1995.69/2001.27 c 2001 345859 6880 1 - 9.0000 -
2000.77/2006.32 c 2006 346697 6905 1 - 9.0000 -
2005.77/2011.38 c 2011 347734 6895 1 - 9.0000 -
2010.85/2016.43 c 2016 348432 6939 1 - 9.0000 -
2015.93/2021.53 c 2022 348993 6970 1 - 9.0000 -
2020.93/2026.59 c 2027 349768 6947 1 - 9.0000 -
2026.01/2031.68 c 2032 350285 6973 1 - 9.0000 -
2031.09/2036.75 c 2037 350922 6976 1 - 9.0000 -
2036.29/2041.99 c 2042 351423 6985 1 - 9.0000 -
2041.38/2047.06 c 2047 351949 7008 1 - 9.0000 -
2046.46/2052.14 c 2052 352416 6970 1 - 9.0000 -
2051.54/2057.22 c 2057 353075 7008 1 - 9.0000 -
2056.53/2062.27 c 2062 353686 7016 1 - 9.0000 -
2061.61/2067.34 c 2067 354212 7040 1 - 9.0000 -
2066.70/2072.41 c 2072 354817 7074 1 - 9.0000 -
2071.79/2077.51 c 2078 355386 7099 1 - 9.0000 -
2076.77/2082.58 c 2083 356029 7093 1 - 9.0000 -
2081.86/2087.65 c 2088 356806 7138 1 - 9.0000 -
2086.95/2092.70 c 2093 357788 7162 1 - 9.0000 -
2091.94/2097.75 c 2098 358726 7165 1 - 9.0000 -
2097.02/2102.81 c 2103 359590 7190 1 - 9.0000 -
2102.00/2107.89 c 2108 360331 7192 1 - 9.0000 -
2107.10/2112.96 c 2113 361326 7194 1 - 9.0000 -
2112.18/2118.02 c 2118 362218 7194 1 - 9.0000 -
2117.17/2123.06 c 2123 363165 7202 1 - 9.0000 -
2122.26/2128.12 c 2128 363987 7205 1 - 9.0000 -
2127.25/2133.18 c 2133 364783 7223 1 - 9.0000 -
2132.33/2138.25 c 2138 365634 7226 1 - 9.0000 -
2137.41/2143.30 c 2143 366460 7241 1 - 9.0000 -
2142.40/2148.36 c 2148 367268 7228 1 - 9.0000 -
2147.49/2153.41 c 2153 368111 7229 1 - 9.0000 -
2152.47/2158.47 c 2158 368947 7230 1 - 9.0000 -
2157.56/2163.52 c 2164 369748 7223 1 - 9.0000 -
2162.55/2168.57 c 2169 370643 7220 1 - 9.0000 -
2167.63/2173.63 c 2174 371504 7225 1 - 9.0000 -
2172.62/2178.68 c 2179 372339 7227 1 - 9.0000 -
2177.71/2183.74 c 2184 373108 7229 1 - 9.0000 -
2182.69/2188.79 c 2189 373927 7262 1 - 9.0000 -
2187.77/2193.85 c 2194 374643 7259 1 - 9.0000 -
2192.85/2198.91 c 2199 375446 7281 1 - 9.0000 -
2197.84/2203.97 c 2204 376208 7287 1 - 9.0000 -
2202.92/2209.03 c 2209 376999 7298 1 - 9.0000 -
2207.90/2214.09 c 2214 377857 7297 1 - 9.0000 -
2212.98/2219.15 c 2219 378854 7297 1 - 9.0000 -
2217.97/2224.20 c 2224 379641 7302 1 - 9.0000 -
2223.04/2229.24 c 2229 380372 7313 1 - 9.0000 -
2228.12/2234.30 c 2234 381136 7319 1 - 9.0000 -
2233.11/2239.36 c 2239 381943 7307 1 - 9.0000 -
2238.19/2244.40 c 2244 382657 7325 1 - 9.0000 -
2243.17/2249.46 c 2249 383535 7318 1 - 9.0000 -
2248.25/2254.52 c 2255 384489 7321 1 - 9.0000 -
2253.24/2259.58 c 2260 385322 7321 1 - 9.0000 -
2258.32/2264.62 c 2265 386224 7323 1 - 9.0000 -
2263.30/2269.67 c 2270 387069 7320 1 - 9.0000 -
2268.39/2274.73 c 2275 387974 7310 1 - 9.0000 -
2273.37/2279.79 c 2280 388960 7301 1 - 9.0000 -
2278.45/2284.85 c 2285 389768 7327 1 - 9.0000 -
2283.53/2289.91 c 2290 390594 7340 1 - 9.0000 -
2288.51/2294.95 c 2295 391426 7349 1 - 9.0000 -
2293.60/2300.01 c 2300 392289 7355 1 - 9.0000 -
2298.58/2305.09 c 2305 393121 7341 1 - 9.0000 -
2303.66/2310.13 c 2310 393941 7349 1 - 9.0000 -
2308.65/2315.18 c 2315 394812 7344 1 - 9.0000 -
2313.72/2320.24 c 2320 395592 7336 1 - 9.0000 -
2318.71/2325.29 c 2325 396488 7346 1 - 9.0000 -
2323.79/2330.35 c 2330 397315 7346 1 - 9.0000 -
2328.77/2335.40 c 2335 398179 7380 1 - 9.0000 -
2333.85/2340.45 c 2340 399047 7389 1 - 9.0000 -
2339.23/2345.80 c 2346 399834 7373 1 - 9.0000 -
2344.21/2350.87 c 2351 400589 7382 1 - 9.0000 -
2349.29/2355.92 c 2356 401370 7403 1 - 9.0000 -
2354.27/2360.97 c 2361 402240 7416 1 - 9.0000 -
2359.36/2366.01 c 2366 403080 7406 1 - 9.0000 -
2364.35/2371.06 c 2371 403921 7409 1 - 9.0000 -
2369.43/2376.13 c 2376 404789 7405 1 - 9.0000 -
2374.40/2381.18 c 2381 405615 7416 1 - 9.0000 -
2379.49/2386.23 c 2386 406415 7419 1 - 9.0000 -
2384.57/2391.31 c 2391 407165 7418 1 - 9.0000 -
2389.55/2396.37 c 2396 408004 7412 1 - 9.0000 -
2394.63/2401.43 c 2401 408896 7406 1 - 9.0000 -
2399.62/2406.48 c 2406 409704 7394 1 - 9.0000 -
2404.69/2411.55 c 2412 410642 7396 1 - 9.0000 -
2409.67/2416.59 c 2417 411619 7397 1 - 9.0000 -
2414.76/2421.65 c 2422 412566 7396 1 - 9.0000 -
2419.74/2426.69 c 2427 413452 7383 1 - 9.0000 -
2424.82/2431.75 c 2432 414284 7369 1 - 9.0000 -
2429.90/2436.80 c 2437 415147 7384 1 - 9.0000 -
2434.88/2441.87 c 2442 416022 7389 1 - 9.0000 -
2439.96/2446.92 c 2447 416907 7392 1 - 9.0000 -
2444.95/2451.97 c 2452 417765 7379 1 - 9.0000 -
2450.03/2457.03 c 2457 418708 7383 1 - 9.0000 -
2455.02/2462.07 c 2462 419591 7405 1 - 9.0000 -
2460.10/2467.13 c 2467 420627 7419 1 - 9.0000 -
2465.08/2472.19 c 2472 421644 7424 1 - 9.0000 -
2470.16/2477.24 c 2477 422547 7467 1 - 9.0000 -
2475.14/2482.28 c 2482 423469 7463 1 - 9.0000 -
2480.22/2487.33 c 2487 424301 7453 1 - 9.0000 -
2485.20/2492.39 c 2492 425269 7447 1 - 9.0000 -
2490.29/2497.44 c 2497 426179 7452 1 - 9.0000 -
2495.27/2502.49 c 2502 427054 7471 1 - 9.0000 -
2500.35/2507.55 c 2508 427940 7474 1 - 9.0000 -
2505.33/2512.59 c 2513 428833 7493 1 - 9.0000 -
2510.42/2517.65 c 2518 429682 7488 1 - 9.0000 -
2515.40/2522.69 c 2523 430639 7518 1 - 9.0000 -
2520.48/2527.75 c 2528 431485 7525 1 - 9.0000 -
2525.56/2532.80 c 2533 432287 7529 1 - 9.0000 -
2530.54/2537.85 c 2538 433086 7535 1 - 9.0000 -
2535.63/2542.91 c 2543 433973 7563 1 - 9.0000 -
2540.61/2547.95 c 2548 434845 7562 1 - 9.0000 -
2545.69/2553.02 c 2553 435714 7565 1 - 9.0000 -
2550.68/2558.07 c 2558 436598 7567 1 - 9.0000 -
2555.76/2563.12 c 2563 437360 7560 1 - 9.0000 -
2560.74/2568.18 c 2568 438142 7554 1 - 9.0000 -
2565.81/2573.23 c 2573 438963 7548 1 - 9.0000 -
2570.80/2578.28 c 2578 439752 7545 1 - 9.0000 -
2575.88/2583.34 c 2583 440510 7542 1 - 9.0000 -
2580.96/2588.40 c 2588 441308 7526 1 - 9.0000 -
2585.94/2593.46 c 2593 442066 7509 1 - 9.0000 -
2591.02/2598.51 c 2599 442793 7501 1 - 9.0000 -
2596.00/2603.58 c 2604 443579 7497 1 - 9.0000 -
2601.09/2608.62 c 2609 444560 7504 1 - 9.0000 -
2606.07/2613.68 c 2614 445504 7509 1 - 9.0000 -
2611.15/2618.73 c 2619 446515 7517 1 - 9.0000 -
2616.13/2623.78 c 2624 447508 7510 1 - 9.0000 -
2621.22/2628.83 c 2629 448477 7503 1 - 9.0000 -
2626.19/2633.88 c 2634 449302 7506 1 - 9.0000 -
2631.27/2638.92 c 2639 450136 7503 1 - 9.0000 -
2636.25/2643.98 c 2644 450903 7498 1 - 9.0000 -
2641.35/2649.02 c 2649 451764 7504 1 - 9.0000 -
2646.82/2654.50 c 2655 452524 7531 1 - 9.0000 -
2651.80/2659.56 c 2660 453402 7539 1 - 9.0000 -
2656.88/2664.61 c 2665 454343 7545 1 - 9.0000 -
2661.87/2669.65 c 2670 455274 7536 1 - 9.0000 -
2666.95/2674.71 c 2675 456213 7526 1 - 9.0000 -
2671.94/2679.76 c 2680 457135 7528 1 - 9.0000 -
2677.01/2684.80 c 2685 458007 7528 1 - 9.0000 -
2681.99/2689.86 c 2690 458886 7547 1 - 9.0000 -
2687.08/2694.90 c 2695 459749 7529 1 - 9.0000 -
2692.06/2699.95 c 2700 460614 7545 1 - 9.0000 -
2697.15/2705.02 c 2705 461367 7545 1 - 9.0000 -
2702.13/2710.07 c 2710 462167 7552 1 - 9.0000 -
2707.21/2715.12 c 2715 463028 7555 1 - 9.0000 -
2712.19/2720.17 c 2720 463992 7577 1 - 9.0000 -
2717.27/2725.22 c 2725 464878 7590 1 - 9.0000 -
2722.25/2730.27 c 2730 465869 7602 1 - 9.0000 -
2727.33/2735.33 c 2735 466734 7603 1 - 9.0000 -
2732.41/2740.40 c 2740 467527 7648 1 - 9.0000 -
2737.40/2745.45 c 2745 468325 7653 1 - 9.0000 -
2742.48/2750.53 c 2751 469101 7643 1 - 9.0000 -
2747.46/2755.58 c 2756 470051 7687 1 - 9.0000 -
2752.54/2760.62 c 2761 470926 7675 1 - 9.0000 -
2757.53/2765.67 c 2766 471798 7684 1 - 9.0000 -
2762.61/2770.72 c 2771 472618 7708 1 - 9.0000 -
2767.59/2775.78 c 2776 473423 7751 1 - 9.0000 -
2772.67/2780.82 c 2781 474171 7757 1 - 9.0000 -
2777.65/2785.88 c 2786 474976 7753 1 - 9.0000 -
2782.74/2790.93 c 2791 475854 7757 1 - 9.0000 -
2787.72/2795.98 c 2796 476701 7760 1 - 9.0000 -
2792.80/2801.04 c 2801 477622 7773 1 - 9.0000 -
2797.79/2806.08 c 2806 478441 7772 1 - 9.0000 -
2802.87/2811.15 c 2811 479308 7769 1 - 9.0000 -
2807.94/2816.21 c 2816 480195 7769 1 - 9.0000 -
2812.93/2821.28 c 2821 481022 7793 1 - 9.0000 -
2818.01/2826.33 c 2826 481914 7798 1 - 9.0000 -
2822.99/2831.38 c 2831 482746 7821 1 - 9.0000 -
2828.07/2836.42 c 2836 483646 7822 1 - 9.0000 -
2833.06/2841.48 c 2841 484434 7830 1 - 9.0000 -
2838.14/2846.53 c 2847 485293 7827 1 - 9.0000 -
2843.22/2851.60 c 2852 486127 7825 1 - 9.0000 -
2848.20/2856.64 c 2857 486947 7844 1 - 9.0000 -
2853.28/2861.70 c 2862 487805 7852 1 - 9.0000 -
2858.26/2866.75 c 2867 488670 7848 1 - 9.0000 -
2863.34/2871.81 c 2872 489510 7839 1 - 9.0000 -
2868.33/2876.85 c 2877 490355 7833 1 - 9.0000 -
2873.41/2881.91 c 2882 491225 7835 1 - 9.0000 -
2878.40/2886.95 c 2887 492143 7842 1 - 9.0000 -
2883.48/2892.01 c 2892 492940 7843 1 - 9.0000 -
2888.46/2897.07 c 2897 493779 7864 1 - 9.0000 -
2893.54/2902.14 c 2902 494557 7875 1 - 9.0000 -
2898.62/2907.20 c 2907 495269 7887 1 - 9.0000 -
2903.61/2912.25 c 2912 495992 7881 1 - 9.0000 -
2908.69/2917.30 c 2917 496873 7905 1 - 9.0000 -
2913.66/2922.35 c 2922 497767 7922 1 - 9.0000 -
2918.65/2927.39 c 2927 498636 7908 1 - 9.0000 -
2923.73/2932.47 c 2932 499462 7907 1 - 9.0000 -
2928.81/2937.52 c 2938 500334 7902 1 - 9.0000 -
2933.80/2942.57 c 2943 501231 7927 1 - 9.0000 -
2938.88/2947.63 c 2948 502104 7937 1 - 9.0000 -
2943.96/2952.70 c 2953 502891 7958 1 - 9.0000 -
2948.94/2957.74 c 2958 503724 7962 1 - 9.0000 -
2954.03/2962.80 c 2963 504573 7960 1 - 9.0000 -
2959.01/2967.86 c 2968 505425 7960 1 - 9.0000 -
2964.09/2972.92 c 2973 506275 7969 1 - 9.0000 -
2969.07/2977.96 c 2978 507160 7953 1 - 9.0000 -
2974.16/2983.02 c 2983 508080 7952 1 - 9.0000 -
2979.14/2988.06 c 2988 508881 7946 1 - 9.0000 -
2984.22/2993.13 c 2993 509641 7960 1 - 9.0000 -
2989.30/2998.29 c 2998 510334 7968 1 - 9.0000 -
2994.38/3003.36 c 3003 511041 7975 1 - 9.0000 -
2999.46/3008.40 c 3008 511839 7969 1 - 9.0000 -
3004.45/3013.45 c 3013 512585 7974 1 - 9.0000 -
3009.53/3018.53 c 3019 513334 7971 1 - 9.0000 -
3014.50/3023.59 c 3024 514157 7974 1 - 9.0000 -
3019.58/3028.64 c 3029 515041 7966 1 - 9.0000 -
3024.57/3033.68 c 3034 515852 7974 1 - 9.0000 -
3029.65/3038.74 c 3039 516708 7980 1 - 9.0000 -
3034.64/3043.80 c 3044 517714 7984 1 - 9.0000 -
3039.72/3048.84 c 3049 518593 7973 1 - 9.0000 -
3044.80/3053.90 c 3054 519427 7965 1 - 9.0000 -
3049.78/3058.95 c 3059 520201 7963 1 - 9.0000 -
3054.87/3064.00 c 3064 520996 7958 1 - 9.0000 -
3059.85/3069.07 c 3069 521755 7987 1 - 9.0000 -
3064.94/3074.12 c 3074 522607 8011 1 - 9.0000 -
3069.92/3079.18 c 3079 523392 8005 1 - 9.0000 -
3075.00/3084.24 c 3084 524218 8011 1 - 9.0000 -
3079.99/3089.28 c 3089 525122 8018 1 - 9.0000 -
3085.08/3094.33 c 3094 526006 8018 1 - 9.0000 -
3090.07/3099.38 c 3099 526755 8019 1 - 9.0000 -
3095.15/3104.43 c 3104 527507 8021 1 - 9.0000 -
3100.14/3109.49 c 3110 528339 8016 1 - 9.0000 -
3105.22/3114.57 c 3115 529279 8012 1 - 9.0000 -
3110.31/3119.61 c 3120 530159 8023 1 - 9.0000 -
3115.30/3124.68 c 3125 530969 8031 1 - 9.0000 -
3120.38/3129.73 c 3130 531740 8049 1 - 9.0000 -
3125.37/3134.78 c 3135 532547 8059 1 - 9.0000 -
3130.46/3139.84 c 3140 533611 8064 1 - 9.0000 -
3135.44/3144.89 c 3145 534559 8073 1 - 9.0000 -
3140.53/3149.94 c 3150 535419 8079 1 - 9.0000 -
3145.51/3154.98 c 3155 536245 8076 1 - 9.0000 -
3150.61/3160.04 c 3160 537037 8068 1 - 9.0000 -
3155.59/3165.09 c 3165 537800 8066 1 - 9.0000 -
3160.68/3170.14 c 3170 538607 8054 1 - 9.0000 -
3165.67/3175.19 c 3175 539466 8065 1 - 9.0000 -
3170.75/3180.25 c 3180 540302 8050 1 - 9.0000 -
3175.84/3185.30 c 3185 541121 8063 1 - 9.0000 -
3180.82/3190.35 c 3190 541915 8053 1 - 9.0000 -
3185.91/3195.41 c 3195 542691 8046 1 - 9.0000 -
3190.89/3200.47 c 3200 543463 8049 1 - 9.0000 -
3195.98/3205.53 c 3206 544265 8048 1 - 9.0000 -
3200.97/3210.58 c 3211 545043 8052 1 - 9.0000 -
3206.05/3215.62 c 3216 545785 8057 1 - 9.0000 -
3211.04/3220.67 c 3221 546565 8075 1 - 9.0000 -
3216.13/3225.74 c 3226 547322 8066 1 - 9.0000 -
3221.11/3230.79 c 3231 548116 8059 1 - 9.0000 -
3226.20/3235.84 c 3236 548841 8065 1 - 9.0000 -
3231.18/3240.89 c 3241 549593 8048 1 - 9.0000 -
3236.27/3245.93 c 3246 550415 8044 1 - 9.0000 -
3241.26/3250.98 c 3251 551221 8048 1 - 9.0000 -
3246.35/3256.03 c 3256 551962 8060 1 - 9.0000 -
3251.34/3261.08 c 3261 552831 8066 1 - 9.0000 -
3256.43/3266.14 c 3266 553679 8069 1 - 9.0000 -
3261.41/3271.19 c 3271 554503 8064 1 - 9.0000 -
3266.49/3276.24 c 3276 555386 8065 1 - 9.0000 -
3271.58/3281.30 c 3281 556370 8055 1 - 9.0000 -
3276.57/3286.36 c 3286 557287 8051 1 - 9.0000 -
3281.65/3291.42 c 3291 558334 8040 1 - 9.0000 -
3286.64/3296.47 c 3296 559449 8058 1 - 9.0000 -
3291.72/3301.52 c 3302 560388 8058 1 - 9.0000 -
3296.71/3306.58 c 3307 561210 8057 1 - 9.0000 -
3301.80/3311.64 c 3312 562118 8067 1 - 9.0000 -
3306.78/3316.70 c 3317 563018 8062 1 - 9.0000 -
3311.87/3321.74 c 3322 563817 8054 1 - 9.0000 -
3316.96/3326.80 c 3327 564648 8055 1 - 9.0000 -
3321.94/3331.87 c 3332 565579 8074 1 - 9.0000 -
3327.03/3336.95 c 3337 566524 8065 1 - 9.0000 -
3332.13/3342.00 c 3342 567546 8073 1 - 9.0000 -
3337.11/3347.04 c 3347 568452 8081 1 - 9.0000 -
3342.09/3352.09 c 3352 569440 8071 1 - 9.0000 -
3347.18/3357.14 c 3357 570324 8077 1 - 9.0000 -
3352.26/3362.20 c 3362 571186 8069 1 - 9.0000 -
3357.25/3367.25 c 3367 572007 8064 1 - 9.0000 -
3362.34/3372.31 c 3372 572844 8080 1 - 9.0000 -
3367.32/3377.36 c 3377 573810 8077 1 - 9.0000 -
3372.41/3382.40 c 3382 574635 8089 1 - 9.0000 -
3377.40/3387.45 c 3387 575688 8096 1 - 9.0000 -
3382.48/3392.51 c 3393 576703 8095 1 - 9.0000 -
3387.46/3397.56 c 3398 577598 8114 1 - 9.0000 -
3392.56/3402.62 c 3403 578511 8110 1 - 9.0000 -
3397.54/3407.67 c 3408 579291 8112 1 - 9.0000 -
3402.62/3412.74 c 3413 580055 8117 1 - 9.0000 -
3407.61/3417.78 c 3418 580923 8139 1 - 9.0000 -
3412.70/3422.84 c 3423 581693 8125 1 - 9.0000 -
3417.68/3427.89 c 3428 582592 8130 1 - 9.0000 -
3422.77/3432.95 c 3433 583574 8120 1 - 9.0000 -
3427.86/3438.00 c 3438 584377 8134 1 - 9.0000 -
3432.85/3443.04 c 3443 585210 8123 1 - 9.0000 -
3437.84/3448.10 c 3448 585983 8143 1 - 9.0000 -
3442.92/3453.16 c 3453 586838 8143 1 - 9.0000 -
3448.00/3458.22 c 3458 587599 8134 1 - 9.0000 -
3452.99/3463.27 c 3463 588347 8140 1 - 9.0000 -
3458.07/3468.33 c 3468 589043 8144 1 - 9.0000 -
3463.06/3473.39 c 3473 589812 8139 1 - 9.0000 -
3468.15/3478.44 c 3478 590578 8139 1 - 9.0000 -
3473.23/3483.50 c 3484 591357 8133 1 - 9.0000 -
3478.22/3488.54 c 3489 592148 8133 1 - 9.0000 -
3483.31/3493.60 c 3494 593005 8140 1 - 9.0000 -
3488.30/3498.65 c 3499 593881 8140 1 - 9.0000 -
3493.38/3503.70 c 3504 594752 8157 1 - 9.0000 -
3498.36/3508.76 c 3509 595691 8133 1 - 9.0000 -
3503.46/3513.82 c 3514 596660 8130 1 - 9.0000 -
3508.44/3518.87 c 3519 597602 8131 1 - 9.0000 -
3513.52/3523.92 c 3524 598486 8121 1 - 9.0000 -
3518.52/3528.99 c 3529 599289 8124 1 - 9.0000 -
3523.60/3534.04 c 3534 600048 8128 1 - 9.0000 -
3528.69/3539.11 c 3539 600871 8125 1 - 9.0000 -
3533.68/3544.17 c 3544 601707 8115 1 - 9.0000 -
3538.76/3549.21 c 3549 602624 8123 1 - 9.0000 -
3543.74/3554.26 c 3554 603552 8109 1 - 9.0000 -
3548.83/3559.32 c 3559 604461 8111 1 - 9.0000 -
3553.82/3564.37 c 3564 605388 8111 1 - 9.0000 -
3558.91/3569.42 c 3569 606260 8109 1 - 9.0000 -
3563.89/3574.49 c 3574 607159 8135 1 - 9.0000 -
3568.98/3579.54 c 3580 608077 8141 1 - 9.0000 -
3573.96/3584.58 c 3585 608966 8138 1 - 9.0000 -
3579.05/3589.63 c 3590 609893 8159 1 - 9.0000 -
3584.04/3594.69 c 3595 610840 8157 1 - 9.0000 -
3589.12/3599.74 c 3600 611818 8154 1 - 9.0000 -
3589.53/3600.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.53/3600.12 c Total Time : 3600.1300
3589.53/3600.12 c solving : 3600.1300
3589.53/3600.12 c presolving : 3.2064 (included in solving)
3589.53/3600.12 c B&B Tree :
3589.53/3600.12 c nodes (total) : 1
3589.53/3600.12 c Solution :
3589.53/3600.12 c Solutions found : 0
3589.53/3600.12 c Primal Bound : -
3589.53/3600.12 c Dual Bound : +9.00000000000000e+00
3589.53/3600.12 c Gap : -
3589.53/3600.15 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62039 MiB free)
memory of node 1: 64510 MiB (60480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434798-1721119074/watcher-4434798-1721119074 -o /tmp/evaluation-result-4434798-1721119074/solver-4434798-1721119074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874154 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434798-1721119074.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=874206, runsolver pid=874199
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 2.31 3.33 3.83 6/256 874217
/proc/meminfo: memFree=125331688/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=70084 memory=57612 CPUtime=0.09 cores=4,6
/proc/874206/stat : 874206 (fscip) R 874199 874206 874143 0 -1 4194304 12447 0 0 0 8 1 0 0 20 0 1 0 164069297 71766016 14403 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 17521 14403 2654 3032 0 13921 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 57612 KiB
[startup+0.206607 s]*
/proc/loadavg: 2.44 3.34 3.83 8/256 874217
/proc/meminfo: memFree=125303936/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=73756 memory=62780 CPUtime=0.21 cores=4,6
/proc/874206/stat : 874206 (fscip) R 874199 874206 874143 0 -1 4194304 16338 0 0 0 19 2 0 0 20 0 1 0 164069297 75526144 15695 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 18439 15695 2734 3032 0 14839 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73756 KiB
Current children cumulated memory: 62780 KiB
[startup+0.306559 s]*
/proc/loadavg: 2.44 3.34 3.83 6/256 874217
/proc/meminfo: memFree=125283716/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=102036 memory=80796 CPUtime=0.3 cores=4,6
/proc/874206/stat : 874206 (fscip) R 874199 874206 874143 0 -1 4194304 20379 0 0 0 28 2 0 0 20 0 1 0 164069297 104484864 20199 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 25509 20199 2782 3032 0 21909 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102036 KiB
Current children cumulated memory: 80796 KiB
[startup+0.700162 s]
/proc/loadavg: 2.44 3.34 3.83 7/256 874217
/proc/meminfo: memFree=125274060/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=108968 memory=87396 CPUtime=0.68 cores=4,6
/proc/874206/stat : 874206 (fscip) R 874199 874206 874143 0 -1 4194304 22030 0 0 0 66 2 0 0 20 0 1 0 164069297 111583232 21849 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 27242 21849 2782 3032 0 23642 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108968 KiB
Current children cumulated memory: 87396 KiB
[startup+1.50016 s]
/proc/loadavg: 2.44 3.34 3.83 6/256 874217
/proc/meminfo: memFree=125211044/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=112996 memory=92412 CPUtime=1.49 cores=4,6
/proc/874206/stat : 874206 (fscip) R 874199 874206 874143 0 -1 4194304 23274 0 0 0 146 3 0 0 20 0 1 0 164069297 115707904 23103 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 28249 23103 2782 3032 0 24649 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 112996 KiB
Current children cumulated memory: 92412 KiB
[startup+3.10597 s]
/proc/loadavg: 2.44 3.34 3.83 6/260 874269
/proc/meminfo: memFree=125023408/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=120040 memory=98748 CPUtime=3.09 cores=4,6
/proc/874206/stat : 874206 (fscip) R 874199 874206 874143 0 -1 4194304 24889 0 0 0 306 3 0 0 20 0 1 0 164069297 122920960 24687 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 30010 24687 2782 3032 0 26410 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120040 KiB
Current children cumulated memory: 98748 KiB
[startup+6.30024 s]
/proc/loadavg: 2.57 3.35 3.83 6/264 874275
/proc/meminfo: memFree=124672192/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=398128 memory=296620 CPUtime=6.27 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 85392 0 0 0 615 12 0 0 20 0 3 0 164069297 407683072 74155 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 99532 74155 2910 3032 0 83522 0
[pid=874206/tid=874270] ppid=874199 vsize=398128 memory=3472275528323710197 CPUtime=2.99 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 45683 0 0 0 294 5 0 0 20 0 3 0 164069623 407683072 74155 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=398128 memory=11544 CPUtime=0 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 164069627 407683072 74155 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 398128 KiB
Current children cumulated memory: 296620 KiB
[startup+12.7002 s]
/proc/loadavg: 2.68 3.36 3.83 6/264 874275
/proc/meminfo: memFree=124596592/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=398128 memory=322716 CPUtime=12.65 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 134798 0 0 0 1249 16 0 0 20 0 3 0 164069297 407683072 80679 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 99532 80679 2910 3032 0 90828 0
[pid=874206/tid=874270] ppid=874199 vsize=398128 memory=-6082507564768213859 CPUtime=9.37 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 95060 0 0 0 928 9 0 0 20 0 3 0 164069623 407683072 80679 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=398128 memory=322320 CPUtime=0 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 164069627 407683072 80679 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 398128 KiB
Current children cumulated memory: 322716 KiB
[startup+25.5003 s]
/proc/loadavg: 2.88 3.38 3.83 6/264 874276
/proc/meminfo: memFree=124526852/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=398128 memory=343048 CPUtime=25.41 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 204373 0 0 0 2519 22 0 0 20 0 3 0 164069297 407683072 85762 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 99532 85762 2910 3032 0 94482 0
[pid=874206/tid=874270] ppid=874199 vsize=398128 memory=11544 CPUtime=22.14 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 164634 0 0 0 2199 15 0 0 20 0 3 0 164069623 407683072 85762 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=398128 memory=296752 CPUtime=0 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 164069627 407683072 85762 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 398128 KiB
Current children cumulated memory: 343048 KiB
[startup+51.106 s]
/proc/loadavg: 3.52 3.49 3.86 6/263 874281
/proc/meminfo: memFree=124474752/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=463664 memory=358252 CPUtime=50.94 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 282448 0 0 0 5065 29 0 0 20 0 3 0 164069297 474791936 89563 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 115916 89563 2958 3032 0 96954 0
[pid=874206/tid=874270] ppid=874199 vsize=463664 memory=353880 CPUtime=47.67 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 242660 0 0 0 4745 22 0 0 20 0 3 0 164069623 474791936 89563 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=463664 memory=353300 CPUtime=0 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 164069627 474791936 89563 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 463664 KiB
Current children cumulated memory: 358252 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 3.60 3.88 6/263 874289
/proc/meminfo: memFree=124408160/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=463664 memory=378280 CPUtime=101.98 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 368623 0 0 0 10159 39 0 0 20 0 3 0 164069297 474791936 94570 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 115916 94570 2958 3032 0 100713 0
[pid=874206/tid=874270] ppid=874199 vsize=463664 memory=371292 CPUtime=98.71 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 328803 0 0 0 9838 33 0 0 20 0 3 0 164069623 474791936 94570 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=463664 memory=11544 CPUtime=0 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 164069627 474791936 94570 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 463664 KiB
Current children cumulated memory: 378280 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.71 3.90 6/265 874304
/proc/meminfo: memFree=124396400/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=463852 memory=382036 CPUtime=161.79 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 408057 0 0 0 16133 46 0 0 20 0 3 0 164069297 474984448 95509 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 115963 95509 2958 3032 0 101333 0
[pid=874206/tid=874270] ppid=874199 vsize=463852 memory=382036 CPUtime=158.52 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 368212 0 0 0 15812 40 0 0 20 0 3 0 164069623 474984448 95509 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=463852 memory=382036 CPUtime=0 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 164069627 474984448 95509 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 463852 KiB
Current children cumulated memory: 382036 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.78 3.91 6/265 874314
/proc/meminfo: memFree=124364628/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=463852 memory=391612 CPUtime=221.61 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 420577 0 0 0 22109 52 0 0 20 0 3 0 164069297 474984448 97903 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 115963 97903 2958 3032 0 103037 0
[pid=874206/tid=874270] ppid=874199 vsize=463852 memory=381916 CPUtime=218.32 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 380721 0 0 0 21787 45 0 0 20 0 3 0 164069623 474984448 97903 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=463852 memory=11544 CPUtime=0 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 164069627 474984448 97903 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 463852 KiB
Current children cumulated memory: 391612 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.84 3.92 6/265 874324
/proc/meminfo: memFree=124326588/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=463852 memory=415356 CPUtime=281.44 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 427880 0 0 0 28089 55 0 0 20 0 3 0 164069297 474984448 103839 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 115963 103839 2958 3032 0 107755 0
[pid=874206/tid=874270] ppid=874199 vsize=463852 memory=11544 CPUtime=278.15 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 388013 0 0 0 27767 48 0 0 20 0 3 0 164069623 474984448 103839 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
################
# More data... #
################
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=11544 CPUtime=3448.58 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 721965 0 0 0 344607 251 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=711844 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 140 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/262 876139
/proc/meminfo: memFree=123204188/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3511.93 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 764012 0 0 0 350924 269 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=711844 CPUtime=3508.41 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 723539 0 0 0 350588 253 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=11544 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 142 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 876150
/proc/meminfo: memFree=123203688/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3571.77 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 765388 0 0 0 356905 272 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=711844 CPUtime=3568.25 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 724904 0 0 0 356569 256 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=43136 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3600.16 s]
# the end of solver process 874206 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.84 s, system=2.74726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/262 876150
/proc/meminfo: memFree=123203648/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3573.47 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 765409 0 0 0 357074 273 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=-6730181486179433323 CPUtime=3569.95 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 724925 0 0 0 356738 257 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=-9044459746194447340 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 876152
/proc/meminfo: memFree=123203584/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3579.84 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 765468 0 0 0 357711 273 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=6720669865226813806 CPUtime=3576.32 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 724984 0 0 0 357375 257 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=711844 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3579.84 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 876154
/proc/meminfo: memFree=123203340/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3586.24 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 765651 0 0 0 358350 274 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=13196 CPUtime=3582.72 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 725167 0 0 0 358014 258 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=711844 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 876154
/proc/meminfo: memFree=123199980/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3587.83 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 765720 0 0 0 358509 274 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=4928 CPUtime=3584.31 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 725236 0 0 0 358173 258 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=635716 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3599.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 876154
/proc/meminfo: memFree=123199696/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3588.63 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 765747 0 0 0 358589 274 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=2580 CPUtime=3585.11 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 725263 0 0 0 358253 258 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=2612 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3588.63 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3599.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 876154
/proc/meminfo: memFree=123199696/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3589.03 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 765764 0 0 0 358629 274 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=11544 CPUtime=3585.51 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 725280 0 0 0 358293 258 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=43136 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.12 4.09 5/262 876154
/proc/meminfo: memFree=123199652/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3589.43 cores=4,6
/proc/874206/stat : 874206 (fscip) R 874199 874206 874143 0 -1 1077936128 766003 0 0 0 358669 274 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=-6730181486179433323 CPUtime=3585.91 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 725519 0 0 0 358333 258 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=-9044459746194447340 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3589.43 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
[startup+3600.11 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 876154
/proc/meminfo: memFree=123199652/131524600 swapFree=131071996/131071996
[pid=874206] ppid=874199 vsize=786348 memory=711844 CPUtime=3589.53 cores=4,6
/proc/874206/stat : 874206 (fscip) S 874199 874206 874143 0 -1 1077936128 766820 0 0 0 358679 274 0 0 20 0 3 0 164069297 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
/proc/874206/statm: 196587 177961 2958 3032 0 181852 0
[pid=874206/tid=874270] ppid=874199 vsize=786348 memory=2244 CPUtime=3586.01 cores=4,6
/proc/874206/task/874270/stat : 874270 (fscip) R 874199 874206 874143 0 -1 4194368 726333 0 0 0 358343 258 0 0 20 0 3 0 164069623 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
[pid=874206/tid=874271] ppid=874199 vsize=786348 memory=711844 CPUtime=0.03 cores=4,6
/proc/874206/task/874271/stat : 874271 (fscip) S 874199 874206 874143 0 -1 1077936192 144 0 0 0 0 3 0 0 20 0 3 0 164069627 805220352 177961 134679101440 4194304 16613245 140737427928880 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31358976 140737427936277 140737427936393 140737427936393 140737427943408 0
Current children cumulated CPU time: 3589.53 s
Current children cumulated vsize: 786348 KiB
Current children cumulated memory: 711844 KiB
Child status: 0
Real time (s): 3600.16
CPU time (s): 3589.59
CPU user time (s): 3586.84
CPU system time (s): 2.74726
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 786348
Max. memory (cumulated for all children) (KiB): 711844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.84
system time used= 2.74726
maximum resident set size= 711844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767816
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= 10789
involuntary context switches= 3419
# summary of solver processes directly reported to runsolver:
# pid: 874206
# total CPU time (s): 3589.59
# total CPU user time (s): 3586.84
# total CPU system time (s): 2.74726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18982 second user time and 18.4985 second system time
The end
Begin job on nodeC017 at 2024-07-16 10:38:07
IDJOB=4434798
IDBENCH=148773
IDSOLVER=3064
FILE ID=nodeC017/4434798-1721119074
RUNJOBID= nodeC017-1721119087-874154
SLURM_JOB_ID= 7505668
Free space on /tmp= 890080 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx92.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-4434798-1721119074/watcher-4434798-1721119074 -o /tmp/evaluation-result-4434798-1721119074/solver-4434798-1721119074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874154 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434798-1721119074.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=1689370645
nodeC017.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 : 3542.213
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3643.578
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3623.116
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3431.277
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3630.565
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.909
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3572.209
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.561
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125462068 kB
MemAvailable: 129715544 kB
Buffers: 403896 kB
Cached: 4643876 kB
SwapCached: 0 kB
Active: 920076 kB
Inactive: 4457900 kB
Active(anon): 1436 kB
Inactive(anon): 366492 kB
Active(file): 918640 kB
Inactive(file): 4091408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114452 kB
Writeback: 8 kB
AnonPages: 330188 kB
Mapped: 103880 kB
Shmem: 37720 kB
KReclaimable: 166152 kB
Slab: 280132 kB
SReclaimable: 166152 kB
SUnreclaim: 113980 kB
KernelStack: 3824 kB
PageTables: 9348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 670696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 215764 kB
DirectMap2M: 24723456 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC017 at 2024-07-16 11:38:07