0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 24432640, getVmSize() = 24432640, SCIPgetMemUsed() = 2332757, SCIPgetMemTotal() = 2846197, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.07 c ** Estimated virtualMemUsedAtSolver = 18045610, getVmSize() = 29704192, SCIPgetMemUsed() = 3326146, SCIPgetMemTotal() = 6665194, SCIPgetMemExternEstim() = 1048576
0.00/0.07 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.07 c Original Problem :
0.00/0.07 c Problem name : instance-4463983-1722378596
0.00/0.07 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07 c Constraints : 479
0.00/0.07 c Objective sense : minimize
0.00/0.07 c Presolved Problem :
0.00/0.07 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.07 c Constraints : 577
0.00/0.07 c Constraints : Number
0.00/0.07 c knapsack : 418
0.00/0.07 c setppc : 138
0.00/0.07 c logicor : 21
0.00/0.07 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.08 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08 c Nodes Active
0.00/0.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.16 c * 0 0 1 1 228.0000 - -
0.10/0.16 c * 0 0 1 1 214.0000 - -
6.44/6.53 c 7 2 1 1 214.0000 168.6085 26.92%
11.53/11.62 c 12 6 5 1 214.0000 168.6085 26.92%
16.52/16.64 c * 17 12 11 1 213.0000 168.6085 26.33%
16.52/16.64 c 17 12 11 1 213.0000 168.6085 26.33%
16.52/16.65 c * 17 12 11 1 208.0000 168.6085 23.36%
16.52/16.65 c * 17 12 11 1 202.0000 168.6085 19.80%
16.52/16.65 c * 17 12 11 1 200.0000 168.6085 18.62%
22.08/22.24 c 22 127 126 1 200.0000 168.6085 18.62%
26.17/26.33 c * 26 221 220 1 198.0000 168.6085 17.43%
27.27/27.50 c 28 261 260 1 198.0000 168.6085 17.43%
32.56/32.71 c 33 375 374 1 198.0000 168.6085 17.43%
35.24/35.47 c * 35 412 411 1 195.0000 168.6085 15.65%
38.34/38.58 c 39 462 461 1 195.0000 168.6085 15.65%
43.53/43.80 c 44 517 516 1 195.0000 168.6085 15.65%
49.11/49.35 c 49 591 590 1 195.0000 168.6085 15.65%
54.30/54.56 c 55 637 636 1 195.0000 168.6085 15.65%
59.49/59.78 c 60 697 696 1 195.0000 168.6085 15.65%
65.68/65.92 c 66 754 753 1 195.0000 168.6085 15.65%
71.66/71.94 c 72 826 825 1 195.0000 168.6085 15.65%
77.45/77.73 c 78 882 881 1 195.0000 168.6085 15.65%
82.43/82.75 c 83 942 941 1 195.0000 168.8785 15.47%
87.52/87.87 c 88 1002 1001 1 195.0000 168.8996 15.45%
98.99/99.36 c 99 1051 1 1 195.0000 168.9777 15.40%
104.18/104.56 c 105 1061 11 1 195.0000 168.9777 15.40%
109.37/109.79 c 110 1080 30 1 195.0000 168.9777 15.40%
114.55/114.98 c 115 1135 85 1 195.0000 168.9777 15.40%
119.55/119.98 c 120 1243 193 1 195.0000 168.9777 15.40%
124.65/125.07 c 125 1439 385 1 195.0000 168.9777 15.40%
129.73/130.19 c 130 1624 512 1 195.0000 168.9777 15.40%
134.91/135.36 c 135 1762 580 1 195.0000 169.0647 15.34%
140.89/141.35 c 141 2056 694 1 195.0000 169.1630 15.27%
146.08/146.52 c 147 2253 757 1 195.0000 169.1758 15.26%
151.86/152.31 c 152 2401 819 1 195.0000 169.2035 15.25%
157.35/157.85 c 158 2588 906 1 195.0000 169.2196 15.23%
162.44/162.90 c 163 2901 1061 1 195.0000 169.2949 15.18%
168.12/168.69 c 169 3116 1112 1 195.0000 169.2957 15.18%
173.52/174.04 c 174 3311 1189 1 195.0000 169.3088 15.17%
179.80/180.37 c 180 3545 1287 1 195.0000 169.3125 15.17%
184.99/185.58 c 186 3727 1329 1 195.0000 169.3320 15.16%
190.97/191.51 c 192 3887 1379 1 195.0000 169.4072 15.11%
196.75/197.33 c 197 4083 1465 1 195.0000 169.4334 15.09%
202.35/202.94 c 203 4341 1521 1 195.0000 169.4796 15.06%
208.44/209.04 c 209 4513 1605 1 195.0000 169.4975 15.05%
213.53/214.15 c 214 4800 1688 1 195.0000 169.5090 15.04%
218.61/219.21 c 219 4871 1741 1 195.0000 169.5218 15.03%
221.51/222.12 c * 222 4967 1755 1 194.0000 169.5227 14.44%
223.59/224.27 c 224 5111 1631 1 194.0000 169.5344 14.43%
228.78/229.42 c 229 5200 1656 1 194.0000 169.5367 14.43%
234.27/234.97 c 235 5331 1713 1 194.0000 169.5686 14.41%
239.47/240.12 c 240 5607 1769 1 194.0000 169.5713 14.41%
245.05/245.79 c 246 5751 1819 1 194.0000 169.5896 14.39%
250.13/250.81 c 251 5882 1858 1 194.0000 169.5970 14.39%
255.62/256.30 c 256 6003 1909 1 194.0000 169.6020 14.39%
261.32/262.04 c 262 6103 1943 1 194.0000 169.6066 14.38%
266.41/267.12 c 267 6248 1984 1 194.0000 169.6224 14.37%
271.48/272.20 c 272 6401 2031 1 194.0000 169.6304 14.37%
277.66/278.45 c 278 6543 2103 1 194.0000 169.6403 14.36%
282.76/283.58 c 284 6661 2141 1 194.0000 169.6486 14.35%
286.15/286.98 c * 287 6712 2166 1 192.0000 169.6493 13.17%
286.15/286.99 c * 287 6712 2166 1 191.0000 169.6493 12.59%
288.14/288.91 c 289 6751 1498 1 191.0000 169.6572 12.58%
293.63/294.42 c 294 6896 1545 1 191.0000 169.6625 12.58%
295.43/296.29 c * 296 6903 1552 1 190.0000 169.6625 11.99%
298.82/299.68 c 300 7019 1520 1 190.0000 169.6729 11.98%
304.90/305.72 c 306 7133 1548 1 190.0000 169.6794 11.98%
310.89/311.77 c 312 7263 1602 1 190.0000 169.6972 11.96%
316.19/317.03 c 317 7353 1652 1 190.0000 169.7085 11.96%
321.46/322.33 c 322 7482 1695 1 190.0000 169.7144 11.95%
327.35/328.21 c 328 7661 1750 1 190.0000 169.7209 11.95%
332.93/333.84 c 334 7833 1802 1 190.0000 169.7299 11.94%
338.23/339.17 c 339 8052 1829 1 190.0000 169.7415 11.93%
343.70/344.66 c 345 8240 1861 1 190.0000 169.7456 11.93%
348.90/349.85 c 350 8393 1920 1 190.0000 169.7585 11.92%
354.88/355.83 c 356 8563 1942 1 190.0000 169.7585 11.92%
360.18/361.13 c 361 8700 1995 1 190.0000 169.7630 11.92%
365.96/366.92 c 367 8793 2030 1 190.0000 169.7686 11.92%
371.35/372.38 c 372 8913 2080 1 190.0000 169.7720 11.91%
376.63/377.67 c 378 9107 2128 1 190.0000 169.7777 11.91%
382.13/383.14 c 383 9201 2168 1 190.0000 169.7928 11.90%
388.01/389.09 c 389 9303 2218 1 190.0000 169.7995 11.90%
393.39/394.44 c 394 9461 2258 1 190.0000 169.8107 11.89%
398.68/399.72 c 400 9593 2296 1 190.0000 169.8125 11.89%
403.77/404.89 c 405 9851 2334 1 190.0000 169.8147 11.89%
409.06/410.16 c 410 10061 2396 1 190.0000 169.8184 11.88%
414.34/415.45 c 415 10231 2434 1 190.0000 169.8214 11.88%
419.62/420.77 c 421 10391 2484 1 190.0000 169.8342 11.87%
425.11/426.24 c 426 10606 2549 1 190.0000 169.8375 11.87%
430.40/431.55 c 432 10881 2586 1 190.0000 169.8444 11.87%
435.39/436.58 c 437 11038 2625 1 190.0000 169.8579 11.86%
440.78/441.90 c 442 11222 2669 1 190.0000 169.8610 11.86%
447.06/448.26 c 448 11363 2734 1 190.0000 169.8749 11.85%
452.55/453.79 c 454 11533 2786 1 190.0000 169.8855 11.84%
458.23/459.46 c 459 11703 2822 1 190.0000 169.8855 11.84%
463.32/464.50 c 464 11862 2859 1 190.0000 169.8891 11.84%
468.71/470.01 c 470 12122 2883 1 190.0000 169.8934 11.83%
474.49/475.72 c 476 12280 2937 1 190.0000 169.8952 11.83%
479.67/481.01 c 481 12433 2978 1 190.0000 169.9045 11.83%
485.15/486.44 c 486 12641 3018 1 190.0000 169.9060 11.83%
490.53/491.86 c 492 12753 3054 1 190.0000 169.9127 11.82%
495.62/496.97 c 497 12984 3105 1 190.0000 169.9186 11.82%
501.01/502.31 c 502 13116 3145 1 190.0000 169.9265 11.81%
506.29/507.61 c 508 13271 3192 1 190.0000 169.9315 11.81%
512.18/513.58 c 514 13428 3285 1 190.0000 169.9361 11.81%
519.16/520.54 c 521 13603 3320 1 190.0000 169.9485 11.80%
524.95/526.33 c 526 13793 3362 1 190.0000 169.9516 11.80%
530.44/531.82 c 532 13931 3412 1 190.0000 169.9571 11.79%
535.63/537.04 c 537 14119 3474 1 190.0000 169.9659 11.79%
541.41/542.84 c 543 14311 3518 1 190.0000 169.9736 11.78%
546.49/548.01 c 548 14421 3572 1 190.0000 169.9904 11.77%
551.87/553.33 c 553 14581 3610 1 190.0000 169.9965 11.77%
557.46/558.94 c 559 14733 3676 1 190.0000 170.0046 11.76%
563.24/564.76 c 565 14844 3723 1 190.0000 170.0128 11.76%
568.43/569.98 c 570 14981 3766 1 190.0000 170.0218 11.75%
573.82/575.38 c 575 15043 3804 1 190.0000 170.0246 11.75%
579.10/580.60 c 581 15207 3846 1 190.0000 170.0297 11.75%
584.19/585.79 c 586 15321 3878 1 190.0000 170.0329 11.74%
590.09/591.65 c 592 15458 3905 1 190.0000 170.0356 11.74%
597.07/598.65 c 599 15603 3948 1 190.0000 170.0414 11.74%
602.36/603.91 c 604 15862 3987 1 190.0000 170.0418 11.74%
607.84/609.40 c 609 16023 4026 1 190.0000 170.0524 11.73%
613.33/614.96 c 615 16281 4062 1 190.0000 170.0569 11.73%
618.72/620.39 c 620 16462 4123 1 190.0000 170.0608 11.72%
624.21/625.82 c 626 16573 4194 1 190.0000 170.0648 11.72%
629.51/631.14 c 631 16721 4238 1 190.0000 170.0743 11.72%
635.08/636.79 c 637 16989 4276 1 190.0000 170.0763 11.71%
640.17/641.83 c 642 17131 4310 1 190.0000 170.0817 11.71%
645.26/646.90 c 647 17251 4342 1 190.0000 170.0858 11.71%
650.25/652.01 c 652 17431 4370 1 190.0000 170.0896 11.71%
655.62/657.30 c 657 17563 4414 1 190.0000 170.0945 11.70%
661.11/662.89 c 663 17791 4450 1 190.0000 170.0981 11.70%
667.50/669.22 c 669 17903 4486 1 190.0000 170.1027 11.70%
673.08/674.86 c 675 18141 4506 1 190.0000 170.1085 11.69%
679.07/680.85 c 681 18302 4557 1 190.0000 170.1132 11.69%
684.95/686.79 c 687 18503 4588 1 190.0000 170.1172 11.69%
690.74/692.56 c 693 18683 4634 1 190.0000 170.1185 11.69%
696.73/698.56 c 699 18953 4680 1 190.0000 170.1227 11.68%
701.82/703.67 c 704 19133 4726 1 190.0000 170.1280 11.68%
707.50/709.34 c 709 19321 4768 1 190.0000 170.1334 11.68%
712.89/714.79 c 715 19522 4811 1 190.0000 170.1430 11.67%
718.29/720.17 c 720 19734 4859 1 190.0000 170.1472 11.67%
724.17/726.04 c 726 19911 4904 1 190.0000 170.1545 11.66%
730.44/732.34 c 732 20083 4962 1 190.0000 170.1625 11.66%
737.23/739.14 c 739 20213 5024 1 190.0000 170.1778 11.65%
742.91/744.83 c 745 20433 5062 1 190.0000 170.1813 11.65%
748.21/750.19 c 750 20643 5108 1 190.0000 170.1884 11.64%
753.38/755.34 c 755 20743 5142 1 190.0000 170.1966 11.64%
758.57/760.56 c 761 20939 5170 1 190.0000 170.1978 11.63%
763.75/765.73 c 766 21061 5212 1 190.0000 170.2091 11.63%
769.63/771.67 c 772 21179 5268 1 190.0000 170.2157 11.62%
774.92/776.91 c 777 21331 5306 1 190.0000 170.2203 11.62%
780.21/782.24 c 782 21525 5350 1 190.0000 170.2220 11.62%
785.89/787.96 c 788 21783 5424 1 190.0000 170.2235 11.62%
790.99/793.01 c 793 21993 5466 1 190.0000 170.2258 11.62%
796.67/798.76 c 799 22123 5524 1 190.0000 170.2295 11.61%
802.06/804.18 c 804 22233 5576 1 190.0000 170.2318 11.61%
807.54/809.62 c 810 22373 5614 1 190.0000 170.2357 11.61%
813.52/815.60 c 816 22551 5664 1 190.0000 170.2405 11.61%
818.80/820.93 c 821 22691 5716 1 190.0000 170.2447 11.60%
824.09/826.29 c 826 22831 5754 1 190.0000 170.2453 11.60%
829.99/832.14 c 832 22972 5805 1 190.0000 170.2513 11.60%
835.07/837.29 c 837 23071 5828 1 190.0000 170.2533 11.60%
841.05/843.22 c 843 23311 5880 1 190.0000 170.2568 11.60%
846.14/848.33 c 848 23383 5916 1 190.0000 170.2627 11.59%
851.32/853.55 c 854 23711 5960 1 190.0000 170.2640 11.59%
856.51/858.76 c 859 23788 5993 1 190.0000 170.2667 11.59%
862.09/864.32 c 864 23974 6011 1 190.0000 170.2680 11.59%
867.28/869.56 c 870 24111 6052 1 190.0000 170.2734 11.59%
873.66/875.98 c 876 24243 6096 1 190.0000 170.2784 11.58%
879.76/882.06 c 882 24491 6162 1 190.0000 170.2813 11.58%
885.04/887.39 c 887 24741 6206 1 190.0000 170.2827 11.58%
890.12/892.44 c 892 24893 6264 1 190.0000 170.2907 11.57%
895.20/897.56 c 898 25051 6314 1 190.0000 170.2924 11.57%
900.70/903.04 c 903 25221 6354 1 190.0000 170.2946 11.57%
905.98/908.35 c 908 25401 6396 1 190.0000 170.2958 11.57%
911.56/913.99 c 914 25641 6448 1 190.0000 170.3017 11.57%
917.15/919.58 c 920 25811 6484 1 190.0000 170.3034 11.57%
922.44/924.89 c 925 25911 6540 1 190.0000 170.3090 11.56%
928.22/930.62 c 931 26111 6592 1 190.0000 170.3170 11.56%
933.51/935.93 c 936 26293 6630 1 190.0000 170.3207 11.55%
939.30/941.79 c 942 26443 6670 1 190.0000 170.3251 11.55%
944.39/946.80 c 947 26717 6704 1 190.0000 170.3303 11.55%
949.77/952.28 c 952 26890 6739 1 190.0000 170.3351 11.54%
954.96/957.48 c 957 27033 6770 1 190.0000 170.3367 11.54%
960.67/963.14 c 963 27257 6812 1 190.0000 170.3373 11.54%
965.66/968.18 c 968 27383 6852 1 190.0000 170.3399 11.54%
971.03/973.58 c 974 27641 6880 1 190.0000 170.3422 11.54%
974.72/977.29 c * 977 27712 6905 1 189.0000 170.3430 10.95%
976.12/978.65 c 979 27787 6638 1 189.0000 170.3438 10.95%
982.00/984.56 c 985 28001 6668 1 189.0000 170.3523 10.95%
987.60/990.14 c 990 28143 6708 1 189.0000 170.3566 10.94%
993.18/995.70 c 996 28287 6772 1 189.0000 170.3631 10.94%
998.86/1001.43 c 1001 28411 6824 1 189.0000 170.3679 10.94%
1003.84/1006.45 c 1006 28541 6880 1 189.0000 170.3726 10.93%
1009.73/1012.35 c 1012 28833 6948 1 189.0000 170.3763 10.93%
1015.71/1018.34 c 1018 29081 7002 1 189.0000 170.3782 10.93%
1021.60/1024.20 c 1024 29221 7034 1 189.0000 170.3860 10.92%
1027.29/1029.95 c 1030 29370 7083 1 189.0000 170.3879 10.92%
1032.39/1035.09 c 1035 29619 7096 1 189.0000 170.3922 10.92%
1038.48/1041.12 c 1041 29723 7140 1 189.0000 170.3975 10.92%
1043.85/1046.54 c 1047 29910 7195 1 189.0000 170.3998 10.92%
1049.74/1052.45 c 1052 30088 7229 1 189.0000 170.4039 10.91%
1055.03/1057.78 c 1058 30261 7262 1 189.0000 170.4086 10.91%
1060.43/1063.11 c 1063 30417 7312 1 189.0000 170.4105 10.91%
1066.20/1068.94 c 1069 30573 7368 1 189.0000 170.4171 10.90%
1071.69/1074.47 c 1074 30721 7404 1 189.0000 170.4204 10.90%
1077.47/1080.22 c 1080 30921 7482 1 189.0000 170.4296 10.90%
1083.76/1086.55 c 1087 31051 7556 1 189.0000 170.4367 10.89%
1089.94/1092.71 c 1093 31203 7614 1 189.0000 170.4478 10.88%
1095.02/1097.85 c 1098 31383 7648 1 189.0000 170.4499 10.88%
1100.82/1103.61 c 1104 31574 7691 1 189.0000 170.4507 10.88%
1106.22/1109.10 c 1109 31790 7729 1 189.0000 170.4538 10.88%
1111.79/1114.61 c 1115 31951 7762 1 189.0000 170.4555 10.88%
1117.07/1119.99 c 1120 32158 7817 1 189.0000 170.4574 10.88%
1123.27/1126.15 c 1126 32443 7866 1 189.0000 170.4604 10.88%
1128.55/1131.44 c 1131 32660 7897 1 189.0000 170.4638 10.87%
1134.03/1136.90 c 1137 32833 7942 1 189.0000 170.4695 10.87%
1139.92/1142.89 c 1143 33006 7989 1 189.0000 170.4711 10.87%
1145.12/1148.07 c 1148 33213 8012 1 189.0000 170.4740 10.87%
1150.20/1153.15 c 1153 33353 8046 1 189.0000 170.4773 10.87%
1155.79/1158.71 c 1159 33584 8091 1 189.0000 170.4775 10.87%
1161.19/1164.18 c 1164 33733 8126 1 189.0000 170.4789 10.86%
1166.36/1169.34 c 1169 33971 8166 1 189.0000 170.4813 10.86%
1171.85/1174.84 c 1175 34091 8214 1 189.0000 170.4856 10.86%
1176.94/1179.96 c 1180 34301 8258 1 189.0000 170.4915 10.86%
1182.92/1185.97 c 1186 34423 8312 1 189.0000 170.4955 10.85%
1188.71/1191.71 c 1192 34643 8364 1 189.0000 170.4974 10.85%
1193.69/1196.73 c 1197 34795 8404 1 189.0000 170.5015 10.85%
1199.09/1202.14 c 1202 34985 8446 1 189.0000 170.5055 10.85%
1204.57/1207.61 c 1208 35233 8492 1 189.0000 170.5117 10.84%
1210.35/1213.40 c 1213 35443 8546 1 189.0000 170.5130 10.84%
1215.45/1218.53 c 1219 35597 8580 1 189.0000 170.5158 10.84%
1221.43/1224.50 c 1224 35733 8608 1 189.0000 170.5186 10.84%
1227.03/1230.15 c 1230 35911 8670 1 189.0000 170.5220 10.84%
1232.60/1235.71 c 1236 36191 8712 1 189.0000 170.5259 10.83%
1238.19/1241.36 c 1241 36401 8758 1 189.0000 170.5287 10.83%
1243.89/1247.07 c 1247 36581 8800 1 189.0000 170.5321 10.83%
1248.98/1252.14 c 1252 36915 8844 1 189.0000 170.5369 10.83%
1254.05/1257.23 c 1257 37073 8892 1 189.0000 170.5416 10.82%
1259.14/1262.37 c 1262 37391 8926 1 189.0000 170.5444 10.82%
1264.63/1267.89 c 1268 37571 8962 1 189.0000 170.5529 10.82%
1270.21/1273.42 c 1273 37731 9002 1 189.0000 170.5576 10.81%
1275.50/1278.74 c 1279 37873 9048 1 189.0000 170.5595 10.81%
1280.59/1283.86 c 1284 38013 9082 1 189.0000 170.5614 10.81%
1285.89/1289.16 c 1289 38191 9120 1 189.0000 170.5629 10.81%
1290.87/1294.19 c 1294 38322 9175 1 189.0000 170.5658 10.81%
1296.65/1299.97 c 1300 38481 9224 1 189.0000 170.5667 10.81%
1302.75/1306.07 c 1306 38613 9264 1 189.0000 170.5681 10.81%
1307.84/1311.12 c 1311 38831 9284 1 189.0000 170.5714 10.80%
1314.11/1317.40 c 1317 39031 9326 1 189.0000 170.5729 10.80%
1319.60/1322.94 c 1323 39183 9364 1 189.0000 170.5740 10.80%
1325.28/1328.61 c 1329 39423 9396 1 189.0000 170.5744 10.80%
1330.27/1333.65 c 1334 39573 9442 1 189.0000 170.5756 10.80%
1336.16/1339.58 c 1340 39754 9493 1 189.0000 170.5783 10.80%
1341.34/1344.72 c 1345 39893 9520 1 189.0000 170.5790 10.80%
1346.54/1349.99 c 1350 40101 9590 1 189.0000 170.5812 10.80%
1351.93/1355.39 c 1355 40316 9641 1 189.0000 170.5819 10.80%
1358.01/1361.49 c 1362 40413 9684 1 189.0000 170.5830 10.80%
1363.10/1366.51 c 1367 40661 9710 1 189.0000 170.5885 10.79%
1369.28/1372.78 c 1373 40803 9756 1 189.0000 170.5916 10.79%
1374.47/1378.01 c 1378 41061 9812 1 189.0000 170.5936 10.79%
1379.85/1383.35 c 1383 41341 9870 1 189.0000 170.5989 10.79%
1385.23/1388.77 c 1389 41610 9923 1 189.0000 170.6024 10.78%
1391.73/1395.22 c 1395 41851 9956 1 189.0000 170.6028 10.78%
1397.53/1401.04 c 1401 42081 10020 1 189.0000 170.6081 10.78%
1403.10/1406.61 c 1407 42211 10062 1 189.0000 170.6091 10.78%
1408.29/1411.85 c 1412 42406 10115 1 189.0000 170.6102 10.78%
1414.07/1417.65 c 1418 42591 10152 1 189.0000 170.6116 10.78%
1419.35/1422.95 c 1423 42733 10200 1 189.0000 170.6144 10.78%
1424.84/1428.42 c 1428 42933 10256 1 189.0000 170.6165 10.77%
1430.03/1433.67 c 1434 43063 10290 1 189.0000 170.6183 10.77%
1435.91/1439.52 c 1440 43241 10336 1 189.0000 170.6202 10.77%
1441.70/1445.36 c 1445 43449 10392 1 189.0000 170.6224 10.77%
1447.09/1450.75 c 1451 43661 10434 1 189.0000 170.6264 10.77%
1452.77/1456.44 c 1456 43870 10495 1 189.0000 170.6277 10.77%
1458.38/1462.07 c 1462 44115 10530 1 189.0000 170.6286 10.77%
1463.65/1467.30 c 1467 44241 10576 1 189.0000 170.6320 10.76%
1469.45/1473.18 c 1473 44441 10630 1 189.0000 170.6331 10.76%
1475.22/1478.93 c 1479 44611 10678 1 189.0000 170.6353 10.76%
1480.51/1484.29 c 1484 44762 10749 1 189.0000 170.6381 10.76%
1485.90/1489.68 c 1490 44896 10787 1 189.0000 170.6423 10.76%
1491.18/1494.91 c 1495 45043 10828 1 189.0000 170.6466 10.76%
1497.28/1501.06 c 1501 45303 10842 1 189.0000 170.6469 10.75%
1502.66/1506.41 c 1506 45481 10876 1 189.0000 170.6502 10.75%
1509.25/1513.07 c 1513 45633 10932 1 189.0000 170.6533 10.75%
1515.13/1518.99 c 1519 45856 11003 1 189.0000 170.6541 10.75%
1520.71/1524.51 c 1525 46038 11057 1 189.0000 170.6548 10.75%
1526.00/1529.80 c 1530 46201 11086 1 189.0000 170.6570 10.75%
1531.78/1535.65 c 1536 46342 11139 1 189.0000 170.6585 10.75%
1537.57/1541.46 c 1541 46501 11184 1 189.0000 170.6598 10.75%
1542.67/1546.53 c 1547 46645 11234 1 189.0000 170.6612 10.75%
1548.45/1552.39 c 1552 46847 11276 1 189.0000 170.6626 10.74%
1554.54/1558.46 c 1558 47073 11336 1 189.0000 170.6641 10.74%
1560.52/1564.40 c 1564 47263 11396 1 189.0000 170.6668 10.74%
1566.12/1570.05 c 1570 47504 11443 1 189.0000 170.6678 10.74%
1571.11/1575.10 c 1575 47651 11488 1 189.0000 170.6703 10.74%
1576.29/1580.24 c 1580 47831 11522 1 189.0000 170.6731 10.74%
1581.87/1585.84 c 1586 48021 11568 1 189.0000 170.6742 10.74%
1587.86/1591.86 c 1592 48269 11642 1 189.0000 170.6755 10.74%
1593.06/1597.05 c 1597 48401 11696 1 189.0000 170.6766 10.74%
1599.04/1603.07 c 1603 48613 11748 1 189.0000 170.6786 10.73%
1605.03/1609.02 c 1609 48753 11802 1 189.0000 170.6825 10.73%
1611.31/1615.37 c 1615 48943 11886 1 189.0000 170.6841 10.73%
1617.19/1621.25 c 1621 49140 11953 1 189.0000 170.6878 10.73%
1622.58/1626.69 c 1627 49393 11984 1 189.0000 170.6887 10.73%
1627.86/1631.99 c 1632 49591 12038 1 189.0000 170.6932 10.72%
1633.05/1637.12 c 1637 49803 12086 1 189.0000 170.6938 10.72%
1638.13/1642.20 c 1642 49931 12116 1 189.0000 170.6950 10.72%
1643.71/1647.86 c 1648 50129 12182 1 189.0000 170.6958 10.72%
1648.79/1653.01 c 1653 50302 12229 1 189.0000 170.6973 10.72%
1654.17/1658.32 c 1658 50571 12278 1 189.0000 170.7003 10.72%
1659.76/1663.94 c 1664 50791 12348 1 189.0000 170.7038 10.72%
1665.96/1670.14 c 1670 51033 12410 1 189.0000 170.7056 10.72%
1671.63/1675.80 c 1676 51181 12484 1 189.0000 170.7110 10.71%
1677.01/1681.27 c 1681 51361 12526 1 189.0000 170.7141 10.71%
1682.20/1686.45 c 1686 51591 12588 1 189.0000 170.7159 10.71%
1687.49/1691.72 c 1692 51797 12648 1 189.0000 170.7189 10.71%
1693.28/1697.58 c 1698 52051 12704 1 189.0000 170.7207 10.71%
1698.66/1703.01 c 1703 52191 12772 1 189.0000 170.7233 10.71%
1704.34/1708.64 c 1709 52404 12833 1 189.0000 170.7256 10.70%
1710.04/1714.32 c 1714 52621 12864 1 189.0000 170.7276 10.70%
1715.62/1719.98 c 1720 52831 12918 1 189.0000 170.7292 10.70%
1720.82/1725.12 c 1725 53044 12963 1 189.0000 170.7299 10.70%
1726.00/1730.37 c 1730 53251 13008 1 189.0000 170.7326 10.70%
1731.28/1735.66 c 1736 53491 13066 1 189.0000 170.7330 10.70%
1736.47/1740.87 c 1741 53657 13112 1 189.0000 170.7362 10.70%
1741.55/1745.91 c 1746 53831 13162 1 189.0000 170.7400 10.69%
1746.76/1751.17 c 1751 53961 13238 1 189.0000 170.7415 10.69%
1752.75/1757.18 c 1757 54153 13312 1 189.0000 170.7431 10.69%
1758.22/1762.66 c 1763 54353 13352 1 189.0000 170.7436 10.69%
1764.51/1768.98 c 1769 54731 13420 1 189.0000 170.7455 10.69%
1769.50/1773.98 c 1774 54831 13456 1 189.0000 170.7469 10.69%
1774.78/1779.23 c 1779 54947 13502 1 189.0000 170.7483 10.69%
1779.96/1784.40 c 1784 55147 13540 1 189.0000 170.7489 10.69%
1785.45/1789.97 c 1790 55331 13596 1 189.0000 170.7543 10.69%
1790.93/1795.49 c 1795 55561 13672 1 189.0000 170.7584 10.68%
1796.02/1800.52 c 1801 55692 13739 1 189.0000 170.7607 10.68%
1801.90/1806.42 c 1806 55921 13776 1 189.0000 170.7630 10.68%
1807.80/1812.36 c 1812 56103 13830 1 189.0000 170.7642 10.68%
1813.98/1818.50 c 1818 56341 13860 1 189.0000 170.7658 10.68%
1819.27/1823.90 c 1824 56551 13922 1 189.0000 170.7678 10.68%
1824.66/1829.23 c 1829 56703 13958 1 189.0000 170.7681 10.68%
1830.04/1834.62 c 1835 56911 14004 1 189.0000 170.7695 10.68%
1835.83/1840.45 c 1840 57101 14046 1 189.0000 170.7715 10.67%
1841.12/1845.71 c 1846 57276 14097 1 189.0000 170.7729 10.67%
1846.11/1850.73 c 1851 57453 14162 1 189.0000 170.7752 10.67%
1851.69/1856.34 c 1856 57691 14204 1 189.0000 170.7765 10.67%
1858.17/1862.86 c 1863 57931 14262 1 189.0000 170.7800 10.67%
1863.77/1868.49 c 1868 58149 14310 1 189.0000 170.7827 10.67%
1869.65/1874.34 c 1874 58323 14380 1 189.0000 170.7844 10.67%
1874.74/1879.47 c 1879 58494 14417 1 189.0000 170.7865 10.66%
1880.33/1885.04 c 1885 58730 14483 1 189.0000 170.7896 10.66%
1886.10/1890.89 c 1891 58983 14546 1 189.0000 170.7904 10.66%
1891.30/1896.01 c 1896 59231 14610 1 189.0000 170.7928 10.66%
1897.18/1901.90 c 1902 59480 14659 1 189.0000 170.7931 10.66%
1902.16/1906.94 c 1907 59646 14711 1 189.0000 170.7933 10.66%
1907.27/1912.07 c 1912 59801 14760 1 189.0000 170.7978 10.66%
1912.95/1917.72 c 1918 60071 14794 1 189.0000 170.7985 10.66%
1919.03/1923.83 c 1924 60233 14860 1 189.0000 170.7992 10.66%
1925.01/1929.83 c 1930 60383 14926 1 189.0000 170.8031 10.65%
1930.21/1935.06 c 1935 60669 14946 1 189.0000 170.8039 10.65%
1935.39/1940.25 c 1940 60831 15006 1 189.0000 170.8073 10.65%
1940.88/1945.75 c 1946 61121 15058 1 189.0000 170.8076 10.65%
1946.87/1951.71 c 1952 61268 15107 1 189.0000 170.8093 10.65%
1952.75/1957.64 c 1958 61397 15156 1 189.0000 170.8100 10.65%
1958.04/1963.01 c 1963 61695 15188 1 189.0000 170.8114 10.65%
1963.52/1968.40 c 1968 61971 15226 1 189.0000 170.8126 10.65%
1968.91/1973.89 c 1974 62266 15273 1 189.0000 170.8126 10.65%
1974.50/1979.44 c 1979 62391 15326 1 189.0000 170.8139 10.65%
1979.78/1984.73 c 1985 62561 15380 1 189.0000 170.8171 10.64%
1984.87/1989.82 c 1990 62711 15430 1 189.0000 170.8196 10.64%
1991.75/1996.76 c 1997 62933 15494 1 189.0000 170.8214 10.64%
1996.74/2001.78 c 2002 63131 15536 1 189.0000 170.8235 10.64%
2002.14/2007.12 c 2007 63322 15591 1 189.0000 170.8242 10.64%
2007.32/2012.32 c 2012 63513 15648 1 189.0000 170.8274 10.64%
2012.71/2017.76 c 2018 63695 15712 1 189.0000 170.8298 10.64%
2017.90/2022.98 c 2023 63901 15742 1 189.0000 170.8303 10.64%
2023.10/2028.14 c 2028 64044 15791 1 189.0000 170.8322 10.63%
2028.67/2033.76 c 2034 64211 15834 1 189.0000 170.8352 10.63%
2034.07/2039.16 c 2039 64331 15888 1 189.0000 170.8381 10.63%
2040.05/2045.18 c 2045 64551 15944 1 189.0000 170.8401 10.63%
2045.63/2050.70 c 2051 64801 15980 1 189.0000 170.8422 10.63%
2051.03/2056.16 c 2056 64951 16026 1 189.0000 170.8436 10.63%
2057.00/2062.11 c 2062 65151 16084 1 189.0000 170.8444 10.63%
2062.59/2067.76 c 2068 65310 16131 1 189.0000 170.8454 10.63%
2068.57/2073.70 c 2074 65560 16175 1 189.0000 170.8470 10.63%
2073.56/2078.77 c 2079 65731 16216 1 189.0000 170.8478 10.62%
2078.96/2084.17 c 2084 66003 16278 1 189.0000 170.8490 10.62%
2085.03/2090.26 c 2090 66223 16356 1 189.0000 170.8508 10.62%
2090.21/2095.40 c 2095 66471 16416 1 189.0000 170.8549 10.62%
2095.81/2101.02 c 2101 66643 16492 1 189.0000 170.8552 10.62%
2100.99/2106.22 c 2106 66931 16568 1 189.0000 170.8555 10.62%
2106.17/2111.40 c 2111 67161 16624 1 189.0000 170.8559 10.62%
2111.87/2117.18 c 2117 67391 16684 1 189.0000 170.8570 10.62%
2117.35/2122.69 c 2123 67581 16738 1 189.0000 170.8576 10.62%
2122.75/2128.04 c 2128 67771 16790 1 189.0000 170.8591 10.62%
2127.93/2133.23 c 2133 67923 16832 1 189.0000 170.8597 10.62%
2133.83/2139.18 c 2139 68083 16910 1 189.0000 170.8615 10.62%
2139.71/2145.04 c 2145 68381 16970 1 189.0000 170.8621 10.62%
2144.99/2150.32 c 2150 68641 17016 1 189.0000 170.8640 10.61%
2150.06/2155.40 c 2155 68851 17068 1 189.0000 170.8652 10.61%
2155.05/2160.49 c 2160 68988 17117 1 189.0000 170.8665 10.61%
2160.94/2166.34 c 2166 69243 17198 1 189.0000 170.8680 10.61%
2166.12/2171.52 c 2172 69454 17263 1 189.0000 170.8685 10.61%
2171.41/2176.86 c 2177 69616 17321 1 189.0000 170.8702 10.61%
2176.62/2182.09 c 2182 69971 17396 1 189.0000 170.8718 10.61%
2181.89/2187.30 c 2187 70262 17455 1 189.0000 170.8739 10.61%
2187.59/2193.05 c 2193 70441 17512 1 189.0000 170.8758 10.61%
2193.26/2198.74 c 2199 70681 17572 1 189.0000 170.8774 10.61%
2198.54/2204.03 c 2204 70835 17644 1 189.0000 170.8782 10.61%
2203.82/2209.32 c 2209 71036 17713 1 189.0000 170.8793 10.60%
2209.61/2215.19 c 2215 71181 17764 1 189.0000 170.8805 10.60%
2215.61/2221.14 c 2221 71421 17834 1 189.0000 170.8827 10.60%
2220.78/2226.35 c 2226 71561 17900 1 189.0000 170.8845 10.60%
2225.97/2231.52 c 2232 71731 17970 1 189.0000 170.8853 10.60%
2231.75/2237.36 c 2237 71990 18077 1 189.0000 170.8861 10.60%
2237.04/2242.63 c 2243 72251 18110 1 189.0000 170.8875 10.60%
2242.03/2247.70 c 2248 72421 18186 1 189.0000 170.8895 10.60%
2247.62/2253.21 c 2253 72821 18238 1 189.0000 170.8911 10.60%
2253.00/2258.63 c 2259 73021 18284 1 189.0000 170.8927 10.60%
2258.50/2264.17 c 2264 73226 18351 1 189.0000 170.8937 10.60%
2264.08/2269.77 c 2270 73461 18424 1 189.0000 170.8954 10.59%
2269.16/2274.87 c 2275 73644 18479 1 189.0000 170.8975 10.59%
2274.55/2280.25 c 2280 73871 18532 1 189.0000 170.8985 10.59%
2279.83/2285.55 c 2286 74081 18612 1 189.0000 170.9001 10.59%
2285.33/2291.03 c 2291 74307 18688 1 189.0000 170.9023 10.59%
2290.51/2296.26 c 2296 74461 18740 1 189.0000 170.9043 10.59%
2295.70/2301.44 c 2301 74671 18814 1 189.0000 170.9059 10.59%
2301.39/2307.16 c 2307 74830 18873 1 189.0000 170.9069 10.59%
2306.97/2312.76 c 2313 75043 18914 1 189.0000 170.9076 10.59%
2312.46/2318.26 c 2318 75261 18972 1 189.0000 170.9097 10.58%
2318.15/2323.97 c 2324 75461 19046 1 189.0000 170.9111 10.58%
2323.54/2329.32 c 2329 75729 19106 1 189.0000 170.9128 10.58%
2329.23/2335.07 c 2335 75951 19154 1 189.0000 170.9150 10.58%
2335.10/2340.91 c 2341 76238 19237 1 189.0000 170.9161 10.58%
2340.39/2346.26 c 2346 76410 19291 1 189.0000 170.9166 10.58%
2345.38/2351.26 c 2351 76608 19353 1 189.0000 170.9176 10.58%
2351.07/2356.99 c 2357 76846 19417 1 189.0000 170.9188 10.58%
2356.35/2362.20 c 2362 77123 19474 1 189.0000 170.9198 10.58%
2361.54/2367.46 c 2367 77301 19526 1 189.0000 170.9208 10.58%
2366.93/2372.83 c 2373 77588 19577 1 189.0000 170.9216 10.58%
2372.13/2378.06 c 2378 77763 19626 1 189.0000 170.9234 10.58%
2377.40/2383.33 c 2383 77961 19678 1 189.0000 170.9238 10.58%
2382.80/2388.79 c 2389 78241 19750 1 189.0000 170.9258 10.57%
2388.20/2394.15 c 2394 78548 19791 1 189.0000 170.9264 10.57%
2393.47/2399.43 c 2399 78761 19828 1 189.0000 170.9283 10.57%
2398.76/2404.73 c 2405 78963 19906 1 189.0000 170.9284 10.57%
2403.74/2409.77 c 2410 79211 19956 1 189.0000 170.9289 10.57%
2408.83/2414.84 c 2415 79421 20016 1 189.0000 170.9305 10.57%
2414.51/2420.54 c 2421 79781 20066 1 189.0000 170.9320 10.57%
2419.61/2425.61 c 2426 79991 20130 1 189.0000 170.9357 10.57%
2425.19/2431.23 c 2431 80241 20188 1 189.0000 170.9368 10.57%
2430.57/2436.68 c 2437 80453 20218 1 189.0000 170.9382 10.57%
2436.07/2442.14 c 2442 80631 20270 1 189.0000 170.9391 10.57%
2441.14/2447.24 c 2447 80773 20342 1 189.0000 170.9402 10.56%
2446.63/2452.78 c 2453 81016 20413 1 189.0000 170.9413 10.56%
2452.82/2458.91 c 2459 81153 20486 1 189.0000 170.9440 10.56%
2458.31/2464.49 c 2464 81353 20544 1 189.0000 170.9446 10.56%
2463.70/2469.82 c 2470 81525 20614 1 189.0000 170.9456 10.56%
2469.18/2475.39 c 2475 81771 20658 1 189.0000 170.9475 10.56%
2474.67/2480.87 c 2481 81991 20720 1 189.0000 170.9487 10.56%
2479.75/2486.01 c 2486 82272 20755 1 189.0000 170.9492 10.56%
2485.14/2491.34 c 2491 82491 20816 1 189.0000 170.9509 10.56%
2490.44/2496.60 c 2497 82768 20875 1 189.0000 170.9521 10.56%
2495.83/2502.07 c 2502 83051 20928 1 189.0000 170.9539 10.56%
2501.61/2507.82 c 2508 83258 20997 1 189.0000 170.9553 10.56%
2506.91/2513.13 c 2513 83541 21062 1 189.0000 170.9560 10.55%
2512.08/2518.32 c 2518 83661 21114 1 189.0000 170.9564 10.55%
2517.07/2523.33 c 2523 83851 21166 1 189.0000 170.9581 10.55%
2522.35/2528.67 c 2529 84090 21223 1 189.0000 170.9587 10.55%
2527.54/2533.88 c 2534 84261 21272 1 189.0000 170.9603 10.55%
2533.33/2539.60 c 2540 84430 21347 1 189.0000 170.9610 10.55%
2538.92/2545.21 c 2545 84583 21406 1 189.0000 170.9622 10.55%
2543.90/2550.21 c 2550 84871 21472 1 189.0000 170.9630 10.55%
2549.89/2556.20 c 2556 85173 21520 1 189.0000 170.9637 10.55%
2554.98/2561.34 c 2561 85353 21550 1 189.0000 170.9644 10.55%
2560.26/2566.61 c 2567 85558 21573 1 189.0000 170.9646 10.55%
2565.85/2572.30 c 2572 85791 21632 1 189.0000 170.9660 10.55%
2571.55/2577.93 c 2578 85983 21684 1 189.0000 170.9666 10.55%
2577.13/2583.52 c 2584 86106 21753 1 189.0000 170.9676 10.55%
2582.63/2589.09 c 2589 86361 21816 1 189.0000 170.9687 10.55%
2588.10/2594.50 c 2595 86521 21870 1 189.0000 170.9711 10.54%
2593.89/2600.32 c 2600 86752 21923 1 189.0000 170.9719 10.54%
2598.98/2605.44 c 2605 86971 21986 1 189.0000 170.9732 10.54%
2604.76/2611.24 c 2611 87244 22053 1 189.0000 170.9740 10.54%
2609.95/2616.49 c 2616 87471 22138 1 189.0000 170.9749 10.54%
2614.94/2621.49 c 2622 87650 22197 1 189.0000 170.9762 10.54%
2620.32/2626.87 c 2627 87831 22260 1 189.0000 170.9783 10.54%
2625.81/2632.38 c 2632 88065 22330 1 189.0000 170.9797 10.54%
2631.70/2638.20 c 2638 88244 22391 1 189.0000 170.9812 10.54%
2637.69/2644.25 c 2644 88453 22456 1 189.0000 170.9820 10.54%
2642.98/2649.50 c 2650 88695 22504 1 189.0000 170.9824 10.54%
2648.37/2654.99 c 2655 88913 22566 1 189.0000 170.9833 10.54%
2653.57/2660.18 c 2660 89131 22628 1 189.0000 170.9844 10.54%
2658.74/2665.38 c 2665 89251 22670 1 189.0000 170.9857 10.54%
2664.43/2671.01 c 2671 89465 22734 1 189.0000 170.9864 10.54%
2669.71/2676.32 c 2676 89701 22788 1 189.0000 170.9879 10.53%
2675.41/2682.03 c 2682 89911 22868 1 189.0000 170.9903 10.53%
2680.79/2687.41 c 2687 90181 22922 1 189.0000 170.9912 10.53%
2686.07/2692.72 c 2693 90391 22978 1 189.0000 170.9923 10.53%
2691.16/2697.83 c 2698 90551 23022 1 189.0000 170.9944 10.53%
2696.94/2703.60 c 2704 90827 23082 1 189.0000 170.9950 10.53%
2701.93/2708.63 c 2709 91061 23152 1 189.0000 170.9957 10.53%
2707.72/2714.44 c 2714 91379 23224 1 189.0000 170.9962 10.53%
2713.33/2720.03 c 2720 91601 23288 1 189.0000 170.9993 10.53%
2718.80/2725.50 c 2726 91913 23346 1 189.0000 171.0000 10.53%
2724.40/2731.12 c 2731 92181 23396 1 189.0000 171.0009 10.53%
2730.07/2736.81 c 2737 92434 23469 1 189.0000 171.0025 10.52%
2735.15/2741.96 c 2742 92531 23522 1 189.0000 171.0043 10.52%
2740.53/2747.37 c 2747 92757 23590 1 189.0000 171.0066 10.52%
2745.72/2752.58 c 2753 92981 23624 1 189.0000 171.0070 10.52%
2751.22/2758.04 c 2758 93241 23678 1 189.0000 171.0077 10.52%
2756.30/2763.13 c 2763 93401 23714 1 189.0000 171.0088 10.52%
2761.38/2768.26 c 2768 93621 23758 1 189.0000 171.0096 10.52%
2766.96/2773.84 c 2774 93791 23834 1 189.0000 171.0116 10.52%
2772.27/2779.17 c 2779 93981 23880 1 189.0000 171.0131 10.52%
2777.54/2784.40 c 2784 94161 23922 1 189.0000 171.0136 10.52%
2783.24/2790.17 c 2790 94331 23990 1 189.0000 171.0149 10.52%
2788.51/2795.49 c 2795 94541 24042 1 189.0000 171.0155 10.52%
2794.11/2801.02 c 2801 94791 24100 1 189.0000 171.0165 10.52%
2799.98/2806.92 c 2807 95033 24164 1 189.0000 171.0178 10.51%
2804.97/2811.98 c 2812 95291 24206 1 189.0000 171.0203 10.51%
2809.95/2817.00 c 2817 95483 24256 1 189.0000 171.0219 10.51%
2815.05/2822.08 c 2822 95640 24325 1 189.0000 171.0234 10.51%
2820.23/2827.28 c 2827 95861 24358 1 189.0000 171.0242 10.51%
2825.31/2832.35 c 2832 96101 24392 1 189.0000 171.0245 10.51%
2831.12/2838.20 c 2838 96373 24454 1 189.0000 171.0250 10.51%
2836.79/2843.84 c 2844 96601 24508 1 189.0000 171.0260 10.51%
2841.99/2849.03 c 2849 96811 24578 1 189.0000 171.0267 10.51%
2847.17/2854.27 c 2854 97001 24638 1 189.0000 171.0271 10.51%
2852.25/2859.38 c 2859 97181 24704 1 189.0000 171.0276 10.51%
2857.54/2864.67 c 2865 97431 24808 1 189.0000 171.0288 10.51%
2862.63/2869.70 c 2870 97553 24850 1 189.0000 171.0302 10.51%
2868.21/2875.31 c 2875 97751 24926 1 189.0000 171.0317 10.51%
2873.60/2880.76 c 2881 97938 24985 1 189.0000 171.0320 10.51%
2879.08/2886.20 c 2886 98245 25064 1 189.0000 171.0332 10.50%
2884.47/2891.63 c 2892 98406 25119 1 189.0000 171.0337 10.50%
2890.75/2897.90 c 2898 98663 25188 1 189.0000 171.0343 10.50%
2895.75/2902.95 c 2903 98921 25232 1 189.0000 171.0356 10.50%
2902.53/2909.75 c 2910 99143 25288 1 189.0000 171.0359 10.50%
2907.93/2915.19 c 2915 99421 25340 1 189.0000 171.0375 10.50%
2913.71/2920.95 c 2921 99622 25387 1 189.0000 171.0380 10.50%
2918.80/2926.02 c 2926 99821 25424 1 189.0000 171.0386 10.50%
2924.48/2931.72 c 2932 100071 25484 1 189.0000 171.0390 10.50%
2930.16/2937.42 c 2937 100337 25548 1 189.0000 171.0395 10.50%
2935.76/2943.06 c 2943 100551 25594 1 189.0000 171.0406 10.50%
2941.23/2948.53 c 2949 100756 25655 1 189.0000 171.0414 10.50%
2946.22/2953.58 c 2954 100961 25696 1 189.0000 171.0422 10.50%
2952.11/2959.42 c 2959 101171 25756 1 189.0000 171.0435 10.50%
2957.71/2965.08 c 2965 101441 25780 1 189.0000 171.0439 10.50%
2963.70/2971.09 c 2971 101718 25827 1 189.0000 171.0445 10.50%
2968.98/2976.30 c 2976 101931 25890 1 189.0000 171.0449 10.50%
2974.36/2981.79 c 2982 102151 25946 1 189.0000 171.0458 10.50%
2979.45/2986.83 c 2987 102371 25998 1 189.0000 171.0466 10.50%
2985.04/2992.47 c 2992 102581 26052 1 189.0000 171.0472 10.50%
2990.12/2997.52 c 2998 102711 26102 1 189.0000 171.0475 10.50%
2995.31/3002.79 c 3003 102881 26168 1 189.0000 171.0484 10.50%
3001.10/3008.57 c 3009 103081 26224 1 189.0000 171.0493 10.49%
3006.39/3013.83 c 3014 103287 26308 1 189.0000 171.0504 10.49%
3012.27/3019.70 c 3020 103513 26348 1 189.0000 171.0509 10.49%
3017.57/3025.02 c 3025 103797 26378 1 189.0000 171.0514 10.49%
3022.75/3030.26 c 3030 103993 26444 1 189.0000 171.0531 10.49%
3028.65/3036.14 c 3036 104265 26496 1 189.0000 171.0534 10.49%
3034.02/3041.56 c 3042 104441 26552 1 189.0000 171.0537 10.49%
3039.41/3046.94 c 3047 104713 26608 1 189.0000 171.0542 10.49%
3045.39/3052.92 c 3053 104964 26661 1 189.0000 171.0552 10.49%
3050.98/3058.58 c 3059 105251 26710 1 189.0000 171.0561 10.49%
3056.96/3064.57 c 3065 105506 26729 1 189.0000 171.0564 10.49%
3062.46/3070.09 c 3070 105731 26778 1 189.0000 171.0577 10.49%
3067.73/3075.32 c 3075 106041 26824 1 189.0000 171.0584 10.49%
3073.22/3080.88 c 3081 106243 26872 1 189.0000 171.0588 10.49%
3078.52/3086.17 c 3086 106497 26916 1 189.0000 171.0602 10.49%
3084.19/3091.84 c 3092 106691 26968 1 189.0000 171.0606 10.49%
3090.28/3097.93 c 3098 106883 27042 1 189.0000 171.0614 10.49%
3095.67/3103.30 c 3103 107061 27090 1 189.0000 171.0629 10.49%
3100.65/3108.35 c 3108 107173 27150 1 189.0000 171.0634 10.49%
3105.64/3113.39 c 3113 107347 27208 1 189.0000 171.0638 10.49%
3111.03/3118.72 c 3119 107585 27266 1 189.0000 171.0646 10.48%
3116.33/3124.10 c 3124 107783 27322 1 189.0000 171.0652 10.48%
3121.42/3129.18 c 3129 107948 27375 1 189.0000 171.0661 10.48%
3127.40/3135.18 c 3135 108212 27443 1 189.0000 171.0673 10.48%
3132.68/3140.49 c 3140 108450 27491 1 189.0000 171.0682 10.48%
3138.38/3146.17 c 3146 108651 27550 1 189.0000 171.0696 10.48%
3143.65/3151.45 c 3151 108825 27606 1 189.0000 171.0698 10.48%
3149.13/3156.90 c 3157 109039 27672 1 189.0000 171.0712 10.48%
3154.92/3162.71 c 3163 109241 27716 1 189.0000 171.0721 10.48%
3160.72/3168.50 c 3169 109536 27761 1 189.0000 171.0727 10.48%
3165.70/3173.54 c 3174 109715 27818 1 189.0000 171.0735 10.48%
3171.20/3179.04 c 3179 109887 27864 1 189.0000 171.0746 10.48%
3176.47/3184.33 c 3184 110191 27908 1 189.0000 171.0765 10.48%
3181.46/3189.34 c 3189 110343 27968 1 189.0000 171.0780 10.48%
3186.85/3194.79 c 3195 110563 28036 1 189.0000 171.0785 10.48%
3192.15/3200.02 c 3200 110781 28098 1 189.0000 171.0795 10.47%
3197.24/3205.20 c 3205 111006 28141 1 189.0000 171.0797 10.47%
3202.51/3210.44 c 3210 111121 28202 1 189.0000 171.0810 10.47%
3208.00/3216.01 c 3216 111423 28264 1 189.0000 171.0812 10.47%
3213.48/3221.48 c 3221 111621 28320 1 189.0000 171.0824 10.47%
3218.97/3227.01 c 3227 111841 28372 1 189.0000 171.0826 10.47%
3224.83/3232.85 c 3233 112036 28425 1 189.0000 171.0831 10.47%
3230.73/3238.70 c 3239 112321 28474 1 189.0000 171.0844 10.47%
3236.42/3244.46 c 3244 112490 28545 1 189.0000 171.0847 10.47%
3242.02/3250.10 c 3250 112817 28598 1 189.0000 171.0852 10.47%
3247.59/3255.69 c 3256 113030 28657 1 189.0000 171.0856 10.47%
3252.88/3260.99 c 3261 113294 28679 1 189.0000 171.0859 10.47%
3258.97/3267.08 c 3267 113503 28724 1 189.0000 171.0867 10.47%
3264.54/3272.60 c 3273 113671 28780 1 189.0000 171.0884 10.47%
3269.94/3278.04 c 3278 113897 28826 1 189.0000 171.0889 10.47%
3275.41/3283.59 c 3284 114101 28888 1 189.0000 171.0900 10.47%
3281.10/3289.27 c 3289 114371 28926 1 189.0000 171.0904 10.47%
3286.19/3294.33 c 3294 114563 28980 1 189.0000 171.0910 10.47%
3291.68/3299.89 c 3300 114720 29047 1 189.0000 171.0916 10.47%
3297.17/3305.34 c 3305 114921 29116 1 189.0000 171.0922 10.47%
3302.35/3310.58 c 3311 115131 29180 1 189.0000 171.0924 10.47%
3307.85/3316.08 c 3316 115351 29228 1 189.0000 171.0938 10.47%
3313.31/3321.51 c 3322 115553 29288 1 189.0000 171.0938 10.47%
3319.00/3327.23 c 3327 115763 29354 1 189.0000 171.0948 10.47%
3324.28/3332.60 c 3333 115991 29418 1 189.0000 171.0968 10.46%
3329.67/3337.99 c 3338 116123 29462 1 189.0000 171.0974 10.46%
3335.46/3343.77 c 3344 116389 29504 1 189.0000 171.0980 10.46%
3341.34/3349.61 c 3350 116638 29553 1 189.0000 171.0985 10.46%
3346.33/3354.69 c 3355 116891 29596 1 189.0000 171.0997 10.46%
3351.83/3360.14 c 3360 117151 29630 1 189.0000 171.1003 10.46%
3357.71/3366.04 c 3366 117453 29686 1 189.0000 171.1009 10.46%
3363.60/3371.91 c 3372 117741 29762 1 189.0000 171.1025 10.46%
3369.28/3377.61 c 3378 117893 29844 1 189.0000 171.1033 10.46%
3374.37/3382.72 c 3383 118045 29904 1 189.0000 171.1042 10.46%
3380.15/3388.50 c 3388 118266 29955 1 189.0000 171.1048 10.46%
3385.44/3393.90 c 3394 118531 30000 1 189.0000 171.1054 10.46%
3390.74/3399.13 c 3399 118681 30074 1 189.0000 171.1068 10.46%
3396.41/3404.87 c 3405 118896 30145 1 189.0000 171.1069 10.46%
3402.40/3410.83 c 3411 119151 30206 1 189.0000 171.1079 10.46%
3408.19/3416.65 c 3417 119386 30307 1 189.0000 171.1087 10.46%
3413.27/3421.74 c 3422 119571 30360 1 189.0000 171.1091 10.46%
3418.46/3426.95 c 3427 119751 30418 1 189.0000 171.1096 10.46%
3423.75/3432.22 c 3432 120011 30476 1 189.0000 171.1101 10.46%
3429.14/3437.61 c 3438 120289 30528 1 189.0000 171.1109 10.45%
3434.42/3442.99 c 3443 120502 30581 1 189.0000 171.1116 10.45%
3440.00/3448.56 c 3449 120695 30646 1 189.0000 171.1121 10.45%
3445.39/3453.98 c 3454 121011 30680 1 189.0000 171.1124 10.45%
3450.38/3459.01 c 3459 121221 30710 1 189.0000 171.1125 10.45%
3455.95/3464.52 c 3465 121451 30754 1 189.0000 171.1140 10.45%
3461.45/3470.05 c 3470 121691 30810 1 189.0000 171.1149 10.45%
3466.83/3475.42 c 3475 121855 30872 1 189.0000 171.1152 10.45%
3472.62/3481.20 c 3481 122085 30932 1 189.0000 171.1160 10.45%
3477.61/3486.28 c 3486 122361 30978 1 189.0000 171.1167 10.45%
3482.69/3491.37 c 3491 122671 31026 1 189.0000 171.1170 10.45%
3488.18/3496.80 c 3497 122843 31072 1 189.0000 171.1175 10.45%
3493.97/3502.67 c 3503 123037 31152 1 189.0000 171.1184 10.45%
3499.37/3508.05 c 3508 123221 31206 1 189.0000 171.1188 10.45%
3504.94/3513.65 c 3514 123413 31268 1 189.0000 171.1202 10.45%
3510.34/3519.10 c 3519 123644 31339 1 189.0000 171.1206 10.45%
3516.21/3524.90 c 3525 123861 31400 1 189.0000 171.1214 10.45%
3522.19/3530.97 c 3531 124053 31468 1 189.0000 171.1220 10.45%
3528.08/3536.82 c 3537 124341 31522 1 189.0000 171.1225 10.45%
3533.06/3541.88 c 3542 124478 31577 1 189.0000 171.1233 10.45%
3538.45/3547.21 c 3547 124695 31642 1 189.0000 171.1237 10.45%
3544.13/3552.94 c 3553 124933 31700 1 189.0000 171.1244 10.45%
3549.42/3558.28 c 3558 125163 31732 1 189.0000 171.1253 10.45%
3554.82/3563.65 c 3564 125367 31798 1 189.0000 171.1264 10.44%
3560.60/3569.49 c 3570 125626 31831 1 189.0000 171.1272 10.44%
3566.20/3575.02 c 3575 125841 31888 1 189.0000 171.1288 10.44%
3572.08/3581.01 c 3581 126063 31964 1 189.0000 171.1296 10.44%
3577.66/3586.55 c 3587 126379 32002 1 189.0000 171.1302 10.44%
3583.84/3592.70 c 3593 126603 32028 1 189.0000 171.1305 10.44%
3589.02/3598.01 c 3598 126761 32088 0 189.0000 171.1324 10.44%
3589.24/3598.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.24/3598.16 c Total Time : 3598.15
3589.24/3598.16 c solving : 3598.15
3589.24/3598.16 c presolving : 0.06 (included in solving)
3589.24/3598.16 c B&B Tree :
3589.24/3598.16 c nodes (total) : 1
3589.24/3598.16 c Solution :
3589.24/3598.16 c Solutions found : 14
3589.24/3598.16 c Primal Bound : +1.89000000000000e+02
3589.24/3598.16 c Dual Bound : +1.71132416150235e+02
3589.24/3598.16 c Gap : 10.44079 %
3589.24/3598.16 c * Warning: final gap: 1.04408e-01 is greater than SCIPepsilon: 1.00000e-09
3589.24/3598.16 o 189
3589.24/3598.16 s SATISFIABLE
3589.24/3598.16 v -x479 -x478 x477 -x476 x475 x474 -x473 -x472 x471 -x470 x469 x468 -x467 x466 -x465 -x464 x463 -x462 x461 -x460 x459 -x458 x457
3589.24/3598.16 v -x456 x455 x454 -x453 -x452 -x451 x450 -x449 x448 x447 x446 -x445 -x444 x443 x442 x441 -x440 -x439 x438 x437 -x436 x435 -x434
3589.24/3598.16 v -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 x421 -x420 x419 x418 x417 -x416 -x415 -x414 x413 -x412
3589.24/3598.16 v -x411 -x410 x409 x408 x407 x406 -x405 -x404 x403 x402 x401 x400 x399 x398 x397 x396 -x395 -x394 -x393 -x392 x391 x390 -x389
3589.24/3598.16 v x388 -x387 -x386 x385 -x384 x383 -x382 x381 x380 x379 -x378 x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 x367 -x366
3589.24/3598.16 v -x365 x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344
3589.24/3598.16 v x343 -x342 -x341 x340 x339 x338 -x337 -x336 x335 x334 x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 x322
3589.24/3598.16 v x321 x320 x319 x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 x309 x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300
3589.24/3598.16 v -x299 -x298 -x297 -x296 -x295 x294 -x293 x292 -x291 -x290 -x289 -x288 x287 x286 -x285 -x284 -x283 x282 x281 -x280 -x279 -x278
3589.24/3598.16 v -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 x266 -x265 x264 -x263 -x262 -x261 x260 x259 x258 -x257 x256
3589.24/3598.16 v x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 x246 x245 x244 x243 -x242 -x241 -x240 x239 x238 x237 -x236 -x235 x234 -x233
3589.24/3598.16 v -x232 -x231 x230 x229 x228 x227 -x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 -x217 -x216 x215 -x214 x213 -x212 x211
3589.24/3598.16 v -x210 -x209 x208 -x207 x206 x205 x204 -x203 x202 x201 x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 x189 x188
3589.24/3598.16 v -x187 x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 x172 x171 x170 x169 -x168 -x167 -x166
3589.24/3598.16 v -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 x157 x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 x145 x144 -x143
3589.24/3598.16 v -x142 -x141 x140 x139 -x138 x137 x136 x135 x134 x133 -x132 -x131 x130 x129 x128 -x127 -x126 -x125 x124 x123 x122 x121 -x120
3589.24/3598.16 v -x119 -x118 x117 -x116 x115 x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 x102 -x101 x100 -x99 x98
3589.24/3598.16 v -x97 -x96 x95 x94 -x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 x75 x74 -x73 x72 -x71
3589.24/3598.16 v -x70 x69 -x68 -x67 x66 x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 x46 -x45 x44
3589.24/3598.16 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18
3589.24/3598.16 v -x17 -x16 x15 -x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (54614 MiB free)
memory of node 1: 64473 MiB (60867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463983-1722378596/watcher-4463983-1722378596 -o /tmp/evaluation-result-4463983-1722378596/solver-4463983-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28657 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463983-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=28813, runsolver pid=28809
Current StackSize limit: 8192 KiB
[startup+0.100483 s]*
/proc/loadavg: 0.13 0.12 0.09 5/251 28822
/proc/meminfo: memFree=118226588/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=112636 memory=24636 CPUtime=0.1 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 3660 0 0 0 9 1 0 0 20 0 3 0 4457243 115339264 6159 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 28159 6159 2806 3035 0 9607 0
[pid=28813/tid=28820] ppid=28809 vsize=112636 memory=4026531971 CPUtime=0.02 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 1174 0 0 0 2 0 0 0 20 0 3 0 4457250 115339264 6159 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=112636 memory=3617 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 115339264 6159 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112636 KiB
Current children cumulated memory: 24636 KiB
[startup+0.222481 s]*
/proc/loadavg: 0.13 0.12 0.09 6/251 28822
/proc/meminfo: memFree=118219268/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=112636 memory=28544 CPUtime=0.2 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 4525 0 0 0 19 1 0 0 20 0 3 0 4457243 115339264 7136 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 28159 7136 2934 3035 0 10483 0
[pid=28813/tid=28820] ppid=28809 vsize=112636 memory=664970838410264707 CPUtime=0.11 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 2039 0 0 0 11 0 0 0 20 0 3 0 4457250 115339264 7136 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=112636 memory=3617 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 115339264 7136 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112636 KiB
Current children cumulated memory: 28544 KiB
[startup+0.313479 s]*
/proc/loadavg: 0.13 0.12 0.09 5/251 28822
/proc/meminfo: memFree=118218384/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=112636 memory=28804 CPUtime=0.28 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 4545 0 0 0 27 1 0 0 20 0 3 0 4457243 115339264 7201 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 28159 7201 2934 3035 0 10500 0
[pid=28813/tid=28820] ppid=28809 vsize=112636 memory=-5155635708196842629 CPUtime=0.2 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 2059 0 0 0 20 0 0 0 20 0 3 0 4457250 115339264 7201 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=112636 memory=0 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 115339264 7201 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 112636 KiB
Current children cumulated memory: 28804 KiB
[startup+0.70034 s]
/proc/loadavg: 0.13 0.12 0.09 5/252 28823
/proc/meminfo: memFree=118170052/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=117896 memory=45496 CPUtime=0.65 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 8744 0 0 0 63 2 0 0 20 0 3 0 4457243 120725504 11374 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 29474 11374 2950 3035 0 14737 0
[pid=28813/tid=28820] ppid=28809 vsize=117896 memory=0 CPUtime=0.57 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 6258 0 0 0 56 1 0 0 20 0 3 0 4457250 120725504 11374 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=117896 memory=0 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 120725504 11374 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 117896 KiB
Current children cumulated memory: 45496 KiB
[startup+1.50034 s]
/proc/loadavg: 0.13 0.12 0.09 5/253 28826
/proc/meminfo: memFree=118074108/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=141448 memory=81640 CPUtime=1.45 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 22887 0 0 0 140 5 0 0 20 0 3 0 4457243 144842752 20410 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 35362 20410 2950 3035 0 23853 0
[pid=28813/tid=28820] ppid=28809 vsize=141448 memory=0 CPUtime=1.37 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 20401 0 0 0 133 4 0 0 20 0 3 0 4457250 144842752 20410 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=141448 memory=0 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 144842752 20410 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 141448 KiB
Current children cumulated memory: 81640 KiB
[startup+3.11385 s]
/proc/loadavg: 0.44 0.18 0.11 5/253 28826
/proc/meminfo: memFree=117730588/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=204936 memory=161340 CPUtime=3.06 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 43811 0 0 0 298 8 0 0 20 0 3 0 4457243 209854464 40335 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 51234 40335 2950 3035 0 44928 0
[pid=28813/tid=28820] ppid=28809 vsize=204936 memory=0 CPUtime=2.98 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 41323 0 0 0 290 8 0 0 20 0 3 0 4457250 209854464 40335 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=204936 memory=4417 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4457252 209854464 40335 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 204936 KiB
Current children cumulated memory: 161340 KiB
[startup+6.30031 s]
/proc/loadavg: 0.44 0.18 0.11 5/253 28826
/proc/meminfo: memFree=117721628/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=204936 memory=162128 CPUtime=6.24 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 45748 0 0 0 615 9 0 0 20 0 3 0 4457243 209854464 40532 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 51234 40532 2950 3035 0 44928 0
[pid=28813/tid=28820] ppid=28809 vsize=204936 memory=12160 CPUtime=6.16 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 43253 0 0 0 608 8 0 0 20 0 3 0 4457250 209854464 40532 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=204936 memory=0 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4457252 209854464 40532 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 204936 KiB
Current children cumulated memory: 162128 KiB
[startup+12.7003 s]
/proc/loadavg: 0.98 0.31 0.15 5/253 28827
/proc/meminfo: memFree=117680580/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=204936 memory=162352 CPUtime=12.63 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 50757 0 0 0 1254 9 0 0 20 0 3 0 4457243 209854464 40588 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 51234 40588 2998 3035 0 44928 0
[pid=28813/tid=28820] ppid=28809 vsize=204936 memory=16076 CPUtime=12.54 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 48193 0 0 0 1246 8 0 0 20 0 3 0 4457250 209854464 40588 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=204936 memory=2256 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4457252 209854464 40588 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 204936 KiB
Current children cumulated memory: 162352 KiB
[startup+25.5004 s]
/proc/loadavg: 1.52 0.45 0.20 5/257 28889
/proc/meminfo: memFree=117575872/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=266848 memory=199032 CPUtime=25.38 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 110179 0 0 0 2523 15 0 0 20 0 3 0 4457243 273252352 49758 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 66712 49758 2998 3035 0 54243 0
[pid=28813/tid=28820] ppid=28809 vsize=266848 memory=65 CPUtime=25.29 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 107355 0 0 0 2515 14 0 0 20 0 3 0 4457250 273252352 49758 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=266848 memory=0 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4457252 273252352 49758 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 199032 KiB
[startup+51.1136 s]
/proc/loadavg: 2.45 0.75 0.31 5/257 28893
/proc/meminfo: memFree=117511424/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=266848 memory=221832 CPUtime=50.92 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 161811 0 0 0 5073 19 0 0 20 0 3 0 4457243 273252352 55458 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 66712 55458 2998 3035 0 60151 0
[pid=28813/tid=28820] ppid=28809 vsize=266848 memory=221800 CPUtime=50.84 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 158630 0 0 0 5066 18 0 0 20 0 3 0 4457250 273252352 55458 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=266848 memory=-7089911029484838272 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4457252 273252352 55458 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 221832 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.31 0.53 5/257 28902
/proc/meminfo: memFree=117435176/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=331360 memory=237860 CPUtime=101.98 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 246176 0 0 0 10173 25 0 0 20 0 3 0 4457243 339312640 59465 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 82840 59465 2998 3035 0 63079 0
[pid=28813/tid=28820] ppid=28809 vsize=331360 memory=12836 CPUtime=101.9 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 242866 0 0 0 10166 24 0 0 20 0 3 0 4457250 339312640 59465 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=331360 memory=228336 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4457252 339312640 59465 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 331360 KiB
Current children cumulated memory: 237860 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.83 0.76 5/257 28914
/proc/meminfo: memFree=117288408/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=331360 memory=299072 CPUtime=161.84 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 310510 0 0 0 16153 31 0 0 20 0 3 0 4457243 339312640 74768 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 82840 74768 2998 3035 0 78852 0
[pid=28813/tid=28820] ppid=28809 vsize=331360 memory=228308 CPUtime=161.75 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 307163 0 0 0 16145 30 0 0 20 0 3 0 4457250 339312640 74768 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=331360 memory=12836 CPUtime=0 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4457252 339312640 74768 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 331360 KiB
################
# More data... #
################
/proc/28813/statm: 101407 86526 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=12160 CPUtime=3453.31 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 795461 0 0 0 345236 95 0 0 20 0 3 0 4457250 415363072 86526 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=12160 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 221 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86526 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.33 4.19 5/250 30711
/proc/meminfo: memFree=116718772/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346116 CPUtime=3513.62 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 804741 0 0 0 351252 110 0 0 20 0 3 0 4457243 415363072 86529 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86529 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=-7089911029484838272 CPUtime=3513.16 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 799776 0 0 0 351221 95 0 0 20 0 3 0 4457250 415363072 86529 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=-7089911029484838272 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 224 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86529 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346116 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.28 4.18 5/250 30722
/proc/meminfo: memFree=116715540/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3573.47 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 809030 0 0 0 357236 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=12160 CPUtime=3573.01 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 804041 0 0 0 357205 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=12952 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 227 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3598.16 s]
# the end of solver process 28813 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.18 s, system=1.12657 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.28 4.18 5/250 30723
/proc/meminfo: memFree=116715232/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3575.18 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 809032 0 0 0 357407 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=-7668622482090321278 CPUtime=3574.71 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 804043 0 0 0 357375 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=12160 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 227 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3575.18 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.27 4.18 5/250 30723
/proc/meminfo: memFree=116715500/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3581.55 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 809492 0 0 0 358044 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=346992 CPUtime=3581.08 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 804503 0 0 0 358012 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=12160 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 227 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3581.55 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.27 4.18 5/250 30724
/proc/meminfo: memFree=116715480/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3584.74 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 811727 0 0 0 358363 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=346992 CPUtime=3584.28 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 806723 0 0 0 358332 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=346992 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 228 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.27 4.18 5/250 30724
/proc/meminfo: memFree=116715484/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3586.33 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 811768 0 0 0 358522 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=12160 CPUtime=3585.87 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 806764 0 0 0 358491 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=346992 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 228 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.27 4.18 5/250 30724
/proc/meminfo: memFree=116715460/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3587.93 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 811801 0 0 0 358682 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=346992 CPUtime=3587.46 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 806797 0 0 0 358650 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=346992 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 228 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3587.93 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.27 4.18 5/244 30732
/proc/meminfo: memFree=116728348/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3588.72 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 811814 0 0 0 358761 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=12660 CPUtime=3588.26 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 806810 0 0 0 358730 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=12952 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 228 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3588.72 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.26 4.18 5/251 30772
/proc/meminfo: memFree=116715144/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=405628 memory=346992 CPUtime=3589.14 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 811828 0 0 0 358803 111 0 0 20 0 3 0 4457243 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101407 86748 3302 3035 0 89576 0
[pid=28813/tid=28820] ppid=28809 vsize=405628 memory=-5155629089669540741 CPUtime=3588.67 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 806822 0 0 0 358771 96 0 0 20 0 3 0 4457250 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=405628 memory=18268 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 228 0 0 0 1 3 0 0 20 0 3 0 4457252 415363072 86748 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3589.14 s
Current children cumulated vsize: 405628 KiB
Current children cumulated memory: 346992 KiB
[startup+3598.11 s]
/proc/loadavg: 4.12 4.26 4.18 5/251 30772
/proc/meminfo: memFree=116715144/131655788 swapFree=131071996/131071996
[pid=28813] ppid=28809 vsize=404600 memory=345968 CPUtime=3589.24 cores=1,3
/proc/28813/stat : 28813 (fscip) S 28809 28813 28645 0 -1 1077936128 813131 0 0 0 358813 111 0 0 20 0 3 0 4457243 414310400 86492 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
/proc/28813/statm: 101150 86492 3302 3035 0 89319 0
[pid=28813/tid=28820] ppid=28809 vsize=404600 memory=337043 CPUtime=3588.77 cores=1,3
/proc/28813/task/28820/stat : 28820 (fscip) R 28809 28813 28645 0 -1 4194368 808125 0 0 0 358781 96 0 0 20 0 3 0 4457250 414310400 86492 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
[pid=28813/tid=28822] ppid=28809 vsize=404600 memory=-7089911029484838272 CPUtime=0.04 cores=1,3
/proc/28813/task/28822/stat : 28822 (fscip) S 28809 28813 28645 0 -1 1077936192 228 0 0 0 1 3 0 0 20 0 3 0 4457252 414310400 86492 134679101440 4194304 16623229 140728233777904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42582016 140728233784342 140728233784458 140728233784458 140728233791472 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 404600 KiB
Current children cumulated memory: 345968 KiB
Child status: 0
Real time (s): 3598.16
CPU time (s): 3589.3
CPU user time (s): 3588.18
CPU system time (s): 1.12657
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 405628
Max. memory (cumulated for all children) (KiB): 348124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.17
system time used= 1.12657
maximum resident set size= 348124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813594
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= 12315
involuntary context switches= 1797
# summary of solver processes directly reported to runsolver:
# pid: 28813
# total CPU time (s): 3589.3
# total CPU user time (s): 3588.18
# total CPU system time (s): 1.12657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.242 second user time and 32.9426 second system time
The end
Begin job on nodeC009 at 2024-07-31 00:29:56
IDJOB=4463983
IDBENCH=147541
IDSOLVER=3092
FILE ID=nodeC009/4463983-1722378596
RUNJOBID= nodeC009-1722378594-28657
SLURM_JOB_ID= 8249839
Free space on /tmp= 723724 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463983-1722378596/watcher-4463983-1722378596 -o /tmp/evaluation-result-4463983-1722378596/solver-4463983-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28657 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463983-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=1453536771
nodeC009.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 : 1197.259
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.99
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 : 1197.307
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.37
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.262
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.99
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.257
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.37
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 : 2494.284
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.99
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.369
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.37
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.442
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.99
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.457
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 118254500 kB
MemAvailable: 129861168 kB
Buffers: 86264 kB
Cached: 12325988 kB
SwapCached: 0 kB
Active: 251128 kB
Inactive: 12651908 kB
Active(anon): 1464 kB
Inactive(anon): 510960 kB
Active(file): 249664 kB
Inactive(file): 12140948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117188 kB
Writeback: 0 kB
AnonPages: 490640 kB
Mapped: 108892 kB
Shmem: 21320 kB
KReclaimable: 112508 kB
Slab: 193256 kB
SReclaimable: 112508 kB
SUnreclaim: 80748 kB
KernelStack: 3868 kB
PageTables: 10388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 844420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6880 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 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: 265032 kB
DirectMap2M: 12222464 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC009 at 2024-07-31 01:29:55