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 = 24399872, getVmSize() = 24399872, SCIPgetMemUsed() = 2310821, SCIPgetMemTotal() = 2874309, 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 = 17959594, getVmSize() = 29478912, SCIPgetMemUsed() = 3270380, SCIPgetMemTotal() = 6565564, 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-4434643-1721086013
0.00/0.02 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 473
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 535
0.00/0.02 c Constraints : Number
0.00/0.02 c knapsack : 435
0.00/0.02 c setppc : 84
0.00/0.02 c logicor : 16
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 222.0000 - -
0.00/0.05 c * 0 0 1 1 213.0000 - -
5.47/5.59 c 6 3 2 1 213.0000 163.4002 30.35%
10.86/10.92 c 11 6 5 1 213.0000 163.4002 30.35%
17.23/17.33 c * 17 12 11 1 207.0000 163.4002 26.68%
17.23/17.33 c 17 12 11 1 207.0000 163.4002 26.68%
17.23/17.33 c * 17 12 11 1 202.0000 163.4002 23.62%
17.23/17.34 c * 17 12 11 1 200.0000 163.4002 22.40%
23.91/24.00 c 24 105 104 1 200.0000 163.4280 22.38%
29.90/30.06 c 30 164 163 1 200.0000 163.4280 22.38%
35.87/36.02 c 36 208 207 1 200.0000 163.4280 22.38%
40.26/40.40 c * 40 231 230 1 193.0000 163.4280 18.09%
41.55/41.74 c 42 246 245 1 193.0000 163.4280 18.09%
47.14/47.36 c 47 287 286 1 193.0000 163.4280 18.09%
52.32/52.53 c 53 324 323 1 193.0000 163.4280 18.09%
58.19/58.49 c 58 364 363 1 193.0000 163.4280 18.09%
63.87/64.18 c 64 404 403 1 193.0000 163.4280 18.09%
69.85/70.18 c 70 444 443 1 193.0000 163.4280 18.09%
75.32/75.61 c 76 488 487 1 193.0000 163.4280 18.09%
81.11/81.46 c 81 533 532 1 193.0000 163.4280 18.09%
86.18/86.59 c 87 592 591 1 193.0000 163.4280 18.09%
92.06/92.40 c 92 637 636 1 193.0000 163.4280 18.09%
97.74/98.13 c 98 705 704 1 193.0000 163.4280 18.09%
103.11/103.53 c 104 752 751 1 193.0000 163.4280 18.09%
108.80/109.20 c 109 817 816 1 193.0000 163.4280 18.09%
114.68/115.14 c 115 887 886 1 193.0000 163.4280 18.09%
120.65/121.11 c 121 937 936 1 193.0000 163.4280 18.09%
126.63/127.17 c 127 990 989 1 193.0000 163.4280 18.09%
132.40/132.96 c 133 1050 0 1 193.0000 163.4280 18.09%
138.38/138.97 c 139 1051 1 1 193.0000 163.4280 18.09%
143.77/144.33 c 144 1055 5 1 193.0000 163.4280 18.09%
149.74/150.37 c 150 1066 16 1 193.0000 163.4280 18.09%
155.72/156.36 c 156 1121 71 1 193.0000 163.4280 18.09%
161.20/161.81 c 162 1160 110 1 193.0000 163.4502 18.08%
166.19/166.85 c 167 1231 181 1 193.0000 163.8395 17.80%
171.17/171.88 c 172 1328 278 1 193.0000 163.8926 17.76%
174.36/175.02 c * 175 1391 341 1 192.0000 163.9052 17.14%
177.05/177.78 c 178 1661 491 1 192.0000 163.9641 17.10%
182.13/182.84 c 183 1764 540 1 192.0000 164.0097 17.07%
187.11/187.89 c 188 1871 595 1 192.0000 164.0961 17.00%
193.29/194.05 c 194 1971 635 1 192.0000 164.1269 16.98%
198.47/199.25 c 199 2039 669 1 192.0000 164.1650 16.96%
203.95/204.71 c 205 2152 722 1 192.0000 164.2074 16.93%
210.43/211.26 c 211 2273 765 1 192.0000 164.2190 16.92%
215.41/216.29 c 216 2431 835 1 192.0000 164.2435 16.90%
220.70/221.58 c 222 2544 894 1 192.0000 164.2707 16.88%
225.98/226.85 c 227 2767 951 1 192.0000 164.2779 16.88%
230.36/231.29 c * 231 2874 994 1 191.0000 164.3010 16.25%
231.86/232.75 c 233 2944 988 1 191.0000 164.3042 16.25%
237.04/237.98 c 238 3104 1024 1 191.0000 164.3063 16.25%
242.12/243.00 c 243 3224 1066 1 191.0000 164.3247 16.23%
248.60/249.52 c 250 3444 1196 1 191.0000 164.3537 16.21%
253.78/254.76 c 255 3644 1258 1 191.0000 164.3790 16.19%
259.76/260.71 c 261 3934 1328 1 191.0000 164.4019 16.18%
265.04/266.08 c 266 4141 1411 1 191.0000 164.4155 16.17%
270.13/271.14 c 271 4331 1449 1 191.0000 164.4379 16.15%
275.81/276.85 c 277 4544 1504 1 191.0000 164.4439 16.15%
281.29/282.34 c 282 4774 1566 1 191.0000 164.4506 16.14%
286.27/287.38 c 287 4984 1614 1 191.0000 164.4632 16.14%
291.75/292.85 c 293 5184 1672 1 191.0000 164.4646 16.13%
296.93/298.02 c 298 5450 1706 1 191.0000 164.4754 16.13%
302.82/303.94 c 304 5684 1764 1 191.0000 164.4908 16.12%
307.90/309.10 c 309 5844 1818 1 191.0000 164.5209 16.09%
313.38/314.55 c 315 5964 1874 1 191.0000 164.5340 16.09%
318.86/320.06 c 320 6234 1938 1 191.0000 164.5457 16.08%
324.84/326.04 c 326 6424 1980 1 191.0000 164.5477 16.08%
330.71/331.96 c 332 6601 2023 1 191.0000 164.5519 16.07%
336.80/338.00 c 338 6774 2072 1 191.0000 164.5596 16.07%
342.08/343.35 c 343 6924 2128 1 191.0000 164.5634 16.06%
347.26/348.59 c 349 7121 2181 1 191.0000 164.5688 16.06%
352.44/353.72 c 354 7310 2232 1 191.0000 164.5759 16.06%
358.32/359.61 c 360 7664 2278 1 191.0000 164.5871 16.05%
364.19/365.59 c 366 7925 2351 1 191.0000 164.5922 16.04%
369.87/371.20 c 371 8106 2384 1 191.0000 164.6014 16.04%
374.86/376.23 c 376 8252 2418 1 191.0000 164.6098 16.03%
379.83/381.29 c 381 8374 2492 1 191.0000 164.6269 16.02%
385.52/386.91 c 387 8626 2556 1 191.0000 164.6295 16.02%
390.70/392.11 c 392 8794 2624 1 191.0000 164.6386 16.01%
396.37/397.85 c 398 9051 2701 1 191.0000 164.6539 16.00%
402.06/403.51 c 404 9226 2740 1 191.0000 164.6580 16.00%
407.44/408.93 c 409 9312 2790 1 191.0000 164.6621 16.00%
413.42/414.91 c 415 9534 2846 1 191.0000 164.6633 15.99%
418.40/419.95 c 420 9671 2893 1 191.0000 164.6740 15.99%
423.78/425.35 c 425 9862 2966 1 191.0000 164.6825 15.98%
429.36/430.94 c 431 10094 3018 1 191.0000 164.6881 15.98%
435.04/436.62 c 437 10301 3073 1 191.0000 164.6904 15.98%
440.32/441.93 c 442 10464 3114 1 191.0000 164.6946 15.97%
445.60/447.29 c 447 10614 3148 1 191.0000 164.6977 15.97%
451.28/452.95 c 453 10764 3226 1 191.0000 164.7107 15.96%
456.47/458.13 c 458 11011 3267 1 191.0000 164.7194 15.95%
461.84/463.58 c 464 11134 3344 1 191.0000 164.7203 15.95%
467.22/468.99 c 469 11641 3467 1 191.0000 164.7217 15.95%
473.40/475.18 c 475 11774 3518 1 191.0000 164.7276 15.95%
478.88/480.66 c 481 12004 3574 1 191.0000 164.7334 15.94%
484.56/486.35 c 486 12198 3652 1 191.0000 164.7372 15.94%
490.44/492.21 c 492 12402 3726 1 191.0000 164.7522 15.93%
495.52/497.38 c 497 12521 3769 1 191.0000 164.7568 15.93%
500.61/502.47 c 502 12654 3824 1 191.0000 164.7611 15.93%
505.99/507.87 c 508 12795 3869 1 191.0000 164.7652 15.92%
511.76/513.62 c 514 13031 3923 1 191.0000 164.7819 15.91%
516.74/518.65 c 519 13239 3989 1 191.0000 164.7865 15.91%
521.72/523.65 c 524 13401 4029 1 191.0000 164.7885 15.91%
526.81/528.73 c 529 13551 4065 1 191.0000 164.7944 15.90%
531.80/533.73 c 534 13781 4123 1 191.0000 164.7987 15.90%
537.08/539.05 c 539 14011 4181 1 191.0000 164.8025 15.90%
542.45/544.47 c 544 14228 4262 1 191.0000 164.8025 15.90%
547.83/549.85 c 550 14331 4297 1 191.0000 164.8025 15.90%
553.12/555.13 c 555 14517 4353 1 191.0000 164.8026 15.90%
558.50/560.53 c 561 14641 4407 1 191.0000 164.8116 15.89%
563.88/565.96 c 566 14764 4450 1 191.0000 164.8143 15.89%
569.06/571.10 c 571 14944 4498 1 191.0000 164.8237 15.88%
574.83/576.94 c 577 15091 4559 1 191.0000 164.8302 15.88%
580.31/582.45 c 582 15223 4625 1 191.0000 164.8344 15.87%
586.80/588.92 c 589 15391 4673 1 191.0000 164.8393 15.87%
592.48/594.63 c 595 15574 4726 1 191.0000 164.8421 15.87%
597.66/599.88 c 600 15724 4774 1 191.0000 164.8427 15.87%
602.73/604.95 c 605 15981 4825 1 191.0000 164.8480 15.86%
608.92/611.13 c 611 16121 4887 1 191.0000 164.8535 15.86%
614.39/616.66 c 617 16261 4947 1 191.0000 164.8602 15.86%
619.47/621.78 c 622 16441 4979 1 191.0000 164.8638 15.85%
624.76/627.07 c 627 16634 5026 1 191.0000 164.8685 15.85%
630.44/632.72 c 633 16785 5087 1 191.0000 164.8772 15.84%
635.82/638.18 c 638 16974 5134 1 191.0000 164.8813 15.84%
640.90/643.25 c 643 17111 5177 1 191.0000 164.8938 15.83%
646.08/648.41 c 648 17341 5209 1 191.0000 164.8968 15.83%
652.16/654.54 c 655 17524 5268 1 191.0000 164.8986 15.83%
658.34/660.76 c 661 17731 5323 1 191.0000 164.9118 15.82%
663.52/665.95 c 666 18011 5367 1 191.0000 164.9160 15.82%
668.90/671.34 c 671 18163 5413 1 191.0000 164.9217 15.81%
673.98/676.41 c 676 18331 5485 1 191.0000 164.9254 15.81%
679.76/682.23 c 682 18463 5559 1 191.0000 164.9319 15.81%
685.44/687.91 c 688 18684 5604 1 191.0000 164.9352 15.80%
690.82/693.33 c 693 18887 5647 1 191.0000 164.9370 15.80%
696.40/698.92 c 699 19014 5704 1 191.0000 164.9520 15.79%
701.88/704.44 c 704 19271 5753 1 191.0000 164.9627 15.78%
707.26/709.87 c 710 19471 5787 1 191.0000 164.9728 15.78%
713.03/715.69 c 716 19614 5854 1 191.0000 164.9778 15.77%
718.61/721.26 c 721 19834 5900 1 191.0000 164.9858 15.77%
723.89/726.54 c 727 20026 5946 1 191.0000 164.9949 15.76%
728.88/731.57 c 732 20338 5992 1 191.0000 164.9980 15.76%
733.86/736.59 c 737 20487 6043 1 191.0000 164.9996 15.76%
740.24/742.93 c 743 20594 6098 1 191.0000 165.0145 15.75%
746.12/748.85 c 749 20804 6132 1 191.0000 165.0170 15.75%
751.79/754.55 c 755 20904 6190 1 191.0000 165.0227 15.74%
757.28/760.09 c 760 21154 6234 1 191.0000 165.0235 15.74%
763.16/765.91 c 766 21351 6267 1 191.0000 165.0319 15.74%
768.24/771.09 c 771 21471 6303 1 191.0000 165.0435 15.73%
774.71/777.51 c 778 21611 6355 1 191.0000 165.0468 15.72%
780.09/782.94 c 783 21791 6391 1 191.0000 165.0505 15.72%
785.97/788.88 c 789 22084 6438 1 191.0000 165.0523 15.72%
791.26/794.11 c 794 22364 6484 1 191.0000 165.0551 15.72%
796.23/799.14 c 799 22541 6513 1 191.0000 165.0639 15.71%
801.42/804.32 c 804 22711 6553 1 191.0000 165.0673 15.71%
807.00/809.92 c 810 23001 6611 1 191.0000 165.0731 15.71%
812.97/815.95 c 816 23204 6662 1 191.0000 165.0849 15.70%
819.15/822.18 c 822 23451 6723 1 191.0000 165.0910 15.69%
824.23/827.22 c 827 23610 6778 1 191.0000 165.0935 15.69%
829.82/832.87 c 833 23830 6808 1 191.0000 165.0959 15.69%
835.10/838.13 c 838 24121 6845 1 191.0000 165.1076 15.68%
840.38/843.43 c 843 24341 6901 1 191.0000 165.1149 15.68%
845.36/848.49 c 848 24501 6939 1 191.0000 165.1234 15.67%
850.54/853.65 c 854 24749 6983 1 191.0000 165.1287 15.67%
856.62/859.72 c 860 24974 7034 1 191.0000 165.1316 15.67%
862.09/865.20 c 865 25154 7094 1 191.0000 165.1524 15.65%
867.67/870.86 c 871 25361 7135 1 191.0000 165.1570 15.65%
873.56/876.74 c 877 25528 7200 1 191.0000 165.1588 15.65%
879.23/882.42 c 882 25674 7256 1 191.0000 165.1676 15.64%
884.51/887.77 c 888 25924 7310 1 191.0000 165.1692 15.64%
890.29/893.53 c 894 26168 7372 1 191.0000 165.1748 15.64%
895.38/898.68 c 899 26371 7431 1 191.0000 165.1832 15.63%
900.47/903.72 c 904 26541 7465 1 191.0000 165.1858 15.63%
905.75/909.07 c 909 26681 7517 1 191.0000 165.1887 15.63%
911.13/914.48 c 914 26821 7565 1 191.0000 165.1908 15.62%
916.81/920.19 c 920 26972 7616 1 191.0000 165.1918 15.62%
922.49/925.86 c 926 27094 7652 1 191.0000 165.1951 15.62%
928.07/931.44 c 931 27261 7703 1 191.0000 165.2026 15.62%
933.35/936.73 c 937 27401 7751 1 191.0000 165.2169 15.61%
938.43/941.83 c 942 27471 7793 1 191.0000 165.2241 15.60%
944.01/947.43 c 947 27744 7840 1 191.0000 165.2288 15.60%
949.39/952.80 c 953 27884 7890 1 191.0000 165.2360 15.59%
955.27/958.73 c 959 28040 7938 1 191.0000 165.2394 15.59%
960.55/964.01 c 964 28345 7965 1 191.0000 165.2407 15.59%
966.23/969.72 c 970 28534 8014 1 191.0000 165.2489 15.58%
972.21/975.75 c 976 28771 8041 1 191.0000 165.2612 15.57%
977.19/980.79 c 981 28971 8095 1 191.0000 165.2644 15.57%
983.27/986.83 c 987 29114 8146 1 191.0000 165.2697 15.57%
988.35/991.95 c 992 29244 8186 1 191.0000 165.2734 15.57%
994.14/997.77 c 998 29444 8232 1 191.0000 165.2789 15.56%
999.61/1003.25 c 1003 29621 8283 1 191.0000 165.2861 15.56%
1005.40/1009.01 c 1009 29774 8330 1 191.0000 165.2875 15.56%
1010.67/1014.31 c 1014 29974 8374 1 191.0000 165.2945 15.55%
1015.85/1019.57 c 1020 30161 8409 1 191.0000 165.2959 15.55%
1021.24/1024.92 c 1025 30384 8474 1 191.0000 165.2961 15.55%
1027.21/1030.97 c 1031 30634 8580 1 191.0000 165.2982 15.55%
1033.49/1037.25 c 1037 30851 8645 1 191.0000 165.3015 15.55%
1039.96/1043.76 c 1044 31111 8723 1 191.0000 165.3083 15.54%
1045.05/1048.83 c 1049 31261 8763 1 191.0000 165.3119 15.54%
1050.83/1054.67 c 1055 31495 8847 1 191.0000 165.3159 15.54%
1056.12/1059.94 c 1060 31691 8897 1 191.0000 165.3188 15.53%
1061.20/1065.06 c 1065 31962 8936 1 191.0000 165.3219 15.53%
1066.88/1070.78 c 1071 32291 8991 1 191.0000 165.3257 15.53%
1072.26/1076.19 c 1076 32551 9025 1 191.0000 165.3318 15.53%
1077.94/1081.88 c 1082 32811 9093 1 191.0000 165.3377 15.52%
1083.02/1086.93 c 1087 33111 9125 1 191.0000 165.3401 15.52%
1089.00/1092.94 c 1093 33274 9178 1 191.0000 165.3427 15.52%
1094.09/1098.09 c 1098 33533 9221 1 191.0000 165.3443 15.52%
1099.87/1103.80 c 1104 33798 9292 1 191.0000 165.3493 15.51%
1105.25/1109.21 c 1109 33974 9328 1 191.0000 165.3501 15.51%
1110.43/1114.49 c 1114 34231 9359 1 191.0000 165.3524 15.51%
1115.71/1119.73 c 1120 34387 9429 1 191.0000 165.3546 15.51%
1121.29/1125.36 c 1125 34602 9474 1 191.0000 165.3577 15.51%
1126.48/1130.57 c 1131 34811 9541 1 191.0000 165.3626 15.50%
1131.97/1136.05 c 1136 35148 9604 1 191.0000 165.3628 15.50%
1137.54/1141.69 c 1142 35384 9670 1 191.0000 165.3688 15.50%
1143.72/1147.89 c 1148 35504 9732 1 191.0000 165.3753 15.49%
1148.90/1153.04 c 1153 35761 9761 1 191.0000 165.3768 15.49%
1154.99/1159.10 c 1159 35884 9826 1 191.0000 165.3793 15.49%
1160.66/1164.86 c 1165 36094 9924 1 191.0000 165.3829 15.49%
1165.74/1169.98 c 1170 36214 9980 1 191.0000 165.3851 15.49%
1170.94/1175.12 c 1175 36423 10033 1 191.0000 165.3861 15.49%
1176.41/1180.66 c 1181 36634 10082 1 191.0000 165.3918 15.48%
1182.19/1186.47 c 1186 36991 10155 1 191.0000 165.3930 15.48%
1187.88/1192.17 c 1192 37201 10201 1 191.0000 165.3945 15.48%
1192.86/1197.18 c 1197 37441 10285 1 191.0000 165.3976 15.48%
1198.44/1202.79 c 1203 37721 10387 1 191.0000 165.3996 15.48%
1203.62/1207.98 c 1208 37971 10463 1 191.0000 165.4057 15.47%
1209.60/1213.93 c 1214 38174 10532 1 191.0000 165.4077 15.47%
1214.88/1219.26 c 1219 38324 10598 1 191.0000 165.4123 15.47%
1220.46/1224.83 c 1225 38731 10679 1 191.0000 165.4162 15.47%
1225.65/1230.05 c 1230 38854 10742 1 191.0000 165.4168 15.47%
1230.83/1235.27 c 1235 39064 10804 1 191.0000 165.4181 15.46%
1236.51/1240.99 c 1241 39331 10867 1 191.0000 165.4258 15.46%
1242.39/1246.84 c 1247 39703 10981 1 191.0000 165.4273 15.46%
1247.58/1252.04 c 1252 40011 11043 1 191.0000 165.4292 15.46%
1253.05/1257.59 c 1258 40174 11116 1 191.0000 165.4326 15.45%
1258.24/1262.73 c 1263 40361 11165 1 191.0000 165.4367 15.45%
1263.92/1268.46 c 1268 40601 11239 1 191.0000 165.4397 15.45%
1269.69/1274.21 c 1274 40825 11319 1 191.0000 165.4432 15.45%
1275.18/1279.71 c 1280 41146 11384 1 191.0000 165.4454 15.45%
1280.85/1285.44 c 1285 41434 11496 1 191.0000 165.4459 15.45%
1286.73/1291.31 c 1291 41661 11555 1 191.0000 165.4496 15.44%
1291.71/1296.39 c 1296 41911 11625 1 191.0000 165.4514 15.44%
1297.09/1301.74 c 1302 42141 11677 1 191.0000 165.4542 15.44%
1302.18/1306.88 c 1307 42301 11729 1 191.0000 165.4574 15.44%
1307.46/1312.12 c 1312 42534 11796 1 191.0000 165.4588 15.44%
1312.43/1317.14 c 1317 42791 11829 1 191.0000 165.4624 15.43%
1317.81/1322.50 c 1322 42971 11887 1 191.0000 165.4646 15.43%
1322.89/1327.61 c 1328 43241 11979 1 191.0000 165.4685 15.43%
1328.17/1332.97 c 1333 43453 12051 1 191.0000 165.4706 15.43%
1334.35/1339.11 c 1339 43684 12140 1 191.0000 165.4715 15.43%
1340.23/1345.07 c 1345 44001 12215 1 191.0000 165.4765 15.42%
1345.70/1350.59 c 1351 44215 12291 1 191.0000 165.4807 15.42%
1351.37/1356.25 c 1356 44634 12346 1 191.0000 165.4821 15.42%
1356.66/1361.53 c 1362 44834 12400 1 191.0000 165.4839 15.42%
1361.94/1366.81 c 1367 45084 12458 1 191.0000 165.4854 15.42%
1367.71/1372.64 c 1373 45334 12550 1 191.0000 165.4906 15.41%
1373.38/1378.32 c 1378 45666 12628 1 191.0000 165.4925 15.41%
1379.46/1384.41 c 1384 45961 12681 1 191.0000 165.4956 15.41%
1384.44/1389.47 c 1389 46131 12761 1 191.0000 165.4971 15.41%
1390.52/1395.53 c 1396 46304 12850 1 191.0000 165.4989 15.41%
1395.50/1400.56 c 1401 46561 12925 1 191.0000 165.5039 15.41%
1400.78/1405.88 c 1406 46771 12993 1 191.0000 165.5053 15.40%
1406.56/1411.69 c 1412 46999 13061 1 191.0000 165.5075 15.40%
1412.33/1417.42 c 1417 47531 13197 1 191.0000 165.5095 15.40%
1418.32/1423.42 c 1423 47734 13264 1 191.0000 165.5106 15.40%
1424.09/1429.26 c 1429 48104 13318 1 191.0000 165.5118 15.40%
1429.97/1435.13 c 1435 48411 13377 1 191.0000 165.5157 15.40%
1435.54/1440.72 c 1441 48621 13479 1 191.0000 165.5171 15.40%
1440.83/1446.08 c 1446 48944 13582 1 191.0000 165.5187 15.39%
1446.00/1451.22 c 1451 49251 13661 1 191.0000 165.5211 15.39%
1451.68/1456.95 c 1457 49437 13733 1 191.0000 165.5230 15.39%
1456.77/1462.06 c 1462 49696 13800 1 191.0000 165.5255 15.39%
1461.76/1467.10 c 1467 49961 13861 1 191.0000 165.5266 15.39%
1467.03/1472.40 c 1472 50351 13931 1 191.0000 165.5286 15.39%
1472.20/1477.54 c 1478 50761 13999 1 191.0000 165.5296 15.39%
1477.99/1483.33 c 1483 50974 14082 1 191.0000 165.5311 15.39%
1483.67/1489.01 c 1489 51201 14173 1 191.0000 165.5328 15.38%
1489.24/1494.67 c 1495 51411 14233 1 191.0000 165.5349 15.38%
1494.82/1500.26 c 1500 51754 14310 1 191.0000 165.5362 15.38%
1500.71/1506.12 c 1506 51991 14375 1 191.0000 165.5379 15.38%
1505.88/1511.38 c 1511 52155 14411 1 191.0000 165.5382 15.38%
1511.16/1516.61 c 1517 52451 14471 1 191.0000 165.5408 15.38%
1517.04/1522.55 c 1523 52769 14595 1 191.0000 165.5414 15.38%
1522.31/1527.80 c 1528 52981 14659 1 191.0000 165.5426 15.38%
1528.00/1533.54 c 1534 53290 14766 1 191.0000 165.5431 15.38%
1533.58/1539.16 c 1539 53511 14843 1 191.0000 165.5441 15.38%
1535.37/1540.94 c * 1541 53611 14849 1 190.0000 165.5441 14.77%
1539.25/1544.82 c 1545 53898 14668 1 190.0000 165.5443 14.77%
1544.44/1550.04 c 1550 54164 14734 1 190.0000 165.5457 14.77%
1550.71/1556.36 c 1556 54411 14799 1 190.0000 165.5505 14.77%
1555.79/1561.41 c 1561 54681 14869 1 190.0000 165.5507 14.77%
1561.48/1567.13 c 1567 54967 14979 1 190.0000 165.5530 14.77%
1566.55/1572.25 c 1572 55191 15029 1 190.0000 165.5538 14.77%
1571.53/1577.27 c 1577 55413 15093 1 190.0000 165.5553 14.77%
1576.91/1582.67 c 1583 55594 15162 1 190.0000 165.5566 14.76%
1582.89/1588.66 c 1589 55951 15267 1 190.0000 165.5589 14.76%
1588.96/1594.78 c 1595 56124 15338 1 190.0000 165.5615 14.76%
1594.94/1600.74 c 1601 56401 15391 1 190.0000 165.5629 14.76%
1597.33/1603.10 c * 1603 56446 15414 1 189.0000 165.5635 14.16%
1600.22/1606.04 c 1606 56767 14332 1 189.0000 165.5635 14.16%
1606.30/1612.17 c 1612 56974 14413 1 189.0000 165.5652 14.15%
1611.47/1617.38 c 1617 57271 14472 1 189.0000 165.5672 14.15%
1616.55/1622.45 c 1622 57651 14570 1 189.0000 165.5693 14.15%
1621.64/1627.53 c 1628 57925 14642 1 189.0000 165.5731 14.15%
1627.32/1633.21 c 1633 58101 14714 1 189.0000 165.5770 14.15%
1632.80/1638.75 c 1639 58371 14790 1 189.0000 165.5794 14.14%
1638.37/1644.31 c 1644 58581 14856 1 189.0000 165.5815 14.14%
1643.75/1649.70 c 1650 58842 14933 1 189.0000 165.5838 14.14%
1648.73/1654.70 c 1655 59134 14991 1 189.0000 165.5845 14.14%
1653.72/1659.72 c 1660 59365 15064 1 189.0000 165.5845 14.14%
1659.39/1665.45 c 1665 59751 15144 1 189.0000 165.5870 14.14%
1665.17/1671.29 c 1671 59992 15205 1 189.0000 165.5886 14.14%
1670.25/1676.36 c 1676 60329 15364 1 189.0000 165.5889 14.14%
1675.24/1681.38 c 1681 60655 15456 1 189.0000 165.5906 14.14%
1680.92/1687.06 c 1687 60941 15522 1 189.0000 165.5915 14.14%
1686.69/1692.84 c 1693 61281 15596 1 189.0000 165.5928 14.14%
1692.07/1698.27 c 1698 61501 15674 1 189.0000 165.5950 14.13%
1697.25/1703.42 c 1703 61831 15752 1 189.0000 165.5973 14.13%
1702.33/1708.50 c 1708 62031 15816 1 189.0000 165.5998 14.13%
1707.71/1713.91 c 1714 62281 15890 1 189.0000 165.6021 14.13%
1713.08/1719.37 c 1719 62521 15974 1 189.0000 165.6049 14.13%
1719.17/1725.46 c 1725 62831 16080 1 189.0000 165.6064 14.13%
1724.75/1731.08 c 1731 63021 16148 1 189.0000 165.6082 14.12%
1730.12/1736.48 c 1736 63271 16230 1 189.0000 165.6096 14.12%
1735.60/1741.93 c 1742 63531 16322 1 189.0000 165.6121 14.12%
1741.47/1747.86 c 1748 63734 16401 1 189.0000 165.6132 14.12%
1746.95/1753.35 c 1753 64096 16473 1 189.0000 165.6141 14.12%
1752.64/1759.05 c 1759 64445 16540 1 189.0000 165.6144 14.12%
1758.62/1765.00 c 1765 64881 16632 1 189.0000 165.6162 14.12%
1764.89/1771.39 c 1771 65221 16730 1 189.0000 165.6171 14.12%
1769.96/1776.41 c 1776 65415 16808 1 189.0000 165.6190 14.12%
1775.04/1781.55 c 1782 65691 16872 1 189.0000 165.6197 14.12%
1780.12/1786.61 c 1787 65871 16930 1 189.0000 165.6208 14.12%
1785.30/1791.81 c 1792 66082 16999 1 189.0000 165.6225 14.11%
1790.38/1796.96 c 1797 66281 17076 1 189.0000 165.6234 14.11%
1795.87/1802.48 c 1802 66561 17178 1 189.0000 165.6248 14.11%
1801.85/1808.47 c 1808 66866 17237 1 189.0000 165.6253 14.11%
1806.93/1813.50 c 1814 67198 17279 1 189.0000 165.6257 14.11%
1812.20/1818.89 c 1819 67491 17360 1 189.0000 165.6278 14.11%
1817.98/1824.69 c 1825 67861 17422 1 189.0000 165.6295 14.11%
1824.16/1830.90 c 1831 68214 17491 1 189.0000 165.6306 14.11%
1829.73/1836.47 c 1836 68497 17576 1 189.0000 165.6331 14.11%
1835.01/1841.78 c 1842 68631 17652 1 189.0000 165.6348 14.11%
1840.80/1847.59 c 1848 68979 17726 1 189.0000 165.6354 14.11%
1846.17/1852.95 c 1853 69322 17801 1 189.0000 165.6378 14.10%
1852.15/1858.93 c 1859 69651 17874 1 189.0000 165.6394 14.10%
1857.23/1864.09 c 1864 69823 17960 1 189.0000 165.6406 14.10%
1862.32/1869.17 c 1869 70141 18022 1 189.0000 165.6417 14.10%
1868.30/1875.15 c 1875 70431 18096 1 189.0000 165.6422 14.10%
1874.07/1880.90 c 1881 70818 18187 1 189.0000 165.6427 14.10%
1879.15/1886.09 c 1886 71031 18244 1 189.0000 165.6442 14.10%
1884.53/1891.43 c 1891 71231 18320 1 189.0000 165.6447 14.10%
1890.11/1897.06 c 1897 71391 18386 1 189.0000 165.6456 14.10%
1895.19/1902.15 c 1902 71592 18463 1 189.0000 165.6473 14.10%
1900.86/1907.85 c 1908 71811 18512 1 189.0000 165.6483 14.10%
1906.15/1913.17 c 1913 72186 18561 1 189.0000 165.6495 14.10%
1911.22/1918.23 c 1918 72431 18624 1 189.0000 165.6502 14.10%
1916.50/1923.51 c 1924 72747 18712 1 189.0000 165.6528 14.09%
1921.58/1928.60 c 1929 73151 18886 1 189.0000 165.6543 14.09%
1926.87/1933.94 c 1934 73410 18985 1 189.0000 165.6560 14.09%
1932.54/1939.63 c 1940 73804 19039 1 189.0000 165.6564 14.09%
1938.42/1945.56 c 1946 74014 19127 1 189.0000 165.6596 14.09%
1943.70/1950.86 c 1951 74261 19194 1 189.0000 165.6610 14.09%
1949.08/1956.20 c 1956 74559 19286 1 189.0000 165.6613 14.09%
1954.06/1961.26 c 1961 74751 19362 1 189.0000 165.6627 14.09%
1959.84/1967.03 c 1967 75020 19459 1 189.0000 165.6634 14.09%
1965.41/1972.60 c 1973 75301 19560 1 189.0000 165.6651 14.09%
1971.09/1978.31 c 1978 75621 19658 1 189.0000 165.6661 14.08%
1976.78/1984.10 c 1984 75934 19763 1 189.0000 165.6668 14.08%
1981.96/1989.27 c 1989 76231 19830 1 189.0000 165.6675 14.08%
1987.63/1994.98 c 1995 76591 19928 1 189.0000 165.6688 14.08%
1993.51/2000.88 c 2001 76834 19999 1 189.0000 165.6702 14.08%
1998.79/2006.16 c 2006 77051 20046 1 189.0000 165.6706 14.08%
2005.17/2012.56 c 2013 77371 20140 1 189.0000 165.6727 14.08%
2010.65/2018.05 c 2018 77611 20200 1 189.0000 165.6734 14.08%
2016.52/2023.97 c 2024 77804 20283 1 189.0000 165.6750 14.08%
2022.50/2029.98 c 2030 78178 20415 1 189.0000 165.6756 14.08%
2027.68/2035.12 c 2035 78501 20494 1 189.0000 165.6765 14.08%
2032.96/2040.40 c 2040 78741 20564 1 189.0000 165.6775 14.08%
2038.74/2046.22 c 2046 78931 20666 1 189.0000 165.6785 14.08%
2044.42/2051.98 c 2052 79251 20762 1 189.0000 165.6805 14.07%
2050.60/2058.18 c 2058 79434 20843 1 189.0000 165.6817 14.07%
2055.77/2063.36 c 2063 79831 20896 1 189.0000 165.6831 14.07%
2061.25/2068.84 c 2069 80148 20981 1 189.0000 165.6840 14.07%
2066.23/2073.87 c 2074 80401 21048 1 189.0000 165.6859 14.07%
2072.11/2079.79 c 2080 80703 21132 1 189.0000 165.6863 14.07%
2077.29/2084.92 c 2085 81001 21192 1 189.0000 165.6877 14.07%
2082.27/2089.96 c 2090 81301 21256 1 189.0000 165.6891 14.07%
2087.65/2095.34 c 2095 81531 21348 1 189.0000 165.6898 14.07%
2093.53/2101.20 c 2101 81818 21441 1 189.0000 165.6904 14.07%
2099.21/2106.91 c 2107 82071 21500 1 189.0000 165.6909 14.07%
2104.18/2111.92 c 2112 82251 21572 1 189.0000 165.6921 14.07%
2109.76/2117.59 c 2118 82484 21661 1 189.0000 165.6948 14.07%
2114.85/2122.69 c 2123 82783 21734 1 189.0000 165.6967 14.06%
2120.73/2128.50 c 2128 83051 21806 1 189.0000 165.6975 14.06%
2126.11/2133.97 c 2134 83331 21882 1 189.0000 165.6979 14.06%
2131.78/2139.61 c 2140 83604 21969 1 189.0000 165.6986 14.06%
2137.66/2145.54 c 2146 83904 22039 1 189.0000 165.6994 14.06%
2142.94/2150.82 c 2151 84301 22086 1 189.0000 165.7004 14.06%
2148.02/2155.94 c 2156 84701 22150 1 189.0000 165.7012 14.06%
2153.40/2161.33 c 2161 84959 22220 1 189.0000 165.7025 14.06%
2158.78/2166.73 c 2167 85242 22283 1 189.0000 165.7037 14.06%
2163.86/2171.82 c 2172 85571 22344 1 189.0000 165.7051 14.06%
2169.33/2177.33 c 2177 85841 22408 1 189.0000 165.7055 14.06%
2174.41/2182.41 c 2182 86061 22488 1 189.0000 165.7070 14.06%
2179.60/2187.66 c 2188 86381 22586 1 189.0000 165.7077 14.06%
2185.38/2193.49 c 2194 86699 22664 1 189.0000 165.7080 14.06%
2190.45/2198.56 c 2199 86971 22752 1 189.0000 165.7084 14.06%
2196.34/2204.46 c 2204 87256 22837 1 189.0000 165.7099 14.05%
2201.92/2210.01 c 2210 87483 22910 1 189.0000 165.7113 14.05%
2207.10/2215.22 c 2215 87745 22978 1 189.0000 165.7125 14.05%
2212.08/2220.27 c 2220 88091 23026 1 189.0000 165.7134 14.05%
2217.86/2226.01 c 2226 88371 23114 1 189.0000 165.7147 14.05%
2223.54/2231.70 c 2232 88561 23178 1 189.0000 165.7166 14.05%
2228.62/2236.80 c 2237 88704 23251 1 189.0000 165.7175 14.05%
2233.90/2242.15 c 2242 89081 23288 1 189.0000 165.7184 14.05%
2239.07/2247.33 c 2247 89407 23340 1 189.0000 165.7189 14.05%
2244.35/2252.61 c 2253 89681 23396 1 189.0000 165.7199 14.05%
2250.13/2258.46 c 2258 89894 23469 1 189.0000 165.7210 14.05%
2255.91/2264.20 c 2264 90404 23531 1 189.0000 165.7220 14.05%
2261.38/2269.75 c 2270 90601 23612 1 189.0000 165.7244 14.04%
2266.46/2274.83 c 2275 90911 23684 1 189.0000 165.7249 14.04%
2272.04/2280.41 c 2280 91233 23760 1 189.0000 165.7263 14.04%
2277.63/2286.09 c 2286 91581 23840 1 189.0000 165.7282 14.04%
2283.00/2291.42 c 2291 91734 23907 1 189.0000 165.7291 14.04%
2288.38/2296.80 c 2297 92211 23964 1 189.0000 165.7311 14.04%
2293.46/2301.95 c 2302 92471 24050 1 189.0000 165.7318 14.04%
2299.34/2307.82 c 2308 92761 24132 1 189.0000 165.7329 14.04%
2304.42/2312.90 c 2313 92911 24198 1 189.0000 165.7339 14.04%
2310.80/2319.31 c 2319 93094 24285 1 189.0000 165.7355 14.04%
2316.68/2325.25 c 2325 93506 24349 1 189.0000 165.7363 14.04%
2322.15/2330.72 c 2331 93861 24424 1 189.0000 165.7373 14.04%
2327.83/2336.46 c 2336 94238 24517 1 189.0000 165.7383 14.04%
2332.91/2341.52 c 2342 94471 24580 1 189.0000 165.7396 14.03%
2338.59/2347.23 c 2347 94701 24664 1 189.0000 165.7404 14.03%
2343.97/2352.62 c 2353 94961 24750 1 189.0000 165.7415 14.03%
2349.15/2357.84 c 2358 95381 24794 1 189.0000 165.7425 14.03%
2354.73/2363.47 c 2363 95719 24874 1 189.0000 165.7430 14.03%
2360.41/2369.13 c 2369 96071 24938 1 189.0000 165.7438 14.03%
2366.09/2374.80 c 2375 96311 25010 1 189.0000 165.7447 14.03%
2371.56/2380.38 c 2380 96641 25076 1 189.0000 165.7455 14.03%
2376.84/2385.60 c 2386 96804 25147 1 189.0000 165.7463 14.03%
2382.63/2391.40 c 2391 97004 25241 1 189.0000 165.7479 14.03%
2387.91/2396.78 c 2397 97211 25310 1 189.0000 165.7489 14.03%
2393.29/2402.19 c 2402 97511 25386 1 189.0000 165.7498 14.03%
2398.36/2407.24 c 2407 97781 25458 1 189.0000 165.7506 14.03%
2403.64/2412.50 c 2412 97984 25537 1 189.0000 165.7513 14.03%
2409.72/2418.61 c 2419 98181 25618 1 189.0000 165.7526 14.03%
2415.01/2423.95 c 2424 98484 25687 1 189.0000 165.7538 14.02%
2419.98/2428.99 c 2429 98701 25752 1 189.0000 165.7547 14.02%
2425.46/2434.42 c 2434 98891 25824 1 189.0000 165.7554 14.02%
2430.94/2439.96 c 2440 99114 25885 1 189.0000 165.7556 14.02%
2436.03/2445.03 c 2445 99391 25946 1 189.0000 165.7561 14.02%
2441.11/2450.14 c 2450 99751 26000 1 189.0000 165.7566 14.02%
2446.78/2455.84 c 2456 99982 26095 1 189.0000 165.7572 14.02%
2452.17/2461.29 c 2461 100291 26136 1 189.0000 165.7586 14.02%
2457.35/2466.47 c 2466 100494 26197 1 189.0000 165.7593 14.02%
2463.03/2472.15 c 2472 100924 26273 1 189.0000 165.7602 14.02%
2468.31/2477.42 c 2477 101241 26332 1 189.0000 165.7610 14.02%
2474.09/2483.22 c 2483 101513 26420 1 189.0000 165.7619 14.02%
2479.87/2489.05 c 2489 101961 26476 1 189.0000 165.7629 14.02%
2485.65/2494.82 c 2495 102294 26515 1 189.0000 165.7633 14.02%
2491.03/2500.29 c 2500 102577 26596 1 189.0000 165.7643 14.02%
2496.31/2505.54 c 2506 102727 26662 1 189.0000 165.7650 14.02%
2501.60/2510.88 c 2511 103011 26720 1 189.0000 165.7664 14.02%
2507.38/2516.63 c 2517 103281 26782 1 189.0000 165.7673 14.02%
2512.86/2522.15 c 2522 103509 26854 1 189.0000 165.7682 14.01%
2517.94/2527.27 c 2527 103734 26909 1 189.0000 165.7686 14.01%
2523.42/2532.72 c 2533 104151 26980 1 189.0000 165.7701 14.01%
2529.00/2538.38 c 2538 104394 27073 1 189.0000 165.7705 14.01%
2534.78/2544.17 c 2544 104771 27160 1 189.0000 165.7717 14.01%
2540.05/2549.41 c 2549 105111 27236 1 189.0000 165.7731 14.01%
2545.54/2554.95 c 2555 105501 27298 1 189.0000 165.7741 14.01%
2550.52/2559.98 c 2560 105701 27362 1 189.0000 165.7746 14.01%
2556.30/2565.75 c 2566 106093 27450 1 189.0000 165.7751 14.01%
2562.08/2571.52 c 2572 106421 27520 1 189.0000 165.7766 14.01%
2567.26/2576.71 c 2577 106687 27592 1 189.0000 165.7770 14.01%
2573.04/2582.59 c 2583 107011 27696 1 189.0000 165.7778 14.01%
2576.14/2585.66 c * 2586 107111 27706 1 187.0000 165.7779 12.80%
2576.14/2585.69 c * 2586 107111 27706 1 186.0000 165.7779 12.20%
2578.53/2588.02 c 2588 107241 25316 1 186.0000 165.7786 12.20%
2584.11/2593.61 c 2594 107421 25368 1 186.0000 165.7791 12.20%
2590.08/2599.60 c 2600 107668 25451 1 186.0000 165.7799 12.20%
2595.76/2605.38 c 2605 107970 25511 1 186.0000 165.7812 12.20%
2601.64/2611.21 c 2611 108174 25589 1 186.0000 165.7825 12.20%
2606.73/2616.33 c 2616 108401 25660 1 186.0000 165.7836 12.19%
2611.91/2621.58 c 2622 108601 25722 1 186.0000 165.7838 12.19%
2617.50/2627.13 c 2627 108861 25820 1 186.0000 165.7844 12.19%
2623.37/2633.00 c 2633 109115 25902 1 186.0000 165.7866 12.19%
2628.55/2638.27 c 2638 109401 25958 1 186.0000 165.7877 12.19%
2634.33/2644.04 c 2644 109660 26033 1 186.0000 165.7886 12.19%
2639.52/2649.29 c 2649 109941 26074 1 186.0000 165.7891 12.19%
2644.80/2654.59 c 2655 110126 26127 1 186.0000 165.7897 12.19%
2650.17/2659.92 c 2660 110361 26178 1 186.0000 165.7901 12.19%
2655.36/2665.13 c 2665 110581 26280 1 186.0000 165.7911 12.19%
2660.74/2670.57 c 2671 110841 26378 1 186.0000 165.7915 12.19%
2666.12/2675.97 c 2676 111021 26484 1 186.0000 165.7923 12.19%
2671.50/2681.37 c 2681 111201 26556 1 186.0000 165.7936 12.19%
2677.48/2687.33 c 2687 111424 26655 1 186.0000 165.7952 12.19%
2682.86/2692.76 c 2693 111651 26734 1 186.0000 165.7964 12.19%
2688.15/2698.09 c 2698 111881 26806 1 186.0000 165.7967 12.19%
2693.32/2703.29 c 2703 112034 26873 1 186.0000 165.7971 12.19%
2699.21/2709.17 c 2709 112296 26961 1 186.0000 165.7981 12.18%
2704.28/2714.29 c 2714 112591 27016 1 186.0000 165.7987 12.18%
2709.46/2719.44 c 2719 112824 27077 1 186.0000 165.7996 12.18%
2715.35/2725.36 c 2725 113091 27158 1 186.0000 165.8013 12.18%
2720.93/2730.91 c 2731 113311 27212 1 186.0000 165.8023 12.18%
2726.70/2736.75 c 2737 113520 27295 1 186.0000 165.8031 12.18%
2731.88/2741.91 c 2742 113761 27344 1 186.0000 165.8033 12.18%
2737.08/2747.12 c 2747 113944 27409 1 186.0000 165.8038 12.18%
2742.35/2752.46 c 2752 114162 27475 1 186.0000 165.8048 12.18%
2747.73/2757.82 c 2758 114451 27530 1 186.0000 165.8058 12.18%
2753.61/2763.73 c 2764 114731 27588 1 186.0000 165.8067 12.18%
2759.49/2769.61 c 2770 114981 27646 1 186.0000 165.8081 12.18%
2765.47/2775.63 c 2776 115268 27705 1 186.0000 165.8084 12.18%
2771.24/2781.44 c 2781 115521 27764 1 186.0000 165.8093 12.18%
2776.44/2786.68 c 2787 115795 27832 1 186.0000 165.8106 12.18%
2782.31/2792.55 c 2793 116034 27889 1 186.0000 165.8112 12.18%
2787.90/2798.15 c 2798 116244 27947 1 186.0000 165.8113 12.18%
2793.77/2804.10 c 2804 116404 28015 1 186.0000 165.8118 12.18%
2799.76/2810.03 c 2810 116644 28079 1 186.0000 165.8131 12.17%
2805.43/2815.73 c 2816 116922 28135 1 186.0000 165.8139 12.17%
2810.51/2820.89 c 2821 117111 28198 1 186.0000 165.8159 12.17%
2816.39/2826.72 c 2827 117282 28263 1 186.0000 165.8165 12.17%
2821.97/2832.38 c 2832 117481 28336 1 186.0000 165.8178 12.17%
2827.25/2837.67 c 2838 117761 28362 1 186.0000 165.8184 12.17%
2832.74/2843.18 c 2843 117986 28415 1 186.0000 165.8191 12.17%
2838.31/2848.75 c 2849 118238 28457 1 186.0000 165.8196 12.17%
2843.89/2854.37 c 2854 118501 28526 1 186.0000 165.8209 12.17%
2849.77/2860.21 c 2860 118741 28596 1 186.0000 165.8214 12.17%
2855.46/2865.95 c 2866 118944 28677 1 186.0000 165.8220 12.17%
2860.94/2871.47 c 2871 119271 28732 1 186.0000 165.8224 12.17%
2867.01/2877.59 c 2878 119451 28812 1 186.0000 165.8237 12.17%
2872.89/2883.49 c 2883 119715 28882 1 186.0000 165.8241 12.17%
2878.48/2889.08 c 2889 119978 28947 1 186.0000 165.8243 12.17%
2884.46/2895.00 c 2895 120241 28990 1 186.0000 165.8249 12.17%
2889.93/2900.52 c 2901 120464 29079 1 186.0000 165.8259 12.17%
2894.92/2905.60 c 2906 120731 29128 1 186.0000 165.8263 12.17%
2900.40/2911.04 c 2911 120985 29186 1 186.0000 165.8267 12.17%
2906.57/2917.20 c 2917 121204 29275 1 186.0000 165.8275 12.16%
2911.65/2922.35 c 2922 121431 29328 1 186.0000 165.8281 12.16%
2917.64/2928.37 c 2928 121709 29398 1 186.0000 165.8284 12.16%
2923.42/2934.14 c 2934 121984 29451 1 186.0000 165.8289 12.16%
2928.50/2939.28 c 2939 122261 29506 1 186.0000 165.8295 12.16%
2933.68/2944.48 c 2944 122491 29550 1 186.0000 165.8298 12.16%
2939.06/2949.82 c 2950 122711 29614 1 186.0000 165.8305 12.16%
2944.84/2955.69 c 2956 123060 29715 1 186.0000 165.8311 12.16%
2950.81/2961.60 c 2962 123450 29773 1 186.0000 165.8314 12.16%
2956.00/2966.87 c 2967 123688 29827 1 186.0000 165.8319 12.16%
2961.08/2971.95 c 2972 123901 29900 1 186.0000 165.8322 12.16%
2966.67/2977.58 c 2978 124091 29984 1 186.0000 165.8332 12.16%
2972.04/2982.99 c 2983 124361 30100 1 186.0000 165.8339 12.16%
2977.72/2988.64 c 2989 124607 30182 1 186.0000 165.8345 12.16%
2982.91/2993.87 c 2994 124881 30266 1 186.0000 165.8352 12.16%
2987.99/2998.95 c 2999 125101 30342 1 186.0000 165.8357 12.16%
2993.77/3004.76 c 3005 125294 30423 1 186.0000 165.8362 12.16%
2999.05/3010.04 c 3010 125521 30486 1 186.0000 165.8368 12.16%
3004.13/3015.13 c 3015 125771 30548 1 186.0000 165.8374 12.16%
3009.61/3020.66 c 3021 126031 30608 1 186.0000 165.8383 12.16%
3015.39/3026.40 c 3026 126261 30692 1 186.0000 165.8397 12.16%
3020.98/3032.02 c 3032 126551 30744 1 186.0000 165.8399 12.16%
3026.26/3037.30 c 3037 126751 30828 1 186.0000 165.8403 12.16%
3032.13/3043.26 c 3043 127131 30898 1 186.0000 165.8408 12.16%
3037.92/3049.03 c 3049 127316 30975 1 186.0000 165.8416 12.16%
3043.30/3054.43 c 3054 127494 31035 1 186.0000 165.8419 12.16%
3048.77/3059.95 c 3060 127841 31130 1 186.0000 165.8422 12.15%
3053.76/3064.96 c 3065 128041 31214 1 186.0000 165.8433 12.15%
3058.94/3070.17 c 3070 128281 31264 1 186.0000 165.8441 12.15%
3064.43/3075.65 c 3076 128551 31344 1 186.0000 165.8446 12.15%
3070.21/3081.45 c 3081 128851 31398 1 186.0000 165.8453 12.15%
3075.79/3087.04 c 3087 129111 31442 1 186.0000 165.8456 12.15%
3081.66/3092.99 c 3093 129387 31516 1 186.0000 165.8461 12.15%
3087.54/3098.88 c 3099 129614 31601 1 186.0000 165.8466 12.15%
3092.63/3103.98 c 3104 129821 31672 1 186.0000 165.8475 12.15%
3098.51/3109.89 c 3110 130110 31759 1 186.0000 165.8482 12.15%
3103.59/3114.93 c 3115 130301 31830 1 186.0000 165.8487 12.15%
3108.67/3120.01 c 3120 130477 31900 1 186.0000 165.8495 12.15%
3113.65/3125.07 c 3125 130611 31962 1 186.0000 165.8503 12.15%
3119.43/3130.82 c 3131 130821 32016 1 186.0000 165.8512 12.15%
3125.41/3136.86 c 3137 130994 32075 1 186.0000 165.8521 12.15%
3130.70/3142.14 c 3142 131212 32119 1 186.0000 165.8523 12.15%
3136.27/3147.78 c 3148 131461 32206 1 186.0000 165.8527 12.15%
3141.85/3153.31 c 3153 131791 32272 1 186.0000 165.8531 12.15%
3147.33/3158.83 c 3159 131965 32362 1 186.0000 165.8541 12.15%
3152.81/3164.36 c 3164 132191 32444 1 186.0000 165.8546 12.15%
3158.29/3169.87 c 3170 132421 32518 1 186.0000 165.8554 12.15%
3164.07/3175.69 c 3176 132711 32626 1 186.0000 165.8559 12.15%
3170.06/3181.64 c 3182 132958 32713 1 186.0000 165.8568 12.14%
3175.04/3186.69 c 3187 133271 32770 1 186.0000 165.8577 12.14%
3180.42/3192.06 c 3192 133481 32854 1 186.0000 165.8592 12.14%
3185.50/3197.11 c 3197 133606 32923 1 186.0000 165.8595 12.14%
3190.78/3202.45 c 3202 133899 33016 1 186.0000 165.8599 12.14%
3195.76/3207.49 c 3207 134084 33085 1 186.0000 165.8603 12.14%
3201.05/3212.73 c 3213 134354 33145 1 186.0000 165.8610 12.14%
3206.93/3218.66 c 3219 134611 33224 1 186.0000 165.8616 12.14%
3212.11/3223.84 c 3224 134886 33275 1 186.0000 165.8624 12.14%
3217.79/3229.59 c 3230 135211 33332 1 186.0000 165.8632 12.14%
3223.27/3235.10 c 3235 135441 33384 1 186.0000 165.8637 12.14%
3229.15/3240.95 c 3241 135751 33460 1 186.0000 165.8646 12.14%
3234.34/3246.16 c 3246 136001 33510 1 186.0000 165.8649 12.14%
3240.11/3251.97 c 3252 136251 33590 1 186.0000 165.8653 12.14%
3245.69/3257.54 c 3258 136481 33664 1 186.0000 165.8664 12.14%
3251.47/3263.30 c 3263 136754 33735 1 186.0000 165.8665 12.14%
3256.65/3268.57 c 3269 136981 33790 1 186.0000 165.8672 12.14%
3262.03/3273.92 c 3274 137257 33856 1 186.0000 165.8675 12.14%
3267.92/3279.81 c 3280 137444 33935 1 186.0000 165.8680 12.14%
3272.99/3284.96 c 3285 137687 33982 1 186.0000 165.8688 12.14%
3278.08/3290.00 c 3290 137941 34034 1 186.0000 165.8692 12.14%
3283.65/3295.65 c 3296 138241 34102 1 186.0000 165.8697 12.14%
3289.04/3301.05 c 3301 138461 34168 1 186.0000 165.8704 12.14%
3294.12/3306.13 c 3306 138617 34228 1 186.0000 165.8710 12.14%
3299.30/3311.31 c 3311 138881 34304 1 186.0000 165.8716 12.13%
3304.38/3316.47 c 3316 139154 34347 1 186.0000 165.8722 12.13%
3309.97/3322.07 c 3322 139461 34400 1 186.0000 165.8732 12.13%
3315.74/3327.81 c 3328 139691 34490 1 186.0000 165.8738 12.13%
3320.93/3333.09 c 3333 139941 34550 1 186.0000 165.8741 12.13%
3326.21/3338.38 c 3338 140191 34612 1 186.0000 165.8748 12.13%
3331.99/3344.11 c 3344 140499 34676 1 186.0000 165.8757 12.13%
3337.27/3349.46 c 3349 140671 34754 1 186.0000 165.8768 12.13%
3342.55/3354.70 c 3355 140871 34798 1 186.0000 165.8771 12.13%
3347.63/3359.84 c 3360 141127 34882 1 186.0000 165.8778 12.13%
3352.82/3365.01 c 3365 141368 34933 1 186.0000 165.8789 12.13%
3358.00/3370.20 c 3370 141571 34992 1 186.0000 165.8798 12.13%
3363.57/3375.86 c 3376 141871 35050 1 186.0000 165.8804 12.13%
3369.45/3381.75 c 3382 142074 35147 1 186.0000 165.8816 12.13%
3375.03/3387.34 c 3387 142371 35198 1 186.0000 165.8818 12.13%
3380.62/3392.92 c 3393 142561 35286 1 186.0000 165.8826 12.13%
3386.20/3398.50 c 3399 142841 35354 1 186.0000 165.8832 12.13%
3391.48/3403.81 c 3404 143161 35420 1 186.0000 165.8843 12.13%
3396.96/3409.38 c 3409 143436 35479 1 186.0000 165.8852 12.13%
3402.75/3415.19 c 3415 143751 35544 1 186.0000 165.8861 12.13%
3408.72/3421.19 c 3421 143988 35603 1 186.0000 165.8867 12.12%
3414.30/3426.72 c 3427 144202 35683 1 186.0000 165.8870 12.12%
3419.58/3432.09 c 3432 144441 35786 1 186.0000 165.8875 12.12%
3425.56/3438.04 c 3438 144791 35862 1 186.0000 165.8880 12.12%
3431.34/3443.87 c 3444 145174 35927 1 186.0000 165.8882 12.12%
3436.52/3449.04 c 3449 145462 36019 1 186.0000 165.8888 12.12%
3442.40/3454.90 c 3455 145694 36101 1 186.0000 165.8900 12.12%
3447.37/3459.92 c 3460 145953 36150 1 186.0000 165.8906 12.12%
3452.47/3465.10 c 3465 146321 36222 1 186.0000 165.8915 12.12%
3458.04/3470.67 c 3471 146501 36296 1 186.0000 165.8922 12.12%
3463.12/3475.78 c 3476 146731 36376 1 186.0000 165.8931 12.12%
3468.40/3481.00 c 3481 146921 36454 1 186.0000 165.8942 12.12%
3473.38/3486.04 c 3486 147171 36528 1 186.0000 165.8946 12.12%
3478.77/3491.46 c 3491 147381 36572 1 186.0000 165.8948 12.12%
3484.35/3497.06 c 3497 147688 36699 1 186.0000 165.8958 12.12%
3489.72/3502.45 c 3502 147929 36774 1 186.0000 165.8968 12.12%
3495.10/3507.80 c 3508 148114 36849 1 186.0000 165.8974 12.12%
3500.79/3513.59 c 3514 148356 36941 1 186.0000 165.8981 12.12%
3505.98/3518.73 c 3519 148571 37006 1 186.0000 165.8988 12.12%
3511.15/3523.91 c 3524 148838 37071 1 186.0000 165.8993 12.12%
3516.94/3529.77 c 3530 149100 37159 1 186.0000 165.9003 12.12%
3522.52/3535.30 c 3535 149331 37256 1 186.0000 165.9014 12.11%
3527.80/3540.66 c 3541 149627 37320 1 186.0000 165.9016 12.11%
3533.38/3546.27 c 3546 149850 37409 1 186.0000 165.9028 12.11%
3539.16/3552.10 c 3552 150143 37468 1 186.0000 165.9032 12.11%
3544.33/3557.20 c 3557 150391 37540 1 186.0000 165.9036 12.11%
3549.41/3562.38 c 3562 150721 37634 1 186.0000 165.9039 12.11%
3554.80/3567.74 c 3568 150884 37717 1 186.0000 165.9044 12.11%
3560.78/3573.71 c 3574 151208 37805 1 186.0000 165.9051 12.11%
3565.87/3578.82 c 3579 151467 37878 1 186.0000 165.9055 12.11%
3571.64/3584.69 c 3585 151841 37938 1 186.0000 165.9061 12.11%
3577.03/3590.06 c 3590 152134 38005 1 186.0000 165.9069 12.11%
3582.51/3595.51 c 3596 152381 38074 1 186.0000 165.9083 12.11%
3587.09/3600.19 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.09/3600.19 c Total Time : 3600.19
3587.09/3600.19 c solving : 3600.19
3587.09/3600.19 c presolving : 0.02 (included in solving)
3587.09/3600.19 c B&B Tree :
3587.09/3600.19 c nodes (total) : 1
3587.09/3600.19 c Solution :
3587.09/3600.19 c Solutions found : 13
3587.09/3600.19 c Primal Bound : +1.86000000000000e+02
3587.09/3600.19 c Dual Bound : +1.65908671577817e+02
3587.09/3600.19 c Gap : 12.10987 %
3587.09/3600.19 c * Warning: final gap: 1.21099e-01 is greater than SCIPepsilon: 1.00000e-09
3587.09/3600.19 o 186
3587.09/3600.19 s SATISFIABLE
3587.09/3600.19 v -x473 x472 -x471 x470 x469 -x468 x467 -x466 x465 -x464 -x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 x451
3587.09/3600.19 v x450 -x449 -x448 x447 x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 -x435 x434 -x433 -x432 x431 -x430 -x429
3587.09/3600.19 v -x428 -x427 x426 -x425 -x424 -x423 -x422 x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 x409 -x408 -x407
3587.09/3600.19 v x406 -x405 x404 x403 x402 -x401 x400 x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 x391 -x390 x389 x388 x387 -x386 -x385 -x384
3587.09/3600.19 v -x383 -x382 x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 x369 -x368 -x367 -x366 x365 -x364 -x363
3587.09/3600.19 v x362 -x361 x360 x359 x358 -x357 x356 x355 x354 -x353 x352 -x351 -x350 x349 -x348 -x347 x346 -x345 x344 x343 x342 -x341 x340 x339
3587.09/3600.19 v -x338 -x337 -x336 -x335 x334 x333 x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 x324 -x323 -x322 -x321 x320 -x319 x318 x317
3587.09/3600.19 v -x316 x315 -x314 -x313 x312 -x311 -x310 x309 x308 x307 x306 x305 -x304 x303 x302 -x301 x300 x299 x298 -x297 -x296 -x295 -x294
3587.09/3600.19 v -x293 x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 x284 x283 -x282 -x281 x280 x279 -x278 x277 x276 -x275 -x274 x273 -x272
3587.09/3600.19 v x271 x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 x259 x258 x257 -x256 x255 x254 -x253 -x252 x251 -x250
3587.09/3600.19 v -x249 -x248 -x247 x246 x245 -x244 x243 -x242 x241 x240 -x239 -x238 x237 x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 x228 x227
3587.09/3600.19 v -x226 x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 x214 -x213 -x212 x211 -x210 x209 x208 x207 x206 -x205
3587.09/3600.19 v x204 x203 -x202 -x201 x200 x199 -x198 -x197 x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183
3587.09/3600.19 v -x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x162 -x161
3587.09/3600.19 v x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 x150 x149 x148 -x147 x146 -x145 x144 x143 x142 x141 -x140 -x139
3587.09/3600.19 v x138 x137 -x136 -x135 x134 -x133 -x132 -x131 x130 -x129 x128 x127 x126 -x125 x124 -x123 -x122 x121 -x120 -x119 -x118 x117 x116
3587.09/3600.19 v -x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 x105 x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 x94 -x93
3587.09/3600.19 v x92 x91 -x90 x89 -x88 -x87 x86 -x85 -x84 x83 -x82 x81 x80 x79 x78 x77 x76 -x75 x74 -x73 -x72 -x71 x70 -x69 x68 -x67 x66 x65
3587.09/3600.19 v -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 x53 -x52 -x51 x50 x49 -x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38
3587.09/3600.19 v x37 x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 x28 x27 -x26 x25 -x24 -x23 -x22 x21 -x20 -x19 x18 x17 -x16 -x15 -x14 x13 x12 -x11
3587.09/3600.19 v -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63018 MiB free)
memory of node 1: 64473 MiB (63446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434643-1721086013/watcher-4434643-1721086013 -o /tmp/evaluation-result-4434643-1721086013/solver-4434643-1721086013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843388 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434643-1721086013.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=845455, runsolver pid=845452
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.18 4.13 4.10 5/249 845462
/proc/meminfo: memFree=129423152/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=112504 memory=28392 CPUtime=0.09 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 4519 0 0 0 9 0 0 0 20 0 3 0 160763769 115204096 7098 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 28126 7098 2894 3032 0 10492 0
[pid=845455/tid=845459] ppid=845452 vsize=112504 memory=4026531957 CPUtime=0.07 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 2070 0 0 0 7 0 0 0 20 0 3 0 160763772 115204096 7098 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=112504 memory=241407623517 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763772 115204096 7098 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112504 KiB
Current children cumulated memory: 28392 KiB
[startup+0.204317 s]*
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=129368664/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=112504 memory=28392 CPUtime=0.19 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 4543 0 0 0 19 0 0 0 20 0 3 0 160763769 115204096 7098 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 28126 7098 2894 3032 0 10508 0
[pid=845455/tid=845459] ppid=845452 vsize=112504 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 2097 0 0 0 17 0 0 0 20 0 3 0 160763772 115204096 7098 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=112504 memory=16956 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763772 115204096 7098 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112504 KiB
Current children cumulated memory: 28392 KiB
[startup+0.30454 s]*
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=129308416/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=112504 memory=28656 CPUtime=0.29 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 4595 0 0 0 29 0 0 0 20 0 3 0 160763769 115204096 7164 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 28126 7164 2894 3032 0 10587 0
[pid=845455/tid=845459] ppid=845452 vsize=112504 memory=-8959461103051842236 CPUtime=0.27 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 2146 0 0 0 27 0 0 0 20 0 3 0 160763772 115204096 7164 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=112504 memory=0 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763772 115204096 7164 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112504 KiB
Current children cumulated memory: 28656 KiB
[startup+0.7002 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=129184740/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=117764 memory=45612 CPUtime=0.69 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 8810 0 0 0 68 1 0 0 20 0 3 0 160763769 120590336 11403 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 29441 11403 2910 3032 0 14814 0
[pid=845455/tid=845459] ppid=845452 vsize=117764 memory=0 CPUtime=0.66 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 6361 0 0 0 66 0 0 0 20 0 3 0 160763772 120590336 11403 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=117764 memory=0 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763772 120590336 11403 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 117764 KiB
Current children cumulated memory: 45612 KiB
[startup+1.50021 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 845482
/proc/meminfo: memFree=128792560/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=207148 memory=126284 CPUtime=1.49 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 36708 0 0 0 144 5 0 0 20 0 3 0 160763769 212119552 31571 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 51787 31571 2910 3032 0 35276 0
[pid=845455/tid=845459] ppid=845452 vsize=207148 memory=0 CPUtime=1.45 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 34259 0 0 0 141 4 0 0 20 0 3 0 160763772 212119552 31571 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=207148 memory=0 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160763772 212119552 31571 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 207148 KiB
Current children cumulated memory: 126284 KiB
[startup+3.1045 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 845484
/proc/meminfo: memFree=127525416/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=207148 memory=163560 CPUtime=3.08 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 46284 0 0 0 302 6 0 0 20 0 3 0 160763769 212119552 40890 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 51787 40890 2910 3032 0 45177 0
[pid=845455/tid=845459] ppid=845452 vsize=207148 memory=0 CPUtime=3.06 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 43833 0 0 0 300 6 0 0 20 0 3 0 160763772 212119552 40890 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=207148 memory=-6369892429363067754 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160763772 212119552 40890 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 207148 KiB
Current children cumulated memory: 163560 KiB
[startup+6.30017 s]
/proc/loadavg: 4.16 4.13 4.10 5/261 845484
/proc/meminfo: memFree=127106928/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=207148 memory=164096 CPUtime=6.27 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 46375 0 0 0 621 6 0 0 20 0 3 0 160763769 212119552 41024 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 51787 41024 2958 3032 0 45177 0
[pid=845455/tid=845459] ppid=845452 vsize=207148 memory=0 CPUtime=6.24 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 43892 0 0 0 618 6 0 0 20 0 3 0 160763772 212119552 41024 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=207148 memory=12304 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 160763772 212119552 41024 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 207148 KiB
Current children cumulated memory: 164096 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/261 845484
/proc/meminfo: memFree=126696088/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=207148 memory=164128 CPUtime=12.65 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 52638 0 0 0 1258 7 0 0 20 0 3 0 160763769 212119552 41032 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 51787 41032 2958 3032 0 45177 0
[pid=845455/tid=845459] ppid=845452 vsize=207148 memory=164128 CPUtime=12.62 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 50094 0 0 0 1256 6 0 0 20 0 3 0 160763772 212119552 41032 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=207148 memory=164128 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 160763772 212119552 41032 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 207148 KiB
Current children cumulated memory: 164128 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 845488
/proc/meminfo: memFree=123450728/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=272684 memory=218920 CPUtime=25.41 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 111152 0 0 0 2529 12 0 0 20 0 3 0 160763769 279228416 54730 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 68171 54730 2958 3032 0 59153 0
[pid=845455/tid=845459] ppid=845452 vsize=272684 memory=192444 CPUtime=25.38 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 108368 0 0 0 2526 12 0 0 20 0 3 0 160763772 279228416 54730 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=272684 memory=169912 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 160763772 279228416 54730 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 272684 KiB
Current children cumulated memory: 218920 KiB
[startup+51.1051 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 845495
/proc/meminfo: memFree=117990512/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=269060 memory=215320 CPUtime=50.93 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 145538 0 0 0 5078 15 0 0 20 0 3 0 160763769 275517440 53830 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 67265 53830 2958 3032 0 58247 0
[pid=845455/tid=845459] ppid=845452 vsize=269060 memory=215316 CPUtime=50.89 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 142537 0 0 0 5075 14 0 0 20 0 3 0 160763772 275517440 53830 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=269060 memory=12304 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 160763772 275517440 53830 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 269060 KiB
Current children cumulated memory: 215320 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/267 845673
/proc/meminfo: memFree=116714620/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=269060 memory=228180 CPUtime=101.91 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 186264 0 0 0 10173 18 0 0 20 0 3 0 160763769 275517440 57045 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 67265 57045 2958 3032 0 61059 0
[pid=845455/tid=845459] ppid=845452 vsize=269060 memory=223068 CPUtime=101.89 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 183157 0 0 0 10171 18 0 0 20 0 3 0 160763772 275517440 57045 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=269060 memory=218396 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 160763772 275517440 57045 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 269060 KiB
Current children cumulated memory: 228180 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/267 845683
/proc/meminfo: memFree=116506636/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=332548 memory=297948 CPUtime=161.7 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 254624 0 0 0 16145 25 0 0 20 0 3 0 160763769 340529152 74487 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 83137 74487 2958 3032 0 77713 0
[pid=845455/tid=845459] ppid=845452 vsize=332548 memory=218396 CPUtime=161.67 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 251468 0 0 0 16142 25 0 0 20 0 3 0 160763772 340529152 74487 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=332548 memory=17084 CPUtime=0 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 160763772 340529152 74487 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 332548 KiB
################
# More data... #
################
/proc/845455/statm: 103016 86966 2974 3032 0 89938 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=12304 CPUtime=3449.5 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1047010 0 0 0 344823 127 0 0 20 0 3 0 160763772 421953536 86966 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=347864 CPUtime=0.01 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 176 0 0 0 0 1 0 0 20 0 3 0 160763772 421953536 86966 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3449.77 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 347864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 847307
/proc/meminfo: memFree=114807752/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349432 CPUtime=3509.56 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1070272 0 0 0 350819 137 0 0 20 0 3 0 160763769 421953536 87358 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87358 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=347864 CPUtime=3509.28 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1065888 0 0 0 350799 129 0 0 20 0 3 0 160763772 421953536 87358 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=349432 CPUtime=0.01 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 178 0 0 0 0 1 0 0 20 0 3 0 160763772 421953536 87358 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3509.56 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 847317
/proc/meminfo: memFree=114805108/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349528 CPUtime=3569.35 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1085465 0 0 0 356796 139 0 0 20 0 3 0 160763769 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87382 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=43432 CPUtime=3569.07 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1081069 0 0 0 356776 131 0 0 20 0 3 0 160763772 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=12304 CPUtime=0.01 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 1 0 0 20 0 3 0 160763772 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3569.35 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349528 KiB
[startup+3600.2 s]
# the end of solver process 845455 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.78 s, system=1.41735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 5/264 847319
/proc/meminfo: memFree=114805004/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349528 CPUtime=3571.05 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1087959 0 0 0 356966 139 0 0 20 0 3 0 160763769 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87382 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=394524 CPUtime=3570.77 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1083556 0 0 0 356946 131 0 0 20 0 3 0 160763772 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=2708 CPUtime=0.01 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 1 0 0 20 0 3 0 160763772 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349528 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 847319
/proc/meminfo: memFree=114805024/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349528 CPUtime=3577.42 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1094889 0 0 0 357602 140 0 0 20 0 3 0 160763769 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87382 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=6720663259617508968 CPUtime=3577.14 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1090478 0 0 0 357582 132 0 0 20 0 3 0 160763772 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=-7233475509502830205 CPUtime=0.02 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 160763772 421953536 87382 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3577.42 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349528 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805032/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349532 CPUtime=3583.8 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1095507 0 0 0 358240 140 0 0 20 0 3 0 160763769 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87383 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=349528 CPUtime=3583.52 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1091096 0 0 0 358220 132 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=349528 CPUtime=0.02 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3583.8 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349532 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349532 CPUtime=3585.39 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1095520 0 0 0 358399 140 0 0 20 0 3 0 160763769 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87383 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=43432 CPUtime=3585.11 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1091109 0 0 0 358379 132 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=349532 CPUtime=0.02 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3585.39 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349532 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349532 CPUtime=3586.19 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1095540 0 0 0 358479 140 0 0 20 0 3 0 160763769 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87383 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=349532 CPUtime=3585.91 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1091129 0 0 0 358459 132 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=2328 CPUtime=0.02 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349532 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349532 CPUtime=3586.59 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1095541 0 0 0 358519 140 0 0 20 0 3 0 160763769 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87383 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=39396 CPUtime=3586.31 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1091130 0 0 0 358499 132 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=2160 CPUtime=0.02 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349532 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=412064 memory=349532 CPUtime=3586.99 cores=0,2
/proc/845455/stat : 845455 (fscip) R 845452 845455 843378 0 -1 1077936128 1096205 0 0 0 358559 140 0 0 20 0 3 0 160763769 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 103016 87383 2974 3032 0 90334 0
[pid=845455/tid=845459] ppid=845452 vsize=412064 memory=19888 CPUtime=3586.71 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1091800 0 0 0 358539 132 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=412064 memory=-7233475509502830205 CPUtime=0.02 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 160763772 421953536 87383 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 412064 KiB
Current children cumulated memory: 349532 KiB
[startup+3600.11 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 847320
/proc/meminfo: memFree=114805052/131524600 swapFree=131071996/131071996
[pid=845455] ppid=845452 vsize=410008 memory=347476 CPUtime=3587.09 cores=0,2
/proc/845455/stat : 845455 (fscip) S 845452 845455 843378 0 -1 1077936128 1101062 0 0 0 358569 140 0 0 20 0 3 0 160763769 419848192 86869 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
/proc/845455/statm: 102502 86869 2974 3032 0 89820 0
[pid=845455/tid=845459] ppid=845452 vsize=410008 memory=349528 CPUtime=3586.81 cores=0,2
/proc/845455/task/845459/stat : 845459 (fscip) R 845452 845455 843378 0 -1 4194368 1096650 0 0 0 358549 132 0 0 20 0 3 0 160763772 419848192 86869 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
[pid=845455/tid=845460] ppid=845452 vsize=410008 memory=19768 CPUtime=0.02 cores=0,2
/proc/845455/task/845460/stat : 845460 (fscip) S 845452 845455 843378 0 -1 1077936192 180 0 0 0 0 2 0 0 20 0 3 0 160763772 419848192 86869 134679101440 4194304 16613245 140725654114384 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33619968 140725654119445 140725654119561 140725654119561 140725654126576 0
Current children cumulated CPU time: 3587.09 s
Current children cumulated vsize: 410008 KiB
Current children cumulated memory: 347476 KiB
Child status: 0
Real time (s): 3600.2
CPU time (s): 3587.2
CPU user time (s): 3585.78
CPU system time (s): 1.41735
CPU usage (%): 99.6388
Max. virtual memory (cumulated for all children) (KiB): 412064
Max. memory (cumulated for all children) (KiB): 349532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.78
system time used= 1.41735
maximum resident set size= 349532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1102788
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= 12531
involuntary context switches= 24552
# summary of solver processes directly reported to runsolver:
# pid: 845455
# total CPU time (s): 3587.2
# total CPU user time (s): 3585.78
# total CPU system time (s): 1.41735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99977 second user time and 13.4483 second system time
The end
Begin job on nodeC018 at 2024-07-16 01:27:06
IDJOB=4434643
IDBENCH=147549
IDSOLVER=3064
FILE ID=nodeC018/4434643-1721086013
RUNJOBID= nodeC018-1721082425-843388
SLURM_JOB_ID= 7505562
Free space on /tmp= 890056 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.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-4434643-1721086013/watcher-4434643-1721086013 -o /tmp/evaluation-result-4434643-1721086013/solver-4434643-1721086013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843388 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434643-1721086013.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=1653812845
nodeC018.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 : 3655.308
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 : 6999.52
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 : 3691.153
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 : 7005.30
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 : 3600.068
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 : 6999.52
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.131
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 : 7005.30
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 : 3660.293
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 : 6999.52
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 : 3601.804
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 : 7005.30
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 : 3641.207
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 : 6999.52
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 : 3691.173
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 : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129510136 kB
MemAvailable: 129762680 kB
Buffers: 372692 kB
Cached: 721956 kB
SwapCached: 0 kB
Active: 667420 kB
Inactive: 764948 kB
Active(anon): 1536 kB
Inactive(anon): 373928 kB
Active(file): 665884 kB
Inactive(file): 391020 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 78616 kB
Writeback: 92 kB
AnonPages: 335520 kB
Mapped: 113432 kB
Shmem: 37720 kB
KReclaimable: 70924 kB
Slab: 176996 kB
SReclaimable: 70924 kB
SUnreclaim: 106072 kB
KernelStack: 3880 kB
PageTables: 9384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 692672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60800 kB
HardwareCorrupted: 0 kB
AnonHugePages: 563200 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: 232148 kB
DirectMap2M: 16318464 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889940 MiB
End job on nodeC018 at 2024-07-16 02:27:06