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.10 c Default LC presolving (default).
0.10/0.10 c ** Before presolving: virtualMemUsedAtLc = 91786817, getVmSize() = 81842176, SCIPgetMemUsed() = 52601221, SCIPgetMemTotal() = 58188293, SCIPgetMemExternEstim() = 33598524
0.10/0.10 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.20/0.29 c ** Estimated virtualMemUsedAtSolver = 77595982, getVmSize() = 108236800, SCIPgetMemUsed() = 55841041, SCIPgetMemTotal() = 82795449, SCIPgetMemExternEstim() = 33598524
0.20/0.29 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.20/0.29 c Original Problem :
0.20/0.29 c Problem name : instance-4459627-1721932566
0.20/0.29 c Variables : 16670 (1000 binary, 0 integer, 15670 implicit integer, 0 continuous)
0.20/0.29 c Constraints : 18172
0.20/0.29 c Objective sense : minimize
0.20/0.29 c Presolved Problem :
0.20/0.29 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.29 c Constraints : 1502
0.20/0.29 c Constraints : Number
0.20/0.29 c knapsack : 1001
0.20/0.29 c setppc : 500
0.20/0.29 c linear : 1
0.20/0.29 c ** Instance transfer method used: 0
0.20/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.30 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.30 c Nodes Active
0.20/0.30 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.06/6.17 c 6 24 23 1 - 0.0000 -
12.74/12.87 c 13 40 39 1 - 0.0000 -
17.83/17.91 c 18 823 223 1 - 0.0000 -
22.82/22.96 c 23 2139 292 1 - 0.0000 -
28.30/28.47 c 28 3349 376 1 - 0.0000 -
33.38/33.52 c 34 4554 456 1 - 0.0000 -
38.36/38.57 c 39 5920 459 1 - 0.0000 -
43.45/43.64 c 44 7225 489 1 - 0.0000 -
48.43/48.69 c 49 8484 576 1 - 0.0000 -
53.53/53.74 c 54 9794 555 1 - 0.0000 -
58.61/58.84 c 59 11111 552 1 - 0.0000 -
63.69/63.90 c 64 12265 536 1 - 0.0000 -
68.68/68.96 c 69 13494 490 1 - 0.0000 -
73.76/74.01 c 74 15072 503 1 - 0.0000 -
78.75/79.06 c 79 16569 599 1 - 0.0000 -
83.83/84.12 c 84 17790 585 1 - 0.0000 -
89.12/89.40 c 89 19046 715 1 - 0.0000 -
94.10/94.44 c 94 20420 721 1 - 0.0000 -
99.09/99.49 c 100 22008 772 1 - 0.0000 -
104.17/104.55 c 105 23496 746 1 - 0.0000 -
109.15/109.60 c 110 24802 697 1 - 0.0000 -
114.24/114.64 c 115 26120 683 1 - 0.0000 -
119.33/119.70 c 120 27385 689 1 - 0.0000 -
124.32/124.75 c 125 28819 844 1 - 0.0000 -
129.30/129.79 c 130 30214 692 1 - 0.0000 -
134.39/134.84 c 135 31434 719 1 - 0.0000 -
139.37/139.89 c 140 32704 720 1 - 0.0000 -
144.45/144.95 c 145 33938 719 1 - 0.0000 -
149.44/149.99 c 150 35361 763 1 - 0.0000 -
154.53/155.06 c 155 36823 748 1 - 0.0000 -
159.61/160.10 c 160 38136 848 1 - 0.0000 -
164.61/165.15 c 165 39555 837 1 - 0.0000 -
169.68/170.20 c 170 40762 837 1 - 0.0000 -
174.67/175.25 c 175 41960 863 1 - 0.0000 -
179.76/180.30 c 180 43143 916 1 - 0.0000 -
184.74/185.36 c 185 44216 912 1 - 0.0000 -
189.82/190.41 c 190 45308 927 1 - 0.0000 -
194.81/195.46 c 195 46509 950 1 - 0.0000 -
199.90/200.50 c 201 47611 954 1 - 0.0000 -
204.88/205.56 c 206 48741 962 1 - 0.0000 -
209.97/210.61 c 211 49987 1030 1 - 0.0000 -
214.95/215.67 c 216 51158 1053 1 - 0.0000 -
220.04/220.73 c 221 52352 1048 1 - 0.0000 -
225.02/225.78 c 226 53704 1119 1 - 0.0000 -
230.11/230.84 c 231 55062 1043 1 - 0.0000 -
235.11/235.88 c 236 56233 1078 1 - 0.0000 -
240.19/240.93 c 241 57449 1070 1 - 0.0000 -
245.18/245.98 c 246 58519 1020 1 - 0.0000 -
250.27/251.04 c 251 59718 992 1 - 0.0000 -
255.35/256.10 c 256 60836 994 1 - 0.0000 -
260.34/261.16 c 261 62088 1043 1 - 0.0000 -
265.43/266.22 c 266 63305 1016 1 - 0.0000 -
270.41/271.28 c 271 64591 1024 1 - 0.0000 -
275.50/276.35 c 276 65798 974 1 - 0.0000 -
280.48/281.39 c 281 67132 985 1 - 0.0000 -
285.58/286.46 c 286 68286 977 1 - 0.0000 -
290.66/291.53 c 292 69611 982 1 - 0.0000 -
295.65/296.59 c 297 70973 959 1 - 0.0000 -
300.73/301.63 c 302 72271 934 1 - 0.0000 -
305.72/306.69 c 307 73342 915 1 - 0.0000 -
310.81/311.73 c 312 74558 942 1 - 0.0000 -
315.90/316.80 c 317 75566 950 1 - 0.0000 -
320.88/321.85 c 322 76595 900 1 - 0.0000 -
325.87/326.89 c 327 77604 888 1 - 0.0000 -
330.95/331.97 c 332 78729 885 1 - 0.0000 -
336.05/337.04 c 337 80090 877 1 - 0.0000 -
341.03/342.09 c 342 81555 885 1 - 0.0000 -
346.12/347.14 c 347 82979 905 1 - 0.0000 -
351.11/352.20 c 352 84593 1115 1 - 0.0000 -
356.19/357.25 c 357 86294 1242 1 - 0.0000 -
361.28/362.31 c 362 87775 1317 1 - 0.0000 -
366.27/367.35 c 367 89253 1457 1 - 0.0000 -
371.35/372.43 c 372 90257 1457 1 - 0.0000 -
376.34/377.48 c 377 91232 1540 1 - 0.0000 -
381.43/382.53 c 383 92142 1502 1 - 0.0000 -
386.42/387.57 c 388 93424 1462 1 - 0.0000 -
391.51/392.62 c 393 94919 1495 1 - 0.0000 -
396.49/397.69 c 398 96347 1521 1 - 0.0000 -
401.58/402.76 c 403 97796 1566 1 - 0.0000 -
406.67/407.81 c 408 99288 1536 1 - 0.0000 -
411.65/412.87 c 413 100838 1550 1 - 0.0000 -
416.75/417.91 c 418 102338 1582 1 - 0.0000 -
421.73/422.97 c 423 103637 1593 1 - 0.0000 -
426.82/428.04 c 428 104640 1624 1 - 0.0000 -
431.91/433.11 c 433 105436 1574 1 - 0.0000 -
436.90/438.17 c 438 106242 1582 1 - 0.0000 -
441.98/443.24 c 443 107175 1585 1 - 0.0000 -
447.07/448.31 c 448 108147 1605 1 - 0.0000 -
452.06/453.36 c 453 109023 1595 1 - 0.0000 -
457.15/458.41 c 458 110014 1624 1 - 0.0000 -
462.14/463.46 c 463 111512 1630 1 - 0.0000 -
467.22/468.52 c 469 112962 1570 1 - 0.0000 -
472.21/473.56 c 474 114427 1599 1 - 0.0000 -
477.30/478.61 c 479 115921 1623 1 - 0.0000 -
482.28/483.67 c 484 117364 1629 1 - 0.0000 -
487.37/488.73 c 489 118694 1587 1 - 0.0000 -
492.36/493.78 c 494 119909 1726 1 - 0.0000 -
497.44/498.83 c 499 121243 1838 1 - 0.0000 -
502.44/503.87 c 504 122568 1839 1 - 0.0000 -
507.52/508.93 c 509 123842 1872 1 - 0.0000 -
512.50/513.99 c 514 124531 1873 1 - 0.0000 -
517.59/519.04 c 519 125741 1997 1 - 0.0000 -
522.57/524.10 c 524 127028 2074 1 - 0.0000 -
527.66/529.15 c 529 128342 2092 1 - 0.0000 -
532.74/534.21 c 534 129378 2102 1 - 0.0000 -
537.72/539.29 c 539 130046 2075 1 - 0.0000 -
542.81/544.37 c 544 130791 2082 1 - 0.0000 -
547.89/549.43 c 549 131491 2092 1 - 0.0000 -
552.98/554.51 c 555 132158 2055 1 - 0.0000 -
557.96/559.57 c 560 133366 2111 1 - 0.0000 -
563.04/564.61 c 565 134452 2139 1 - 0.0000 -
568.03/569.66 c 570 136108 2110 1 - 0.0000 -
573.11/574.71 c 575 137362 2123 1 - 0.0000 -
578.09/579.77 c 580 138635 2138 1 - 0.0000 -
583.18/584.83 c 585 139888 2182 1 - 0.0000 -
588.17/589.88 c 590 141014 2214 1 - 0.0000 -
593.25/594.95 c 595 142301 2206 1 - 0.0000 -
598.34/600.01 c 600 143616 2240 1 - 0.0000 -
603.33/605.06 c 605 144780 2261 1 - 0.0000 -
608.41/610.11 c 610 145985 2292 1 - 0.0000 -
613.39/615.15 c 615 147134 2349 1 - 0.0000 -
618.47/620.21 c 620 148258 2322 1 - 0.0000 -
623.45/625.26 c 625 149493 2319 1 - 0.0000 -
628.54/630.31 c 630 150832 2376 1 - 0.0000 -
633.52/635.35 c 635 152291 2489 1 - 0.0000 -
638.61/640.41 c 640 153667 2357 1 - 0.0000 -
643.59/645.46 c 645 154877 2408 1 - 0.0000 -
648.67/650.52 c 651 156040 2461 1 - 0.0000 -
653.66/655.56 c 656 157614 2531 1 - 0.0000 -
658.74/660.61 c 661 159239 2508 1 - 0.0000 -
663.73/665.66 c 666 160649 2646 1 - 0.0000 -
668.81/670.71 c 671 162201 2676 1 - 0.0000 -
673.80/675.77 c 676 163751 2720 1 - 0.0000 -
678.88/680.84 c 681 165415 2728 1 - 0.0000 -
683.86/685.88 c 686 166826 2711 1 - 0.0000 -
688.94/690.93 c 691 168153 2751 1 - 0.0000 -
694.03/696.01 c 696 169577 2788 1 - 0.0000 -
699.03/701.07 c 701 170781 2799 1 - 0.0000 -
704.11/706.11 c 706 172168 2844 1 - 0.0000 -
709.09/711.16 c 711 173602 2879 1 - 0.0000 -
714.17/716.22 c 716 174921 2918 1 - 0.0000 -
719.15/721.26 c 721 176278 2953 1 - 0.0000 -
724.23/726.32 c 726 177658 2969 1 - 0.0000 -
729.22/731.38 c 731 179020 2979 1 - 0.0000 -
734.31/736.43 c 736 180427 3005 1 - 0.0000 -
739.29/741.48 c 741 181671 3028 1 - 0.0000 -
744.37/746.53 c 747 183022 3059 1 - 0.0000 -
749.35/751.59 c 752 184351 3098 1 - 0.0000 -
754.44/756.65 c 757 185613 3089 1 - 0.0000 -
759.43/761.70 c 762 186901 3133 1 - 0.0000 -
764.50/766.75 c 767 188096 3122 1 - 0.0000 -
769.50/771.79 c 772 189635 3081 1 - 0.0000 -
774.58/776.84 c 777 190794 3122 1 - 0.0000 -
779.56/781.89 c 782 192224 3114 1 - 0.0000 -
784.65/786.95 c 787 193481 3141 1 - 0.0000 -
789.73/792.01 c 792 194771 3163 1 - 0.0000 -
794.72/797.06 c 797 195961 3172 1 - 0.0000 -
799.80/802.10 c 802 197459 3228 1 - 0.0000 -
804.78/807.16 c 807 198457 3164 1 - 0.0000 -
809.87/812.23 c 812 199742 3169 1 - 0.0000 -
814.85/817.28 c 817 200945 3162 1 - 0.0000 -
819.93/822.33 c 822 201836 3190 1 - 0.0000 -
825.02/827.42 c 827 202387 3177 1 - 0.0000 -
830.00/832.49 c 832 203082 3164 1 - 0.0000 -
835.08/837.54 c 838 204062 3202 1 - 0.0000 -
840.18/842.60 c 843 205566 3236 1 - 0.0000 -
845.16/847.65 c 848 206949 3240 1 - 0.0000 -
850.24/852.72 c 853 207983 3238 1 - 0.0000 -
855.33/857.80 c 858 208805 3232 1 - 0.0000 -
860.31/862.84 c 863 209728 3241 1 - 0.0000 -
865.30/867.89 c 868 210415 3264 1 - 0.0000 -
870.38/872.94 c 873 211192 3265 1 - 0.0000 -
875.47/878.00 c 878 212362 3255 1 - 0.0000 -
880.46/883.05 c 883 214062 3253 1 - 0.0000 -
885.53/888.14 c 888 215653 3269 1 - 0.0000 -
890.52/893.18 c 893 216911 3293 1 - 0.0000 -
895.60/898.23 c 898 218431 3395 1 - 0.0000 -
900.59/903.28 c 903 220001 3481 1 - 0.0000 -
905.67/908.33 c 908 221355 3514 1 - 0.0000 -
910.65/913.38 c 913 222967 3513 1 - 0.0000 -
915.73/918.44 c 918 224437 3553 1 - 0.0000 -
920.72/923.49 c 924 225685 3575 1 - 0.0000 -
925.80/928.54 c 929 226876 3592 1 - 0.0000 -
930.79/933.59 c 934 228163 3600 1 - 0.0000 -
935.87/938.65 c 939 229373 3658 1 - 0.0000 -
940.96/943.70 c 944 230653 3667 1 - 0.0000 -
945.94/948.75 c 949 232008 3708 1 - 0.0000 -
951.02/953.80 c 954 233324 3700 1 - 0.0000 -
956.01/958.87 c 959 234743 3781 1 - 0.0000 -
961.09/963.91 c 964 236189 3773 1 - 0.0000 -
966.08/968.96 c 969 237526 3803 1 - 0.0000 -
971.16/974.01 c 974 239029 3840 1 - 0.0000 -
976.15/979.09 c 979 240499 3867 1 - 0.0000 -
981.23/984.13 c 984 241758 3906 1 - 0.0000 -
986.22/989.18 c 989 243086 3909 1 - 0.0000 -
991.29/994.25 c 994 243702 3890 1 - 0.0000 -
996.38/999.31 c 999 244454 3886 1 - 0.0000 -
1001.37/1004.38 c 1004 245299 3852 1 - 0.0000 -
1006.46/1009.46 c 1009 245979 3864 1 - 0.0000 -
1011.54/1014.52 c 1015 247090 3911 1 - 0.0000 -
1016.52/1019.57 c 1020 248222 3878 1 - 0.0000 -
1021.60/1024.65 c 1025 249611 3890 1 - 0.0000 -
1026.69/1029.70 c 1030 250245 3922 1 - 0.0000 -
1031.67/1034.75 c 1035 250959 3908 1 - 0.0000 -
1036.76/1039.82 c 1040 251731 3946 1 - 0.0000 -
1041.75/1044.87 c 1045 253049 3903 1 - 0.0000 -
1046.83/1049.93 c 1050 254482 3937 1 - 0.0000 -
1051.81/1054.97 c 1055 255882 3973 1 - 0.0000 -
1056.90/1060.05 c 1060 257190 3974 1 - 0.0000 -
1061.99/1065.11 c 1065 258429 3995 1 - 0.0000 -
1066.97/1070.16 c 1070 259818 4013 1 - 0.0000 -
1072.04/1075.21 c 1075 261066 4033 1 - 0.0000 -
1077.03/1080.27 c 1080 261988 4049 1 - 0.0000 -
1082.11/1085.32 c 1085 262565 4036 1 - 0.0000 -
1087.10/1090.38 c 1090 263491 4064 1 - 0.0000 -
1092.19/1095.44 c 1095 264861 4090 1 - 0.0000 -
1097.17/1100.49 c 1100 266224 4115 1 - 0.0000 -
1102.25/1105.53 c 1106 267469 4096 1 - 0.0000 -
1107.24/1110.58 c 1111 268690 4101 1 - 0.0000 -
1112.32/1115.65 c 1116 269918 4098 1 - 0.0000 -
1117.41/1120.70 c 1121 271441 4129 1 - 0.0000 -
1122.39/1125.75 c 1126 273045 4119 1 - 0.0000 -
1127.47/1130.81 c 1131 273670 4132 1 - 0.0000 -
1132.46/1135.89 c 1136 274308 4146 1 - 0.0000 -
1137.54/1140.97 c 1141 275177 4131 1 - 0.0000 -
1142.63/1146.03 c 1146 275936 4172 1 - 0.0000 -
1147.61/1151.08 c 1151 277306 4207 1 - 0.0000 -
1152.70/1156.14 c 1156 278564 4183 1 - 0.0000 -
1157.69/1161.18 c 1161 279862 4209 1 - 0.0000 -
1162.76/1166.24 c 1166 281888 4289 1 - 0.0000 -
1167.74/1171.28 c 1171 283804 4279 1 - 0.0000 -
1172.83/1176.33 c 1176 286116 4301 1 - 0.0000 -
1177.81/1181.39 c 1181 288258 4273 1 - 0.0000 -
1182.90/1186.44 c 1186 289613 4286 1 - 0.0000 -
1187.89/1191.49 c 1192 292054 4293 1 - 0.0000 -
1192.96/1196.55 c 1197 294319 4286 1 - 0.0000 -
1197.95/1201.59 c 1202 296473 4276 1 - 0.0000 -
1203.03/1206.64 c 1207 298449 4278 1 - 0.0000 -
1208.12/1211.70 c 1212 299944 4265 1 - 0.0000 -
1213.10/1216.75 c 1217 301935 4292 1 - 0.0000 -
1218.18/1221.80 c 1222 303864 4275 1 - 0.0000 -
1223.17/1226.86 c 1227 305649 4266 1 - 0.0000 -
1228.25/1231.90 c 1232 307543 4280 1 - 0.0000 -
1233.23/1236.96 c 1237 309588 4259 1 - 0.0000 -
1238.31/1242.00 c 1242 311409 4268 1 - 0.0000 -
1243.31/1247.05 c 1247 313107 4252 1 - 0.0000 -
1248.39/1252.10 c 1252 315373 4260 1 - 0.0000 -
1253.38/1257.15 c 1257 317501 4266 1 - 0.0000 -
1258.46/1262.22 c 1262 319065 4268 1 - 0.0000 -
1263.45/1267.28 c 1267 320280 4318 1 - 0.0000 -
1268.53/1272.32 c 1272 321753 4343 1 - 0.0000 -
1273.53/1277.38 c 1277 322729 4365 1 - 0.0000 -
1278.62/1282.46 c 1282 323343 4361 1 - 0.0000 -
1283.70/1287.54 c 1288 323982 4381 1 - 0.0000 -
1288.69/1292.59 c 1293 324783 4400 1 - 0.0000 -
1293.78/1297.69 c 1298 325580 4413 1 - 0.0000 -
1298.86/1302.75 c 1303 326518 4416 1 - 0.0000 -
1303.85/1307.79 c 1308 327222 4428 1 - 0.0000 -
1308.94/1312.86 c 1313 327974 4422 1 - 0.0000 -
1314.03/1317.92 c 1318 328576 4404 1 - 0.0000 -
1319.01/1322.99 c 1323 329191 4391 1 - 0.0000 -
1324.11/1328.03 c 1328 330089 4357 1 - 0.0000 -
1329.10/1333.09 c 1333 331270 4358 1 - 0.0000 -
1334.19/1338.15 c 1338 332074 4385 1 - 0.0000 -
1339.18/1343.19 c 1343 334056 4475 1 - 0.0000 -
1344.25/1348.24 c 1348 335939 4402 1 - 0.0000 -
1349.35/1353.30 c 1353 337935 4388 1 - 0.0000 -
1354.33/1358.34 c 1358 339830 4409 1 - 0.0000 -
1359.32/1363.39 c 1363 341862 4389 1 - 0.0000 -
1364.40/1368.45 c 1368 343605 4414 1 - 0.0000 -
1369.39/1373.49 c 1374 345515 4442 1 - 0.0000 -
1374.48/1378.54 c 1379 347513 4438 1 - 0.0000 -
1379.47/1383.59 c 1384 349385 4390 1 - 0.0000 -
1384.56/1388.64 c 1389 351308 4419 1 - 0.0000 -
1389.54/1393.69 c 1394 353254 4409 1 - 0.0000 -
1394.63/1398.76 c 1399 354797 4388 1 - 0.0000 -
1399.71/1403.80 c 1404 356339 4436 1 - 0.0000 -
1404.71/1408.88 c 1409 358384 4431 1 - 0.0000 -
1409.79/1413.93 c 1414 359840 4405 1 - 0.0000 -
1414.88/1419.00 c 1419 360704 4393 1 - 0.0000 -
1419.87/1424.07 c 1424 361619 4380 1 - 0.0000 -
1424.96/1429.13 c 1429 362830 4405 1 - 0.0000 -
1429.95/1434.17 c 1434 364497 4424 1 - 0.0000 -
1435.03/1439.22 c 1439 366324 4391 1 - 0.0000 -
1440.01/1444.27 c 1444 368061 4398 1 - 0.0000 -
1445.11/1449.33 c 1449 369858 4355 1 - 0.0000 -
1450.09/1454.37 c 1454 371591 4412 1 - 0.0000 -
1455.18/1459.42 c 1459 373528 4478 1 - 0.0000 -
1460.16/1464.47 c 1464 375559 4474 1 - 0.0000 -
1465.26/1469.53 c 1470 377415 4534 1 - 0.0000 -
1470.24/1474.57 c 1475 379274 4562 1 - 0.0000 -
1475.33/1479.62 c 1480 381151 4547 1 - 0.0000 -
1480.32/1484.67 c 1485 383039 4515 1 - 0.0000 -
1485.40/1489.72 c 1490 384967 4462 1 - 0.0000 -
1490.39/1494.77 c 1495 386671 4414 1 - 0.0000 -
1495.48/1499.83 c 1500 387926 4420 1 - 0.0000 -
1500.46/1504.87 c 1505 389792 4477 1 - 0.0000 -
1505.55/1509.93 c 1510 391309 4485 1 - 0.0000 -
1510.54/1514.97 c 1515 392728 4503 1 - 0.0000 -
1515.63/1520.02 c 1520 394809 4502 1 - 0.0000 -
1520.62/1525.07 c 1525 396572 4495 1 - 0.0000 -
1525.71/1530.13 c 1530 397868 4520 1 - 0.0000 -
1530.70/1535.17 c 1535 399360 4535 1 - 0.0000 -
1535.78/1540.22 c 1540 401376 4561 1 - 0.0000 -
1540.76/1545.27 c 1545 403554 4557 1 - 0.0000 -
1545.85/1550.32 c 1550 405067 4582 1 - 0.0000 -
1550.84/1555.38 c 1555 406675 4554 1 - 0.0000 -
1555.92/1560.42 c 1560 408036 4566 1 - 0.0000 -
1560.91/1565.48 c 1565 409406 4560 1 - 0.0000 -
1566.01/1570.54 c 1571 411093 4579 1 - 0.0000 -
1570.99/1575.58 c 1576 412327 4603 1 - 0.0000 -
1576.08/1580.63 c 1581 413653 4671 1 - 0.0000 -
1581.06/1585.68 c 1586 415139 4856 1 - 0.0000 -
1586.15/1590.73 c 1591 417013 5000 1 - 0.0000 -
1591.14/1595.79 c 1596 418786 5109 1 - 0.0000 -
1596.22/1600.83 c 1601 420451 5134 1 - 0.0000 -
1601.22/1605.88 c 1606 422147 5176 1 - 0.0000 -
1606.30/1610.93 c 1611 423596 5215 1 - 0.0000 -
1611.40/1616.00 c 1616 424382 5231 1 - 0.0000 -
1616.38/1621.05 c 1621 425756 5207 1 - 0.0000 -
1621.37/1626.09 c 1626 427059 5309 1 - 0.0000 -
1626.45/1631.14 c 1631 428386 5226 1 - 0.0000 -
1631.53/1636.20 c 1636 429830 5258 1 - 0.0000 -
1636.53/1641.25 c 1641 431217 5267 1 - 0.0000 -
1641.61/1646.30 c 1646 432499 5277 1 - 0.0000 -
1646.60/1651.35 c 1651 433925 5251 1 - 0.0000 -
1651.59/1656.39 c 1656 435302 5324 1 - 0.0000 -
1656.67/1661.45 c 1661 436549 5336 1 - 0.0000 -
1661.66/1666.49 c 1666 438603 5380 1 - 0.0000 -
1666.75/1671.54 c 1672 440868 5376 1 - 0.0000 -
1671.74/1676.59 c 1677 443160 5384 1 - 0.0000 -
1676.83/1681.64 c 1682 445319 5376 1 - 0.0000 -
1681.81/1686.69 c 1687 447467 5389 1 - 0.0000 -
1686.90/1691.74 c 1692 449993 5396 1 - 0.0000 -
1691.88/1696.79 c 1697 452485 5414 1 - 0.0000 -
1696.96/1701.84 c 1702 454839 5384 1 - 0.0000 -
1701.95/1706.89 c 1707 456630 5410 1 - 0.0000 -
1707.03/1711.94 c 1712 458192 5420 1 - 0.0000 -
1712.01/1716.99 c 1717 460465 5381 1 - 0.0000 -
1717.10/1722.04 c 1722 462642 5399 1 - 0.0000 -
1722.08/1727.10 c 1727 464686 5379 1 - 0.0000 -
1727.17/1732.14 c 1732 466620 5404 1 - 0.0000 -
1732.15/1737.19 c 1737 468585 5360 1 - 0.0000 -
1737.23/1742.24 c 1742 470790 5381 1 - 0.0000 -
1742.21/1747.29 c 1747 473103 5368 1 - 0.0000 -
1747.29/1752.34 c 1752 475462 5351 1 - 0.0000 -
1752.37/1757.41 c 1757 477349 5398 1 - 0.0000 -
1757.36/1762.45 c 1762 479432 5409 1 - 0.0000 -
1762.44/1767.50 c 1768 481459 5389 1 - 0.0000 -
1767.43/1772.55 c 1773 483505 5408 1 - 0.0000 -
1772.51/1777.60 c 1778 485716 5405 1 - 0.0000 -
1777.49/1782.66 c 1783 487606 5457 1 - 0.0000 -
1782.57/1787.70 c 1788 489685 5418 1 - 0.0000 -
1787.57/1792.75 c 1793 491608 5423 1 - 0.0000 -
1792.65/1797.80 c 1798 493607 5453 1 - 0.0000 -
1797.63/1802.87 c 1803 495489 5431 1 - 0.0000 -
1802.71/1807.92 c 1808 497337 5407 1 - 0.0000 -
1807.70/1812.96 c 1813 499256 5468 1 - 0.0000 -
1812.79/1818.02 c 1818 501346 5461 1 - 0.0000 -
1817.77/1823.07 c 1823 502744 5491 1 - 0.0000 -
1822.85/1828.13 c 1828 504056 5521 1 - 0.0000 -
1827.84/1833.18 c 1833 505444 5470 1 - 0.0000 -
1832.91/1838.24 c 1838 507324 5464 1 - 0.0000 -
1838.00/1843.30 c 1843 508797 5511 1 - 0.0000 -
1842.98/1848.37 c 1848 510556 5452 1 - 0.0000 -
1848.06/1853.42 c 1853 512348 5427 1 - 0.0000 -
1853.05/1858.46 c 1858 514204 5436 1 - 0.0000 -
1858.13/1863.51 c 1864 516085 5401 1 - 0.0000 -
1863.11/1868.56 c 1869 517873 5411 1 - 0.0000 -
1868.20/1873.62 c 1874 519626 5405 1 - 0.0000 -
1873.18/1878.67 c 1879 521449 5427 1 - 0.0000 -
1878.26/1883.73 c 1884 523224 5398 1 - 0.0000 -
1883.25/1888.78 c 1889 524564 5376 1 - 0.0000 -
1888.34/1893.82 c 1894 526038 5421 1 - 0.0000 -
1893.32/1898.87 c 1899 527894 5425 1 - 0.0000 -
1898.40/1903.92 c 1904 529686 5427 1 - 0.0000 -
1903.38/1908.98 c 1909 531305 5588 1 - 0.0000 -
1908.48/1914.02 c 1914 533306 5607 1 - 0.0000 -
1913.46/1919.07 c 1919 535218 5547 1 - 0.0000 -
1918.54/1924.13 c 1924 537107 5549 1 - 0.0000 -
1923.52/1929.17 c 1929 539301 5815 1 - 0.0000 -
1928.61/1934.22 c 1934 541410 5627 1 - 0.0000 -
1933.59/1939.27 c 1939 543444 5567 1 - 0.0000 -
1938.67/1944.32 c 1944 545397 5668 1 - 0.0000 -
1943.65/1949.37 c 1949 547409 5719 1 - 0.0000 -
1948.73/1954.42 c 1954 549686 5876 1 - 0.0000 -
1953.72/1959.47 c 1959 551427 5869 1 - 0.0000 -
1958.80/1964.54 c 1965 553154 5797 1 - 0.0000 -
1963.79/1969.59 c 1970 555223 6010 1 - 0.0000 -
1968.87/1974.64 c 1975 557217 6098 1 - 0.0000 -
1973.85/1979.69 c 1980 559269 6183 1 - 0.0000 -
1978.94/1984.74 c 1985 561238 6024 1 - 0.0000 -
1984.02/1989.80 c 1990 563234 5889 1 - 0.0000 -
1989.00/1994.85 c 1995 565226 5695 1 - 0.0000 -
1993.99/1999.89 c 2000 567125 5591 1 - 0.0000 -
1999.07/2004.96 c 2005 568681 5523 1 - 0.0000 -
2004.16/2010.00 c 2010 570414 5449 1 - 0.0000 -
2009.14/2015.06 c 2015 572285 5462 1 - 0.0000 -
2014.22/2020.10 c 2020 574157 5459 1 - 0.0000 -
2019.21/2025.15 c 2025 576018 5456 1 - 0.0000 -
2024.29/2030.20 c 2030 578084 5517 1 - 0.0000 -
2029.28/2035.25 c 2035 580237 5542 1 - 0.0000 -
2034.65/2040.60 c 2041 582019 5540 1 - 0.0000 -
2039.64/2045.65 c 2046 582946 5531 1 - 0.0000 -
2044.63/2050.69 c 2051 585045 5515 1 - 0.0000 -
2049.70/2055.74 c 2056 587188 5519 1 - 0.0000 -
2054.69/2060.79 c 2061 589274 5503 1 - 0.0000 -
2059.77/2065.85 c 2066 591266 5529 1 - 0.0000 -
2064.85/2070.92 c 2071 592138 5517 1 - 0.0000 -
2069.84/2075.96 c 2076 593392 5525 1 - 0.0000 -
2074.93/2081.01 c 2081 595442 5517 1 - 0.0000 -
2079.91/2086.06 c 2086 597207 5519 1 - 0.0000 -
2085.00/2091.11 c 2091 599350 5530 1 - 0.0000 -
2089.98/2096.16 c 2096 601577 5517 1 - 0.0000 -
2095.05/2101.21 c 2101 603811 5499 1 - 0.0000 -
2100.05/2106.26 c 2106 605936 5527 1 - 0.0000 -
2105.13/2111.31 c 2111 607933 5522 1 - 0.0000 -
2110.11/2116.38 c 2116 609879 5524 1 - 0.0000 -
2115.19/2121.43 c 2121 611871 5511 1 - 0.0000 -
2120.18/2126.48 c 2126 613718 5571 1 - 0.0000 -
2125.26/2131.54 c 2132 615604 5534 1 - 0.0000 -
2130.24/2136.59 c 2137 617473 5593 1 - 0.0000 -
2135.32/2141.64 c 2142 618752 5558 1 - 0.0000 -
2140.31/2146.69 c 2147 620596 5532 1 - 0.0000 -
2145.40/2151.73 c 2152 622417 5647 1 - 0.0000 -
2150.38/2156.78 c 2157 624275 5521 1 - 0.0000 -
2155.46/2161.83 c 2162 626052 5504 1 - 0.0000 -
2160.45/2166.88 c 2167 627923 5544 1 - 0.0000 -
2165.53/2171.93 c 2172 629779 5517 1 - 0.0000 -
2170.51/2176.98 c 2177 631623 5605 1 - 0.0000 -
2175.60/2182.03 c 2182 633662 5768 1 - 0.0000 -
2180.58/2187.08 c 2187 635591 5918 1 - 0.0000 -
2185.67/2192.13 c 2192 637354 5510 1 - 0.0000 -
2190.65/2197.19 c 2197 639173 5497 1 - 0.0000 -
2195.73/2202.25 c 2202 639833 5547 1 - 0.0000 -
2200.81/2207.30 c 2207 640560 5520 1 - 0.0000 -
2205.80/2212.34 c 2212 641290 5534 1 - 0.0000 -
2210.88/2217.40 c 2217 642941 5519 1 - 0.0000 -
2215.87/2222.44 c 2222 644800 5533 1 - 0.0000 -
2220.85/2227.49 c 2228 646506 5506 1 - 0.0000 -
2225.94/2232.54 c 2233 647956 5509 1 - 0.0000 -
2230.92/2237.59 c 2238 649607 5499 1 - 0.0000 -
2236.00/2242.65 c 2243 651096 5512 1 - 0.0000 -
2240.98/2247.69 c 2248 652509 5542 1 - 0.0000 -
2246.06/2252.75 c 2253 653834 5602 1 - 0.0000 -
2251.15/2257.80 c 2258 655215 5683 1 - 0.0000 -
2256.14/2262.85 c 2263 656439 5651 1 - 0.0000 -
2261.22/2267.92 c 2268 657668 5662 1 - 0.0000 -
2266.21/2272.97 c 2273 659363 5684 1 - 0.0000 -
2271.29/2278.02 c 2278 660460 5667 1 - 0.0000 -
2276.28/2283.07 c 2283 661543 5692 1 - 0.0000 -
2281.37/2288.12 c 2288 662222 5723 1 - 0.0000 -
2286.35/2293.18 c 2293 663046 5729 1 - 0.0000 -
2291.43/2298.24 c 2298 663771 5727 1 - 0.0000 -
2296.52/2303.30 c 2303 664968 5710 1 - 0.0000 -
2301.51/2308.35 c 2308 665528 5728 1 - 0.0000 -
2306.59/2313.40 c 2313 666729 5708 1 - 0.0000 -
2311.58/2318.45 c 2318 667942 5719 1 - 0.0000 -
2316.67/2323.50 c 2324 669507 5752 1 - 0.0000 -
2321.65/2328.57 c 2329 670207 5790 1 - 0.0000 -
2326.74/2333.63 c 2334 671619 5888 1 - 0.0000 -
2331.74/2338.69 c 2339 672987 5930 1 - 0.0000 -
2336.82/2343.73 c 2344 674485 5978 1 - 0.0000 -
2341.81/2348.79 c 2349 676120 5991 1 - 0.0000 -
2346.90/2353.83 c 2354 677996 6010 1 - 0.0000 -
2351.89/2358.88 c 2359 679664 6037 1 - 0.0000 -
2356.97/2363.93 c 2364 681032 6034 1 - 0.0000 -
2361.96/2368.99 c 2369 682377 5987 1 - 0.0000 -
2367.05/2374.05 c 2374 683723 6051 1 - 0.0000 -
2372.03/2379.09 c 2379 685039 6047 1 - 0.0000 -
2377.13/2384.17 c 2384 686300 6072 1 - 0.0000 -
2382.21/2389.21 c 2389 687634 6042 1 - 0.0000 -
2387.20/2394.26 c 2394 689210 6142 1 - 0.0000 -
2392.28/2399.32 c 2399 690659 6149 1 - 0.0000 -
2397.27/2404.37 c 2404 691810 6172 1 - 0.0000 -
2402.36/2409.44 c 2409 693226 6142 1 - 0.0000 -
2407.35/2414.49 c 2414 694800 6150 1 - 0.0000 -
2412.43/2419.54 c 2420 696182 6144 1 - 0.0000 -
2417.43/2424.58 c 2425 697986 6217 1 - 0.0000 -
2422.51/2429.63 c 2430 699653 6186 1 - 0.0000 -
2427.49/2434.68 c 2435 701532 6199 1 - 0.0000 -
2432.58/2439.73 c 2440 703461 6178 1 - 0.0000 -
2437.56/2444.78 c 2445 705279 6158 1 - 0.0000 -
2442.66/2449.84 c 2450 706924 6135 1 - 0.0000 -
2447.65/2454.89 c 2455 708322 6155 1 - 0.0000 -
2452.73/2459.96 c 2460 709712 6117 1 - 0.0000 -
2457.82/2465.01 c 2465 711746 6129 1 - 0.0000 -
2462.81/2470.06 c 2470 713105 6175 1 - 0.0000 -
2467.90/2475.11 c 2475 714463 6231 1 - 0.0000 -
2472.89/2480.17 c 2480 715708 6301 1 - 0.0000 -
2477.97/2485.23 c 2485 716801 6368 1 - 0.0000 -
2482.95/2490.29 c 2490 718117 6491 1 - 0.0000 -
2488.05/2495.33 c 2495 719500 6448 1 - 0.0000 -
2493.03/2500.39 c 2500 720753 6449 1 - 0.0000 -
2498.12/2505.44 c 2505 722056 6442 1 - 0.0000 -
2503.21/2510.51 c 2511 723533 6446 1 - 0.0000 -
2508.19/2515.59 c 2516 724885 6478 1 - 0.0000 -
2513.28/2520.65 c 2521 726334 6446 1 - 0.0000 -
2518.26/2525.69 c 2526 727806 6470 1 - 0.0000 -
2523.36/2530.77 c 2531 729885 6493 1 - 0.0000 -
2528.44/2535.81 c 2536 731587 6492 1 - 0.0000 -
2533.43/2540.86 c 2541 732810 6477 1 - 0.0000 -
2538.51/2545.91 c 2546 734703 6474 1 - 0.0000 -
2543.51/2550.96 c 2551 736598 6501 1 - 0.0000 -
2548.60/2556.02 c 2556 738830 6489 1 - 0.0000 -
2553.59/2561.06 c 2561 741066 6479 1 - 0.0000 -
2558.67/2566.11 c 2566 743441 6476 1 - 0.0000 -
2563.67/2571.16 c 2571 745278 6479 1 - 0.0000 -
2568.75/2576.22 c 2576 746565 6492 1 - 0.0000 -
2573.74/2581.26 c 2581 747835 6495 1 - 0.0000 -
2578.83/2586.33 c 2586 749195 6483 1 - 0.0000 -
2583.81/2591.38 c 2591 750528 6562 1 - 0.0000 -
2588.90/2596.43 c 2596 751875 6555 1 - 0.0000 -
2593.89/2601.48 c 2601 753059 6573 1 - 0.0000 -
2598.99/2606.55 c 2607 754546 6591 1 - 0.0000 -
2604.07/2611.60 c 2612 755952 6578 1 - 0.0000 -
2609.06/2616.66 c 2617 757368 6562 1 - 0.0000 -
2614.15/2621.71 c 2622 758474 6556 1 - 0.0000 -
2619.14/2626.76 c 2627 759098 6584 1 - 0.0000 -
2624.23/2631.82 c 2632 760016 6588 1 - 0.0000 -
2629.22/2636.87 c 2637 761156 6593 1 - 0.0000 -
2634.30/2641.94 c 2642 762752 6583 1 - 0.0000 -
2639.40/2647.00 c 2647 764018 6569 1 - 0.0000 -
2644.39/2652.06 c 2652 765335 6662 1 - 0.0000 -
2649.47/2657.12 c 2657 766739 6706 1 - 0.0000 -
2654.46/2662.17 c 2662 767958 6761 1 - 0.0000 -
2659.55/2667.22 c 2667 768699 6752 1 - 0.0000 -
2664.54/2672.28 c 2672 769456 6796 1 - 0.0000 -
2669.63/2677.33 c 2677 770541 6867 1 - 0.0000 -
2674.62/2682.38 c 2682 772213 6868 1 - 0.0000 -
2679.70/2687.43 c 2687 774090 6817 1 - 0.0000 -
2684.70/2692.48 c 2692 775934 6827 1 - 0.0000 -
2689.78/2697.53 c 2698 777845 6816 1 - 0.0000 -
2694.76/2702.59 c 2703 779681 6825 1 - 0.0000 -
2699.84/2707.63 c 2708 781397 6819 1 - 0.0000 -
2704.84/2712.68 c 2713 782911 6842 1 - 0.0000 -
2709.92/2717.73 c 2718 784230 6912 1 - 0.0000 -
2715.00/2722.80 c 2723 785440 6955 1 - 0.0000 -
2719.99/2727.85 c 2728 786855 6940 1 - 0.0000 -
2725.07/2732.90 c 2733 788303 6918 1 - 0.0000 -
2730.06/2737.95 c 2738 789595 6912 1 - 0.0000 -
2735.15/2743.02 c 2743 790608 6903 1 - 0.0000 -
2740.13/2748.08 c 2748 791590 6935 1 - 0.0000 -
2745.22/2753.14 c 2753 792289 6938 1 - 0.0000 -
2750.30/2758.21 c 2758 792971 6926 1 - 0.0000 -
2755.28/2763.26 c 2763 794386 6923 1 - 0.0000 -
2760.38/2768.30 c 2768 795849 6924 1 - 0.0000 -
2765.36/2773.35 c 2773 797209 6949 1 - 0.0000 -
2770.44/2778.41 c 2778 799296 6971 1 - 0.0000 -
2775.42/2783.46 c 2783 801452 6986 1 - 0.0000 -
2780.51/2788.52 c 2789 803544 7017 1 - 0.0000 -
2785.49/2793.56 c 2794 805250 6972 1 - 0.0000 -
2790.58/2798.63 c 2799 806694 7018 1 - 0.0000 -
2795.56/2803.68 c 2804 807931 7005 1 - 0.0000 -
2800.65/2808.73 c 2809 808845 7039 1 - 0.0000 -
2805.64/2813.79 c 2814 810053 7051 1 - 0.0000 -
2810.72/2818.85 c 2819 811637 7109 1 - 0.0000 -
2815.81/2823.91 c 2824 813202 7104 1 - 0.0000 -
2820.79/2828.98 c 2829 814117 7149 1 - 0.0000 -
2825.88/2834.05 c 2834 814999 7095 1 - 0.0000 -
2830.87/2839.09 c 2839 815929 7091 1 - 0.0000 -
2835.96/2844.14 c 2844 817640 7062 1 - 0.0000 -
2841.03/2849.20 c 2849 819013 7053 1 - 0.0000 -
2846.02/2854.25 c 2854 820333 7037 1 - 0.0000 -
2851.11/2859.31 c 2859 821684 7032 1 - 0.0000 -
2856.09/2864.36 c 2864 823088 7075 1 - 0.0000 -
2861.17/2869.41 c 2869 824594 7093 1 - 0.0000 -
2866.26/2874.51 c 2875 825815 7080 1 - 0.0000 -
2871.24/2879.55 c 2880 827273 7120 1 - 0.0000 -
2876.33/2884.61 c 2885 828613 7088 1 - 0.0000 -
2881.32/2889.65 c 2890 830133 7106 1 - 0.0000 -
2886.40/2894.71 c 2895 831484 7111 1 - 0.0000 -
2891.38/2899.76 c 2900 833043 7159 1 - 0.0000 -
2896.47/2904.89 c 2905 834275 7118 1 - 0.0000 -
2901.55/2909.95 c 2910 835454 7151 1 - 0.0000 -
2906.64/2915.01 c 2915 837402 7171 1 - 0.0000 -
2911.63/2920.07 c 2920 839208 7147 1 - 0.0000 -
2916.72/2925.11 c 2925 841044 7139 1 - 0.0000 -
2921.70/2930.16 c 2930 843021 7150 1 - 0.0000 -
2926.78/2935.22 c 2935 844804 7161 1 - 0.0000 -
2931.77/2940.26 c 2940 846920 7153 1 - 0.0000 -
2936.85/2945.31 c 2945 848989 7180 1 - 0.0000 -
2941.83/2950.36 c 2950 851026 7140 1 - 0.0000 -
2946.91/2955.42 c 2955 852272 7172 1 - 0.0000 -
2951.91/2960.46 c 2960 853555 7154 1 - 0.0000 -
2956.99/2965.51 c 2966 854832 7169 1 - 0.0000 -
2961.98/2970.56 c 2971 856417 7151 1 - 0.0000 -
2967.06/2975.61 c 2976 857442 7131 1 - 0.0000 -
2972.04/2980.67 c 2981 858659 7140 1 - 0.0000 -
2977.13/2985.71 c 2986 859868 7121 1 - 0.0000 -
2982.11/2990.77 c 2991 861096 7130 1 - 0.0000 -
2987.20/2995.81 c 2996 861836 7154 1 - 0.0000 -
2992.18/3000.87 c 3001 862638 7143 1 - 0.0000 -
2997.27/3005.92 c 3006 863369 7166 1 - 0.0000 -
3002.26/3010.98 c 3011 864444 7177 1 - 0.0000 -
3007.35/3016.04 c 3016 866095 7164 1 - 0.0000 -
3012.33/3021.09 c 3021 867711 7193 1 - 0.0000 -
3017.42/3026.13 c 3026 869356 7175 1 - 0.0000 -
3022.40/3031.19 c 3031 870841 7268 1 - 0.0000 -
3027.48/3036.24 c 3036 872280 7251 1 - 0.0000 -
3032.56/3041.30 c 3041 873575 7230 1 - 0.0000 -
3037.55/3046.36 c 3046 874753 7264 1 - 0.0000 -
3042.64/3051.40 c 3051 875353 7290 1 - 0.0000 -
3047.62/3056.47 c 3056 876044 7345 1 - 0.0000 -
3052.70/3061.54 c 3062 876963 7340 1 - 0.0000 -
3057.79/3066.60 c 3067 877920 7379 1 - 0.0000 -
3062.78/3071.65 c 3072 878984 7375 1 - 0.0000 -
3067.87/3076.70 c 3077 880678 7360 1 - 0.0000 -
3072.85/3081.75 c 3082 882205 7356 1 - 0.0000 -
3077.93/3086.80 c 3087 884057 7338 1 - 0.0000 -
3082.92/3091.85 c 3092 885588 7355 1 - 0.0000 -
3088.00/3096.90 c 3097 886723 7338 1 - 0.0000 -
3092.99/3101.95 c 3102 888482 7337 1 - 0.0000 -
3098.08/3107.01 c 3107 890284 7324 1 - 0.0000 -
3103.07/3112.05 c 3112 891828 7338 1 - 0.0000 -
3108.15/3117.10 c 3117 893464 7324 1 - 0.0000 -
3113.13/3122.17 c 3122 894926 7400 1 - 0.0000 -
3118.21/3127.23 c 3127 896543 7459 1 - 0.0000 -
3123.20/3132.28 c 3132 898092 7453 1 - 0.0000 -
3128.29/3137.33 c 3137 899375 7457 1 - 0.0000 -
3133.27/3142.39 c 3142 900617 7479 1 - 0.0000 -
3138.35/3147.43 c 3147 901916 7481 1 - 0.0000 -
3143.33/3152.48 c 3152 903090 7519 1 - 0.0000 -
3148.42/3157.54 c 3158 904306 7504 1 - 0.0000 -
3153.51/3162.60 c 3163 905769 7525 1 - 0.0000 -
3158.49/3167.65 c 3168 907579 7517 1 - 0.0000 -
3163.58/3172.71 c 3173 909051 7501 1 - 0.0000 -
3168.56/3177.77 c 3178 910346 7492 1 - 0.0000 -
3173.64/3182.82 c 3183 911975 7505 1 - 0.0000 -
3178.63/3187.87 c 3188 912697 7527 1 - 0.0000 -
3183.71/3192.92 c 3193 913767 7524 1 - 0.0000 -
3188.71/3197.99 c 3198 915304 7495 1 - 0.0000 -
3193.79/3203.04 c 3203 917704 7553 1 - 0.0000 -
3198.77/3208.09 c 3208 920242 7543 1 - 0.0000 -
3203.86/3213.15 c 3213 922007 7524 1 - 0.0000 -
3208.95/3218.21 c 3218 922982 7523 1 - 0.0000 -
3213.93/3223.25 c 3223 924524 7537 1 - 0.0000 -
3219.01/3228.31 c 3228 926823 7533 1 - 0.0000 -
3224.00/3233.36 c 3233 929206 7584 1 - 0.0000 -
3229.08/3238.43 c 3238 931207 7573 1 - 0.0000 -
3234.07/3243.48 c 3243 933415 7554 1 - 0.0000 -
3239.15/3248.52 c 3249 935074 7499 1 - 0.0000 -
3244.13/3253.58 c 3254 936289 7505 1 - 0.0000 -
3249.22/3258.63 c 3259 937602 7516 1 - 0.0000 -
3254.21/3263.68 c 3264 938758 7584 1 - 0.0000 -
3259.29/3268.72 c 3269 939997 7625 1 - 0.0000 -
3264.28/3273.77 c 3274 941393 7659 1 - 0.0000 -
3269.36/3278.83 c 3279 942815 7684 1 - 0.0000 -
3274.35/3283.88 c 3284 943449 7714 1 - 0.0000 -
3279.44/3288.95 c 3289 944141 7726 1 - 0.0000 -
3284.53/3294.01 c 3294 944790 7723 1 - 0.0000 -
3289.51/3299.08 c 3299 945384 7695 1 - 0.0000 -
3294.59/3304.13 c 3304 946189 7688 1 - 0.0000 -
3299.58/3309.18 c 3309 947599 7700 1 - 0.0000 -
3304.66/3314.23 c 3314 948746 7701 1 - 0.0000 -
3309.65/3319.28 c 3319 950386 7811 1 - 0.0000 -
3314.73/3324.33 c 3324 951940 7893 1 - 0.0000 -
3319.72/3329.38 c 3329 953430 7877 1 - 0.0000 -
3324.80/3334.43 c 3334 954851 7893 1 - 0.0000 -
3329.78/3339.48 c 3339 956122 7895 1 - 0.0000 -
3334.87/3344.53 c 3345 957644 7885 1 - 0.0000 -
3339.86/3349.58 c 3350 958764 7911 1 - 0.0000 -
3344.94/3354.65 c 3355 959908 7889 1 - 0.0000 -
3350.03/3359.79 c 3360 961293 7876 1 - 0.0000 -
3355.11/3364.83 c 3365 962518 8039 1 - 0.0000 -
3360.09/3369.88 c 3370 963796 8049 1 - 0.0000 -
3365.19/3374.93 c 3375 965580 8079 1 - 0.0000 -
3370.17/3379.99 c 3380 967513 8064 1 - 0.0000 -
3375.26/3385.03 c 3385 969470 8063 1 - 0.0000 -
3380.24/3390.08 c 3390 971528 8053 1 - 0.0000 -
3385.32/3395.14 c 3395 973560 8061 1 - 0.0000 -
3390.31/3400.19 c 3400 975413 8103 1 - 0.0000 -
3395.39/3405.23 c 3405 976986 8156 1 - 0.0000 -
3400.37/3410.29 c 3410 978997 8139 1 - 0.0000 -
3405.46/3415.34 c 3415 981134 8150 1 - 0.0000 -
3410.54/3420.40 c 3420 982928 8127 1 - 0.0000 -
3415.53/3425.45 c 3425 984344 8133 1 - 0.0000 -
3420.62/3430.52 c 3431 985614 8135 1 - 0.0000 -
3425.60/3435.57 c 3436 986841 8133 1 - 0.0000 -
3430.68/3440.62 c 3441 988236 8142 1 - 0.0000 -
3435.67/3445.66 c 3446 989771 8152 1 - 0.0000 -
3440.75/3450.72 c 3451 991374 8132 1 - 0.0000 -
3445.74/3455.78 c 3456 992797 8169 1 - 0.0000 -
3450.83/3460.84 c 3461 994583 8132 1 - 0.0000 -
3455.91/3465.90 c 3466 996311 8159 1 - 0.0000 -
3460.89/3470.95 c 3471 998372 8208 1 - 0.0000 -
3465.98/3476.00 c 3476 1000522 8242 1 - 0.0000 -
3470.97/3481.04 c 3481 1002640 8242 1 - 0.0000 -
3475.96/3486.09 c 3486 1004275 8275 1 - 0.0000 -
3481.04/3491.16 c 3491 1006007 8250 1 - 0.0000 -
3486.12/3496.20 c 3496 1007879 8220 1 - 0.0000 -
3491.10/3501.25 c 3501 1010017 8185 1 - 0.0000 -
3496.19/3506.30 c 3506 1011302 8163 1 - 0.0000 -
3501.17/3511.35 c 3511 1013366 8295 1 - 0.0000 -
3506.26/3516.40 c 3516 1015733 8256 1 - 0.0000 -
3511.24/3521.46 c 3521 1017897 8135 1 - 0.0000 -
3516.32/3526.50 c 3527 1020258 8219 1 - 0.0000 -
3521.31/3531.55 c 3532 1022478 8161 1 - 0.0000 -
3526.40/3536.61 c 3537 1024285 8120 1 - 0.0000 -
3531.38/3541.65 c 3542 1025884 8158 1 - 0.0000 -
3536.47/3546.70 c 3547 1027407 8219 1 - 0.0000 -
3541.45/3551.75 c 3552 1028973 8292 1 - 0.0000 -
3546.53/3556.81 c 3557 1030413 8175 1 - 0.0000 -
3551.51/3561.87 c 3562 1031729 8175 1 - 0.0000 -
3556.61/3566.91 c 3567 1033269 8184 1 - 0.0000 -
3561.59/3571.96 c 3572 1034712 8192 1 - 0.0000 -
3566.68/3577.02 c 3577 1036762 8189 1 - 0.0000 -
3571.66/3582.08 c 3582 1038290 8213 1 - 0.0000 -
3576.75/3587.13 c 3587 1039224 8200 1 - 0.0000 -
3581.74/3592.18 c 3592 1040151 8205 1 - 0.0000 -
3586.82/3597.25 c 3597 1041143 8203 1 - 0.0000 -
3589.61/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.61/3600.04 c Total Time : 3600.0400
3589.61/3600.04 c solving : 3600.0400
3589.61/3600.04 c presolving : 0.1868 (included in solving)
3589.61/3600.04 c B&B Tree :
3589.61/3600.04 c nodes (total) : 1
3589.61/3600.04 c Solution :
3589.61/3600.04 c Solutions found : 0
3589.61/3600.04 c Primal Bound : -
3589.61/3600.04 c Dual Bound : +0.00000000000000e+00
3589.61/3600.04 c Gap : -
3589.61/3600.07 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (55383 MiB free)
memory of node 1: 64473 MiB (61587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459627-1721932566/watcher-4459627-1721932566 -o /tmp/evaluation-result-4459627-1721932566/solver-4459627-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721932566-296324 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459627-1721932566.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=296355, runsolver pid=296351
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.09 0.12 0.09 5/250 296375
/proc/meminfo: memFree=119607724/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=82224 memory=71268 CPUtime=0.1 cores=1,3
/proc/296355/stat : 296355 (fscip) R 296351 296355 296312 0 -1 4194304 15656 0 0 0 8 2 0 0 20 0 1 0 29784921 84197376 17817 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 20556 17817 2590 3032 0 16956 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82224 KiB
Current children cumulated memory: 71268 KiB
[startup+0.205954 s]*
/proc/loadavg: 0.09 0.12 0.09 5/258 296387
/proc/meminfo: memFree=119552672/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=97384 memory=84136 CPUtime=0.2 cores=1,3
/proc/296355/stat : 296355 (fscip) R 296351 296355 296312 0 -1 4194304 18857 0 0 0 17 3 0 0 20 0 1 0 29784921 99721216 21034 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 24346 21034 2606 3032 0 20746 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97384 KiB
Current children cumulated memory: 84136 KiB
[startup+0.307467 s]*
/proc/loadavg: 0.09 0.12 0.09 6/263 296392
/proc/meminfo: memFree=119490408/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=191900 memory=103740 CPUtime=0.3 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 23570 0 0 0 26 4 0 0 20 0 3 0 29784921 196505600 25935 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 47975 25935 2702 3032 0 29635 0
[pid=296355/tid=296390] ppid=296351 vsize=191900 memory=-6154000001340193643 CPUtime=0 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 1986 0 0 0 0 0 0 0 20 0 3 0 29784950 196505600 25935 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=191900 memory=0 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29784952 196505600 25935 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 191900 KiB
Current children cumulated memory: 103740 KiB
[startup+0.700219 s]
/proc/loadavg: 0.40 0.18 0.11 5/255 296397
/proc/meminfo: memFree=119599824/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=191900 memory=128400 CPUtime=0.67 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 30997 0 0 0 62 5 0 0 20 0 3 0 29784921 196505600 32100 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 47975 32100 2926 3032 0 35991 0
[pid=296355/tid=296390] ppid=296351 vsize=191900 memory=66588 CPUtime=0.37 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 9413 0 0 0 36 1 0 0 20 0 3 0 29784950 196505600 32100 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=191900 memory=13572 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29784952 196505600 32100 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 191900 KiB
Current children cumulated memory: 128400 KiB
[startup+1.50025 s]
/proc/loadavg: 0.40 0.18 0.11 3/250 296411
/proc/meminfo: memFree=119552036/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=322972 memory=229688 CPUtime=1.47 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 68813 0 0 0 137 10 0 0 20 0 3 0 29784921 330723328 57422 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 80743 57422 2926 3032 0 61541 0
[pid=296355/tid=296390] ppid=296351 vsize=322972 memory=13572 CPUtime=1.17 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 47232 0 0 0 111 6 0 0 20 0 3 0 29784950 330723328 57422 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=322972 memory=0 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29784952 330723328 57422 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 322972 KiB
Current children cumulated memory: 229688 KiB
[startup+3.10479 s]
/proc/loadavg: 0.40 0.18 0.11 3/248 296489
/proc/meminfo: memFree=119430176/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=315692 CPUtime=3.07 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 91526 0 0 0 293 14 0 0 20 0 3 0 29784921 397832192 78923 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 78923 2926 3032 0 84264 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=0 CPUtime=2.77 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 69941 0 0 0 267 10 0 0 20 0 3 0 29784950 397832192 78923 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=13572 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 29784952 397832192 78923 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 315692 KiB
[startup+6.3002 s]
/proc/loadavg: 0.61 0.23 0.13 4/256 296506
/proc/meminfo: memFree=119310656/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=322692 CPUtime=6.26 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 94140 0 0 0 612 14 0 0 20 0 3 0 29784921 397832192 80673 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 80673 2926 3032 0 86323 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=315692 CPUtime=5.96 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 72526 0 0 0 586 10 0 0 20 0 3 0 29784950 397832192 80673 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=322692 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 29784952 397832192 80673 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 322692 KiB
[startup+12.7002 s]
/proc/loadavg: 1.04 0.33 0.16 4/256 296507
/proc/meminfo: memFree=119310236/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=322736 CPUtime=12.64 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 114796 0 0 0 1248 16 0 0 20 0 3 0 29784921 397832192 80684 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 80684 2926 3032 0 86323 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=322736 CPUtime=12.34 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 93144 0 0 0 1222 12 0 0 20 0 3 0 29784950 397832192 80684 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=13572 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 29784952 397832192 80684 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 322736 KiB
[startup+25.5002 s]
/proc/loadavg: 1.35 0.42 0.19 4/252 296509
/proc/meminfo: memFree=119247700/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=332280 CPUtime=25.4 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 168557 0 0 0 2520 20 0 0 20 0 3 0 29784921 397832192 83070 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 83070 3278 3032 0 87994 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=332280 CPUtime=25.1 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 146812 0 0 0 2494 16 0 0 20 0 3 0 29784950 397832192 83070 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=6720661051987608423 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 29784952 397832192 83070 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 332280 KiB
[startup+51.1054 s]
/proc/loadavg: 2.07 0.68 0.29 4/252 296513
/proc/meminfo: memFree=119164384/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=332404 CPUtime=50.93 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 192028 0 0 0 5070 23 0 0 20 0 3 0 29784921 397832192 83101 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 83101 3294 3032 0 87994 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=315692 CPUtime=50.64 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 170196 0 0 0 5044 20 0 0 20 0 3 0 29784950 397832192 83101 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=-6370172783453977451 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 29784952 397832192 83101 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 332404 KiB
[startup+102.3 s]
/proc/loadavg: 2.67 1.06 0.44 4/252 296522
/proc/meminfo: memFree=119050228/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=336836 CPUtime=101.98 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 221504 0 0 0 10169 29 0 0 20 0 3 0 29784921 397832192 84209 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 84209 3294 3032 0 87994 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=336372 CPUtime=101.68 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 199603 0 0 0 10143 25 0 0 20 0 3 0 29784950 397832192 84209 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=335496 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 29784952 397832192 84209 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 336836 KiB
[startup+162.3 s]
/proc/loadavg: 2.93 1.43 0.61 4/252 296533
/proc/meminfo: memFree=118982880/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=338020 CPUtime=161.81 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 237133 0 0 0 16147 34 0 0 20 0 3 0 29784921 397832192 84505 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 84505 3294 3032 0 87994 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=337340 CPUtime=161.5 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 215192 0 0 0 16120 30 0 0 20 0 3 0 29784950 397832192 84505 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=338020 CPUtime=0 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 29784952 397832192 84505 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 338020 KiB
[startup+222.3 s]
/proc/loadavg: 3.02 1.73 0.76 4/252 296544
/proc/meminfo: memFree=118935960/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=340184 CPUtime=221.63 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 243228 0 0 0 22127 36 0 0 20 0 3 0 29784921 397832192 85046 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 85046 3294 3032 0 87994 0
################
# More data... #
################
/proc/296355/statm: 97127 86772 3310 3032 0 88504 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=5720 CPUtime=3392 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 247789 0 0 0 339035 165 0 0 20 0 3 0 29784950 397832192 86772 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=347088 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 86 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 86772 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 347088 KiB
[startup+3462.3 s]
/proc/loadavg: 2.16 2.21 2.45 3/244 298351
/proc/meminfo: memFree=118675688/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3452.32 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 272053 0 0 0 345055 177 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=5720 CPUtime=3451.82 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 249059 0 0 0 345014 168 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=348812 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.18 2.42 3/243 298361
/proc/meminfo: memFree=118673236/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3512.14 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 272580 0 0 0 351035 179 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=348812 CPUtime=3511.63 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 249566 0 0 0 350993 170 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=67052 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 88 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.18 2.41 3/243 298371
/proc/meminfo: memFree=118660016/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3571.96 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273170 0 0 0 357015 181 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=348812 CPUtime=3571.45 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250136 0 0 0 356973 172 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=348812 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3600.08 s]
# the end of solver process 296355 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.87 s, system=1.82782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.15 2.18 2.41 3/243 298371
/proc/meminfo: memFree=118660008/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3573.66 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273170 0 0 0 357185 181 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=6720659931034698597 CPUtime=3573.15 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250136 0 0 0 357143 172 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=4270431478482867299 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3590.4 s]
/proc/loadavg: 2.14 2.18 2.40 3/243 298371
/proc/meminfo: memFree=118660008/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3580.04 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273171 0 0 0 357822 182 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=67052 CPUtime=3579.52 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250137 0 0 0 357780 172 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=13136 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3580.04 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.17 2.40 3/242 298373
/proc/meminfo: memFree=118659960/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3586.42 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273396 0 0 0 358460 182 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=348812 CPUtime=3585.9 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250360 0 0 0 358418 172 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=348812 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3598.4 s]
/proc/loadavg: 2.11 2.17 2.40 3/242 298373
/proc/meminfo: memFree=118659960/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3588.01 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273396 0 0 0 358619 182 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=348812 CPUtime=3587.5 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250360 0 0 0 358577 173 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=13572 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3599.2 s]
/proc/loadavg: 2.11 2.17 2.40 3/242 298373
/proc/meminfo: memFree=118659960/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3588.81 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273396 0 0 0 358699 182 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=6720659931034698597 CPUtime=3588.3 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250360 0 0 0 358657 173 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=4270431478482867299 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3588.81 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3599.6 s]
/proc/loadavg: 2.11 2.17 2.40 3/242 298373
/proc/meminfo: memFree=118659960/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3589.21 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273396 0 0 0 358739 182 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=13136 CPUtime=3588.7 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250360 0 0 0 358697 173 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=5720 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3589.21 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
[startup+3600 s]*
/proc/loadavg: 2.11 2.17 2.40 3/242 298373
/proc/meminfo: memFree=118659960/131524600 swapFree=131068388/131071996
[pid=296355] ppid=296351 vsize=388508 memory=348812 CPUtime=3589.61 cores=1,3
/proc/296355/stat : 296355 (fscip) S 296351 296355 296312 0 -1 1077936128 273396 0 0 0 358779 182 0 0 20 0 3 0 29784921 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
/proc/296355/statm: 97127 87203 3310 3032 0 89013 0
[pid=296355/tid=296390] ppid=296351 vsize=388508 memory=6720659931034698597 CPUtime=3589.1 cores=1,3
/proc/296355/task/296390/stat : 296390 (fscip) R 296351 296355 296312 0 -1 4194368 250360 0 0 0 358737 173 0 0 20 0 3 0 29784950 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
[pid=296355/tid=296392] ppid=296351 vsize=388508 memory=4270431478482867299 CPUtime=0.02 cores=1,3
/proc/296355/task/296392/stat : 296392 (fscip) S 296351 296355 296312 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 29784952 397832192 87203 134679101440 4194304 16613245 140735944244368 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28364800 140735944246296 140735944246412 140735944246412 140735944253424 0
Current children cumulated CPU time: 3589.61 s
Current children cumulated vsize: 388508 KiB
Current children cumulated memory: 348812 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3589.7
CPU user time (s): 3587.87
CPU system time (s): 1.82782
CPU usage (%): 99.7116
Max. virtual memory (cumulated for all children) (KiB): 388508
Max. memory (cumulated for all children) (KiB): 348812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.87
system time used= 1.82782
maximum resident set size= 348812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276285
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= 10810
involuntary context switches= 1296
# summary of solver processes directly reported to runsolver:
# pid: 296355
# total CPU time (s): 3589.7
# total CPU user time (s): 3587.87
# total CPU system time (s): 1.82782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82484 second user time and 16.1149 second system time
The end
Begin job on nodeC018 at 2024-07-25 20:36:06
IDJOB=4459627
IDBENCH=148253
IDSOLVER=3064
FILE ID=nodeC018/4459627-1721932566
RUNJOBID= nodeC018-1721932566-296324
SLURM_JOB_ID= 8247067
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.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-4459627-1721932566/watcher-4459627-1721932566 -o /tmp/evaluation-result-4459627-1721932566/solver-4459627-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721932566-296324 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459627-1721932566.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f98457bb85703d2b548256a3e6b4fdef
RANDOM SEED=672496796
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.385
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.43
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 : 3669.262
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.33
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 : 3453.316
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.43
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 : 3667.154
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.33
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 : 3636.432
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.43
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 : 2906.344
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.33
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 : 3658.267
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.43
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 : 3492.682
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119778792 kB
MemAvailable: 129774400 kB
Buffers: 327420 kB
Cached: 10442120 kB
SwapCached: 608 kB
Active: 2313072 kB
Inactive: 8723592 kB
Active(anon): 1876 kB
Inactive(anon): 318976 kB
Active(file): 2311196 kB
Inactive(file): 8404616 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131068388 kB
Dirty: 85256 kB
Writeback: 4 kB
AnonPages: 266624 kB
Mapped: 102636 kB
Shmem: 53728 kB
KReclaimable: 239236 kB
Slab: 360352 kB
SReclaimable: 239236 kB
SUnreclaim: 121116 kB
KernelStack: 3776 kB
PageTables: 9656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 720672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 145408 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: 375508 kB
DirectMap2M: 43438080 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC018 at 2024-07-25 21:36:07