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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22253568, getVmSize() = 22253568, SCIPgetMemUsed() = 689080, SCIPgetMemTotal() = 780328, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15301290, getVmSize() = 23650304, SCIPgetMemUsed() = 778480, SCIPgetMemTotal() = 1128168, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4445300-1721321839
0.00/0.00 c Variables : 52 (52 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 52 (52 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 1
0.00/0.00 c logicor : 1
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.17/5.20 c 5 18349 990 1 - 0.0000 -
10.16/10.24 c 10 39038 3211 1 - 0.0000 -
15.14/15.29 c 15 53663 5144 1 - 0.0000 -
20.24/20.33 c 20 74374 6647 1 - 0.0000 -
25.22/25.38 c 25 94432 8171 1 - 0.0000 -
30.30/30.43 c 30 112111 9018 1 - 0.0000 -
35.28/35.48 c 35 130777 10244 1 - 0.0000 -
40.37/40.53 c 41 149775 11114 1 - 0.0000 -
45.35/45.58 c 46 167499 12020 1 - 0.0000 -
50.44/50.63 c 51 186977 13260 1 - 0.0000 -
55.42/55.68 c 56 210386 14340 1 - 0.0000 -
60.50/60.73 c 61 228239 15423 1 - 0.0000 -
65.48/65.77 c 66 245797 16401 1 - 0.0000 -
70.57/70.82 c 71 265739 17356 1 - 0.0000 -
75.56/75.87 c 76 282494 18354 1 - 0.0000 -
80.64/80.92 c 81 300988 19198 1 - 0.0000 -
85.62/85.97 c 86 320050 20300 1 - 0.0000 -
90.71/91.02 c 91 336531 21431 1 - 0.0000 -
95.69/96.08 c 96 355034 22639 1 - 0.0000 -
100.77/101.12 c 101 371676 23843 1 - 0.0000 -
105.76/106.17 c 106 389175 25088 1 - 0.0000 -
110.84/111.22 c 111 405857 26559 1 - 0.0000 -
115.82/116.27 c 116 424784 27717 1 - 0.0000 -
120.91/121.32 c 121 444279 29054 1 - 0.0000 -
125.88/126.37 c 126 460245 30260 1 - 0.0000 -
130.97/131.42 c 131 479980 31103 1 - 0.0000 -
135.95/136.47 c 136 495439 31741 1 - 0.0000 -
141.03/141.52 c 142 509772 32452 1 - 0.0000 -
146.02/146.58 c 147 526812 33287 1 - 0.0000 -
151.10/151.63 c 152 546109 33830 1 - 0.0000 -
156.08/156.68 c 157 565348 34793 1 - 0.0000 -
161.17/161.73 c 162 581293 35702 1 - 0.0000 -
166.15/166.78 c 167 598722 36355 1 - 0.0000 -
171.24/171.83 c 172 617550 37020 1 - 0.0000 -
176.22/176.88 c 177 636277 37636 1 - 0.0000 -
181.32/181.93 c 182 652133 38426 1 - 0.0000 -
186.29/186.98 c 187 671075 39388 1 - 0.0000 -
191.38/192.03 c 192 687566 40084 1 - 0.0000 -
196.37/197.08 c 197 706184 41484 1 - 0.0000 -
201.45/202.13 c 202 723526 42949 1 - 0.0000 -
206.54/207.20 c 207 742816 44570 1 - 0.0000 -
211.52/212.25 c 212 763287 46149 1 - 0.0000 -
216.61/217.30 c 217 784325 47837 1 - 0.0000 -
221.59/222.37 c 222 803237 48967 1 - 0.0000 -
226.67/227.42 c 227 824460 49888 1 - 0.0000 -
231.66/232.47 c 232 847253 50925 1 - 0.0000 -
236.74/237.52 c 238 866641 52504 1 - 0.0000 -
241.73/242.59 c 243 887313 53830 1 - 0.0000 -
246.82/247.64 c 248 910502 54715 1 - 0.0000 -
251.79/252.69 c 253 928894 56447 1 - 0.0000 -
256.88/257.73 c 258 952169 57748 1 - 0.0000 -
261.87/262.78 c 263 978637 58398 1 - 0.0000 -
266.95/267.83 c 268 995820 59983 1 - 0.0000 -
271.93/272.89 c 273 1014721 61008 1 - 0.0000 -
277.01/277.99 c 278 1032689 62750 1 - 0.0000 -
282.10/283.04 c 283 1054842 64323 1 - 0.0000 -
287.19/288.12 c 288 1071307 65998 1 - 0.0000 -
292.27/293.20 c 293 1095842 67757 1 - 0.0000 -
297.26/298.25 c 298 1113256 69443 1 - 0.0000 -
302.34/303.30 c 303 1131724 70853 1 - 0.0000 -
307.33/308.35 c 308 1153580 71153 1 - 0.0000 -
312.42/313.40 c 313 1179854 71432 1 - 0.0000 -
317.40/318.45 c 318 1200528 73294 1 - 0.0000 -
322.49/323.56 c 324 1221820 74446 1 - 0.0000 -
327.58/328.64 c 329 1242772 75436 1 - 0.0000 -
332.56/333.69 c 334 1262406 77098 1 - 0.0000 -
337.64/338.74 c 339 1287836 77038 1 - 0.0000 -
342.62/343.79 c 344 1312256 76858 1 - 0.0000 -
347.71/348.84 c 349 1328936 78628 1 - 0.0000 -
352.69/353.89 c 354 1352887 79025 1 - 0.0000 -
357.77/358.94 c 359 1372558 79482 1 - 0.0000 -
362.76/363.99 c 364 1385748 80500 1 - 0.0000 -
367.85/369.08 c 369 1398920 81869 1 - 0.0000 -
372.93/374.13 c 374 1413753 83146 1 - 0.0000 -
378.01/379.21 c 379 1426401 84528 1 - 0.0000 -
383.10/384.30 c 384 1443487 85535 1 - 0.0000 -
388.19/389.47 c 389 1457693 86760 1 - 0.0000 -
393.27/394.56 c 395 1474706 87881 1 - 0.0000 -
398.46/399.72 c 400 1487575 89497 1 - 0.0000 -
403.44/404.77 c 405 1505536 90472 1 - 0.0000 -
408.53/409.82 c 410 1523410 91860 1 - 0.0000 -
413.73/415.00 c 415 1535468 93118 1 - 0.0000 -
418.71/420.09 c 420 1551904 93984 1 - 0.0000 -
423.89/425.23 c 425 1566752 94976 1 - 0.0000 -
428.98/430.31 c 430 1580898 95758 1 - 0.0000 -
433.97/435.36 c 435 1596416 96176 1 - 0.0000 -
439.05/440.41 c 440 1611277 96406 1 - 0.0000 -
444.13/445.51 c 446 1628301 96523 1 - 0.0000 -
449.22/450.65 c 451 1635846 97777 1 - 0.0000 -
454.32/455.70 c 456 1649647 98156 1 - 0.0000 -
459.40/460.81 c 461 1662911 98680 1 - 0.0000 -
464.38/465.86 c 466 1678437 99527 1 - 0.0000 -
469.47/470.94 c 471 1693624 99516 1 - 0.0000 -
474.46/475.99 c 476 1710941 99348 1 - 0.0000 -
479.54/481.04 c 481 1730363 99146 1 - 0.0000 -
484.53/486.09 c 486 1749202 98958 1 - 0.0000 -
489.71/491.20 c 491 1767452 99234 1 - 0.0000 -
494.70/496.28 c 496 1786389 99266 1 - 0.0000 -
499.99/501.56 c 502 1799841 100126 1 - 0.0000 -
505.18/506.70 c 507 1810208 100675 1 - 0.0000 -
510.16/511.75 c 512 1824727 100508 1 - 0.0000 -
515.35/516.91 c 517 1841204 100759 1 - 0.0000 -
520.54/522.17 c 522 1854091 101487 1 - 0.0000 -
525.62/527.26 c 527 1864736 102780 1 - 0.0000 -
530.70/532.30 c 532 1885572 102948 1 - 0.0000 -
535.69/537.39 c 537 1903156 102997 1 - 0.0000 -
540.76/542.47 c 542 1916845 103174 1 - 0.0000 -
545.85/547.53 c 548 1934319 103294 1 - 0.0000 -
550.93/552.66 c 553 1948319 104254 1 - 0.0000 -
556.12/557.80 c 558 1959480 104959 1 - 0.0000 -
561.10/562.89 c 563 1974809 105728 1 - 0.0000 -
566.19/567.96 c 568 1996884 106631 1 - 0.0000 -
571.27/573.01 c 573 2020226 106465 1 - 0.0000 -
576.37/578.12 c 578 2049298 105801 1 - 0.0000 -
581.35/583.17 c 583 2067159 106088 1 - 0.0000 -
586.52/588.37 c 588 2084005 106996 1 - 0.0000 -
591.71/593.54 c 594 2098464 108681 1 - 0.0000 -
596.79/598.67 c 599 2113310 109667 1 - 0.0000 -
601.88/603.76 c 604 2129887 111516 1 - 0.0000 -
607.05/608.95 c 609 2152672 113210 1 - 0.0000 -
612.14/614.04 c 614 2171552 114445 1 - 0.0000 -
617.22/619.12 c 619 2189718 115431 1 - 0.0000 -
622.21/624.17 c 624 2206849 116362 1 - 0.0000 -
627.28/629.29 c 629 2221644 117203 1 - 0.0000 -
632.37/634.36 c 634 2236644 118163 1 - 0.0000 -
637.55/639.54 c 640 2249432 119215 1 - 0.0000 -
642.54/644.58 c 645 2262400 120771 1 - 0.0000 -
647.62/649.69 c 650 2279374 122679 1 - 0.0000 -
653.00/655.03 c 655 2292013 124322 1 - 0.0000 -
658.08/660.12 c 660 2308088 126359 1 - 0.0000 -
663.07/665.17 c 665 2324568 127941 1 - 0.0000 -
668.15/670.28 c 670 2343894 129610 1 - 0.0000 -
673.33/675.40 c 675 2355134 131242 1 - 0.0000 -
678.41/680.53 c 681 2371916 132698 1 - 0.0000 -
683.39/685.58 c 686 2382420 133982 1 - 0.0000 -
688.48/690.67 c 691 2398519 135057 1 - 0.0000 -
693.57/695.74 c 696 2416210 135583 1 - 0.0000 -
698.55/700.79 c 701 2433156 135852 1 - 0.0000 -
703.63/705.84 c 706 2454825 135938 1 - 0.0000 -
708.82/711.06 c 711 2476132 136065 1 - 0.0000 -
713.91/716.11 c 716 2495157 137004 1 - 0.0000 -
719.08/721.39 c 721 2515824 138411 1 - 0.0000 -
724.26/726.52 c 727 2537544 139233 1 - 0.0000 -
729.25/731.58 c 732 2558593 139419 1 - 0.0000 -
734.33/736.65 c 737 2578153 140185 1 - 0.0000 -
739.41/741.70 c 742 2593161 141959 1 - 0.0000 -
744.50/746.86 c 747 2611110 143784 1 - 0.0000 -
749.58/751.92 c 752 2627704 145740 1 - 0.0000 -
754.67/757.01 c 757 2645475 147329 1 - 0.0000 -
760.05/762.40 c 762 2661192 149525 1 - 0.0000 -
765.03/767.45 c 767 2679780 150904 1 - 0.0000 -
770.11/772.57 c 773 2695624 153064 1 - 0.0000 -
775.40/777.85 c 778 2711624 154646 1 - 0.0000 -
780.67/783.15 c 783 2731750 156317 1 - 0.0000 -
785.75/788.25 c 788 2747240 157463 1 - 0.0000 -
790.83/793.36 c 793 2767829 158392 1 - 0.0000 -
796.02/798.50 c 799 2785444 159431 1 - 0.0000 -
801.01/803.58 c 804 2801107 160602 1 - 0.0000 -
806.09/808.65 c 809 2819494 161096 1 - 0.0000 -
811.07/813.69 c 814 2841849 161577 1 - 0.0000 -
816.25/818.89 c 819 2852895 163317 1 - 0.0000 -
821.33/823.94 c 824 2868358 164976 1 - 0.0000 -
826.43/829.05 c 829 2882948 166742 1 - 0.0000 -
831.51/834.18 c 834 2897377 168563 1 - 0.0000 -
836.68/839.31 c 839 2914639 170025 1 - 0.0000 -
841.96/844.68 c 845 2929084 171538 1 - 0.0000 -
847.15/849.81 c 850 2936814 173387 1 - 0.0000 -
852.23/854.91 c 855 2948840 175249 1 - 0.0000 -
857.51/860.27 c 860 2961335 177222 1 - 0.0000 -
862.70/865.46 c 865 2975536 178801 1 - 0.0000 -
867.97/870.74 c 871 2987416 180657 1 - 0.0000 -
873.16/875.96 c 876 3001044 182263 1 - 0.0000 -
878.35/881.18 c 881 3014686 183811 1 - 0.0000 -
883.42/886.23 c 886 3032621 184929 1 - 0.0000 -
888.50/891.37 c 891 3048918 186258 1 - 0.0000 -
893.59/896.42 c 896 3070378 187832 1 - 0.0000 -
898.68/901.58 c 902 3088691 188978 1 - 0.0000 -
903.76/906.66 c 907 3105418 190243 1 - 0.0000 -
908.94/911.81 c 912 3125395 191098 1 - 0.0000 -
914.33/917.23 c 917 3142573 191994 1 - 0.0000 -
919.51/922.44 c 922 3163715 192700 1 - 0.0000 -
924.60/927.52 c 928 3181420 193131 1 - 0.0000 -
929.59/932.57 c 933 3200277 193295 1 - 0.0000 -
934.97/937.97 c 938 3215029 194715 1 - 0.0000 -
940.06/943.07 c 943 3230742 196480 1 - 0.0000 -
945.25/948.27 c 948 3252482 196772 1 - 0.0000 -
950.34/953.35 c 953 3273591 197450 1 - 0.0000 -
955.62/958.63 c 959 3291254 198601 1 - 0.0000 -
960.71/963.73 c 964 3303180 200497 1 - 0.0000 -
965.79/968.81 c 969 3325619 201074 1 - 0.0000 -
970.88/973.92 c 974 3343804 201753 1 - 0.0000 -
975.86/978.96 c 979 3369954 201596 1 - 0.0000 -
980.96/984.09 c 984 3394679 202047 1 - 0.0000 -
986.24/989.31 c 989 3421799 201759 1 - 0.0000 -
991.22/994.38 c 994 3444512 202174 1 - 0.0000 -
996.41/999.50 c 1000 3455496 203842 1 - 0.0000 -
1001.40/1004.59 c 1005 3478261 204067 1 - 0.0000 -
1006.58/1009.79 c 1010 3500576 204592 1 - 0.0000 -
1011.88/1015.05 c 1015 3522928 204830 1 - 0.0000 -
1017.06/1020.27 c 1020 3542564 205576 1 - 0.0000 -
1022.44/1025.60 c 1026 3558207 206773 1 - 0.0000 -
1027.53/1030.71 c 1031 3573936 207797 1 - 0.0000 -
1032.52/1035.76 c 1036 3594321 207686 1 - 0.0000 -
1037.70/1040.91 c 1041 3617381 207526 1 - 0.0000 -
1042.80/1046.03 c 1046 3633294 208589 1 - 0.0000 -
1047.78/1051.09 c 1051 3646822 210137 1 - 0.0000 -
1052.86/1056.14 c 1056 3662124 211640 1 - 0.0000 -
1058.04/1061.38 c 1061 3676664 212486 1 - 0.0000 -
1063.14/1066.42 c 1066 3690472 214066 1 - 0.0000 -
1068.23/1071.55 c 1072 3704806 215497 1 - 0.0000 -
1073.71/1077.00 c 1077 3722866 216608 1 - 0.0000 -
1078.90/1082.20 c 1082 3737184 218454 1 - 0.0000 -
1084.28/1087.67 c 1088 3752264 219748 1 - 0.0000 -
1089.47/1092.89 c 1093 3773215 220917 1 - 0.0000 -
1094.55/1097.94 c 1098 3791363 221077 1 - 0.0000 -
1099.84/1103.21 c 1103 3806075 222064 1 - 0.0000 -
1104.93/1108.31 c 1108 3817350 223352 1 - 0.0000 -
1110.11/1113.56 c 1114 3834886 224574 1 - 0.0000 -
1115.30/1118.74 c 1119 3855259 225192 1 - 0.0000 -
1120.69/1124.16 c 1124 3865520 227067 1 - 0.0000 -
1125.87/1129.31 c 1129 3883752 228291 1 - 0.0000 -
1130.86/1134.39 c 1134 3908151 228073 1 - 0.0000 -
1136.34/1139.81 c 1140 3923155 229023 1 - 0.0000 -
1141.53/1145.05 c 1145 3937154 230419 1 - 0.0000 -
1146.52/1150.10 c 1150 3955271 230676 1 - 0.0000 -
1151.70/1155.20 c 1155 3976981 230520 1 - 0.0000 -
1156.78/1160.38 c 1160 3999400 230234 1 - 0.0000 -
1161.88/1165.45 c 1165 4019588 230336 1 - 0.0000 -
1166.96/1170.57 c 1171 4039790 230448 1 - 0.0000 -
1172.14/1175.70 c 1176 4054409 231833 1 - 0.0000 -
1177.14/1180.75 c 1181 4068989 233275 1 - 0.0000 -
1182.43/1186.09 c 1186 4086184 234600 1 - 0.0000 -
1187.71/1191.31 c 1191 4102091 236355 1 - 0.0000 -
1192.89/1196.57 c 1197 4116710 237824 1 - 0.0000 -
1198.09/1201.75 c 1202 4133513 239082 1 - 0.0000 -
1203.27/1206.93 c 1207 4144240 240471 1 - 0.0000 -
1208.35/1212.03 c 1212 4158754 241775 1 - 0.0000 -
1213.44/1217.14 c 1217 4177337 242970 1 - 0.0000 -
1218.52/1222.22 c 1222 4197163 243089 1 - 0.0000 -
1223.71/1227.42 c 1227 4209242 244219 1 - 0.0000 -
1228.80/1232.53 c 1233 4220648 245624 1 - 0.0000 -
1233.78/1237.59 c 1238 4235557 246842 1 - 0.0000 -
1239.37/1243.11 c 1243 4254304 247335 1 - 0.0000 -
1244.46/1248.26 c 1248 4262985 248876 1 - 0.0000 -
1249.54/1253.32 c 1253 4277975 250343 1 - 0.0000 -
1254.53/1258.37 c 1258 4298406 250489 1 - 0.0000 -
1259.81/1263.68 c 1264 4317254 250833 1 - 0.0000 -
1265.00/1268.89 c 1269 4331805 252501 1 - 0.0000 -
1270.19/1274.06 c 1274 4351643 253098 1 - 0.0000 -
1275.28/1279.17 c 1279 4370113 253126 1 - 0.0000 -
1280.46/1284.37 c 1284 4392899 252852 1 - 0.0000 -
1285.55/1289.41 c 1289 4417645 252413 1 - 0.0000 -
1290.93/1294.80 c 1295 4439105 252321 1 - 0.0000 -
1296.02/1299.96 c 1300 4462549 251896 1 - 0.0000 -
1301.12/1305.01 c 1305 4482158 251639 1 - 0.0000 -
1306.10/1310.06 c 1310 4504328 251277 1 - 0.0000 -
1311.19/1315.17 c 1315 4523613 251038 1 - 0.0000 -
1316.27/1320.22 c 1320 4546806 250843 1 - 0.0000 -
1321.66/1325.64 c 1326 4567440 251045 1 - 0.0000 -
1326.74/1330.78 c 1331 4591732 250697 1 - 0.0000 -
1331.93/1335.98 c 1336 4608384 251238 1 - 0.0000 -
1337.21/1341.23 c 1341 4625754 252318 1 - 0.0000 -
1342.30/1346.38 c 1346 4644843 252135 1 - 0.0000 -
1347.69/1351.72 c 1352 4668295 251605 1 - 0.0000 -
1352.78/1356.85 c 1357 4692600 250800 1 - 0.0000 -
1357.86/1361.99 c 1362 4707789 251513 1 - 0.0000 -
1363.05/1367.11 c 1367 4727241 252077 1 - 0.0000 -
1368.14/1372.23 c 1372 4746350 252210 1 - 0.0000 -
1373.42/1377.51 c 1378 4757672 253368 1 - 0.0000 -
1378.41/1382.56 c 1383 4769792 254538 1 - 0.0000 -
1384.10/1388.23 c 1388 4782939 255905 1 - 0.0000 -
1389.48/1393.63 c 1394 4792619 257245 1 - 0.0000 -
1394.57/1398.72 c 1399 4803763 258551 1 - 0.0000 -
1400.05/1404.20 c 1404 4815197 259702 1 - 0.0000 -
1405.14/1409.39 c 1409 4829359 260720 1 - 0.0000 -
1410.43/1414.68 c 1415 4843857 261860 1 - 0.0000 -
1415.72/1419.92 c 1420 4860380 262775 1 - 0.0000 -
1421.10/1425.32 c 1425 4869634 264142 1 - 0.0000 -
1426.27/1430.56 c 1431 4881984 265190 1 - 0.0000 -
1431.86/1436.19 c 1436 4893412 265956 1 - 0.0000 -
1437.14/1441.43 c 1441 4906061 266968 1 - 0.0000 -
1442.22/1446.56 c 1447 4922180 267479 1 - 0.0000 -
1447.30/1451.63 c 1452 4932748 268651 1 - 0.0000 -
1452.98/1457.31 c 1457 4946231 269452 1 - 0.0000 -
1458.27/1462.63 c 1463 4960697 270502 1 - 0.0000 -
1463.45/1467.88 c 1468 4974800 271272 1 - 0.0000 -
1468.53/1472.98 c 1473 4989027 271801 1 - 0.0000 -
1474.01/1478.44 c 1478 5004180 272214 1 - 0.0000 -
1479.30/1483.72 c 1484 5018445 273089 1 - 0.0000 -
1484.39/1488.85 c 1489 5038938 272868 1 - 0.0000 -
1489.77/1494.20 c 1494 5049047 274043 1 - 0.0000 -
1494.95/1499.46 c 1499 5063016 274571 1 - 0.0000 -
1500.55/1505.09 c 1505 5079544 275225 1 - 0.0000 -
1505.73/1510.29 c 1510 5091369 276734 1 - 0.0000 -
1511.12/1515.64 c 1516 5100230 278029 1 - 0.0000 -
1516.20/1520.79 c 1521 5110526 279379 1 - 0.0000 -
1521.49/1526.05 c 1526 5120499 280686 1 - 0.0000 -
1526.98/1531.53 c 1532 5127970 282031 1 - 0.0000 -
1532.06/1536.69 c 1537 5137594 283443 1 - 0.0000 -
1537.65/1542.25 c 1542 5145236 284643 1 - 0.0000 -
1542.84/1547.45 c 1547 5154375 285876 1 - 0.0000 -
1548.22/1552.89 c 1553 5166044 287147 1 - 0.0000 -
1553.30/1557.99 c 1558 5172347 288434 1 - 0.0000 -
1558.79/1563.47 c 1563 5183351 289720 1 - 0.0000 -
1563.97/1568.61 c 1569 5195534 290917 1 - 0.0000 -
1569.16/1573.89 c 1574 5210984 292315 1 - 0.0000 -
1574.95/1579.60 c 1580 5220978 293489 1 - 0.0000 -
1580.14/1584.88 c 1585 5235208 294507 1 - 0.0000 -
1585.63/1590.33 c 1590 5245380 295960 1 - 0.0000 -
1590.91/1595.60 c 1596 5260904 297348 1 - 0.0000 -
1596.09/1600.84 c 1601 5273126 298736 1 - 0.0000 -
1601.38/1606.17 c 1606 5288455 300001 1 - 0.0000 -
1606.57/1611.33 c 1611 5305439 300970 1 - 0.0000 -
1611.75/1616.58 c 1617 5320890 301901 1 - 0.0000 -
1617.03/1621.84 c 1622 5338074 303068 1 - 0.0000 -
1622.12/1626.98 c 1627 5352764 303962 1 - 0.0000 -
1627.41/1632.21 c 1632 5366655 304778 1 - 0.0000 -
1632.69/1637.50 c 1638 5382904 305354 1 - 0.0000 -
1637.69/1642.55 c 1643 5397004 305916 1 - 0.0000 -
1642.77/1647.60 c 1648 5415893 306043 1 - 0.0000 -
1647.76/1652.67 c 1653 5434132 306216 1 - 0.0000 -
1653.04/1657.99 c 1658 5456269 306273 1 - 0.0000 -
1658.13/1663.09 c 1663 5475391 306623 1 - 0.0000 -
1663.42/1668.35 c 1668 5494534 306624 1 - 0.0000 -
1668.81/1673.71 c 1674 5507168 307212 1 - 0.0000 -
1674.39/1679.36 c 1679 5519324 308324 1 - 0.0000 -
1679.58/1684.58 c 1685 5529904 309434 1 - 0.0000 -
1685.07/1690.10 c 1690 5544069 310855 1 - 0.0000 -
1690.94/1695.94 c 1696 5556455 312092 1 - 0.0000 -
1696.23/1701.27 c 1701 5567581 313244 1 - 0.0000 -
1701.41/1706.43 c 1706 5577972 314415 1 - 0.0000 -
1706.69/1711.75 c 1712 5590174 315419 1 - 0.0000 -
1712.08/1717.16 c 1717 5605917 316344 1 - 0.0000 -
1717.65/1722.77 c 1723 5613540 317054 1 - 0.0000 -
1722.94/1728.03 c 1728 5626111 317859 1 - 0.0000 -
1728.22/1733.34 c 1733 5639524 318772 1 - 0.0000 -
1733.59/1738.79 c 1739 5653052 319784 1 - 0.0000 -
1738.68/1743.87 c 1744 5667791 321313 1 - 0.0000 -
1743.97/1749.18 c 1749 5680629 322245 1 - 0.0000 -
1749.14/1754.34 c 1754 5694961 323413 1 - 0.0000 -
1754.43/1759.68 c 1760 5712026 325196 1 - 0.0000 -
1759.51/1764.77 c 1765 5725420 326666 1 - 0.0000 -
1764.59/1769.85 c 1770 5744350 328526 1 - 0.0000 -
1769.78/1775.08 c 1775 5762762 329978 1 - 0.0000 -
1775.26/1780.50 c 1781 5777776 331702 1 - 0.0000 -
1780.34/1785.65 c 1786 5796490 333576 1 - 0.0000 -
1785.83/1791.14 c 1791 5808763 335352 1 - 0.0000 -
1790.91/1796.26 c 1796 5825043 336714 1 - 0.0000 -
1796.29/1801.64 c 1802 5838916 338073 1 - 0.0000 -
1801.57/1806.92 c 1807 5859391 339536 1 - 0.0000 -
1807.25/1812.63 c 1813 5873014 341383 1 - 0.0000 -
1812.93/1818.31 c 1818 5884275 343100 1 - 0.0000 -
1818.62/1824.09 c 1824 5899220 345229 1 - 0.0000 -
1824.29/1829.76 c 1830 5912765 347342 1 - 0.0000 -
1829.58/1835.09 c 1835 5920652 348875 1 - 0.0000 -
1834.86/1840.39 c 1840 5931350 350599 1 - 0.0000 -
1840.04/1845.58 c 1846 5943600 352303 1 - 0.0000 -
1845.33/1850.83 c 1851 5955268 354109 1 - 0.0000 -
1850.41/1855.98 c 1856 5966198 355765 1 - 0.0000 -
1856.29/1861.83 c 1862 5978940 357114 1 - 0.0000 -
1861.67/1867.23 c 1867 5992074 358688 1 - 0.0000 -
1867.25/1872.81 c 1873 6004069 360537 1 - 0.0000 -
1872.44/1878.01 c 1878 6016958 362186 1 - 0.0000 -
1878.11/1883.70 c 1884 6028347 363719 1 - 0.0000 -
1883.11/1888.75 c 1889 6040270 365520 1 - 0.0000 -
1888.69/1894.38 c 1894 6056010 367296 1 - 0.0000 -
1894.18/1899.81 c 1900 6068431 369019 1 - 0.0000 -
1899.66/1905.31 c 1905 6082454 370706 1 - 0.0000 -
1904.76/1910.40 c 1910 6092978 372122 1 - 0.0000 -
1909.74/1915.45 c 1915 6106597 373825 1 - 0.0000 -
1914.83/1920.55 c 1921 6123763 375729 1 - 0.0000 -
1920.61/1926.36 c 1926 6143318 377408 1 - 0.0000 -
1926.30/1932.02 c 1932 6157080 379172 1 - 0.0000 -
1931.69/1937.43 c 1937 6176312 380556 1 - 0.0000 -
1936.68/1942.49 c 1942 6195962 381716 1 - 0.0000 -
1941.86/1947.66 c 1948 6209863 382765 1 - 0.0000 -
1947.65/1953.43 c 1953 6224756 384436 1 - 0.0000 -
1952.74/1958.51 c 1959 6235080 386146 1 - 0.0000 -
1957.93/1963.79 c 1964 6251682 387428 1 - 0.0000 -
1963.11/1968.98 c 1969 6264441 388865 1 - 0.0000 -
1968.40/1974.23 c 1974 6277878 390370 1 - 0.0000 -
1973.58/1979.42 c 1979 6298506 391784 1 - 0.0000 -
1979.07/1984.95 c 1985 6317722 393368 1 - 0.0000 -
1984.35/1990.25 c 1990 6336514 395018 1 - 0.0000 -
1989.65/1995.58 c 1996 6355851 396391 1 - 0.0000 -
1995.03/2000.91 c 2001 6380377 398398 1 - 0.0000 -
2000.32/2006.22 c 2006 6392100 400141 1 - 0.0000 -
2005.70/2011.63 c 2012 6411216 401813 1 - 0.0000 -
2010.89/2016.89 c 2017 6434264 403275 1 - 0.0000 -
2016.57/2022.53 c 2023 6450636 404865 1 - 0.0000 -
2022.36/2028.37 c 2028 6463292 406463 1 - 0.0000 -
2027.94/2033.93 c 2034 6482890 407925 1 - 0.0000 -
2033.13/2039.12 c 2039 6509406 409139 1 - 0.0000 -
2038.72/2044.74 c 2045 6524244 410479 1 - 0.0000 -
2044.01/2050.03 c 2050 6550263 411474 1 - 0.0000 -
2049.19/2055.27 c 2055 6566441 412828 1 - 0.0000 -
2054.37/2060.42 c 2060 6582875 414012 1 - 0.0000 -
2059.87/2065.93 c 2066 6598784 415099 1 - 0.0000 -
2065.06/2071.11 c 2071 6619549 416194 1 - 0.0000 -
2070.33/2076.42 c 2076 6639308 417231 1 - 0.0000 -
2075.82/2081.90 c 2082 6659674 418559 1 - 0.0000 -
2081.11/2087.26 c 2087 6670896 420191 1 - 0.0000 -
2086.49/2092.66 c 2093 6684591 422326 1 - 0.0000 -
2091.79/2097.94 c 2098 6702312 424055 1 - 0.0000 -
2097.67/2103.87 c 2104 6726844 425983 1 - 0.0000 -
2102.85/2109.00 c 2109 6747192 427333 1 - 0.0000 -
2108.03/2114.24 c 2114 6762974 429233 1 - 0.0000 -
2113.32/2119.57 c 2120 6783980 430901 1 - 0.0000 -
2118.91/2125.16 c 2125 6800990 432245 1 - 0.0000 -
2124.49/2130.74 c 2131 6823354 433458 1 - 0.0000 -
2129.67/2135.97 c 2136 6841685 434767 1 - 0.0000 -
2135.06/2141.32 c 2141 6866836 436019 1 - 0.0000 -
2140.55/2146.88 c 2147 6896767 436959 1 - 0.0000 -
2145.94/2152.21 c 2152 6922764 437920 1 - 0.0000 -
2151.32/2157.66 c 2158 6935991 439116 1 - 0.0000 -
2156.60/2162.90 c 2163 6944327 440752 1 - 0.0000 -
2161.88/2168.24 c 2168 6954848 442397 1 - 0.0000 -
2167.16/2173.52 c 2174 6965150 443697 1 - 0.0000 -
2172.44/2178.89 c 2179 6978074 445100 1 - 0.0000 -
2177.82/2184.27 c 2184 6989332 446464 1 - 0.0000 -
2183.21/2189.65 c 2190 7001340 447734 1 - 0.0000 -
2188.39/2194.87 c 2195 7014731 449175 1 - 0.0000 -
2193.78/2200.28 c 2200 7025691 450949 1 - 0.0000 -
2199.15/2205.68 c 2206 7030807 452141 1 - 0.0000 -
2204.34/2210.80 c 2211 7043940 453769 1 - 0.0000 -
2209.53/2216.07 c 2216 7053917 455494 1 - 0.0000 -
2215.00/2221.58 c 2222 7062490 457059 1 - 0.0000 -
2220.08/2226.68 c 2227 7074095 458108 1 - 0.0000 -
2225.37/2231.90 c 2232 7088470 459239 1 - 0.0000 -
2230.45/2237.02 c 2237 7102988 460153 1 - 0.0000 -
2235.44/2242.10 c 2242 7112204 461255 1 - 0.0000 -
2240.61/2247.23 c 2247 7125074 462455 1 - 0.0000 -
2245.89/2252.55 c 2253 7138810 463395 1 - 0.0000 -
2251.28/2257.98 c 2258 7151731 464002 1 - 0.0000 -
2256.66/2263.37 c 2263 7166481 464807 1 - 0.0000 -
2261.84/2268.50 c 2269 7176246 465958 1 - 0.0000 -
2266.82/2273.58 c 2274 7190570 466616 1 - 0.0000 -
2272.00/2278.71 c 2279 7202534 466848 1 - 0.0000 -
2277.09/2283.86 c 2284 7221567 467262 1 - 0.0000 -
2282.17/2288.91 c 2289 7234529 467442 1 - 0.0000 -
2287.95/2294.77 c 2295 7242220 469319 1 - 0.0000 -
2293.83/2300.69 c 2301 7245274 470215 1 - 0.0000 -
2299.22/2306.02 c 2306 7253408 471925 1 - 0.0000 -
2304.80/2311.68 c 2312 7260911 473040 1 - 0.0000 -
2310.28/2317.13 c 2317 7270997 474746 1 - 0.0000 -
2315.55/2322.45 c 2322 7283603 476274 1 - 0.0000 -
2320.74/2327.61 c 2328 7296451 477032 1 - 0.0000 -
2326.32/2333.22 c 2333 7311825 477546 1 - 0.0000 -
2331.80/2338.76 c 2339 7326178 477961 1 - 0.0000 -
2337.28/2344.24 c 2344 7344347 478473 1 - 0.0000 -
2342.67/2349.67 c 2350 7356530 479936 1 - 0.0000 -
2347.95/2354.92 c 2355 7365132 480944 1 - 0.0000 -
2353.23/2360.22 c 2360 7383071 482379 1 - 0.0000 -
2358.41/2365.48 c 2365 7402737 483404 1 - 0.0000 -
2363.99/2371.03 c 2371 7413942 484817 1 - 0.0000 -
2369.47/2376.57 c 2377 7427686 486267 1 - 0.0000 -
2375.15/2382.28 c 2382 7448620 487294 1 - 0.0000 -
2380.23/2387.33 c 2387 7460662 488514 1 - 0.0000 -
2385.21/2392.38 c 2392 7471645 489925 1 - 0.0000 -
2390.40/2397.59 c 2398 7481674 491690 1 - 0.0000 -
2395.77/2402.91 c 2403 7489067 493075 1 - 0.0000 -
2401.16/2408.36 c 2408 7495984 494468 1 - 0.0000 -
2406.45/2413.66 c 2414 7504451 495865 1 - 0.0000 -
2412.03/2419.25 c 2419 7513974 497380 1 - 0.0000 -
2417.72/2424.97 c 2425 7523414 498788 1 - 0.0000 -
2422.81/2430.02 c 2430 7534239 500363 1 - 0.0000 -
2427.79/2435.08 c 2435 7543044 501502 1 - 0.0000 -
2432.98/2440.20 c 2440 7553399 502931 1 - 0.0000 -
2438.47/2445.77 c 2446 7565747 504391 1 - 0.0000 -
2444.25/2451.51 c 2452 7577916 505910 1 - 0.0000 -
2449.54/2456.85 c 2457 7585576 507413 1 - 0.0000 -
2454.73/2462.01 c 2462 7594790 509137 1 - 0.0000 -
2460.11/2467.42 c 2467 7598178 510043 1 - 0.0000 -
2465.70/2473.08 c 2473 7607552 512067 1 - 0.0000 -
2471.28/2478.67 c 2479 7618594 513511 1 - 0.0000 -
2476.97/2484.38 c 2484 7626366 515263 1 - 0.0000 -
2482.55/2489.97 c 2490 7636389 516740 1 - 0.0000 -
2488.04/2495.44 c 2495 7646057 518124 1 - 0.0000 -
2493.74/2501.18 c 2501 7653764 519449 1 - 0.0000 -
2499.31/2506.75 c 2507 7663204 521135 1 - 0.0000 -
2504.61/2512.06 c 2512 7674724 522523 1 - 0.0000 -
2509.89/2517.39 c 2517 7686609 523964 1 - 0.0000 -
2515.08/2522.55 c 2523 7698929 525154 1 - 0.0000 -
2520.37/2527.85 c 2528 7711797 526684 1 - 0.0000 -
2525.75/2533.24 c 2533 7723824 528265 1 - 0.0000 -
2530.94/2538.49 c 2538 7731873 529588 1 - 0.0000 -
2536.23/2543.79 c 2544 7745805 530694 1 - 0.0000 -
2541.71/2549.21 c 2549 7754970 532051 1 - 0.0000 -
2546.70/2554.26 c 2554 7768456 533257 1 - 0.0000 -
2551.99/2559.52 c 2560 7779067 534146 1 - 0.0000 -
2557.07/2564.62 c 2565 7793488 535254 1 - 0.0000 -
2562.06/2569.67 c 2570 7808088 536066 1 - 0.0000 -
2567.24/2574.86 c 2575 7818516 536976 1 - 0.0000 -
2572.43/2580.02 c 2580 7828018 538533 1 - 0.0000 -
2577.61/2585.25 c 2585 7840808 539709 1 - 0.0000 -
2583.11/2590.75 c 2591 7854104 540807 1 - 0.0000 -
2588.99/2596.63 c 2597 7864759 541939 1 - 0.0000 -
2594.27/2601.95 c 2602 7877824 543010 1 - 0.0000 -
2599.86/2607.58 c 2608 7887674 543824 1 - 0.0000 -
2605.05/2612.71 c 2613 7902958 544836 1 - 0.0000 -
2610.64/2618.32 c 2618 7916797 545665 1 - 0.0000 -
2615.83/2623.58 c 2624 7926321 546729 1 - 0.0000 -
2621.11/2628.89 c 2629 7932545 548433 1 - 0.0000 -
2627.30/2635.05 c 2635 7935525 549327 1 - 0.0000 -
2632.69/2640.42 c 2640 7937020 549994 1 - 0.0000 -
2638.47/2646.24 c 2646 7942966 551618 1 - 0.0000 -
2644.15/2651.94 c 2652 7950996 553192 1 - 0.0000 -
2649.24/2657.05 c 2657 7958878 554598 1 - 0.0000 -
2654.63/2662.46 c 2662 7966432 556078 1 - 0.0000 -
2660.31/2668.13 c 2668 7974318 557388 1 - 0.0000 -
2665.70/2673.57 c 2674 7984086 558776 1 - 0.0000 -
2671.59/2679.47 c 2679 7997631 560299 1 - 0.0000 -
2676.87/2684.70 c 2685 8010993 561565 1 - 0.0000 -
2682.27/2690.18 c 2690 8023571 562875 1 - 0.0000 -
2687.35/2695.24 c 2695 8040164 563894 1 - 0.0000 -
2692.43/2700.36 c 2700 8058347 564794 1 - 0.0000 -
2697.62/2705.52 c 2706 8071829 565770 1 - 0.0000 -
2703.01/2710.90 c 2711 8085348 566587 1 - 0.0000 -
2708.60/2716.51 c 2717 8102359 567290 1 - 0.0000 -
2713.98/2721.99 c 2722 8108644 568765 1 - 0.0000 -
2719.87/2727.87 c 2728 8115978 570343 1 - 0.0000 -
2725.75/2733.75 c 2734 8122434 571773 1 - 0.0000 -
2731.44/2739.42 c 2739 8129035 573182 1 - 0.0000 -
2737.33/2745.36 c 2745 8139215 574716 1 - 0.0000 -
2742.61/2750.65 c 2751 8149974 575975 1 - 0.0000 -
2748.30/2756.36 c 2756 8161184 577159 1 - 0.0000 -
2753.69/2761.79 c 2762 8170249 577844 1 - 0.0000 -
2759.47/2767.53 c 2768 8182308 578977 1 - 0.0000 -
2765.26/2773.32 c 2773 8188420 580375 1 - 0.0000 -
2770.95/2779.06 c 2779 8195184 581921 1 - 0.0000 -
2776.53/2784.61 c 2785 8205944 583511 1 - 0.0000 -
2781.83/2789.97 c 2790 8216378 584465 1 - 0.0000 -
2787.11/2795.25 c 2795 8229136 585365 1 - 0.0000 -
2793.10/2801.25 c 2801 8236284 586963 1 - 0.0000 -
2798.28/2806.46 c 2806 8251772 588139 1 - 0.0000 -
2803.47/2811.69 c 2812 8270798 588947 1 - 0.0000 -
2809.35/2817.50 c 2818 8282058 589865 1 - 0.0000 -
2814.34/2822.55 c 2823 8300333 590509 1 - 0.0000 -
2819.53/2827.76 c 2828 8316017 591472 1 - 0.0000 -
2824.72/2832.96 c 2833 8330598 592269 1 - 0.0000 -
2829.92/2838.11 c 2838 8341364 593085 1 - 0.0000 -
2835.99/2844.28 c 2844 8353296 594177 1 - 0.0000 -
2841.58/2849.84 c 2850 8366372 595071 1 - 0.0000 -
2847.07/2855.34 c 2855 8378654 596119 1 - 0.0000 -
2852.16/2860.42 c 2860 8394992 597143 1 - 0.0000 -
2857.25/2865.59 c 2866 8412868 598073 1 - 0.0000 -
2862.93/2871.24 c 2871 8430057 598978 1 - 0.0000 -
2867.92/2876.29 c 2876 8450762 599659 1 - 0.0000 -
2873.61/2881.95 c 2882 8457574 600967 1 - 0.0000 -
2878.99/2887.31 c 2887 8466302 602561 1 - 0.0000 -
2884.38/2892.71 c 2893 8475161 603570 1 - 0.0000 -
2889.57/2897.93 c 2898 8490031 603898 1 - 0.0000 -
2894.56/2902.98 c 2903 8505560 604937 1 - 0.0000 -
2900.24/2908.60 c 2909 8518889 606388 1 - 0.0000 -
2905.64/2914.05 c 2914 8526200 607769 1 - 0.0000 -
2910.73/2919.17 c 2919 8537094 609465 1 - 0.0000 -
2916.21/2924.63 c 2925 8549173 610806 1 - 0.0000 -
2921.99/2930.43 c 2930 8560857 612734 1 - 0.0000 -
2927.38/2935.86 c 2936 8573429 614282 1 - 0.0000 -
2933.17/2941.68 c 2942 8583248 615705 1 - 0.0000 -
2938.25/2946.73 c 2947 8591814 617127 1 - 0.0000 -
2944.14/2952.69 c 2953 8597789 618442 1 - 0.0000 -
2949.22/2957.77 c 2958 8604692 619953 1 - 0.0000 -
2954.81/2963.32 c 2963 8613425 621494 1 - 0.0000 -
2960.60/2969.11 c 2969 8622097 623346 1 - 0.0000 -
2965.59/2974.17 c 2974 8632334 624986 1 - 0.0000 -
2970.88/2979.49 c 2980 8641498 626559 1 - 0.0000 -
2976.57/2985.14 c 2985 8648958 628189 1 - 0.0000 -
2982.45/2991.07 c 2991 8656331 629796 1 - 0.0000 -
2987.83/2996.49 c 2996 8665680 631481 1 - 0.0000 -
2993.43/3002.09 c 3002 8676951 633239 1 - 0.0000 -
2998.51/3007.17 c 3007 8686514 634678 1 - 0.0000 -
3003.99/3012.60 c 3013 8698024 636270 1 - 0.0000 -
3009.78/3018.49 c 3018 8711640 638144 1 - 0.0000 -
3015.07/3023.75 c 3024 8723764 639822 1 - 0.0000 -
3020.46/3029.17 c 3029 8735824 641176 1 - 0.0000 -
3025.64/3034.38 c 3034 8744801 642633 1 - 0.0000 -
3030.73/3039.43 c 3039 8756532 644292 1 - 0.0000 -
3035.92/3044.63 c 3045 8767964 645710 1 - 0.0000 -
3041.40/3050.16 c 3050 8782738 647290 1 - 0.0000 -
3046.59/3055.35 c 3055 8797577 648985 1 - 0.0000 -
3051.98/3060.75 c 3061 8811641 650771 1 - 0.0000 -
3057.86/3066.65 c 3067 8826631 652723 1 - 0.0000 -
3063.04/3071.84 c 3072 8835367 653751 1 - 0.0000 -
3068.93/3077.71 c 3078 8844220 655175 1 - 0.0000 -
3074.42/3083.22 c 3083 8854470 656771 1 - 0.0000 -
3079.81/3088.69 c 3089 8865461 658548 1 - 0.0000 -
3085.40/3094.21 c 3094 8877778 660037 1 - 0.0000 -
3090.78/3099.66 c 3100 8889990 661639 1 - 0.0000 -
3096.18/3105.06 c 3105 8897252 663001 1 - 0.0000 -
3101.45/3110.38 c 3110 8906724 664345 1 - 0.0000 -
3106.84/3115.73 c 3116 8916142 665789 1 - 0.0000 -
3112.03/3120.98 c 3121 8926850 667695 1 - 0.0000 -
3117.72/3126.60 c 3127 8938384 669376 1 - 0.0000 -
3123.22/3132.17 c 3132 8947117 670799 1 - 0.0000 -
3128.59/3137.53 c 3138 8961216 672178 1 - 0.0000 -
3134.28/3143.27 c 3143 8973907 673659 1 - 0.0000 -
3139.67/3148.67 c 3149 8986164 675384 1 - 0.0000 -
3144.75/3153.78 c 3154 9001043 676981 1 - 0.0000 -
3150.44/3159.40 c 3159 9010469 678291 1 - 0.0000 -
3155.83/3164.85 c 3165 9021440 679838 1 - 0.0000 -
3161.82/3170.88 c 3171 9032794 681538 1 - 0.0000 -
3167.50/3176.51 c 3177 9045150 683214 1 - 0.0000 -
3172.70/3181.75 c 3182 9056293 684736 1 - 0.0000 -
3178.08/3187.11 c 3187 9070944 686115 1 - 0.0000 -
3183.57/3192.68 c 3193 9081876 687531 1 - 0.0000 -
3189.16/3198.27 c 3198 9094830 689277 1 - 0.0000 -
3195.14/3204.21 c 3204 9106201 691128 1 - 0.0000 -
3200.63/3209.73 c 3210 9119476 692687 1 - 0.0000 -
3206.40/3215.51 c 3216 9136004 694335 1 - 0.0000 -
3212.29/3221.42 c 3221 9150691 696288 1 - 0.0000 -
3217.57/3226.74 c 3227 9162994 697815 1 - 0.0000 -
3222.95/3232.19 c 3232 9175434 699269 1 - 0.0000 -
3228.94/3238.11 c 3238 9190114 700938 1 - 0.0000 -
3234.71/3243.92 c 3244 9199304 702169 1 - 0.0000 -
3240.20/3249.46 c 3249 9211746 703569 1 - 0.0000 -
3245.57/3254.87 c 3255 9226414 705245 1 - 0.0000 -
3251.16/3260.42 c 3260 9235586 706779 1 - 0.0000 -
3256.54/3265.88 c 3266 9251916 708437 1 - 0.0000 -
3262.12/3271.46 c 3271 9260948 710097 1 - 0.0000 -
3268.60/3277.92 c 3278 9271278 711944 1 - 0.0000 -
3273.88/3283.27 c 3283 9282047 713649 1 - 0.0000 -
3278.97/3288.39 c 3288 9290545 714849 1 - 0.0000 -
3284.34/3293.77 c 3294 9303967 716541 1 - 0.0000 -
3289.43/3298.81 c 3299 9307441 717487 1 - 0.0000 -
3295.11/3304.59 c 3305 9318581 719155 1 - 0.0000 -
3301.09/3310.55 c 3311 9333291 720855 1 - 0.0000 -
3306.77/3316.28 c 3316 9346754 722572 1 - 0.0000 -
3312.26/3321.73 c 3322 9355634 724160 1 - 0.0000 -
3317.34/3326.88 c 3327 9358978 725080 1 - 0.0000 -
3323.12/3332.68 c 3333 9360266 725550 1 - 0.0000 -
3329.10/3338.67 c 3339 9362908 726544 1 - 0.0000 -
3334.58/3344.19 c 3344 9369410 728142 1 - 0.0000 -
3340.36/3349.94 c 3350 9377379 729913 1 - 0.0000 -
3346.55/3356.10 c 3356 9382267 731097 1 - 0.0000 -
3351.92/3361.55 c 3362 9387100 732556 1 - 0.0000 -
3357.41/3367.10 c 3367 9393954 734174 1 - 0.0000 -
3362.99/3372.65 c 3373 9403952 736004 1 - 0.0000 -
3368.17/3377.85 c 3378 9412647 737319 1 - 0.0000 -
3374.15/3383.84 c 3384 9420872 739014 1 - 0.0000 -
3379.63/3389.35 c 3389 9427131 740459 1 - 0.0000 -
3384.81/3394.53 c 3395 9434798 741768 1 - 0.0000 -
3389.79/3399.58 c 3400 9444552 743376 1 - 0.0000 -
3395.48/3405.28 c 3405 9455842 744930 1 - 0.0000 -
3401.26/3411.05 c 3411 9464700 746238 1 - 0.0000 -
3407.03/3416.88 c 3417 9475086 747896 1 - 0.0000 -
3412.12/3421.98 c 3422 9481934 749102 1 - 0.0000 -
3417.80/3427.62 c 3428 9490685 750635 1 - 0.0000 -
3423.29/3433.17 c 3433 9498930 751912 1 - 0.0000 -
3428.66/3438.53 c 3439 9507970 753308 1 - 0.0000 -
3434.15/3444.08 c 3444 9520108 755186 1 - 0.0000 -
3439.43/3449.31 c 3449 9533427 756791 1 - 0.0000 -
3445.41/3455.37 c 3455 9539334 757738 1 - 0.0000 -
3451.39/3461.35 c 3461 9545734 759442 1 - 0.0000 -
3456.87/3466.88 c 3467 9553458 761216 1 - 0.0000 -
3462.75/3472.77 c 3473 9563671 762997 1 - 0.0000 -
3468.64/3478.65 c 3479 9573470 764215 1 - 0.0000 -
3474.41/3484.47 c 3484 9584990 765451 1 - 0.0000 -
3479.80/3489.80 c 3490 9599801 767083 1 - 0.0000 -
3485.37/3495.46 c 3495 9616746 768738 1 - 0.0000 -
3490.86/3500.95 c 3501 9626354 769868 1 - 0.0000 -
3496.44/3506.54 c 3507 9631608 771162 1 - 0.0000 -
3501.52/3511.69 c 3512 9640720 772342 1 - 0.0000 -
3506.70/3516.87 c 3517 9648057 773545 1 - 0.0000 -
3511.99/3522.12 c 3522 9660209 774998 1 - 0.0000 -
3517.08/3527.26 c 3527 9668022 776047 1 - 0.0000 -
3522.45/3532.62 c 3533 9678998 777417 1 - 0.0000 -
3527.44/3537.67 c 3538 9691801 778728 1 - 0.0000 -
3533.22/3543.48 c 3543 9702585 780066 1 - 0.0000 -
3539.40/3549.64 c 3550 9714480 781199 1 - 0.0000 -
3544.58/3554.81 c 3555 9724009 782690 1 - 0.0000 -
3550.66/3560.98 c 3561 9730247 783988 1 - 0.0000 -
3556.44/3566.71 c 3567 9737064 785349 1 - 0.0000 -
3561.73/3572.00 c 3572 9742981 786678 1 - 0.0000 -
3567.71/3578.01 c 3578 9751225 788516 1 - 0.0000 -
3573.49/3583.89 c 3584 9760134 790047 1 - 0.0000 -
3579.86/3590.21 c 3590 9769694 791611 1 - 0.0000 -
3585.34/3595.71 c 3596 9777628 792973 1 - 0.0000 -
3592.42/3602.89 c SCIP Status : c solving was interrupted [hard time limit reached]
3592.42/3602.89 c Total Time : 3602.8900
3592.42/3602.89 c solving : 3602.8900
3592.42/3602.89 c presolving : 0.0012 (included in solving)
3592.42/3602.89 c B&B Tree :
3592.42/3602.89 c nodes (total) : 1
3592.42/3602.89 c Solution :
3592.42/3602.89 c Solutions found : 0
3592.42/3602.89 c Primal Bound : -
3592.42/3602.89 c Dual Bound : +0.00000000000000e+00
3592.42/3602.89 c Gap : -
3592.42/3602.89 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 (61189 MiB free)
memory of node 1: 64510 MiB (59391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445300-1721321839/watcher-4445300-1721321839 -o /tmp/evaluation-result-4445300-1721321839/solver-4445300-1721321839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968465 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445300-1721321839.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
Current StackSize limit: 8192 KiB
solver pid=972159, runsolver pid=972156
[startup+0.100083 s]*
/proc/loadavg: 4.32 4.21 4.12 5/265 972162
/proc/meminfo: memFree=123467856/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106152 memory=18652 CPUtime=0.1 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 2071 0 0 0 10 0 0 0 20 0 3 0 184343076 108699648 4663 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26538 4663 2910 3032 0 8085 0
[pid=972159/tid=972161] ppid=972156 vsize=106152 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 1016 0 0 0 9 0 0 0 20 0 3 0 184343076 108699648 4663 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106152 memory=237146210664 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184343076 108699648 4663 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 18652 KiB
[startup+0.205469 s]*
/proc/loadavg: 4.32 4.21 4.12 5/265 972162
/proc/meminfo: memFree=123466596/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106152 memory=19124 CPUtime=0.2 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 2179 0 0 0 20 0 0 0 20 0 3 0 184343076 108699648 4781 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26538 4781 2910 3032 0 8153 0
[pid=972159/tid=972161] ppid=972156 vsize=106152 memory=4782652875487838339 CPUtime=0.2 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 1124 0 0 0 20 0 0 0 20 0 3 0 184343076 108699648 4781 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106152 memory=1285800 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184343076 108699648 4781 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 19124 KiB
[startup+0.305015 s]*
/proc/loadavg: 4.32 4.21 4.12 5/265 972162
/proc/meminfo: memFree=123466120/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106152 memory=19392 CPUtime=0.3 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 2285 0 0 0 30 0 0 0 20 0 3 0 184343076 108699648 4848 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26538 4848 2910 3032 0 8229 0
[pid=972159/tid=972161] ppid=972156 vsize=106152 memory=-6370740139926403942 CPUtime=0.3 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 1230 0 0 0 30 0 0 0 20 0 3 0 184343076 108699648 4848 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106152 memory=0 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184343076 108699648 4848 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 19392 KiB
[startup+0.700184 s]
/proc/loadavg: 4.32 4.21 4.12 5/265 972162
/proc/meminfo: memFree=123465308/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106152 memory=20184 CPUtime=0.69 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 2538 0 0 0 69 0 0 0 20 0 3 0 184343076 108699648 5046 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26538 5046 2910 3032 0 8489 0
[pid=972159/tid=972161] ppid=972156 vsize=106152 memory=0 CPUtime=0.68 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 1483 0 0 0 68 0 0 0 20 0 3 0 184343076 108699648 5046 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106152 memory=0 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184343076 108699648 5046 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 20184 KiB
[startup+1.50019 s]
/proc/loadavg: 4.32 4.21 4.12 5/265 972162
/proc/meminfo: memFree=123464796/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106152 memory=20576 CPUtime=1.49 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3726 0 0 0 149 0 0 0 20 0 3 0 184343076 108699648 5144 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26538 5144 2910 3032 0 8513 0
[pid=972159/tid=972161] ppid=972156 vsize=106152 memory=0 CPUtime=1.48 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 2656 0 0 0 148 0 0 0 20 0 3 0 184343076 108699648 5144 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106152 memory=0 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184343076 108699648 5144 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 20576 KiB
[startup+3.10513 s]
/proc/loadavg: 4.29 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123463900/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106152 memory=20920 CPUtime=3.09 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3974 0 0 0 308 1 0 0 20 0 3 0 184343076 108699648 5230 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26538 5230 2910 3032 0 8617 0
[pid=972159/tid=972161] ppid=972156 vsize=106152 memory=2273 CPUtime=3.08 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 2901 0 0 0 307 1 0 0 20 0 3 0 184343076 108699648 5230 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106152 memory=0 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184343076 108699648 5230 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 20920 KiB
[startup+6.30017 s]
/proc/loadavg: 4.29 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123459140/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106152 memory=22944 CPUtime=6.28 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 5668 0 0 0 626 2 0 0 20 0 3 0 184343076 108699648 5736 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26538 5736 2958 3032 0 8980 0
[pid=972159/tid=972161] ppid=972156 vsize=106152 memory=-6370740139926403942 CPUtime=6.26 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 4572 0 0 0 625 1 0 0 20 0 3 0 184343076 108699648 5736 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106152 memory=22708 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184343076 108699648 5736 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 22944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.21 4.12 4/258 972171
/proc/meminfo: memFree=124114912/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=106732 memory=28168 CPUtime=12.66 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 10891 0 0 0 1260 6 0 0 20 0 3 0 184343076 109293568 7042 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 26683 7042 2958 3032 0 10144 0
[pid=972159/tid=972161] ppid=972156 vsize=106732 memory=20920 CPUtime=12.65 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 9763 0 0 0 1259 6 0 0 20 0 3 0 184343076 109293568 7042 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=106732 memory=0 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 184343076 109293568 7042 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 106732 KiB
Current children cumulated memory: 28168 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.20 4.11 5/266 972263
/proc/meminfo: memFree=124896604/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=112328 memory=40436 CPUtime=25.42 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 24480 0 0 0 2530 12 0 0 20 0 3 0 184343076 115023872 10109 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 28082 10109 2974 3032 0 13517 0
[pid=972159/tid=972161] ppid=972156 vsize=112328 memory=36796 CPUtime=25.41 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 23291 0 0 0 2529 12 0 0 20 0 3 0 184343076 115023872 10109 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=112328 memory=7237397203422634835 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 184343076 115023872 10109 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 112328 KiB
Current children cumulated memory: 40436 KiB
[startup+51.1052 s]
/proc/loadavg: 4.14 4.18 4.11 6/266 972266
/proc/meminfo: memFree=124821276/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=119784 memory=54940 CPUtime=50.94 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 45140 0 0 0 5070 24 0 0 20 0 3 0 184343076 122658816 13735 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 29946 13735 2974 3032 0 17468 0
[pid=972159/tid=972161] ppid=972156 vsize=119784 memory=50132 CPUtime=50.93 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 43891 0 0 0 5069 24 0 0 20 0 3 0 184343076 122658816 13735 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=119784 memory=0 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 184343076 122658816 13735 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 119784 KiB
Current children cumulated memory: 54940 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.10 5/267 972444
/proc/meminfo: memFree=124702560/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=141484 memory=90348 CPUtime=101.96 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 89389 0 0 0 10154 42 0 0 20 0 3 0 184343076 144879616 22587 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 35371 22587 2990 3032 0 27178 0
[pid=972159/tid=972161] ppid=972156 vsize=141484 memory=50132 CPUtime=101.95 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 88078 0 0 0 10153 42 0 0 20 0 3 0 184343076 144879616 22587 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=141484 memory=88180 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 184343076 144879616 22587 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 141484 KiB
Current children cumulated memory: 90348 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.10 5/267 972548
/proc/meminfo: memFree=126074548/131524600 swapFree=130798872/131071996
[pid=972159] ppid=972156 vsize=175628 memory=139796 CPUtime=161.77 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 136524 0 0 0 16111 66 0 0 20 0 3 0 184343076 179843072 34949 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 43907 34949 2990 3032 0 40001 0
[pid=972159/tid=972161] ppid=972156 vsize=175628 memory=50132 CPUtime=161.75 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 135177 0 0 0 16110 65 0 0 20 0 3 0 184343076 179843072 34949 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=175628 memory=115356 CPUtime=0 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 184343076 179843072 34949 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 175628 KiB
################
# More data... #
################
/proc/972159/statm: 410966 382261 2990 3032 0 392310 0
[pid=972159/tid=972161] ppid=972156 vsize=1643864 memory=1501804 CPUtime=3392.38 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3544974 0 0 0 338141 1097 0 0 20 0 3 0 184343076 1683316736 382261 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1643864 memory=1527052 CPUtime=0.02 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 151 0 0 0 0 2 0 0 20 0 3 0 184343076 1683316736 382261 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 1643864 KiB
Current children cumulated memory: 1529044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/266 974028
/proc/meminfo: memFree=124062168/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1655104 memory=1547868 CPUtime=3452.39 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3630234 0 0 0 344122 1117 0 0 20 0 3 0 184343076 1694826496 386967 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 413776 386967 2990 3032 0 396305 0
[pid=972159/tid=972161] ppid=972156 vsize=1655104 memory=1501804 CPUtime=3452.18 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3627801 0 0 0 344107 1111 0 0 20 0 3 0 184343076 1694826496 386967 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1655104 memory=7676 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 153 0 0 0 1 2 0 0 20 0 3 0 184343076 1694826496 386967 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 1655104 KiB
Current children cumulated memory: 1547868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/266 974422
/proc/meminfo: memFree=124017104/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1677312 memory=1575636 CPUtime=3512.19 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3710035 0 0 0 350085 1134 0 0 20 0 3 0 184343076 1717567488 393909 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 419328 393909 2990 3032 0 403521 0
[pid=972159/tid=972161] ppid=972156 vsize=1677312 memory=7676 CPUtime=3511.98 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3707582 0 0 0 350069 1129 0 0 20 0 3 0 184343076 1717567488 393909 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1677312 memory=1568372 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 155 0 0 0 1 2 0 0 20 0 3 0 184343076 1717567488 393909 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 1677312 KiB
Current children cumulated memory: 1575636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/266 974433
/proc/meminfo: memFree=123986064/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1683864 memory=1590384 CPUtime=3571.99 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3761723 0 0 0 356052 1147 0 0 20 0 3 0 184343076 1724276736 397596 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 420966 397596 2990 3032 0 406487 0
[pid=972159/tid=972161] ppid=972156 vsize=1683864 memory=1582744 CPUtime=3571.78 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3759266 0 0 0 356037 1141 0 0 20 0 3 0 184343076 1724276736 397596 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1683864 memory=7676 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 184343076 1724276736 397596 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 1683864 KiB
Current children cumulated memory: 1590384 KiB
[startup+3602.9 s]
# the end of solver process 972159 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.91 s, system=11.6134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.08 4.11 5/266 974434
/proc/meminfo: memFree=123984636/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1684508 memory=1591044 CPUtime=3573.69 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3761912 0 0 0 356222 1147 0 0 20 0 3 0 184343076 1724936192 397761 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 421127 397761 2990 3032 0 406648 0
[pid=972159/tid=972161] ppid=972156 vsize=1684508 memory=6720664346311213424 CPUtime=3573.48 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3759455 0 0 0 356207 1141 0 0 20 0 3 0 184343076 1724936192 397761 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1684508 memory=-8549726991073132953 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 184343076 1724936192 397761 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 1684508 KiB
Current children cumulated memory: 1591044 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.11 5/266 974434
/proc/meminfo: memFree=123980856/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1685088 memory=1592228 CPUtime=3580.06 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3762417 0 0 0 356857 1149 0 0 20 0 3 0 184343076 1725530112 398057 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 421272 398057 2990 3032 0 406921 0
[pid=972159/tid=972161] ppid=972156 vsize=1685088 memory=1591452 CPUtime=3579.85 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3759960 0 0 0 356842 1143 0 0 20 0 3 0 184343076 1725530112 398057 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1685088 memory=1590336 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 157 0 0 0 1 2 0 0 20 0 3 0 184343076 1725530112 398057 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 1685088 KiB
Current children cumulated memory: 1592228 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.08 4.11 5/266 974436
/proc/meminfo: memFree=123977076/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1685924 memory=1593664 CPUtime=3586.44 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3802246 0 0 0 357493 1151 0 0 20 0 3 0 184343076 1726386176 398416 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 421481 398416 2990 3032 0 407258 0
[pid=972159/tid=972161] ppid=972156 vsize=1685924 memory=1590080 CPUtime=3586.23 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3799768 0 0 0 357478 1145 0 0 20 0 3 0 184343076 1726386176 398416 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1685924 memory=1593524 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 184343076 1726386176 398416 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 1685924 KiB
Current children cumulated memory: 1593664 KiB
[startup+3600 s]*
/proc/loadavg: 4.06 4.08 4.11 5/266 974438
/proc/meminfo: memFree=123973596/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1687528 memory=1595720 CPUtime=3589.64 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3803107 0 0 0 357812 1152 0 0 20 0 3 0 184343076 1728028672 398930 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 421882 398930 2990 3032 0 407803 0
[pid=972159/tid=972161] ppid=972156 vsize=1687528 memory=6720664346311213424 CPUtime=3589.43 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3800629 0 0 0 357797 1146 0 0 20 0 3 0 184343076 1728028672 398930 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1687528 memory=-8549726991073132953 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 184343076 1728028672 398930 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3589.64 s
Current children cumulated vsize: 1687528 KiB
Current children cumulated memory: 1595720 KiB
[startup+3601.6 s]
/proc/loadavg: 4.06 4.08 4.11 5/266 974438
/proc/meminfo: memFree=124021012/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1502052 memory=1408816 CPUtime=3591.23 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3852880 0 0 0 357966 1157 0 0 20 0 3 0 184343076 1538101248 352204 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 375513 352204 2990 3032 0 361434 0
[pid=972159/tid=972161] ppid=972156 vsize=1502052 memory=27460 CPUtime=3591.01 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3850394 0 0 0 357950 1151 0 0 20 0 3 0 184343076 1538101248 352204 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1502052 memory=6720666549511930226 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 184343076 1538101248 352204 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3591.23 s
Current children cumulated vsize: 1502052 KiB
Current children cumulated memory: 1408816 KiB
[startup+3602.4 s]
/proc/loadavg: 4.06 4.08 4.11 5/266 974438
/proc/meminfo: memFree=124151288/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1361836 memory=1268604 CPUtime=3592.02 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3854830 0 0 0 358045 1157 0 0 20 0 3 0 184343076 1394520064 317151 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 340459 317151 2990 3032 0 326380 0
[pid=972159/tid=972161] ppid=972156 vsize=1361836 memory=2868 CPUtime=3591.8 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3852344 0 0 0 358029 1151 0 0 20 0 3 0 184343076 1394520064 317151 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1361836 memory=27080 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 184343076 1394520064 317151 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3592.02 s
Current children cumulated vsize: 1361836 KiB
Current children cumulated memory: 1268604 KiB
[startup+3602.8 s]
/proc/loadavg: 4.06 4.08 4.11 5/266 974438
/proc/meminfo: memFree=124151288/131524600 swapFree=130799128/131071996
[pid=972159] ppid=972156 vsize=1290144 memory=1196912 CPUtime=3592.42 cores=4,6
/proc/972159/stat : 972159 (fscip) S 972156 972159 968454 0 -1 1077936128 3855643 0 0 0 358084 1158 0 0 20 0 3 0 184343076 1321107456 299228 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
/proc/972159/statm: 322536 299228 2990 3032 0 308457 0
[pid=972159/tid=972161] ppid=972156 vsize=1290144 memory=1285717 CPUtime=3592.21 cores=4,6
/proc/972159/task/972161/stat : 972161 (fscip) R 972156 972159 968454 0 -1 4194368 3853157 0 0 0 358069 1152 0 0 20 0 3 0 184343076 1321107456 299228 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
[pid=972159/tid=972162] ppid=972156 vsize=1290144 memory=1286332 CPUtime=0.03 cores=4,6
/proc/972159/task/972162/stat : 972162 (fscip) S 972156 972159 968454 0 -1 1077936192 160 0 0 0 1 2 0 0 20 0 3 0 184343076 1321107456 299228 134679101440 4194304 16613245 140725756632416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34062336 140725756638228 140725756638344 140725756638344 140725756645360 0
Current children cumulated CPU time: 3592.42 s
Current children cumulated vsize: 1290144 KiB
Current children cumulated memory: 1196912 KiB
Child status: 0
Real time (s): 3602.9
CPU time (s): 3592.53
CPU user time (s): 3580.91
CPU system time (s): 11.6134
CPU usage (%): 99.7122
Max. virtual memory (cumulated for all children) (KiB): 1687528
Max. memory (cumulated for all children) (KiB): 1595876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.91
system time used= 11.6134
maximum resident set size= 1595876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3856837
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= 10554
involuntary context switches= 4781
# summary of solver processes directly reported to runsolver:
# pid: 972159
# total CPU time (s): 3592.53
# total CPU user time (s): 3580.91
# total CPU system time (s): 11.6134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30971 second user time and 16.9442 second system time
The end
Begin job on nodeC014 at 2024-07-18 18:57:32
IDJOB=4445300
IDBENCH=148106
IDSOLVER=3064
FILE ID=nodeC014/4445300-1721321839
RUNJOBID= nodeC014-1721318012-968465
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob3.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-4445300-1721321839/watcher-4445300-1721321839 -o /tmp/evaluation-result-4445300-1721321839/solver-4445300-1721321839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968465 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445300-1721321839.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b3a7e12d93ab079a38c8d0bc0b1ef8cc
RANDOM SEED=1408812407
nodeC014.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 : 3665.561
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.32
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 : 3679.623
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.233
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.32
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 : 3599.928
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.96
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 : 3672.624
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.32
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 : 3679.692
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.96
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 : 3655.372
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.703
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123475648 kB
MemAvailable: 126680992 kB
Buffers: 448428 kB
Cached: 3560420 kB
SwapCached: 12912 kB
Active: 1377316 kB
Inactive: 6079164 kB
Active(anon): 9308 kB
Inactive(anon): 3458836 kB
Active(file): 1368008 kB
Inactive(file): 2620328 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 28504 kB
Writeback: 4 kB
AnonPages: 3420216 kB
Mapped: 85196 kB
Shmem: 20492 kB
KReclaimable: 113312 kB
Slab: 211132 kB
SReclaimable: 113312 kB
SUnreclaim: 97820 kB
KernelStack: 4224 kB
PageTables: 16576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2768996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2582528 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 19:57:35