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 = 24469504, getVmSize() = 24469504, SCIPgetMemUsed() = 2274340, SCIPgetMemTotal() = 2885596, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 19016362, getVmSize() = 32579584, SCIPgetMemUsed() = 6111405, SCIPgetMemTotal() = 9779133, SCIPgetMemExternEstim() = 1048576
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4443440-1721301672
0.00/0.05 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 644
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 344
0.00/0.05 c Constraints : Number
0.00/0.05 c knapsack : 2
0.00/0.05 c setppc : 210
0.00/0.05 c and : 132
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.05 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.87/5.96 c 6 740 53 1 - 0.0000 -
11.26/11.31 c 11 1665 20 1 - 0.0000 -
16.24/16.36 c 16 5318 23 1 - 0.0000 -
21.32/21.41 c 21 7961 40 1 - 0.0000 -
26.31/26.46 c 26 10811 46 1 - 0.0000 -
31.39/31.51 c 32 14420 67 1 - 0.0000 -
36.37/36.55 c 37 18007 83 1 - 0.0000 -
41.45/41.65 c 42 21325 115 1 - 0.0000 -
46.54/46.70 c 47 24948 108 1 - 0.0000 -
51.52/51.75 c 52 28428 126 1 - 0.0000 -
56.60/56.80 c 57 31512 136 1 - 0.0000 -
61.68/61.92 c 62 34835 167 1 - 0.0000 -
66.66/66.97 c 67 38496 194 1 - 0.0000 -
71.75/72.02 c 72 41194 202 1 - 0.0000 -
76.73/77.07 c 77 44177 205 1 - 0.0000 -
81.82/82.12 c 82 47536 222 1 - 0.0000 -
86.89/87.25 c 87 50679 229 1 - 0.0000 -
92.07/92.41 c 92 53897 251 1 - 0.0000 -
97.06/97.48 c 97 56586 272 1 - 0.0000 -
102.24/102.65 c 103 58982 306 1 - 0.0000 -
107.32/107.70 c 108 63146 326 1 - 0.0000 -
112.31/112.75 c 113 65734 348 1 - 0.0000 -
117.39/117.81 c 118 68732 350 1 - 0.0000 -
122.37/122.89 c 123 71945 361 1 - 0.0000 -
127.46/127.95 c 128 74401 383 1 - 0.0000 -
132.55/133.00 c 133 77826 426 1 - 0.0000 -
137.53/138.05 c 138 81034 448 1 - 0.0000 -
142.51/143.10 c 143 84334 456 1 - 0.0000 -
147.69/148.22 c 148 87476 468 1 - 0.0000 -
152.77/153.37 c 153 89595 481 1 - 0.0000 -
157.96/158.51 c 159 92091 497 1 - 0.0000 -
162.95/163.56 c 164 95091 531 1 - 0.0000 -
168.03/168.67 c 169 98705 521 1 - 0.0000 -
173.12/173.72 c 174 101537 545 1 - 0.0000 -
178.10/178.77 c 179 104617 567 1 - 0.0000 -
183.18/183.82 c 184 107606 582 1 - 0.0000 -
188.16/188.87 c 189 110091 603 1 - 0.0000 -
193.25/193.94 c 194 112827 611 1 - 0.0000 -
198.23/198.99 c 199 115945 643 1 - 0.0000 -
203.32/204.04 c 204 119467 685 1 - 0.0000 -
208.30/209.09 c 209 122966 730 1 - 0.0000 -
213.39/214.14 c 214 125752 746 1 - 0.0000 -
218.57/219.31 c 219 128180 776 1 - 0.0000 -
223.65/224.48 c 224 130593 779 1 - 0.0000 -
228.74/229.52 c 230 134240 814 1 - 0.0000 -
233.83/234.69 c 235 136571 831 1 - 0.0000 -
238.91/239.74 c 240 139789 857 1 - 0.0000 -
243.89/244.79 c 245 142767 871 1 - 0.0000 -
248.98/249.84 c 250 145302 910 1 - 0.0000 -
253.96/254.89 c 255 148177 939 1 - 0.0000 -
259.05/259.93 c 260 151141 945 1 - 0.0000 -
264.03/264.98 c 265 155417 955 1 - 0.0000 -
269.12/270.03 c 270 158856 972 1 - 0.0000 -
274.10/275.08 c 275 161788 994 1 - 0.0000 -
279.19/280.13 c 280 164908 1016 1 - 0.0000 -
284.26/285.20 c 285 167714 1042 1 - 0.0000 -
289.25/290.25 c 290 171411 1059 1 - 0.0000 -
294.33/295.30 c 295 174184 1126 1 - 0.0000 -
299.31/300.36 c 300 177148 1144 1 - 0.0000 -
304.40/305.42 c 305 179914 1180 1 - 0.0000 -
309.68/310.70 c 311 182369 1209 1 - 0.0000 -
314.76/315.82 c 316 184753 1262 1 - 0.0000 -
319.85/320.96 c 321 187876 1279 1 - 0.0000 -
324.93/326.07 c 326 191325 1318 1 - 0.0000 -
330.11/331.22 c 331 194315 1366 1 - 0.0000 -
335.09/336.27 c 336 198420 1423 1 - 0.0000 -
340.18/341.32 c 341 201459 1436 1 - 0.0000 -
345.26/346.41 c 346 204389 1444 1 - 0.0000 -
350.23/351.46 c 351 207382 1461 1 - 0.0000 -
355.32/356.51 c 357 210786 1475 1 - 0.0000 -
360.40/361.60 c 362 213882 1491 1 - 0.0000 -
365.38/366.65 c 367 216942 1479 1 - 0.0000 -
370.47/371.70 c 372 220554 1523 1 - 0.0000 -
375.45/376.77 c 377 223910 1529 1 - 0.0000 -
380.54/381.82 c 382 227302 1571 1 - 0.0000 -
385.52/386.87 c 387 230167 1572 1 - 0.0000 -
390.71/392.00 c 392 231639 1582 1 - 0.0000 -
395.69/397.05 c 397 234462 1593 1 - 0.0000 -
400.79/402.13 c 402 237647 1626 1 - 0.0000 -
405.76/407.18 c 407 242284 1665 1 - 0.0000 -
410.85/412.23 c 412 246410 1671 1 - 0.0000 -
415.84/417.28 c 417 249957 1710 1 - 0.0000 -
420.92/422.34 c 422 252848 1759 1 - 0.0000 -
426.10/427.53 c 428 255253 1766 1 - 0.0000 -
431.09/432.58 c 433 258529 1772 1 - 0.0000 -
436.17/437.65 c 438 261383 1796 1 - 0.0000 -
441.27/442.76 c 443 264354 1805 1 - 0.0000 -
446.35/447.81 c 448 266144 1809 1 - 0.0000 -
451.44/452.99 c 453 268489 1818 1 - 0.0000 -
456.62/458.16 c 458 270184 1843 1 - 0.0000 -
461.71/463.21 c 463 272772 1847 1 - 0.0000 -
466.79/468.31 c 468 274797 1846 1 - 0.0000 -
471.78/473.36 c 473 278256 1867 1 - 0.0000 -
476.86/478.41 c 478 281555 1876 1 - 0.0000 -
481.95/483.53 c 484 284099 1888 1 - 0.0000 -
487.14/488.76 c 489 286201 1930 1 - 0.0000 -
492.32/493.91 c 494 288788 1937 1 - 0.0000 -
497.31/498.98 c 499 290647 1946 1 - 0.0000 -
502.40/504.03 c 504 293995 2018 1 - 0.0000 -
507.48/509.14 c 509 295976 2017 1 - 0.0000 -
512.57/514.22 c 514 299047 2032 1 - 0.0000 -
517.75/519.40 c 519 300468 2033 1 - 0.0000 -
522.74/524.45 c 524 303809 2052 1 - 0.0000 -
527.82/529.50 c 530 306786 2097 1 - 0.0000 -
532.81/534.55 c 535 310315 2120 1 - 0.0000 -
537.98/539.77 c 540 314054 2141 1 - 0.0000 -
543.17/544.96 c 545 316042 2157 1 - 0.0000 -
548.36/550.12 c 550 318569 2138 1 - 0.0000 -
553.35/555.18 c 555 320630 2149 1 - 0.0000 -
558.41/560.22 c 560 323993 2172 1 - 0.0000 -
563.40/565.27 c 565 326673 2164 1 - 0.0000 -
568.48/570.32 c 570 329628 2199 1 - 0.0000 -
573.46/575.37 c 575 332431 2188 1 - 0.0000 -
578.54/580.47 c 580 334511 2182 1 - 0.0000 -
583.64/585.52 c 586 337049 2176 1 - 0.0000 -
588.72/590.61 c 591 340212 2203 1 - 0.0000 -
593.91/595.83 c 596 342353 2212 1 - 0.0000 -
598.89/600.88 c 601 345009 2200 1 - 0.0000 -
603.98/605.99 c 606 347549 2214 1 - 0.0000 -
609.07/611.05 c 611 349419 2222 1 - 0.0000 -
614.14/616.18 c 616 353020 2227 1 - 0.0000 -
619.42/621.45 c 621 355624 2238 1 - 0.0000 -
624.50/626.50 c 627 358990 2262 1 - 0.0000 -
629.58/631.63 c 632 361983 2295 1 - 0.0000 -
634.68/636.74 c 637 363683 2307 1 - 0.0000 -
639.76/641.81 c 642 366641 2313 1 - 0.0000 -
644.85/646.91 c 647 368856 2314 1 - 0.0000 -
649.94/652.09 c 652 371223 2335 1 - 0.0000 -
655.03/657.17 c 657 373304 2342 1 - 0.0000 -
660.11/662.22 c 662 375528 2362 1 - 0.0000 -
665.09/667.29 c 667 378409 2399 1 - 0.0000 -
670.17/672.34 c 672 381335 2391 1 - 0.0000 -
675.46/677.62 c 678 383381 2387 1 - 0.0000 -
680.45/682.67 c 683 385867 2397 1 - 0.0000 -
685.53/687.72 c 688 388609 2401 1 - 0.0000 -
690.52/692.77 c 693 391785 2459 1 - 0.0000 -
695.60/697.83 c 698 395823 2499 1 - 0.0000 -
700.58/702.88 c 703 399922 2558 1 - 0.0000 -
705.67/707.93 c 708 403237 2567 1 - 0.0000 -
710.66/712.99 c 713 405323 2567 1 - 0.0000 -
715.74/718.03 c 718 408171 2581 1 - 0.0000 -
720.73/723.08 c 723 412182 2598 1 - 0.0000 -
725.91/728.29 c 728 415094 2614 1 - 0.0000 -
730.99/733.36 c 733 418492 2670 1 - 0.0000 -
736.08/738.44 c 738 421962 2706 1 - 0.0000 -
741.17/743.59 c 744 424103 2711 1 - 0.0000 -
746.36/748.74 c 749 425869 2709 1 - 0.0000 -
751.44/753.85 c 754 428009 2709 1 - 0.0000 -
756.52/758.96 c 759 430329 2721 1 - 0.0000 -
761.71/764.17 c 764 432526 2738 1 - 0.0000 -
766.79/769.27 c 769 434031 2745 1 - 0.0000 -
771.88/774.32 c 774 437772 2766 1 - 0.0000 -
776.96/779.40 c 779 440580 2790 1 - 0.0000 -
781.95/784.45 c 784 443308 2790 1 - 0.0000 -
787.14/789.63 c 790 445638 2802 1 - 0.0000 -
792.12/794.68 c 795 448913 2825 1 - 0.0000 -
797.21/799.77 c 800 452500 2838 1 - 0.0000 -
802.29/804.87 c 805 454834 2844 1 - 0.0000 -
807.38/809.97 c 810 458060 2876 1 - 0.0000 -
812.47/815.08 c 815 460224 2904 1 - 0.0000 -
817.56/820.16 c 820 463409 2913 1 - 0.0000 -
822.63/825.21 c 825 465896 2912 1 - 0.0000 -
827.63/830.26 c 830 468682 2926 1 - 0.0000 -
832.70/835.31 c 835 472042 2950 1 - 0.0000 -
837.69/840.36 c 840 475119 2957 1 - 0.0000 -
842.87/845.52 c 846 478239 2965 1 - 0.0000 -
847.86/850.57 c 851 480863 2983 1 - 0.0000 -
853.04/855.78 c 856 483605 2995 1 - 0.0000 -
858.12/860.83 c 861 486413 2995 1 - 0.0000 -
863.21/865.91 c 866 488817 3023 1 - 0.0000 -
868.19/870.98 c 871 490740 3036 1 - 0.0000 -
873.28/876.03 c 876 493541 3061 1 - 0.0000 -
878.56/881.30 c 881 497081 3101 1 - 0.0000 -
883.64/886.43 c 886 498268 3122 1 - 0.0000 -
888.72/891.53 c 892 501017 3127 1 - 0.0000 -
893.81/896.62 c 897 503622 3142 1 - 0.0000 -
898.79/901.67 c 902 506236 3160 1 - 0.0000 -
903.88/906.72 c 907 508472 3166 1 - 0.0000 -
908.97/911.88 c 912 510428 3198 1 - 0.0000 -
914.16/917.09 c 917 512764 3202 1 - 0.0000 -
919.24/922.14 c 922 514824 3220 1 - 0.0000 -
924.32/927.28 c 927 518171 3235 1 - 0.0000 -
929.50/932.46 c 932 520855 3245 1 - 0.0000 -
934.69/937.69 c 938 522363 3259 1 - 0.0000 -
939.77/942.79 c 943 524938 3262 1 - 0.0000 -
944.86/947.89 c 948 527561 3283 1 - 0.0000 -
949.94/952.94 c 953 530315 3285 1 - 0.0000 -
955.23/958.22 c 958 531502 3280 1 - 0.0000 -
960.31/963.39 c 963 532826 3282 1 - 0.0000 -
965.70/968.71 c 969 535381 3285 1 - 0.0000 -
970.68/973.76 c 974 539740 3312 1 - 0.0000 -
975.77/978.87 c 979 543018 3310 1 - 0.0000 -
980.85/983.92 c 984 544481 3323 1 - 0.0000 -
985.95/989.03 c 989 546174 3314 1 - 0.0000 -
991.03/994.15 c 994 548527 3321 1 - 0.0000 -
996.21/999.33 c 999 550038 3328 1 - 0.0000 -
1001.39/1004.56 c 1005 550797 3337 1 - 0.0000 -
1006.48/1009.67 c 1010 552789 3329 1 - 0.0000 -
1011.57/1014.76 c 1015 554975 3321 1 - 0.0000 -
1016.75/1019.94 c 1020 557290 3326 1 - 0.0000 -
1021.94/1025.12 c 1025 560104 3350 1 - 0.0000 -
1027.02/1030.26 c 1030 562079 3371 1 - 0.0000 -
1032.10/1035.31 c 1035 564026 3372 1 - 0.0000 -
1037.19/1040.48 c 1040 567020 3402 1 - 0.0000 -
1042.27/1045.53 c 1046 569933 3405 1 - 0.0000 -
1047.26/1050.58 c 1051 573394 3404 1 - 0.0000 -
1052.34/1055.63 c 1056 576882 3468 1 - 0.0000 -
1057.53/1060.84 c 1061 580409 3483 1 - 0.0000 -
1062.81/1066.12 c 1066 582408 3498 1 - 0.0000 -
1067.80/1071.17 c 1071 584948 3538 1 - 0.0000 -
1073.08/1076.47 c 1076 586762 3560 1 - 0.0000 -
1078.26/1081.66 c 1082 589388 3604 1 - 0.0000 -
1083.45/1086.87 c 1087 592173 3625 1 - 0.0000 -
1088.53/1091.92 c 1092 594574 3632 1 - 0.0000 -
1093.63/1097.08 c 1097 598238 3678 1 - 0.0000 -
1098.71/1102.13 c 1102 601262 3706 1 - 0.0000 -
1104.09/1107.53 c 1108 603029 3745 1 - 0.0000 -
1109.47/1112.97 c 1113 603833 3759 1 - 0.0000 -
1114.67/1118.17 c 1118 604950 3762 1 - 0.0000 -
1119.85/1123.35 c 1123 607196 3776 1 - 0.0000 -
1125.03/1128.54 c 1129 608721 3781 1 - 0.0000 -
1130.12/1133.62 c 1134 611862 3804 1 - 0.0000 -
1135.10/1138.69 c 1139 613956 3814 1 - 0.0000 -
1140.29/1143.86 c 1144 616473 3811 1 - 0.0000 -
1145.48/1149.08 c 1149 619261 3825 1 - 0.0000 -
1150.76/1154.36 c 1154 620848 3846 1 - 0.0000 -
1156.04/1159.62 c 1160 622841 3847 1 - 0.0000 -
1161.12/1164.74 c 1165 624902 3874 1 - 0.0000 -
1166.31/1169.91 c 1170 626627 3881 1 - 0.0000 -
1171.40/1175.03 c 1175 629377 3885 1 - 0.0000 -
1176.58/1180.21 c 1180 630954 3894 1 - 0.0000 -
1181.57/1185.29 c 1185 633045 3885 1 - 0.0000 -
1186.65/1190.38 c 1190 635865 3893 1 - 0.0000 -
1191.83/1195.54 c 1196 638100 3898 1 - 0.0000 -
1197.02/1200.74 c 1201 640658 3914 1 - 0.0000 -
1202.21/1205.92 c 1206 642911 3925 1 - 0.0000 -
1207.29/1211.03 c 1211 645159 3929 1 - 0.0000 -
1212.38/1216.15 c 1216 647515 3937 1 - 0.0000 -
1217.47/1221.26 c 1221 649661 3939 1 - 0.0000 -
1222.75/1226.50 c 1227 651177 3955 1 - 0.0000 -
1228.24/1232.06 c 1232 652292 3964 1 - 0.0000 -
1233.33/1237.11 c 1237 654268 3976 1 - 0.0000 -
1238.41/1242.21 c 1242 656421 3987 1 - 0.0000 -
1243.39/1247.29 c 1247 658907 3987 1 - 0.0000 -
1248.58/1252.44 c 1252 660651 3995 1 - 0.0000 -
1253.66/1257.59 c 1258 662752 3994 1 - 0.0000 -
1258.85/1262.70 c 1263 664850 3992 1 - 0.0000 -
1263.93/1267.85 c 1268 667064 4000 1 - 0.0000 -
1269.01/1272.90 c 1273 669315 3991 1 - 0.0000 -
1274.10/1278.05 c 1278 672737 4035 1 - 0.0000 -
1279.09/1283.10 c 1283 675851 4055 1 - 0.0000 -
1284.17/1288.18 c 1288 678412 4050 1 - 0.0000 -
1289.55/1293.58 c 1294 681301 4061 1 - 0.0000 -
1294.94/1298.92 c 1299 683954 4076 1 - 0.0000 -
1300.13/1304.11 c 1304 684756 4072 1 - 0.0000 -
1305.20/1309.26 c 1309 686676 4076 1 - 0.0000 -
1310.29/1314.36 c 1314 689129 4077 1 - 0.0000 -
1315.38/1319.46 c 1319 691964 4098 1 - 0.0000 -
1320.46/1324.51 c 1325 695075 4107 1 - 0.0000 -
1325.65/1329.76 c 1330 696640 4106 1 - 0.0000 -
1330.73/1334.81 c 1335 698923 4109 1 - 0.0000 -
1335.72/1339.87 c 1340 701053 4121 1 - 0.0000 -
1341.11/1345.25 c 1345 703005 4127 1 - 0.0000 -
1346.18/1350.30 c 1350 706676 4146 1 - 0.0000 -
1351.17/1355.35 c 1355 710388 4166 1 - 0.0000 -
1356.26/1360.43 c 1360 713421 4189 1 - 0.0000 -
1361.24/1365.48 c 1365 716366 4190 1 - 0.0000 -
1366.32/1370.53 c 1371 718898 4196 1 - 0.0000 -
1371.31/1375.58 c 1376 721966 4212 1 - 0.0000 -
1376.50/1380.71 c 1381 723279 4213 1 - 0.0000 -
1381.58/1385.80 c 1386 724944 4216 1 - 0.0000 -
1386.66/1390.91 c 1391 727790 4208 1 - 0.0000 -
1391.86/1396.14 c 1396 730316 4226 1 - 0.0000 -
1397.04/1401.30 c 1401 733162 4254 1 - 0.0000 -
1402.12/1406.41 c 1406 736380 4258 1 - 0.0000 -
1407.10/1411.46 c 1411 740125 4323 1 - 0.0000 -
1412.19/1416.51 c 1417 743049 4335 1 - 0.0000 -
1417.18/1421.59 c 1422 745223 4337 1 - 0.0000 -
1422.36/1426.79 c 1427 747989 4367 1 - 0.0000 -
1427.45/1431.89 c 1432 749518 4358 1 - 0.0000 -
1432.54/1436.94 c 1437 751654 4370 1 - 0.0000 -
1437.72/1442.13 c 1442 754486 4366 1 - 0.0000 -
1442.71/1447.17 c 1447 758370 4384 1 - 0.0000 -
1447.78/1452.27 c 1452 761019 4387 1 - 0.0000 -
1452.87/1457.34 c 1457 763247 4397 1 - 0.0000 -
1457.95/1462.48 c 1462 765122 4402 1 - 0.0000 -
1463.14/1467.69 c 1468 766304 4402 1 - 0.0000 -
1468.33/1472.82 c 1473 769779 4407 1 - 0.0000 -
1473.41/1477.91 c 1478 770919 4399 1 - 0.0000 -
1478.39/1482.96 c 1483 773024 4422 1 - 0.0000 -
1483.59/1488.17 c 1488 775265 4417 1 - 0.0000 -
1488.67/1493.25 c 1493 778527 4415 1 - 0.0000 -
1493.85/1498.48 c 1498 780067 4421 1 - 0.0000 -
1499.04/1503.68 c 1504 782538 4424 1 - 0.0000 -
1504.22/1508.89 c 1509 785451 4437 1 - 0.0000 -
1509.70/1514.30 c 1514 788209 4437 1 - 0.0000 -
1514.90/1519.51 c 1520 789704 4452 1 - 0.0000 -
1519.97/1524.69 c 1525 792887 4481 1 - 0.0000 -
1525.06/1529.76 c 1530 795396 4472 1 - 0.0000 -
1530.14/1534.83 c 1535 797902 4476 1 - 0.0000 -
1535.13/1539.88 c 1540 799907 4479 1 - 0.0000 -
1540.42/1545.19 c 1545 801925 4473 1 - 0.0000 -
1545.50/1550.28 c 1550 804339 4479 1 - 0.0000 -
1550.88/1555.64 c 1556 806259 4481 1 - 0.0000 -
1555.87/1560.69 c 1561 808584 4490 1 - 0.0000 -
1560.96/1565.79 c 1566 810838 4492 1 - 0.0000 -
1566.24/1571.01 c 1571 813842 4504 1 - 0.0000 -
1571.33/1576.12 c 1576 815356 4504 1 - 0.0000 -
1576.31/1581.18 c 1581 817201 4521 1 - 0.0000 -
1581.50/1586.32 c 1586 819616 4526 1 - 0.0000 -
1586.68/1591.50 c 1592 821622 4536 1 - 0.0000 -
1591.96/1596.84 c 1597 824986 4566 1 - 0.0000 -
1597.04/1601.93 c 1602 827389 4567 1 - 0.0000 -
1602.24/1607.11 c 1607 828871 4581 1 - 0.0000 -
1607.22/1612.16 c 1612 830861 4587 1 - 0.0000 -
1612.50/1617.47 c 1617 833055 4591 1 - 0.0000 -
1617.59/1622.53 c 1623 834974 4606 1 - 0.0000 -
1622.58/1627.58 c 1628 836695 4591 1 - 0.0000 -
1627.76/1632.72 c 1633 838525 4625 1 - 0.0000 -
1633.24/1638.26 c 1638 839306 4630 1 - 0.0000 -
1638.43/1643.48 c 1643 840274 4626 1 - 0.0000 -
1643.51/1648.53 c 1649 844371 4645 1 - 0.0000 -
1648.60/1653.63 c 1654 846662 4634 1 - 0.0000 -
1653.59/1658.68 c 1659 849141 4639 1 - 0.0000 -
1658.67/1663.73 c 1664 852973 4647 1 - 0.0000 -
1663.65/1668.78 c 1669 855847 4653 1 - 0.0000 -
1668.74/1673.88 c 1674 858115 4657 1 - 0.0000 -
1673.93/1679.06 c 1679 860388 4676 1 - 0.0000 -
1679.11/1684.23 c 1684 862378 4678 1 - 0.0000 -
1684.19/1689.35 c 1689 864652 4692 1 - 0.0000 -
1689.18/1694.39 c 1694 868264 4748 1 - 0.0000 -
1694.26/1699.44 c 1699 872157 4747 1 - 0.0000 -
1699.54/1704.79 c 1705 874132 4756 1 - 0.0000 -
1704.73/1709.95 c 1710 876345 4761 1 - 0.0000 -
1709.92/1715.14 c 1715 877679 4771 1 - 0.0000 -
1715.00/1720.23 c 1720 879457 4761 1 - 0.0000 -
1720.19/1725.45 c 1725 881142 4756 1 - 0.0000 -
1725.28/1730.57 c 1731 883532 4774 1 - 0.0000 -
1730.36/1735.62 c 1736 886407 4797 1 - 0.0000 -
1735.34/1740.67 c 1741 890243 4801 1 - 0.0000 -
1740.52/1745.84 c 1746 893269 4809 1 - 0.0000 -
1745.51/1750.89 c 1751 895412 4816 1 - 0.0000 -
1750.59/1755.96 c 1756 899531 4821 1 - 0.0000 -
1755.68/1761.01 c 1761 903787 4815 1 - 0.0000 -
1760.66/1766.06 c 1766 907384 4814 1 - 0.0000 -
1765.75/1771.11 c 1771 910709 4825 1 - 0.0000 -
1770.73/1776.16 c 1776 914096 4820 1 - 0.0000 -
1775.92/1781.36 c 1781 916244 4808 1 - 0.0000 -
1781.00/1786.49 c 1786 918251 4811 1 - 0.0000 -
1786.28/1791.70 c 1792 920194 4814 1 - 0.0000 -
1791.27/1796.75 c 1797 922999 4809 1 - 0.0000 -
1796.66/1802.16 c 1802 924913 4823 1 - 0.0000 -
1801.73/1807.21 c 1807 927334 4826 1 - 0.0000 -
1807.02/1812.54 c 1813 929100 4816 1 - 0.0000 -
1812.11/1817.68 c 1818 930657 4837 1 - 0.0000 -
1817.39/1822.93 c 1823 931732 4844 1 - 0.0000 -
1822.48/1828.02 c 1828 933473 4875 1 - 0.0000 -
1827.46/1833.07 c 1833 937047 4893 1 - 0.0000 -
1832.55/1838.12 c 1838 939934 4904 1 - 0.0000 -
1837.83/1843.47 c 1843 942170 4922 1 - 0.0000 -
1843.01/1848.65 c 1849 942951 4913 1 - 0.0000 -
1848.10/1853.70 c 1854 945341 4931 1 - 0.0000 -
1853.08/1858.75 c 1859 949174 4924 1 - 0.0000 -
1858.16/1863.80 c 1864 952589 4921 1 - 0.0000 -
1863.25/1868.97 c 1869 955723 4921 1 - 0.0000 -
1868.33/1874.02 c 1874 958185 4933 1 - 0.0000 -
1873.32/1879.07 c 1879 962447 4955 1 - 0.0000 -
1878.60/1884.30 c 1884 965500 4972 1 - 0.0000 -
1883.68/1889.49 c 1890 967989 4977 1 - 0.0000 -
1888.77/1894.54 c 1895 970343 4987 1 - 0.0000 -
1893.95/1899.75 c 1900 971956 4980 1 - 0.0000 -
1899.04/1904.83 c 1905 973654 4982 1 - 0.0000 -
1904.23/1910.00 c 1910 975510 4980 1 - 0.0000 -
1909.50/1915.33 c 1915 976552 5002 1 - 0.0000 -
1914.89/1920.70 c 1921 978612 5002 1 - 0.0000 -
1919.88/1925.75 c 1926 981937 5017 1 - 0.0000 -
1924.96/1930.85 c 1931 984200 5002 1 - 0.0000 -
1930.25/1936.13 c 1936 986554 5008 1 - 0.0000 -
1935.33/1941.26 c 1941 989244 5004 1 - 0.0000 -
1940.42/1946.35 c 1946 992160 4996 1 - 0.0000 -
1945.50/1951.48 c 1951 995316 5044 1 - 0.0000 -
1950.68/1956.68 c 1957 996891 5027 1 - 0.0000 -
1955.87/1961.81 c 1962 999165 5035 1 - 0.0000 -
1960.85/1966.86 c 1967 1001891 5069 1 - 0.0000 -
1965.94/1971.91 c 1972 1005184 5090 1 - 0.0000 -
1971.03/1977.06 c 1977 1006724 5082 1 - 0.0000 -
1976.12/1982.11 c 1982 1009302 5090 1 - 0.0000 -
1981.30/1987.36 c 1987 1011121 5087 1 - 0.0000 -
1986.48/1992.54 c 1993 1013564 5106 1 - 0.0000 -
1991.57/1997.67 c 1998 1016108 5142 1 - 0.0000 -
1996.65/2002.71 c 2003 1018417 5135 1 - 0.0000 -
2001.73/2007.80 c 2008 1020469 5123 1 - 0.0000 -
2007.02/2013.12 c 2013 1022043 5117 1 - 0.0000 -
2012.01/2018.18 c 2018 1024735 5149 1 - 0.0000 -
2017.09/2023.23 c 2023 1028486 5190 1 - 0.0000 -
2022.08/2028.28 c 2028 1031927 5225 1 - 0.0000 -
2027.16/2033.35 c 2033 1035875 5243 1 - 0.0000 -
2032.24/2038.40 c 2038 1039474 5240 1 - 0.0000 -
2037.23/2043.46 c 2043 1041937 5259 1 - 0.0000 -
2042.72/2048.98 c 2049 1043083 5255 1 - 0.0000 -
2048.10/2054.30 c 2054 1044498 5260 1 - 0.0000 -
2053.08/2059.35 c 2059 1048081 5275 1 - 0.0000 -
2058.17/2064.44 c 2064 1051238 5264 1 - 0.0000 -
2063.15/2069.49 c 2070 1053757 5267 1 - 0.0000 -
2068.24/2074.57 c 2075 1055968 5270 1 - 0.0000 -
2073.33/2079.62 c 2080 1058412 5274 1 - 0.0000 -
2078.41/2084.70 c 2085 1060594 5276 1 - 0.0000 -
2083.80/2090.13 c 2090 1062322 5274 1 - 0.0000 -
2088.98/2095.33 c 2095 1064437 5273 1 - 0.0000 -
2093.97/2100.38 c 2100 1066704 5268 1 - 0.0000 -
2099.14/2105.52 c 2106 1068584 5270 1 - 0.0000 -
2104.13/2110.57 c 2111 1071027 5273 1 - 0.0000 -
2109.22/2115.62 c 2116 1074062 5280 1 - 0.0000 -
2114.30/2120.73 c 2121 1076269 5283 1 - 0.0000 -
2119.59/2126.03 c 2126 1078560 5290 1 - 0.0000 -
2124.57/2131.09 c 2131 1080705 5287 1 - 0.0000 -
2129.66/2136.14 c 2136 1084012 5310 1 - 0.0000 -
2134.74/2141.27 c 2141 1086837 5313 1 - 0.0000 -
2139.82/2146.34 c 2146 1088762 5308 1 - 0.0000 -
2145.21/2151.73 c 2152 1090605 5327 1 - 0.0000 -
2150.40/2156.99 c 2157 1092476 5332 1 - 0.0000 -
2155.48/2162.04 c 2162 1095647 5337 1 - 0.0000 -
2160.86/2167.43 c 2167 1097438 5360 1 - 0.0000 -
2166.15/2172.72 c 2173 1097925 5357 1 - 0.0000 -
2171.33/2177.95 c 2178 1098794 5368 1 - 0.0000 -
2176.52/2183.13 c 2183 1100726 5382 1 - 0.0000 -
2181.80/2188.45 c 2188 1102453 5377 1 - 0.0000 -
2186.98/2193.62 c 2194 1104691 5375 1 - 0.0000 -
2192.48/2199.11 c 2199 1105448 5378 1 - 0.0000 -
2197.66/2204.36 c 2204 1106482 5394 1 - 0.0000 -
2202.74/2209.48 c 2209 1109546 5400 1 - 0.0000 -
2208.13/2214.83 c 2215 1110009 5411 1 - 0.0000 -
2213.32/2220.10 c 2220 1111601 5401 1 - 0.0000 -
2218.40/2225.15 c 2225 1114579 5413 1 - 0.0000 -
2223.58/2230.30 c 2230 1116232 5426 1 - 0.0000 -
2228.56/2235.35 c 2235 1118267 5431 1 - 0.0000 -
2233.85/2240.69 c 2241 1120502 5418 1 - 0.0000 -
2239.04/2245.80 c 2246 1122189 5425 1 - 0.0000 -
2244.62/2251.41 c 2251 1123019 5423 1 - 0.0000 -
2249.61/2256.46 c 2256 1125579 5431 1 - 0.0000 -
2254.69/2261.52 c 2262 1127735 5435 1 - 0.0000 -
2259.88/2266.71 c 2267 1130612 5448 1 - 0.0000 -
2264.86/2271.76 c 2272 1133655 5451 1 - 0.0000 -
2269.95/2276.81 c 2277 1136889 5455 1 - 0.0000 -
2274.93/2281.86 c 2282 1140210 5452 1 - 0.0000 -
2280.01/2286.91 c 2287 1142396 5446 1 - 0.0000 -
2284.99/2291.96 c 2292 1144808 5450 1 - 0.0000 -
2290.08/2297.01 c 2297 1148122 5446 1 - 0.0000 -
2295.26/2302.20 c 2302 1150350 5456 1 - 0.0000 -
2300.25/2307.25 c 2307 1153349 5475 1 - 0.0000 -
2305.43/2312.46 c 2312 1155826 5472 1 - 0.0000 -
2310.52/2317.57 c 2318 1157841 5468 1 - 0.0000 -
2315.61/2322.62 c 2323 1161633 5484 1 - 0.0000 -
2320.59/2327.67 c 2328 1163988 5481 1 - 0.0000 -
2325.67/2332.72 c 2333 1167390 5479 1 - 0.0000 -
2330.76/2337.83 c 2338 1169843 5484 1 - 0.0000 -
2335.84/2342.95 c 2343 1171509 5498 1 - 0.0000 -
2341.03/2348.14 c 2348 1172934 5493 1 - 0.0000 -
2346.31/2353.44 c 2353 1175804 5509 1 - 0.0000 -
2351.49/2358.61 c 2359 1178382 5551 1 - 0.0000 -
2356.59/2363.70 c 2364 1180478 5555 1 - 0.0000 -
2361.67/2368.80 c 2369 1182139 5550 1 - 0.0000 -
2366.85/2374.06 c 2374 1184250 5551 1 - 0.0000 -
2372.04/2379.25 c 2379 1186349 5544 1 - 0.0000 -
2377.22/2384.42 c 2384 1188381 5540 1 - 0.0000 -
2382.31/2389.57 c 2390 1190710 5537 1 - 0.0000 -
2387.39/2394.62 c 2395 1192835 5538 1 - 0.0000 -
2392.48/2399.72 c 2400 1194819 5536 1 - 0.0000 -
2397.56/2404.82 c 2405 1197232 5545 1 - 0.0000 -
2402.55/2409.88 c 2410 1199458 5541 1 - 0.0000 -
2407.73/2415.01 c 2415 1200773 5544 1 - 0.0000 -
2412.72/2420.06 c 2420 1203574 5559 1 - 0.0000 -
2418.00/2425.35 c 2425 1205636 5559 1 - 0.0000 -
2423.08/2430.45 c 2430 1207696 5557 1 - 0.0000 -
2428.17/2435.50 c 2436 1209263 5574 1 - 0.0000 -
2433.15/2440.59 c 2441 1211536 5585 1 - 0.0000 -
2438.24/2445.64 c 2446 1214052 5583 1 - 0.0000 -
2443.42/2450.82 c 2451 1215811 5578 1 - 0.0000 -
2448.40/2455.87 c 2456 1217818 5581 1 - 0.0000 -
2453.49/2460.93 c 2461 1220450 5591 1 - 0.0000 -
2458.68/2466.17 c 2466 1221931 5578 1 - 0.0000 -
2463.87/2471.31 c 2471 1223861 5574 1 - 0.0000 -
2468.84/2476.36 c 2476 1227447 5580 1 - 0.0000 -
2473.93/2481.41 c 2481 1229914 5587 1 - 0.0000 -
2479.02/2486.50 c 2487 1231957 5598 1 - 0.0000 -
2484.40/2491.91 c 2492 1233001 5608 1 - 0.0000 -
2489.60/2497.15 c 2497 1233652 5629 1 - 0.0000 -
2494.88/2502.44 c 2502 1235490 5635 1 - 0.0000 -
2499.86/2507.49 c 2508 1238474 5631 1 - 0.0000 -
2504.94/2512.59 c 2513 1240724 5623 1 - 0.0000 -
2510.13/2517.75 c 2518 1242812 5627 1 - 0.0000 -
2515.22/2522.80 c 2523 1246313 5696 1 - 0.0000 -
2520.30/2527.94 c 2528 1249786 5695 1 - 0.0000 -
2525.48/2533.14 c 2533 1251191 5690 1 - 0.0000 -
2530.57/2538.28 c 2538 1253443 5708 1 - 0.0000 -
2535.65/2543.33 c 2543 1255316 5717 1 - 0.0000 -
2540.64/2548.39 c 2548 1256905 5728 1 - 0.0000 -
2545.82/2553.54 c 2554 1259728 5727 1 - 0.0000 -
2550.91/2558.63 c 2559 1260802 5727 1 - 0.0000 -
2556.09/2563.80 c 2564 1262440 5725 1 - 0.0000 -
2561.08/2568.85 c 2569 1264698 5737 1 - 0.0000 -
2566.17/2573.90 c 2574 1267989 5768 1 - 0.0000 -
2571.45/2579.24 c 2579 1269945 5774 1 - 0.0000 -
2576.54/2584.32 c 2584 1271357 5778 1 - 0.0000 -
2581.72/2589.53 c 2590 1273158 5779 1 - 0.0000 -
2586.81/2594.63 c 2595 1275259 5778 1 - 0.0000 -
2591.79/2599.69 c 2600 1277070 5785 1 - 0.0000 -
2596.87/2604.79 c 2605 1278814 5795 1 - 0.0000 -
2601.96/2609.84 c 2610 1281735 5788 1 - 0.0000 -
2606.95/2614.89 c 2615 1283368 5787 1 - 0.0000 -
2612.33/2620.23 c 2620 1284742 5793 1 - 0.0000 -
2617.32/2625.28 c 2625 1287013 5786 1 - 0.0000 -
2622.40/2630.33 c 2630 1289286 5791 1 - 0.0000 -
2627.69/2635.62 c 2636 1289971 5790 1 - 0.0000 -
2632.67/2640.67 c 2641 1292168 5803 1 - 0.0000 -
2637.95/2645.91 c 2646 1294185 5814 1 - 0.0000 -
2643.24/2651.22 c 2651 1295637 5822 1 - 0.0000 -
2648.52/2656.51 c 2657 1297162 5811 1 - 0.0000 -
2653.61/2661.65 c 2662 1299588 5825 1 - 0.0000 -
2658.69/2666.70 c 2667 1303632 5831 1 - 0.0000 -
2663.68/2671.75 c 2672 1307551 5830 1 - 0.0000 -
2668.76/2676.80 c 2677 1311849 5842 1 - 0.0000 -
2673.85/2681.93 c 2682 1314405 5834 1 - 0.0000 -
2679.14/2687.27 c 2687 1315987 5848 1 - 0.0000 -
2684.21/2692.32 c 2692 1318370 5859 1 - 0.0000 -
2689.30/2697.42 c 2697 1321178 5873 1 - 0.0000 -
2694.29/2702.47 c 2702 1322994 5871 1 - 0.0000 -
2699.37/2707.52 c 2708 1325787 5866 1 - 0.0000 -
2704.45/2712.61 c 2713 1328810 5873 1 - 0.0000 -
2709.94/2718.12 c 2718 1330804 5863 1 - 0.0000 -
2715.22/2723.49 c 2724 1331980 5869 1 - 0.0000 -
2720.30/2728.54 c 2729 1334327 5876 1 - 0.0000 -
2725.40/2733.62 c 2734 1336135 5878 1 - 0.0000 -
2730.38/2738.67 c 2739 1337852 5889 1 - 0.0000 -
2735.46/2743.72 c 2744 1340864 5897 1 - 0.0000 -
2740.55/2748.87 c 2749 1344330 5931 1 - 0.0000 -
2745.63/2753.92 c 2754 1347518 5935 1 - 0.0000 -
2750.72/2759.01 c 2759 1351733 5956 1 - 0.0000 -
2755.70/2764.06 c 2764 1355328 5961 1 - 0.0000 -
2760.78/2769.11 c 2769 1358764 5969 1 - 0.0000 -
2765.76/2774.16 c 2774 1362124 5989 1 - 0.0000 -
2770.85/2779.21 c 2779 1365518 5985 1 - 0.0000 -
2775.94/2784.34 c 2784 1369216 6003 1 - 0.0000 -
2780.91/2789.39 c 2789 1373108 6053 1 - 0.0000 -
2786.00/2794.44 c 2794 1375926 6059 1 - 0.0000 -
2791.18/2799.62 c 2800 1378288 6121 1 - 0.0000 -
2796.68/2805.12 c 2805 1378892 6129 1 - 0.0000 -
2801.85/2810.37 c 2810 1380515 6084 1 - 0.0000 -
2807.04/2815.52 c 2816 1383420 6055 1 - 0.0000 -
2812.13/2820.64 c 2821 1387409 6092 1 - 0.0000 -
2817.41/2825.93 c 2826 1389301 6074 1 - 0.0000 -
2822.39/2830.98 c 2831 1392765 6084 1 - 0.0000 -
2827.49/2836.08 c 2836 1394589 6092 1 - 0.0000 -
2832.76/2841.35 c 2841 1395503 6094 1 - 0.0000 -
2837.85/2846.45 c 2846 1397956 6119 1 - 0.0000 -
2842.93/2851.53 c 2852 1399657 6128 1 - 0.0000 -
2847.92/2856.58 c 2857 1403478 6133 1 - 0.0000 -
2853.41/2862.06 c 2862 1405728 6131 1 - 0.0000 -
2858.79/2867.44 c 2867 1407444 6135 1 - 0.0000 -
2863.97/2872.63 c 2873 1408694 6133 1 - 0.0000 -
2869.16/2877.86 c 2878 1410928 6149 1 - 0.0000 -
2874.35/2883.03 c 2883 1411681 6152 1 - 0.0000 -
2879.44/2888.19 c 2888 1414057 6152 1 - 0.0000 -
2884.71/2893.40 c 2893 1416118 6149 1 - 0.0000 -
2889.91/2898.60 c 2899 1417277 6146 1 - 0.0000 -
2894.98/2903.77 c 2904 1419874 6173 1 - 0.0000 -
2900.17/2908.95 c 2909 1422893 6178 1 - 0.0000 -
2905.26/2914.08 c 2914 1426248 6211 1 - 0.0000 -
2910.44/2919.27 c 2919 1427851 6218 1 - 0.0000 -
2915.52/2924.34 c 2924 1429920 6213 1 - 0.0000 -
2920.51/2929.39 c 2929 1433579 6246 1 - 0.0000 -
2925.60/2934.48 c 2934 1437308 6299 1 - 0.0000 -
2930.78/2939.66 c 2940 1439059 6310 1 - 0.0000 -
2935.86/2944.71 c 2945 1442034 6321 1 - 0.0000 -
2941.05/2949.94 c 2950 1443900 6311 1 - 0.0000 -
2946.13/2955.02 c 2955 1445966 6313 1 - 0.0000 -
2951.31/2960.21 c 2960 1447703 6308 1 - 0.0000 -
2956.40/2965.35 c 2965 1448738 6303 1 - 0.0000 -
2961.48/2970.42 c 2970 1451423 6308 1 - 0.0000 -
2966.57/2975.58 c 2976 1452988 6303 1 - 0.0000 -
2971.66/2980.63 c 2981 1455346 6293 1 - 0.0000 -
2976.64/2985.68 c 2986 1459064 6303 1 - 0.0000 -
2981.82/2990.83 c 2991 1460955 6290 1 - 0.0000 -
2986.81/2995.88 c 2996 1463569 6300 1 - 0.0000 -
2992.20/3001.22 c 3001 1466425 6314 1 - 0.0000 -
2997.17/3006.27 c 3006 1469633 6322 1 - 0.0000 -
3002.36/3011.43 c 3011 1472275 6336 1 - 0.0000 -
3007.45/3016.50 c 3017 1474185 6328 1 - 0.0000 -
3012.44/3021.55 c 3022 1476239 6314 1 - 0.0000 -
3017.52/3026.66 c 3027 1477985 6318 1 - 0.0000 -
3022.60/3031.71 c 3032 1481318 6361 1 - 0.0000 -
3027.59/3036.76 c 3037 1484483 6308 1 - 0.0000 -
3032.67/3041.81 c 3042 1486272 6323 1 - 0.0000 -
3037.66/3046.86 c 3047 1489222 6319 1 - 0.0000 -
3042.75/3051.98 c 3052 1492116 6327 1 - 0.0000 -
3047.84/3057.04 c 3057 1495195 6362 1 - 0.0000 -
3052.82/3062.09 c 3062 1498589 6366 1 - 0.0000 -
3058.09/3067.34 c 3067 1500127 6370 1 - 0.0000 -
3063.48/3072.79 c 3073 1501822 6363 1 - 0.0000 -
3068.77/3078.04 c 3078 1503310 6363 1 - 0.0000 -
3073.96/3083.22 c 3083 1504077 6370 1 - 0.0000 -
3079.13/3088.49 c 3088 1505446 6377 1 - 0.0000 -
3084.33/3093.69 c 3094 1506638 6381 1 - 0.0000 -
3089.61/3098.91 c 3099 1508259 6390 1 - 0.0000 -
3094.59/3103.96 c 3104 1512443 6404 1 - 0.0000 -
3099.68/3109.01 c 3109 1515661 6402 1 - 0.0000 -
3104.67/3114.08 c 3114 1518150 6409 1 - 0.0000 -
3109.75/3119.16 c 3119 1520107 6418 1 - 0.0000 -
3114.83/3124.21 c 3124 1522774 6413 1 - 0.0000 -
3120.12/3129.56 c 3130 1525040 6437 1 - 0.0000 -
3125.20/3134.69 c 3135 1527793 6442 1 - 0.0000 -
3130.49/3139.99 c 3140 1528773 6434 1 - 0.0000 -
3135.57/3145.08 c 3145 1531191 6440 1 - 0.0000 -
3140.76/3150.27 c 3150 1533322 6419 1 - 0.0000 -
3146.04/3155.51 c 3156 1535344 6431 1 - 0.0000 -
3151.03/3160.56 c 3161 1538303 6442 1 - 0.0000 -
3156.41/3165.95 c 3166 1539960 6443 1 - 0.0000 -
3161.51/3171.00 c 3171 1541846 6443 1 - 0.0000 -
3166.49/3176.05 c 3176 1544398 6453 1 - 0.0000 -
3171.58/3181.15 c 3181 1546002 6465 1 - 0.0000 -
3176.65/3186.25 c 3186 1548486 6477 1 - 0.0000 -
3181.73/3191.30 c 3191 1550650 6473 1 - 0.0000 -
3186.83/3196.41 c 3196 1552713 6470 1 - 0.0000 -
3191.81/3201.46 c 3201 1555968 6469 1 - 0.0000 -
3196.90/3206.51 c 3207 1559455 6466 1 - 0.0000 -
3201.98/3211.68 c 3212 1561586 6463 1 - 0.0000 -
3207.07/3216.73 c 3217 1563877 6470 1 - 0.0000 -
3212.45/3222.16 c 3222 1565040 6465 1 - 0.0000 -
3217.53/3227.21 c 3227 1567740 6467 1 - 0.0000 -
3222.52/3232.29 c 3232 1570358 6477 1 - 0.0000 -
3227.81/3237.51 c 3238 1572604 6479 1 - 0.0000 -
3232.89/3242.67 c 3243 1574593 6494 1 - 0.0000 -
3238.08/3247.84 c 3248 1575955 6478 1 - 0.0000 -
3243.46/3253.20 c 3253 1577381 6492 1 - 0.0000 -
3248.55/3258.36 c 3258 1577980 6485 1 - 0.0000 -
3253.73/3263.53 c 3264 1579129 6484 1 - 0.0000 -
3259.13/3268.96 c 3269 1579706 6493 1 - 0.0000 -
3264.21/3274.00 c 3274 1582109 6490 1 - 0.0000 -
3269.39/3279.21 c 3279 1583881 6478 1 - 0.0000 -
3274.37/3284.26 c 3284 1586318 6475 1 - 0.0000 -
3279.56/3289.40 c 3289 1588529 6488 1 - 0.0000 -
3284.54/3294.45 c 3294 1590774 6499 1 - 0.0000 -
3289.73/3299.63 c 3300 1593320 6507 1 - 0.0000 -
3295.02/3304.92 c 3305 1594769 6488 1 - 0.0000 -
3300.31/3310.29 c 3310 1595648 6501 1 - 0.0000 -
3305.49/3315.49 c 3316 1596634 6505 1 - 0.0000 -
3310.68/3320.62 c 3321 1599470 6531 1 - 0.0000 -
3315.66/3325.67 c 3326 1602619 6524 1 - 0.0000 -
3320.74/3330.72 c 3331 1606510 6521 1 - 0.0000 -
3325.73/3335.77 c 3336 1609523 6526 1 - 0.0000 -
3331.02/3341.02 c 3341 1611845 6542 1 - 0.0000 -
3336.40/3346.43 c 3346 1612213 6544 1 - 0.0000 -
3341.58/3351.61 c 3352 1612669 6550 1 - 0.0000 -
3346.67/3356.71 c 3357 1614526 6549 1 - 0.0000 -
3351.86/3361.93 c 3362 1615260 6545 1 - 0.0000 -
3356.94/3367.05 c 3367 1617977 6540 1 - 0.0000 -
3361.93/3372.10 c 3372 1620550 6537 1 - 0.0000 -
3367.02/3377.17 c 3377 1623059 6576 1 - 0.0000 -
3372.10/3382.22 c 3382 1626601 6596 1 - 0.0000 -
3377.07/3387.27 c 3387 1630049 6628 1 - 0.0000 -
3382.36/3392.53 c 3393 1633016 6631 1 - 0.0000 -
3387.85/3398.00 c 3398 1635046 6637 1 - 0.0000 -
3392.82/3403.07 c 3403 1637180 6631 1 - 0.0000 -
3397.92/3408.12 c 3408 1640550 6641 1 - 0.0000 -
3402.90/3413.17 c 3413 1642674 6637 1 - 0.0000 -
3408.37/3418.60 c 3419 1643786 6641 1 - 0.0000 -
3413.97/3424.21 c 3424 1644824 6659 1 - 0.0000 -
3419.25/3429.53 c 3430 1646357 6670 1 - 0.0000 -
3424.33/3434.69 c 3435 1648443 6668 1 - 0.0000 -
3429.42/3439.74 c 3440 1650091 6666 1 - 0.0000 -
3434.40/3444.79 c 3445 1651963 6672 1 - 0.0000 -
3439.69/3450.03 c 3450 1654642 6675 1 - 0.0000 -
3444.79/3455.12 c 3455 1656674 6665 1 - 0.0000 -
3449.77/3460.17 c 3460 1659178 6667 1 - 0.0000 -
3454.94/3465.33 c 3465 1660951 6664 1 - 0.0000 -
3460.03/3470.46 c 3470 1662550 6647 1 - 0.0000 -
3465.22/3475.68 c 3476 1664799 6640 1 - 0.0000 -
3470.51/3480.95 c 3481 1666125 6632 1 - 0.0000 -
3475.59/3486.07 c 3486 1667493 6628 1 - 0.0000 -
3480.68/3491.12 c 3491 1670344 6635 1 - 0.0000 -
3485.86/3496.35 c 3496 1672650 6639 1 - 0.0000 -
3490.85/3501.39 c 3501 1674095 6628 1 - 0.0000 -
3496.04/3506.58 c 3507 1675266 6629 1 - 0.0000 -
3501.32/3511.82 c 3512 1676148 6619 1 - 0.0000 -
3506.40/3516.97 c 3517 1677355 6604 1 - 0.0000 -
3511.59/3522.12 c 3522 1680234 6599 1 - 0.0000 -
3516.78/3527.30 c 3527 1681282 6607 1 - 0.0000 -
3521.86/3532.45 c 3532 1682772 6615 1 - 0.0000 -
3526.94/3537.57 c 3538 1684552 6623 1 - 0.0000 -
3532.13/3542.74 c 3543 1686559 6620 1 - 0.0000 -
3537.12/3547.79 c 3548 1689595 6624 1 - 0.0000 -
3542.20/3552.89 c 3553 1691510 6621 1 - 0.0000 -
3547.39/3558.06 c 3558 1692683 6622 1 - 0.0000 -
3552.67/3563.34 c 3563 1693785 6628 1 - 0.0000 -
3557.86/3568.53 c 3569 1695128 6635 1 - 0.0000 -
3563.05/3573.78 c 3574 1696451 6614 1 - 0.0000 -
3568.33/3579.01 c 3579 1698759 6626 1 - 0.0000 -
3573.32/3584.06 c 3584 1701827 6642 1 - 0.0000 -
3578.40/3589.11 c 3589 1704361 6654 1 - 0.0000 -
3583.39/3594.16 c 3594 1707004 6669 1 - 0.0000 -
3588.46/3599.21 c 3599 1710310 6683 1 - 0.0000 -
3589.26/3600.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.26/3600.10 c Total Time : 3600.1100
3589.26/3600.10 c solving : 3600.1100
3589.26/3600.10 c presolving : 0.0479 (included in solving)
3589.26/3600.10 c B&B Tree :
3589.26/3600.10 c nodes (total) : 1
3589.26/3600.10 c Solution :
3589.26/3600.10 c Solutions found : 0
3589.26/3600.10 c Primal Bound : -
3589.26/3600.10 c Dual Bound : +0.00000000000000e+00
3589.26/3600.10 c Gap : -
3589.37/3600.10 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 (61337 MiB free)
memory of node 1: 64473 MiB (62360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443440-1721301672/watcher-4443440-1721301672 -o /tmp/evaluation-result-4443440-1721301672/solver-4443440-1721301672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950166 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4443440-1721301672.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=955454, runsolver pid=955451
[startup+0.100089 s]*
/proc/loadavg: 4.11 4.11 4.09 5/265 955457
/proc/meminfo: memFree=126639292/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=115984 memory=30864 CPUtime=0.09 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 5106 0 0 0 9 0 0 0 20 0 3 0 182336153 118767616 7716 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 28996 7716 2910 3032 0 11273 0
[pid=955454/tid=955456] ppid=955451 vsize=115984 memory=4026561586 CPUtime=0.04 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1944 0 0 0 4 0 0 0 20 0 3 0 182336158 118767616 7716 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=115984 memory=232851243367 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 182336159 118767616 7716 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115984 KiB
Current children cumulated memory: 30864 KiB
[startup+0.205614 s]*
/proc/loadavg: 4.11 4.11 4.09 6/265 955457
/proc/meminfo: memFree=126628808/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=117636 memory=41748 CPUtime=0.2 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 7845 0 0 0 20 0 0 0 20 0 3 0 182336153 120459264 10437 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 29409 10437 2926 3032 0 14029 0
[pid=955454/tid=955456] ppid=955451 vsize=117636 memory=4782652875487838339 CPUtime=0.14 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 4683 0 0 0 14 0 0 0 20 0 3 0 182336158 120459264 10437 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=117636 memory=15932 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 182336159 120459264 10437 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117636 KiB
Current children cumulated memory: 41748 KiB
[startup+0.304898 s]*
/proc/loadavg: 4.11 4.11 4.09 5/265 955457
/proc/meminfo: memFree=126615088/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=125168 memory=54156 CPUtime=0.3 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 10947 0 0 0 29 1 0 0 20 0 3 0 182336153 128172032 13539 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 31292 13539 2926 3032 0 17177 0
[pid=955454/tid=955456] ppid=955451 vsize=125168 memory=-6369892425051323243 CPUtime=0.24 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 7785 0 0 0 24 0 0 0 20 0 3 0 182336158 128172032 13539 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=125168 memory=0 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 182336159 128172032 13539 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 125168 KiB
Current children cumulated memory: 54156 KiB
[startup+0.700221 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 955457
/proc/meminfo: memFree=126574160/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=155416 memory=91908 CPUtime=0.69 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 20325 0 0 0 67 2 0 0 20 0 3 0 182336153 159145984 22977 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 38854 22977 2926 3032 0 27005 0
[pid=955454/tid=955456] ppid=955451 vsize=155416 memory=0 CPUtime=0.63 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 17163 0 0 0 62 1 0 0 20 0 3 0 182336158 159145984 22977 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=155416 memory=0 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 182336159 159145984 22977 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 155416 KiB
Current children cumulated memory: 91908 KiB
[startup+1.50026 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 955457
/proc/meminfo: memFree=126495340/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=163536 memory=109572 CPUtime=1.48 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 32372 0 0 0 146 2 0 0 20 0 3 0 182336153 167460864 27393 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 40884 27393 2942 3032 0 31610 0
[pid=955454/tid=955456] ppid=955451 vsize=163536 memory=0 CPUtime=1.43 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 29210 0 0 0 141 2 0 0 20 0 3 0 182336158 167460864 27393 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=163536 memory=0 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 182336159 167460864 27393 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 163536 KiB
Current children cumulated memory: 109572 KiB
[startup+3.1058 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 955457
/proc/meminfo: memFree=126448292/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=164860 memory=125368 CPUtime=3.09 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 41938 0 0 0 305 4 0 0 20 0 3 0 182336153 168816640 31342 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 41215 31342 2942 3032 0 36142 0
[pid=955454/tid=955456] ppid=955451 vsize=164860 memory=2273 CPUtime=3.03 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 38762 0 0 0 299 4 0 0 20 0 3 0 182336158 168816640 31342 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=164860 memory=0 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 182336159 168816640 31342 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 164860 KiB
Current children cumulated memory: 125368 KiB
[startup+6.30027 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 955459
/proc/meminfo: memFree=126405532/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=238596 memory=150540 CPUtime=6.27 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 70378 0 0 0 620 7 0 0 20 0 3 0 182336153 244322304 37635 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 59649 37635 2942 3032 0 42951 0
[pid=955454/tid=955456] ppid=955451 vsize=238596 memory=-6369892425051323243 CPUtime=6.21 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 67185 0 0 0 615 6 0 0 20 0 3 0 182336158 244322304 37635 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=238596 memory=149960 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 182336159 244322304 37635 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 238596 KiB
Current children cumulated memory: 150540 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 955459
/proc/meminfo: memFree=126390104/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=237968 memory=158940 CPUtime=12.65 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 102765 0 0 0 1256 9 0 0 20 0 3 0 182336153 243679232 39735 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 59492 39735 2990 3032 0 44517 0
[pid=955454/tid=955456] ppid=955451 vsize=237968 memory=125852 CPUtime=12.59 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 99536 0 0 0 1250 9 0 0 20 0 3 0 182336158 243679232 39735 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=237968 memory=0 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 182336159 243679232 39735 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 237968 KiB
Current children cumulated memory: 158940 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 955460
/proc/meminfo: memFree=126385516/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=237968 memory=158944 CPUtime=25.41 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 119268 0 0 0 2529 12 0 0 20 0 3 0 182336153 243679232 39736 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 59492 39736 2990 3032 0 44517 0
[pid=955454/tid=955456] ppid=955451 vsize=237968 memory=157808 CPUtime=25.35 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 115978 0 0 0 2524 11 0 0 20 0 3 0 182336158 243679232 39736 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=237968 memory=12088 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 182336159 243679232 39736 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 237968 KiB
Current children cumulated memory: 158944 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 955465
/proc/meminfo: memFree=126370252/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=237968 memory=161052 CPUtime=50.92 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 140983 0 0 0 5075 17 0 0 20 0 3 0 182336153 243679232 40263 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 59492 40263 2990 3032 0 45239 0
[pid=955454/tid=955456] ppid=955451 vsize=237968 memory=160628 CPUtime=50.86 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 137633 0 0 0 5069 17 0 0 20 0 3 0 182336158 243679232 40263 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=237968 memory=160628 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 182336159 243679232 40263 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 237968 KiB
Current children cumulated memory: 161052 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 955614
/proc/meminfo: memFree=122803080/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=240800 memory=165684 CPUtime=101.95 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 166563 0 0 0 10169 26 0 0 20 0 3 0 182336153 246579200 41421 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 60200 41421 2990 3032 0 46316 0
[pid=955454/tid=955456] ppid=955451 vsize=240800 memory=165544 CPUtime=101.88 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 163140 0 0 0 10163 25 0 0 20 0 3 0 182336158 246579200 41421 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=240800 memory=12088 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 182336159 246579200 41421 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 240800 KiB
Current children cumulated memory: 165684 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/253 955774
/proc/meminfo: memFree=126539524/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=241360 memory=167228 CPUtime=161.75 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 184969 0 0 0 16141 34 0 0 20 0 3 0 182336153 247152640 41807 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 60340 41807 2990 3032 0 46915 0
[pid=955454/tid=955456] ppid=955451 vsize=241360 memory=165764 CPUtime=161.68 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 181509 0 0 0 16135 33 0 0 20 0 3 0 182336158 247152640 41807 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=241360 memory=167220 CPUtime=0 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 182336159 247152640 41807 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 241360 KiB
################
# More data... #
################
/proc/955454/statm: 176992 149589 2990 3032 0 157875 0
[pid=955454/tid=955456] ppid=955451 vsize=707968 memory=596308 CPUtime=3451.67 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1927911 0 0 0 344716 451 0 0 20 0 3 0 182336158 724959232 149589 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=707968 memory=12088 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 182336159 724959232 149589 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 707968 KiB
Current children cumulated memory: 598356 KiB
[startup+3522.3 s]
/proc/loadavg: 3.30 3.79 4.00 4/253 958167
/proc/meminfo: memFree=121192848/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=707968 memory=598356 CPUtime=3511.78 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 1941887 0 0 0 350713 465 0 0 20 0 3 0 182336153 724959232 149589 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 176992 149589 2990 3032 0 157875 0
[pid=955454/tid=955456] ppid=955451 vsize=707968 memory=598356 CPUtime=3511.5 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1937721 0 0 0 350693 457 0 0 20 0 3 0 182336158 724959232 149589 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=707968 memory=598356 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 182336159 724959232 149589 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 707968 KiB
Current children cumulated memory: 598356 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.66 3.94 4/255 958182
/proc/meminfo: memFree=121168452/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3571.62 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 1997208 0 0 0 356688 474 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=598356 CPUtime=3571.33 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1993032 0 0 0 356667 466 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=621976 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3600.11 s]
# the end of solver process 955454 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.61 s, system=4.77723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.14 3.64 3.94 4/255 958182
/proc/meminfo: memFree=121168452/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3573.32 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 1997238 0 0 0 356858 474 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=4840 CPUtime=3573.03 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1993062 0 0 0 356837 466 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=621976 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3590.4 s]
/proc/loadavg: 3.21 3.65 3.94 4/255 958183
/proc/meminfo: memFree=121168288/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3579.69 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 1997326 0 0 0 357495 474 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=621976 CPUtime=3579.4 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1993150 0 0 0 357474 466 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=6720661052004319085 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3579.69 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3596.8 s]
/proc/loadavg: 3.19 3.64 3.93 4/255 958185
/proc/meminfo: memFree=121168232/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3586.07 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 1998033 0 0 0 358132 475 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=40388 CPUtime=3585.78 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1993857 0 0 0 358111 467 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=621976 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3586.07 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3598.4 s]
/proc/loadavg: 3.19 3.64 3.93 4/255 958185
/proc/meminfo: memFree=121168232/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3587.67 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 2000601 0 0 0 358292 475 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=12088 CPUtime=3587.37 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1996422 0 0 0 358270 467 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=44880 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3599.2 s]
/proc/loadavg: 3.18 3.63 3.93 4/255 958185
/proc/meminfo: memFree=121168224/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3588.46 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 2000721 0 0 0 358371 475 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=12512 CPUtime=3588.17 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1996542 0 0 0 358350 467 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=5500 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3588.46 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3599.6 s]
/proc/loadavg: 3.18 3.63 3.93 4/255 958185
/proc/meminfo: memFree=121168224/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3588.86 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 2000756 0 0 0 358411 475 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=1904 CPUtime=3588.57 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1996577 0 0 0 358390 467 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=6720661052004319085 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3600 s]*
/proc/loadavg: 3.18 3.63 3.93 4/255 958185
/proc/meminfo: memFree=121168232/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=774520 memory=621976 CPUtime=3589.26 cores=4,6
/proc/955454/stat : 955454 (fscip) R 955451 955454 950155 0 -1 1077936128 2002213 0 0 0 358451 475 0 0 20 0 3 0 182336153 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 193630 155494 2990 3032 0 174513 0
[pid=955454/tid=955456] ppid=955451 vsize=774520 memory=6720664359062159216 CPUtime=3588.97 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 1998038 0 0 0 358430 467 0 0 20 0 3 0 182336158 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=774520 memory=-8549727012430724507 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 182336159 793108480 155494 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3589.26 s
Current children cumulated vsize: 774520 KiB
Current children cumulated memory: 621976 KiB
[startup+3600.11 s]
/proc/loadavg: 3.18 3.63 3.93 4/255 958185
/proc/meminfo: memFree=121168232/131524600 swapFree=131071996/131071996
[pid=955454] ppid=955451 vsize=247056 memory=207376 CPUtime=3589.37 cores=4,6
/proc/955454/stat : 955454 (fscip) S 955451 955454 950155 0 -1 1077936128 2007398 0 0 0 358460 477 0 0 20 0 3 0 182336153 252985344 51844 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
/proc/955454/statm: 61764 51844 2990 3032 0 58143 0
[pid=955454/tid=955456] ppid=955451 vsize=247056 memory=598356 CPUtime=3589.08 cores=4,6
/proc/955454/task/955456/stat : 955456 (fscip) R 955451 955454 950155 0 -1 4194368 2003218 0 0 0 358439 469 0 0 20 0 3 0 182336158 252985344 51844 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
[pid=955454/tid=955457] ppid=955451 vsize=247056 memory=621976 CPUtime=0.02 cores=4,6
/proc/955454/task/955457/stat : 955457 (fscip) S 955451 955454 950155 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 182336159 252985344 51844 134679101440 4194304 16613245 140733194210560 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 37359616 140733194212372 140733194212488 140733194212488 140733194219504 0
Current children cumulated CPU time: 3589.37 s
Current children cumulated vsize: 247056 KiB
Current children cumulated memory: 207376 KiB
Child status: 0
Real time (s): 3600.11
CPU time (s): 3589.39
CPU user time (s): 3584.61
CPU system time (s): 4.77723
CPU usage (%): 99.7021
Max. virtual memory (cumulated for all children) (KiB): 774520
Max. memory (cumulated for all children) (KiB): 621976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.61
system time used= 4.77723
maximum resident set size= 621976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2007551
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= 10715
involuntary context switches= 1981
# summary of solver processes directly reported to runsolver:
# pid: 955454
# total CPU time (s): 3589.39
# total CPU user time (s): 3584.61
# total CPU system time (s): 4.77723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09748 second user time and 17.6338 second system time
The end
Begin job on nodeC032 at 2024-07-18 13:21:24
IDJOB=4443440
IDBENCH=147874
IDSOLVER=3064
FILE ID=nodeC032/4443440-1721301672
RUNJOBID= nodeC032-1721294255-950166
SLURM_JOB_ID= 7542614
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21ls.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-4443440-1721301672/watcher-4443440-1721301672 -o /tmp/evaluation-result-4443440-1721301672/solver-4443440-1721301672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950166 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4443440-1721301672.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7546ebd0ce66e1c0113f5874ce57dd6d
RANDOM SEED=741744577
nodeC032.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 : 3634.856
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.33
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 : 3600.465
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.03
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 : 3665.365
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.33
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 : 3683.472
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.03
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 : 3656.296
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.33
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 : 3683.445
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.03
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 : 3665.937
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.33
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.956
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126669796 kB
MemAvailable: 129129552 kB
Buffers: 491300 kB
Cached: 2784316 kB
SwapCached: 0 kB
Active: 929548 kB
Inactive: 3270724 kB
Active(anon): 1572 kB
Inactive(anon): 960504 kB
Active(file): 927976 kB
Inactive(file): 2310220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56624 kB
Writeback: 0 kB
AnonPages: 924472 kB
Mapped: 141420 kB
Shmem: 37720 kB
KReclaimable: 123436 kB
Slab: 238544 kB
SReclaimable: 123436 kB
SUnreclaim: 115108 kB
KernelStack: 4152 kB
PageTables: 10880 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1164356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69216 kB
HardwareCorrupted: 0 kB
AnonHugePages: 309248 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889980 MiB
End job on nodeC032 at 2024-07-18 14:21:25