0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24416256, getVmSize() = 24416256, SCIPgetMemUsed() = 2332677, SCIPgetMemTotal() = 2846197, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 18034688, getVmSize() = 29687808, SCIPgetMemUsed() = 3326066, SCIPgetMemTotal() = 6665194, SCIPgetMemExternEstim() = 1048576
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4434651-1721084501
0.00/0.02 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 479
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 577
0.00/0.02 c Constraints : Number
0.00/0.02 c knapsack : 418
0.00/0.02 c setppc : 138
0.00/0.02 c logicor : 21
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.05 c * 0 0 1 1 228.0000 - -
0.00/0.05 c * 0 0 1 1 214.0000 - -
5.27/5.31 c 5 2 1 1 214.0000 168.6085 26.92%
10.26/10.32 c 10 6 5 1 214.0000 168.6085 26.92%
15.14/15.28 c * 15 12 11 1 213.0000 168.6085 26.33%
15.14/15.28 c * 15 12 11 1 208.0000 168.6085 23.36%
15.14/15.28 c * 15 12 11 1 202.0000 168.6085 19.80%
15.14/15.29 c * 15 12 11 1 200.0000 168.6085 18.62%
15.54/15.64 c 16 44 43 1 200.0000 168.6085 18.62%
20.83/20.95 c 21 171 170 1 200.0000 168.6085 18.62%
23.12/23.24 c * 23 217 216 1 198.0000 168.6085 17.43%
26.21/26.38 c 26 316 315 1 198.0000 168.6085 17.43%
31.60/31.70 c 32 412 411 1 198.0000 168.6085 17.43%
32.09/32.26 c * 32 412 411 1 195.0000 168.6085 15.65%
37.18/37.37 c 37 487 486 1 195.0000 168.6085 15.65%
42.47/42.67 c 43 547 546 1 195.0000 168.6085 15.65%
48.06/48.28 c 48 617 616 1 195.0000 168.6085 15.65%
53.34/53.51 c 54 665 664 1 195.0000 168.6085 15.65%
59.33/59.58 c 60 738 737 1 195.0000 168.6085 15.65%
64.72/64.92 c 65 778 777 1 195.0000 168.6085 15.65%
70.30/70.54 c 71 855 854 1 195.0000 168.6085 15.65%
75.99/76.22 c 76 908 907 1 195.0000 168.6085 15.65%
81.97/82.21 c 82 978 977 1 195.0000 168.8811 15.47%
87.46/87.72 c 88 1037 1036 1 195.0000 168.9777 15.40%
95.03/95.36 c 95 1051 1 1 195.0000 168.9777 15.40%
100.22/100.56 c 101 1061 11 1 195.0000 168.9777 15.40%
105.41/105.78 c 106 1080 30 1 195.0000 168.9777 15.40%
110.60/110.96 c 111 1136 86 1 195.0000 168.9777 15.40%
116.58/116.93 c 117 1301 251 1 195.0000 168.9777 15.40%
121.97/122.30 c 122 1493 425 1 195.0000 168.9777 15.40%
127.06/127.45 c 127 1651 523 1 195.0000 168.9815 15.40%
132.14/132.54 c 133 1931 651 1 195.0000 169.0964 15.32%
137.73/138.12 c 138 2106 714 1 195.0000 169.1630 15.27%
142.81/143.28 c 143 2268 766 1 195.0000 169.1758 15.26%
148.61/149.06 c 149 2406 824 1 195.0000 169.2035 15.25%
153.79/154.24 c 154 2681 959 1 195.0000 169.2206 15.23%
159.48/159.95 c 160 2913 1073 1 195.0000 169.2949 15.18%
164.86/165.31 c 165 3150 1126 1 195.0000 169.2957 15.18%
170.15/170.66 c 171 3319 1197 1 195.0000 169.3088 15.17%
175.44/175.92 c 176 3545 1287 1 195.0000 169.3125 15.17%
180.63/181.10 c 181 3727 1329 1 195.0000 169.3320 15.16%
186.51/187.00 c 187 3889 1377 1 195.0000 169.4072 15.11%
192.19/192.78 c 193 4083 1465 1 195.0000 169.4334 15.09%
197.78/198.36 c 198 4341 1521 1 195.0000 169.4796 15.06%
203.86/204.43 c 204 4513 1605 1 195.0000 169.4975 15.05%
208.94/209.51 c 210 4806 1690 1 195.0000 169.5090 15.04%
214.73/215.34 c 215 4961 1749 1 195.0000 169.5227 15.03%
216.73/217.39 c * 217 4967 1755 1 194.0000 169.5227 14.44%
219.92/220.57 c 221 5120 1640 1 194.0000 169.5344 14.43%
225.91/226.51 c 227 5221 1667 1 194.0000 169.5430 14.43%
231.19/231.87 c 232 5370 1724 1 194.0000 169.5713 14.41%
237.38/238.03 c 238 5653 1789 1 194.0000 169.5801 14.40%
242.57/243.22 c 243 5841 1843 1 194.0000 169.5939 14.39%
248.15/248.80 c 249 5971 1887 1 194.0000 169.6008 14.39%
253.34/254.04 c 254 6043 1923 1 194.0000 169.6056 14.38%
258.92/259.68 c 260 6181 1955 1 194.0000 169.6218 14.37%
264.81/265.55 c 266 6293 2013 1 194.0000 169.6246 14.37%
269.79/270.56 c 271 6491 2071 1 194.0000 169.6364 14.36%
275.58/276.30 c 276 6593 2127 1 194.0000 169.6444 14.36%
281.17/281.99 c * 282 6712 2166 1 192.0000 169.6493 13.17%
281.17/281.99 c 282 6712 2166 1 192.0000 169.6493 13.17%
281.28/282.00 c * 282 6712 2166 1 191.0000 169.6493 12.59%
286.76/287.53 c 288 6813 1522 1 191.0000 169.6614 12.58%
290.45/291.27 c * 291 6903 1552 1 190.0000 169.6625 11.99%
292.54/293.35 c 293 6991 1516 1 190.0000 169.6692 11.98%
298.13/298.91 c 299 7113 1536 1 190.0000 169.6777 11.98%
303.22/304.10 c 304 7209 1576 1 190.0000 169.6842 11.97%
308.60/309.47 c 309 7321 1624 1 190.0000 169.7081 11.96%
313.78/314.63 c 315 7451 1672 1 190.0000 169.7108 11.96%
320.07/320.96 c 321 7563 1716 1 190.0000 169.7156 11.95%
325.46/326.31 c 326 7711 1782 1 190.0000 169.7232 11.95%
330.55/331.48 c 331 8013 1802 1 190.0000 169.7318 11.94%
336.53/337.49 c 337 8162 1853 1 190.0000 169.7440 11.93%
342.12/343.09 c 343 8373 1906 1 190.0000 169.7532 11.93%
347.21/348.14 c 348 8481 1942 1 190.0000 169.7585 11.92%
352.99/353.94 c 354 8641 1970 1 190.0000 169.7630 11.92%
358.58/359.54 c 360 8733 2022 1 190.0000 169.7658 11.92%
364.07/365.09 c 365 8871 2050 1 190.0000 169.7708 11.92%
369.35/370.34 c 370 9101 2092 1 190.0000 169.7726 11.91%
375.14/376.14 c 376 9286 2127 1 190.0000 169.7801 11.91%
380.62/381.64 c 382 9387 2160 1 190.0000 169.7885 11.90%
386.51/387.51 c 388 9561 2206 1 190.0000 169.7961 11.90%
391.50/392.51 c 393 9671 2252 1 190.0000 169.8047 11.89%
396.99/398.04 c 398 9723 2292 1 190.0000 169.8099 11.89%
402.57/403.61 c 404 9881 2338 1 190.0000 169.8142 11.89%
408.76/409.86 c 410 10083 2402 1 190.0000 169.8184 11.88%
413.84/414.95 c 415 10282 2447 1 190.0000 169.8252 11.88%
419.62/420.73 c 421 10451 2488 1 190.0000 169.8348 11.87%
425.02/426.17 c 426 10661 2548 1 190.0000 169.8444 11.87%
430.80/431.99 c 432 10781 2602 1 190.0000 169.8557 11.86%
436.38/437.58 c 438 10883 2658 1 190.0000 169.8672 11.85%
442.37/443.58 c 444 11160 2711 1 190.0000 169.8742 11.85%
447.55/448.77 c 449 11303 2760 1 190.0000 169.8849 11.84%
453.14/454.36 c 454 11484 2809 1 190.0000 169.8855 11.84%
458.72/459.94 c 460 11636 2859 1 190.0000 169.8865 11.84%
464.71/465.90 c 466 11861 2916 1 190.0000 169.8939 11.83%
470.09/471.36 c 471 11921 2946 1 190.0000 169.8946 11.83%
475.98/477.23 c 477 12031 2994 1 190.0000 169.9045 11.83%
481.17/482.46 c 482 12126 3063 1 190.0000 169.9126 11.82%
486.25/487.55 c 488 12232 3115 1 190.0000 169.9189 11.82%
492.25/493.57 c 494 12333 3156 1 190.0000 169.9241 11.81%
497.53/498.88 c 499 12472 3191 1 190.0000 169.9281 11.81%
503.22/504.50 c 504 12683 3226 1 190.0000 169.9315 11.81%
508.50/509.82 c 510 12832 3267 1 190.0000 169.9367 11.81%
514.29/515.60 c 516 12994 3315 1 190.0000 169.9485 11.80%
519.47/520.88 c 521 13173 3354 1 190.0000 169.9524 11.80%
525.26/526.67 c 527 13323 3398 1 190.0000 169.9571 11.79%
530.84/532.28 c 532 13471 3430 1 190.0000 169.9699 11.78%
536.33/537.75 c 538 13603 3476 1 190.0000 169.9732 11.78%
541.92/543.37 c 543 13791 3512 1 190.0000 169.9815 11.78%
547.50/548.93 c 549 13903 3566 1 190.0000 169.9965 11.77%
552.69/554.19 c 554 14041 3604 1 190.0000 170.0079 11.76%
557.97/559.45 c 559 14171 3656 1 190.0000 170.0172 11.75%
563.17/564.65 c 565 14311 3694 1 190.0000 170.0288 11.75%
568.35/569.83 c 570 14428 3733 1 190.0000 170.0297 11.75%
574.24/575.76 c 576 14574 3787 1 190.0000 170.0328 11.74%
580.02/581.58 c 582 14721 3828 1 190.0000 170.0389 11.74%
585.21/586.72 c 587 14830 3883 1 190.0000 170.0418 11.74%
591.50/593.09 c 593 15053 3924 1 190.0000 170.0500 11.73%
597.37/598.95 c 599 15224 3973 1 190.0000 170.0563 11.73%
603.06/604.61 c 605 15383 4028 1 190.0000 170.0572 11.73%
608.34/609.98 c 610 15562 4069 1 190.0000 170.0650 11.72%
613.64/615.28 c 615 15781 4110 1 190.0000 170.0700 11.72%
619.32/620.97 c 621 15965 4186 1 190.0000 170.0743 11.72%
625.21/626.89 c 627 16043 4244 1 190.0000 170.0791 11.71%
630.89/632.55 c 633 16182 4283 1 190.0000 170.0817 11.71%
636.38/638.10 c 638 16301 4332 1 190.0000 170.0886 11.71%
641.76/643.42 c 643 16541 4390 1 190.0000 170.0947 11.70%
647.75/649.41 c 649 16693 4446 1 190.0000 170.0984 11.70%
653.34/655.02 c 655 16883 4494 1 190.0000 170.1060 11.70%
658.62/660.32 c 660 16973 4536 1 190.0000 170.1094 11.69%
663.91/665.61 c 666 17113 4582 1 190.0000 170.1132 11.69%
669.30/671.08 c 671 17233 4624 1 190.0000 170.1176 11.69%
675.28/677.09 c 677 17413 4660 1 190.0000 170.1191 11.69%
680.38/682.12 c 682 17553 4696 1 190.0000 170.1327 11.68%
685.37/687.14 c 687 17643 4734 1 190.0000 170.1385 11.67%
690.44/692.25 c 692 17801 4756 1 190.0000 170.1481 11.67%
696.23/698.09 c 698 17953 4816 1 190.0000 170.1544 11.66%
701.71/703.56 c 704 18151 4852 1 190.0000 170.1558 11.66%
707.20/709.03 c 709 18252 4901 1 190.0000 170.1636 11.66%
712.48/714.37 c 714 18328 4943 1 190.0000 170.1774 11.65%
718.77/720.67 c 721 18483 4986 1 190.0000 170.1813 11.65%
724.16/726.07 c 726 18701 5018 1 190.0000 170.1881 11.64%
729.84/731.78 c 732 18896 5057 1 190.0000 170.1941 11.64%
735.33/737.20 c 737 19083 5110 1 190.0000 170.1966 11.64%
740.81/742.75 c 743 19281 5166 1 190.0000 170.1974 11.64%
746.50/748.48 c 748 19385 5204 1 190.0000 170.2082 11.63%
751.49/753.49 c 753 19626 5249 1 190.0000 170.2091 11.63%
756.88/758.83 c 759 19910 5281 1 190.0000 170.2113 11.63%
762.46/764.46 c 764 20007 5306 1 190.0000 170.2158 11.62%
768.25/770.28 c 770 20121 5348 1 190.0000 170.2216 11.62%
773.34/775.33 c 775 20306 5373 1 190.0000 170.2216 11.62%
778.62/780.62 c 781 20531 5400 1 190.0000 170.2256 11.62%
784.21/786.21 c 786 20681 5440 1 190.0000 170.2259 11.62%
789.79/791.82 c 792 20813 5484 1 190.0000 170.2274 11.62%
795.68/797.72 c 798 20973 5546 1 190.0000 170.2313 11.61%
801.36/803.42 c 803 21091 5596 1 190.0000 170.2390 11.61%
806.45/808.58 c 809 21213 5642 1 190.0000 170.2427 11.61%
812.53/814.68 c 815 21403 5676 1 190.0000 170.2458 11.60%
817.92/820.09 c 820 21591 5714 1 190.0000 170.2536 11.60%
823.60/825.79 c 826 21841 5760 1 190.0000 170.2574 11.60%
828.89/831.10 c 831 21981 5802 1 190.0000 170.2627 11.59%
833.99/836.15 c 836 22177 5848 1 190.0000 170.2640 11.59%
839.57/841.76 c 842 22291 5878 1 190.0000 170.2680 11.59%
845.06/847.27 c 847 22481 5916 1 190.0000 170.2722 11.59%
850.85/853.05 c 853 22684 5967 1 190.0000 170.2740 11.58%
856.73/858.99 c 859 22836 6025 1 190.0000 170.2762 11.58%
861.92/864.13 c 864 22951 6062 1 190.0000 170.2817 11.58%
867.20/869.49 c 869 23171 6104 1 190.0000 170.2834 11.58%
873.28/875.59 c 876 23373 6148 1 190.0000 170.2843 11.58%
878.57/880.81 c 881 23513 6182 1 190.0000 170.2878 11.58%
884.76/887.05 c 887 23723 6232 1 190.0000 170.2918 11.57%
890.14/892.41 c 892 23910 6273 1 190.0000 170.2979 11.57%
895.33/897.66 c 898 24138 6301 1 190.0000 170.3017 11.57%
901.31/903.63 c 904 24363 6330 1 190.0000 170.3037 11.57%
906.60/908.91 c 909 24563 6404 1 190.0000 170.3090 11.56%
911.88/914.29 c 914 24725 6442 1 190.0000 170.3161 11.56%
916.97/919.39 c 919 24931 6486 1 190.0000 170.3247 11.55%
922.95/925.37 c 925 25023 6534 1 190.0000 170.3259 11.55%
928.74/931.17 c 931 25153 6598 1 190.0000 170.3354 11.54%
934.82/937.23 c 937 25363 6658 1 190.0000 170.3375 11.54%
939.82/942.25 c 942 25588 6691 1 190.0000 170.3386 11.54%
945.01/947.41 c 947 25761 6728 1 190.0000 170.3401 11.54%
950.19/952.60 c 953 25923 6764 1 190.0000 170.3443 11.54%
955.88/958.38 c 958 26281 6788 1 190.0000 170.3524 11.53%
961.57/964.09 c 964 26401 6836 1 190.0000 170.3555 11.53%
968.34/970.82 c 971 26623 6902 1 190.0000 170.3614 11.53%
973.93/976.43 c 976 26791 6934 1 190.0000 170.3660 11.52%
978.91/981.46 c 981 27013 6970 1 190.0000 170.3679 11.52%
984.61/987.19 c 987 27191 7020 1 190.0000 170.3756 11.52%
989.69/992.28 c 992 27376 7057 1 190.0000 170.3763 11.52%
995.67/998.29 c 998 27681 7096 1 190.0000 170.3809 11.51%
1001.46/1004.01 c 1004 27861 7140 1 190.0000 170.3867 11.51%
1006.74/1009.34 c 1009 27993 7202 1 190.0000 170.3998 11.50%
1012.53/1015.15 c 1015 28278 7245 1 190.0000 170.4043 11.50%
1018.11/1020.72 c 1021 28576 7279 1 190.0000 170.4089 11.50%
1023.20/1025.85 c 1026 28701 7336 1 190.0000 170.4154 11.49%
1028.68/1031.31 c 1031 28961 7380 1 190.0000 170.4232 11.49%
1034.67/1037.38 c 1037 29083 7434 1 190.0000 170.4291 11.48%
1040.36/1043.00 c 1043 29261 7488 1 190.0000 170.4394 11.48%
1046.24/1048.98 c 1049 29577 7536 1 190.0000 170.4455 11.47%
1052.22/1054.90 c 1055 29909 7580 1 190.0000 170.4488 11.47%
1057.70/1060.43 c 1060 30080 7611 1 190.0000 170.4534 11.47%
1062.98/1065.79 c 1066 30322 7649 1 190.0000 170.4574 11.46%
1068.37/1071.12 c 1071 30523 7708 1 190.0000 170.4603 11.46%
1074.35/1077.15 c 1077 30753 7764 1 190.0000 170.4626 11.46%
1079.93/1082.78 c 1083 30990 7839 1 190.0000 170.4665 11.46%
1085.71/1088.51 c 1089 31263 7886 1 190.0000 170.4695 11.46%
1090.89/1093.71 c 1094 31383 7922 1 190.0000 170.4741 11.45%
1095.97/1098.88 c 1099 31711 7960 1 190.0000 170.4748 11.45%
1101.17/1104.04 c 1104 31871 8014 1 190.0000 170.4776 11.45%
1107.04/1109.96 c 1110 32113 8046 1 190.0000 170.4794 11.45%
1112.52/1115.40 c 1115 32451 8080 1 190.0000 170.4802 11.45%
1117.91/1120.81 c 1121 32664 8143 1 190.0000 170.4847 11.45%
1123.09/1126.02 c 1126 32908 8197 1 190.0000 170.4856 11.45%
1128.67/1131.66 c 1132 33133 8248 1 190.0000 170.4875 11.45%
1134.56/1137.52 c 1138 33359 8308 1 190.0000 170.4934 11.44%
1140.15/1143.11 c 1143 33505 8366 1 190.0000 170.4996 11.44%
1145.73/1148.76 c 1149 33853 8396 1 190.0000 170.4998 11.44%
1151.42/1154.44 c 1154 34136 8431 1 190.0000 170.5025 11.44%
1156.41/1159.47 c 1159 34306 8481 1 190.0000 170.5071 11.43%
1162.19/1165.24 c 1165 34473 8536 1 190.0000 170.5130 11.43%
1167.48/1170.52 c 1171 34661 8576 1 190.0000 170.5216 11.42%
1172.97/1176.05 c 1176 34783 8616 1 190.0000 170.5227 11.42%
1178.45/1181.52 c 1182 35023 8670 1 190.0000 170.5259 11.42%
1183.43/1186.57 c 1187 35337 8726 1 190.0000 170.5302 11.42%
1188.53/1191.67 c 1192 35483 8772 1 190.0000 170.5327 11.42%
1194.42/1197.50 c 1198 35653 8842 1 190.0000 170.5407 11.41%
1199.40/1202.51 c 1203 35823 8888 1 190.0000 170.5417 11.41%
1204.69/1207.86 c 1208 36121 8940 1 190.0000 170.5447 11.41%
1210.07/1213.23 c 1213 36361 8990 1 190.0000 170.5456 11.41%
1215.97/1219.19 c 1219 36600 9051 1 190.0000 170.5470 11.41%
1221.85/1225.00 c 1225 36905 9114 1 190.0000 170.5539 11.40%
1226.93/1230.17 c 1230 37101 9154 1 190.0000 170.5575 11.40%
1232.82/1236.04 c 1236 37351 9216 1 190.0000 170.5609 11.40%
1238.00/1241.29 c 1241 37541 9252 1 190.0000 170.5624 11.40%
1243.79/1247.08 c 1247 37842 9307 1 190.0000 170.5637 11.40%
1249.37/1252.65 c 1253 38017 9340 1 190.0000 170.5669 11.39%
1254.66/1257.99 c 1258 38237 9370 1 190.0000 170.5698 11.39%
1260.25/1263.52 c 1264 38453 9428 1 190.0000 170.5723 11.39%
1266.03/1269.35 c 1269 38583 9476 1 190.0000 170.5743 11.39%
1271.02/1274.36 c 1274 38794 9519 1 190.0000 170.5754 11.39%
1276.21/1279.54 c 1280 39013 9556 1 190.0000 170.5810 11.38%
1281.49/1284.82 c 1285 39183 9606 1 190.0000 170.5831 11.38%
1287.38/1290.77 c 1291 39293 9660 1 190.0000 170.5866 11.38%
1292.68/1296.02 c 1296 39621 9696 1 190.0000 170.5881 11.38%
1298.06/1301.49 c 1301 39790 9739 1 190.0000 170.5896 11.38%
1303.25/1306.68 c 1307 39912 9773 1 190.0000 170.5916 11.38%
1309.03/1312.45 c 1312 40176 9831 1 190.0000 170.5936 11.38%
1314.73/1318.12 c 1318 40371 9904 1 190.0000 170.5968 11.37%
1320.11/1323.55 c 1324 40573 9956 1 190.0000 170.5978 11.37%
1325.19/1328.69 c 1329 40741 10016 1 190.0000 170.6042 11.37%
1330.59/1334.04 c 1334 40936 10059 1 190.0000 170.6055 11.37%
1336.46/1339.90 c 1340 41143 10110 1 190.0000 170.6071 11.37%
1342.25/1345.71 c 1346 41400 10159 1 190.0000 170.6099 11.37%
1347.94/1351.45 c 1351 41710 10199 1 190.0000 170.6109 11.36%
1353.72/1357.29 c 1357 41942 10227 1 190.0000 170.6127 11.36%
1359.80/1363.30 c 1363 42151 10292 1 190.0000 170.6172 11.36%
1365.39/1368.98 c 1369 42483 10328 1 190.0000 170.6188 11.36%
1370.48/1374.00 c 1374 42623 10364 1 190.0000 170.6207 11.36%
1375.87/1379.45 c 1379 42693 10392 1 190.0000 170.6231 11.36%
1381.85/1385.48 c 1385 42862 10455 1 190.0000 170.6251 11.36%
1387.24/1390.89 c 1391 43115 10492 1 190.0000 170.6264 11.35%
1393.12/1396.77 c 1397 43383 10558 1 190.0000 170.6282 11.35%
1398.61/1402.26 c 1402 43651 10608 1 190.0000 170.6300 11.35%
1404.30/1407.96 c 1408 43902 10659 1 190.0000 170.6302 11.35%
1409.88/1413.50 c 1414 44034 10709 1 190.0000 170.6319 11.35%
1415.57/1419.28 c 1419 44201 10768 1 190.0000 170.6350 11.35%
1420.85/1424.51 c 1425 44371 10820 1 190.0000 170.6367 11.35%
1426.74/1430.46 c 1430 44701 10886 1 190.0000 170.6409 11.34%
1431.92/1435.67 c 1436 44881 10946 1 190.0000 170.6463 11.34%
1437.91/1441.66 c 1442 45058 11015 1 190.0000 170.6502 11.34%
1443.59/1447.31 c 1447 45201 11072 1 190.0000 170.6533 11.34%
1448.99/1452.78 c 1453 45385 11136 1 190.0000 170.6564 11.33%
1454.07/1457.86 c 1458 45601 11176 1 190.0000 170.6615 11.33%
1459.66/1463.42 c 1463 45766 11243 1 190.0000 170.6646 11.33%
1465.84/1469.61 c 1470 45993 11312 1 190.0000 170.6698 11.33%
1471.73/1475.52 c 1476 46163 11362 1 190.0000 170.6719 11.32%
1477.41/1481.24 c 1481 46321 11436 1 190.0000 170.6732 11.32%
1482.70/1486.53 c 1487 46481 11494 1 190.0000 170.6745 11.32%
1488.39/1492.21 c 1492 46811 11552 1 190.0000 170.6766 11.32%
1494.07/1497.99 c 1498 47041 11612 1 190.0000 170.6819 11.32%
1499.16/1503.03 c 1503 47231 11682 1 190.0000 170.6833 11.32%
1504.15/1508.04 c 1508 47431 11732 1 190.0000 170.6843 11.32%
1509.44/1513.37 c 1513 47661 11788 1 190.0000 170.6895 11.31%
1514.73/1518.62 c 1519 47878 11815 1 190.0000 170.6895 11.31%
1520.61/1524.52 c 1525 48083 11876 1 190.0000 170.6932 11.31%
1526.10/1530.05 c 1530 48266 11931 1 190.0000 170.6950 11.31%
1531.09/1535.09 c 1535 48481 12000 1 190.0000 170.6973 11.31%
1536.87/1540.86 c 1541 48633 12048 1 190.0000 170.6991 11.31%
1541.96/1545.97 c 1546 48793 12100 1 190.0000 170.7003 11.31%
1547.44/1551.43 c 1551 49021 12158 1 190.0000 170.7020 11.31%
1553.53/1557.54 c 1558 49243 12232 1 190.0000 170.7067 11.30%
1559.41/1563.47 c 1563 49401 12302 1 190.0000 170.7088 11.30%
1564.50/1568.56 c 1569 49601 12350 1 190.0000 170.7110 11.30%
1569.99/1574.06 c 1574 49787 12420 1 190.0000 170.7133 11.30%
1575.27/1579.35 c 1579 50011 12450 1 190.0000 170.7147 11.30%
1580.36/1584.46 c 1584 50151 12518 1 190.0000 170.7162 11.30%
1585.75/1589.82 c 1590 50331 12584 1 190.0000 170.7180 11.29%
1591.14/1595.24 c 1595 50436 12653 1 190.0000 170.7197 11.29%
1596.42/1600.56 c 1601 50687 12714 1 190.0000 170.7203 11.29%
1602.11/1606.23 c 1606 50883 12778 1 190.0000 170.7220 11.29%
1607.29/1611.48 c 1611 51154 12833 1 190.0000 170.7251 11.29%
1612.38/1616.55 c 1617 51371 12884 1 190.0000 170.7268 11.29%
1617.37/1621.58 c 1622 51511 12948 1 190.0000 170.7319 11.29%
1622.46/1626.60 c 1627 51681 12994 1 190.0000 170.7347 11.28%
1628.04/1632.24 c 1632 51874 13051 1 190.0000 170.7355 11.28%
1633.53/1637.77 c 1638 52091 13100 1 190.0000 170.7373 11.28%
1639.12/1643.37 c 1643 52413 13166 1 190.0000 170.7411 11.28%
1644.81/1649.10 c 1649 52672 13229 1 190.0000 170.7437 11.28%
1649.89/1654.13 c 1654 52851 13266 1 190.0000 170.7463 11.28%
1655.27/1659.58 c 1660 53061 13316 1 190.0000 170.7494 11.27%
1660.76/1665.01 c 1665 53173 13362 1 190.0000 170.7517 11.27%
1666.64/1670.94 c 1671 53453 13416 1 190.0000 170.7538 11.27%
1671.63/1675.98 c 1676 53653 13472 1 190.0000 170.7560 11.27%
1676.72/1681.02 c 1681 53843 13522 1 190.0000 170.7591 11.27%
1682.11/1686.40 c 1686 53964 13569 1 190.0000 170.7629 11.27%
1687.10/1691.43 c 1691 54231 13628 1 190.0000 170.7645 11.26%
1692.19/1696.53 c 1697 54381 13670 1 190.0000 170.7657 11.26%
1697.57/1701.99 c 1702 54664 13725 1 190.0000 170.7660 11.26%
1702.77/1707.15 c 1707 54881 13804 1 190.0000 170.7695 11.26%
1708.25/1712.63 c 1713 55127 13862 1 190.0000 170.7697 11.26%
1713.33/1717.75 c 1718 55273 13918 1 190.0000 170.7733 11.26%
1719.32/1723.71 c 1724 55506 13985 1 190.0000 170.7749 11.26%
1725.10/1729.57 c 1730 55683 14054 1 190.0000 170.7769 11.26%
1730.79/1735.26 c 1735 55876 14129 1 190.0000 170.7795 11.25%
1735.97/1740.45 c 1740 56111 14176 1 190.0000 170.7819 11.25%
1741.67/1746.12 c 1746 56306 14233 1 190.0000 170.7841 11.25%
1746.75/1751.22 c 1751 56561 14270 1 190.0000 170.7867 11.25%
1752.13/1756.64 c 1757 56690 14327 1 190.0000 170.7878 11.25%
1758.11/1762.61 c 1763 57036 14401 1 190.0000 170.7892 11.25%
1763.90/1768.42 c 1768 57193 14460 1 190.0000 170.7909 11.25%
1769.20/1773.77 c 1774 57374 14531 1 190.0000 170.7920 11.25%
1775.08/1779.68 c 1780 57715 14568 1 190.0000 170.7941 11.25%
1780.37/1784.93 c 1785 57902 14623 1 190.0000 170.7972 11.24%
1785.46/1790.00 c 1790 58224 14669 1 190.0000 170.7994 11.24%
1790.74/1795.38 c 1795 58439 14732 1 190.0000 170.8007 11.24%
1795.93/1800.57 c 1801 58593 14796 1 190.0000 170.8023 11.24%
1801.42/1806.09 c 1806 58841 14842 1 190.0000 170.8063 11.24%
1806.70/1811.32 c 1811 59024 14901 1 190.0000 170.8115 11.23%
1811.99/1816.63 c 1817 59361 14968 1 190.0000 170.8133 11.23%
1817.38/1822.08 c 1822 59631 15016 1 190.0000 170.8149 11.23%
1822.46/1827.14 c 1827 59854 15083 1 190.0000 170.8173 11.23%
1827.74/1832.42 c 1832 60091 15132 1 190.0000 170.8193 11.23%
1832.93/1837.68 c 1838 60361 15174 1 190.0000 170.8206 11.23%
1838.91/1843.62 c 1844 60503 15252 1 190.0000 170.8243 11.23%
1844.00/1848.77 c 1849 60623 15296 1 190.0000 170.8259 11.22%
1849.78/1854.51 c 1855 60841 15322 1 190.0000 170.8284 11.22%
1855.08/1859.86 c 1860 61083 15352 1 190.0000 170.8298 11.22%
1860.66/1865.41 c 1865 61288 15385 1 190.0000 170.8306 11.22%
1865.95/1870.79 c 1871 61581 15408 1 190.0000 170.8311 11.22%
1871.14/1875.97 c 1876 61733 15454 1 190.0000 170.8336 11.22%
1876.12/1880.99 c 1881 62046 15495 1 190.0000 170.8369 11.22%
1881.51/1886.35 c 1886 62291 15544 1 190.0000 170.8399 11.22%
1887.79/1892.62 c 1893 62541 15620 1 190.0000 170.8443 11.21%
1893.29/1898.14 c 1898 62730 15677 1 190.0000 170.8471 11.21%
1898.57/1903.44 c 1903 62983 15754 1 190.0000 170.8487 11.21%
1903.55/1908.44 c 1908 63270 15835 1 190.0000 170.8498 11.21%
1909.04/1913.90 c 1914 63461 15906 1 190.0000 170.8526 11.21%
1914.43/1919.33 c 1919 63661 15972 1 190.0000 170.8551 11.21%
1919.62/1924.52 c 1925 63881 16038 1 190.0000 170.8558 11.20%
1925.31/1930.28 c 1930 64113 16118 1 190.0000 170.8569 11.20%
1930.89/1935.87 c 1936 64401 16188 1 190.0000 170.8587 11.20%
1936.28/1941.28 c 1941 64595 16236 1 190.0000 170.8597 11.20%
1941.57/1946.56 c 1947 64746 16303 1 190.0000 170.8610 11.20%
1947.45/1952.46 c 1952 65004 16377 1 190.0000 170.8618 11.20%
1952.83/1957.83 c 1958 65143 16436 1 190.0000 170.8635 11.20%
1958.42/1963.45 c 1963 65363 16504 1 190.0000 170.8655 11.20%
1964.11/1969.15 c 1969 65585 16550 1 190.0000 170.8672 11.20%
1969.50/1974.53 c 1975 65811 16590 1 190.0000 170.8678 11.20%
1974.59/1979.62 c 1980 65987 16640 1 190.0000 170.8704 11.20%
1980.17/1985.28 c 1985 66211 16698 1 190.0000 170.8749 11.19%
1985.76/1990.88 c 1991 66401 16758 1 190.0000 170.8768 11.19%
1991.24/1996.34 c 1996 66531 16826 1 190.0000 170.8782 11.19%
1996.93/2002.06 c 2002 66745 16888 1 190.0000 170.8785 11.19%
2002.32/2007.47 c 2007 67011 16964 1 190.0000 170.8801 11.19%
2008.20/2013.39 c 2013 67206 17043 1 190.0000 170.8827 11.19%
2013.49/2018.63 c 2019 67401 17094 1 190.0000 170.8846 11.19%
2019.07/2024.24 c 2024 67546 17155 1 190.0000 170.8865 11.18%
2024.36/2029.52 c 2030 67821 17190 1 190.0000 170.8869 11.18%
2029.55/2034.76 c 2035 68031 17238 1 190.0000 170.8879 11.18%
2034.73/2039.98 c 2040 68297 17302 1 190.0000 170.8889 11.18%
2040.93/2046.16 c 2046 68523 17364 1 190.0000 170.8902 11.18%
2046.71/2051.91 c 2052 68710 17431 1 190.0000 170.8912 11.18%
2052.49/2057.74 c 2058 68941 17484 1 190.0000 170.8920 11.18%
2057.78/2063.03 c 2063 69141 17552 1 190.0000 170.8933 11.18%
2062.77/2068.10 c 2068 69281 17588 1 190.0000 170.8940 11.18%
2068.44/2073.72 c 2074 69456 17653 1 190.0000 170.8951 11.18%
2074.32/2079.61 c 2080 69750 17695 1 190.0000 170.8957 11.18%
2080.11/2085.48 c 2085 70077 17722 1 190.0000 170.8965 11.18%
2086.09/2091.46 c 2091 70323 17812 1 190.0000 170.8984 11.18%
2091.57/2096.96 c 2097 70527 17890 1 190.0000 170.9000 11.18%
2097.05/2102.49 c 2102 70812 17951 1 190.0000 170.9018 11.17%
2102.83/2108.27 c 2108 70941 18008 1 190.0000 170.9029 11.17%
2107.92/2113.38 c 2113 71160 18079 1 190.0000 170.9047 11.17%
2113.51/2118.96 c 2119 71423 18138 1 190.0000 170.9055 11.17%
2119.19/2124.68 c 2125 71671 18172 1 190.0000 170.9073 11.17%
2124.97/2130.49 c 2130 71929 18250 1 190.0000 170.9083 11.17%
2130.35/2135.80 c 2136 72209 18310 1 190.0000 170.9088 11.17%
2135.54/2141.06 c 2141 72381 18360 1 190.0000 170.9111 11.17%
2140.63/2146.19 c 2146 72563 18400 1 190.0000 170.9133 11.17%
2146.00/2151.58 c 2152 72769 18454 1 190.0000 170.9142 11.17%
2151.78/2157.39 c 2157 73017 18524 1 190.0000 170.9159 11.17%
2157.47/2163.03 c 2163 73321 18574 1 190.0000 170.9174 11.16%
2163.35/2168.90 c 2169 73599 18628 1 190.0000 170.9176 11.16%
2169.14/2174.71 c 2175 73883 18684 1 190.0000 170.9189 11.16%
2174.42/2180.04 c 2180 74127 18738 1 190.0000 170.9200 11.16%
2180.40/2186.00 c 2186 74411 18836 1 190.0000 170.9222 11.16%
2186.08/2191.73 c 2192 74741 18930 1 190.0000 170.9225 11.16%
2191.37/2197.03 c 2197 75041 18962 1 190.0000 170.9231 11.16%
2196.36/2202.05 c 2202 75191 19034 1 190.0000 170.9240 11.16%
2202.34/2208.06 c 2208 75343 19102 1 190.0000 170.9243 11.16%
2208.12/2213.85 c 2214 75521 19168 1 190.0000 170.9263 11.16%
2213.42/2219.16 c 2219 75757 19238 1 190.0000 170.9273 11.16%
2218.70/2224.49 c 2224 75990 19297 1 190.0000 170.9285 11.16%
2224.68/2230.48 c 2230 76277 19378 1 190.0000 170.9296 11.16%
2231.27/2237.07 c 2237 76463 19442 1 190.0000 170.9300 11.16%
2236.46/2242.23 c 2242 76681 19504 1 190.0000 170.9311 11.16%
2242.35/2248.11 c 2248 76897 19578 1 190.0000 170.9316 11.16%
2247.43/2253.28 c 2253 77083 19640 1 190.0000 170.9341 11.15%
2253.02/2258.86 c 2259 77351 19704 1 190.0000 170.9368 11.15%
2258.70/2264.56 c 2265 77601 19766 1 190.0000 170.9387 11.15%
2264.19/2270.07 c 2270 77812 19845 1 190.0000 170.9390 11.15%
2269.97/2275.89 c 2276 78068 19911 1 190.0000 170.9395 11.15%
2275.56/2281.41 c 2281 78299 19964 1 190.0000 170.9411 11.15%
2281.05/2286.98 c 2287 78453 20038 1 190.0000 170.9442 11.15%
2286.33/2292.22 c 2292 78721 20094 1 190.0000 170.9448 11.15%
2292.12/2298.00 c 2298 78983 20166 1 190.0000 170.9451 11.15%
2297.60/2303.54 c 2304 79281 20240 1 190.0000 170.9461 11.15%
2303.39/2309.33 c 2309 79471 20296 1 190.0000 170.9467 11.15%
2309.18/2315.10 c 2315 79697 20374 1 190.0000 170.9477 11.15%
2314.76/2320.71 c 2321 79947 20430 1 190.0000 170.9494 11.14%
2320.05/2326.01 c 2326 80271 20494 1 190.0000 170.9499 11.14%
2325.62/2331.70 c 2332 80543 20582 1 190.0000 170.9501 11.14%
2330.91/2336.98 c 2337 80710 20629 1 190.0000 170.9518 11.14%
2336.40/2342.41 c 2342 80904 20669 1 190.0000 170.9531 11.14%
2342.18/2348.25 c 2348 81120 20733 1 190.0000 170.9539 11.14%
2347.68/2353.75 c 2354 81350 20783 1 190.0000 170.9555 11.14%
2353.36/2359.42 c 2359 81561 20850 1 190.0000 170.9570 11.14%
2358.95/2365.07 c 2365 81738 20923 1 190.0000 170.9574 11.14%
2364.53/2370.64 c 2371 82040 20979 1 190.0000 170.9578 11.14%
2369.72/2375.87 c 2376 82211 21022 1 190.0000 170.9585 11.14%
2376.01/2382.19 c 2382 82381 21076 1 190.0000 170.9598 11.14%
2381.39/2387.57 c 2388 82636 21149 1 190.0000 170.9601 11.14%
2387.27/2393.49 c 2393 82900 21205 1 190.0000 170.9610 11.14%
2392.57/2398.71 c 2399 83061 21266 1 190.0000 170.9620 11.14%
2398.35/2404.51 c 2405 83266 21337 1 190.0000 170.9630 11.14%
2403.94/2410.14 c 2410 83435 21404 1 190.0000 170.9644 11.13%
2409.42/2415.65 c 2416 83641 21464 1 190.0000 170.9663 11.13%
2414.92/2421.18 c 2421 83831 21512 1 190.0000 170.9677 11.13%
2420.10/2426.38 c 2426 84071 21572 1 190.0000 170.9685 11.13%
2425.78/2432.08 c 2432 84203 21640 1 190.0000 170.9691 11.13%
2431.07/2437.33 c 2437 84491 21694 1 190.0000 170.9709 11.13%
2436.25/2442.50 c 2442 84681 21744 1 190.0000 170.9719 11.13%
2441.34/2447.63 c 2448 84831 21792 1 190.0000 170.9734 11.13%
2446.73/2453.06 c 2453 85131 21860 1 190.0000 170.9750 11.13%
2451.82/2458.16 c 2458 85249 21916 1 190.0000 170.9767 11.13%
2457.00/2463.35 c 2463 85453 21954 1 190.0000 170.9771 11.13%
2462.19/2468.59 c 2469 85605 22022 1 190.0000 170.9787 11.12%
2468.08/2474.43 c 2474 85838 22069 1 190.0000 170.9797 11.12%
2473.86/2480.29 c 2480 86101 22134 1 190.0000 170.9806 11.12%
2478.95/2485.34 c 2485 86301 22184 1 190.0000 170.9817 11.12%
2484.84/2491.22 c 2491 86621 22232 1 190.0000 170.9823 11.12%
2490.43/2496.81 c 2497 86763 22282 1 190.0000 170.9827 11.12%
2495.51/2501.99 c 2502 86981 22352 1 190.0000 170.9841 11.12%
2500.90/2507.36 c 2507 87241 22390 1 190.0000 170.9847 11.12%
2506.18/2512.62 c 2513 87471 22424 1 190.0000 170.9855 11.12%
2511.47/2517.95 c 2518 87637 22492 1 190.0000 170.9863 11.12%
2517.05/2523.54 c 2524 87833 22548 1 190.0000 170.9874 11.12%
2522.94/2529.43 c 2529 88111 22602 1 190.0000 170.9888 11.12%
2528.32/2534.81 c 2535 88351 22658 1 190.0000 170.9899 11.12%
2534.31/2540.84 c 2541 88591 22716 1 190.0000 170.9907 11.12%
2539.40/2545.90 c 2546 88743 22768 1 190.0000 170.9914 11.12%
2544.98/2551.58 c 2552 88904 22819 1 190.0000 170.9931 11.12%
2550.87/2557.43 c 2557 89053 22874 1 190.0000 170.9937 11.12%
2556.65/2563.27 c 2563 89241 22930 1 190.0000 170.9958 11.11%
2561.94/2568.54 c 2569 89451 22986 1 190.0000 170.9981 11.11%
2567.03/2573.65 c 2574 89671 23052 1 190.0000 170.9992 11.11%
2572.81/2579.40 c 2579 89871 23140 1 190.0000 171.0000 11.11%
2578.50/2585.10 c 2585 90181 23226 1 190.0000 171.0003 11.11%
2583.50/2590.11 c 2590 90323 23296 1 190.0000 171.0009 11.11%
2588.78/2595.43 c 2595 90651 23336 1 190.0000 171.0014 11.11%
2593.77/2600.46 c 2600 90806 23381 1 190.0000 171.0037 11.11%
2599.25/2605.95 c 2606 91041 23436 1 190.0000 171.0050 11.11%
2605.14/2611.87 c 2612 91247 23510 1 190.0000 171.0056 11.11%
2610.73/2617.43 c 2617 91481 23554 1 190.0000 171.0064 11.11%
2616.42/2623.16 c 2623 91711 23648 1 190.0000 171.0080 11.11%
2622.30/2629.03 c 2629 91929 23740 1 190.0000 171.0087 11.11%
2627.68/2634.44 c 2634 92243 23766 1 190.0000 171.0097 11.10%
2633.27/2640.09 c 2640 92468 23845 1 190.0000 171.0108 11.10%
2638.36/2645.12 c 2645 92781 23884 1 190.0000 171.0110 11.10%
2643.74/2650.53 c 2651 92983 23940 1 190.0000 171.0119 11.10%
2649.23/2656.05 c 2656 93298 23997 1 190.0000 171.0132 11.10%
2654.81/2661.64 c 2662 93503 24050 1 190.0000 171.0147 11.10%
2660.20/2667.10 c 2667 93683 24128 1 190.0000 171.0151 11.10%
2665.59/2672.49 c 2672 94043 24172 1 190.0000 171.0161 11.10%
2671.68/2678.50 c 2678 94362 24253 1 190.0000 171.0169 11.10%
2676.97/2683.82 c 2684 94691 24322 1 190.0000 171.0175 11.10%
2682.16/2689.07 c 2689 94991 24380 1 190.0000 171.0185 11.10%
2687.24/2694.15 c 2694 95221 24424 1 190.0000 171.0190 11.10%
2692.72/2699.65 c 2700 95423 24486 1 190.0000 171.0200 11.10%
2698.01/2704.98 c 2705 95602 24537 1 190.0000 171.0209 11.10%
2703.40/2710.37 c 2710 95721 24600 1 190.0000 171.0224 11.10%
2708.68/2715.65 c 2716 95895 24644 1 190.0000 171.0230 11.10%
2713.67/2720.67 c 2721 96061 24698 1 190.0000 171.0238 11.10%
2719.16/2726.15 c 2726 96244 24751 1 190.0000 171.0246 11.10%
2724.74/2731.78 c 2732 96449 24808 1 190.0000 171.0251 11.09%
2730.33/2737.31 c 2737 96651 24870 1 190.0000 171.0269 11.09%
2736.31/2743.30 c 2743 96793 24936 1 190.0000 171.0281 11.09%
2741.50/2748.51 c 2749 96973 24952 1 190.0000 171.0284 11.09%
2747.18/2754.22 c 2754 97231 25008 1 190.0000 171.0303 11.09%
2752.47/2759.56 c 2760 97407 25076 1 190.0000 171.0311 11.09%
2757.65/2764.74 c 2765 97523 25152 1 190.0000 171.0335 11.09%
2763.43/2770.56 c 2771 97693 25214 1 190.0000 171.0352 11.09%
2768.52/2775.65 c 2776 97907 25284 1 190.0000 171.0359 11.09%
2773.60/2780.79 c 2781 98111 25334 1 190.0000 171.0367 11.09%
2779.08/2786.22 c 2786 98321 25396 1 190.0000 171.0377 11.09%
2784.36/2791.50 c 2792 98531 25442 1 190.0000 171.0384 11.09%
2790.35/2797.50 c 2798 98768 25485 1 190.0000 171.0395 11.09%
2795.33/2802.52 c 2803 99079 25566 1 190.0000 171.0398 11.09%
2800.61/2807.82 c 2808 99281 25626 1 190.0000 171.0403 11.08%
2805.80/2813.06 c 2813 99468 25701 1 190.0000 171.0412 11.08%
2811.18/2818.48 c 2818 99694 25771 1 190.0000 171.0425 11.08%
2816.36/2823.65 c 2824 99971 25832 1 190.0000 171.0431 11.08%
2821.75/2829.05 c 2829 100231 25908 1 190.0000 171.0457 11.08%
2827.53/2834.82 c 2835 100491 25954 1 190.0000 171.0463 11.08%
2833.22/2840.58 c 2841 100908 26009 1 190.0000 171.0470 11.08%
2838.90/2846.25 c 2846 101181 26080 1 190.0000 171.0491 11.08%
2843.98/2851.31 c 2851 101461 26132 1 190.0000 171.0501 11.08%
2850.46/2857.84 c 2858 101723 26202 1 190.0000 171.0509 11.08%
2855.94/2863.31 c 2863 102091 26266 1 190.0000 171.0512 11.08%
2861.63/2869.02 c 2869 102281 26330 1 190.0000 171.0520 11.08%
2866.62/2874.07 c 2874 102451 26380 1 190.0000 171.0529 11.08%
2871.89/2879.36 c 2879 102701 26430 1 190.0000 171.0532 11.08%
2877.78/2885.29 c 2885 103003 26490 1 190.0000 171.0537 11.08%
2883.66/2891.12 c 2891 103271 26554 1 190.0000 171.0549 11.08%
2889.64/2897.14 c 2897 103493 26620 1 190.0000 171.0561 11.07%
2895.82/2903.39 c 2903 103713 26684 1 190.0000 171.0573 11.07%
2901.00/2908.52 c 2909 104021 26722 1 190.0000 171.0580 11.07%
2906.89/2914.46 c 2914 104264 26801 1 190.0000 171.0585 11.07%
2912.77/2920.30 c 2920 104601 26858 1 190.0000 171.0604 11.07%
2917.86/2925.42 c 2925 104794 26913 1 190.0000 171.0608 11.07%
2923.54/2931.10 c 2931 105105 26964 1 190.0000 171.0619 11.07%
2929.32/2936.99 c 2937 105418 27027 1 190.0000 171.0630 11.07%
2935.01/2942.65 c 2943 105631 27094 1 190.0000 171.0639 11.07%
2940.79/2948.40 c 2948 105873 27146 1 190.0000 171.0665 11.07%
2946.18/2953.87 c 2954 106121 27166 1 190.0000 171.0676 11.07%
2951.66/2959.30 c 2959 106351 27204 1 190.0000 171.0688 11.07%
2956.75/2964.43 c 2964 106531 27272 1 190.0000 171.0694 11.07%
2962.04/2969.72 c 2970 106751 27322 1 190.0000 171.0700 11.07%
2967.33/2975.01 c 2975 106931 27366 1 190.0000 171.0710 11.06%
2972.62/2980.31 c 2980 107133 27420 1 190.0000 171.0723 11.06%
2977.71/2985.41 c 2985 107409 27452 1 190.0000 171.0731 11.06%
2982.99/2990.78 c 2991 107711 27516 1 190.0000 171.0739 11.06%
2987.98/2995.79 c 2996 107865 27578 1 190.0000 171.0744 11.06%
2993.47/3001.22 c 3001 108024 27647 1 190.0000 171.0751 11.06%
2998.75/3006.59 c 3007 108211 27690 1 190.0000 171.0764 11.06%
3004.35/3012.18 c 3012 108411 27764 1 190.0000 171.0770 11.06%
3009.53/3017.37 c 3017 108601 27826 1 190.0000 171.0777 11.06%
3014.71/3022.59 c 3023 108861 27888 1 190.0000 171.0784 11.06%
3019.90/3027.76 c 3028 109051 27956 1 190.0000 171.0797 11.06%
3025.09/3032.96 c 3033 109224 28021 1 190.0000 171.0810 11.06%
3030.67/3038.54 c 3039 109609 28096 1 190.0000 171.0814 11.06%
3035.86/3043.70 c 3044 109833 28156 1 190.0000 171.0821 11.06%
3040.94/3048.88 c 3049 110041 28226 1 190.0000 171.0840 11.06%
3046.63/3054.50 c 3054 110271 28300 1 190.0000 171.0853 11.06%
3052.22/3060.12 c 3060 110513 28356 1 190.0000 171.0861 11.06%
3057.81/3065.79 c 3066 110748 28425 1 190.0000 171.0868 11.05%
3064.09/3072.01 c 3072 111031 28482 1 190.0000 171.0874 11.05%
3069.18/3077.13 c 3077 111271 28538 1 190.0000 171.0907 11.05%
3074.66/3082.61 c 3083 111542 28597 1 190.0000 171.0914 11.05%
3080.25/3088.24 c 3088 111931 28710 1 190.0000 171.0915 11.05%
3085.93/3093.95 c 3094 112233 28776 1 190.0000 171.0921 11.05%
3091.82/3099.80 c 3100 112544 28863 1 190.0000 171.0934 11.05%
3097.30/3105.38 c 3105 112821 28924 1 190.0000 171.0945 11.05%
3102.89/3110.98 c 3111 113031 29004 1 190.0000 171.0951 11.05%
3108.67/3116.70 c 3117 113401 29058 1 190.0000 171.0957 11.05%
3114.77/3122.80 c 3123 113603 29120 1 190.0000 171.0963 11.05%
3120.45/3128.53 c 3129 113811 29190 1 190.0000 171.0972 11.05%
3125.84/3133.95 c 3134 114041 29264 1 190.0000 171.0979 11.05%
3131.62/3139.77 c 3140 114283 29326 1 190.0000 171.0990 11.05%
3136.71/3144.86 c 3145 114511 29392 1 190.0000 171.1002 11.05%
3142.60/3150.77 c 3151 114738 29459 1 190.0000 171.1010 11.05%
3147.68/3155.89 c 3156 115031 29516 1 190.0000 171.1027 11.04%
3152.77/3160.96 c 3161 115293 29546 1 190.0000 171.1027 11.04%
3158.26/3166.41 c 3166 115541 29616 1 190.0000 171.1035 11.04%
3163.95/3172.19 c 3172 115811 29692 1 190.0000 171.1059 11.04%
3169.83/3178.02 c 3178 116001 29754 1 190.0000 171.1074 11.04%
3175.01/3183.29 c 3183 116241 29830 1 190.0000 171.1083 11.04%
3180.80/3189.03 c 3189 116561 29896 1 190.0000 171.1094 11.04%
3185.99/3194.28 c 3194 116831 29960 1 190.0000 171.1105 11.04%
3191.48/3199.76 c 3200 117106 30019 1 190.0000 171.1106 11.04%
3197.16/3205.43 c 3205 117441 30080 1 190.0000 171.1108 11.04%
3202.64/3210.91 c 3211 117681 30132 1 190.0000 171.1124 11.04%
3207.74/3216.05 c 3216 117921 30182 1 190.0000 171.1131 11.04%
3213.32/3221.61 c 3222 118073 30240 1 190.0000 171.1133 11.04%
3218.51/3226.81 c 3227 118361 30286 1 190.0000 171.1137 11.04%
3224.79/3233.14 c 3233 118563 30370 1 190.0000 171.1144 11.04%
3230.67/3239.02 c 3239 118832 30449 1 190.0000 171.1166 11.04%
3235.66/3244.03 c 3244 119051 30508 1 190.0000 171.1173 11.03%
3241.65/3250.01 c 3250 119315 30582 1 190.0000 171.1185 11.03%
3246.84/3255.20 c 3255 119641 30662 1 190.0000 171.1192 11.03%
3252.12/3260.51 c 3261 119841 30732 1 190.0000 171.1200 11.03%
3257.41/3265.80 c 3266 120051 30796 1 190.0000 171.1216 11.03%
3263.39/3271.82 c 3272 120233 30862 1 190.0000 171.1219 11.03%
3268.68/3277.13 c 3277 120501 30928 1 190.0000 171.1222 11.03%
3273.76/3282.28 c 3282 120681 30968 1 190.0000 171.1227 11.03%
3279.35/3287.82 c 3288 120991 31000 1 190.0000 171.1233 11.03%
3284.94/3293.41 c 3293 121213 31046 1 190.0000 171.1239 11.03%
3290.03/3298.52 c 3299 121501 31124 1 190.0000 171.1244 11.03%
3295.41/3303.95 c 3304 121791 31190 1 190.0000 171.1247 11.03%
3301.70/3310.20 c 3310 121943 31256 1 190.0000 171.1258 11.03%
3307.59/3316.18 c 3316 122156 31319 1 190.0000 171.1263 11.03%
3312.77/3321.37 c 3321 122381 31356 1 190.0000 171.1272 11.03%
3318.16/3326.79 c 3327 122641 31450 1 190.0000 171.1279 11.03%
3323.64/3332.24 c 3332 122891 31518 1 190.0000 171.1284 11.03%
3329.63/3338.25 c 3338 123135 31594 1 190.0000 171.1292 11.03%
3334.92/3343.59 c 3344 123362 31663 1 190.0000 171.1305 11.03%
3340.00/3348.67 c 3349 123542 31719 1 190.0000 171.1308 11.03%
3345.49/3354.17 c 3354 123771 31786 1 190.0000 171.1322 11.03%
3350.48/3359.19 c 3359 124071 31842 1 190.0000 171.1324 11.03%
3355.86/3364.56 c 3365 124284 31943 1 190.0000 171.1332 11.02%
3361.75/3370.41 c 3370 124545 32008 1 190.0000 171.1341 11.02%
3367.23/3375.95 c 3376 124821 32068 1 190.0000 171.1347 11.02%
3373.12/3381.85 c 3382 125090 32159 1 190.0000 171.1353 11.02%
3378.20/3386.90 c 3387 125261 32226 1 190.0000 171.1365 11.02%
3383.59/3392.31 c 3392 125518 32275 1 190.0000 171.1367 11.02%
3388.89/3397.60 c 3398 125743 32334 1 190.0000 171.1373 11.02%
3394.77/3403.59 c 3404 125913 32412 1 190.0000 171.1390 11.02%
3400.56/3409.32 c 3409 126181 32468 1 190.0000 171.1398 11.02%
3405.74/3414.54 c 3415 126391 32532 1 190.0000 171.1407 11.02%
3410.93/3419.79 c 3420 126563 32578 1 190.0000 171.1416 11.02%
3416.12/3424.94 c 3425 126861 32614 1 190.0000 171.1420 11.02%
3421.60/3430.46 c 3430 127070 32679 1 190.0000 171.1432 11.02%
3427.29/3436.18 c 3436 127245 32740 1 190.0000 171.1439 11.02%
3432.67/3441.59 c 3442 127471 32792 1 190.0000 171.1445 11.02%
3438.47/3447.31 c 3447 127681 32828 1 190.0000 171.1458 11.02%
3443.85/3452.75 c 3453 127911 32936 1 190.0000 171.1463 11.02%
3449.74/3458.62 c 3459 128200 33001 1 190.0000 171.1468 11.02%
3454.92/3463.87 c 3464 128508 33059 1 190.0000 171.1476 11.02%
3460.41/3469.33 c 3469 128780 33117 1 190.0000 171.1484 11.01%
3466.39/3475.33 c 3475 129079 33188 1 190.0000 171.1491 11.01%
3471.68/3480.66 c 3481 129361 33248 1 190.0000 171.1501 11.01%
3476.76/3485.72 c 3486 129616 33337 1 190.0000 171.1507 11.01%
3481.85/3490.81 c 3491 129811 33388 1 190.0000 171.1513 11.01%
3487.04/3496.07 c 3496 130001 33444 1 190.0000 171.1521 11.01%
3492.53/3501.53 c 3502 130176 33523 1 190.0000 171.1527 11.01%
3497.51/3506.59 c 3507 130381 33594 1 190.0000 171.1531 11.01%
3502.60/3511.70 c 3512 130651 33654 1 190.0000 171.1533 11.01%
3508.19/3517.26 c 3517 130901 33730 1 190.0000 171.1540 11.01%
3513.58/3522.68 c 3523 131131 33794 1 190.0000 171.1560 11.01%
3519.47/3528.50 c 3528 131346 33871 1 190.0000 171.1579 11.01%
3524.96/3534.08 c 3534 131561 33926 1 190.0000 171.1597 11.01%
3530.34/3539.44 c 3539 131783 34012 1 190.0000 171.1606 11.01%
3536.22/3545.31 c 3545 132171 34058 1 190.0000 171.1612 11.01%
3542.01/3551.13 c 3551 132373 34114 1 190.0000 171.1613 11.01%
3547.59/3556.77 c 3557 132693 34176 1 190.0000 171.1630 11.01%
3552.58/3561.78 c 3562 132955 34238 1 190.0000 171.1643 11.00%
3558.36/3567.54 c 3568 133291 34286 1 190.0000 171.1655 11.00%
3563.85/3573.01 c 3573 133571 34358 1 190.0000 171.1660 11.00%
3568.84/3578.08 c 3578 133781 34414 1 190.0000 171.1667 11.00%
3574.02/3583.26 c 3583 134041 34470 1 190.0000 171.1678 11.00%
3580.40/3589.65 c 3590 134243 34550 1 190.0000 171.1684 11.00%
3585.70/3594.97 c 3595 134541 34608 1 190.0000 171.1691 11.00%
3590.79/3600.00 c 3600 134769 34664 0 190.0000 171.1698 11.00%
3590.89/3600.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.89/3600.16 c Total Time : 3600.16
3590.89/3600.16 c solving : 3600.16
3590.89/3600.16 c presolving : 0.02 (included in solving)
3590.89/3600.16 c B&B Tree :
3590.89/3600.16 c nodes (total) : 1
3590.89/3600.16 c Solution :
3590.89/3600.16 c Solutions found : 13
3590.89/3600.16 c Primal Bound : +1.90000000000000e+02
3590.89/3600.16 c Dual Bound : +1.71169795934728e+02
3590.89/3600.16 c Gap : 11.00089 %
3590.89/3600.16 c * Warning: final gap: 1.10009e-01 is greater than SCIPepsilon: 1.00000e-09
3590.89/3600.16 o 190
3590.89/3600.16 s SATISFIABLE
3590.89/3600.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
3590.89/3600.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
3590.89/3600.16 v -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 x421 -x420 x419 x418 x417 -x416 -x415 -x414 x413 -x412
3590.89/3600.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
3590.89/3600.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
3590.89/3600.16 v -x365 x364 -x363 -x362 -x361 x360 x359 -x358 -x357 -x356 -x355 x354 -x353 x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344
3590.89/3600.16 v x343 -x342 -x341 x340 x339 x338 -x337 -x336 x335 x334 x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 x322
3590.89/3600.16 v x321 x320 x319 x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 x309 x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300
3590.89/3600.16 v -x299 -x298 x297 -x296 -x295 x294 -x293 x292 -x291 -x290 -x289 -x288 x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278
3590.89/3600.16 v -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 x266 -x265 x264 -x263 -x262 -x261 x260 x259 x258 -x257 x256
3590.89/3600.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
3590.89/3600.16 v -x232 -x231 x230 x229 x228 -x227 -x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 -x217 -x216 x215 -x214 x213 -x212 x211
3590.89/3600.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
3590.89/3600.16 v -x187 x186 -x185 x184 -x183 x182 x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 x172 x171 x170 x169 -x168 x167 -x166 -x165
3590.89/3600.16 v -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 -x153 x152 -x151 -x150 x149 x148 x147 -x146 x145 x144 -x143
3590.89/3600.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
3590.89/3600.16 v -x119 -x118 x117 -x116 x115 x114 -x113 x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 x103 x102 -x101 x100 -x99 x98 -x97
3590.89/3600.16 v -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
3590.89/3600.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
3590.89/3600.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
3590.89/3600.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: 63931 MiB (58983 MiB free)
memory of node 1: 64510 MiB (61776 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434651-1721084501/watcher-4434651-1721084501 -o /tmp/evaluation-result-4434651-1721084501/solver-4434651-1721084501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843445 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434651-1721084501.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=843504, runsolver pid=843495
Current StackSize limit: 8192 KiB
[startup+0.100903 s]*
/proc/loadavg: 1.11 1.27 2.23 8/268 843514
/proc/meminfo: memFree=123589148/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=112620 memory=28652 CPUtime=0.09 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 4539 0 0 0 8 1 0 0 20 0 3 0 160617520 115322880 7163 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 28155 7163 2894 3032 0 10500 0
[pid=843504/tid=843510] ppid=843495 vsize=112620 memory=4026561586 CPUtime=0.06 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 2055 0 0 0 6 0 0 0 20 0 3 0 160617523 115322880 7163 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=112620 memory=232851243367 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 115322880 7163 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112620 KiB
Current children cumulated memory: 28652 KiB
[startup+0.205903 s]*
/proc/loadavg: 1.11 1.27 2.23 6/268 843514
/proc/meminfo: memFree=123580396/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=115316 memory=38744 CPUtime=0.2 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 7076 0 0 0 19 1 0 0 20 0 3 0 160617520 118083584 9686 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 28829 9686 2910 3032 0 13063 0
[pid=843504/tid=843510] ppid=843495 vsize=116008 memory=664970851429515395 CPUtime=0.16 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 4603 0 0 0 16 0 0 0 20 0 3 0 160617523 118792192 9686 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=116008 memory=14907 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 118792192 9686 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115316 KiB
Current children cumulated memory: 38744 KiB
[startup+0.305887 s]*
/proc/loadavg: 1.11 1.27 2.23 8/268 843514
/proc/meminfo: memFree=123570384/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=117880 memory=46136 CPUtime=0.29 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 8886 0 0 0 28 1 0 0 20 0 3 0 160617520 120709120 11534 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 29470 11534 2910 3032 0 14883 0
[pid=843504/tid=843510] ppid=843495 vsize=117880 memory=-6081664252234611559 CPUtime=0.27 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 6402 0 0 0 26 1 0 0 20 0 3 0 160617523 120709120 11534 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=117880 memory=0 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 120709120 11534 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117880 KiB
Current children cumulated memory: 46136 KiB
[startup+0.700264 s]
/proc/loadavg: 1.11 1.27 2.23 9/268 843514
/proc/meminfo: memFree=123542892/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=139384 memory=84960 CPUtime=0.68 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 19959 0 0 0 65 3 0 0 20 0 3 0 160617520 142729216 21240 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 34846 21240 2910 3032 0 24837 0
[pid=843504/tid=843510] ppid=843495 vsize=139384 memory=0 CPUtime=0.65 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 17475 0 0 0 63 2 0 0 20 0 3 0 160617523 142729216 21240 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=139384 memory=0 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 142729216 21240 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139384 KiB
Current children cumulated memory: 84960 KiB
[startup+1.50027 s]
/proc/loadavg: 1.34 1.32 2.24 8/268 843514
/proc/meminfo: memFree=123351116/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=204920 memory=158472 CPUtime=1.48 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 47837 0 0 0 141 7 0 0 20 0 3 0 160617520 209838080 39618 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 51230 39618 2910 3032 0 43927 0
[pid=843504/tid=843510] ppid=843495 vsize=204920 memory=0 CPUtime=1.45 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 45353 0 0 0 139 6 0 0 20 0 3 0 160617523 209838080 39618 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=204920 memory=0 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160617523 209838080 39618 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 204920 KiB
Current children cumulated memory: 158472 KiB
[startup+3.10598 s]
/proc/loadavg: 1.34 1.32 2.24 7/268 843514
/proc/meminfo: memFree=123057956/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=204920 memory=162152 CPUtime=3.08 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 49020 0 0 0 301 7 0 0 20 0 3 0 160617520 209838080 40538 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 51230 40538 2910 3032 0 44928 0
[pid=843504/tid=843510] ppid=843495 vsize=204920 memory=0 CPUtime=3.05 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 46533 0 0 0 299 6 0 0 20 0 3 0 160617523 209838080 40538 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=204920 memory=2273 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 160617523 209838080 40538 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 204920 KiB
Current children cumulated memory: 162152 KiB
[startup+6.30016 s]
/proc/loadavg: 1.55 1.36 2.25 7/268 843514
/proc/meminfo: memFree=123056820/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=204920 memory=162384 CPUtime=6.27 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 52637 0 0 0 620 7 0 0 20 0 3 0 160617520 209838080 40596 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 51230 40596 2910 3032 0 44928 0
[pid=843504/tid=843510] ppid=843495 vsize=204920 memory=0 CPUtime=6.23 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 50111 0 0 0 617 6 0 0 20 0 3 0 160617523 209838080 40596 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=204920 memory=162152 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 160617523 209838080 40596 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 204920 KiB
Current children cumulated memory: 162384 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.41 2.26 7/268 843516
/proc/meminfo: memFree=123051512/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=204920 memory=162612 CPUtime=12.65 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 58604 0 0 0 1258 7 0 0 20 0 3 0 160617520 209838080 40653 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 51230 40653 2958 3032 0 44928 0
[pid=843504/tid=843510] ppid=843495 vsize=204920 memory=162612 CPUtime=12.61 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 56019 0 0 0 1255 6 0 0 20 0 3 0 160617523 209838080 40653 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=204920 memory=162612 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 160617523 209838080 40653 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 204920 KiB
Current children cumulated memory: 162612 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 1.49 2.28 8/267 843517
/proc/meminfo: memFree=122809928/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=266832 memory=203364 CPUtime=25.41 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 106740 0 0 0 2530 11 0 0 20 0 3 0 160617520 273235968 50841 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 66708 50841 2974 3032 0 55467 0
[pid=843504/tid=843510] ppid=843495 vsize=266832 memory=203192 CPUtime=25.39 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 103788 0 0 0 2528 11 0 0 20 0 3 0 160617523 273235968 50841 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=266832 memory=203364 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 160617523 273235968 50841 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 266832 KiB
Current children cumulated memory: 203364 KiB
[startup+51.106 s]
/proc/loadavg: 2.90 1.75 2.34 7/267 843522
/proc/meminfo: memFree=122785440/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=266832 memory=227740 CPUtime=50.95 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 157078 0 0 0 5080 15 0 0 20 0 3 0 160617520 273235968 56935 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 66708 56935 2974 3032 0 61375 0
[pid=843504/tid=843510] ppid=843495 vsize=266832 memory=41140 CPUtime=50.92 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 153899 0 0 0 5077 15 0 0 20 0 3 0 160617523 273235968 56935 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=266832 memory=222048 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 160617523 273235968 56935 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 266832 KiB
Current children cumulated memory: 227740 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.11 2.43 7/266 843531
/proc/meminfo: memFree=122642336/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=331344 memory=239268 CPUtime=102.02 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 236959 0 0 0 10182 20 0 0 20 0 3 0 160617520 339296256 59817 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 82836 59817 2974 3032 0 63352 0
[pid=843504/tid=843510] ppid=843495 vsize=331344 memory=239164 CPUtime=101.99 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 233693 0 0 0 10180 19 0 0 20 0 3 0 160617523 339296256 59817 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=331344 memory=239164 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 160617523 339296256 59817 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 331344 KiB
Current children cumulated memory: 239268 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 2.52 2.56 8/266 843542
/proc/meminfo: memFree=122477560/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=331344 memory=299404 CPUtime=161.87 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 297506 0 0 0 16161 26 0 0 20 0 3 0 160617520 339296256 74851 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 82836 74851 2974 3032 0 78870 0
[pid=843504/tid=843510] ppid=843495 vsize=331344 memory=299360 CPUtime=161.83 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 294176 0 0 0 16158 25 0 0 20 0 3 0 160617523 339296256 74851 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=331344 memory=299404 CPUtime=0 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 160617523 339296256 74851 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 331344 KiB
################
# More data... #
################
/proc/843504/statm: 101146 87258 2974 3032 0 90338 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=5536 CPUtime=3453.14 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 663043 0 0 0 345236 78 0 0 20 0 3 0 160617523 414294016 87258 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=11588 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 202 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87258 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 349032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.04 8/265 845313
/proc/meminfo: memFree=122205036/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351536 CPUtime=3513.28 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 673364 0 0 0 351242 86 0 0 20 0 3 0 160617520 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87884 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=351536 CPUtime=3512.99 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 668581 0 0 0 351220 79 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=351536 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 204 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351536 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.04 7/264 845337
/proc/meminfo: memFree=122202376/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351536 CPUtime=3573.12 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 676986 0 0 0 357226 86 0 0 20 0 3 0 160617520 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87884 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=11588 CPUtime=3572.84 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672184 0 0 0 357204 80 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=1944 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351536 KiB
[startup+3600.17 s]
# the end of solver process 843504 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.09 s, system=0.877718 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.04 9/264 845337
/proc/meminfo: memFree=122202424/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351536 CPUtime=3574.82 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 677063 0 0 0 357396 86 0 0 20 0 3 0 160617520 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87884 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=6720665467230568044 CPUtime=3574.54 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672261 0 0 0 357374 80 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=-8621784572243001500 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3574.82 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351536 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.08 4.04 8/264 845338
/proc/meminfo: memFree=122202312/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351536 CPUtime=3581.21 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 677403 0 0 0 358034 87 0 0 20 0 3 0 160617520 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87884 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=11588 CPUtime=3580.92 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672601 0 0 0 358012 80 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=33 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3581.21 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351536 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.08 4.04 7/264 845338
/proc/meminfo: memFree=122202296/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351536 CPUtime=3587.6 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 677421 0 0 0 358673 87 0 0 20 0 3 0 160617520 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87884 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=351536 CPUtime=3587.3 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672619 0 0 0 358650 80 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=11588 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87884 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351536 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.08 4.03 8/264 845338
/proc/meminfo: memFree=122202288/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351596 CPUtime=3589.19 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 677608 0 0 0 358832 87 0 0 20 0 3 0 160617520 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87899 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=41300 CPUtime=3588.89 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672806 0 0 0 358809 80 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=12508 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3589.19 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351596 KiB
[startup+3599.2 s]
/proc/loadavg: 4.07 4.08 4.03 7/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351596 CPUtime=3589.99 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 677677 0 0 0 358912 87 0 0 20 0 3 0 160617520 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87899 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=15980 CPUtime=3589.69 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672875 0 0 0 358889 80 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=2340 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3589.99 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351596 KiB
[startup+3599.6 s]
/proc/loadavg: 4.07 4.08 4.03 7/264 845338
/proc/meminfo: memFree=122202272/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351596 CPUtime=3590.39 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 677678 0 0 0 358952 87 0 0 20 0 3 0 160617520 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87899 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=100 CPUtime=3590.09 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672876 0 0 0 358929 80 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=5680 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3590.39 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351596 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.08 4.03 8/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351596 CPUtime=3590.79 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 677679 0 0 0 358992 87 0 0 20 0 3 0 160617520 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87899 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=6720665467230568044 CPUtime=3590.5 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 672877 0 0 0 358970 80 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=7300 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3590.79 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351596 KiB
[startup+3600.11 s]
/proc/loadavg: 4.07 4.08 4.03 8/264 845340
/proc/meminfo: memFree=122202328/131524600 swapFree=131071996/131071996
[pid=843504] ppid=843495 vsize=404584 memory=351596 CPUtime=3590.89 cores=5,7
/proc/843504/stat : 843504 (fscip) S 843495 843504 843431 0 -1 1077936128 678972 0 0 0 359002 87 0 0 20 0 3 0 160617520 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
/proc/843504/statm: 101146 87899 2974 3032 0 90691 0
[pid=843504/tid=843510] ppid=843495 vsize=404584 memory=351536 CPUtime=3590.59 cores=5,7
/proc/843504/task/843510/stat : 843510 (fscip) R 843495 843504 843431 0 -1 4194368 674170 0 0 0 358979 80 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
[pid=843504/tid=843514] ppid=843495 vsize=404584 memory=351536 CPUtime=0.02 cores=5,7
/proc/843504/task/843514/stat : 843514 (fscip) S 843495 843504 843431 0 -1 1077936192 206 0 0 0 1 1 0 0 20 0 3 0 160617523 414294016 87899 134679101440 4194304 16613245 140725524008352 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 25513984 140725524014101 140725524014217 140725524014217 140725524021232 0
Current children cumulated CPU time: 3590.89 s
Current children cumulated vsize: 404584 KiB
Current children cumulated memory: 351596 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3590.96
CPU user time (s): 3590.09
CPU system time (s): 0.877718
CPU usage (%): 99.7443
Max. virtual memory (cumulated for all children) (KiB): 404584
Max. memory (cumulated for all children) (KiB): 351596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.09
system time used= 0.877718
maximum resident set size= 351596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679525
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= 12301
involuntary context switches= 3420
# summary of solver processes directly reported to runsolver:
# pid: 843504
# total CPU time (s): 3590.96
# total CPU user time (s): 3590.09
# total CPU system time (s): 0.877718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7874 second user time and 17.7458 second system time
The end
Begin job on nodeC029 at 2024-07-16 01:01:54
IDJOB=4434651
IDBENCH=147541
IDSOLVER=3064
FILE ID=nodeC029/4434651-1721084501
RUNJOBID= nodeC029-1721084514-843445
SLURM_JOB_ID= 7505574
Free space on /tmp= 890068 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_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-4434651-1721084501/watcher-4434651-1721084501 -o /tmp/evaluation-result-4434651-1721084501/solver-4434651-1721084501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721084514-843445 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434651-1721084501.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=34821137
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3809.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3715.434
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.573
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3842.442
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3754.595
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3802.407
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3617.361
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3610.925
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123665724 kB
MemAvailable: 129672284 kB
Buffers: 375852 kB
Cached: 6395204 kB
SwapCached: 0 kB
Active: 678308 kB
Inactive: 6429524 kB
Active(anon): 1348 kB
Inactive(anon): 373140 kB
Active(file): 676960 kB
Inactive(file): 6056384 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112200 kB
Writeback: 0 kB
AnonPages: 336768 kB
Mapped: 103908 kB
Shmem: 37720 kB
KReclaimable: 225724 kB
Slab: 346508 kB
SReclaimable: 225724 kB
SUnreclaim: 120784 kB
KernelStack: 3952 kB
PageTables: 9776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 666832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60448 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-16 02:01:54