0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 49676288, getVmSize() = 49676288, SCIPgetMemUsed() = 20914628, SCIPgetMemTotal() = 26962924, SCIPgetMemExternEstim() = 17802403
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.29/0.36 c ** Estimated virtualMemUsedAtSolver = 79921094, getVmSize() = 127414272, SCIPgetMemUsed() = 52456887, SCIPgetMemTotal() = 102079239, SCIPgetMemExternEstim() = 17802403
0.29/0.36 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.29/0.36 c Original Problem :
0.29/0.36 c Problem name : instance-4449798-1721452539
0.29/0.36 c Variables : 427 (427 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.36 c Constraints : 17423
0.29/0.36 c Objective sense : minimize
0.29/0.36 c Presolved Problem :
0.29/0.36 c Variables : 427 (427 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.36 c Constraints : 17423
0.29/0.36 c Constraints : Number
0.29/0.36 c setppc : 14
0.29/0.36 c logicor : 17409
0.29/0.36 c ** Instance transfer method used: 0
0.29/0.39 c ** ParaScipInstance copy does not increase the number of variables. **
0.39/0.41 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.39/0.41 c Nodes Active
0.39/0.41 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.58/0.60 c * 1 0 1 1 14.0000 - -
0.58/0.61 c * 1 0 1 1 13.0000 - -
3.06/3.16 c * 3 0 1 1 12.0000 - -
3.16/3.21 c * 3 0 1 1 10.0000 - -
3.75/3.85 c * 4 2 1 1 5.0000 0.0000 -
6.22/6.39 c 6 50 49 1 5.0000 0.0000 -
11.88/12.01 c 12 160 123 1 5.0000 0.0000 -
16.82/17.09 c 17 704 338 1 5.0000 0.0000 -
21.96/22.24 c 22 1751 407 1 5.0000 0.0000 -
27.11/27.42 c 27 2782 472 1 5.0000 0.0000 -
33.06/33.40 c 33 3217 544 1 5.0000 0.0000 -
38.41/38.80 c 39 4067 558 1 5.0000 0.0000 -
43.46/43.96 c 44 5286 556 1 5.0000 0.0000 -
48.70/49.25 c 49 6361 575 1 5.0000 0.0000 -
54.64/55.28 c 55 7237 590 1 5.0000 0.0000 -
59.69/60.40 c 60 8019 604 1 5.0000 0.0000 -
65.64/66.39 c 66 8810 603 1 5.0000 0.0000 -
71.19/71.96 c 72 9092 619 1 5.0000 0.0000 -
76.74/77.54 c 78 9562 624 1 5.0000 0.0000 -
82.11/82.97 c 83 10092 643 1 5.0000 0.0000 -
87.39/88.25 c 88 10917 643 1 5.0000 0.0000 -
92.47/93.39 c 93 11900 697 1 5.0000 0.0000 -
98.06/98.92 c 99 12523 714 1 5.0000 0.0000 -
103.53/104.43 c 104 13486 633 1 5.0000 0.0000 -
108.61/109.51 c 110 14302 639 1 5.0000 0.0000 -
113.69/114.68 c 115 14991 678 1 5.0000 0.0000 -
119.57/120.52 c 121 15357 701 1 5.0000 0.0000 -
124.96/125.91 c 126 15674 734 1 5.0000 0.0000 -
130.44/131.41 c 131 15984 752 1 5.0000 0.0000 -
135.62/136.64 c 137 16441 777 1 5.0000 0.0000 -
140.90/141.94 c 142 17171 784 1 5.0000 0.0000 -
146.08/147.12 c 147 18274 800 1 5.0000 0.0000 -
151.25/152.36 c 152 19361 743 1 5.0000 0.0000 -
156.74/157.89 c 158 21113 735 1 5.0000 0.0000 -
162.42/163.53 c 164 21868 759 1 5.0000 0.0000 -
167.59/168.72 c 169 23245 760 1 5.0000 0.0000 -
173.58/174.78 c 175 23554 807 1 5.0000 0.0000 -
178.66/179.85 c 180 23765 816 1 5.0000 0.0000 -
183.74/184.93 c 185 23846 826 1 5.0000 0.0000 -
188.82/190.07 c 190 23904 835 1 5.0000 0.0000 -
194.40/195.67 c 196 24430 848 1 5.0000 0.0000 -
200.07/201.37 c 201 25869 886 1 5.0000 0.0000 -
205.36/206.67 c 207 26427 891 1 5.0000 0.0000 -
210.94/212.29 c 212 26714 895 1 5.0000 0.0000 -
217.02/218.38 c 218 26964 895 1 5.0000 0.0000 -
222.90/224.23 c 224 27167 897 1 5.0000 0.0000 -
228.58/229.92 c 230 27541 887 1 5.0000 0.0000 -
234.06/235.41 c 235 28193 875 1 5.0000 0.0000 -
239.24/240.68 c 241 29379 854 1 5.0000 0.0000 -
245.72/247.12 c 247 29816 832 1 5.0000 0.0000 -
251.40/252.88 c 253 29972 856 1 5.0000 0.0000 -
257.17/258.66 c 259 30085 869 1 5.0000 0.0000 -
262.95/264.48 c 264 30237 888 1 5.0000 0.0000 -
268.82/270.39 c 270 30897 914 1 5.0000 0.0000 -
275.10/276.64 c 277 31139 925 1 5.0000 0.0000 -
280.99/282.51 c 283 31338 932 1 5.0000 0.0000 -
286.36/287.99 c 288 31813 938 1 5.0000 0.0000 -
292.14/293.74 c 294 32611 950 1 5.0000 0.0000 -
297.82/299.47 c 299 33584 949 1 5.0000 0.0000 -
303.50/305.16 c 305 34540 948 1 5.0000 0.0000 -
308.57/310.20 c 310 36052 968 1 5.0000 0.0000 -
314.46/316.12 c 316 37005 974 1 5.0000 0.0000 -
319.53/321.28 c 321 37752 1006 1 5.0000 0.0000 -
325.11/326.82 c 327 38275 1045 1 5.0000 0.0000 -
330.39/332.17 c 332 38750 1092 1 5.0000 0.0000 -
335.76/337.59 c 338 39066 1110 1 5.0000 0.0000 -
341.04/342.81 c 343 39351 1106 1 5.0000 0.0000 -
346.33/348.18 c 348 40046 1108 1 5.0000 0.0000 -
351.91/353.70 c 354 40952 1195 1 5.0000 0.0000 -
357.30/359.13 c 359 41345 1234 1 5.0000 0.0000 -
362.47/364.32 c 364 41646 1241 1 5.0000 0.0000 -
367.75/369.60 c 370 42317 1242 1 5.0000 0.0000 -
373.13/375.03 c 375 43122 1259 1 5.0000 0.0000 -
378.51/380.48 c 380 43525 1289 1 5.0000 0.0000 -
384.99/386.98 c 387 44005 1294 1 5.0000 0.0000 -
390.17/392.19 c 392 44376 1353 1 5.0000 0.0000 -
395.45/397.44 c 397 44836 1360 1 5.0000 0.0000 -
400.73/402.75 c 403 45220 1413 1 5.0000 0.0000 -
406.22/408.24 c 408 45599 1444 1 5.0000 0.0000 -
411.39/413.45 c 413 46067 1535 1 5.0000 0.0000 -
417.27/419.32 c 419 46370 1570 1 5.0000 0.0000 -
422.95/425.01 c 425 46967 1622 1 5.0000 0.0000 -
428.54/430.62 c 431 47328 1661 1 5.0000 0.0000 -
433.72/435.84 c 436 47871 1730 1 5.0000 0.0000 -
439.10/441.28 c 441 48217 1754 1 5.0000 0.0000 -
444.28/446.41 c 446 48649 1788 1 5.0000 0.0000 -
449.46/451.68 c 452 49334 1797 1 5.0000 0.0000 -
454.95/457.17 c 457 49701 1819 1 5.0000 0.0000 -
460.32/462.54 c 463 50432 1848 1 5.0000 0.0000 -
466.10/468.30 c 468 50947 1852 1 5.0000 0.0000 -
471.57/473.86 c 474 51745 1860 1 5.0000 0.0000 -
477.16/479.45 c 479 52362 1863 1 5.0000 0.0000 -
482.75/485.00 c 485 53037 1893 1 5.0000 0.0000 -
487.92/490.23 c 490 53545 1910 1 5.0000 0.0000 -
493.20/495.52 c 496 53952 1927 1 5.0000 0.0000 -
499.09/501.40 c 501 54322 1956 1 5.0000 0.0000 -
504.67/507.03 c 507 54605 1937 1 5.0000 0.0000 -
510.64/513.01 c 513 55108 1956 1 5.0000 0.0000 -
516.02/518.48 c 518 55603 1969 1 5.0000 0.0000 -
521.80/524.28 c 524 56031 1997 1 5.0000 0.0000 -
527.08/529.54 c 530 56915 2109 1 5.0000 0.0000 -
532.46/534.95 c 535 57653 2194 1 5.0000 0.0000 -
537.55/540.02 c 540 58591 2332 1 5.0000 0.0000 -
542.92/545.42 c 545 59148 2408 1 5.0000 0.0000 -
548.00/550.55 c 551 59979 2524 1 5.0000 0.0000 -
553.28/555.87 c 556 60769 2688 1 5.0000 0.0000 -
558.46/561.08 c 561 60965 2713 1 5.0000 0.0000 -
564.04/566.66 c 567 61246 2748 1 5.0000 0.0000 -
569.53/572.11 c 572 61621 2824 1 5.0000 0.0000 -
575.01/577.68 c 578 62051 2887 1 5.0000 0.0000 -
580.59/583.24 c 583 62607 2973 1 5.0000 0.0000 -
586.86/589.50 c 590 63132 3012 1 5.0000 0.0000 -
592.15/594.82 c 595 63597 3069 1 5.0000 0.0000 -
597.53/600.20 c 600 64021 3097 1 5.0000 0.0000 -
603.11/605.86 c 606 64334 3117 1 5.0000 0.0000 -
608.29/611.03 c 611 64694 3145 1 5.0000 0.0000 -
613.47/616.26 c 616 65158 3168 1 5.0000 0.0000 -
618.95/621.77 c 622 65562 3188 1 5.0000 0.0000 -
624.43/627.27 c 627 65862 3235 1 5.0000 0.0000 -
630.11/632.94 c 633 66261 3309 1 5.0000 0.0000 -
635.39/638.28 c 638 66720 3363 1 5.0000 0.0000 -
640.67/643.55 c 644 67067 3373 1 5.0000 0.0000 -
646.16/649.05 c 649 67570 3390 1 5.0000 0.0000 -
651.34/654.27 c 654 68030 3424 1 5.0000 0.0000 -
656.82/659.74 c 660 68475 3449 1 5.0000 0.0000 -
662.10/665.02 c 665 68917 3487 1 5.0000 0.0000 -
667.28/670.26 c 670 69373 3520 1 5.0000 0.0000 -
672.86/675.85 c 676 69770 3559 1 5.0000 0.0000 -
678.24/681.23 c 681 70114 3570 1 5.0000 0.0000 -
683.62/686.61 c 687 70599 3604 1 5.0000 0.0000 -
688.80/691.87 c 692 71154 3595 1 5.0000 0.0000 -
694.18/697.27 c 697 71687 3644 1 5.0000 0.0000 -
700.16/703.25 c 703 71932 3655 1 5.0000 0.0000 -
706.05/709.11 c 709 72457 3672 1 5.0000 0.0000 -
711.53/714.60 c 715 72904 3690 1 5.0000 0.0000 -
716.61/719.75 c 720 73557 3706 1 5.0000 0.0000 -
721.79/724.98 c 725 73944 3726 1 5.0000 0.0000 -
727.37/730.57 c 731 74405 3753 1 5.0000 0.0000 -
732.86/736.04 c 736 74898 3768 1 5.0000 0.0000 -
738.32/741.52 c 742 75393 3773 1 5.0000 0.0000 -
744.21/747.42 c 747 75963 3750 1 5.0000 0.0000 -
749.59/752.80 c 753 76354 3769 1 5.0000 0.0000 -
754.77/758.09 c 758 76778 3814 1 5.0000 0.0000 -
760.16/763.42 c 763 77240 3822 1 5.0000 0.0000 -
765.44/768.71 c 769 77759 3841 1 5.0000 0.0000 -
771.02/774.33 c 774 78186 3836 1 5.0000 0.0000 -
776.30/779.62 c 780 78826 3867 1 5.0000 0.0000 -
781.78/785.15 c 785 79531 3875 1 5.0000 0.0000 -
787.16/790.51 c 791 80370 3874 1 5.0000 0.0000 -
792.25/795.69 c 796 80932 3868 1 5.0000 0.0000 -
797.93/801.32 c 801 81401 3867 1 5.0000 0.0000 -
803.21/806.67 c 807 82039 3876 1 5.0000 0.0000 -
808.69/812.17 c 812 82761 3871 1 5.0000 0.0000 -
813.97/817.42 c 817 83301 3860 1 5.0000 0.0000 -
818.95/822.47 c 822 84102 3836 1 5.0000 0.0000 -
824.22/827.72 c 828 84665 3832 1 5.0000 0.0000 -
829.31/832.82 c 833 85697 3877 1 5.0000 0.0000 -
834.29/837.88 c 838 86836 3942 1 5.0000 0.0000 -
839.47/843.09 c 843 87753 3980 1 5.0000 0.0000 -
845.15/848.74 c 849 88389 3975 1 5.0000 0.0000 -
850.53/854.15 c 854 88798 3976 1 5.0000 0.0000 -
856.01/859.65 c 860 89533 3961 1 5.0000 0.0000 -
861.39/865.07 c 865 89871 3974 1 5.0000 0.0000 -
866.68/870.31 c 870 90709 3978 1 5.0000 0.0000 -
871.75/875.49 c 876 91325 3940 1 5.0000 0.0000 -
877.44/881.14 c 881 91824 3944 1 5.0000 0.0000 -
882.72/886.42 c 886 92364 3934 1 5.0000 0.0000 -
888.10/891.82 c 892 92929 3907 1 5.0000 0.0000 -
893.28/897.03 c 897 93641 3859 1 5.0000 0.0000 -
898.76/902.52 c 903 94356 3819 1 5.0000 0.0000 -
904.04/907.83 c 908 94809 3791 1 5.0000 0.0000 -
909.22/913.00 c 913 95375 3784 1 5.0000 0.0000 -
914.31/918.18 c 918 96055 3717 1 5.0000 0.0000 -
919.89/923.72 c 924 96529 3650 1 5.0000 0.0000 -
925.36/929.25 c 929 97357 3525 1 5.0000 0.0000 -
931.05/934.96 c 935 98225 3402 1 5.0000 0.0000 -
936.72/940.66 c 941 98931 3314 1 5.0000 0.0000 -
942.10/946.00 c 946 99452 3278 1 5.0000 0.0000 -
947.38/951.33 c 951 100231 3192 1 5.0000 0.0000 -
952.76/956.73 c 957 100986 3173 1 5.0000 0.0000 -
958.24/962.22 c 962 101585 3176 1 5.0000 0.0000 -
963.63/967.68 c 968 102273 3156 1 5.0000 0.0000 -
969.50/973.58 c 974 103063 3070 1 5.0000 0.0000 -
974.58/978.64 c 979 103973 3099 1 5.0000 0.0000 -
979.87/983.90 c 984 104846 3235 1 5.0000 0.0000 -
985.05/989.12 c 989 105151 3286 1 5.0000 0.0000 -
990.23/994.35 c 994 105705 3324 1 5.0000 0.0000 -
995.91/1000.00 c 1000 106177 3363 1 5.0000 0.0000 -
1001.19/1005.38 c 1005 106393 3399 1 5.0000 0.0000 -
1006.87/1011.01 c 1011 106844 3433 1 5.0000 0.0000 -
1012.04/1016.22 c 1016 107292 3492 1 5.0000 0.0000 -
1017.43/1021.66 c 1022 107707 3533 1 5.0000 0.0000 -
1023.01/1027.23 c 1027 108115 3559 1 5.0000 0.0000 -
1028.39/1032.68 c 1033 108506 3616 1 5.0000 0.0000 -
1033.88/1038.19 c 1038 108926 3646 1 5.0000 0.0000 -
1039.26/1043.55 c 1044 109237 3663 1 5.0000 0.0000 -
1044.84/1049.16 c 1049 109709 3687 1 5.0000 0.0000 -
1050.21/1054.50 c 1055 110314 3714 1 5.0000 0.0000 -
1055.40/1059.70 c 1060 110810 3745 1 5.0000 0.0000 -
1060.58/1064.98 c 1065 111441 3758 1 5.0000 0.0000 -
1066.67/1071.00 c 1071 111987 3819 1 5.0000 0.0000 -
1072.24/1076.63 c 1077 112567 3851 1 5.0000 0.0000 -
1078.02/1082.40 c 1082 112994 3855 1 5.0000 0.0000 -
1083.30/1087.73 c 1088 113500 3875 1 5.0000 0.0000 -
1088.58/1093.01 c 1093 113862 3904 1 5.0000 0.0000 -
1094.17/1098.63 c 1099 114106 3942 1 5.0000 0.0000 -
1099.66/1104.13 c 1104 114556 3990 1 5.0000 0.0000 -
1104.63/1109.19 c 1109 115345 4045 1 5.0000 0.0000 -
1110.01/1114.50 c 1115 116216 4075 1 5.0000 0.0000 -
1115.79/1120.31 c 1120 116823 4138 1 5.0000 0.0000 -
1120.87/1125.42 c 1125 117328 4167 1 5.0000 0.0000 -
1126.46/1131.02 c 1131 117704 4171 1 5.0000 0.0000 -
1131.73/1136.33 c 1136 118425 4202 1 5.0000 0.0000 -
1137.42/1142.08 c 1142 118995 4210 1 5.0000 0.0000 -
1142.80/1147.40 c 1147 119557 4241 1 5.0000 0.0000 -
1147.98/1152.67 c 1153 120111 4281 1 5.0000 0.0000 -
1153.26/1157.93 c 1158 120558 4303 1 5.0000 0.0000 -
1158.74/1163.46 c 1163 121242 4333 1 5.0000 0.0000 -
1164.32/1169.01 c 1169 121845 4338 1 5.0000 0.0000 -
1169.80/1174.52 c 1175 122298 4340 1 5.0000 0.0000 -
1175.18/1179.91 c 1180 123151 4408 1 5.0000 0.0000 -
1180.67/1185.45 c 1185 123809 4386 1 5.0000 0.0000 -
1186.05/1190.85 c 1191 124462 4402 1 5.0000 0.0000 -
1191.23/1196.01 c 1196 125237 4420 1 5.0000 0.0000 -
1196.51/1201.38 c 1201 125650 4441 1 5.0000 0.0000 -
1201.69/1206.53 c 1207 126051 4459 1 5.0000 0.0000 -
1207.07/1211.98 c 1212 126407 4469 1 5.0000 0.0000 -
1212.55/1217.43 c 1217 126764 4467 1 5.0000 0.0000 -
1218.24/1223.12 c 1223 127273 4489 1 5.0000 0.0000 -
1223.52/1228.44 c 1228 127761 4469 1 5.0000 0.0000 -
1228.60/1233.57 c 1234 128200 4487 1 5.0000 0.0000 -
1233.78/1238.73 c 1239 129217 4511 1 5.0000 0.0000 -
1239.26/1244.23 c 1244 129631 4543 1 5.0000 0.0000 -
1244.74/1249.70 c 1250 129965 4549 1 5.0000 0.0000 -
1250.22/1255.22 c 1255 130620 4558 1 5.0000 0.0000 -
1255.70/1260.77 c 1261 131213 4554 1 5.0000 0.0000 -
1260.79/1265.88 c 1266 132027 4551 1 5.0000 0.0000 -
1266.36/1271.49 c 1272 132620 4541 1 5.0000 0.0000 -
1271.74/1276.88 c 1277 133046 4535 1 5.0000 0.0000 -
1276.93/1282.07 c 1282 133773 4513 1 5.0000 0.0000 -
1282.01/1287.12 c 1287 134311 4511 1 5.0000 0.0000 -
1287.39/1292.51 c 1293 134938 4507 1 5.0000 0.0000 -
1292.68/1297.80 c 1298 135626 4493 1 5.0000 0.0000 -
1298.25/1303.43 c 1303 136408 4489 1 5.0000 0.0000 -
1303.43/1308.63 c 1309 136988 4487 1 5.0000 0.0000 -
1308.71/1313.90 c 1314 137512 4477 1 5.0000 0.0000 -
1314.30/1319.50 c 1320 138078 4482 1 5.0000 0.0000 -
1319.68/1324.96 c 1325 138783 4487 1 5.0000 0.0000 -
1325.06/1330.37 c 1330 139176 4459 1 5.0000 0.0000 -
1330.64/1335.90 c 1336 139755 4420 1 5.0000 0.0000 -
1335.82/1341.11 c 1341 140397 4386 1 5.0000 0.0000 -
1340.90/1346.21 c 1346 141024 4353 1 5.0000 0.0000 -
1346.19/1351.54 c 1352 141878 4344 1 5.0000 0.0000 -
1351.66/1357.07 c 1357 142364 4340 1 5.0000 0.0000 -
1357.15/1362.53 c 1363 142960 4315 1 5.0000 0.0000 -
1362.52/1367.91 c 1368 143733 4257 1 5.0000 0.0000 -
1368.10/1373.57 c 1374 144684 4214 1 5.0000 0.0000 -
1373.79/1379.26 c 1379 145136 4183 1 5.0000 0.0000 -
1379.16/1384.67 c 1385 145874 4105 1 5.0000 0.0000 -
1384.45/1389.96 c 1390 146751 4027 1 5.0000 0.0000 -
1389.82/1395.35 c 1395 147621 3917 1 5.0000 0.0000 -
1395.61/1401.15 c 1401 148608 3815 1 5.0000 0.0000 -
1400.78/1406.30 c 1406 149708 3633 1 5.0000 0.0000 -
1406.06/1411.68 c 1412 150676 3503 1 5.0000 0.0000 -
1411.64/1417.20 c 1417 151332 3515 1 5.0000 0.0000 -
1417.02/1422.63 c 1423 151576 3569 1 5.0000 0.0000 -
1422.51/1428.12 c 1428 152277 3637 1 5.0000 0.0000 -
1427.49/1433.18 c 1433 153323 3693 1 5.0000 0.0000 -
1433.07/1438.70 c 1439 154000 3731 1 5.0000 0.0000 -
1438.95/1444.62 c 1445 154276 3755 1 5.0000 0.0000 -
1445.33/1451.06 c 1451 154674 3782 1 5.0000 0.0000 -
1450.51/1456.22 c 1456 155079 3808 1 5.0000 0.0000 -
1455.99/1461.76 c 1462 155381 3822 1 5.0000 0.0000 -
1461.87/1467.62 c 1468 156073 3865 1 5.0000 0.0000 -
1466.86/1472.69 c 1473 156362 3871 1 5.0000 0.0000 -
1472.44/1478.23 c 1478 156571 3894 1 5.0000 0.0000 -
1478.12/1483.95 c 1484 156840 3903 1 5.0000 0.0000 -
1483.60/1489.40 c 1489 157034 3908 1 5.0000 0.0000 -
1488.78/1494.65 c 1495 157267 3910 1 5.0000 0.0000 -
1494.46/1500.32 c 1500 157839 3963 1 5.0000 0.0000 -
1499.95/1505.88 c 1506 158198 4013 1 5.0000 0.0000 -
1505.63/1511.56 c 1512 158708 4040 1 5.0000 0.0000 -
1511.01/1516.94 c 1517 159088 4077 1 5.0000 0.0000 -
1516.69/1522.61 c 1523 159473 4134 1 5.0000 0.0000 -
1522.58/1528.60 c 1529 159864 4153 1 5.0000 0.0000 -
1527.76/1533.71 c 1534 160408 4149 1 5.0000 0.0000 -
1533.24/1539.29 c 1539 160794 4198 1 5.0000 0.0000 -
1538.72/1544.75 c 1545 161236 4240 1 5.0000 0.0000 -
1544.10/1550.12 c 1550 161978 4279 1 5.0000 0.0000 -
1549.29/1555.34 c 1555 162643 4290 1 5.0000 0.0000 -
1554.96/1561.01 c 1561 163355 4309 1 5.0000 0.0000 -
1560.65/1566.77 c 1567 163851 4324 1 5.0000 0.0000 -
1566.13/1572.26 c 1572 164394 4348 1 5.0000 0.0000 -
1571.21/1577.39 c 1577 164878 4379 1 5.0000 0.0000 -
1576.48/1582.64 c 1583 165517 4385 1 5.0000 0.0000 -
1582.06/1588.23 c 1588 166029 4406 1 5.0000 0.0000 -
1587.35/1593.57 c 1594 166584 4420 1 5.0000 0.0000 -
1592.72/1598.94 c 1599 167300 4446 1 5.0000 0.0000 -
1598.50/1604.78 c 1605 167709 4415 1 5.0000 0.0000 -
1603.58/1609.83 c 1610 168536 4415 1 5.0000 0.0000 -
1608.76/1615.05 c 1615 169093 4439 1 5.0000 0.0000 -
1613.93/1620.28 c 1620 170173 4543 1 5.0000 0.0000 -
1619.41/1625.78 c 1626 170859 4553 1 5.0000 0.0000 -
1624.80/1631.14 c 1631 171503 4541 1 5.0000 0.0000 -
1629.88/1636.21 c 1636 171952 4531 1 5.0000 0.0000 -
1635.35/1641.74 c 1642 172783 4573 1 5.0000 0.0000 -
1640.73/1647.15 c 1647 173283 4589 1 5.0000 0.0000 -
1645.81/1652.27 c 1652 173929 4613 1 5.0000 0.0000 -
1651.29/1657.79 c 1658 174591 4599 1 5.0000 0.0000 -
1656.57/1663.09 c 1663 175182 4578 1 5.0000 0.0000 -
1661.84/1668.32 c 1668 175761 4571 1 5.0000 0.0000 -
1667.13/1673.63 c 1674 176599 4574 1 5.0000 0.0000 -
1672.11/1678.69 c 1679 177098 4576 1 5.0000 0.0000 -
1677.38/1683.99 c 1684 177912 4594 1 5.0000 0.0000 -
1682.66/1689.27 c 1689 178648 4601 1 5.0000 0.0000 -
1687.93/1694.51 c 1695 179469 4641 1 5.0000 0.0000 -
1693.92/1700.59 c 1701 179783 4657 1 5.0000 0.0000 -
1699.19/1705.87 c 1706 180454 4663 1 5.0000 0.0000 -
1704.47/1711.17 c 1711 181055 4647 1 5.0000 0.0000 -
1709.75/1716.45 c 1716 181651 4623 1 5.0000 0.0000 -
1714.93/1721.66 c 1722 182420 4594 1 5.0000 0.0000 -
1720.50/1727.29 c 1727 183235 4607 1 5.0000 0.0000 -
1725.78/1732.50 c 1733 183929 4593 1 5.0000 0.0000 -
1731.17/1737.95 c 1738 184569 4576 1 5.0000 0.0000 -
1736.74/1743.58 c 1744 185160 4563 1 5.0000 0.0000 -
1742.32/1749.12 c 1749 185680 4537 1 5.0000 0.0000 -
1747.40/1754.28 c 1754 186561 4552 1 5.0000 0.0000 -
1752.68/1759.57 c 1760 187114 4561 1 5.0000 0.0000 -
1758.05/1764.96 c 1765 187737 4539 1 5.0000 0.0000 -
1763.13/1770.03 c 1770 188405 4487 1 5.0000 0.0000 -
1768.41/1775.35 c 1775 189112 4478 1 5.0000 0.0000 -
1773.79/1780.72 c 1781 189806 4477 1 5.0000 0.0000 -
1779.47/1786.48 c 1786 190525 4439 1 5.0000 0.0000 -
1784.66/1791.64 c 1792 191302 4360 1 5.0000 0.0000 -
1789.74/1796.72 c 1797 192007 4300 1 5.0000 0.0000 -
1794.92/1801.93 c 1802 192722 4297 1 5.0000 0.0000 -
1799.90/1806.99 c 1807 193672 4499 1 5.0000 0.0000 -
1805.38/1812.48 c 1812 194382 4631 1 5.0000 0.0000 -
1810.67/1817.77 c 1818 194976 4753 1 5.0000 0.0000 -
1815.96/1823.01 c 1823 195416 4813 1 5.0000 0.0000 -
1821.34/1828.42 c 1828 196013 4901 1 5.0000 0.0000 -
1826.51/1833.60 c 1834 196728 5001 1 5.0000 0.0000 -
1831.79/1838.91 c 1839 197309 5070 1 5.0000 0.0000 -
1837.08/1844.24 c 1844 197932 5124 1 5.0000 0.0000 -
1842.36/1849.51 c 1850 198413 5149 1 5.0000 0.0000 -
1847.54/1854.79 c 1855 198869 5194 1 5.0000 0.0000 -
1853.12/1860.30 c 1860 199381 5242 1 5.0000 0.0000 -
1858.40/1865.65 c 1866 199983 5290 1 5.0000 0.0000 -
1864.18/1871.49 c 1871 200638 5351 1 5.0000 0.0000 -
1869.37/1876.68 c 1877 201148 5393 1 5.0000 0.0000 -
1874.66/1881.90 c 1882 201733 5404 1 5.0000 0.0000 -
1880.14/1887.41 c 1887 202466 5443 1 5.0000 0.0000 -
1885.42/1892.79 c 1893 202845 5480 1 5.0000 0.0000 -
1890.60/1897.95 c 1898 203539 5520 1 5.0000 0.0000 -
1895.98/1903.35 c 1903 204350 5553 1 5.0000 0.0000 -
1901.07/1908.47 c 1908 204982 5568 1 5.0000 0.0000 -
1906.15/1913.53 c 1914 205753 5590 1 5.0000 0.0000 -
1911.33/1918.72 c 1919 206055 5596 1 5.0000 0.0000 -
1916.81/1924.29 c 1924 206597 5630 1 5.0000 0.0000 -
1922.09/1929.53 c 1930 207275 5660 1 5.0000 0.0000 -
1927.87/1935.32 c 1935 207735 5684 1 5.0000 0.0000 -
1933.46/1940.91 c 1941 208236 5684 1 5.0000 0.0000 -
1938.64/1946.11 c 1946 209066 5711 1 5.0000 0.0000 -
1943.62/1951.19 c 1951 209678 5731 1 5.0000 0.0000 -
1948.99/1956.58 c 1957 210358 5739 1 5.0000 0.0000 -
1954.68/1962.27 c 1962 211071 5765 1 5.0000 0.0000 -
1960.57/1968.11 c 1968 211749 5793 1 5.0000 0.0000 -
1966.04/1973.63 c 1974 212203 5794 1 5.0000 0.0000 -
1971.12/1978.78 c 1979 212946 5774 1 5.0000 0.0000 -
1976.31/1983.95 c 1984 213544 5783 1 5.0000 0.0000 -
1981.78/1989.45 c 1989 214243 5773 1 5.0000 0.0000 -
1986.96/1994.60 c 1995 214999 5770 1 5.0000 0.0000 -
1992.05/1999.71 c 2000 215823 5774 1 5.0000 0.0000 -
1997.23/2004.96 c 2005 216448 5778 1 5.0000 0.0000 -
2002.42/2010.14 c 2010 217225 5775 1 5.0000 0.0000 -
2007.79/2015.55 c 2016 217978 5774 1 5.0000 0.0000 -
2013.18/2020.95 c 2021 218727 5806 1 5.0000 0.0000 -
2019.46/2027.22 c 2027 219329 5813 1 5.0000 0.0000 -
2024.53/2032.37 c 2032 220176 5829 1 5.0000 0.0000 -
2030.02/2037.85 c 2038 221043 5821 1 5.0000 0.0000 -
2035.10/2042.95 c 2043 221968 5840 1 5.0000 0.0000 -
2040.68/2048.56 c 2049 222583 5842 1 5.0000 0.0000 -
2045.87/2053.73 c 2054 223106 5847 1 5.0000 0.0000 -
2051.25/2059.11 c 2059 223642 5851 1 5.0000 0.0000 -
2056.33/2064.28 c 2064 224361 5852 1 5.0000 0.0000 -
2061.61/2069.58 c 2070 225102 5852 1 5.0000 0.0000 -
2066.79/2074.78 c 2075 225934 5903 1 5.0000 0.0000 -
2071.87/2079.82 c 2080 226735 5912 1 5.0000 0.0000 -
2077.45/2085.44 c 2085 227695 5881 1 5.0000 0.0000 -
2082.83/2090.87 c 2091 228452 5889 1 5.0000 0.0000 -
2088.12/2096.17 c 2096 229083 5869 1 5.0000 0.0000 -
2093.49/2101.51 c 2102 229964 5822 1 5.0000 0.0000 -
2098.77/2106.80 c 2107 230585 5787 1 5.0000 0.0000 -
2105.16/2113.26 c 2113 230730 1 1 5.0000 0.0000 -
2110.44/2118.51 c 2119 230883 154 1 5.0000 0.0000 -
2115.72/2123.80 c 2124 230993 244 1 5.0000 0.0000 -
2121.00/2129.14 c 2129 231128 356 1 5.0000 0.0000 -
2126.38/2134.53 c 2135 231221 437 1 5.0000 0.0000 -
2131.86/2140.02 c 2140 231329 528 1 5.0000 0.0000 -
2137.04/2145.23 c 2145 231446 631 1 5.0000 0.0000 -
2142.92/2151.12 c 2151 231594 751 1 5.0000 0.0000 -
2148.40/2156.64 c 2157 231721 826 1 5.0000 0.0000 -
2154.28/2162.56 c 2163 231884 973 1 5.0000 0.0000 -
2159.37/2167.61 c 2168 232685 1178 1 5.0000 0.0000 -
2164.35/2172.69 c 2173 233694 1311 1 5.0000 0.0000 -
2170.12/2178.42 c 2178 234707 1401 1 5.0000 0.0000 -
2175.10/2183.48 c 2183 235523 1449 1 5.0000 0.0000 -
2180.48/2188.87 c 2189 236108 1501 1 5.0000 0.0000 -
2185.78/2194.19 c 2194 236774 1561 1 5.0000 0.0000 -
2191.45/2199.83 c 2200 237402 1600 1 5.0000 0.0000 -
2196.63/2205.01 c 2205 238445 1610 1 5.0000 0.0000 -
2201.80/2210.22 c 2210 239368 1626 1 5.0000 0.0000 -
2206.99/2215.40 c 2215 240237 1659 1 5.0000 0.0000 -
2212.47/2220.94 c 2221 240894 1660 1 5.0000 0.0000 -
2217.96/2226.49 c 2226 241415 1656 1 5.0000 0.0000 -
2223.24/2231.70 c 2232 242313 1638 1 5.0000 0.0000 -
2228.42/2236.94 c 2237 243131 1642 1 5.0000 0.0000 -
2233.40/2241.99 c 2242 243918 1631 1 5.0000 0.0000 -
2238.49/2247.03 c 2247 244451 1615 1 5.0000 0.0000 -
2243.66/2252.26 c 2252 244991 1588 1 5.0000 0.0000 -
2248.74/2257.36 c 2257 245579 1579 1 5.0000 0.0000 -
2253.82/2262.49 c 2262 246039 1583 1 5.0000 0.0000 -
2259.31/2267.99 c 2268 246588 1560 1 5.0000 0.0000 -
2264.69/2273.36 c 2273 247189 1537 1 5.0000 0.0000 -
2270.17/2278.84 c 2279 247827 1520 1 5.0000 0.0000 -
2275.65/2284.35 c 2284 248217 1550 1 5.0000 0.0000 -
2281.04/2289.70 c 2290 248523 1661 1 5.0000 0.0000 -
2286.22/2294.95 c 2295 248874 1840 1 5.0000 0.0000 -
2291.49/2300.25 c 2300 249273 1988 1 5.0000 0.0000 -
2296.58/2305.34 c 2305 249718 2165 1 5.0000 0.0000 -
2301.76/2310.55 c 2311 250129 2508 1 5.0000 0.0000 -
2306.94/2315.73 c 2316 250743 2843 1 5.0000 0.0000 -
2312.32/2321.12 c 2321 251360 3213 1 5.0000 0.0000 -
2317.60/2326.48 c 2326 251870 3553 1 5.0000 0.0000 -
2322.68/2331.58 c 2332 252191 3763 1 5.0000 0.0000 -
2327.76/2336.63 c 2337 253007 4171 1 5.0000 0.0000 -
2332.75/2341.67 c 2342 253835 4612 1 5.0000 0.0000 -
2337.83/2346.77 c 2347 255036 5098 1 5.0000 0.0000 -
2343.01/2351.96 c 2352 256104 5530 1 5.0000 0.0000 -
2348.19/2357.18 c 2357 256978 5862 1 5.0000 0.0000 -
2353.47/2362.47 c 2362 258020 6247 1 5.0000 0.0000 -
2358.75/2367.77 c 2368 258857 6657 1 5.0000 0.0000 -
2363.93/2372.95 c 2373 259788 7055 1 5.0000 0.0000 -
2369.02/2378.08 c 2378 260842 7458 1 5.0000 0.0000 -
2374.50/2383.56 c 2384 261764 7845 1 5.0000 0.0000 -
2379.98/2389.02 c 2389 262613 8143 1 5.0000 0.0000 -
2384.96/2394.07 c 2394 263564 8556 1 5.0000 0.0000 -
2390.13/2399.27 c 2399 264469 8885 1 5.0000 0.0000 -
2395.31/2404.43 c 2404 265423 9303 1 5.0000 0.0000 -
2401.29/2410.41 c 2410 265711 9415 1 5.0000 0.0000 -
2407.18/2416.38 c 2416 266671 9753 1 5.0000 0.0000 -
2412.56/2421.73 c 2422 267490 9965 1 5.0000 0.0000 -
2417.54/2426.78 c 2427 268343 10369 1 5.0000 0.0000 -
2422.62/2431.83 c 2432 269536 10860 1 5.0000 0.0000 -
2427.60/2436.88 c 2437 270936 11271 1 5.0000 0.0000 -
2432.69/2441.93 c 2442 272298 11580 1 5.0000 0.0000 -
2438.46/2447.70 c 2448 273164 11732 1 5.0000 0.0000 -
2443.85/2453.19 c 2453 273978 11918 1 5.0000 0.0000 -
2449.13/2458.40 c 2458 275314 12055 1 5.0000 0.0000 -
2454.30/2463.68 c 2464 275954 12117 1 5.0000 0.0000 -
2459.69/2469.01 c 2469 276823 12229 1 5.0000 0.0000 -
2466.07/2475.44 c 2475 277074 12254 1 5.0000 0.0000 -
2471.65/2481.07 c 2481 277644 12322 1 5.0000 0.0000 -
2477.73/2487.11 c 2487 278325 12464 1 5.0000 0.0000 -
2482.80/2492.29 c 2492 279208 12586 1 5.0000 0.0000 -
2487.98/2497.43 c 2497 280086 12683 1 5.0000 0.0000 -
2493.67/2503.12 c 2503 280483 12746 1 5.0000 0.0000 -
2499.73/2509.21 c 2509 281205 12870 1 5.0000 0.0000 -
2505.20/2514.77 c 2515 281574 12927 1 5.0000 0.0000 -
2510.89/2520.43 c 2520 281838 12960 1 5.0000 0.0000 -
2516.57/2526.11 c 2526 282101 12975 1 5.0000 0.0000 -
2521.84/2531.44 c 2531 282580 13051 1 5.0000 0.0000 -
2527.52/2537.12 c 2537 282982 13089 1 5.0000 0.0000 -
2532.60/2542.24 c 2542 283636 13353 1 5.0000 0.0000 -
2537.77/2547.41 c 2547 284397 13464 1 5.0000 0.0000 -
2543.04/2552.73 c 2553 285657 13568 1 5.0000 0.0000 -
2548.23/2557.97 c 2558 286066 13624 1 5.0000 0.0000 -
2553.50/2563.28 c 2563 286975 13678 1 5.0000 0.0000 -
2558.98/2568.78 c 2569 287947 13753 1 5.0000 0.0000 -
2564.36/2574.16 c 2574 288459 13808 1 5.0000 0.0000 -
2569.43/2579.28 c 2579 288853 13838 1 5.0000 0.0000 -
2574.91/2584.79 c 2585 289178 13871 1 5.0000 0.0000 -
2580.59/2590.46 c 2590 289640 13873 1 5.0000 0.0000 -
2585.76/2595.64 c 2596 290196 13911 1 5.0000 0.0000 -
2591.05/2600.92 c 2601 290740 13927 1 5.0000 0.0000 -
2596.13/2606.04 c 2606 291075 13946 1 5.0000 0.0000 -
2601.40/2611.36 c 2611 291538 13991 1 5.0000 0.0000 -
2606.87/2616.84 c 2617 291803 14027 1 5.0000 0.0000 -
2612.47/2622.41 c 2622 292102 14045 1 5.0000 0.0000 -
2617.84/2627.88 c 2628 292561 14088 1 5.0000 0.0000 -
2623.71/2633.73 c 2634 292867 14114 1 5.0000 0.0000 -
2629.19/2639.28 c 2639 293172 14166 1 5.0000 0.0000 -
2634.36/2644.48 c 2644 294174 14302 1 5.0000 0.0000 -
2639.64/2649.78 c 2650 294696 14347 1 5.0000 0.0000 -
2645.21/2655.37 c 2655 295295 14431 1 5.0000 0.0000 -
2650.49/2660.69 c 2661 295743 14461 1 5.0000 0.0000 -
2655.67/2665.89 c 2666 296153 14490 1 5.0000 0.0000 -
2660.95/2671.11 c 2671 296872 14513 1 5.0000 0.0000 -
2666.13/2676.32 c 2676 297721 14599 1 5.0000 0.0000 -
2671.30/2681.52 c 2682 298131 14643 1 5.0000 0.0000 -
2676.89/2687.14 c 2687 298546 14671 1 5.0000 0.0000 -
2682.06/2692.38 c 2692 299115 14744 1 5.0000 0.0000 -
2687.54/2697.86 c 2698 299493 14767 1 5.0000 0.0000 -
2692.91/2703.29 c 2703 299888 14819 1 5.0000 0.0000 -
2698.10/2708.47 c 2708 300416 14898 1 5.0000 0.0000 -
2703.37/2713.73 c 2714 300816 14972 1 5.0000 0.0000 -
2708.85/2719.27 c 2719 301236 15009 1 5.0000 0.0000 -
2714.13/2724.52 c 2725 301695 15050 1 5.0000 0.0000 -
2719.71/2730.12 c 2730 302174 15107 1 5.0000 0.0000 -
2725.08/2735.55 c 2736 302768 15173 1 5.0000 0.0000 -
2730.67/2741.13 c 2741 302962 15202 1 5.0000 0.0000 -
2735.93/2746.49 c 2746 303401 15245 1 5.0000 0.0000 -
2741.52/2752.04 c 2752 303810 15308 1 5.0000 0.0000 -
2746.79/2757.32 c 2757 304160 15320 1 5.0000 0.0000 -
2752.37/2762.98 c 2763 304688 15393 1 5.0000 0.0000 -
2757.54/2768.19 c 2768 305021 15399 1 5.0000 0.0000 -
2762.92/2773.59 c 2774 305926 15449 1 5.0000 0.0000 -
2768.20/2778.85 c 2779 306360 15506 1 5.0000 0.0000 -
2773.39/2784.03 c 2784 306682 15524 1 5.0000 0.0000 -
2779.17/2789.80 c 2790 307259 15566 1 5.0000 0.0000 -
2784.15/2794.89 c 2795 307528 15582 1 5.0000 0.0000 -
2789.83/2800.51 c 2801 308000 15619 1 5.0000 0.0000 -
2795.21/2805.93 c 2806 308327 15632 1 5.0000 0.0000 -
2800.20/2810.99 c 2811 308713 15672 1 5.0000 0.0000 -
2805.97/2816.72 c 2817 308947 15724 1 5.0000 0.0000 -
2811.45/2822.26 c 2822 309249 15755 1 5.0000 0.0000 -
2816.83/2827.69 c 2828 309604 15758 1 5.0000 0.0000 -
2822.32/2833.19 c 2833 310137 15782 1 5.0000 0.0000 -
2827.59/2838.41 c 2838 310788 15814 1 5.0000 0.0000 -
2832.67/2843.58 c 2844 311092 15843 1 5.0000 0.0000 -
2837.96/2848.85 c 2849 311615 15869 1 5.0000 0.0000 -
2843.74/2854.61 c 2855 312058 15906 1 5.0000 0.0000 -
2849.12/2860.10 c 2860 312457 15906 1 5.0000 0.0000 -
2854.50/2865.47 c 2865 312926 15934 1 5.0000 0.0000 -
2859.78/2870.77 c 2871 313654 15979 1 5.0000 0.0000 -
2865.56/2876.57 c 2877 314483 16089 1 5.0000 0.0000 -
2870.74/2881.75 c 2882 315228 16190 1 5.0000 0.0000 -
2876.13/2887.13 c 2887 315916 16243 1 5.0000 0.0000 -
2881.80/2892.87 c 2893 316480 16293 1 5.0000 0.0000 -
2887.09/2898.13 c 2898 317197 16342 1 5.0000 0.0000 -
2892.56/2903.64 c 2904 317613 16396 1 5.0000 0.0000 -
2897.85/2908.98 c 2909 317918 16407 1 5.0000 0.0000 -
2902.93/2914.07 c 2914 318458 16419 1 5.0000 0.0000 -
2908.30/2919.47 c 2919 319231 16403 1 5.0000 0.0000 -
2913.69/2924.85 c 2925 319978 16424 1 5.0000 0.0000 -
2919.26/2930.40 c 2930 320546 16444 1 5.0000 0.0000 -
2924.45/2935.68 c 2936 321224 16445 1 5.0000 0.0000 -
2929.73/2940.97 c 2941 322081 16461 1 5.0000 0.0000 -
2934.91/2946.19 c 2946 322640 16491 1 5.0000 0.0000 -
2940.19/2951.41 c 2951 323468 16500 1 5.0000 0.0000 -
2945.67/2956.93 c 2957 323797 16546 1 5.0000 0.0000 -
2951.05/2962.32 c 2962 324244 16558 1 5.0000 0.0000 -
2956.14/2967.47 c 2967 324889 16619 1 5.0000 0.0000 -
2962.42/2973.77 c 2974 325291 16634 1 5.0000 0.0000 -
2967.59/2978.97 c 2979 325808 16680 1 5.0000 0.0000 -
2972.97/2984.32 c 2984 326794 16700 1 5.0000 0.0000 -
2978.15/2989.57 c 2990 327435 16738 1 5.0000 0.0000 -
2983.13/2994.58 c 2995 327651 16758 1 5.0000 0.0000 -
2988.81/3000.21 c 3000 328070 16836 1 5.0000 0.0000 -
2993.79/3005.25 c 3005 329002 16937 1 5.0000 0.0000 -
2999.46/3010.93 c 3011 329882 17008 1 5.0000 0.0000 -
3005.24/3016.79 c 3017 330591 17046 1 5.0000 0.0000 -
3011.01/3022.50 c 3022 331231 17067 1 5.0000 0.0000 -
3016.70/3028.25 c 3028 331683 17103 1 5.0000 0.0000 -
3021.97/3033.58 c 3034 332217 17140 1 5.0000 0.0000 -
3027.16/3038.74 c 3039 332718 17158 1 5.0000 0.0000 -
3033.03/3044.63 c 3045 333219 17186 1 5.0000 0.0000 -
3038.81/3050.47 c 3050 333444 17222 1 5.0000 0.0000 -
3044.00/3055.63 c 3056 333817 17239 1 5.0000 0.0000 -
3049.78/3061.48 c 3061 334212 17248 1 5.0000 0.0000 -
3055.47/3067.13 c 3067 334582 17297 1 5.0000 0.0000 -
3060.75/3072.41 c 3072 334867 17332 1 5.0000 0.0000 -
3066.13/3077.80 c 3078 335219 17341 1 5.0000 0.0000 -
3071.21/3082.96 c 3083 335912 17373 1 5.0000 0.0000 -
3076.89/3088.61 c 3089 336348 17398 1 5.0000 0.0000 -
3082.27/3094.05 c 3094 336640 17402 1 5.0000 0.0000 -
3087.95/3099.70 c 3100 336769 17409 1 5.0000 0.0000 -
3093.53/3105.35 c 3105 337116 17438 1 5.0000 0.0000 -
3098.61/3110.46 c 3110 337521 17417 1 5.0000 0.0000 -
3103.79/3115.67 c 3116 338454 17532 1 5.0000 0.0000 -
3108.87/3120.76 c 3121 339119 17690 1 5.0000 0.0000 -
3115.05/3126.95 c 3127 339751 17788 1 5.0000 0.0000 -
3120.14/3132.02 c 3132 340273 17844 1 5.0000 0.0000 -
3125.42/3137.38 c 3137 340886 17905 1 5.0000 0.0000 -
3131.09/3143.07 c 3143 341397 17960 1 5.0000 0.0000 -
3136.37/3148.36 c 3148 342284 18095 1 5.0000 0.0000 -
3141.76/3153.76 c 3154 343179 18221 1 5.0000 0.0000 -
3147.14/3159.13 c 3159 343739 18284 1 5.0000 0.0000 -
3152.32/3164.38 c 3164 344697 18424 1 5.0000 0.0000 -
3157.60/3169.64 c 3170 345321 18487 1 5.0000 0.0000 -
3162.99/3175.03 c 3175 345817 18594 1 5.0000 0.0000 -
3168.76/3180.80 c 3181 346066 18669 1 5.0000 0.0000 -
3174.84/3186.90 c 3187 346327 18745 1 5.0000 0.0000 -
3180.93/3193.05 c 3193 346643 18803 1 5.0000 0.0000 -
3186.40/3198.57 c 3199 347192 18895 1 5.0000 0.0000 -
3192.28/3204.41 c 3204 347676 18993 1 5.0000 0.0000 -
3197.87/3210.01 c 3210 348159 19071 1 5.0000 0.0000 -
3203.34/3215.53 c 3216 348692 19162 1 5.0000 0.0000 -
3209.12/3221.35 c 3221 348920 19228 1 5.0000 0.0000 -
3214.71/3226.95 c 3227 349232 19293 1 5.0000 0.0000 -
3220.49/3232.76 c 3233 349527 19351 1 5.0000 0.0000 -
3225.77/3238.00 c 3238 349889 19429 1 5.0000 0.0000 -
3231.04/3243.36 c 3243 350194 19477 1 5.0000 0.0000 -
3236.63/3248.94 c 3249 350870 19565 1 5.0000 0.0000 -
3242.11/3254.43 c 3254 351576 19603 1 5.0000 0.0000 -
3247.58/3259.96 c 3260 351857 19638 1 5.0000 0.0000 -
3253.07/3265.47 c 3265 352177 19699 1 5.0000 0.0000 -
3258.25/3270.68 c 3271 352384 19692 1 5.0000 0.0000 -
3263.43/3275.84 c 3276 352685 19743 1 5.0000 0.0000 -
3268.82/3281.21 c 3281 353150 19817 1 5.0000 0.0000 -
3273.99/3286.49 c 3286 353542 19912 1 5.0000 0.0000 -
3279.87/3292.31 c 3292 354125 20056 1 5.0000 0.0000 -
3285.26/3297.73 c 3298 354391 20096 1 5.0000 0.0000 -
3290.64/3303.18 c 3303 354633 20139 1 5.0000 0.0000 -
3296.02/3308.54 c 3309 354984 20209 1 5.0000 0.0000 -
3301.00/3313.58 c 3314 355987 20264 1 5.0000 0.0000 -
3306.48/3319.05 c 3319 356637 20357 1 5.0000 0.0000 -
3311.97/3324.51 c 3325 357385 20436 1 5.0000 0.0000 -
3317.35/3329.97 c 3330 357871 20532 1 5.0000 0.0000 -
3322.72/3335.39 c 3335 358653 20587 1 5.0000 0.0000 -
3328.51/3341.13 c 3341 359020 20586 1 5.0000 0.0000 -
3334.08/3346.72 c 3347 359502 20656 1 5.0000 0.0000 -
3339.57/3352.23 c 3352 359967 20753 1 5.0000 0.0000 -
3345.05/3357.73 c 3358 360590 20909 1 5.0000 0.0000 -
3350.33/3363.09 c 3363 361045 20980 1 5.0000 0.0000 -
3356.31/3369.01 c 3369 361363 21056 1 5.0000 0.0000 -
3362.19/3374.93 c 3375 361832 21142 1 5.0000 0.0000 -
3368.06/3380.84 c 3381 362270 21226 1 5.0000 0.0000 -
3373.55/3386.37 c 3386 362651 21304 1 5.0000 0.0000 -
3379.52/3392.36 c 3392 363055 21378 1 5.0000 0.0000 -
3385.31/3398.13 c 3398 363581 21488 1 5.0000 0.0000 -
3391.09/3403.92 c 3404 363915 21527 1 5.0000 0.0000 -
3396.47/3409.33 c 3409 364332 21592 1 5.0000 0.0000 -
3401.75/3414.65 c 3415 364642 21662 1 5.0000 0.0000 -
3406.92/3419.89 c 3420 364870 21729 1 5.0000 0.0000 -
3412.80/3425.71 c 3426 365098 21775 1 5.0000 0.0000 -
3418.59/3431.55 c 3432 365376 21825 1 5.0000 0.0000 -
3424.26/3437.29 c 3437 365904 21921 1 5.0000 0.0000 -
3429.85/3442.84 c 3443 366387 21993 1 5.0000 0.0000 -
3434.93/3447.97 c 3448 366716 22052 1 5.0000 0.0000 -
3440.51/3453.57 c 3454 366990 22116 1 5.0000 0.0000 -
3446.10/3459.18 c 3459 367410 22196 1 5.0000 0.0000 -
3451.18/3464.29 c 3464 367925 22268 1 5.0000 0.0000 -
3456.96/3470.10 c 3470 368189 22353 1 5.0000 0.0000 -
3462.33/3475.47 c 3475 368626 22467 1 5.0000 0.0000 -
3467.52/3480.64 c 3481 369069 22550 1 5.0000 0.0000 -
3473.29/3486.48 c 3486 369535 22639 1 5.0000 0.0000 -
3478.68/3491.87 c 3492 369951 22752 1 5.0000 0.0000 -
3484.76/3497.99 c 3498 370176 22820 1 5.0000 0.0000 -
3490.73/3503.99 c 3504 370697 22910 1 5.0000 0.0000 -
3495.82/3509.07 c 3509 371139 22974 1 5.0000 0.0000 -
3501.29/3514.50 c 3514 371762 23042 1 5.0000 0.0000 -
3506.58/3519.87 c 3520 372236 23142 1 5.0000 0.0000 -
3512.25/3525.52 c 3526 372533 23210 1 5.0000 0.0000 -
3517.34/3530.68 c 3531 372904 23319 1 5.0000 0.0000 -
3523.32/3536.60 c 3537 373395 23414 1 5.0000 0.0000 -
3528.30/3541.68 c 3542 373677 23475 1 5.0000 0.0000 -
3534.47/3547.80 c 3548 374189 23605 1 5.0000 0.0000 -
3540.45/3553.88 c 3554 374732 23747 1 5.0000 0.0000 -
3545.93/3559.36 c 3559 375591 23917 1 5.0000 0.0000 -
3551.42/3564.83 c 3565 376142 24095 1 5.0000 0.0000 -
3556.60/3570.07 c 3570 376471 24175 1 5.0000 0.0000 -
3561.98/3575.43 c 3575 377135 24345 1 5.0000 0.0000 -
3567.56/3581.08 c 3581 377613 24487 1 5.0000 0.0000 -
3573.23/3586.79 c 3587 377923 24509 1 5.0000 0.0000 -
3579.11/3592.68 c 3593 378257 24526 1 5.0000 0.0000 -
3584.29/3597.85 c 3598 378570 24544 1 5.0000 0.0000 -
3586.69/3600.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.69/3600.20 c Total Time : 3600.2000
3586.69/3600.20 c solving : 3600.2000
3586.69/3600.20 c presolving : 0.3190 (included in solving)
3586.69/3600.20 c B&B Tree :
3586.69/3600.20 c nodes (total) : 1
3586.69/3600.20 c Solution :
3586.69/3600.20 c Solutions found : 5
3586.69/3600.20 c Primal Bound : +5.00000000000000e+00
3586.69/3600.20 c Dual Bound : +0.00000000000000e+00
3586.69/3600.20 c Gap : infinite
3586.69/3600.20 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3586.69/3600.22 o 5
3586.69/3600.22 s SATISFIABLE
3586.69/3600.22 v -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
3586.69/3600.22 v -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
3586.69/3600.22 v x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 x364 -x363
3586.69/3600.22 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342
3586.69/3600.22 v -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
3586.69/3600.22 v -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x91 x90 x89
3586.69/3600.22 v x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58
3586.69/3600.22 v x57 x56 -x55 -x54 x53 x52 x51 x50 x49 x48 x47 -x46 -x45 x44 x43 x42 x41 x40 x39 x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30
3586.69/3600.22 v -x29 x28 -x27 -x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 -x14 -x13 -x12 x11 x10 x9 x8 x7 -x6 -x5 x4 -x3 -x2 -x1 -x301 -x287
3586.69/3600.22 v -x273 -x259 -x245 x231 -x217 -x203 -x189 -x175 -x161 -x147 -x133 -x119 -x300 -x286 -x272 -x258 -x244 -x230 -x216 -x202 -x188
3586.69/3600.22 v -x174 -x160 -x146 -x132 -x118 -x299 -x285 -x271 -x257 -x243 -x229 -x215 -x201 -x187 -x173 -x159 -x145 -x131 -x117 -x298
3586.69/3600.22 v -x284 -x270 -x256 -x242 -x228 -x214 -x200 -x186 -x172 -x158 -x144 -x130 -x116 -x297 -x283 -x269 -x255 -x241 -x227 -x213 -x199
3586.69/3600.22 v -x185 -x171 -x157 -x143 x129 -x115 -x296 -x282 -x268 -x254 -x240 -x226 x212 -x198 -x184 -x170 -x156 -x142 -x128 -x114 -x295
3586.69/3600.22 v -x281 -x267 x253 -x239 -x225 -x211 -x197 -x183 -x169 -x155 -x141 -x127 -x113 -x294 x280 -x266 -x252 -x238 -x224 -x210 -x196 -x182
3586.69/3600.22 v -x168 -x154 -x140 -x126 -x112 -x293 -x279 -x265 -x251 -x237 -x223 -x209 -x195 -x181 -x167 -x153 -x139 -x125 -x111 -x292
3586.69/3600.22 v -x278 -x264 -x250 -x236 -x222 -x208 x194 -x180 -x166 -x152 -x138 -x124 -x110 -x291 -x277 -x263 -x249 x235 -x221 -x207 -x193 -x179
3586.69/3600.22 v -x165 -x151 -x137 -x123 -x109 -x290 -x276 -x262 -x248 -x234 -x220 -x206 -x192 x178 -x164 -x150 -x136 -x122 -x108 -x289 -x275
3586.69/3600.22 v x261 -x247 -x233 -x219 -x205 -x191 -x177 -x163 -x149 -x135 -x121 -x107 -x288 -x274 -x260 -x246 -x232 -x218 -x204 -x190 -x176
3586.69/3600.22 v -x162 -x148 -x134 -x120 -x106 -x105 x104 x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92
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 (61417 MiB free)
memory of node 1: 64510 MiB (62181 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449798-1721452539/watcher-4449798-1721452539 -o /tmp/evaluation-result-4449798-1721452539/solver-4449798-1721452539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059844 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449798-1721452539.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1065212, runsolver pid=1065209
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.22 4.17 4.11 5/259 1065213
/proc/meminfo: memFree=126528372/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=58320 memory=47228 CPUtime=0.09 cores=0,2
/proc/1065212/stat : 1065212 (fscip) R 1065209 1065212 1059834 0 -1 4194304 11497 0 0 0 8 1 0 0 20 0 1 0 197421272 59719680 11807 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 14580 11807 2686 3032 0 10980 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58320 KiB
Current children cumulated memory: 47228 KiB
[startup+0.205338 s]*
/proc/loadavg: 4.22 4.17 4.11 5/259 1065213
/proc/meminfo: memFree=126495396/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=102152 memory=84884 CPUtime=0.2 cores=0,2
/proc/1065212/stat : 1065212 (fscip) R 1065209 1065212 1059834 0 -1 4194304 18421 0 0 0 18 2 0 0 20 0 1 0 197421272 104603648 21221 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 25538 21221 2734 3032 0 21938 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102152 KiB
Current children cumulated memory: 84884 KiB
[startup+0.305338 s]*
/proc/loadavg: 4.22 4.17 4.11 5/259 1065213
/proc/meminfo: memFree=126467460/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=127980 memory=108224 CPUtime=0.29 cores=0,2
/proc/1065212/stat : 1065212 (fscip) R 1065209 1065212 1059834 0 -1 4194304 22146 0 0 0 27 2 0 0 20 0 1 0 197421272 131051520 27056 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 31995 27056 2766 3032 0 28395 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127980 KiB
Current children cumulated memory: 108224 KiB
[startup+0.701164 s]
/proc/loadavg: 4.22 4.17 4.11 5/261 1065215
/proc/meminfo: memFree=126424760/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=209392 memory=173440 CPUtime=0.68 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 42041 0 0 0 63 5 0 0 20 0 3 0 197421272 214417408 43360 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 52348 43360 2814 3032 0 48739 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=209392 memory=1972 CPUtime=0.29 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 15778 0 0 0 27 2 0 0 20 0 3 0 197421309 214417408 43360 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=209392 memory=2369 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 197421314 214417408 43360 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 209392 KiB
Current children cumulated memory: 173440 KiB
[startup+1.50116 s]
/proc/loadavg: 4.22 4.17 4.11 5/261 1065215
/proc/meminfo: memFree=126396208/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=281836 memory=186012 CPUtime=1.47 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 46836 0 0 0 141 6 0 0 20 0 3 0 197421272 288600064 46503 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 70459 46503 2926 3032 0 53025 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=281836 memory=2369 CPUtime=1.07 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 20567 0 0 0 105 2 0 0 20 0 3 0 197421309 288600064 46503 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=281836 memory=0 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 197421314 288600064 46503 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 281836 KiB
Current children cumulated memory: 186012 KiB
[startup+3.10615 s]
/proc/loadavg: 4.21 4.17 4.11 5/261 1065217
/proc/meminfo: memFree=126371316/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=281836 memory=204560 CPUtime=3.06 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 58066 0 0 0 299 7 0 0 20 0 3 0 197421272 288600064 51140 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 70459 51140 2926 3032 0 61517 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=281836 memory=0 CPUtime=2.66 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 31797 0 0 0 263 3 0 0 20 0 3 0 197421309 288600064 51140 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=281836 memory=0 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 197421314 288600064 51140 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 281836 KiB
Current children cumulated memory: 204560 KiB
[startup+6.30116 s]
/proc/loadavg: 4.21 4.17 4.11 5/261 1065217
/proc/meminfo: memFree=126346640/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=347372 memory=229380 CPUtime=6.22 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 77023 0 0 0 614 8 0 0 20 0 3 0 197421272 355708928 57345 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 86843 57345 2974 3032 0 67542 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=347372 memory=0 CPUtime=5.83 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 50601 0 0 0 578 5 0 0 20 0 3 0 197421309 355708928 57345 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=347372 memory=228968 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 197421314 355708928 57345 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 347372 KiB
Current children cumulated memory: 229380 KiB
[startup+12.7012 s]
/proc/loadavg: 4.19 4.17 4.11 5/261 1065217
/proc/meminfo: memFree=126339932/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=347372 memory=235736 CPUtime=12.57 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 106739 0 0 0 1246 11 0 0 20 0 3 0 197421272 355708928 58934 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 86843 58934 2974 3032 0 70252 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=347372 memory=0 CPUtime=12.17 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 80249 0 0 0 1210 7 0 0 20 0 3 0 197421309 355708928 58934 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=347372 memory=47212 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 197421314 355708928 58934 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 347372 KiB
Current children cumulated memory: 235736 KiB
[startup+25.5012 s]
/proc/loadavg: 4.15 4.16 4.10 5/261 1065220
/proc/meminfo: memFree=126306868/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=347372 memory=268952 CPUtime=25.24 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 151207 0 0 0 2509 15 0 0 20 0 3 0 197421272 355708928 67238 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 86843 67238 2990 3032 0 78076 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=347372 memory=248840 CPUtime=24.84 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 124663 0 0 0 2473 11 0 0 20 0 3 0 197421309 355708928 67238 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=347372 memory=47212 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 197421314 355708928 67238 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 347372 KiB
Current children cumulated memory: 268952 KiB
[startup+51.1062 s]
/proc/loadavg: 4.16 4.16 4.10 5/261 1065223
/proc/meminfo: memFree=126281896/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=412908 memory=293424 CPUtime=50.59 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 199291 0 0 0 5039 20 0 0 20 0 3 0 197421272 422817792 73356 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 103227 73356 2990 3032 0 87288 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=412908 memory=291552 CPUtime=50.2 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 172660 0 0 0 5004 16 0 0 20 0 3 0 197421309 422817792 73356 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=412908 memory=-7240233240597205863 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 197421314 422817792 73356 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 50.59 s
Current children cumulated vsize: 412908 KiB
Current children cumulated memory: 293424 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/261 1065232
/proc/meminfo: memFree=126267792/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=412908 memory=307080 CPUtime=101.44 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 232576 0 0 0 10120 24 0 0 20 0 3 0 197421272 422817792 76770 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 103227 76770 2990 3032 0 91052 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=412908 memory=307080 CPUtime=101.04 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 205885 0 0 0 10084 20 0 0 20 0 3 0 197421309 422817792 76770 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=412908 memory=307080 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 197421314 422817792 76770 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 101.44 s
Current children cumulated vsize: 412908 KiB
Current children cumulated memory: 307080 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/262 1065290
/proc/meminfo: memFree=126026504/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=412908 memory=325652 CPUtime=161.22 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 274073 0 0 0 16093 29 0 0 20 0 3 0 197421272 422817792 81413 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 103227 81413 2990 3032 0 95292 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=412908 memory=311628 CPUtime=160.81 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 247324 0 0 0 16057 24 0 0 20 0 3 0 197421309 422817792 81413 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=412908 memory=5536 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 197421314 422817792 81413 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 161.22 s
Current children cumulated vsize: 412908 KiB
Current children cumulated memory: 325652 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 1065300
/proc/meminfo: memFree=125898276/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=466660 memory=390944 CPUtime=221 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 297485 0 0 0 22067 33 0 0 20 0 3 0 197421272 477859840 97736 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 116665 97736 2990 3032 0 110414 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=466660 memory=11588 CPUtime=220.6 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 270712 0 0 0 22031 29 0 0 20 0 3 0 197421309 477859840 97736 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=466660 memory=390944 CPUtime=0 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 197421314 477859840 97736 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
################
# More data... #
################
/proc/1065212/statm: 467625 430430 3310 3032 0 462975 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1870500 memory=1678024 CPUtime=3388.89 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5177590 0 0 0 338474 415 0 0 20 0 3 0 197421309 1915392000 430430 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1870500 memory=1678024 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 213 0 0 0 1 2 0 0 20 0 3 0 197421314 1915392000 430430 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3389.5 s
Current children cumulated vsize: 1870500 KiB
Current children cumulated memory: 1721720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 1067216
/proc/meminfo: memFree=119963616/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1870500 memory=1755616 CPUtime=3449.28 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5423194 0 0 0 344487 441 0 0 20 0 3 0 197421272 1915392000 438904 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 467625 438904 3310 3032 0 463442 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1870500 memory=1678024 CPUtime=3448.68 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5395164 0 0 0 344439 429 0 0 20 0 3 0 197421309 1915392000 438904 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1870500 memory=1678024 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 216 0 0 0 1 2 0 0 20 0 3 0 197421314 1915392000 438904 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3449.28 s
Current children cumulated vsize: 1870500 KiB
Current children cumulated memory: 1755616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/264 1067227
/proc/meminfo: memFree=119885980/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1871524 memory=1784508 CPUtime=3509.07 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5644536 0 0 0 350452 455 0 0 20 0 3 0 197421272 1916440576 446127 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 467881 446127 3310 3032 0 463703 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1871524 memory=12508 CPUtime=3508.46 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5616480 0 0 0 350403 443 0 0 20 0 3 0 197421309 1916440576 446127 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1871524 memory=1784508 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 219 0 0 0 1 2 0 0 20 0 3 0 197421314 1916440576 446127 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3509.07 s
Current children cumulated vsize: 1871524 KiB
Current children cumulated memory: 1784508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/262 1067238
/proc/meminfo: memFree=119742616/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1949108 memory=1810488 CPUtime=3568.85 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5865886 0 0 0 356416 469 0 0 20 0 3 0 197421272 1995886592 452622 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 487277 452622 3310 3032 0 483099 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1949108 memory=12508 CPUtime=3568.24 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5837808 0 0 0 356366 458 0 0 20 0 3 0 197421309 1995886592 452622 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1949108 memory=11588 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 1995886592 452622 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3568.85 s
Current children cumulated vsize: 1949108 KiB
Current children cumulated memory: 1810488 KiB
[startup+3600.23 s]
# the end of solver process 1065212 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.95 s, system=4.77667 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.10 5/262 1067239
/proc/meminfo: memFree=119740532/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1949108 memory=1810488 CPUtime=3570.55 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5866188 0 0 0 356585 470 0 0 20 0 3 0 197421272 1995886592 452622 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 487277 452622 3310 3032 0 483099 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1949108 memory=5680 CPUtime=3569.94 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5838110 0 0 0 356536 458 0 0 20 0 3 0 197421309 1995886592 452622 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1949108 memory=26300 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 1995886592 452622 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 1949108 KiB
Current children cumulated memory: 1810488 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.10 5/262 1067239
/proc/meminfo: memFree=119728808/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1949108 memory=1817556 CPUtime=3576.92 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5869184 0 0 0 357222 470 0 0 20 0 3 0 197421272 1995886592 454389 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 487277 454389 3310 3032 0 483099 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1949108 memory=11588 CPUtime=3576.31 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5841106 0 0 0 357172 459 0 0 20 0 3 0 197421309 1995886592 454389 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1949108 memory=12508 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 1995886592 454389 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3576.92 s
Current children cumulated vsize: 1949108 KiB
Current children cumulated memory: 1817556 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1067241
/proc/meminfo: memFree=119703568/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1949108 memory=1818092 CPUtime=3583.3 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5897085 0 0 0 357858 472 0 0 20 0 3 0 197421272 1995886592 454523 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 487277 454523 3310 3032 0 483099 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1949108 memory=1817556 CPUtime=3582.69 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5869024 0 0 0 357808 461 0 0 20 0 3 0 197421309 1995886592 454523 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1949108 memory=11588 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 1995886592 454523 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3583.3 s
Current children cumulated vsize: 1949108 KiB
Current children cumulated memory: 1818092 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 1067241
/proc/meminfo: memFree=119697164/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1949108 memory=1824492 CPUtime=3584.89 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5899882 0 0 0 358017 472 0 0 20 0 3 0 197421272 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 487277 456123 3310 3032 0 483099 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1949108 memory=1818092 CPUtime=3584.28 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5871803 0 0 0 357967 461 0 0 20 0 3 0 197421309 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1949108 memory=47392 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3584.89 s
Current children cumulated vsize: 1949108 KiB
Current children cumulated memory: 1824492 KiB
[startup+3599.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 1067241
/proc/meminfo: memFree=119697172/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1949108 memory=1824492 CPUtime=3585.69 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5899892 0 0 0 358097 472 0 0 20 0 3 0 197421272 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 487277 456123 3310 3032 0 483099 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1949108 memory=5536 CPUtime=3585.08 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5871813 0 0 0 358047 461 0 0 20 0 3 0 197421309 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1949108 memory=12508 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 1949108 KiB
Current children cumulated memory: 1824492 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.10 4.09 5/262 1067241
/proc/meminfo: memFree=119690948/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=1949108 memory=1824492 CPUtime=3586.49 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5900039 0 0 0 358177 472 0 0 20 0 3 0 197421272 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 487277 456123 3310 3032 0 483099 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=1949108 memory=5680 CPUtime=3585.88 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5871960 0 0 0 358127 461 0 0 20 0 3 0 197421309 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=1949108 memory=26300 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 1995886592 456123 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 1949108 KiB
Current children cumulated memory: 1824492 KiB
[startup+3600.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 1067241
/proc/meminfo: memFree=119690948/131524600 swapFree=131071996/131071996
[pid=1065212] ppid=1065209 vsize=673964 memory=630008 CPUtime=3586.69 cores=0,2
/proc/1065212/stat : 1065212 (fscip) S 1065209 1065212 1059834 0 -1 1077936128 5928996 0 0 0 358193 476 0 0 20 0 3 0 197421272 690139136 158709 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
/proc/1065212/statm: 168491 157502 3310 3032 0 164313 0
[pid=1065212/tid=1065214] ppid=1065209 vsize=667320 memory=-7240233240597205863 CPUtime=3586.08 cores=0,2
/proc/1065212/task/1065214/stat : 1065214 (fscip) R 1065209 1065212 1059834 0 -1 4194368 5900914 0 0 0 358143 465 0 0 20 0 3 0 197421309 683335680 157048 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
[pid=1065212/tid=1065215] ppid=1065209 vsize=667320 memory=32496 CPUtime=0.03 cores=0,2
/proc/1065212/task/1065215/stat : 1065215 (fscip) S 1065209 1065212 1059834 0 -1 1077936192 222 0 0 0 1 2 0 0 20 0 3 0 197421314 683335680 157048 134679101440 4194304 16613245 140731745887152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25182208 140731745895443 140731745895559 140731745895559 140731745902576 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 673964 KiB
Current children cumulated memory: 630008 KiB
Child status: 0
Real time (s): 3600.23
CPU time (s): 3586.73
CPU user time (s): 3581.95
CPU system time (s): 4.77667
CPU usage (%): 99.625
Max. virtual memory (cumulated for all children) (KiB): 1949108
Max. memory (cumulated for all children) (KiB): 1824492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.95
system time used= 4.77667
maximum resident set size= 1824492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5930208
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= 10333
involuntary context switches= 25509
# summary of solver processes directly reported to runsolver:
# pid: 1065212
# total CPU time (s): 3586.73
# total CPU user time (s): 3581.95
# total CPU system time (s): 4.77667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77015 second user time and 16.4739 second system time
The end
Begin job on nodeC029 at 2024-07-20 07:15:52
IDJOB=4449798
IDBENCH=176142
IDSOLVER=3064
FILE ID=nodeC029/4449798-1721452539
RUNJOBID= nodeC029-1721446720-1059844
SLURM_JOB_ID= 7545672
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.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-4449798-1721452539/watcher-4449798-1721452539 -o /tmp/evaluation-result-4449798-1721452539/solver-4449798-1721452539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059844 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449798-1721452539.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445
RANDOM SEED=821400521
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 : 3661.096
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 : 3684.750
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 : 3673.502
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 : 3600.694
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 : 3672.813
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 : 3684.734
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 : 3631.877
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 : 3600.503
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: 126565584 kB
MemAvailable: 129451984 kB
Buffers: 541596 kB
Cached: 3159800 kB
SwapCached: 0 kB
Active: 1053656 kB
Inactive: 3220304 kB
Active(anon): 1480 kB
Inactive(anon): 617312 kB
Active(file): 1052176 kB
Inactive(file): 2602992 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28684 kB
Writeback: 0 kB
AnonPages: 572556 kB
Mapped: 139156 kB
Shmem: 45912 kB
KReclaimable: 141760 kB
Slab: 260156 kB
SReclaimable: 141760 kB
SUnreclaim: 118396 kB
KernelStack: 4124 kB
PageTables: 10512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 735676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 423936 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-20 08:15:52