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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 32133120, getVmSize() = 32133120, SCIPgetMemUsed() = 7349363, SCIPgetMemTotal() = 10231795, SCIPgetMemExternEstim() = 5187808
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.18 c ** Estimated virtualMemUsedAtSolver = 25150805, getVmSize() = 43319296, SCIPgetMemUsed() = 10243193, SCIPgetMemTotal() = 19938585, SCIPgetMemExternEstim() = 5187808
0.09/0.18 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.18 c Original Problem :
0.09/0.18 c Problem name : instance-4434633-1721068480
0.09/0.18 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.18 c Constraints : 4476
0.09/0.18 c Objective sense : minimize
0.09/0.18 c Presolved Problem :
0.09/0.18 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.18 c Constraints : 4476
0.09/0.18 c Constraints : Number
0.09/0.18 c knapsack : 1734
0.09/0.18 c setppc : 840
0.09/0.18 c logicor : 1902
0.09/0.18 c ** Instance transfer method used: 0
0.09/0.19 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.22 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.22 c Nodes Active
0.20/0.22 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.37/0.50 c * 0 0 1 1 34197.0000 - -
5.43/5.54 c 6 4 3 1 34197.0000 17422.0000 96.29%
11.22/11.32 c 11 11 10 1 34197.0000 17422.0000 96.29%
13.12/13.23 c * 13 13 12 1 29977.0000 17422.0000 72.06%
13.22/13.32 c * 13 13 12 1 29542.0000 17422.0000 69.57%
13.52/13.64 c * 14 13 12 1 29178.0000 17422.0000 67.48%
17.10/17.26 c 17 36 29 1 29178.0000 17422.0000 67.48%
22.59/22.76 c 23 132 113 1 29178.0000 17422.0000 67.48%
28.57/28.74 c 29 252 205 1 29178.0000 17422.0000 67.48%
33.66/33.87 c 34 302 255 1 29178.0000 17422.0000 67.48%
39.44/39.67 c 40 356 309 1 29178.0000 17422.0000 67.48%
45.02/45.25 c 45 410 363 1 29178.0000 17422.0000 67.48%
50.50/50.72 c 51 471 422 1 29178.0000 17422.0000 67.48%
55.80/56.05 c 56 535 486 1 29178.0000 17422.0000 67.48%
61.18/61.42 c 61 587 538 1 29178.0000 17422.0000 67.48%
66.46/66.71 c 67 647 598 1 29178.0000 17422.0000 67.48%
72.25/72.55 c 73 702 651 1 29178.0000 17422.0000 67.48%
77.74/78.07 c 78 758 707 1 29178.0000 17422.0000 67.48%
83.01/83.35 c 83 822 771 1 29178.0000 17422.0000 67.48%
88.50/88.85 c 89 892 839 1 29178.0000 17422.0000 67.48%
93.88/94.29 c 94 976 919 1 29178.0000 17422.0000 67.48%
99.06/99.40 c 99 1047 990 1 29178.0000 17422.0000 67.48%
102.45/102.80 c * 103 1070 1013 1 27392.0000 17422.0000 57.23%
104.54/104.98 c 105 1118 1050 1 27392.0000 17422.0000 57.23%
109.73/110.13 c 110 1197 1129 1 27392.0000 17422.0000 57.23%
115.00/115.48 c 115 1301 1225 1 27392.0000 17422.0000 57.23%
123.69/124.15 c 124 1379 1 1 27392.0000 17422.0000 57.23%
128.87/129.38 c 129 1389 11 1 27392.0000 17422.0000 57.23%
134.75/135.22 c 135 1413 35 1 27392.0000 17422.0000 57.23%
140.44/141.01 c 141 1463 85 1 27392.0000 17422.0000 57.23%
145.82/146.34 c 146 1517 139 1 27392.0000 17422.0000 57.23%
151.20/151.74 c 152 1571 193 1 27392.0000 17422.0000 57.23%
156.50/157.08 c 157 1641 263 1 27392.0000 17422.0000 57.23%
158.28/158.87 c * 159 1655 277 1 27304.0000 17422.0000 56.72%
162.27/162.89 c 163 1721 343 1 27304.0000 17422.0000 56.72%
168.26/168.84 c 169 1805 425 1 27304.0000 17442.5714 56.54%
173.75/174.35 c 174 1874 494 1 27304.0000 17459.4444 56.39%
179.03/179.70 c 180 1937 557 1 27304.0000 17459.4444 56.39%
184.32/184.91 c 185 2014 634 1 27304.0000 17459.4444 56.39%
189.30/189.91 c * 190 2071 691 1 26152.0000 17459.4444 49.79%
189.52/190.14 c 190 2084 704 1 26152.0000 17459.4444 49.79%
194.79/195.42 c 195 2145 763 1 26152.0000 17459.4444 49.79%
199.98/200.63 c 201 2208 824 1 26152.0000 17459.4444 49.79%
205.66/206.31 c 206 2279 893 1 26152.0000 17480.8819 49.60%
211.14/211.85 c 212 2363 977 1 26152.0000 17480.8819 49.60%
216.13/216.88 c 217 2438 1052 1 26152.0000 17487.2000 49.55%
221.52/222.27 c 222 2519 1133 1 26152.0000 17527.0000 49.21%
227.11/227.84 c 228 2609 1223 1 26152.0000 17579.1419 48.77%
232.50/233.26 c 233 2709 1323 1 26152.0000 17596.5014 48.62%
237.58/238.37 c 238 2789 1403 1 26152.0000 17641.8000 48.24%
243.07/243.87 c 244 2869 1479 1 26152.0000 17641.8000 48.24%
248.36/249.18 c 249 2985 1589 1 26152.0000 17641.8000 48.24%
253.83/254.62 c 255 3070 1672 1 26152.0000 17642.5194 48.23%
259.01/259.89 c 260 3173 1773 1 26152.0000 17642.5194 48.23%
264.70/265.51 c 266 3259 1859 1 26152.0000 17642.5194 48.23%
270.47/271.32 c 271 3326 1922 1 26152.0000 17642.5194 48.23%
275.66/276.55 c 277 3389 1985 1 26152.0000 17671.4572 47.99%
280.65/281.57 c 282 3446 2042 1 26152.0000 17673.1298 47.98%
286.15/287.06 c 287 3530 2126 1 26152.0000 17673.1298 47.98%
291.32/292.24 c 292 3615 2211 1 26152.0000 17673.1298 47.98%
296.50/297.44 c 297 3691 2287 1 26152.0000 17673.1298 47.98%
301.79/302.75 c 303 3783 2375 1 26152.0000 17673.1298 47.98%
306.98/307.94 c 308 3869 2461 1 26152.0000 17673.1298 47.98%
312.08/313.08 c 313 3968 2558 1 26152.0000 17673.1298 47.98%
317.15/318.14 c 318 4039 2629 1 26152.0000 17739.9107 47.42%
322.43/323.45 c 323 4138 2726 1 26152.0000 17800.2310 46.92%
327.51/328.57 c 329 4223 2811 1 26152.0000 17800.2310 46.92%
332.90/333.96 c 334 4302 2890 1 26152.0000 17800.2310 46.92%
338.00/339.07 c 339 4398 2984 1 26152.0000 17800.2310 46.92%
343.57/344.70 c 345 4486 3072 1 26152.0000 17800.2310 46.92%
349.07/350.12 c 350 4571 3153 1 26152.0000 17800.2310 46.92%
354.14/355.26 c 355 4656 3236 1 26152.0000 17800.2310 46.92%
359.62/360.75 c 361 4736 3316 1 26152.0000 17800.2310 46.92%
364.92/366.10 c 366 4830 3408 1 26152.0000 17800.2310 46.92%
370.30/371.43 c 371 4907 3483 1 26152.0000 17800.2310 46.92%
375.48/376.61 c 377 5029 3601 1 26152.0000 17800.2310 46.92%
380.88/382.09 c 382 5139 3709 1 26152.0000 17906.2481 46.05%
386.04/387.27 c 387 5234 3799 1 26152.0000 17914.1364 45.99%
391.23/392.48 c 392 5323 3886 1 26152.0000 17914.1364 45.99%
396.41/397.66 c 398 5426 3983 1 26152.0000 17914.1364 45.99%
401.60/402.86 c 403 5513 4070 1 26152.0000 17914.1364 45.99%
406.80/408.03 c 408 5606 4157 1 26152.0000 17914.1364 45.99%
411.97/413.28 c 413 5709 4258 1 26152.0000 17914.9058 45.98%
417.16/418.47 c 418 5799 4348 1 26152.0000 17965.3374 45.57%
422.34/423.69 c 424 5899 4446 1 26152.0000 18025.6029 45.08%
427.43/428.78 c 429 5999 4540 1 26152.0000 18032.1587 45.03%
432.82/434.14 c 434 6102 4637 1 26152.0000 18032.1587 45.03%
438.20/439.58 c 440 6195 4730 1 26152.0000 18032.1587 45.03%
443.58/444.92 c 445 6273 4808 1 26152.0000 18032.1587 45.03%
448.88/450.27 c 450 6379 4910 1 26152.0000 18047.4539 44.91%
454.26/455.65 c 456 6473 5004 1 26152.0000 18055.8847 44.84%
459.34/460.76 c 461 6584 5113 1 26152.0000 18055.8847 44.84%
464.64/466.10 c 466 6689 5216 1 26152.0000 18055.8847 44.84%
469.91/471.37 c 471 6779 5304 1 26152.0000 18055.8847 44.84%
475.19/476.68 c 477 6864 5385 1 26152.0000 18055.8847 44.84%
480.48/481.93 c 482 6964 5481 1 26152.0000 18055.8847 44.84%
486.07/487.59 c 488 7054 5569 1 26152.0000 18058.8221 44.82%
491.25/492.76 c 493 7159 5664 1 26152.0000 18103.5353 44.46%
493.05/494.52 c * 495 7179 5684 1 25692.0000 18107.6659 41.88%
496.73/498.22 c 498 7239 5723 1 25692.0000 18125.2863 41.75%
501.92/503.48 c 503 7329 5811 1 25692.0000 18158.9831 41.48%
507.41/508.98 c 509 7442 5920 1 25692.0000 18185.0000 41.28%
512.60/514.18 c 514 7531 6003 1 25692.0000 18185.0000 41.28%
517.87/519.45 c 519 7632 6100 1 25692.0000 18185.0000 41.28%
522.96/524.55 c 525 7749 6211 1 25692.0000 18185.0000 41.28%
528.15/529.78 c 530 7840 6300 1 25692.0000 18185.0000 41.28%
533.63/535.21 c 535 7946 6406 1 25692.0000 18185.0000 41.28%
539.42/541.10 c 541 8054 6508 1 25692.0000 18186.7389 41.27%
544.79/546.43 c 546 8172 6611 1 25692.0000 18186.7389 41.27%
550.08/551.78 c 552 8255 6690 1 25692.0000 18186.7389 41.27%
555.96/557.69 c 558 8380 6803 1 25692.0000 18198.3149 41.18%
561.94/563.67 c 564 8477 6890 1 25692.0000 18204.0000 41.13%
567.12/568.86 c 569 8574 6983 1 25692.0000 18211.9245 41.07%
572.32/574.02 c 574 8663 7068 1 25692.0000 18211.9245 41.07%
578.09/579.81 c 580 8807 7194 1 25692.0000 18218.7276 41.02%
583.47/585.28 c 585 8914 7293 1 25692.0000 18218.7276 41.02%
589.27/591.08 c 591 9029 7402 1 25692.0000 18229.0000 40.94%
595.05/596.87 c 597 9145 7510 1 25692.0000 18235.7814 40.89%
600.63/602.41 c 602 9279 7617 1 25692.0000 18245.3036 40.81%
605.71/607.53 c 608 9406 7730 1 25692.0000 18251.5876 40.77%
610.69/612.55 c 613 9524 7836 1 25692.0000 18257.5128 40.72%
616.08/618.01 c 618 9674 7968 1 25692.0000 18264.4749 40.67%
621.27/623.12 c 623 9784 8066 1 25692.0000 18264.4749 40.67%
626.25/628.17 c 628 9896 8174 1 25692.0000 18268.6875 40.63%
631.72/633.64 c 634 10040 8294 1 25692.0000 18271.5071 40.61%
637.50/639.40 c 639 10154 8396 1 25692.0000 18275.6941 40.58%
642.59/644.56 c 645 10250 8476 1 25692.0000 18276.8254 40.57%
647.67/649.68 c 650 10375 8583 1 25692.0000 18276.8254 40.57%
653.36/655.34 c 655 10478 8682 1 25692.0000 18278.4086 40.56%
658.54/660.51 c 661 10584 8784 1 25692.0000 18281.2990 40.54%
663.93/665.95 c 666 10709 8895 1 25692.0000 18287.7778 40.49%
669.90/671.95 c 672 10838 9012 1 25692.0000 18292.2651 40.45%
675.39/677.48 c 677 10996 9140 1 25692.0000 18297.6667 40.41%
681.17/683.20 c 683 11101 9245 1 25692.0000 18302.0534 40.38%
686.25/688.31 c 688 11199 9331 1 25692.0000 18309.2960 40.32%
691.24/693.36 c 693 11305 9435 1 25692.0000 18311.7813 40.30%
697.22/699.31 c 699 11451 9571 1 25692.0000 18315.6450 40.27%
702.61/704.73 c 705 11598 9704 1 25692.0000 18321.5000 40.23%
708.10/710.29 c 710 11739 9825 1 25692.0000 18321.8964 40.23%
714.08/716.26 c 716 11883 9957 1 25692.0000 18325.8943 40.20%
719.36/721.58 c 722 12021 10083 1 25692.0000 18325.8943 40.20%
724.86/727.10 c 727 12151 10191 1 25692.0000 18328.9511 40.17%
730.04/732.29 c 732 12267 10293 1 25692.0000 18328.9511 40.17%
735.42/737.68 c 738 12426 10403 1 25692.0000 18328.9511 40.17%
740.92/743.20 c 743 12555 10510 1 25692.0000 18334.4725 40.13%
746.90/749.15 c 749 12698 10623 1 25692.0000 18336.6318 40.11%
752.97/755.22 c 755 12833 10750 1 25692.0000 18340.5467 40.08%
758.16/760.44 c 760 12969 10870 1 25692.0000 18340.5467 40.08%
763.65/765.90 c 766 13097 10978 1 25692.0000 18346.6012 40.04%
769.74/772.02 c 772 13219 11088 1 25692.0000 18347.6111 40.03%
775.01/777.31 c 777 13360 11205 1 25692.0000 18348.0000 40.03%
780.10/782.45 c 782 13499 11312 1 25692.0000 18349.1349 40.02%
785.29/787.62 c 788 13669 11434 1 25692.0000 18352.7014 39.99%
790.57/792.99 c 793 13818 11554 1 25692.0000 18357.6157 39.95%
795.77/798.15 c 798 13958 11672 1 25692.0000 18357.6270 39.95%
801.04/803.46 c 803 14102 11792 1 25692.0000 18360.5569 39.93%
806.64/809.06 c 809 14234 11900 1 25692.0000 18362.3020 39.92%
812.00/814.42 c 814 14392 11962 1 25692.0000 18362.3020 39.92%
817.89/820.36 c 820 14554 12084 1 25692.0000 18362.6864 39.91%
823.28/825.70 c 826 14674 12184 1 25692.0000 18364.7500 39.90%
829.06/831.56 c 832 14826 12310 1 25692.0000 18367.0454 39.88%
834.24/836.75 c 837 14962 12414 1 25692.0000 18367.0454 39.88%
839.43/841.99 c 842 15067 12505 1 25692.0000 18370.2315 39.86%
845.12/847.67 c 848 15186 12614 1 25692.0000 18370.2878 39.86%
850.61/853.20 c 853 15315 12711 1 25692.0000 18372.6593 39.84%
856.09/858.66 c 859 15444 12820 1 25692.0000 18372.6593 39.84%
861.58/864.13 c 864 15599 12953 1 25692.0000 18373.4427 39.83%
867.25/869.84 c 870 15734 13064 1 25692.0000 18377.0623 39.80%
873.03/875.68 c 876 15863 13165 1 25692.0000 18378.0000 39.80%
878.23/880.89 c 881 15979 13261 1 25692.0000 18380.5417 39.78%
883.61/886.28 c 886 16109 13373 1 25692.0000 18386.2080 39.74%
889.20/891.89 c 892 16264 13490 1 25692.0000 18391.5000 39.69%
894.28/897.01 c 897 16409 13609 1 25692.0000 18399.8913 39.63%
899.47/902.18 c 902 16519 13711 1 25692.0000 18402.4744 39.61%
904.65/907.35 c 907 16651 13815 1 25692.0000 18402.4744 39.61%
909.73/912.45 c 912 16788 13928 1 25692.0000 18403.7546 39.60%
915.33/918.10 c 918 16915 14025 1 25692.0000 18404.6241 39.60%
920.80/923.53 c 924 17099 14149 1 25692.0000 18407.0327 39.58%
926.09/928.85 c 929 17213 14243 1 25692.0000 18407.0327 39.58%
931.47/934.29 c 934 17370 14358 1 25692.0000 18407.2608 39.58%
936.96/939.71 c 940 17517 14469 1 25692.0000 18407.2608 39.58%
942.36/945.12 c 945 17633 14568 1 25692.0000 18408.3333 39.57%
947.53/950.33 c 950 17759 14662 1 25692.0000 18408.4108 39.57%
952.71/955.50 c 956 17871 14754 1 25692.0000 18408.4108 39.57%
958.60/961.47 c 961 18021 14880 1 25692.0000 18411.5936 39.54%
963.69/966.54 c 967 18147 14988 1 25692.0000 18415.9462 39.51%
968.97/971.83 c 972 18279 15096 1 25692.0000 18417.0889 39.50%
974.76/977.60 c 978 18445 15226 1 25692.0000 18422.1457 39.46%
978.05/980.94 c * 981 18539 15314 1 25674.0000 18428.0805 39.32%
979.94/982.84 c 983 18607 15356 1 25674.0000 18428.9013 39.31%
985.03/987.92 c 988 18705 15440 1 25674.0000 18433.4130 39.28%
990.81/993.78 c 994 18859 15574 1 25674.0000 18438.5056 39.24%
995.90/998.82 c 999 18987 15672 1 25674.0000 18440.1815 39.23%
1001.48/1004.46 c 1004 19171 15808 1 25674.0000 18442.9639 39.21%
1007.08/1010.11 c 1010 19303 15932 1 25674.0000 18445.5200 39.19%
1012.35/1015.36 c 1015 19424 16043 1 25674.0000 18445.8883 39.19%
1018.33/1021.39 c 1021 19564 16140 1 25674.0000 18448.9545 39.16%
1023.82/1026.81 c 1027 19792 16271 1 25674.0000 18452.7405 39.13%
1028.91/1031.95 c 1032 19936 16373 1 25674.0000 18457.1829 39.10%
1034.59/1037.66 c 1038 20081 16462 1 25674.0000 18457.7193 39.10%
1039.88/1042.97 c 1043 20229 16582 1 25674.0000 18459.3039 39.08%
1045.16/1048.26 c 1048 20384 16701 1 25674.0000 18460.7533 39.07%
1050.34/1053.49 c 1053 20511 16798 1 25674.0000 18463.1456 39.06%
1056.04/1059.13 c 1059 20651 16920 1 25674.0000 18465.0600 39.04%
1061.03/1064.14 c 1064 20747 17004 1 25674.0000 18466.7756 39.03%
1066.20/1069.35 c 1069 20859 17096 1 25674.0000 18469.3028 39.01%
1071.90/1075.07 c 1075 21008 17213 1 25674.0000 18469.8685 39.00%
1077.48/1080.61 c 1081 21132 17317 1 25674.0000 18469.8685 39.00%
1082.46/1085.62 c 1086 21249 17422 1 25674.0000 18471.7922 38.99%
1087.96/1091.12 c 1091 21392 17533 1 25674.0000 18475.0414 38.97%
1093.13/1096.38 c 1096 21573 17665 1 25674.0000 18476.3442 38.96%
1098.51/1101.70 c 1102 21752 17812 1 25674.0000 18476.6667 38.95%
1104.50/1107.71 c 1108 21933 17941 1 25674.0000 18476.6667 38.95%
1109.69/1112.91 c 1113 22099 18069 1 25674.0000 18480.0701 38.93%
1114.89/1118.15 c 1118 22249 18187 1 25674.0000 18483.3601 38.90%
1120.16/1123.47 c 1123 22399 18303 1 25674.0000 18486.7585 38.88%
1125.85/1129.11 c 1129 22532 18426 1 25674.0000 18488.7604 38.86%
1130.93/1134.21 c 1134 22669 18547 1 25674.0000 18492.0000 38.84%
1135.92/1139.27 c 1139 22778 18636 1 25674.0000 18492.0000 38.84%
1141.81/1145.12 c 1145 22931 18767 1 25674.0000 18492.3043 38.84%
1147.08/1150.43 c 1150 23029 18859 1 25674.0000 18493.5441 38.83%
1152.26/1155.65 c 1156 23198 18982 1 25674.0000 18495.7841 38.81%
1157.85/1161.20 c 1161 23329 19087 1 25674.0000 18497.8833 38.79%
1162.84/1166.24 c 1166 23479 19213 1 25674.0000 18498.8622 38.79%
1168.02/1171.43 c 1171 23620 19312 1 25674.0000 18499.0925 38.79%
1173.31/1176.78 c 1177 23781 19451 1 25674.0000 18499.7327 38.78%
1178.71/1182.17 c 1182 23969 19567 1 25674.0000 18500.3917 38.78%
1184.59/1188.09 c 1188 24137 19705 1 25674.0000 18505.4920 38.74%
1189.87/1193.37 c 1193 24287 19821 1 25674.0000 18507.4987 38.72%
1195.25/1198.73 c 1199 24449 19939 1 25674.0000 18509.6012 38.71%
1201.13/1204.64 c 1205 24594 20054 1 25674.0000 18511.2609 38.69%
1206.41/1209.99 c 1210 24728 20150 1 25674.0000 18514.2857 38.67%
1212.51/1216.04 c 1216 24935 20294 1 25674.0000 18514.8958 38.67%
1217.68/1221.21 c 1221 25069 20396 1 25674.0000 18515.8611 38.66%
1222.88/1226.46 c 1226 25199 20500 1 25674.0000 18522.7941 38.61%
1228.66/1232.23 c 1232 25379 20626 1 25674.0000 18525.2107 38.59%
1234.46/1238.08 c 1238 25569 20776 1 25674.0000 18526.9697 38.58%
1240.03/1243.69 c 1244 25776 20915 1 25674.0000 18529.6472 38.56%
1245.11/1248.74 c 1249 25934 21049 1 25674.0000 18530.3611 38.55%
1251.09/1254.78 c 1255 26123 21192 1 25674.0000 18532.2982 38.54%
1256.18/1259.88 c 1260 26269 21297 1 25674.0000 18535.7358 38.51%
1261.26/1264.93 c 1265 26389 21395 1 25674.0000 18536.3961 38.51%
1266.65/1270.39 c 1270 26552 21510 1 25674.0000 18537.7596 38.50%
1271.94/1275.62 c 1276 26698 21628 1 25674.0000 18540.4843 38.48%
1277.44/1281.12 c 1281 26859 21743 1 25674.0000 18541.8667 38.47%
1282.42/1286.15 c 1286 27059 21895 1 25674.0000 18542.5256 38.46%
1287.79/1291.52 c 1292 27255 22006 1 25674.0000 18542.8866 38.46%
1293.77/1297.55 c 1298 27431 22150 1 25674.0000 18545.4894 38.44%
1299.66/1303.45 c 1303 27625 22314 1 25674.0000 18550.8778 38.40%
1305.74/1309.58 c 1310 27818 22457 1 25674.0000 18554.8028 38.37%
1311.53/1315.30 c 1315 27995 22584 1 25674.0000 18561.2718 38.32%
1316.82/1320.69 c 1321 28189 22720 1 25674.0000 18563.3333 38.30%
1322.31/1326.19 c 1326 28340 22840 1 25674.0000 18565.9627 38.29%
1327.68/1331.55 c 1332 28529 22983 1 25674.0000 18571.1164 38.25%
1333.18/1337.10 c 1337 28721 23133 1 25674.0000 18572.2616 38.24%
1338.66/1342.59 c 1343 28929 23287 1 25674.0000 18573.9300 38.23%
1344.34/1348.30 c 1348 29123 23441 1 25674.0000 18576.1395 38.21%
1350.32/1354.24 c 1354 29304 23578 1 25674.0000 18577.9735 38.20%
1355.41/1359.37 c 1359 29483 23713 1 25674.0000 18579.0265 38.19%
1360.59/1364.52 c 1365 29677 23837 1 25674.0000 18579.6062 38.18%
1365.98/1370.01 c 1370 29879 23929 1 25674.0000 18580.1020 38.18%
1371.95/1375.90 c 1376 30069 24065 1 25674.0000 18580.8946 38.17%
1377.15/1381.16 c 1381 30199 24169 1 25674.0000 18582.6126 38.16%
1382.53/1386.54 c 1387 30399 24295 1 25674.0000 18588.0203 38.12%
1388.02/1392.07 c 1392 30578 24418 1 25674.0000 18594.9430 38.07%
1393.69/1397.79 c 1398 30859 24550 1 25674.0000 18595.9392 38.06%
1399.57/1403.68 c 1404 31057 24690 1 25674.0000 18597.5896 38.05%
1404.87/1408.98 c 1409 31262 24834 1 25674.0000 18601.4049 38.02%
1410.45/1414.56 c 1415 31439 24979 1 25674.0000 18604.2546 38.00%
1415.64/1419.78 c 1420 31609 25096 1 25674.0000 18607.4881 37.98%
1420.93/1425.03 c 1425 31769 25221 1 25674.0000 18609.7534 37.96%
1426.21/1430.33 c 1430 31915 25331 1 25674.0000 18609.7534 37.96%
1431.29/1435.48 c 1435 32059 25447 1 25674.0000 18611.7546 37.95%
1436.47/1440.60 c 1441 32219 25557 1 25674.0000 18613.1273 37.93%
1441.66/1445.87 c 1446 32369 25667 1 25674.0000 18613.4667 37.93%
1447.35/1451.53 c 1452 32549 25811 1 25674.0000 18617.3802 37.90%
1452.63/1456.84 c 1457 32739 25957 1 25674.0000 18618.7631 37.89%
1458.31/1462.56 c 1463 32979 26126 1 25674.0000 18629.5895 37.81%
1463.40/1467.68 c 1468 33169 26253 1 25674.0000 18629.8333 37.81%
1469.29/1473.51 c 1474 33366 26385 1 25674.0000 18631.4657 37.80%
1475.17/1479.46 c 1479 33599 26502 1 25674.0000 18633.5181 37.78%
1480.86/1485.18 c 1485 33739 26602 1 25674.0000 18634.4066 37.78%
1486.24/1490.56 c 1491 33903 26718 1 25674.0000 18634.5153 37.78%
1491.32/1495.69 c 1496 34116 26847 1 25674.0000 18634.8610 37.77%
1496.51/1500.80 c 1501 34289 26982 1 25674.0000 18635.4718 37.77%
1501.60/1505.95 c 1506 34479 27118 1 25674.0000 18638.6667 37.75%
1506.70/1511.08 c 1511 34632 27237 1 25674.0000 18642.9317 37.71%
1512.17/1516.56 c 1517 34819 27382 1 25674.0000 18645.6931 37.69%
1517.66/1522.01 c 1522 35069 27530 1 25674.0000 18647.5897 37.68%
1523.34/1527.70 c 1528 35267 27665 1 25674.0000 18647.5897 37.68%
1529.02/1533.41 c 1533 35437 27809 1 25674.0000 18653.1585 37.64%
1534.81/1539.28 c 1539 35584 27926 1 25674.0000 18655.2551 37.62%
1540.00/1544.49 c 1544 35721 27997 1 25674.0000 18657.1674 37.61%
1545.18/1549.69 c 1550 35883 28113 1 25674.0000 18657.6539 37.61%
1551.07/1555.55 c 1556 36139 28255 1 25674.0000 18658.9745 37.60%
1556.67/1561.17 c 1561 36342 28382 1 25674.0000 18660.9492 37.58%
1561.84/1566.33 c 1566 36558 28510 1 25674.0000 18661.3109 37.58%
1567.54/1572.07 c 1572 36764 28648 1 25674.0000 18665.7258 37.55%
1571.31/1575.84 c * 1576 36877 28711 1 25366.0000 18665.9424 35.89%
1572.71/1577.27 c 1577 37009 27927 1 25366.0000 18667.2222 35.89%
1578.10/1582.65 c 1583 37185 28027 1 25366.0000 18669.5970 35.87%
1583.39/1587.99 c 1588 37345 28137 1 25366.0000 18669.5970 35.87%
1588.97/1593.51 c 1594 37502 28236 1 25366.0000 18669.9304 35.87%
1594.75/1599.34 c 1599 37682 28334 1 25366.0000 18670.8585 35.86%
1600.64/1605.21 c 1605 37883 28445 1 25366.0000 18671.6522 35.85%
1606.32/1610.92 c 1611 38072 28550 1 25366.0000 18672.0176 35.85%
1611.42/1616.08 c 1616 38208 28648 1 25366.0000 18674.8209 35.83%
1616.80/1621.41 c 1621 38409 28793 1 25366.0000 18679.1379 35.80%
1621.98/1626.64 c 1627 38598 28886 1 25366.0000 18679.1379 35.80%
1627.48/1632.13 c 1632 38809 28991 1 25366.0000 18680.6259 35.79%
1633.46/1638.12 c 1638 39038 29100 1 25366.0000 18682.8591 35.77%
1638.63/1643.30 c 1643 39218 29206 1 25366.0000 18682.8591 35.77%
1643.92/1648.68 c 1649 39382 29328 1 25366.0000 18683.2804 35.77%
1649.70/1654.40 c 1654 39596 29468 1 25366.0000 18683.9951 35.76%
1654.69/1659.41 c 1659 39793 29595 1 25366.0000 18684.3072 35.76%
1659.77/1664.54 c 1665 39975 29715 1 25366.0000 18685.1762 35.75%
1665.56/1670.34 c 1670 40162 29836 1 25366.0000 18686.7731 35.74%
1670.65/1675.46 c 1675 40323 29957 1 25366.0000 18689.4348 35.72%
1676.24/1681.10 c 1681 40537 30107 1 25366.0000 18689.7114 35.72%
1681.71/1686.56 c 1687 40726 30188 1 25366.0000 18693.2889 35.70%
1687.32/1692.14 c 1692 40958 30314 1 25366.0000 18695.0122 35.68%
1692.39/1697.24 c 1697 41139 30437 1 25366.0000 18696.7273 35.67%
1698.17/1703.05 c 1703 41319 30549 1 25366.0000 18698.8268 35.66%
1703.84/1708.75 c 1709 41490 30663 1 25366.0000 18699.8503 35.65%
1709.43/1714.34 c 1714 41668 30771 1 25366.0000 18700.5068 35.64%
1714.52/1719.40 c 1719 41839 30870 1 25366.0000 18704.4289 35.61%
1719.71/1724.60 c 1725 41989 30970 1 25366.0000 18704.4289 35.61%
1724.89/1729.89 c 1730 42159 31078 1 25366.0000 18706.0200 35.60%
1730.98/1735.90 c 1736 42366 31227 1 25366.0000 18708.3426 35.59%
1736.66/1741.61 c 1742 42620 31346 1 25366.0000 18717.7280 35.52%
1742.34/1747.34 c 1747 42842 31474 1 25366.0000 18719.6375 35.50%
1747.53/1752.56 c 1753 43049 31611 1 25366.0000 18721.1115 35.49%
1753.03/1758.01 c 1758 43229 31737 1 25366.0000 18722.9271 35.48%
1758.12/1763.14 c 1763 43397 31843 1 25366.0000 18725.6455 35.46%
1763.39/1768.46 c 1768 43628 31986 1 25366.0000 18726.4380 35.46%
1768.48/1773.51 c 1774 43805 32095 1 25366.0000 18727.2150 35.45%
1773.46/1778.56 c 1779 44031 32209 1 25366.0000 18727.9435 35.44%
1778.85/1783.93 c 1784 44213 32345 1 25366.0000 18731.7096 35.42%
1784.34/1789.43 c 1789 44422 32456 1 25366.0000 18732.4357 35.41%
1789.82/1794.95 c 1795 44659 32577 1 25366.0000 18734.9440 35.39%
1795.30/1800.43 c 1800 44839 32687 1 25366.0000 18735.4644 35.39%
1800.40/1805.59 c 1806 45031 32789 1 25366.0000 18735.6428 35.39%
1805.58/1810.76 c 1811 45176 32900 1 25366.0000 18736.7326 35.38%
1810.77/1815.91 c 1816 45349 33007 1 25366.0000 18737.9500 35.37%
1815.97/1821.19 c 1821 45565 33099 1 25366.0000 18742.1072 35.34%
1821.24/1826.46 c 1826 45780 33230 1 25366.0000 18744.6163 35.32%
1826.84/1832.08 c 1832 45958 33362 1 25366.0000 18746.8134 35.31%
1832.41/1837.64 c 1838 46162 33488 1 25366.0000 18749.1180 35.29%
1837.80/1843.06 c 1843 46343 33619 1 25366.0000 18749.1180 35.29%
1843.98/1849.20 c 1849 46529 33741 1 25366.0000 18751.9770 35.27%
1849.47/1854.71 c 1855 46746 33852 1 25366.0000 18753.3266 35.26%
1855.15/1860.45 c 1860 46935 33984 1 25366.0000 18754.9000 35.25%
1860.74/1866.04 c 1866 47104 34109 1 25366.0000 18758.4167 35.22%
1866.01/1871.34 c 1871 47279 34228 1 25366.0000 18758.8017 35.22%
1871.30/1876.65 c 1877 47499 34353 1 25366.0000 18762.3063 35.20%
1876.80/1882.18 c 1882 47760 34496 1 25366.0000 18764.7131 35.18%
1882.87/1888.26 c 1888 48012 34642 1 25366.0000 18768.0000 35.16%
1888.35/1893.70 c 1894 48279 34766 1 25366.0000 18770.0649 35.14%
1893.54/1898.97 c 1899 48481 34882 1 25366.0000 18770.0649 35.14%
1899.42/1904.83 c 1905 48660 35009 1 25366.0000 18770.7974 35.14%
1904.51/1909.90 c 1910 48843 35140 1 25366.0000 18772.2971 35.12%
1910.00/1915.41 c 1915 49035 35274 1 25366.0000 18775.2000 35.10%
1915.78/1921.24 c 1921 49250 35413 1 25366.0000 18775.2116 35.10%
1920.77/1926.29 c 1926 49442 35537 1 25366.0000 18775.4743 35.10%
1926.75/1932.25 c 1932 49645 35676 1 25366.0000 18776.5641 35.09%
1932.66/1938.14 c 1938 49878 35799 1 25366.0000 18780.2537 35.07%
1938.54/1944.05 c 1944 50089 35922 1 25366.0000 18782.8827 35.05%
1944.41/1950.01 c 1950 50290 36068 1 25366.0000 18784.6814 35.04%
1950.19/1955.70 c 1956 50529 36229 1 25366.0000 18786.6256 35.02%
1955.18/1960.75 c 1961 50724 36336 1 25366.0000 18788.1827 35.01%
1960.37/1965.91 c 1966 50924 36463 1 25366.0000 18789.6055 35.00%
1965.95/1971.55 c 1972 51111 36604 1 25366.0000 18792.1046 34.98%
1971.93/1977.56 c 1978 51313 36721 1 25366.0000 18794.9631 34.96%
1977.62/1983.26 c 1983 51526 36854 1 25366.0000 18796.5200 34.95%
1983.52/1989.11 c 1989 51750 37000 1 25366.0000 18797.5145 34.94%
1988.50/1994.13 c 1994 51899 37121 1 25366.0000 18799.2018 34.93%
1993.98/1999.62 c 2000 52077 37243 1 25366.0000 18799.6342 34.93%
1999.86/2005.55 c 2006 52349 37379 1 25366.0000 18801.4887 34.91%
2005.46/2011.13 c 2011 52573 37527 1 25366.0000 18803.0878 34.90%
2010.53/2016.23 c 2016 52789 37664 1 25366.0000 18808.5606 34.86%
2015.72/2021.47 c 2021 53029 37790 1 25366.0000 18809.3149 34.86%
2021.11/2026.89 c 2027 53239 37934 1 25366.0000 18810.4626 34.85%
2026.30/2032.10 c 2032 53409 38045 1 25366.0000 18813.0865 34.83%
2032.29/2038.05 c 2038 53596 38190 1 25366.0000 18817.6238 34.80%
2038.17/2043.92 c 2044 53839 38329 1 25366.0000 18818.4249 34.79%
2043.85/2049.64 c 2050 54019 38473 1 25366.0000 18819.6659 34.78%
2049.35/2055.12 c 2055 54199 38593 1 25366.0000 18823.5647 34.76%
2054.33/2060.15 c 2060 54359 38697 1 25366.0000 18824.5718 34.75%
2059.80/2065.65 c 2066 54577 38823 1 25366.0000 18826.4323 34.74%
2064.99/2070.80 c 2071 54724 38944 1 25366.0000 18827.0000 34.73%
2070.19/2076.03 c 2076 54879 39091 1 25366.0000 18828.4374 34.72%
2075.28/2081.19 c 2081 55149 39212 1 25366.0000 18829.2901 34.72%
2080.75/2086.63 c * 2087 55339 39316 1 25334.0000 18830.9323 34.53%
2080.75/2086.63 c 2087 55339 39316 1 25334.0000 18830.9323 34.53%
2086.14/2092.02 c 2092 55589 39301 1 25334.0000 18831.9933 34.53%
2091.41/2097.30 c 2097 55790 39428 1 25334.0000 18832.0860 34.53%
2096.99/2102.94 c 2103 55986 39584 1 25334.0000 18833.7133 34.51%
2101.98/2107.96 c 2108 56163 39701 1 25334.0000 18834.0534 34.51%
2107.07/2113.10 c 2113 56399 39817 1 25334.0000 18835.6545 34.50%
2112.64/2118.65 c 2119 56603 39939 1 25334.0000 18839.3606 34.47%
2117.62/2123.66 c 2124 56779 40043 1 25334.0000 18841.9427 34.46%
2123.41/2129.48 c 2129 57018 40140 1 25334.0000 18842.8171 34.45%
2128.59/2134.67 c 2135 57164 40242 1 25334.0000 18842.8171 34.45%
2134.27/2140.31 c 2140 57361 40363 1 25334.0000 18843.3207 34.45%
2139.75/2145.89 c 2146 57525 40467 1 25334.0000 18844.0809 34.44%
2145.05/2151.13 c 2151 57681 40587 1 25334.0000 18845.1118 34.43%
2150.42/2156.53 c 2157 57939 40733 1 25334.0000 18847.1599 34.42%
2155.80/2161.97 c 2162 58108 40846 1 25334.0000 18848.1113 34.41%
2161.78/2167.94 c 2168 58276 40942 1 25334.0000 18853.2457 34.37%
2167.37/2173.57 c 2174 58482 41072 1 25334.0000 18853.9088 34.37%
2172.96/2179.14 c 2179 58665 41189 1 25334.0000 18854.1568 34.37%
2178.13/2184.32 c 2184 58868 41302 1 25334.0000 18855.6947 34.36%
2183.21/2189.49 c 2189 59109 41406 1 25334.0000 18859.0240 34.33%
2188.50/2194.76 c 2195 59288 41503 1 25334.0000 18859.0240 34.33%
2194.38/2200.67 c 2201 59560 41659 1 25334.0000 18861.2651 34.32%
2199.77/2206.01 c 2206 59825 41810 1 25334.0000 18864.3173 34.30%
2205.14/2211.44 c 2211 60049 41942 1 25334.0000 18867.1266 34.28%
2211.03/2217.30 c 2217 60264 42071 1 25334.0000 18868.0466 34.27%
2216.11/2222.43 c 2222 60499 42186 1 25334.0000 18868.5850 34.27%
2221.09/2227.49 c 2227 60678 42289 1 25334.0000 18868.6169 34.27%
2226.47/2232.80 c 2233 60869 42404 1 25334.0000 18870.2707 34.25%
2231.55/2237.96 c 2238 61059 42522 1 25334.0000 18871.7990 34.24%
2236.94/2243.30 c 2243 61200 42611 1 25334.0000 18872.2102 34.24%
2242.81/2249.25 c 2249 61362 42709 1 25334.0000 18874.6034 34.22%
2248.11/2254.58 c 2255 61599 42814 1 25334.0000 18877.1388 34.20%
2253.20/2259.68 c 2260 61832 42937 1 25334.0000 18877.1388 34.20%
2258.28/2264.74 c 2265 62029 43048 1 25334.0000 18877.3556 34.20%
2264.06/2270.55 c 2271 62229 43178 1 25334.0000 18879.1582 34.19%
2269.25/2275.77 c 2276 62459 43302 1 25334.0000 18881.1266 34.18%
2274.43/2280.92 c 2281 62683 43416 1 25334.0000 18881.1266 34.18%
2279.92/2286.44 c 2286 62926 43528 1 25334.0000 18882.1586 34.17%
2284.91/2291.48 c 2291 63135 43645 1 25334.0000 18882.7319 34.16%
2290.39/2296.94 c 2297 63389 43769 1 25334.0000 18887.4069 34.13%
2295.48/2302.05 c 2302 63599 43900 1 25334.0000 18890.0497 34.11%
2300.75/2307.32 c 2307 63762 43980 1 25334.0000 18890.1122 34.11%
2306.14/2312.77 c 2313 63999 44112 1 25334.0000 18891.9056 34.10%
2312.11/2318.70 c 2319 64239 44254 1 25334.0000 18894.4074 34.08%
2317.52/2324.13 c 2324 64441 44362 1 25334.0000 18895.5472 34.07%
2322.78/2329.40 c 2329 64619 44446 1 25334.0000 18897.8314 34.06%
2328.48/2335.11 c 2335 64789 44558 1 25334.0000 18902.7211 34.02%
2334.05/2340.73 c 2341 64993 44684 1 25334.0000 18904.3554 34.01%
2339.03/2345.75 c 2346 65215 44838 1 25334.0000 18905.4874 34.00%
2344.11/2350.82 c 2351 65458 44963 1 25334.0000 18908.0831 33.99%
2349.20/2355.98 c 2356 65606 45060 1 25334.0000 18909.1369 33.98%
2354.39/2361.14 c 2361 65849 45206 1 25334.0000 18910.7566 33.97%
2360.06/2366.84 c 2367 66120 45354 1 25334.0000 18912.4782 33.95%
2365.04/2371.85 c 2372 66349 45465 1 25334.0000 18912.8899 33.95%
2367.84/2374.65 c * 2375 66439 45501 1 25203.0000 18913.8472 33.25%
2370.83/2377.62 c 2378 66584 44685 1 25203.0000 18914.6298 33.25%
2376.41/2383.25 c 2383 66795 44800 1 25203.0000 18914.7160 33.25%
2382.39/2389.22 c 2389 67082 44932 1 25203.0000 18915.1879 33.24%
2387.98/2394.82 c 2395 67319 45067 1 25203.0000 18918.9123 33.22%
2393.56/2400.46 c 2400 67590 45177 1 25203.0000 18919.6182 33.21%
2399.25/2406.11 c 2406 67803 45326 1 25203.0000 18920.7500 33.20%
2404.62/2411.54 c 2412 68038 45449 1 25203.0000 18923.5523 33.18%
2409.70/2416.66 c 2417 68222 45547 1 25203.0000 18925.4051 33.17%
2415.38/2422.38 c 2422 68429 45704 1 25203.0000 18927.0110 33.16%
2421.08/2428.05 c 2428 68632 45809 1 25203.0000 18928.2370 33.15%
2426.17/2433.13 c 2433 68814 45917 1 25203.0000 18930.4178 33.13%
2431.43/2438.49 c 2438 69079 46045 1 25203.0000 18931.4553 33.13%
2436.62/2443.69 c 2444 69289 46153 1 25203.0000 18934.1497 33.11%
2442.21/2449.21 c 2449 69519 46281 1 25203.0000 18938.0791 33.08%
2447.89/2454.90 c 2455 69743 46419 1 25203.0000 18939.7874 33.07%
2453.17/2460.26 c 2460 69899 46529 1 25203.0000 18940.5670 33.06%
2458.65/2465.77 c 2466 70089 46625 1 25203.0000 18940.9311 33.06%
2463.94/2471.05 c 2471 70289 46759 1 25203.0000 18942.8018 33.05%
2469.52/2476.62 c 2477 70512 46916 1 25203.0000 18946.5900 33.02%
2474.70/2481.83 c 2482 70729 47061 1 25203.0000 18950.0668 33.00%
2480.68/2487.80 c 2488 70933 47173 1 25203.0000 18951.5352 32.99%
2485.98/2493.15 c 2493 71112 47250 1 25203.0000 18951.9282 32.98%
2491.35/2498.50 c 2498 71285 47351 1 25203.0000 18952.1565 32.98%
2496.53/2503.73 c 2504 71529 47476 1 25203.0000 18953.7713 32.97%
2501.72/2508.95 c 2509 71756 47602 1 25203.0000 18953.9744 32.97%
2506.80/2514.04 c 2514 71951 47699 1 25203.0000 18955.0914 32.96%
2512.17/2519.42 c 2519 72180 47834 1 25203.0000 18955.7284 32.96%
2517.16/2524.49 c 2524 72389 47945 1 25203.0000 18959.8810 32.93%
2522.85/2530.17 c 2530 72621 48088 1 25203.0000 18962.0597 32.91%
2528.63/2535.99 c 2536 72898 48210 1 25203.0000 18963.2333 32.90%
2533.71/2541.02 c 2541 73079 48319 1 25203.0000 18964.9510 32.89%
2539.18/2546.51 c 2547 73318 48433 1 25203.0000 18965.5220 32.89%
2544.26/2551.61 c 2552 73541 48553 1 25203.0000 18965.8935 32.89%
2549.45/2556.85 c 2557 73809 48645 1 25203.0000 18967.1895 32.88%
2554.93/2562.36 c 2562 74035 48739 1 25203.0000 18967.2683 32.88%
2560.12/2567.56 c 2568 74309 48865 1 25203.0000 18969.2000 32.86%
2565.80/2573.28 c 2573 74519 49005 1 25203.0000 18969.4219 32.86%
2570.98/2578.47 c 2578 74703 49087 1 25203.0000 18970.2634 32.86%
2576.68/2584.12 c 2584 74977 49209 1 25203.0000 18971.0234 32.85%
2581.86/2589.38 c 2589 75139 49309 1 25203.0000 18972.6868 32.84%
2587.55/2595.10 c 2595 75361 49427 1 25203.0000 18974.0000 32.83%
2593.12/2600.61 c 2601 75611 49541 1 25203.0000 18974.1150 32.83%
2598.91/2606.43 c 2606 75799 49659 1 25203.0000 18974.8907 32.82%
2604.30/2611.82 c 2612 76014 49802 1 25203.0000 18975.6023 32.82%
2609.50/2617.08 c 2617 76250 49962 1 25203.0000 18978.7733 32.80%
2614.77/2622.30 c 2622 76429 50077 1 25203.0000 18980.0444 32.79%
2620.46/2628.10 c 2628 76679 50218 1 25203.0000 18980.9080 32.78%
2625.95/2633.59 c 2634 76905 50362 1 25203.0000 18981.1679 32.78%
2631.44/2639.02 c 2639 77166 50468 1 25203.0000 18983.2082 32.76%
2636.42/2644.05 c 2644 77401 50619 1 25203.0000 18985.6443 32.75%
2641.51/2649.14 c 2649 77641 50738 1 25203.0000 18987.5559 32.73%
2647.40/2655.10 c 2655 77919 50898 1 25203.0000 18991.2683 32.71%
2652.77/2660.43 c 2660 78109 51016 1 25203.0000 18991.8965 32.70%
2657.85/2665.50 c 2666 78359 51111 1 25203.0000 18994.0040 32.69%
2663.04/2670.75 c 2671 78549 51217 1 25203.0000 18994.5122 32.69%
2668.92/2676.61 c 2677 78782 51366 1 25203.0000 18994.8597 32.68%
2674.11/2681.89 c 2682 78989 51481 1 25203.0000 18995.8967 32.68%
2679.59/2687.33 c 2687 79209 51610 1 25203.0000 18997.7200 32.66%
2685.58/2693.36 c 2693 79463 51738 1 25203.0000 19000.9525 32.64%
2690.76/2698.50 c 2698 79650 51842 1 25203.0000 19000.9641 32.64%
2696.56/2704.34 c 2704 79845 51939 1 25203.0000 19001.1056 32.64%
2701.84/2709.69 c 2710 80049 52035 1 25203.0000 19004.1607 32.62%
2707.03/2714.83 c 2715 80251 52155 1 25203.0000 19005.7557 32.61%
2712.71/2720.55 c 2721 80529 52292 1 25203.0000 19005.9545 32.61%
2717.70/2725.59 c 2726 80689 52387 1 25203.0000 19006.4000 32.60%
2723.30/2731.13 c 2731 80943 52513 1 25203.0000 19006.7735 32.60%
2728.68/2736.59 c 2737 81243 52613 1 25203.0000 19007.0600 32.60%
2734.56/2742.40 c 2742 81478 52776 1 25203.0000 19008.1551 32.59%
2740.24/2748.12 c 2748 81691 52895 1 25203.0000 19011.1115 32.57%
2745.92/2753.83 c 2754 81919 53017 1 25203.0000 19012.4979 32.56%
2750.90/2758.87 c 2759 82114 53139 1 25203.0000 19013.7618 32.55%
2756.89/2764.86 c 2765 82346 53245 1 25203.0000 19015.6739 32.54%
2762.87/2770.80 c 2771 82582 53361 1 25203.0000 19016.5275 32.53%
2767.86/2775.89 c 2776 82879 53488 1 25203.0000 19019.1307 32.51%
2773.75/2781.77 c 2782 83199 53631 1 25203.0000 19020.2234 32.51%
2779.23/2787.21 c 2787 83433 53759 1 25203.0000 19021.4515 32.50%
2785.03/2793.03 c 2793 83674 53878 1 25203.0000 19021.8610 32.49%
2790.12/2798.17 c 2798 83881 53981 1 25203.0000 19022.6413 32.49%
2796.00/2804.01 c 2804 84164 54115 1 25203.0000 19025.6346 32.47%
2801.99/2810.01 c 2810 84490 54264 1 25203.0000 19027.5826 32.46%
2807.57/2815.61 c 2816 84684 54378 1 25203.0000 19029.0769 32.44%
2813.35/2821.43 c 2821 84932 54534 1 25203.0000 19031.4448 32.43%
2818.84/2826.97 c 2827 85139 54635 1 25203.0000 19032.1200 32.42%
2824.42/2832.58 c 2833 85322 54752 1 25203.0000 19034.3611 32.41%
2830.10/2838.26 c 2838 85566 54864 1 25203.0000 19034.6228 32.41%
2835.19/2843.30 c 2843 85754 54968 1 25203.0000 19034.9919 32.40%
2841.27/2849.45 c 2849 85948 55081 1 25203.0000 19036.4245 32.39%
2847.26/2855.40 c 2855 86260 55203 1 25203.0000 19036.7341 32.39%
2852.35/2860.52 c 2861 86456 55313 1 25203.0000 19036.9168 32.39%
2857.33/2865.53 c 2866 86659 55412 1 25203.0000 19037.9043 32.38%
2862.73/2870.91 c 2871 86844 55499 1 25203.0000 19039.2918 32.37%
2868.30/2876.56 c 2877 87042 55625 1 25203.0000 19039.7404 32.37%
2873.81/2882.03 c 2882 87219 55734 1 25203.0000 19041.5164 32.36%
2879.68/2887.93 c 2888 87426 55886 1 25203.0000 19043.3167 32.35%
2885.27/2893.52 c 2894 87629 55999 1 25203.0000 19044.7672 32.34%
2890.45/2898.74 c 2899 87819 56105 1 25203.0000 19045.3228 32.33%
2895.64/2903.99 c 2904 88103 56221 1 25203.0000 19046.1380 32.33%
2901.32/2909.67 c 2910 88389 56331 1 25203.0000 19047.2124 32.32%
2906.41/2914.78 c 2915 88558 56458 1 25203.0000 19047.2917 32.32%
2912.10/2920.43 c 2920 88810 56582 1 25203.0000 19047.7909 32.31%
2917.58/2925.94 c 2926 89075 56707 1 25203.0000 19050.1522 32.30%
2923.37/2931.71 c 2932 89267 56808 1 25203.0000 19051.2922 32.29%
2928.46/2936.89 c 2937 89492 56921 1 25203.0000 19054.4319 32.27%
2933.54/2941.95 c 2942 89689 57036 1 25203.0000 19057.0616 32.25%
2939.02/2947.42 c 2947 89899 57154 1 25203.0000 19059.2913 32.23%
2944.01/2952.46 c 2952 90119 57252 1 25203.0000 19059.5111 32.23%
2949.09/2957.56 c 2958 90423 57372 1 25203.0000 19059.8953 32.23%
2954.69/2963.14 c 2963 90669 57504 1 25203.0000 19060.7390 32.22%
2959.78/2968.22 c 2968 90893 57602 1 25203.0000 19060.7390 32.22%
2964.76/2973.26 c 2973 91110 57722 1 25203.0000 19061.6029 32.22%
2970.24/2978.71 c 2979 91405 57851 1 25203.0000 19062.0529 32.22%
2975.93/2984.41 c 2984 91645 57973 1 25203.0000 19063.8723 32.20%
2981.32/2989.82 c 2990 91904 58110 1 25203.0000 19063.9002 32.20%
2987.10/2995.62 c 2996 92189 58269 1 25203.0000 19064.5000 32.20%
2992.79/3001.36 c 3001 92420 58412 1 25203.0000 19065.8125 32.19%
2997.97/3006.57 c 3007 92653 58512 1 25203.0000 19067.2183 32.18%
3003.86/3012.45 c 3012 92874 58669 1 25203.0000 19068.1263 32.17%
3009.04/3017.66 c 3018 93083 58763 1 25203.0000 19069.6811 32.16%
3014.73/3023.36 c 3023 93365 58893 1 25203.0000 19071.5575 32.15%
3020.43/3029.04 c 3029 93636 59039 1 25203.0000 19071.8755 32.15%
3026.30/3034.91 c 3035 93906 59172 1 25203.0000 19072.8406 32.14%
3031.50/3040.13 c 3040 94179 59283 1 25203.0000 19073.5502 32.14%
3036.97/3045.63 c 3046 94419 59396 1 25203.0000 19074.6324 32.13%
3042.36/3051.06 c 3051 94640 59501 1 25203.0000 19075.1833 32.12%
3047.84/3056.55 c 3057 94919 59645 1 25203.0000 19076.1959 32.12%
3053.72/3062.42 c 3062 95193 59765 1 25203.0000 19076.9743 32.11%
3059.01/3067.76 c 3068 95419 59873 1 25203.0000 19077.2775 32.11%
3064.89/3073.69 c 3074 95663 60033 1 25203.0000 19078.6416 32.10%
3070.78/3079.58 c 3080 95907 60158 1 25203.0000 19079.3561 32.10%
3076.67/3085.41 c 3085 96132 60291 1 25203.0000 19080.6401 32.09%
3082.45/3091.24 c 3091 96362 60393 1 25203.0000 19081.8681 32.08%
3087.94/3096.74 c 3097 96600 60515 1 25203.0000 19082.9020 32.07%
3093.24/3102.07 c 3102 96826 60613 1 25203.0000 19084.1523 32.06%
3098.71/3107.58 c 3108 97067 60738 1 25203.0000 19084.2164 32.06%
3104.30/3113.19 c 3113 97319 60836 1 25203.0000 19085.8992 32.05%
3109.58/3118.48 c 3118 97495 60950 1 25203.0000 19086.9583 32.04%
3115.06/3123.92 c 3124 97709 61066 1 25203.0000 19087.9826 32.04%
3120.75/3129.65 c 3130 97989 61198 1 25203.0000 19088.7822 32.03%
3126.54/3135.47 c 3135 98217 61332 1 25203.0000 19089.8933 32.02%
3132.02/3140.98 c 3141 98469 61462 1 25203.0000 19091.4329 32.01%
3137.21/3146.12 c 3146 98669 61578 1 25203.0000 19093.3775 32.00%
3143.10/3152.10 c 3152 98938 61704 1 25203.0000 19093.9607 31.99%
3144.68/3153.60 c * 3154 98996 61732 1 25103.0000 19094.2794 31.47%
3148.57/3157.56 c 3158 99351 60505 1 25103.0000 19096.7500 31.45%
3154.06/3163.02 c 3163 99484 60596 1 25103.0000 19098.3461 31.44%
3159.44/3168.44 c 3168 99605 60661 1 25103.0000 19099.1390 31.44%
3164.43/3173.46 c 3173 99859 60766 1 25103.0000 19100.8018 31.42%
3169.51/3178.55 c 3179 100064 60853 1 25103.0000 19100.9025 31.42%
3175.20/3184.20 c 3184 100285 60964 1 25103.0000 19101.9913 31.42%
3180.59/3189.69 c 3190 100510 61077 1 25103.0000 19102.1927 31.41%
3186.27/3195.31 c 3195 100727 61184 1 25103.0000 19102.5541 31.41%
3191.25/3200.39 c 3200 101002 61303 1 25103.0000 19103.9454 31.40%
3196.95/3206.01 c 3206 101263 61417 1 25103.0000 19104.8139 31.40%
3202.04/3211.12 c 3211 101512 61522 1 25103.0000 19105.8398 31.39%
3207.12/3216.21 c 3216 101759 61625 1 25103.0000 19106.8050 31.38%
3212.50/3221.61 c 3222 102050 61713 1 25103.0000 19107.6781 31.38%
3218.00/3227.19 c 3227 102311 61827 1 25103.0000 19108.2292 31.37%
3223.88/3233.10 c 3233 102556 61954 1 25103.0000 19108.8385 31.37%
3229.46/3238.66 c 3239 102744 62082 1 25103.0000 19109.6875 31.36%
3235.14/3244.34 c 3244 102994 62185 1 25103.0000 19110.0306 31.36%
3240.42/3249.69 c 3250 103319 62300 1 25103.0000 19113.9960 31.33%
3245.52/3254.74 c 3255 103502 62383 1 25103.0000 19114.2200 31.33%
3250.60/3259.85 c 3260 103687 62468 1 25103.0000 19114.8333 31.33%
3256.28/3265.53 c 3266 103893 62578 1 25103.0000 19116.1143 31.32%
3261.28/3270.59 c 3271 104150 62677 1 25103.0000 19116.5000 31.32%
3266.66/3275.99 c 3276 104309 62776 1 25103.0000 19117.3250 31.31%
3271.95/3281.25 c 3281 104543 62884 1 25103.0000 19117.9679 31.31%
3277.13/3286.48 c 3286 104769 63006 1 25103.0000 19118.9387 31.30%
3282.32/3291.61 c 3292 105047 63136 1 25103.0000 19120.2021 31.29%
3287.31/3296.69 c 3297 105309 63259 1 25103.0000 19121.9062 31.28%
3292.80/3302.16 c 3302 105576 63344 1 25103.0000 19123.4381 31.27%
3298.38/3307.70 c 3308 105889 63467 1 25103.0000 19124.1950 31.26%
3303.77/3313.17 c 3313 106239 63580 1 25103.0000 19124.8234 31.26%
3308.95/3318.35 c 3318 106569 63693 1 25103.0000 19125.2619 31.26%
3314.44/3323.80 c 3324 106849 63823 1 25103.0000 19126.7761 31.25%
3320.22/3329.69 c 3330 107172 63945 1 25103.0000 19127.2369 31.24%
3325.72/3335.14 c 3335 107399 64066 1 25103.0000 19129.0219 31.23%
3330.79/3340.30 c 3340 107599 64187 1 25103.0000 19129.2961 31.23%
3336.59/3346.02 c 3346 107896 64309 1 25103.0000 19130.9690 31.22%
3341.68/3351.18 c 3351 108119 64444 1 25103.0000 19131.2261 31.21%
3347.45/3356.93 c 3357 108380 64589 1 25103.0000 19131.5472 31.21%
3352.74/3362.20 c 3362 108648 64718 1 25103.0000 19131.8661 31.21%
3358.32/3367.89 c 3368 108859 64837 1 25103.0000 19134.8410 31.19%
3364.31/3373.89 c 3374 109157 64951 1 25103.0000 19135.0969 31.19%
3369.68/3379.21 c 3379 109375 65042 1 25103.0000 19135.2296 31.19%
3375.08/3384.66 c 3385 109622 65168 1 25103.0000 19136.4430 31.18%
3380.16/3389.79 c 3390 109850 65298 1 25103.0000 19136.9073 31.18%
3385.65/3395.23 c 3395 110096 65445 1 25103.0000 19138.2994 31.17%
3390.93/3400.57 c 3401 110368 65562 1 25103.0000 19141.0444 31.15%
3396.12/3405.70 c 3406 110563 65684 1 25103.0000 19141.9899 31.14%
3401.31/3410.95 c 3411 110809 65792 1 25103.0000 19144.2128 31.13%
3406.40/3416.07 c 3416 110986 65878 1 25103.0000 19144.4534 31.12%
3412.39/3422.08 c 3422 111214 65977 1 25103.0000 19145.6068 31.12%
3418.16/3427.80 c 3428 111531 66088 1 25103.0000 19148.1682 31.10%
3423.15/3432.81 c 3433 111716 66169 1 25103.0000 19148.4001 31.10%
3428.54/3438.29 c 3438 111949 66249 1 25103.0000 19150.8815 31.08%
3434.43/3444.14 c 3444 112250 66363 1 25103.0000 19151.6500 31.07%
3440.21/3449.94 c 3450 112509 66483 1 25103.0000 19153.5008 31.06%
3445.59/3455.36 c 3455 112769 66627 1 25103.0000 19154.7210 31.05%
3450.88/3460.66 c 3461 113037 66732 1 25103.0000 19156.0217 31.04%
3455.96/3465.70 c 3466 113268 66835 1 25103.0000 19156.3318 31.04%
3461.36/3471.18 c 3471 113539 66947 1 25103.0000 19157.2323 31.04%
3466.44/3476.22 c 3476 113720 67040 1 25103.0000 19157.6250 31.03%
3472.42/3482.24 c 3482 114013 67157 1 25103.0000 19158.5773 31.03%
3477.51/3487.33 c 3487 114199 67217 1 25103.0000 19159.5830 31.02%
3482.69/3492.51 c 3493 114457 67317 1 25103.0000 19161.0088 31.01%
3487.89/3497.72 c 3498 114787 67401 1 25103.0000 19161.6521 31.01%
3492.87/3502.73 c 3503 115018 67492 1 25103.0000 19162.9303 31.00%
3498.75/3508.68 c 3509 115258 67626 1 25103.0000 19163.6663 30.99%
3504.16/3514.01 c 3514 115492 67772 1 25103.0000 19164.9741 30.98%
3509.33/3519.20 c 3519 115768 67845 1 25103.0000 19166.4952 30.97%
3514.51/3524.45 c 3524 115926 67907 1 25103.0000 19166.6907 30.97%
3520.22/3530.15 c 3530 116199 68018 1 25103.0000 19167.9849 30.96%
3526.20/3536.17 c 3536 116404 68141 1 25103.0000 19169.8821 30.95%
3531.87/3541.87 c 3542 116659 68250 1 25103.0000 19172.0040 30.94%
3537.35/3547.34 c 3547 116989 68360 1 25103.0000 19173.1062 30.93%
3538.06/3548.05 c * 3548 116989 68360 1 24352.0000 19173.1062 27.01%
3542.94/3552.93 c 3553 117285 56677 1 24352.0000 19173.6836 27.01%
3548.14/3558.15 c 3558 117575 56755 1 24352.0000 19175.2756 27.00%
3553.92/3563.91 c 3564 117822 56848 1 24352.0000 19177.1045 26.98%
3559.70/3569.76 c 3570 118091 56918 1 24352.0000 19177.7486 26.98%
3565.10/3575.11 c 3575 118430 57010 1 24352.0000 19178.0224 26.98%
3570.87/3581.01 c 3581 118675 57078 1 24352.0000 19178.9297 26.97%
3576.16/3586.24 c 3586 118939 57170 1 24352.0000 19180.6319 26.96%
3581.24/3591.36 c 3591 119259 57252 1 24352.0000 19182.3499 26.95%
3586.33/3596.41 c 3596 119512 57329 1 24352.0000 19183.3950 26.94%
3590.32/3600.49 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.32/3600.49 c Total Time : 3600.48
3590.32/3600.49 c solving : 3600.48
3590.32/3600.49 c presolving : 0.14 (included in solving)
3590.32/3600.49 c B&B Tree :
3590.32/3600.49 c nodes (total) : 1
3590.32/3600.49 c Solution :
3590.32/3600.49 c Solutions found : 14
3590.32/3600.49 c Primal Bound : +2.43520000000000e+04
3590.32/3600.49 c Dual Bound : +1.91841966019417e+04
3590.32/3600.49 c Gap : 26.93782 %
3590.32/3600.49 c * Warning: final gap: 2.69378e-01 is greater than SCIPepsilon: 1.00000e-09
3590.32/3600.49 o 24352
3590.32/3600.49 s SATISFIABLE
3590.32/3600.49 v x325 -x289 -x253 x217 x181 x145 -x109 -x73 -x37 x1 -x360 -x324 x288 x252 x216 -x180 -x144 -x108 x72 x36 x353 x317 -x281 -x245 x209
3590.32/3600.49 v x173 x137 -x101 -x65 -x29 x346 x310 -x274 -x238 -x202 x166 x130 x94 -x58 -x22 -x339 -x303 x267 x231 -x195 -x159 -x123 x87
3590.32/3600.49 v x51 x15 -x332 x296 x260 -x224 -x188 -x152 x116 x80 x44 -x8 -x359 x323 -x287 -x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 -x322
3590.32/3600.49 v -x286 -x250 -x214 x178 -x142 -x106 -x70 -x34 -x357 -x321 -x285 -x249 -x213 -x177 -x141 x105 -x69 -x33 -x356 -x320 -x284 -x248
3590.32/3600.49 v -x212 -x176 x140 -x104 -x68 -x32 x355 -x319 -x283 -x247 -x211 -x175 -x139 -x103 -x67 -x31 -x354 -x318 -x282 -x246 -x210
3590.32/3600.49 v -x174 -x138 -x102 x66 -x30 -x352 -x316 -x280 -x244 -x208 -x172 -x136 x100 -x64 -x28 -x351 -x315 -x279 x243 -x207 -x171 -x135
3590.32/3600.49 v -x99 -x63 -x27 -x350 -x314 x278 -x242 -x206 -x170 -x134 -x98 -x62 -x26 -x349 -x313 -x277 -x241 -x205 -x169 -x133 -x97 -x61 x25
3590.32/3600.49 v -x348 -x312 -x276 -x240 -x204 -x168 -x132 -x96 -x60 x24 -x347 -x311 -x275 -x239 x203 -x167 -x131 -x95 -x59 -x23 -x345 -x309
3590.32/3600.49 v x273 -x237 -x201 -x165 -x129 -x93 -x57 -x21 -x344 -x308 -x272 -x236 -x200 -x164 -x128 -x92 x56 -x20 -x343 -x307 -x271 x235 -x199
3590.32/3600.49 v -x163 -x127 -x91 -x55 -x19 -x342 -x306 -x270 -x234 x198 -x162 -x126 -x90 -x54 -x18 x341 -x305 -x269 -x233 -x197 -x161 -x125
3590.32/3600.49 v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 x124 -x88 -x52 -x16 -x338 x302 -x266 -x230 -x194 -x158 -x122 -x86 -x50
3590.32/3600.49 v -x14 -x337 -x301 -x265 -x229 -x193 x157 -x121 -x85 -x49 -x13 -x336 -x300 -x264 x228 -x192 -x156 -x120 -x84 -x48 -x12 -x335 -x299
3590.32/3600.49 v -x263 -x227 -x191 x155 -x119 -x83 -x47 -x11 x334 -x298 -x262 -x226 -x190 -x154 -x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225
3590.32/3600.49 v -x189 -x153 -x117 -x81 -x45 x9 -x331 -x295 -x259 -x223 x187 -x151 -x115 -x79 -x43 -x7 -x330 -x294 x258 -x222 -x186 -x150
3590.32/3600.49 v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 -x185 -x149 x113 -x77 -x41 -x5 -x328 x292 -x256 -x220 -x184 -x148 -x112 -x76 -x40
3590.32/3600.49 v -x4 -x327 -x291 -x255 -x219 -x183 -x147 -x111 -x75 x39 -x3 -x326 -x290 -x254 -x218 -x182 -x146 -x110 x74 -x38 -x2 x540 -x539
3590.32/3600.49 v x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 x518 -x517
3590.32/3600.49 v -x516 x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 x501 -x500 x499 -x498 -x497 -x496 -x495
3590.32/3600.49 v -x494 -x493 x492 -x491 -x490 x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474
3590.32/3600.49 v -x473 -x472 x471 x470 x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 x452
3590.32/3600.49 v -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 x433 x432 -x431 -x430
3590.32/3600.49 v x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409
3590.32/3600.49 v -x408 x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 x399 x398 x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387
3590.32/3600.49 v -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 x372 -x371 -x370 x369 -x368 -x367 -x366 x365
3590.32/3600.49 v -x364 -x363 x362 -x361
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: 64059 MiB (62375 MiB free)
memory of node 1: 64510 MiB (62257 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434633-1721068480/watcher-4434633-1721068480 -o /tmp/evaluation-result-4434633-1721068480/solver-4434633-1721068480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811949 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434633-1721068480.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=816141, runsolver pid=816138
[startup+0.100694 s]*
/proc/loadavg: 4.13 4.19 4.17 5/248 816142
/proc/meminfo: memFree=127609324/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=36376 memory=25772 CPUtime=0.09 cores=1,3
/proc/816141/stat : 816141 (fscip) R 816138 816141 811937 0 -1 4194304 4589 0 0 0 8 1 0 0 20 0 1 0 159006110 37249024 6443 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 9094 6443 2702 3032 0 5494 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36376 KiB
Current children cumulated memory: 25772 KiB
[startup+0.213694 s]*
/proc/loadavg: 4.13 4.19 4.17 5/249 816143
/proc/meminfo: memFree=127596576/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=117752 memory=38232 CPUtime=0.2 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 8543 0 0 0 18 2 0 0 20 0 2 0 159006110 120578048 9558 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 29438 9558 2782 3032 0 10783 0
[pid=816141/tid=816143] ppid=816138 vsize=117752 memory=8737651120394928259 CPUtime=0.01 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1319 0 0 0 1 0 0 0 20 0 2 0 159006128 120578048 9558 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117752 KiB
Current children cumulated memory: 38232 KiB
[startup+0.312695 s]*
/proc/loadavg: 4.13 4.19 4.17 5/250 816144
/proc/meminfo: memFree=127583404/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=126972 memory=51424 CPUtime=0.28 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 11294 0 0 0 25 3 0 0 20 0 3 0 159006110 130019328 12856 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 31743 12856 2798 3032 0 15868 0
[pid=816141/tid=816143] ppid=816138 vsize=126972 memory=-6514850955742329700 CPUtime=0.1 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 4067 0 0 0 9 1 0 0 20 0 3 0 159006128 130019328 12856 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=126972 memory=0 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159006133 130019328 12856 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 126972 KiB
Current children cumulated memory: 51424 KiB
[startup+0.700333 s]
/proc/loadavg: 4.13 4.19 4.17 5/246 816144
/proc/meminfo: memFree=127606548/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=127912 memory=63100 CPUtime=0.65 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 14107 0 0 0 61 4 0 0 20 0 3 0 159006110 130981888 15775 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 31978 15775 2926 3032 0 18715 0
[pid=816141/tid=816143] ppid=816138 vsize=127912 memory=12676 CPUtime=0.46 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 6880 0 0 0 45 1 0 0 20 0 3 0 159006128 130981888 15775 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=127912 memory=3904679190610329034 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159006133 130981888 15775 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 127912 KiB
Current children cumulated memory: 63100 KiB
[startup+1.50038 s]
/proc/loadavg: 4.13 4.19 4.17 5/242 816180
/proc/meminfo: memFree=127593400/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=130928 memory=82448 CPUtime=1.45 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 24783 0 0 0 139 6 0 0 20 0 3 0 159006110 134070272 20612 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 32732 20612 2926 3032 0 24108 0
[pid=816141/tid=816143] ppid=816138 vsize=130928 memory=0 CPUtime=1.25 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 17560 0 0 0 122 3 0 0 20 0 3 0 159006128 134070272 20612 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=130928 memory=0 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159006133 134070272 20612 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 130928 KiB
Current children cumulated memory: 82448 KiB
[startup+3.11275 s]
/proc/loadavg: 4.20 4.20 4.18 5/246 816238
/proc/meminfo: memFree=128080692/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=150312 memory=110088 CPUtime=3.05 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 32363 0 0 0 298 7 0 0 20 0 3 0 159006110 153919488 27522 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 37578 27522 2926 3032 0 32117 0
[pid=816141/tid=816143] ppid=816138 vsize=150312 memory=12676 CPUtime=2.87 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 25135 0 0 0 282 5 0 0 20 0 3 0 159006128 153919488 27522 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=150312 memory=0 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 159006133 153919488 27522 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 150312 KiB
Current children cumulated memory: 110088 KiB
[startup+6.30038 s]
/proc/loadavg: 4.20 4.20 4.18 6/250 816242
/proc/meminfo: memFree=127534956/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=215848 memory=120932 CPUtime=6.23 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 35746 0 0 0 616 7 0 0 20 0 3 0 159006110 221028352 30233 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 53962 30233 2942 3032 0 34909 0
[pid=816141/tid=816143] ppid=816138 vsize=215848 memory=0 CPUtime=6.04 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 28483 0 0 0 599 5 0 0 20 0 3 0 159006128 221028352 30233 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=215848 memory=120932 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 159006133 221028352 30233 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 215848 KiB
Current children cumulated memory: 120932 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.19 4.17 5/250 816242
/proc/meminfo: memFree=127457804/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=215848 memory=121984 CPUtime=12.61 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 50560 0 0 0 1253 8 0 0 20 0 3 0 159006110 221028352 30496 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 53962 30496 2990 3032 0 34909 0
[pid=816141/tid=816143] ppid=816138 vsize=215848 memory=0 CPUtime=12.42 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 43237 0 0 0 1236 6 0 0 20 0 3 0 159006128 221028352 30496 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=215848 memory=121280 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 159006133 221028352 30496 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 215848 KiB
Current children cumulated memory: 121984 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.19 4.17 5/250 816246
/proc/meminfo: memFree=127373468/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=282412 memory=179908 CPUtime=25.38 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 116043 0 0 0 2524 14 0 0 20 0 3 0 159006110 289189888 44977 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 70603 44977 2990 3032 0 51745 0
[pid=816141/tid=816143] ppid=816138 vsize=282412 memory=282948 CPUtime=25.19 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 108475 0 0 0 2507 12 0 0 20 0 3 0 159006128 289189888 44977 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=282412 memory=12440 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 159006133 289189888 44977 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 179908 KiB
[startup+51.1127 s]
/proc/loadavg: 4.64 4.30 4.21 5/249 816249
/proc/meminfo: memFree=127314944/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=282412 memory=193128 CPUtime=50.92 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 173240 0 0 0 5073 19 0 0 20 0 3 0 159006110 289189888 48282 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 70603 48282 2990 3032 0 53257 0
[pid=816141/tid=816143] ppid=816138 vsize=282412 memory=4600 CPUtime=50.72 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 165591 0 0 0 5056 16 0 0 20 0 3 0 159006128 289189888 48282 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=282412 memory=193128 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 159006133 289189888 48282 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 193128 KiB
[startup+102.3 s]
/proc/loadavg: 4.78 4.42 4.26 5/248 816259
/proc/meminfo: memFree=127255684/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=282412 memory=212052 CPUtime=101.95 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 203805 0 0 0 10172 23 0 0 20 0 3 0 159006110 289189888 53013 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 70603 53013 2990 3032 0 56962 0
[pid=816141/tid=816143] ppid=816138 vsize=282412 memory=5576 CPUtime=101.75 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 196084 0 0 0 10155 20 0 0 20 0 3 0 159006128 289189888 53013 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=282412 memory=42604 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 159006133 289189888 53013 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 212052 KiB
[startup+162.3 s]
/proc/loadavg: 4.39 4.37 4.25 5/248 816269
/proc/meminfo: memFree=127170268/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=344876 memory=250852 CPUtime=161.77 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 221985 0 0 0 16152 25 0 0 20 0 3 0 159006110 353153024 62713 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 86219 62713 2990 3032 0 67433 0
[pid=816141/tid=816143] ppid=816138 vsize=344876 memory=226012 CPUtime=161.57 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 214101 0 0 0 16135 22 0 0 20 0 3 0 159006128 353153024 62713 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=344876 memory=250576 CPUtime=0 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 159006133 353153024 62713 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 344876 KiB
Current children cumulated memory: 250852 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.31 4.24 5/248 816279
/proc/meminfo: memFree=127086172/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=344876 memory=252940 CPUtime=221.62 cores=1,3
################
# More data... #
################
Current children cumulated memory: 694052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/254 818106
/proc/meminfo: memFree=123774444/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=713388 CPUtime=3452.58 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1312919 0 0 0 345054 204 0 0 20 0 3 0 159006110 776318976 178347 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 178347 3310 3032 0 182352 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=690228 CPUtime=3451.98 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1303535 0 0 0 345016 182 0 0 20 0 3 0 159006128 776318976 178347 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=691032 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 76 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 178347 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 713388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/253 818117
/proc/meminfo: memFree=123696320/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=721040 CPUtime=3512.42 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1359118 0 0 0 351033 209 0 0 20 0 3 0 159006110 776318976 180260 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180260 3310 3032 0 183997 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=717952 CPUtime=3511.82 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1349709 0 0 0 350995 187 0 0 20 0 3 0 159006128 776318976 180260 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=720012 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 77 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180260 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 721040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/252 818127
/proc/meminfo: memFree=123662324/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=722580 CPUtime=3572.27 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1412833 0 0 0 357013 214 0 0 20 0 3 0 159006110 776318976 180645 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180645 3310 3032 0 184257 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=12440 CPUtime=3571.65 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1403376 0 0 0 356974 191 0 0 20 0 3 0 159006128 776318976 180645 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=12440 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180645 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 722580 KiB
[startup+3600.53 s]
# the end of solver process 816141 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.24 s, system=2.21361 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662212/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=722580 CPUtime=3573.97 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1413033 0 0 0 357183 214 0 0 20 0 3 0 159006110 776318976 180645 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180645 3310 3032 0 184257 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=6944656592455360608 CPUtime=3573.36 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1403579 0 0 0 357145 191 0 0 20 0 3 0 159006128 776318976 180645 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=280528205123088 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180645 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 722580 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662188/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=722596 CPUtime=3580.34 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1413758 0 0 0 357820 214 0 0 20 0 3 0 159006110 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180649 3310 3032 0 184257 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=16328 CPUtime=3579.73 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1404301 0 0 0 357782 191 0 0 20 0 3 0 159006128 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=722596 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 722596 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.12 5/252 818130
/proc/meminfo: memFree=123662052/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=722596 CPUtime=3586.73 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1425974 0 0 0 358457 216 0 0 20 0 3 0 159006110 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180649 3310 3032 0 184257 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=12440 CPUtime=3586.12 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1416517 0 0 0 358419 193 0 0 20 0 3 0 159006128 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=722580 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 722596 KiB
[startup+3598.4 s]
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123662044/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=722596 CPUtime=3588.33 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1426107 0 0 0 358617 216 0 0 20 0 3 0 159006110 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180649 3310 3032 0 184257 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=1917880 CPUtime=3587.71 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1416650 0 0 0 358578 193 0 0 20 0 3 0 159006128 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=722596 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3588.33 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 722596 KiB
[startup+3599.2 s]
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123662052/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=722596 CPUtime=3589.12 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1426225 0 0 0 358696 216 0 0 20 0 3 0 159006110 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180649 3310 3032 0 184257 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=16328 CPUtime=3588.51 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1416768 0 0 0 358658 193 0 0 20 0 3 0 159006128 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=2216 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180649 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3589.12 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 722596 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123661964/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=758124 memory=722660 CPUtime=3589.93 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1426756 0 0 0 358777 216 0 0 20 0 3 0 159006110 776318976 180665 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 189531 180665 3310 3032 0 184257 0
[pid=816141/tid=816143] ppid=816138 vsize=758124 memory=6720659939557587819 CPUtime=3589.32 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1417297 0 0 0 358739 193 0 0 20 0 3 0 159006128 776318976 180665 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=758124 memory=1470216829021096025 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 776318976 180665 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3589.93 s
Current children cumulated vsize: 758124 KiB
Current children cumulated memory: 722660 KiB
[startup+3600.4 s]
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123661964/131655788 swapFree=131071996/131071996
[pid=816141] ppid=816138 vsize=752984 memory=717524 CPUtime=3590.32 cores=1,3
/proc/816141/stat : 816141 (fscip) S 816138 816141 811937 0 -1 1077936128 1455064 0 0 0 358815 217 0 0 20 0 3 0 159006110 771055616 179381 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
/proc/816141/statm: 188246 179381 3310 3032 0 182972 0
[pid=816141/tid=816143] ppid=816138 vsize=752984 memory=12676 CPUtime=3589.71 cores=1,3
/proc/816141/task/816143/stat : 816143 (fscip) R 816138 816141 811937 0 -1 4194368 1445604 0 0 0 358776 195 0 0 20 0 3 0 159006128 771055616 179381 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
[pid=816141/tid=816144] ppid=816138 vsize=752984 memory=5576 CPUtime=0.05 cores=1,3
/proc/816141/task/816144/stat : 816144 (fscip) S 816138 816141 811937 0 -1 1077936192 78 0 0 0 1 4 0 0 20 0 3 0 159006133 771055616 179381 134679101440 4194304 16613245 140728253767760 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 47382528 140728253776917 140728253777033 140728253777033 140728253784048 0
Current children cumulated CPU time: 3590.32 s
Current children cumulated vsize: 752984 KiB
Current children cumulated memory: 717524 KiB
[startup+3600.51 s]*
/proc/loadavg: 4.16 4.12 4.13 5/251 818130
/proc/meminfo: memFree=123931552/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.53
CPU time (s): 3590.45
CPU user time (s): 3588.24
CPU system time (s): 2.21361
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 758124
Max. memory (cumulated for all children) (KiB): 722660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.24
system time used= 2.21361
maximum resident set size= 722660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1458253
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= 12349
involuntary context switches= 3634
# summary of solver processes directly reported to runsolver:
# pid: 816141
# total CPU time (s): 3590.45
# total CPU user time (s): 3588.24
# total CPU system time (s): 2.21361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8352 second user time and 36.2397 second system time
The end
Begin job on nodeC002 at 2024-07-15 20:34:53
IDJOB=4434633
IDBENCH=147022
IDSOLVER=3064
FILE ID=nodeC002/4434633-1721068480
RUNJOBID= nodeC002-1721061290-811949
SLURM_JOB_ID= 7505511
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.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-4434633-1721068480/watcher-4434633-1721068480 -o /tmp/evaluation-result-4434633-1721068480/solver-4434633-1721068480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811949 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434633-1721068480.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=799762747
nodeC002.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 : 0xb00001f
cpu MHz : 3666.062
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 3491.706
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 3666.053
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 2893.117
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127624864 kB
MemAvailable: 129017552 kB
Buffers: 391040 kB
Cached: 1830368 kB
SwapCached: 0 kB
Active: 619888 kB
Inactive: 2855092 kB
Active(anon): 2684 kB
Inactive(anon): 1288604 kB
Active(file): 617204 kB
Inactive(file): 1566488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56888 kB
Writeback: 0 kB
AnonPages: 1249956 kB
Mapped: 137660 kB
Shmem: 37704 kB
KReclaimable: 98052 kB
Slab: 196444 kB
SReclaimable: 98052 kB
SUnreclaim: 98392 kB
KernelStack: 3968 kB
PageTables: 11688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1266048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1034240 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: 201544 kB
DirectMap2M: 20674560 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC002 at 2024-07-15 21:34:54