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 = 24461312, getVmSize() = 24461312, SCIPgetMemUsed() = 2312365, SCIPgetMemTotal() = 2906565, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 17943210, getVmSize() = 29368320, SCIPgetMemUsed() = 3283202, SCIPgetMemTotal() = 6438202, SCIPgetMemExternEstim() = 1048576
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4434648-1721084501
0.00/0.02 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 472
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 543
0.00/0.02 c Constraints : Number
0.00/0.02 c knapsack : 418
0.00/0.02 c setppc : 104
0.00/0.02 c logicor : 21
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.05 c * 0 0 1 1 219.0000 - -
0.00/0.05 c * 0 0 1 1 209.0000 - -
5.67/5.74 c 6 3 2 1 209.0000 160.8740 29.92%
10.97/11.06 c 11 8 7 1 209.0000 160.8740 29.92%
16.65/16.71 c 17 14 13 1 209.0000 160.8740 29.92%
17.44/17.54 c * 18 14 13 1 205.0000 160.8740 27.43%
17.44/17.55 c * 18 14 13 1 203.0000 160.8740 26.19%
17.44/17.55 c * 18 14 13 1 202.0000 160.8740 25.56%
17.44/17.55 c * 18 14 13 1 198.0000 160.8740 23.08%
18.24/18.30 c * 18 25 24 1 197.0000 160.8740 22.46%
18.24/18.30 c * 18 25 24 1 196.0000 160.8740 21.83%
22.53/22.62 c 23 89 88 1 196.0000 160.8740 21.83%
27.81/27.90 c 28 199 198 1 196.0000 160.8740 21.83%
32.91/33.02 c 33 275 274 1 196.0000 161.1105 21.66%
36.10/36.26 c * 36 302 301 1 195.0000 161.1128 21.03%
36.10/36.26 c * 36 302 301 1 194.0000 161.1128 20.41%
36.10/36.26 c * 36 302 301 1 192.0000 161.1128 19.17%
36.10/36.26 c * 36 302 301 1 190.0000 161.1128 17.93%
38.49/38.61 c 39 342 341 1 190.0000 161.1835 17.88%
45.18/45.34 c 45 405 404 1 190.0000 161.2948 17.80%
50.67/50.80 c 51 478 477 1 190.0000 161.3670 17.74%
55.75/55.98 c 56 542 541 1 190.0000 161.4589 17.68%
61.54/61.77 c 62 622 621 1 190.0000 161.4649 17.67%
66.93/67.13 c 67 699 698 1 190.0000 161.5732 17.59%
72.42/72.61 c 73 796 795 1 190.0000 161.6276 17.55%
78.20/78.42 c 78 902 901 1 190.0000 161.7173 17.49%
83.80/84.01 c 84 981 980 1 190.0000 161.7247 17.48%
92.67/92.90 c 93 1051 1 1 190.0000 161.7591 17.46%
98.45/98.76 c 99 1059 9 1 190.0000 161.7591 17.46%
103.55/103.89 c 104 1087 37 1 190.0000 161.7591 17.46%
109.53/109.80 c 110 1298 240 1 190.0000 161.7591 17.46%
114.82/115.18 c 115 1582 298 1 190.0000 161.7591 17.46%
121.10/121.40 c 121 1753 363 1 190.0000 161.7591 17.46%
126.19/126.56 c 127 1819 383 1 190.0000 161.7591 17.46%
132.07/132.46 c 132 1967 423 1 190.0000 161.7591 17.46%
137.46/137.80 c 138 2083 473 1 190.0000 161.7591 17.46%
142.85/143.20 c 143 2193 501 1 190.0000 161.7591 17.46%
148.54/148.96 c 149 2454 552 1 190.0000 161.7591 17.46%
153.92/154.34 c 154 2675 597 1 190.0000 161.7591 17.46%
159.11/159.56 c 160 2747 625 1 190.0000 161.7591 17.46%
164.70/165.19 c 165 2897 663 1 190.0000 161.7591 17.46%
170.09/170.54 c 171 2965 697 1 190.0000 161.7591 17.46%
175.47/175.90 c 176 3062 742 1 190.0000 161.7591 17.46%
180.46/180.94 c 181 3144 778 1 190.0000 161.7591 17.46%
186.26/186.71 c 187 3278 824 1 190.0000 161.7591 17.46%
192.64/193.15 c 193 3392 868 1 190.0000 161.7591 17.46%
198.53/199.09 c 199 3582 920 1 190.0000 161.7591 17.46%
204.01/204.51 c 205 3769 965 1 190.0000 161.7591 17.46%
209.60/210.14 c 210 3923 1003 1 190.0000 161.7591 17.46%
214.98/215.55 c 216 4123 1021 1 190.0000 161.7591 17.46%
221.37/221.94 c 222 4293 1061 1 190.0000 161.7591 17.46%
226.86/227.42 c 227 4407 1147 1 190.0000 161.7591 17.46%
232.15/232.77 c 233 4551 1245 1 190.0000 161.7591 17.46%
237.84/238.49 c 238 4748 1344 1 190.0000 161.7591 17.46%
244.12/244.71 c 245 5016 1438 1 190.0000 161.7591 17.46%
249.31/249.91 c 250 5141 1505 1 190.0000 161.7591 17.46%
254.59/255.27 c 255 5303 1567 1 190.0000 161.7591 17.46%
260.18/260.84 c 261 5548 1622 1 190.0000 161.7591 17.46%
265.97/266.60 c 267 5693 1655 1 190.0000 161.7591 17.46%
271.46/272.12 c 272 5863 1695 1 190.0000 161.7591 17.46%
276.54/277.29 c 277 6004 1730 1 190.0000 161.7591 17.46%
281.83/282.52 c 283 6113 1769 1 190.0000 161.7591 17.46%
286.92/287.60 c 288 6272 1810 1 190.0000 161.7591 17.46%
292.20/292.93 c 293 6561 1859 1 190.0000 161.7591 17.46%
298.29/299.06 c 299 6673 1917 1 190.0000 161.7591 17.46%
304.68/305.47 c 305 7007 1961 1 190.0000 161.7591 17.46%
310.17/310.96 c 311 7282 2050 1 190.0000 161.7591 17.46%
316.15/316.99 c 317 7481 2129 1 190.0000 161.7591 17.46%
321.25/322.03 c 322 7634 2162 1 190.0000 161.7591 17.46%
326.93/327.70 c 328 7813 2217 1 190.0000 161.7591 17.46%
332.81/333.66 c 334 8108 2268 1 190.0000 161.7591 17.46%
337.90/338.79 c 339 8284 2306 1 190.0000 161.7591 17.46%
343.08/343.91 c 344 8415 2357 1 190.0000 161.7591 17.46%
348.27/349.12 c 349 8636 2402 1 190.0000 161.7591 17.46%
353.26/354.13 c 354 8782 2444 1 190.0000 161.7609 17.46%
358.55/359.49 c 360 8941 2487 1 190.0000 161.7721 17.45%
364.53/365.40 c 365 9178 2524 1 190.0000 161.7770 17.45%
369.72/370.66 c 371 9301 2565 1 190.0000 161.7848 17.44%
375.71/376.63 c 377 9423 2621 1 190.0000 161.7855 17.44%
381.49/382.42 c 382 9711 2753 1 190.0000 161.7897 17.44%
387.19/388.17 c 388 9931 2817 1 190.0000 161.7934 17.43%
393.17/394.15 c 394 10063 2875 1 190.0000 161.8005 17.43%
398.26/399.27 c 399 10131 2919 1 190.0000 161.8103 17.42%
403.94/404.99 c 405 10221 2961 1 190.0000 161.8159 17.42%
409.53/410.50 c 411 10341 2997 1 190.0000 161.8191 17.42%
415.31/416.37 c 416 10523 3053 1 190.0000 161.8208 17.41%
420.90/421.92 c 422 10695 3129 1 190.0000 161.8297 17.41%
426.99/428.08 c 428 10975 3193 1 190.0000 161.8329 17.41%
432.77/433.83 c 434 11111 3231 1 190.0000 161.8376 17.40%
438.66/439.74 c 440 11291 3267 1 190.0000 161.8435 17.40%
443.95/445.01 c 445 11430 3310 1 190.0000 161.8491 17.39%
449.72/450.86 c 451 11703 3355 1 190.0000 161.8520 17.39%
456.01/457.12 c 457 11813 3389 1 190.0000 161.8544 17.39%
461.89/463.07 c 463 12053 3427 1 190.0000 161.8616 17.38%
467.07/468.22 c 468 12271 3465 1 190.0000 161.8661 17.38%
472.45/473.61 c 474 12373 3497 1 190.0000 161.8688 17.38%
478.34/479.51 c 480 12523 3565 1 190.0000 161.8789 17.37%
483.52/484.78 c 485 12661 3587 1 190.0000 161.8806 17.37%
488.61/489.88 c 490 12713 3625 1 190.0000 161.8845 17.37%
494.19/495.45 c 495 12861 3667 1 190.0000 161.8909 17.36%
499.67/500.99 c 501 12963 3709 1 190.0000 161.8931 17.36%
504.86/506.17 c 506 13141 3769 1 190.0000 161.8949 17.36%
509.94/511.20 c 511 13571 3913 1 190.0000 161.8974 17.36%
516.13/517.45 c 517 13673 3973 1 190.0000 161.8985 17.36%
521.51/522.82 c 523 13841 4039 1 190.0000 161.9045 17.35%
526.80/528.16 c 528 13923 4095 1 190.0000 161.9089 17.35%
532.48/533.85 c 534 14123 4137 1 190.0000 161.9113 17.35%
538.06/539.49 c 540 14411 4165 1 190.0000 161.9155 17.35%
543.15/544.58 c 545 14521 4221 1 190.0000 161.9183 17.34%
548.43/549.82 c 550 14681 4277 1 190.0000 161.9208 17.34%
553.51/554.99 c 555 14913 4353 1 190.0000 161.9210 17.34%
559.40/560.87 c 561 15053 4405 1 190.0000 161.9246 17.34%
564.39/565.88 c 566 15201 4469 1 190.0000 161.9291 17.34%
569.69/571.17 c 571 15263 4511 1 190.0000 161.9307 17.33%
574.97/576.44 c 576 15393 4565 1 190.0000 161.9338 17.33%
579.96/581.46 c 581 15561 4597 1 190.0000 161.9377 17.33%
585.05/586.56 c 587 15783 4701 1 190.0000 161.9388 17.33%
591.13/592.60 c 593 16021 4759 1 190.0000 161.9458 17.32%
596.52/598.09 c 598 16178 4806 1 190.0000 161.9478 17.32%
601.61/603.10 c 603 16266 4832 1 190.0000 161.9497 17.32%
607.09/608.61 c 609 16372 4878 1 190.0000 161.9528 17.32%
612.49/614.01 c 614 16493 4915 1 190.0000 161.9574 17.31%
617.58/619.18 c 619 16773 4979 1 190.0000 161.9590 17.31%
622.66/624.24 c 624 16913 5029 1 190.0000 161.9648 17.31%
628.24/629.80 c 630 17081 5073 1 190.0000 161.9687 17.31%
634.23/635.80 c 636 17271 5119 1 190.0000 161.9747 17.30%
639.71/641.33 c 641 17491 5151 1 190.0000 161.9776 17.30%
645.10/646.75 c 647 17673 5181 1 190.0000 161.9789 17.30%
650.19/651.88 c 652 17811 5223 1 190.0000 161.9808 17.30%
656.17/657.85 c 658 17913 5261 1 190.0000 161.9876 17.29%
661.67/663.33 c 663 18011 5291 1 190.0000 161.9945 17.29%
667.86/669.55 c 670 18103 5331 1 190.0000 162.0007 17.28%
673.54/675.20 c 675 18233 5373 1 190.0000 162.0036 17.28%
678.63/680.39 c 680 18323 5419 1 190.0000 162.0058 17.28%
684.22/685.90 c 686 18517 5465 1 190.0000 162.0072 17.28%
689.31/691.02 c 691 18680 5504 1 190.0000 162.0086 17.28%
694.99/696.77 c 697 18823 5541 1 190.0000 162.0098 17.28%
700.98/702.75 c 703 19021 5589 1 190.0000 162.0138 17.27%
706.17/707.99 c 708 19203 5631 1 190.0000 162.0141 17.27%
712.26/714.00 c 714 19375 5703 1 190.0000 162.0167 17.27%
717.24/719.06 c 719 19483 5767 1 190.0000 162.0210 17.27%
722.62/724.43 c 724 19722 5838 1 190.0000 162.0239 17.27%
728.32/730.11 c 730 19823 5885 1 190.0000 162.0258 17.27%
733.50/735.31 c 735 19926 5920 1 190.0000 162.0329 17.26%
738.59/740.46 c 740 20044 5956 1 190.0000 162.0347 17.26%
744.37/746.20 c 746 20234 6008 1 190.0000 162.0347 17.26%
749.96/751.84 c 752 20432 6072 1 190.0000 162.0421 17.25%
755.15/757.06 c 757 20571 6131 1 190.0000 162.0438 17.25%
760.83/762.75 c 763 20793 6227 1 190.0000 162.0445 17.25%
766.02/767.99 c 768 21032 6300 1 190.0000 162.0479 17.25%
772.02/773.91 c 774 21243 6343 1 190.0000 162.0554 17.24%
777.90/779.80 c 780 21472 6404 1 190.0000 162.0575 17.24%
782.99/784.93 c 785 21691 6487 1 190.0000 162.0628 17.24%
788.88/790.86 c 791 21889 6545 1 190.0000 162.0652 17.24%
794.66/796.68 c 797 22083 6601 1 190.0000 162.0688 17.23%
800.55/802.52 c 803 22221 6649 1 190.0000 162.0754 17.23%
805.93/807.90 c 808 22381 6695 1 190.0000 162.0769 17.23%
810.92/812.98 c 813 22469 6745 1 190.0000 162.0785 17.23%
816.41/818.49 c 818 22681 6797 1 190.0000 162.0789 17.23%
821.80/823.85 c 824 22851 6843 1 190.0000 162.0817 17.22%
827.18/829.24 c 829 22943 6889 1 190.0000 162.0824 17.22%
832.87/834.92 c 835 23146 7008 1 190.0000 162.0851 17.22%
838.16/840.28 c 840 23374 7062 1 190.0000 162.0857 17.22%
843.45/845.56 c 846 23612 7140 1 190.0000 162.0882 17.22%
848.84/850.98 c 851 23811 7181 1 190.0000 162.0895 17.22%
853.93/856.10 c 856 24003 7231 1 190.0000 162.0921 17.22%
859.41/861.55 c 862 24171 7277 1 190.0000 162.0975 17.21%
864.91/867.04 c 867 24353 7313 1 190.0000 162.0998 17.21%
870.00/872.14 c 872 24531 7349 1 190.0000 162.1007 17.21%
875.38/877.58 c 878 24633 7393 1 190.0000 162.1055 17.21%
880.67/882.84 c 883 24812 7432 1 190.0000 162.1057 17.21%
885.96/888.14 c 888 25141 7457 1 190.0000 162.1070 17.21%
891.95/894.17 c 894 25283 7513 1 190.0000 162.1104 17.20%
897.73/899.96 c 900 25526 7550 1 190.0000 162.1131 17.20%
903.32/905.51 c 906 25641 7587 1 190.0000 162.1169 17.20%
909.10/911.32 c 911 25881 7623 1 190.0000 162.1213 17.20%
914.99/917.29 c 917 26048 7662 1 190.0000 162.1237 17.19%
921.07/923.32 c 923 26331 7703 1 190.0000 162.1271 17.19%
926.76/929.09 c 929 26581 7749 1 190.0000 162.1277 17.19%
932.84/935.19 c 935 26713 7801 1 190.0000 162.1333 17.19%
938.13/940.48 c 940 26803 7839 1 190.0000 162.1347 17.19%
943.61/945.95 c 946 26963 7875 1 190.0000 162.1359 17.19%
950.19/952.58 c 953 27263 7941 1 190.0000 162.1387 17.18%
955.87/958.24 c 958 27452 7998 1 190.0000 162.1401 17.18%
960.96/963.36 c 963 27611 8047 1 190.0000 162.1447 17.18%
966.44/968.88 c 969 27887 8093 1 190.0000 162.1466 17.18%
971.64/974.08 c 974 28011 8125 1 190.0000 162.1504 17.18%
977.11/979.56 c 980 28173 8171 1 190.0000 162.1525 17.17%
982.40/984.82 c 985 28343 8207 1 190.0000 162.1537 17.17%
987.59/990.06 c 990 28571 8255 1 190.0000 162.1559 17.17%
993.46/995.90 c 996 28741 8297 1 190.0000 162.1575 17.17%
999.25/1001.72 c 1002 28891 8349 1 190.0000 162.1591 17.17%
1004.64/1007.11 c 1007 29067 8401 1 190.0000 162.1624 17.17%
1010.63/1013.10 c 1013 29293 8475 1 190.0000 162.1639 17.17%
1015.61/1018.12 c 1018 29473 8527 1 190.0000 162.1668 17.16%
1020.59/1023.14 c 1023 29651 8583 1 190.0000 162.1686 17.16%
1025.78/1028.33 c 1028 29831 8639 1 190.0000 162.1707 17.16%
1032.16/1034.71 c 1035 30053 8705 1 190.0000 162.1745 17.16%
1037.55/1040.12 c 1040 30231 8751 1 190.0000 162.1776 17.16%
1043.24/1045.87 c 1046 30421 8803 1 190.0000 162.1831 17.15%
1049.92/1052.59 c 1053 30573 8867 1 190.0000 162.1865 17.15%
1055.70/1058.30 c 1058 30891 8933 1 190.0000 162.1881 17.15%
1061.09/1063.76 c 1064 31153 9005 1 190.0000 162.1905 17.15%
1066.08/1068.78 c 1069 31390 9072 1 190.0000 162.1925 17.14%
1071.27/1073.93 c 1074 31521 9121 1 190.0000 162.1957 17.14%
1077.16/1079.80 c 1080 31703 9177 1 190.0000 162.1968 17.14%
1082.55/1085.24 c 1085 31901 9223 1 190.0000 162.2001 17.14%
1088.23/1090.90 c 1091 32081 9261 1 190.0000 162.2048 17.14%
1093.82/1096.59 c 1097 32163 9311 1 190.0000 162.2055 17.14%
1099.21/1101.93 c 1102 32401 9331 1 190.0000 162.2073 17.13%
1104.70/1107.40 c 1107 32733 9443 1 190.0000 162.2083 17.13%
1110.18/1112.93 c 1113 32952 9474 1 190.0000 162.2128 17.13%
1116.27/1119.07 c 1119 33133 9537 1 190.0000 162.2141 17.13%
1121.96/1124.70 c 1125 33371 9593 1 190.0000 162.2178 17.13%
1127.55/1130.33 c 1130 33571 9665 1 190.0000 162.2211 17.12%
1132.84/1135.65 c 1136 33826 9724 1 190.0000 162.2229 17.12%
1138.02/1140.84 c 1141 34101 9799 1 190.0000 162.2278 17.12%
1143.81/1146.62 c 1147 34217 9863 1 190.0000 162.2307 17.12%
1149.50/1152.38 c 1152 34451 9911 1 190.0000 162.2342 17.11%
1154.88/1157.70 c 1158 34581 9955 1 190.0000 162.2361 17.11%
1160.07/1162.95 c 1163 34733 10015 1 190.0000 162.2377 17.11%
1165.66/1168.57 c 1169 34973 10057 1 190.0000 162.2396 17.11%
1171.54/1174.40 c 1174 35124 10092 1 190.0000 162.2407 17.11%
1177.24/1180.15 c 1180 35313 10153 1 190.0000 162.2419 17.11%
1183.32/1186.24 c 1186 35511 10197 1 190.0000 162.2448 17.11%
1188.71/1191.69 c 1192 35741 10249 1 190.0000 162.2467 17.11%
1194.60/1197.52 c 1198 35893 10303 1 190.0000 162.2505 17.10%
1199.68/1202.65 c 1203 36231 10357 1 190.0000 162.2526 17.10%
1204.98/1207.93 c 1208 36471 10407 1 190.0000 162.2545 17.10%
1210.07/1213.02 c 1213 36686 10460 1 190.0000 162.2551 17.10%
1215.95/1218.92 c 1219 36841 10495 1 190.0000 162.2568 17.10%
1221.63/1224.64 c 1225 37001 10535 1 190.0000 162.2588 17.10%
1227.61/1230.64 c 1231 37181 10593 1 190.0000 162.2606 17.10%
1233.31/1236.30 c 1236 37371 10647 1 190.0000 162.2630 17.09%
1238.39/1241.41 c 1241 37639 10735 1 190.0000 162.2638 17.09%
1243.98/1247.02 c 1247 37814 10782 1 190.0000 162.2651 17.09%
1248.97/1252.06 c 1252 37972 10842 1 190.0000 162.2723 17.09%
1254.75/1257.85 c 1258 38201 10889 1 190.0000 162.2735 17.09%
1260.34/1263.45 c 1263 38432 10970 1 190.0000 162.2758 17.08%
1265.53/1268.65 c 1269 38543 11017 1 190.0000 162.2769 17.08%
1270.62/1273.72 c 1274 38731 11057 1 190.0000 162.2812 17.08%
1275.70/1278.86 c 1279 38803 11099 1 190.0000 162.2837 17.08%
1281.19/1284.36 c 1284 39013 11155 1 190.0000 162.2861 17.08%
1286.28/1289.48 c 1289 39361 11189 1 190.0000 162.2889 17.08%
1291.98/1295.12 c 1295 39491 11227 1 190.0000 162.2927 17.07%
1296.07/1299.21 c * 1299 39543 11261 1 189.0000 162.2930 16.46%
1298.56/1301.71 c 1302 39641 10627 1 189.0000 162.2938 16.46%
1304.45/1307.63 c 1308 39733 10663 1 189.0000 162.2952 16.45%
1310.03/1313.29 c 1313 39871 10675 1 189.0000 162.3006 16.45%
1315.72/1318.93 c 1319 40011 10723 1 189.0000 162.3041 16.45%
1321.30/1324.57 c 1325 40181 10759 1 189.0000 162.3067 16.45%
1326.99/1330.28 c 1330 40383 10811 1 189.0000 162.3083 16.45%
1332.78/1336.01 c 1336 40473 10855 1 189.0000 162.3117 16.44%
1338.57/1341.88 c 1342 40641 10911 1 189.0000 162.3150 16.44%
1344.25/1347.55 c 1348 40801 10949 1 189.0000 162.3167 16.44%
1350.04/1353.30 c 1353 41041 11015 1 189.0000 162.3193 16.44%
1355.83/1359.14 c 1359 41191 11075 1 189.0000 162.3210 16.44%
1361.01/1364.33 c 1364 41301 11121 1 189.0000 162.3224 16.43%
1366.19/1369.57 c 1370 41471 11179 1 189.0000 162.3231 16.43%
1371.98/1375.32 c 1375 41661 11221 1 189.0000 162.3274 16.43%
1376.96/1380.35 c 1380 41741 11255 1 189.0000 162.3296 16.43%
1382.46/1385.85 c 1386 41908 11318 1 189.0000 162.3315 16.43%
1387.54/1390.94 c 1391 41991 11349 1 189.0000 162.3395 16.42%
1393.22/1396.62 c 1397 42083 11377 1 189.0000 162.3407 16.42%
1399.20/1402.66 c 1403 42193 11445 1 189.0000 162.3449 16.42%
1404.29/1407.71 c 1408 42341 11491 1 189.0000 162.3465 16.42%
1409.47/1412.90 c 1413 42463 11539 1 189.0000 162.3494 16.42%
1414.85/1418.38 c 1418 42649 11541 1 189.0000 162.3520 16.41%
1421.34/1424.89 c 1425 42781 11585 1 189.0000 162.3558 16.41%
1426.43/1430.00 c 1430 42901 11631 1 189.0000 162.3578 16.41%
1432.31/1435.88 c 1436 42991 11667 1 189.0000 162.3602 16.41%
1437.50/1441.08 c 1441 43061 11715 1 189.0000 162.3649 16.40%
1443.49/1447.03 c 1447 43205 11775 1 189.0000 162.3683 16.40%
1449.37/1452.93 c 1453 43313 11833 1 189.0000 162.3700 16.40%
1455.15/1458.75 c 1459 43491 11883 1 189.0000 162.3720 16.40%
1460.74/1464.33 c 1464 43600 11938 1 189.0000 162.3750 16.40%
1466.63/1470.26 c 1470 43754 11986 1 189.0000 162.3791 16.39%
1472.12/1475.77 c 1476 43953 12035 1 189.0000 162.3803 16.39%
1477.42/1481.07 c 1481 44100 12068 1 189.0000 162.3823 16.39%
1483.89/1487.51 c 1488 44281 12125 1 189.0000 162.3902 16.39%
1489.97/1493.69 c 1494 44513 12193 1 189.0000 162.3924 16.38%
1495.06/1498.70 c 1499 44598 12224 1 189.0000 162.3933 16.38%
1500.46/1504.16 c 1504 44731 12267 1 189.0000 162.3947 16.38%
1506.04/1509.73 c 1510 44843 12329 1 189.0000 162.3976 16.38%
1511.93/1515.64 c 1516 45051 12375 1 189.0000 162.4045 16.38%
1518.01/1521.71 c 1522 45143 12419 1 189.0000 162.4050 16.38%
1523.20/1526.98 c 1527 45267 12465 1 189.0000 162.4054 16.38%
1528.59/1532.36 c 1532 45381 12519 1 189.0000 162.4083 16.37%
1534.47/1538.24 c 1538 45593 12587 1 189.0000 162.4093 16.37%
1539.66/1543.47 c 1543 45791 12645 1 189.0000 162.4140 16.37%
1545.45/1549.20 c 1549 45901 12697 1 189.0000 162.4159 16.37%
1551.24/1555.02 c 1555 46053 12759 1 189.0000 162.4174 16.37%
1556.63/1560.41 c 1560 46208 12786 1 189.0000 162.4209 16.36%
1562.51/1566.34 c 1566 46363 12853 1 189.0000 162.4286 16.36%
1568.10/1571.99 c 1572 46483 12901 1 189.0000 162.4321 16.36%
1573.68/1577.59 c 1578 46649 12945 1 189.0000 162.4334 16.36%
1578.87/1582.76 c 1583 46751 12997 1 189.0000 162.4374 16.35%
1584.86/1588.76 c 1589 46963 13087 1 189.0000 162.4390 16.35%
1590.04/1593.90 c 1594 47131 13127 1 189.0000 162.4420 16.35%
1595.34/1599.26 c 1599 47271 13199 1 189.0000 162.4436 16.35%
1600.83/1604.72 c 1605 47393 13243 1 189.0000 162.4462 16.35%
1606.22/1610.15 c 1610 47643 13307 1 189.0000 162.4503 16.34%
1612.30/1616.23 c 1616 47783 13369 1 189.0000 162.4546 16.34%
1617.49/1621.50 c 1622 47945 13407 1 189.0000 162.4592 16.34%
1623.47/1627.49 c 1628 48127 13493 1 189.0000 162.4628 16.33%
1628.66/1632.69 c 1633 48251 13527 1 189.0000 162.4657 16.33%
1635.05/1639.09 c 1639 48381 13583 1 189.0000 162.4691 16.33%
1640.84/1644.88 c 1645 48519 13641 1 189.0000 162.4729 16.33%
1646.13/1650.17 c 1650 48619 13703 1 189.0000 162.4743 16.33%
1652.01/1656.10 c 1656 48798 13768 1 189.0000 162.4747 16.33%
1657.49/1661.52 c 1662 48912 13808 1 189.0000 162.4781 16.32%
1663.08/1667.13 c 1667 49096 13846 1 189.0000 162.4806 16.32%
1668.56/1672.65 c 1673 49273 13905 1 189.0000 162.4837 16.32%
1673.75/1677.82 c 1678 49461 13947 1 189.0000 162.4872 16.32%
1679.85/1683.95 c 1684 49633 14005 1 189.0000 162.4903 16.31%
1685.23/1689.33 c 1689 49858 14070 1 189.0000 162.4934 16.31%
1691.03/1695.15 c 1695 50071 14117 1 189.0000 162.4961 16.31%
1696.61/1700.77 c 1701 50250 14156 1 189.0000 162.4977 16.31%
1701.90/1706.09 c 1706 50381 14197 1 189.0000 162.5048 16.30%
1706.99/1711.19 c 1711 50541 14265 1 189.0000 162.5079 16.30%
1712.47/1716.60 c 1717 50721 14327 1 189.0000 162.5124 16.30%
1717.75/1721.90 c 1722 50871 14397 1 189.0000 162.5142 16.30%
1723.95/1728.15 c 1728 50991 14459 1 189.0000 162.5181 16.29%
1729.23/1733.46 c 1733 51131 14519 1 189.0000 162.5204 16.29%
1734.83/1739.03 c 1739 51251 14565 1 189.0000 162.5243 16.29%
1739.81/1744.05 c 1744 51391 14603 1 189.0000 162.5250 16.29%
1744.90/1749.12 c 1749 51557 14665 1 189.0000 162.5266 16.29%
1750.08/1754.35 c 1754 51771 14711 1 189.0000 162.5287 16.29%
1755.67/1759.92 c 1760 51971 14757 1 189.0000 162.5310 16.29%
1761.06/1765.31 c 1765 52175 14827 1 189.0000 162.5345 16.28%
1766.05/1770.33 c 1770 52351 14881 1 189.0000 162.5377 16.28%
1771.23/1775.53 c 1776 52471 14953 1 189.0000 162.5390 16.28%
1776.62/1780.95 c 1781 52573 14997 1 189.0000 162.5426 16.28%
1782.10/1786.48 c 1786 52753 15041 1 189.0000 162.5439 16.28%
1788.00/1792.39 c 1792 52963 15087 1 189.0000 162.5468 16.27%
1794.69/1799.03 c 1799 53103 15155 1 189.0000 162.5497 16.27%
1799.77/1804.14 c 1804 53261 15209 1 189.0000 162.5519 16.27%
1804.95/1809.37 c 1809 53457 15295 1 189.0000 162.5530 16.27%
1810.84/1815.20 c 1815 53670 15364 1 189.0000 162.5551 16.27%
1816.63/1821.07 c 1821 53836 15422 1 189.0000 162.5592 16.27%
1822.32/1826.76 c 1827 54151 15487 1 189.0000 162.5602 16.26%
1827.61/1832.02 c 1832 54365 15569 1 189.0000 162.5618 16.26%
1833.39/1837.83 c 1838 54631 15635 1 189.0000 162.5636 16.26%
1838.48/1842.90 c 1843 54801 15693 1 189.0000 162.5658 16.26%
1843.67/1848.16 c 1848 54940 15740 1 189.0000 162.5673 16.26%
1849.66/1854.11 c 1854 55215 15795 1 189.0000 162.5681 16.26%
1854.84/1859.31 c 1859 55351 15835 1 189.0000 162.5693 16.26%
1859.93/1864.41 c 1864 55511 15881 1 189.0000 162.5727 16.26%
1865.02/1869.56 c 1870 55664 15938 1 189.0000 162.5743 16.25%
1871.40/1875.90 c 1876 55923 15981 1 189.0000 162.5763 16.25%
1877.09/1881.67 c 1882 56133 16047 1 189.0000 162.5782 16.25%
1882.88/1887.41 c 1887 56351 16121 1 189.0000 162.5800 16.25%
1888.36/1892.93 c 1893 56443 16169 1 189.0000 162.5824 16.25%
1893.65/1898.26 c 1898 56608 16232 1 189.0000 162.5840 16.25%
1899.03/1903.66 c 1904 56861 16303 1 189.0000 162.5886 16.24%
1904.22/1908.89 c 1909 57002 16382 1 189.0000 162.5904 16.24%
1909.43/1914.02 c 1914 57273 16473 1 189.0000 162.5911 16.24%
1914.41/1919.06 c 1919 57469 16539 1 189.0000 162.5945 16.24%
1919.69/1924.35 c 1924 57698 16596 1 189.0000 162.5967 16.24%
1925.38/1930.09 c 1930 58031 16645 1 189.0000 162.5982 16.24%
1930.57/1935.25 c 1935 58256 16718 1 189.0000 162.6019 16.23%
1936.05/1940.78 c 1941 58625 16817 1 189.0000 162.6028 16.23%
1941.64/1946.30 c 1946 58881 16887 1 189.0000 162.6035 16.23%
1947.34/1952.03 c 1952 59141 16945 1 189.0000 162.6068 16.23%
1952.62/1957.33 c 1957 59311 17011 1 189.0000 162.6080 16.23%
1957.70/1962.47 c 1962 59561 17069 1 189.0000 162.6085 16.23%
1963.49/1968.24 c 1968 59761 17121 1 189.0000 162.6094 16.23%
1969.68/1974.42 c 1974 60011 17171 1 189.0000 162.6118 16.23%
1975.57/1980.35 c 1980 60181 17255 1 189.0000 162.6146 16.23%
1980.56/1985.39 c 1985 60363 17319 1 189.0000 162.6159 16.22%
1985.74/1990.59 c 1991 60603 17347 1 189.0000 162.6177 16.22%
1991.62/1996.46 c 1996 60743 17411 1 189.0000 162.6222 16.22%
1998.02/2002.81 c 2003 61031 17479 1 189.0000 162.6247 16.22%
2003.90/2008.79 c 2009 61233 17559 1 189.0000 162.6260 16.22%
2008.99/2013.88 c 2014 61453 17639 1 189.0000 162.6281 16.22%
2014.38/2019.23 c 2019 61668 17734 1 189.0000 162.6310 16.21%
2019.56/2024.45 c 2024 61891 17795 1 189.0000 162.6336 16.21%
2025.15/2030.00 c 2030 62121 17857 1 189.0000 162.6346 16.21%
2030.24/2035.11 c 2035 62273 17917 1 189.0000 162.6353 16.21%
2035.72/2040.66 c 2041 62588 17974 1 189.0000 162.6360 16.21%
2041.51/2046.46 c 2046 62841 18049 1 189.0000 162.6385 16.21%
2046.89/2051.85 c 2052 63041 18113 1 189.0000 162.6394 16.21%
2052.38/2057.34 c 2057 63181 18145 1 189.0000 162.6398 16.21%
2057.46/2062.42 c 2062 63371 18209 1 189.0000 162.6434 16.21%
2062.55/2067.57 c 2068 63563 18265 1 189.0000 162.6463 16.20%
2067.84/2072.81 c 2073 63743 18313 1 189.0000 162.6477 16.20%
2073.43/2078.40 c 2078 63901 18387 1 189.0000 162.6510 16.20%
2078.82/2083.81 c 2084 64103 18451 1 189.0000 162.6549 16.20%
2084.21/2089.22 c 2089 64349 18517 1 189.0000 162.6562 16.20%
2090.00/2095.04 c 2095 64576 18560 1 189.0000 162.6582 16.19%
2095.99/2101.02 c 2101 64822 18620 1 189.0000 162.6614 16.19%
2101.57/2106.69 c 2107 65192 18704 1 189.0000 162.6620 16.19%
2106.76/2111.87 c 2112 65371 18745 1 189.0000 162.6639 16.19%
2111.84/2116.99 c 2117 65551 18807 1 189.0000 162.6667 16.19%
2116.94/2122.01 c 2122 65701 18853 1 189.0000 162.6703 16.19%
2122.12/2127.25 c 2127 65913 18943 1 189.0000 162.6707 16.19%
2127.41/2132.54 c 2133 66221 19075 1 189.0000 162.6714 16.19%
2133.29/2138.48 c 2138 66596 19172 1 189.0000 162.6731 16.18%
2138.48/2143.68 c 2144 66871 19221 1 189.0000 162.6753 16.18%
2144.17/2149.39 c 2149 67151 19311 1 189.0000 162.6783 16.18%
2149.46/2154.63 c 2155 67411 19369 1 189.0000 162.6818 16.18%
2154.96/2160.12 c 2160 67636 19442 1 189.0000 162.6836 16.18%
2160.34/2165.56 c 2166 67883 19517 1 189.0000 162.6852 16.18%
2165.83/2171.05 c 2171 68041 19577 1 189.0000 162.6881 16.17%
2171.60/2176.85 c 2177 68340 19626 1 189.0000 162.6891 16.17%
2176.90/2182.19 c 2182 68603 19677 1 189.0000 162.6899 16.17%
2182.78/2188.05 c 2188 69001 19783 1 189.0000 162.6908 16.17%
2188.07/2193.33 c 2193 69171 19841 1 189.0000 162.6917 16.17%
2193.36/2198.65 c 2199 69336 19896 1 189.0000 162.6930 16.17%
2199.15/2204.44 c 2204 69593 19967 1 189.0000 162.6947 16.17%
2204.53/2209.81 c 2210 69931 20021 1 189.0000 162.6956 16.17%
2210.22/2215.54 c 2216 70171 20105 1 189.0000 162.6986 16.17%
2215.51/2220.83 c 2221 70551 20189 1 189.0000 162.6997 16.16%
2221.49/2226.83 c 2227 70723 20253 1 189.0000 162.7014 16.16%
2226.88/2232.29 c 2232 70923 20315 1 189.0000 162.7038 16.16%
2232.27/2237.63 c 2238 71151 20363 1 189.0000 162.7051 16.16%
2237.85/2243.27 c 2243 71341 20425 1 189.0000 162.7070 16.16%
2243.24/2248.68 c 2249 71602 20490 1 189.0000 162.7086 16.16%
2249.13/2254.57 c 2255 71813 20557 1 189.0000 162.7126 16.16%
2254.52/2259.96 c 2260 72051 20615 1 189.0000 162.7135 16.16%
2259.81/2265.28 c 2265 72143 20659 1 189.0000 162.7151 16.15%
2265.79/2271.25 c 2271 72421 20749 1 189.0000 162.7186 16.15%
2271.68/2277.14 c 2277 72631 20821 1 189.0000 162.7215 16.15%
2276.86/2282.39 c 2282 72803 20887 1 189.0000 162.7225 16.15%
2282.35/2287.86 c 2288 73031 20957 1 189.0000 162.7240 16.15%
2287.54/2293.08 c 2293 73206 21030 1 189.0000 162.7247 16.15%
2292.72/2298.26 c 2298 73393 21097 1 189.0000 162.7257 16.15%
2298.01/2303.53 c 2304 73641 21163 1 189.0000 162.7270 16.15%
2303.00/2308.58 c 2309 73801 21223 1 189.0000 162.7282 16.14%
2308.40/2313.91 c 2314 74002 21274 1 189.0000 162.7290 16.14%
2313.49/2319.01 c 2319 74251 21323 1 189.0000 162.7321 16.14%
2318.97/2324.58 c 2325 74471 21387 1 189.0000 162.7336 16.14%
2324.46/2330.06 c 2330 74661 21443 1 189.0000 162.7360 16.14%
2329.45/2335.10 c 2335 74911 21485 1 189.0000 162.7369 16.14%
2334.73/2340.35 c 2340 75133 21549 1 189.0000 162.7381 16.14%
2339.92/2345.56 c 2346 75340 21624 1 189.0000 162.7392 16.14%
2345.00/2350.65 c 2351 75453 21685 1 189.0000 162.7400 16.14%
2350.18/2355.86 c 2356 75831 21765 1 189.0000 162.7426 16.13%
2356.17/2361.86 c 2362 76120 21840 1 189.0000 162.7436 16.13%
2361.95/2367.61 c 2368 76531 22041 1 189.0000 162.7450 16.13%
2366.93/2372.63 c 2373 76681 22113 1 189.0000 162.7456 16.13%
2372.01/2377.73 c 2378 76951 22173 1 189.0000 162.7473 16.13%
2377.41/2383.11 c 2383 77123 22231 1 189.0000 162.7476 16.13%
2383.30/2389.05 c 2389 77481 22335 1 189.0000 162.7486 16.13%
2388.98/2394.76 c 2395 77773 22421 1 189.0000 162.7490 16.13%
2394.28/2400.03 c 2400 77933 22483 1 189.0000 162.7502 16.13%
2399.76/2405.58 c 2406 78153 22555 1 189.0000 162.7517 16.13%
2404.94/2410.70 c 2411 78341 22607 1 189.0000 162.7535 16.13%
2410.43/2416.22 c 2416 78581 22673 1 189.0000 162.7549 16.13%
2416.32/2422.12 c 2422 78825 22733 1 189.0000 162.7568 16.12%
2421.50/2427.30 c 2427 79111 22801 1 189.0000 162.7578 16.12%
2426.69/2432.55 c 2433 79340 22874 1 189.0000 162.7587 16.12%
2432.28/2438.19 c 2438 79811 22943 1 189.0000 162.7597 16.12%
2437.46/2443.38 c 2443 80039 23055 1 189.0000 162.7607 16.12%
2442.85/2448.71 c 2449 80443 23115 1 189.0000 162.7611 16.12%
2447.84/2453.73 c 2454 80544 23164 1 189.0000 162.7626 16.12%
2452.93/2458.81 c 2459 80763 23229 1 189.0000 162.7637 16.12%
2458.22/2464.11 c 2464 80943 23291 1 189.0000 162.7657 16.12%
2463.51/2469.48 c 2469 81302 23378 1 189.0000 162.7662 16.12%
2468.80/2474.78 c 2475 81591 23425 1 189.0000 162.7678 16.12%
2474.59/2480.58 c 2481 81838 23498 1 189.0000 162.7683 16.12%
2479.87/2485.89 c 2486 81953 23559 1 189.0000 162.7718 16.11%
2485.46/2491.42 c 2491 82181 23623 1 189.0000 162.7727 16.11%
2490.54/2496.58 c 2497 82311 23681 1 189.0000 162.7741 16.11%
2496.04/2502.04 c 2502 82591 23749 1 189.0000 162.7749 16.11%
2502.42/2508.40 c 2508 82801 23831 1 189.0000 162.7763 16.11%
2508.21/2514.24 c 2514 83013 23909 1 189.0000 162.7779 16.11%
2513.89/2519.96 c 2520 83351 23981 1 189.0000 162.7790 16.11%
2519.18/2525.21 c 2525 83443 24027 1 189.0000 162.7791 16.11%
2524.27/2530.33 c 2530 83645 24085 1 189.0000 162.7807 16.11%
2529.55/2535.68 c 2536 83831 24145 1 189.0000 162.7823 16.11%
2535.05/2541.12 c 2541 84010 24218 1 189.0000 162.7831 16.11%
2541.13/2547.29 c 2547 84251 24297 1 189.0000 162.7842 16.10%
2546.21/2552.38 c 2552 84495 24363 1 189.0000 162.7847 16.10%
2551.30/2557.40 c 2557 84693 24423 1 189.0000 162.7852 16.10%
2557.00/2563.12 c 2563 84974 24484 1 189.0000 162.7861 16.10%
2563.38/2569.54 c 2570 85303 24583 1 189.0000 162.7877 16.10%
2568.66/2574.82 c 2575 85577 24637 1 189.0000 162.7890 16.10%
2574.54/2580.73 c 2581 85847 24715 1 189.0000 162.7898 16.10%
2580.43/2586.68 c 2587 86073 24787 1 189.0000 162.7901 16.10%
2586.01/2592.23 c 2592 86391 24833 1 189.0000 162.7914 16.10%
2591.10/2597.39 c 2597 86621 24887 1 189.0000 162.7924 16.10%
2596.29/2602.58 c 2603 86795 24957 1 189.0000 162.7929 16.10%
2601.67/2607.98 c 2608 87021 25015 1 189.0000 162.7944 16.10%
2607.35/2613.62 c 2614 87341 25065 1 189.0000 162.7957 16.10%
2613.13/2619.49 c 2620 87513 25129 1 189.0000 162.7964 16.10%
2618.22/2624.58 c 2625 87700 25188 1 189.0000 162.7971 16.10%
2623.71/2630.03 c 2630 87973 25249 1 189.0000 162.7983 16.09%
2628.79/2635.11 c 2635 88281 25303 1 189.0000 162.8010 16.09%
2634.37/2640.72 c 2641 88463 25395 1 189.0000 162.8020 16.09%
2640.25/2646.66 c 2647 88702 25462 1 189.0000 162.8037 16.09%
2646.23/2652.67 c 2653 88926 25532 1 189.0000 162.8050 16.09%
2651.82/2658.24 c 2658 89227 25579 1 189.0000 162.8055 16.09%
2657.00/2663.45 c 2663 89421 25643 1 189.0000 162.8059 16.09%
2662.39/2668.86 c 2669 89701 25693 1 189.0000 162.8068 16.09%
2667.98/2674.43 c 2674 89951 25761 1 189.0000 162.8076 16.09%
2673.86/2680.34 c 2680 90194 25830 1 189.0000 162.8091 16.09%
2679.34/2685.80 c 2686 90413 25885 1 189.0000 162.8100 16.09%
2684.92/2691.45 c 2691 90671 25951 1 189.0000 162.8119 16.08%
2690.21/2696.71 c 2697 90883 26005 1 189.0000 162.8130 16.08%
2695.79/2702.35 c 2702 91161 26097 1 189.0000 162.8146 16.08%
2701.08/2707.62 c 2708 91441 26165 1 189.0000 162.8152 16.08%
2706.46/2713.00 c 2713 91641 26243 1 189.0000 162.8157 16.08%
2711.45/2718.09 c 2718 91909 26291 1 189.0000 162.8163 16.08%
2717.04/2723.67 c 2724 92199 26349 1 189.0000 162.8164 16.08%
2722.53/2729.11 c 2729 92413 26419 1 189.0000 162.8172 16.08%
2727.60/2734.20 c 2734 92599 26471 1 189.0000 162.8179 16.08%
2732.99/2739.62 c 2740 92921 26531 1 189.0000 162.8190 16.08%
2738.08/2744.70 c 2745 93113 26597 1 189.0000 162.8199 16.08%
2743.47/2750.14 c 2750 93351 26671 1 189.0000 162.8208 16.08%
2748.65/2755.34 c 2755 93500 26732 1 189.0000 162.8213 16.08%
2753.84/2760.57 c 2761 93801 26773 1 189.0000 162.8230 16.08%
2759.52/2766.27 c 2766 94084 26868 1 189.0000 162.8237 16.08%
2764.61/2771.37 c 2771 94259 26919 1 189.0000 162.8241 16.08%
2769.90/2776.63 c 2777 94473 26983 1 189.0000 162.8250 16.08%
2775.09/2781.80 c 2782 94642 27046 1 189.0000 162.8260 16.07%
2780.38/2787.17 c 2787 94851 27117 1 189.0000 162.8274 16.07%
2785.66/2792.44 c 2792 95003 27171 1 189.0000 162.8286 16.07%
2791.26/2798.02 c 2798 95251 27255 1 189.0000 162.8298 16.07%
2796.54/2803.38 c 2803 95477 27335 1 189.0000 162.8307 16.07%
2801.72/2808.53 c 2809 95673 27393 1 189.0000 162.8312 16.07%
2807.32/2814.16 c 2814 95881 27463 1 189.0000 162.8334 16.07%
2813.10/2819.94 c 2820 96106 27542 1 189.0000 162.8339 16.07%
2818.88/2825.73 c 2826 96354 27602 1 189.0000 162.8348 16.07%
2824.77/2831.61 c 2832 96726 27664 1 189.0000 162.8362 16.07%
2830.47/2837.33 c 2837 97011 27715 1 189.0000 162.8377 16.07%
2835.85/2842.75 c 2843 97291 27779 1 189.0000 162.8387 16.07%
2841.94/2848.87 c 2849 97531 27839 1 189.0000 162.8404 16.06%
2847.23/2854.13 c 2854 97713 27901 1 189.0000 162.8419 16.06%
2852.91/2859.84 c 2860 97923 27973 1 189.0000 162.8426 16.06%
2858.60/2865.53 c 2866 98211 28057 1 189.0000 162.8443 16.06%
2863.89/2870.80 c 2871 98357 28115 1 189.0000 162.8447 16.06%
2869.37/2876.38 c 2876 98603 28169 1 189.0000 162.8455 16.06%
2875.17/2882.16 c 2882 98963 28215 1 189.0000 162.8464 16.06%
2880.85/2887.82 c 2888 99211 28279 1 189.0000 162.8478 16.06%
2886.44/2893.45 c 2893 99430 28342 1 189.0000 162.8489 16.06%
2891.42/2898.46 c 2898 99721 28393 1 189.0000 162.8500 16.06%
2897.21/2904.27 c 2904 99918 28472 1 189.0000 162.8509 16.06%
2902.89/2909.97 c 2910 100219 28525 1 189.0000 162.8512 16.06%
2908.10/2915.17 c 2915 100423 28589 1 189.0000 162.8537 16.06%
2914.38/2921.46 c 2921 100691 28649 1 189.0000 162.8547 16.05%
2919.66/2926.79 c 2927 100951 28725 1 189.0000 162.8553 16.05%
2925.15/2932.25 c 2932 101133 28807 1 189.0000 162.8560 16.05%
2930.73/2937.80 c 2938 101361 28893 1 189.0000 162.8584 16.05%
2936.12/2943.24 c 2943 101565 28947 1 189.0000 162.8589 16.05%
2941.70/2948.83 c 2949 101813 29017 1 189.0000 162.8593 16.05%
2946.69/2953.88 c 2954 102004 29084 1 189.0000 162.8600 16.05%
2951.88/2959.04 c 2959 102301 29133 1 189.0000 162.8615 16.05%
2957.26/2964.47 c 2964 102491 29201 1 189.0000 162.8626 16.05%
2962.84/2970.06 c 2970 102775 29249 1 189.0000 162.8636 16.05%
2967.94/2975.12 c 2975 102901 29301 1 189.0000 162.8641 16.05%
2973.71/2980.92 c 2981 103175 29365 1 189.0000 162.8657 16.05%
2979.30/2986.51 c 2987 103444 29424 1 189.0000 162.8667 16.05%
2985.28/2992.55 c 2993 103753 29495 1 189.0000 162.8680 16.04%
2991.06/2998.32 c 2998 103937 29557 1 189.0000 162.8684 16.04%
2996.15/3003.46 c 3003 104181 29617 1 189.0000 162.8695 16.04%
3001.43/3008.78 c 3009 104421 29657 1 189.0000 162.8705 16.04%
3006.82/3014.11 c 3014 104631 29723 1 189.0000 162.8713 16.04%
3012.49/3019.89 c 3020 104835 29787 1 189.0000 162.8722 16.04%
3017.79/3025.18 c 3025 105151 29847 1 189.0000 162.8728 16.04%
3023.26/3030.61 c 3031 105381 29911 1 189.0000 162.8736 16.04%
3029.15/3036.55 c 3037 105721 29967 1 189.0000 162.8744 16.04%
3034.24/3041.60 c 3042 105981 30029 1 189.0000 162.8753 16.04%
3039.82/3047.28 c 3047 106203 30081 1 189.0000 162.8754 16.04%
3045.61/3053.01 c 3053 106421 30153 1 189.0000 162.8759 16.04%
3051.38/3058.81 c 3059 106690 30248 1 189.0000 162.8761 16.04%
3056.47/3063.93 c 3064 106865 30293 1 189.0000 162.8776 16.04%
3061.56/3069.06 c 3069 107101 30329 1 189.0000 162.8792 16.04%
3066.94/3074.42 c 3074 107283 30391 1 189.0000 162.8800 16.04%
3072.22/3079.76 c 3080 107524 30458 1 189.0000 162.8815 16.04%
3078.01/3085.58 c 3086 107901 30531 1 189.0000 162.8827 16.03%
3083.30/3090.86 c 3091 108081 30587 1 189.0000 162.8839 16.03%
3088.98/3096.58 c 3097 108362 30656 1 189.0000 162.8846 16.03%
3094.86/3102.45 c 3102 108621 30729 1 189.0000 162.8856 16.03%
3100.74/3108.31 c 3108 108853 30779 1 189.0000 162.8859 16.03%
3106.53/3114.16 c 3114 109041 30839 1 189.0000 162.8875 16.03%
3111.81/3119.40 c 3119 109291 30895 1 189.0000 162.8883 16.03%
3117.10/3124.80 c 3125 109601 30937 1 189.0000 162.8884 16.03%
3122.98/3130.68 c 3131 109901 31021 1 189.0000 162.8891 16.03%
3128.26/3135.95 c 3136 110174 31064 1 189.0000 162.8894 16.03%
3133.65/3141.33 c 3141 110438 31128 1 189.0000 162.8909 16.03%
3139.53/3147.20 c 3147 110714 31176 1 189.0000 162.8917 16.03%
3144.82/3152.54 c 3153 110881 31219 1 189.0000 162.8927 16.03%
3150.70/3158.49 c 3158 111053 31289 1 189.0000 162.8930 16.03%
3156.18/3163.95 c 3164 111276 31362 1 189.0000 162.8944 16.03%
3161.96/3169.78 c 3170 111540 31420 1 189.0000 162.8949 16.03%
3167.65/3175.49 c 3176 111771 31479 1 189.0000 162.8962 16.02%
3172.83/3180.63 c 3181 111955 31555 1 189.0000 162.8971 16.02%
3178.41/3186.29 c 3186 112247 31637 1 189.0000 162.8984 16.02%
3183.71/3191.54 c 3192 112581 31697 1 189.0000 162.8988 16.02%
3188.99/3196.80 c 3197 112755 31753 1 189.0000 162.8993 16.02%
3194.28/3202.17 c 3202 112961 31803 1 189.0000 162.9002 16.02%
3199.66/3207.54 c 3208 113121 31861 1 189.0000 162.9011 16.02%
3205.25/3213.17 c 3213 113263 31937 1 189.0000 162.9023 16.02%
3210.63/3218.56 c 3219 113551 32013 1 189.0000 162.9033 16.02%
3216.61/3224.55 c 3225 113793 32079 1 189.0000 162.9038 16.02%
3222.60/3230.52 c 3231 114028 32156 1 189.0000 162.9046 16.02%
3228.38/3236.39 c 3236 114271 32231 1 189.0000 162.9058 16.02%
3234.17/3242.16 c 3242 114429 32307 1 189.0000 162.9061 16.02%
3240.05/3248.05 c 3248 114695 32375 1 189.0000 162.9074 16.02%
3245.64/3253.69 c 3254 114921 32445 1 189.0000 162.9083 16.02%
3251.32/3259.33 c 3259 115241 32517 1 189.0000 162.9092 16.02%
3256.40/3264.47 c 3264 115551 32655 1 189.0000 162.9094 16.02%
3262.09/3270.17 c 3270 115853 32779 1 189.0000 162.9105 16.01%
3267.27/3275.30 c 3275 116160 32866 1 189.0000 162.9109 16.01%
3272.75/3280.88 c 3281 116581 32959 1 189.0000 162.9118 16.01%
3278.14/3286.28 c 3286 116883 32993 1 189.0000 162.9121 16.01%
3284.12/3292.23 c 3292 117333 33145 1 189.0000 162.9124 16.01%
3289.91/3298.03 c 3298 117774 33288 1 189.0000 162.9130 16.01%
3295.58/3303.77 c 3304 118054 33366 1 189.0000 162.9143 16.01%
3300.87/3309.01 c 3309 118293 33433 1 189.0000 162.9145 16.01%
3306.55/3314.71 c 3315 118463 33513 1 189.0000 162.9152 16.01%
3311.64/3319.89 c 3320 118721 33591 1 189.0000 162.9157 16.01%
3316.83/3325.04 c 3325 118961 33653 1 189.0000 162.9162 16.01%
3322.11/3330.33 c 3330 119173 33739 1 189.0000 162.9167 16.01%
3327.29/3335.52 c 3336 119496 33854 1 189.0000 162.9172 16.01%
3332.68/3340.97 c 3341 119791 33955 1 189.0000 162.9184 16.01%
3338.16/3346.42 c 3346 120113 34031 1 189.0000 162.9189 16.01%
3343.85/3352.10 c 3352 120341 34109 1 189.0000 162.9193 16.01%
3349.43/3357.73 c 3358 120621 34181 1 189.0000 162.9201 16.01%
3354.92/3363.29 c 3363 120917 34267 1 189.0000 162.9204 16.01%
3360.20/3368.57 c 3369 121231 34333 1 189.0000 162.9214 16.01%
3365.79/3374.17 c 3374 121461 34409 1 189.0000 162.9229 16.01%
3371.47/3379.86 c 3380 121717 34489 1 189.0000 162.9236 16.01%
3377.35/3385.77 c 3386 121973 34559 1 189.0000 162.9240 16.00%
3383.13/3391.54 c 3392 122233 34631 1 189.0000 162.9246 16.00%
3388.12/3396.59 c 3397 122821 34705 1 189.0000 162.9256 16.00%
3393.20/3401.61 c 3402 123171 34769 1 189.0000 162.9263 16.00%
3398.19/3406.68 c 3407 123491 34841 1 189.0000 162.9265 16.00%
3403.77/3412.29 c 3412 123971 34915 1 189.0000 162.9270 16.00%
3409.05/3417.55 c 3418 124271 34987 1 189.0000 162.9275 16.00%
3414.14/3422.65 c 3423 124463 35047 1 189.0000 162.9279 16.00%
3419.42/3427.90 c 3428 124731 35121 1 189.0000 162.9289 16.00%
3424.51/3433.02 c 3433 124981 35181 1 189.0000 162.9292 16.00%
3429.99/3438.56 c 3439 125171 35259 1 189.0000 162.9307 16.00%
3435.58/3444.16 c 3444 125513 35329 1 189.0000 162.9311 16.00%
3441.27/3449.80 c 3450 125961 35397 1 189.0000 162.9323 16.00%
3446.35/3454.93 c 3455 126171 35453 1 189.0000 162.9327 16.00%
3451.64/3460.28 c 3460 126611 35547 1 189.0000 162.9334 16.00%
3456.92/3465.51 c 3466 126851 35633 1 189.0000 162.9342 16.00%
3462.41/3471.07 c 3471 127131 35701 1 189.0000 162.9346 16.00%
3467.59/3476.26 c 3476 127331 35767 1 189.0000 162.9355 16.00%
3472.77/3481.41 c 3481 127611 35815 1 189.0000 162.9362 16.00%
3477.86/3486.51 c 3487 127921 35877 1 189.0000 162.9369 16.00%
3483.24/3491.95 c 3492 128271 35935 1 189.0000 162.9373 16.00%
3488.82/3497.52 c 3498 128511 36013 1 189.0000 162.9384 15.99%
3493.81/3502.55 c 3503 128741 36073 1 189.0000 162.9387 15.99%
3499.30/3508.07 c 3508 129061 36141 1 189.0000 162.9393 15.99%
3505.28/3514.08 c 3514 129461 36201 1 189.0000 162.9399 15.99%
3510.66/3519.49 c 3520 129981 36237 1 189.0000 162.9404 15.99%
3515.95/3524.76 c 3525 130231 36311 1 189.0000 162.9412 15.99%
3522.03/3530.84 c 3531 130493 36373 1 189.0000 162.9415 15.99%
3527.72/3536.55 c 3537 130653 36449 1 189.0000 162.9424 15.99%
3533.40/3542.26 c 3542 130991 36523 1 189.0000 162.9432 15.99%
3539.29/3548.16 c 3548 131211 36591 1 189.0000 162.9444 15.99%
3544.67/3553.53 c 3554 131501 36659 1 189.0000 162.9446 15.99%
3550.05/3558.98 c 3559 131761 36741 1 189.0000 162.9452 15.99%
3555.83/3564.79 c 3565 132141 36823 1 189.0000 162.9455 15.99%
3561.71/3570.68 c 3571 132452 36902 1 189.0000 162.9461 15.99%
3567.50/3576.45 c 3576 132751 36985 1 189.0000 162.9465 15.99%
3573.09/3582.04 c 3582 132963 37043 1 189.0000 162.9471 15.99%
3578.18/3587.14 c 3587 133241 37115 1 189.0000 162.9483 15.99%
3583.26/3592.29 c 3592 133501 37187 1 189.0000 162.9488 15.99%
3588.35/3597.39 c 3597 133661 37255 1 189.0000 162.9494 15.99%
3591.15/3600.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.15/3600.17 c Total Time : 3600.18
3591.15/3600.17 c solving : 3600.18
3591.15/3600.17 c presolving : 0.02 (included in solving)
3591.15/3600.17 c B&B Tree :
3591.15/3600.17 c nodes (total) : 1
3591.15/3600.17 c Solution :
3591.15/3600.17 c Solutions found : 14
3591.15/3600.17 c Primal Bound : +1.89000000000000e+02
3591.15/3600.17 c Dual Bound : +1.62949672971712e+02
3591.15/3600.17 c Gap : 15.98673 %
3591.15/3600.17 c * Warning: final gap: 1.59867e-01 is greater than SCIPepsilon: 1.00000e-09
3591.15/3600.18 o 189
3591.15/3600.18 s SATISFIABLE
3591.15/3600.18 v x473 -x472 x471 -x470 x469 -x468 -x467 -x466 x465 x464 x463 -x462 -x461 -x460 x459 x458 -x457 -x456 x455 x454 -x453 x452 -x451
3591.15/3600.18 v x450 -x449 -x448 -x447 -x446 x445 x444 -x443 x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 x430 x429 x428
3591.15/3600.18 v x427 -x426 x425 x424 -x423 x422 x421 -x420 -x419 -x418 x417 -x416 x415 -x414 x413 x412 -x411 x410 x409 x408 -x407 -x406 x405
3591.15/3600.18 v -x404 -x403 -x402 -x401 -x400 x399 -x398 x397 x396 x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 x386 x385 -x384 x383
3591.15/3600.18 v -x382 -x381 -x380 x379 -x378 x377 x376 -x375 x374 -x373 -x372 x371 x370 x369 -x368 x367 -x366 -x365 -x364 -x363 x362 -x361
3591.15/3600.18 v -x360 -x359 x358 -x357 -x356 x355 -x354 -x353 x352 x351 -x350 x349 -x348 x347 x346 -x345 x344 -x343 -x342 -x341 -x340 -x339
3591.15/3600.18 v -x338 x337 -x336 x335 -x334 x333 x332 -x331 x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 x317 -x316
3591.15/3600.18 v -x315 -x314 -x313 -x312 x311 x310 x309 -x308 x307 x306 x305 x304 -x303 -x302 -x301 x300 x299 x298 x297 x296 -x295 -x294 -x293
3591.15/3600.18 v -x292 x291 x290 x289 -x288 x287 -x286 x285 x284 -x283 -x282 x281 -x280 x279 -x278 -x277 -x276 -x275 x274 x273 -x272 -x271
3591.15/3600.18 v x270 -x269 -x268 -x267 -x266 x265 x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3591.15/3600.18 v x248 -x247 -x246 -x245 -x244 x243 -x242 x241 -x240 -x239 -x238 -x237 x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 x227
3591.15/3600.18 v x226 x225 x224 x223 x222 -x221 x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 x211 x210 -x209 x208 x207 -x206 x205 -x204
3591.15/3600.18 v x203 x202 x201 -x200 -x199 x198 x197 -x196 x195 x194 -x193 -x192 x191 -x190 x189 -x188 x187 -x186 -x185 x184 -x183 -x182
3591.15/3600.18 v -x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 x172 -x171 x170 x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160
3591.15/3600.18 v -x159 x158 -x157 -x156 x155 x154 x153 -x152 -x151 -x150 x149 x148 -x147 -x146 -x145 x144 -x143 x142 x141 -x140 x139 -x138 -x137
3591.15/3600.18 v -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 x117 -x116 x115
3591.15/3600.18 v -x114 x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 x99 -x98 x97 x96 x95 x94 x93 x92 -x91
3591.15/3600.18 v x90 -x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 x68 x67 x66 -x65
3591.15/3600.18 v x64 -x63 -x62 -x61 x60 x59 -x58 x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 x44 -x43 x42 x41 x40 x39 x38 -x37
3591.15/3600.18 v x36 -x35 -x34 -x33 -x32 x31 -x30 x29 -x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 x11
3591.15/3600.18 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58989 MiB free)
memory of node 1: 64510 MiB (61776 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434648-1721084501/watcher-4434648-1721084501 -o /tmp/evaluation-result-4434648-1721084501/solver-4434648-1721084501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843443 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434648-1721084501.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=843491, runsolver pid=843486
Current StackSize limit: 8192 KiB
[startup+0.100326 s]*
/proc/loadavg: 1.11 1.27 2.23 5/268 843514
/proc/meminfo: memFree=123589148/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=112388 memory=28368 CPUtime=0.1 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 4545 0 0 0 10 0 0 0 20 0 3 0 160617520 115085312 7092 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 28097 7092 2894 3032 0 10507 0
[pid=843491/tid=843507] ppid=843486 vsize=112388 memory=4026531971 CPUtime=0.07 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 2111 0 0 0 7 0 0 0 20 0 3 0 160617522 115085312 7092 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=112388 memory=14907 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115085312 7092 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112388 KiB
Current children cumulated memory: 28368 KiB
[startup+0.214738 s]*
/proc/loadavg: 1.11 1.27 2.23 5/268 843514
/proc/meminfo: memFree=123577040/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=112388 memory=28632 CPUtime=0.2 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 4585 0 0 0 20 0 0 0 20 0 3 0 160617520 115085312 7158 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 28097 7158 2894 3032 0 10528 0
[pid=843491/tid=843507] ppid=843486 vsize=112388 memory=664970851429515395 CPUtime=0.18 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 2151 0 0 0 18 0 0 0 20 0 3 0 160617522 115085312 7158 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=112388 memory=14907 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115085312 7158 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112388 KiB
Current children cumulated memory: 28632 KiB
[startup+0.304863 s]*
/proc/loadavg: 1.11 1.27 2.23 5/268 843514
/proc/meminfo: memFree=123570384/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=112388 memory=28896 CPUtime=0.29 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 4612 0 0 0 29 0 0 0 20 0 3 0 160617520 115085312 7224 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 28097 7224 2894 3032 0 10590 0
[pid=843491/tid=843507] ppid=843486 vsize=112388 memory=-6081664252234611559 CPUtime=0.27 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 2178 0 0 0 27 0 0 0 20 0 3 0 160617522 115085312 7224 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=112388 memory=0 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115085312 7224 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112388 KiB
Current children cumulated memory: 28896 KiB
[startup+0.700168 s]
/proc/loadavg: 1.11 1.27 2.23 5/268 843514
/proc/meminfo: memFree=123542892/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=116620 memory=42948 CPUtime=0.69 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 8149 0 0 0 68 1 0 0 20 0 3 0 160617520 119418880 10737 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 29155 10737 2910 3032 0 14121 0
[pid=843491/tid=843507] ppid=843486 vsize=116620 memory=0 CPUtime=0.65 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 5715 0 0 0 65 0 0 0 20 0 3 0 160617522 119418880 10737 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=116620 memory=0 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 119418880 10737 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116620 KiB
Current children cumulated memory: 42948 KiB
[startup+1.50026 s]
/proc/loadavg: 1.34 1.32 2.24 5/268 843514
/proc/meminfo: memFree=123351116/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=206008 memory=119700 CPUtime=1.48 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 34992 0 0 0 144 4 0 0 20 0 3 0 160617520 210952192 29925 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 51502 29925 2910 3032 0 33917 0
[pid=843491/tid=843507] ppid=843486 vsize=206008 memory=0 CPUtime=1.45 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 32558 0 0 0 142 3 0 0 20 0 3 0 160617522 210952192 29925 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=206008 memory=0 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 210952192 29925 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 206008 KiB
Current children cumulated memory: 119700 KiB
[startup+3.10605 s]
/proc/loadavg: 1.34 1.32 2.24 5/268 843514
/proc/meminfo: memFree=123057956/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=206008 memory=160168 CPUtime=3.08 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 45415 0 0 0 303 5 0 0 20 0 3 0 160617520 210952192 40042 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 51502 40042 2910 3032 0 44366 0
[pid=843491/tid=843507] ppid=843486 vsize=206008 memory=0 CPUtime=3.06 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 42979 0 0 0 301 5 0 0 20 0 3 0 160617522 210952192 40042 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=206008 memory=4037822743852374187 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160617523 210952192 40042 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 206008 KiB
Current children cumulated memory: 160168 KiB
[startup+6.30016 s]
/proc/loadavg: 1.55 1.36 2.25 5/268 843514
/proc/meminfo: memFree=123056820/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=206008 memory=160168 CPUtime=6.27 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 45461 0 0 0 622 5 0 0 20 0 3 0 160617520 210952192 40042 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 51502 40042 2910 3032 0 44366 0
[pid=843491/tid=843507] ppid=843486 vsize=206008 memory=0 CPUtime=6.24 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 42996 0 0 0 619 5 0 0 20 0 3 0 160617522 210952192 40042 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=206008 memory=-6153721846272539494 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160617523 210952192 40042 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206008 KiB
Current children cumulated memory: 160168 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.41 2.26 5/268 843516
/proc/meminfo: memFree=123051512/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=206008 memory=160508 CPUtime=12.66 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 51588 0 0 0 1260 6 0 0 20 0 3 0 160617520 210952192 40127 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 51502 40127 2958 3032 0 44366 0
[pid=843491/tid=843507] ppid=843486 vsize=206008 memory=160168 CPUtime=12.62 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 49069 0 0 0 1257 5 0 0 20 0 3 0 160617522 210952192 40127 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=206008 memory=160508 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 160617523 210952192 40127 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 206008 KiB
Current children cumulated memory: 160508 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 1.49 2.28 5/267 843517
/proc/meminfo: memFree=122809928/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=267920 memory=209524 CPUtime=25.42 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 115513 0 0 0 2531 11 0 0 20 0 3 0 160617520 274350080 52381 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 66980 52381 2958 3032 0 56685 0
[pid=843491/tid=843507] ppid=843486 vsize=267920 memory=209524 CPUtime=25.4 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 112723 0 0 0 2529 11 0 0 20 0 3 0 160617522 274350080 52381 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=267920 memory=41140 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 160617523 274350080 52381 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 267920 KiB
Current children cumulated memory: 209524 KiB
[startup+51.1061 s]
/proc/loadavg: 2.90 1.75 2.34 5/267 843522
/proc/meminfo: memFree=122785440/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=265872 memory=207492 CPUtime=50.97 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 147415 0 0 0 5083 14 0 0 20 0 3 0 160617520 272252928 51873 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 66468 51873 2958 3032 0 56173 0
[pid=843491/tid=843507] ppid=843486 vsize=265872 memory=1972 CPUtime=50.93 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 144378 0 0 0 5080 13 0 0 20 0 3 0 160617522 272252928 51873 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=265872 memory=209532 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 160617523 272252928 51873 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 265872 KiB
Current children cumulated memory: 207492 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.11 2.43 5/266 843531
/proc/meminfo: memFree=122642336/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=331408 memory=239684 CPUtime=102.05 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 224231 0 0 0 10185 20 0 0 20 0 3 0 160617520 339361792 59921 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 82852 59921 2958 3032 0 64046 0
[pid=843491/tid=843507] ppid=843486 vsize=331408 memory=11588 CPUtime=102.02 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 221089 0 0 0 10182 20 0 0 20 0 3 0 160617522 339361792 59921 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=331408 memory=41140 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 160617523 339361792 59921 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 331408 KiB
Current children cumulated memory: 239684 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 2.52 2.56 5/266 843542
/proc/meminfo: memFree=122477560/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=331408 memory=282960 CPUtime=161.9 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 282847 0 0 0 16166 24 0 0 20 0 3 0 160617520 339361792 70740 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 82852 70740 2974 3032 0 74756 0
[pid=843491/tid=843507] ppid=843486 vsize=331408 memory=282952 CPUtime=161.87 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 279637 0 0 0 16163 24 0 0 20 0 3 0 160617522 339361792 70740 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=331408 memory=282952 CPUtime=0 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 160617523 339361792 70740 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 331408 KiB
################
# More data... #
################
/proc/843491/statm: 102099 89082 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=353236 CPUtime=3453.46 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 544248 0 0 0 345267 79 0 0 20 0 3 0 160617522 418197504 89082 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=41300 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 171 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89082 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 845313
/proc/meminfo: memFree=122205036/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3513.55 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 550330 0 0 0 351269 86 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=356376 CPUtime=3513.28 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 545883 0 0 0 351248 80 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=11588 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 173 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 845337
/proc/meminfo: memFree=122202376/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3573.39 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555770 0 0 0 357252 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=11588 CPUtime=3573.12 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551294 0 0 0 357231 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=356376 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3600.18 s]
# the end of solver process 843491 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.36 s, system=0.881062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.04 5/264 845337
/proc/meminfo: memFree=122202424/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3575.09 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555774 0 0 0 357422 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=33328 CPUtime=3574.82 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551298 0 0 0 357401 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=-8621784572243001500 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3575.09 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.08 4.04 5/264 845338
/proc/meminfo: memFree=122202312/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3581.47 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555787 0 0 0 358060 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=356376 CPUtime=3581.2 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551311 0 0 0 358039 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=356376 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.08 4.04 5/264 845338
/proc/meminfo: memFree=122202296/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3587.85 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555803 0 0 0 358698 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=5536 CPUtime=3587.58 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551327 0 0 0 358677 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=11588 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3587.85 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 845338
/proc/meminfo: memFree=122202288/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3589.45 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555804 0 0 0 358858 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=6720666562447228521 CPUtime=3589.18 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551328 0 0 0 358837 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=14761 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3589.45 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3599.2 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3590.25 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555806 0 0 0 358938 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=11588 CPUtime=3589.98 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551330 0 0 0 358917 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=41300 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3590.25 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3599.6 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3590.65 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555808 0 0 0 358978 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=15980 CPUtime=3590.37 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551332 0 0 0 358956 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=6720666562447228521 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3590.65 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.08 4.03 5/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3591.05 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 555818 0 0 0 359018 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=6720665467230568044 CPUtime=3590.78 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 551338 0 0 0 358997 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=-8621784572243001500 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3591.05 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
[startup+3600.11 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843491] ppid=843486 vsize=408396 memory=356376 CPUtime=3591.15 cores=4,6
/proc/843491/stat : 843491 (fscip) S 843486 843491 843431 0 -1 1077936128 556572 0 0 0 359028 87 0 0 20 0 3 0 160617520 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
/proc/843491/statm: 102099 89094 3294 3032 0 91479 0
[pid=843491/tid=843507] ppid=843486 vsize=408396 memory=356376 CPUtime=3590.88 cores=4,6
/proc/843491/task/843507/stat : 843507 (fscip) R 843486 843491 843431 0 -1 4194368 552092 0 0 0 359007 81 0 0 20 0 3 0 160617522 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
[pid=843491/tid=843511] ppid=843486 vsize=408396 memory=12508 CPUtime=0.02 cores=4,6
/proc/843491/task/843511/stat : 843511 (fscip) S 843486 843491 843431 0 -1 1077936192 175 0 0 0 1 1 0 0 20 0 3 0 160617523 418197504 89094 134679101440 4194304 16613245 140729563813456 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 49635328 140729563821077 140729563821193 140729563821193 140729563828208 0
Current children cumulated CPU time: 3591.15 s
Current children cumulated vsize: 408396 KiB
Current children cumulated memory: 356376 KiB
Child status: 0
Real time (s): 3600.18
CPU time (s): 3591.24
CPU user time (s): 3590.36
CPU system time (s): 0.881062
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 408396
Max. memory (cumulated for all children) (KiB): 356376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.36
system time used= 0.881062
maximum resident set size= 356376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556753
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= 12081
involuntary context switches= 1715
# summary of solver processes directly reported to runsolver:
# pid: 843491
# total CPU time (s): 3591.24
# total CPU user time (s): 3590.36
# total CPU system time (s): 0.881062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00943 second user time and 16.6997 second system time
The end
Begin job on nodeC029 at 2024-07-16 01:01:54
IDJOB=4434648
IDBENCH=147539
IDSOLVER=3064
FILE ID=nodeC029/4434648-1721084501
RUNJOBID= nodeC029-1721084514-843443
SLURM_JOB_ID= 7505574
Free space on /tmp= 890068 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.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-4434648-1721084501/watcher-4434648-1721084501 -o /tmp/evaluation-result-4434648-1721084501/solver-4434648-1721084501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843443 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434648-1721084501.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=34821137
nodeC029.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 : 3809.142
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 : 7000.09
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 : 3715.434
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3646.573
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 : 7000.09
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 : 3842.442
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3754.595
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 : 7000.09
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 : 3802.407
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3617.361
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 : 7000.09
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 : 3610.925
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123666404 kB
MemAvailable: 129672964 kB
Buffers: 375852 kB
Cached: 6395204 kB
SwapCached: 0 kB
Active: 678308 kB
Inactive: 6428876 kB
Active(anon): 1348 kB
Inactive(anon): 372492 kB
Active(file): 676960 kB
Inactive(file): 6056384 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112200 kB
Writeback: 0 kB
AnonPages: 336120 kB
Mapped: 103908 kB
Shmem: 37720 kB
KReclaimable: 225724 kB
Slab: 346508 kB
SReclaimable: 225724 kB
SUnreclaim: 120784 kB
KernelStack: 3952 kB
PageTables: 9776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 666832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60448 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 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: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-16 02:01:54