0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.21/0.26 c Default LC presolving (default).
0.21/0.27 c ** Before presolving: virtualMemUsedAtLc = 91468196, getVmSize() = 75608064, SCIPgetMemUsed() = 44572372, SCIPgetMemTotal() = 51007340, SCIPgetMemExternEstim() = 40460856
0.21/0.27 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
1.47/1.55 c ** Estimated virtualMemUsedAtSolver = 144988702, getVmSize() = 206376960, SCIPgetMemUsed() = 92934749, SCIPgetMemTotal() = 177022197, SCIPgetMemExternEstim() = 40460856
1.47/1.55 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.47/1.55 c Original Problem :
1.47/1.55 c Problem name : instance-4464045-1722378594
1.47/1.55 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1.47/1.55 c Constraints : 41314
1.47/1.55 c Objective sense : minimize
1.47/1.55 c Presolved Problem :
1.47/1.55 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1.47/1.55 c Constraints : 41314
1.47/1.55 c Constraints : Number
1.47/1.55 c setppc : 41314
1.47/1.55 c ** Instance transfer method used: 0
1.58/1.62 c ** ParaScipInstance copy does not increase the number of variables. **
1.58/1.67 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.58/1.67 c Nodes Active
1.58/1.67 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.57/2.67 c * 3 0 1 1 -26.0000 - -
2.67/2.79 c * 3 0 1 1 -29.0000 - -
19.62/19.72 c 20 2 1 1 -29.0000 -40.0000 37.93%
21.42/21.60 c * 22 10 9 1 -31.0000 -40.0000 29.03%
21.52/21.61 c * 22 10 9 1 -33.0000 -40.0000 21.21%
21.62/21.77 c * 22 10 9 1 -34.0000 -40.0000 17.65%
25.42/25.52 c 26 31 30 1 -34.0000 -40.0000 17.65%
31.19/31.31 c 31 53 52 1 -34.0000 -40.0000 17.65%
37.28/37.43 c 37 77 74 1 -34.0000 -40.0000 17.65%
43.16/43.37 c 43 105 82 1 -34.0000 -40.0000 17.65%
48.24/48.49 c 48 119 90 1 -34.0000 -40.0000 17.65%
53.93/54.17 c 54 155 104 1 -34.0000 -40.0000 17.65%
60.50/60.70 c 61 190 117 1 -34.0000 -40.0000 17.65%
67.57/67.85 c 68 224 131 1 -34.0000 -40.0000 17.65%
73.05/73.31 c 73 268 151 1 -34.0000 -40.0000 17.65%
79.63/80.01 c 80 351 194 1 -34.0000 -40.0000 17.65%
85.60/85.98 c 86 414 227 1 -34.0000 -40.0000 17.65%
89.29/89.67 c * 90 444 243 1 -35.0000 -40.0000 14.29%
93.39/93.72 c 94 511 237 1 -35.0000 -40.0000 14.29%
98.37/98.73 c 99 586 268 1 -35.0000 -40.0000 14.29%
105.96/106.31 c 106 667 305 1 -35.0000 -40.0000 14.29%
110.94/111.34 c 111 788 348 1 -35.0000 -40.0000 14.29%
116.63/117.03 c 117 1037 443 1 -35.0000 -40.0000 14.29%
127.38/127.80 c 128 1133 0 1 -35.0000 -40.0000 14.29%
132.68/133.17 c 133 1162 29 1 -35.0000 -40.0000 14.29%
137.75/138.24 c 138 1254 117 1 -35.0000 -40.0000 14.29%
143.33/143.82 c 144 1390 249 1 -35.0000 -40.0000 14.29%
148.42/148.95 c 149 1546 393 1 -35.0000 -40.0000 14.29%
153.52/154.06 c 154 1675 514 1 -35.0000 -40.0000 14.29%
158.99/159.53 c 160 1707 542 1 -35.0000 -40.0000 14.29%
163.97/164.55 c 165 1761 586 1 -35.0000 -40.0000 14.29%
171.15/171.80 c 172 1782 599 1 -35.0000 -40.0000 14.29%
176.64/177.28 c 177 1906 709 1 -35.0000 -40.0000 14.29%
181.82/182.42 c 182 1988 775 1 -35.0000 -40.0000 14.29%
187.41/188.10 c 188 2112 869 1 -35.0000 -40.0000 14.29%
192.69/193.35 c 193 2135 886 1 -35.0000 -40.0000 14.29%
198.48/199.18 c 199 2256 989 1 -35.0000 -40.0000 14.29%
204.35/205.03 c 205 2362 1087 1 -35.0000 -40.0000 14.29%
209.83/210.57 c 211 2395 1120 1 -35.0000 -40.0000 14.29%
215.31/216.10 c 216 2448 1173 1 -35.0000 -40.0000 14.29%
220.98/221.72 c 222 2508 1227 1 -35.0000 -40.0000 14.29%
226.38/227.15 c 227 2597 1308 1 -35.0000 -40.0000 14.29%
231.96/232.78 c 233 2647 1358 1 -35.0000 -40.0000 14.29%
238.35/239.14 c 239 2686 1393 1 -35.0000 -40.0000 14.29%
243.92/244.74 c 245 2717 1424 1 -35.0000 -40.0000 14.29%
249.11/249.90 c 250 2824 1521 1 -35.0000 -40.0000 14.29%
254.20/255.04 c 255 2928 1605 1 -35.0000 -40.0000 14.29%
260.07/260.99 c 261 3034 1693 1 -35.0000 -40.0000 14.29%
266.66/267.50 c 268 3097 1754 1 -35.0000 -40.0000 14.29%
272.15/273.10 c 273 3177 1820 1 -35.0000 -40.0000 14.29%
278.13/279.08 c 279 3357 1954 1 -35.0000 -40.0000 14.29%
281.52/282.46 c * 282 3396 1975 1 -36.0000 -40.0000 11.11%
283.71/284.65 c 285 3552 1668 1 -36.0000 -40.0000 11.11%
284.01/284.97 c * 285 3552 1668 1 -37.0000 -40.0000 8.11%
288.70/289.69 c 290 3745 1241 1 -37.0000 -40.0000 8.11%
294.38/295.33 c 295 3841 1285 1 -37.0000 -40.0000 8.11%
300.18/301.19 c 301 4022 1348 1 -37.0000 -40.0000 8.11%
306.84/307.80 c 308 4288 1446 1 -37.0000 -40.0000 8.11%
311.82/312.83 c 313 4489 1519 1 -37.0000 -40.0000 8.11%
316.91/317.98 c 318 4711 1603 1 -37.0000 -40.0000 8.11%
323.19/324.28 c 324 4820 1648 1 -37.0000 -40.0000 8.11%
328.67/329.75 c 330 5109 1781 1 -37.0000 -40.0000 8.11%
334.66/335.73 c 336 5247 1825 1 -37.0000 -40.0000 8.11%
340.44/341.57 c 342 5410 1890 1 -37.0000 -40.0000 8.11%
346.22/347.34 c 347 5655 1977 1 -37.0000 -40.0000 8.11%
351.70/352.84 c 353 5764 2016 1 -37.0000 -40.0000 8.11%
357.29/358.49 c 358 5908 2064 1 -37.0000 -40.0000 8.11%
363.38/364.51 c 365 6054 2124 1 -37.0000 -40.0000 8.11%
369.25/370.47 c 370 6292 2216 1 -37.0000 -40.0000 8.11%
374.34/375.53 c 376 6420 2264 1 -37.0000 -40.0000 8.11%
379.62/380.88 c 381 6572 2284 1 -37.0000 -40.0000 8.11%
384.71/385.96 c 386 6890 2420 1 -37.0000 -40.0000 8.11%
390.80/392.05 c 392 7099 2477 1 -37.0000 -40.0000 8.11%
396.58/397.82 c 398 7167 2493 1 -37.0000 -40.0000 8.11%
402.16/403.42 c 403 7348 2542 1 -37.0000 -40.0000 8.11%
408.04/409.34 c 409 7601 2621 1 -37.0000 -40.0000 8.11%
413.53/414.84 c 415 7759 2667 1 -37.0000 -40.0000 8.11%
419.31/420.66 c 421 7979 2720 1 -37.0000 -40.0000 8.11%
424.49/425.81 c 426 8229 2768 1 -37.0000 -40.0000 8.11%
430.07/431.46 c 431 8550 2857 1 -37.0000 -40.0000 8.11%
435.94/437.37 c 437 8697 2893 1 -37.0000 -40.0000 8.11%
442.73/444.17 c 444 8856 2930 1 -37.0000 -40.0000 8.11%
449.40/450.83 c 451 9065 2981 1 -37.0000 -40.0000 8.11%
455.89/457.33 c 457 9266 3030 1 -37.0000 -40.0000 8.11%
461.77/463.24 c 463 9502 3104 1 -37.0000 -40.0000 8.11%
466.85/468.30 c 468 9900 3204 1 -37.0000 -40.0000 8.11%
471.83/473.36 c 473 10290 3300 1 -37.0000 -40.0000 8.11%
476.91/478.42 c 478 10640 3402 1 -37.0000 -40.0000 8.11%
482.80/484.38 c 484 11055 3483 1 -37.0000 -40.0000 8.11%
489.49/491.10 c 491 11186 3526 1 -37.0000 -40.0000 8.11%
494.57/496.16 c 496 11335 3571 1 -37.0000 -40.0000 8.11%
500.25/501.86 c 502 11492 3620 1 -37.0000 -40.0000 8.11%
505.44/507.10 c 507 11656 3652 1 -37.0000 -40.0000 8.11%
511.62/513.27 c 513 11838 3690 1 -37.0000 -40.0000 8.11%
516.80/518.44 c 518 12074 3746 1 -37.0000 -40.0000 8.11%
521.98/523.60 c 524 12423 3821 1 -37.0000 -40.0000 8.11%
526.97/528.65 c 529 12735 3881 1 -37.0000 -40.0000 8.11%
532.46/534.16 c 534 12983 3939 1 -37.0000 -40.0000 8.11%
537.45/539.19 c 539 13148 3982 1 -37.0000 -40.0000 8.11%
542.52/544.28 c 544 13491 4081 1 -37.0000 -40.0000 8.11%
548.91/550.67 c 551 13685 4111 1 -37.0000 -40.0000 8.11%
554.19/555.97 c 556 13776 4128 1 -37.0000 -40.0000 8.11%
559.38/561.12 c 561 14070 4212 1 -37.0000 -40.0000 8.11%
564.45/566.23 c 566 14362 4284 1 -37.0000 -40.0000 8.11%
569.74/571.56 c 572 14653 4343 1 -37.0000 -40.0000 8.11%
575.12/576.91 c 577 14878 4382 1 -37.0000 -40.0000 8.11%
580.31/582.14 c 582 15191 4461 1 -37.0000 -40.0000 8.11%
586.09/587.98 c 588 15383 4491 1 -37.0000 -40.0000 8.11%
591.87/593.72 c 594 15628 4536 1 -37.0000 -40.0000 8.11%
599.16/601.01 c 601 15843 4583 1 -37.0000 -40.0000 8.11%
604.93/606.84 c 607 16153 4621 1 -37.0000 -40.0000 8.11%
610.01/611.90 c 612 16449 4681 1 -37.0000 -40.0000 8.11%
615.21/617.15 c 617 16606 4710 1 -37.0000 -40.0000 8.11%
621.58/623.60 c 624 16842 4758 1 -37.0000 -40.0000 8.11%
626.76/628.77 c 629 17150 4830 1 -37.0000 -40.0000 8.11%
631.94/634.01 c 634 17523 4893 1 -37.0000 -40.0000 8.11%
637.72/639.78 c 640 17849 4951 1 -37.0000 -40.0000 8.11%
643.01/645.05 c 645 18209 5051 1 -37.0000 -40.0000 8.11%
648.49/650.54 c 651 18479 5127 1 -37.0000 -40.0000 8.11%
653.87/655.92 c 656 18842 5204 1 -37.0000 -40.0000 8.11%
659.15/661.22 c 661 19222 5300 1 -37.0000 -40.0000 8.11%
664.83/666.94 c 667 19580 5370 1 -37.0000 -40.0000 8.11%
669.92/672.02 c 672 19993 5455 1 -37.0000 -40.0000 8.11%
674.90/677.09 c 677 20364 5544 1 -37.0000 -40.0000 8.11%
680.27/682.48 c 682 20701 5607 1 -37.0000 -40.0000 8.11%
685.36/687.54 c 688 21073 5725 1 -37.0000 -40.0000 8.11%
690.54/692.75 c 693 21235 5763 1 -37.0000 -40.0000 8.11%
696.13/698.37 c 698 21350 5790 1 -37.0000 -40.0000 8.11%
701.92/704.19 c 704 21657 5850 1 -37.0000 -40.0000 8.11%
707.00/709.26 c 709 22060 5945 1 -37.0000 -40.0000 8.11%
713.67/715.93 c 716 22374 6039 1 -37.0000 -40.0000 8.11%
719.05/721.31 c 721 22586 6059 1 -37.0000 -40.0000 8.11%
724.14/726.42 c 726 22898 6121 1 -37.0000 -40.0000 8.11%
729.42/731.78 c 732 23255 6202 1 -37.0000 -40.0000 8.11%
734.50/736.84 c 737 23587 6276 1 -37.0000 -40.0000 8.11%
739.58/741.96 c 742 23905 6328 1 -37.0000 -40.0000 8.11%
744.69/747.10 c 747 24222 6385 1 -37.0000 -40.0000 8.11%
749.94/752.36 c 752 24493 6436 1 -37.0000 -40.0000 8.11%
756.03/758.41 c 758 24756 6473 1 -37.0000 -40.0000 8.11%
761.31/763.73 c 764 24955 6508 1 -37.0000 -40.0000 8.11%
767.49/769.99 c 770 25115 6530 1 -37.0000 -40.0000 8.11%
773.27/775.71 c 776 25403 6584 1 -37.0000 -40.0000 8.11%
778.36/780.86 c 781 25700 6627 1 -37.0000 -40.0000 8.11%
783.55/786.05 c 786 25988 6691 1 -37.0000 -40.0000 8.11%
789.12/791.67 c 792 26321 6787 1 -37.0000 -40.0000 8.11%
794.31/796.80 c 797 26705 6857 1 -37.0000 -40.0000 8.11%
799.70/802.27 c 802 26902 6890 1 -37.0000 -40.0000 8.11%
805.97/808.57 c 809 27131 6937 1 -37.0000 -40.0000 8.11%
811.65/814.22 c 814 27447 7019 1 -37.0000 -40.0000 8.11%
817.04/819.63 c 820 27714 7066 1 -37.0000 -40.0000 8.11%
822.02/824.68 c 825 28097 7163 1 -37.0000 -40.0000 8.11%
827.11/829.76 c 830 28511 7255 1 -37.0000 -40.0000 8.11%
832.29/834.93 c 835 28965 7355 1 -37.0000 -40.0000 8.11%
837.27/839.99 c 840 29370 7452 1 -37.0000 -40.0000 8.11%
842.65/845.37 c 845 29499 7487 1 -37.0000 -40.0000 8.11%
847.94/850.65 c 851 29807 7543 1 -37.0000 -40.0000 8.11%
853.52/856.28 c 856 30165 7605 1 -37.0000 -40.0000 8.11%
858.50/861.29 c 861 30357 7659 1 -37.0000 -40.0000 8.11%
864.79/867.50 c 868 30544 7690 1 -37.0000 -40.0000 8.11%
869.87/872.68 c 873 30823 7721 1 -37.0000 -40.0000 8.11%
875.85/878.67 c 879 31067 7783 1 -37.0000 -40.0000 8.11%
880.94/883.79 c 884 31197 7811 1 -37.0000 -40.0000 8.11%
886.82/889.64 c 890 31462 7882 1 -37.0000 -40.0000 8.11%
892.61/895.44 c 895 31679 7945 1 -37.0000 -40.0000 8.11%
898.09/900.94 c 901 31941 7991 1 -37.0000 -40.0000 8.11%
903.19/906.05 c 906 32348 8062 1 -37.0000 -40.0000 8.11%
909.27/912.15 c 912 32456 8088 1 -37.0000 -40.0000 8.11%
915.34/918.29 c 918 32776 8140 1 -37.0000 -40.0000 8.11%
920.92/923.85 c 924 32976 8170 1 -37.0000 -40.0000 8.11%
926.01/928.90 c 929 33270 8228 1 -37.0000 -40.0000 8.11%
930.99/933.96 c 934 33564 8274 1 -37.0000 -40.0000 8.11%
937.18/940.13 c 940 33686 8314 1 -37.0000 -40.0000 8.11%
943.17/946.12 c 946 33822 8338 1 -37.0000 -40.0000 8.11%
948.24/951.20 c 951 34220 8430 1 -37.0000 -40.0000 8.11%
953.52/956.59 c 957 34381 8485 1 -37.0000 -40.0000 8.11%
958.70/961.79 c 962 34674 8520 1 -37.0000 -40.0000 8.11%
964.10/967.18 c 967 35059 8583 1 -37.0000 -40.0000 8.11%
969.17/972.23 c 972 35431 8634 1 -37.0000 -40.0000 8.11%
977.15/980.24 c 980 35705 8700 1 -37.0000 -40.0000 8.11%
983.63/986.72 c 987 35789 8716 1 -37.0000 -40.0000 8.11%
990.11/993.25 c 993 35860 8727 1 -37.0000 -40.0000 8.11%
996.09/999.21 c 999 35909 8736 1 -37.0000 -40.0000 8.11%
1001.98/1005.12 c 1005 36032 8761 1 -37.0000 -40.0000 8.11%
1007.75/1010.93 c 1011 36319 8796 1 -37.0000 -40.0000 8.11%
1012.73/1015.98 c 1016 36713 8894 1 -37.0000 -40.0000 8.11%
1017.82/1021.06 c 1021 37131 9014 1 -37.0000 -40.0000 8.11%
1023.08/1026.35 c 1026 37520 9109 1 -37.0000 -40.0000 8.11%
1028.67/1032.01 c 1032 37883 9206 1 -37.0000 -40.0000 8.11%
1033.75/1037.07 c 1037 38289 9324 1 -37.0000 -40.0000 8.11%
1038.83/1042.16 c 1042 38668 9443 1 -37.0000 -40.0000 8.11%
1044.01/1047.31 c 1047 38938 9548 1 -37.0000 -40.0000 8.11%
1049.09/1052.44 c 1052 39304 9636 1 -37.0000 -40.0000 8.11%
1054.17/1057.54 c 1058 39627 9697 1 -37.0000 -40.0000 8.11%
1059.46/1062.87 c 1063 39922 9792 1 -37.0000 -40.0000 8.11%
1064.53/1067.94 c 1068 40266 9930 1 -37.0000 -40.0000 8.11%
1068.81/1072.28 c * 1072 40393 9979 1 -38.0000 -40.0000 5.26%
1069.61/1073.04 c 1073 40450 3041 1 -38.0000 -40.0000 5.26%
1075.09/1078.57 c 1079 40817 3070 1 -38.0000 -40.0000 5.26%
1080.17/1083.63 c 1084 41229 3112 1 -38.0000 -40.0000 5.26%
1085.26/1088.71 c 1089 41619 3168 1 -38.0000 -40.0000 5.26%
1090.44/1094.01 c 1094 42035 3196 1 -38.0000 -40.0000 5.26%
1095.53/1099.07 c 1099 42449 3239 1 -38.0000 -40.0000 5.26%
1101.41/1104.97 c 1105 42797 3267 1 -38.0000 -40.0000 5.26%
1106.50/1110.07 c 1110 43107 3297 1 -38.0000 -40.0000 5.26%
1111.67/1115.23 c 1115 43401 3325 1 -38.0000 -40.0000 5.26%
1117.16/1120.79 c 1121 43534 3328 1 -38.0000 -40.0000 5.26%
1122.24/1125.84 c 1126 44022 3346 1 -38.0000 -40.0000 5.26%
1128.02/1131.69 c 1132 44313 3371 1 -38.0000 -40.0000 5.26%
1133.21/1136.82 c 1137 44724 3386 1 -38.0000 -40.0000 5.26%
1138.28/1141.98 c 1142 45128 3437 1 -38.0000 -40.0000 5.26%
1143.76/1147.48 c 1147 45554 3504 1 -38.0000 -40.0000 5.26%
1149.35/1153.06 c 1153 45862 3540 1 -38.0000 -40.0000 5.26%
1155.22/1158.92 c 1159 46076 3546 1 -38.0000 -40.0000 5.26%
1160.79/1164.55 c 1165 46148 3570 1 -38.0000 -40.0000 5.26%
1165.89/1169.63 c 1170 46516 3638 1 -38.0000 -40.0000 5.26%
1171.17/1174.97 c 1175 46822 3682 1 -38.0000 -40.0000 5.26%
1176.26/1180.03 c 1180 47257 3727 1 -38.0000 -40.0000 5.26%
1181.35/1185.18 c 1185 47719 3768 1 -38.0000 -40.0000 5.26%
1187.52/1191.33 c 1191 48056 3837 1 -38.0000 -40.0000 5.26%
1194.80/1198.66 c 1199 48368 3869 1 -38.0000 -40.0000 5.26%
1200.57/1204.44 c 1204 48495 3882 1 -38.0000 -40.0000 5.26%
1205.66/1209.52 c 1210 49020 3901 1 -38.0000 -40.0000 5.26%
1210.75/1214.62 c 1215 49453 3945 1 -38.0000 -40.0000 5.26%
1216.24/1220.17 c 1220 49742 3990 1 -38.0000 -40.0000 5.26%
1222.41/1226.33 c 1226 49954 4010 1 -38.0000 -40.0000 5.26%
1227.50/1231.48 c 1231 50329 4021 1 -38.0000 -40.0000 5.26%
1233.88/1237.87 c 1238 50707 4061 1 -38.0000 -40.0000 5.26%
1240.56/1244.50 c 1244 51164 4100 1 -38.0000 -40.0000 5.26%
1245.64/1249.69 c 1250 51543 4119 1 -38.0000 -40.0000 5.26%
1250.73/1254.78 c 1255 51905 4179 1 -38.0000 -40.0000 5.26%
1255.81/1259.87 c 1260 52337 4251 1 -38.0000 -40.0000 5.26%
1261.49/1265.57 c 1266 52731 4283 1 -38.0000 -40.0000 5.26%
1267.48/1271.51 c 1272 53066 4298 1 -38.0000 -40.0000 5.26%
1272.87/1276.96 c 1277 53266 4298 1 -38.0000 -40.0000 5.26%
1278.85/1282.96 c 1283 53470 4328 1 -38.0000 -40.0000 5.26%
1284.53/1288.66 c 1289 53583 4335 1 -38.0000 -40.0000 5.26%
1289.61/1293.71 c 1294 53964 4342 1 -38.0000 -40.0000 5.26%
1294.80/1298.96 c 1299 54354 4380 1 -38.0000 -40.0000 5.26%
1301.29/1305.47 c 1305 54496 4384 1 -38.0000 -40.0000 5.26%
1306.98/1311.15 c 1311 54658 4384 1 -38.0000 -40.0000 5.26%
1312.46/1316.64 c 1317 55052 4430 1 -38.0000 -40.0000 5.26%
1317.85/1322.06 c 1322 55364 4450 1 -38.0000 -40.0000 5.26%
1323.63/1327.89 c 1328 55699 4461 1 -38.0000 -40.0000 5.26%
1328.71/1332.98 c 1333 56133 4477 1 -38.0000 -40.0000 5.26%
1334.59/1338.89 c 1339 56552 4476 1 -38.0000 -40.0000 5.26%
1340.28/1344.58 c 1345 56873 4507 1 -38.0000 -40.0000 5.26%
1345.47/1349.72 c 1350 57097 4531 1 -38.0000 -40.0000 5.26%
1350.76/1355.11 c 1355 57243 4537 1 -38.0000 -40.0000 5.26%
1356.43/1360.72 c 1361 57293 4551 1 -38.0000 -40.0000 5.26%
1362.83/1367.19 c 1367 57439 4595 1 -38.0000 -40.0000 5.26%
1368.20/1372.57 c 1373 57625 4603 1 -38.0000 -40.0000 5.26%
1373.39/1377.72 c 1378 57746 4614 1 -38.0000 -40.0000 5.26%
1378.58/1383.01 c 1383 57960 4652 1 -38.0000 -40.0000 5.26%
1384.95/1389.39 c 1389 58129 4665 1 -38.0000 -40.0000 5.26%
1391.83/1396.27 c 1396 58316 4680 1 -38.0000 -40.0000 5.26%
1396.92/1401.35 c 1401 58476 4676 1 -38.0000 -40.0000 5.26%
1403.41/1407.87 c 1408 58737 4699 1 -38.0000 -40.0000 5.26%
1409.09/1413.58 c 1414 58857 4713 1 -38.0000 -40.0000 5.26%
1414.38/1418.85 c 1419 59095 4731 1 -38.0000 -40.0000 5.26%
1420.36/1424.85 c 1425 59327 4745 1 -38.0000 -40.0000 5.26%
1425.65/1430.13 c 1430 59474 4764 1 -38.0000 -40.0000 5.26%
1431.24/1435.78 c 1436 59705 4785 1 -38.0000 -40.0000 5.26%
1436.53/1441.04 c 1441 59882 4806 1 -38.0000 -40.0000 5.26%
1441.80/1446.37 c 1446 60189 4811 1 -38.0000 -40.0000 5.26%
1447.18/1451.77 c 1452 60237 4807 1 -38.0000 -40.0000 5.26%
1454.48/1459.07 c 1459 60465 4833 1 -38.0000 -40.0000 5.26%
1461.05/1465.61 c 1466 60726 4851 1 -38.0000 -40.0000 5.26%
1466.33/1471.01 c 1471 60953 4866 1 -38.0000 -40.0000 5.26%
1472.02/1476.67 c 1477 61186 4887 1 -38.0000 -40.0000 5.26%
1477.21/1481.87 c 1482 61326 4894 1 -38.0000 -40.0000 5.26%
1483.29/1487.93 c 1488 61584 4905 1 -38.0000 -40.0000 5.26%
1488.38/1493.04 c 1493 61969 4944 1 -38.0000 -40.0000 5.26%
1495.37/1500.11 c 1500 62112 4969 1 -38.0000 -40.0000 5.26%
1500.64/1505.30 c 1505 62202 4982 1 -38.0000 -40.0000 5.26%
1508.03/1512.78 c 1513 62403 4983 1 -38.0000 -40.0000 5.26%
1514.21/1518.95 c 1519 62584 5002 1 -38.0000 -40.0000 5.26%
1519.41/1524.18 c 1524 62764 5010 1 -38.0000 -40.0000 5.26%
1524.48/1529.28 c 1529 63151 5031 1 -38.0000 -40.0000 5.26%
1530.17/1534.97 c 1535 63454 5054 1 -38.0000 -40.0000 5.26%
1536.55/1541.38 c 1541 63624 5070 1 -38.0000 -40.0000 5.26%
1541.64/1546.49 c 1546 63826 5108 1 -38.0000 -40.0000 5.26%
1548.72/1553.58 c 1554 64014 5124 1 -38.0000 -40.0000 5.26%
1554.22/1559.02 c 1559 64258 5155 1 -38.0000 -40.0000 5.26%
1559.79/1564.63 c 1565 64654 5189 1 -38.0000 -40.0000 5.26%
1564.87/1569.75 c 1570 64904 5229 1 -38.0000 -40.0000 5.26%
1570.75/1575.69 c 1576 65304 5279 1 -38.0000 -40.0000 5.26%
1575.84/1580.77 c 1581 65738 5321 1 -38.0000 -40.0000 5.26%
1581.63/1586.50 c 1587 65976 5363 1 -38.0000 -40.0000 5.26%
1586.71/1591.67 c 1592 66335 5400 1 -38.0000 -40.0000 5.26%
1592.80/1597.70 c 1598 66626 5431 1 -38.0000 -40.0000 5.26%
1597.88/1602.85 c 1603 66861 5448 1 -38.0000 -40.0000 5.26%
1603.08/1608.05 c 1608 66973 5442 1 -38.0000 -40.0000 5.26%
1608.76/1613.78 c 1614 67224 5485 1 -38.0000 -40.0000 5.26%
1614.64/1619.68 c 1620 67627 5538 1 -38.0000 -40.0000 5.26%
1619.73/1624.75 c 1625 68124 5597 1 -38.0000 -40.0000 5.26%
1624.71/1629.79 c 1630 68573 5638 1 -38.0000 -40.0000 5.26%
1629.79/1634.88 c 1635 68996 5682 1 -38.0000 -40.0000 5.26%
1636.48/1641.51 c 1642 69384 5710 1 -38.0000 -40.0000 5.26%
1641.56/1646.61 c 1647 69739 5807 1 -38.0000 -40.0000 5.26%
1646.65/1651.70 c 1652 70096 5884 1 -38.0000 -40.0000 5.26%
1651.84/1656.93 c 1657 70372 5962 1 -38.0000 -40.0000 5.26%
1657.03/1662.15 c 1662 70681 6067 1 -38.0000 -40.0000 5.26%
1662.11/1667.24 c 1667 70986 6152 1 -38.0000 -40.0000 5.26%
1667.19/1672.32 c 1672 71330 6210 1 -38.0000 -40.0000 5.26%
1672.48/1677.60 c 1678 71629 6221 1 -38.0000 -40.0000 5.26%
1677.56/1682.76 c 1683 71987 6259 1 -38.0000 -40.0000 5.26%
1682.65/1687.84 c 1688 72349 6329 1 -38.0000 -40.0000 5.26%
1687.73/1692.91 c 1693 72757 6381 1 -38.0000 -40.0000 5.26%
1692.83/1698.03 c 1698 73052 6400 1 -38.0000 -40.0000 5.26%
1697.82/1703.09 c 1703 73380 6448 1 -38.0000 -40.0000 5.26%
1703.10/1708.31 c 1708 73773 6495 1 -38.0000 -40.0000 5.26%
1708.48/1713.79 c 1714 74041 6567 1 -38.0000 -40.0000 5.26%
1713.56/1718.87 c 1719 74414 6616 1 -38.0000 -40.0000 5.26%
1718.95/1724.21 c 1724 74754 6666 1 -38.0000 -40.0000 5.26%
1724.03/1729.32 c 1729 75264 6744 1 -38.0000 -40.0000 5.26%
1729.02/1734.39 c 1734 75774 6760 1 -38.0000 -40.0000 5.26%
1734.11/1739.45 c 1739 76277 6765 1 -38.0000 -40.0000 5.26%
1739.19/1744.51 c 1745 76701 6815 1 -38.0000 -40.0000 5.26%
1744.27/1749.60 c 1750 77170 6850 1 -38.0000 -40.0000 5.26%
1749.26/1754.68 c 1755 77493 6955 1 -38.0000 -40.0000 5.26%
1752.45/1757.80 c * 1758 77736 6994 1 -39.0000 -40.0000 2.56%
1754.35/1759.74 c 1760 77908 395 1 -39.0000 -40.0000 2.56%
1759.44/1764.80 c 1765 78390 371 1 -39.0000 -40.0000 2.56%
1764.42/1769.86 c 1770 78750 359 1 -39.0000 -40.0000 2.56%
1770.01/1775.40 c 1775 79158 339 1 -39.0000 -40.0000 2.56%
1774.99/1780.46 c 1780 79565 334 1 -39.0000 -40.0000 2.56%
1780.08/1785.52 c 1786 80014 325 1 -39.0000 -40.0000 2.56%
1785.57/1791.01 c 1791 80464 325 1 -39.0000 -40.0000 2.56%
1790.66/1796.19 c 1796 80689 320 1 -39.0000 -40.0000 2.56%
1796.33/1801.80 c 1802 80897 306 1 -39.0000 -40.0000 2.56%
1802.01/1807.59 c 1808 81410 293 1 -39.0000 -40.0000 2.56%
1807.21/1812.79 c 1813 81484 287 1 -39.0000 -40.0000 2.56%
1812.39/1817.91 c 1818 81948 277 1 -39.0000 -40.0000 2.56%
1818.08/1823.67 c 1824 82303 272 1 -39.0000 -40.0000 2.56%
1823.47/1829.05 c 1829 82734 273 1 -39.0000 -40.0000 2.56%
1828.45/1834.10 c 1834 83216 269 1 -39.0000 -40.0000 2.56%
1834.63/1840.23 c 1840 83629 264 1 -39.0000 -40.0000 2.56%
1839.71/1845.36 c 1845 83927 262 1 -39.0000 -40.0000 2.56%
1844.80/1850.42 c 1850 84503 262 1 -39.0000 -40.0000 2.56%
1849.89/1855.51 c 1856 84561 264 1 -39.0000 -40.0000 2.56%
1855.17/1860.83 c 1861 84756 255 1 -39.0000 -40.0000 2.56%
1860.56/1866.29 c 1866 85069 250 1 -39.0000 -40.0000 2.56%
1866.65/1872.33 c 1872 85335 248 1 -39.0000 -40.0000 2.56%
1872.34/1878.08 c 1878 85758 237 1 -39.0000 -40.0000 2.56%
1878.11/1883.80 c 1884 86160 241 1 -39.0000 -40.0000 2.56%
1884.09/1889.80 c 1890 86485 237 1 -39.0000 -40.0000 2.56%
1889.08/1894.85 c 1895 87082 240 1 -39.0000 -40.0000 2.56%
1894.17/1899.93 c 1900 87550 240 1 -39.0000 -40.0000 2.56%
1899.26/1905.01 c 1905 88041 235 1 -39.0000 -40.0000 2.56%
1904.24/1910.08 c 1910 88601 234 1 -39.0000 -40.0000 2.56%
1909.34/1915.13 c 1915 89167 231 1 -39.0000 -40.0000 2.56%
1914.32/1920.18 c 1920 89742 229 1 -39.0000 -40.0000 2.56%
1919.48/1925.32 c 1925 90302 230 1 -39.0000 -40.0000 2.56%
1925.08/1930.90 c 1931 90769 222 1 -39.0000 -40.0000 2.56%
1930.06/1935.94 c 1936 91418 216 1 -39.0000 -40.0000 2.56%
1935.45/1941.39 c 1941 91854 206 1 -39.0000 -40.0000 2.56%
1941.43/1947.38 c 1947 92167 204 1 -39.0000 -40.0000 2.56%
1946.71/1952.65 c 1953 92532 200 1 -39.0000 -40.0000 2.56%
1952.49/1958.49 c 1958 92915 200 1 -39.0000 -40.0000 2.56%
1957.99/1963.92 c 1964 93234 196 1 -39.0000 -40.0000 2.56%
1963.37/1969.32 c 1969 93671 193 1 -39.0000 -40.0000 2.56%
1968.65/1974.62 c 1975 94125 182 1 -39.0000 -40.0000 2.56%
1973.64/1979.67 c 1980 94690 180 1 -39.0000 -40.0000 2.56%
1978.72/1984.72 c 1985 95244 175 1 -39.0000 -40.0000 2.56%
1984.51/1990.50 c 1990 95576 175 1 -39.0000 -40.0000 2.56%
1990.00/1996.02 c 1996 95926 174 1 -39.0000 -40.0000 2.56%
1995.68/2001.78 c 2002 96103 171 1 -39.0000 -40.0000 2.56%
2000.77/2006.88 c 2007 96478 173 1 -39.0000 -40.0000 2.56%
2005.85/2011.93 c 2012 96984 178 1 -39.0000 -40.0000 2.56%
2010.83/2016.99 c 2017 97493 181 1 -39.0000 -40.0000 2.56%
2015.93/2022.06 c 2022 97988 180 1 -39.0000 -40.0000 2.56%
2021.30/2027.46 c 2027 98361 179 1 -39.0000 -40.0000 2.56%
2026.39/2032.52 c 2033 98842 180 1 -39.0000 -40.0000 2.56%
2031.77/2037.96 c 2038 99312 184 1 -39.0000 -40.0000 2.56%
2038.16/2044.37 c 2044 99669 181 1 -39.0000 -40.0000 2.56%
2043.24/2049.43 c 2049 100184 182 1 -39.0000 -40.0000 2.56%
2049.03/2055.26 c 2055 100524 178 1 -39.0000 -40.0000 2.56%
2054.21/2060.40 c 2060 100872 176 1 -39.0000 -40.0000 2.56%
2059.19/2065.44 c 2065 101326 176 1 -39.0000 -40.0000 2.56%
2064.29/2070.50 c 2071 101820 172 1 -39.0000 -40.0000 2.56%
2069.27/2075.56 c 2076 102329 167 1 -39.0000 -40.0000 2.56%
2075.06/2081.30 c 2081 102680 155 1 -39.0000 -40.0000 2.56%
2080.24/2086.53 c 2087 102899 153 1 -39.0000 -40.0000 2.56%
2085.62/2091.97 c 2092 103247 157 1 -39.0000 -40.0000 2.56%
2091.60/2097.91 c 2098 103676 154 1 -39.0000 -40.0000 2.56%
2096.58/2102.97 c 2103 104162 157 1 -39.0000 -40.0000 2.56%
2101.67/2108.03 c 2108 104694 158 1 -39.0000 -40.0000 2.56%
2106.66/2113.08 c 2113 105205 156 1 -39.0000 -40.0000 2.56%
2111.75/2118.17 c 2118 105731 154 1 -39.0000 -40.0000 2.56%
2117.73/2124.14 c 2124 106225 156 1 -39.0000 -40.0000 2.56%
2122.80/2129.29 c 2129 106690 161 1 -39.0000 -40.0000 2.56%
2127.89/2134.36 c 2134 107213 162 1 -39.0000 -40.0000 2.56%
2133.07/2139.58 c 2140 107717 164 1 -39.0000 -40.0000 2.56%
2138.15/2144.67 c 2145 108204 166 1 -39.0000 -40.0000 2.56%
2143.25/2149.73 c 2150 108730 164 1 -39.0000 -40.0000 2.56%
2148.33/2154.81 c 2155 109266 152 1 -39.0000 -40.0000 2.56%
2153.31/2159.86 c 2160 109798 155 1 -39.0000 -40.0000 2.56%
2158.40/2164.91 c 2165 110342 157 1 -39.0000 -40.0000 2.56%
2163.39/2169.98 c 2170 110875 160 1 -39.0000 -40.0000 2.56%
2169.27/2175.83 c 2176 111209 157 1 -39.0000 -40.0000 2.56%
2174.35/2180.90 c 2181 111720 159 1 -39.0000 -40.0000 2.56%
2180.04/2186.64 c 2187 112194 164 1 -39.0000 -40.0000 2.56%
2185.12/2191.70 c 2192 112734 157 1 -39.0000 -40.0000 2.56%
2190.11/2196.75 c 2197 113296 172 1 -39.0000 -40.0000 2.56%
2195.19/2201.81 c 2202 113880 181 1 -39.0000 -40.0000 2.56%
2201.08/2207.74 c 2208 114227 179 1 -39.0000 -40.0000 2.56%
2206.66/2213.33 c 2213 114568 182 1 -39.0000 -40.0000 2.56%
2212.54/2219.26 c 2219 114687 184 1 -39.0000 -40.0000 2.56%
2218.03/2224.75 c 2225 115021 179 1 -39.0000 -40.0000 2.56%
2224.81/2231.59 c 2232 115151 189 1 -39.0000 -40.0000 2.56%
2230.91/2237.64 c 2238 115258 187 1 -39.0000 -40.0000 2.56%
2236.19/2242.90 c 2243 115276 189 1 -39.0000 -40.0000 2.56%
2242.18/2248.95 c 2249 115302 193 1 -39.0000 -40.0000 2.56%
2247.66/2254.41 c 2254 115334 190 1 -39.0000 -40.0000 2.56%
2254.14/2260.93 c 2261 115425 191 1 -39.0000 -40.0000 2.56%
2259.24/2266.09 c 2266 115488 197 1 -39.0000 -40.0000 2.56%
2265.01/2271.87 c 2272 115682 186 1 -39.0000 -40.0000 2.56%
2270.21/2277.10 c 2277 115821 183 1 -39.0000 -40.0000 2.56%
2276.49/2283.39 c 2283 116019 177 1 -39.0000 -40.0000 2.56%
2281.58/2288.48 c 2288 116196 177 1 -39.0000 -40.0000 2.56%
2287.28/2294.16 c 2294 116282 179 1 -39.0000 -40.0000 2.56%
2293.04/2299.99 c 2300 116629 174 1 -39.0000 -40.0000 2.56%
2298.13/2305.04 c 2305 117080 170 1 -39.0000 -40.0000 2.56%
2303.23/2310.12 c 2310 117382 165 1 -39.0000 -40.0000 2.56%
2308.70/2315.69 c 2316 117802 167 1 -39.0000 -40.0000 2.56%
2313.98/2320.92 c 2321 117936 162 1 -39.0000 -40.0000 2.56%
2319.77/2326.73 c 2327 118110 165 1 -39.0000 -40.0000 2.56%
2324.75/2331.78 c 2332 118630 159 1 -39.0000 -40.0000 2.56%
2329.83/2336.87 c 2337 119094 168 1 -39.0000 -40.0000 2.56%
2335.04/2342.05 c 2342 119637 165 1 -39.0000 -40.0000 2.56%
2340.21/2347.24 c 2347 120136 168 1 -39.0000 -40.0000 2.56%
2345.39/2352.46 c 2352 120592 170 1 -39.0000 -40.0000 2.56%
2351.37/2358.41 c 2358 120913 175 1 -39.0000 -40.0000 2.56%
2356.46/2363.58 c 2364 121338 177 1 -39.0000 -40.0000 2.56%
2361.96/2369.06 c 2369 121824 174 1 -39.0000 -40.0000 2.56%
2367.53/2374.69 c 2375 122072 178 1 -39.0000 -40.0000 2.56%
2372.92/2380.03 c 2380 122529 184 1 -39.0000 -40.0000 2.56%
2378.40/2385.58 c 2386 122721 181 1 -39.0000 -40.0000 2.56%
2384.58/2391.73 c 2392 122804 177 1 -39.0000 -40.0000 2.56%
2390.56/2397.70 c 2398 122921 180 1 -39.0000 -40.0000 2.56%
2396.87/2404.03 c 2404 123082 181 1 -39.0000 -40.0000 2.56%
2402.44/2409.62 c 2410 123120 189 1 -39.0000 -40.0000 2.56%
2408.13/2415.34 c 2415 123159 190 1 -39.0000 -40.0000 2.56%
2414.41/2421.66 c 2422 123188 193 1 -39.0000 -40.0000 2.56%
2419.70/2426.99 c 2427 123239 197 1 -39.0000 -40.0000 2.56%
2426.68/2433.98 c 2434 123288 199 1 -39.0000 -40.0000 2.56%
2432.47/2439.73 c 2440 123411 178 1 -39.0000 -40.0000 2.56%
2437.64/2445.01 c 2445 123708 172 1 -39.0000 -40.0000 2.56%
2443.22/2450.52 c 2451 123839 177 1 -39.0000 -40.0000 2.56%
2449.00/2456.30 c 2456 123965 178 1 -39.0000 -40.0000 2.56%
2454.19/2461.54 c 2462 124027 178 1 -39.0000 -40.0000 2.56%
2459.38/2466.72 c 2467 124083 175 1 -39.0000 -40.0000 2.56%
2464.78/2472.18 c 2472 124171 174 1 -39.0000 -40.0000 2.56%
2470.45/2477.85 c 2478 124275 170 1 -39.0000 -40.0000 2.56%
2476.12/2483.55 c 2484 124609 198 1 -39.0000 -40.0000 2.56%
2481.90/2489.34 c 2489 124743 198 1 -39.0000 -40.0000 2.56%
2487.69/2495.14 c 2495 124825 198 1 -39.0000 -40.0000 2.56%
2493.67/2501.13 c 2501 124943 196 1 -39.0000 -40.0000 2.56%
2499.05/2506.55 c 2507 125098 199 1 -39.0000 -40.0000 2.56%
2504.54/2512.08 c 2512 125302 191 1 -39.0000 -40.0000 2.56%
2509.71/2517.20 c 2517 125323 191 1 -39.0000 -40.0000 2.56%
2514.70/2522.25 c 2522 125423 188 1 -39.0000 -40.0000 2.56%
2519.88/2527.41 c 2527 125511 189 1 -39.0000 -40.0000 2.56%
2524.96/2532.54 c 2533 125634 185 1 -39.0000 -40.0000 2.56%
2530.56/2538.12 c 2538 125932 183 1 -39.0000 -40.0000 2.56%
2536.33/2543.94 c 2544 126252 193 1 -39.0000 -40.0000 2.56%
2541.71/2549.31 c 2549 126432 197 1 -39.0000 -40.0000 2.56%
2547.99/2555.69 c 2556 126547 200 1 -39.0000 -40.0000 2.56%
2554.48/2562.18 c 2562 126636 198 1 -39.0000 -40.0000 2.56%
2560.05/2567.75 c 2568 126700 195 1 -39.0000 -40.0000 2.56%
2565.73/2573.47 c 2573 126800 197 1 -39.0000 -40.0000 2.56%
2571.61/2579.37 c 2579 126872 197 1 -39.0000 -40.0000 2.56%
2577.00/2584.74 c 2585 126991 192 1 -39.0000 -40.0000 2.56%
2582.98/2590.78 c 2591 127080 197 1 -39.0000 -40.0000 2.56%
2588.86/2596.66 c 2597 127145 192 1 -39.0000 -40.0000 2.56%
2594.54/2602.32 c 2602 127238 190 1 -39.0000 -40.0000 2.56%
2600.13/2607.92 c 2608 127308 191 1 -39.0000 -40.0000 2.56%
2606.51/2614.32 c 2614 127385 191 1 -39.0000 -40.0000 2.56%
2612.88/2620.71 c 2621 127515 192 1 -39.0000 -40.0000 2.56%
2619.18/2627.05 c 2627 127572 191 1 -39.0000 -40.0000 2.56%
2624.64/2632.56 c 2633 127666 188 1 -39.0000 -40.0000 2.56%
2630.23/2638.11 c 2638 127734 194 1 -39.0000 -40.0000 2.56%
2635.42/2643.38 c 2643 127780 195 1 -39.0000 -40.0000 2.56%
2640.70/2648.60 c 2649 127851 195 1 -39.0000 -40.0000 2.56%
2647.19/2655.11 c 2655 127921 195 1 -39.0000 -40.0000 2.56%
2652.36/2660.34 c 2660 128007 194 1 -39.0000 -40.0000 2.56%
2658.15/2666.14 c 2666 128049 197 1 -39.0000 -40.0000 2.56%
2664.14/2672.12 c 2672 128170 195 1 -39.0000 -40.0000 2.56%
2669.30/2677.33 c 2677 128309 187 1 -39.0000 -40.0000 2.56%
2675.28/2683.38 c 2683 128438 188 1 -39.0000 -40.0000 2.56%
2681.47/2689.50 c 2690 128540 187 1 -39.0000 -40.0000 2.56%
2686.96/2695.07 c 2695 128655 182 1 -39.0000 -40.0000 2.56%
2693.04/2701.15 c 2701 128944 190 1 -39.0000 -40.0000 2.56%
2698.21/2706.32 c 2706 129062 194 1 -39.0000 -40.0000 2.56%
2703.49/2711.68 c 2712 129345 215 1 -39.0000 -40.0000 2.56%
2708.57/2716.78 c 2717 129381 215 1 -39.0000 -40.0000 2.56%
2713.76/2721.92 c 2722 129427 213 1 -39.0000 -40.0000 2.56%
2719.15/2727.34 c 2727 129451 214 1 -39.0000 -40.0000 2.56%
2724.33/2732.50 c 2733 129585 215 1 -39.0000 -40.0000 2.56%
2729.41/2737.60 c 2738 129720 216 1 -39.0000 -40.0000 2.56%
2735.49/2743.76 c 2744 129803 210 1 -39.0000 -40.0000 2.56%
2741.48/2749.71 c 2750 129901 223 1 -39.0000 -40.0000 2.56%
2746.66/2754.97 c 2755 130017 221 1 -39.0000 -40.0000 2.56%
2752.54/2760.80 c 2761 130122 221 1 -39.0000 -40.0000 2.56%
2758.52/2766.80 c 2767 130188 222 1 -39.0000 -40.0000 2.56%
2764.81/2773.12 c 2773 130254 219 1 -39.0000 -40.0000 2.56%
2772.08/2780.40 c 2780 130436 219 1 -39.0000 -40.0000 2.56%
2778.55/2786.94 c 2787 130535 219 1 -39.0000 -40.0000 2.56%
2785.04/2793.40 c 2793 130723 220 1 -39.0000 -40.0000 2.56%
2790.02/2798.41 c 2798 130795 223 1 -39.0000 -40.0000 2.56%
2795.62/2804.03 c 2804 130886 223 1 -39.0000 -40.0000 2.56%
2801.09/2809.53 c 2810 130969 217 1 -39.0000 -40.0000 2.56%
2806.77/2815.21 c 2815 131007 219 1 -39.0000 -40.0000 2.56%
2811.75/2820.24 c 2820 131049 219 1 -39.0000 -40.0000 2.56%
2817.24/2825.77 c 2826 131081 218 1 -39.0000 -40.0000 2.56%
2822.92/2831.48 c 2831 131141 222 1 -39.0000 -40.0000 2.56%
2828.61/2837.17 c 2837 131206 223 1 -39.0000 -40.0000 2.56%
2833.68/2842.22 c 2842 131277 221 1 -39.0000 -40.0000 2.56%
2839.26/2847.81 c 2848 131367 222 1 -39.0000 -40.0000 2.56%
2844.56/2853.16 c 2853 131427 222 1 -39.0000 -40.0000 2.56%
2850.33/2858.93 c 2859 131471 222 1 -39.0000 -40.0000 2.56%
2855.92/2864.55 c 2865 131531 221 1 -39.0000 -40.0000 2.56%
2862.10/2870.71 c 2871 131613 219 1 -39.0000 -40.0000 2.56%
2868.27/2876.97 c 2877 131749 222 1 -39.0000 -40.0000 2.56%
2873.56/2882.22 c 2882 131807 222 1 -39.0000 -40.0000 2.56%
2879.54/2888.27 c 2888 131932 222 1 -39.0000 -40.0000 2.56%
2884.72/2893.44 c 2893 131981 224 1 -39.0000 -40.0000 2.56%
2890.99/2899.75 c 2900 132187 226 1 -39.0000 -40.0000 2.56%
2896.19/2904.90 c 2905 132230 228 1 -39.0000 -40.0000 2.56%
2902.07/2910.81 c 2911 132310 236 1 -39.0000 -40.0000 2.56%
2907.05/2915.85 c 2916 132353 235 1 -39.0000 -40.0000 2.56%
2912.25/2921.02 c 2921 132387 234 1 -39.0000 -40.0000 2.56%
2917.81/2926.68 c 2927 132432 238 1 -39.0000 -40.0000 2.56%
2923.90/2932.77 c 2933 132483 235 1 -39.0000 -40.0000 2.56%
2928.98/2937.88 c 2938 132522 233 1 -39.0000 -40.0000 2.56%
2934.56/2943.43 c 2943 132616 232 1 -39.0000 -40.0000 2.56%
2939.65/2948.50 c 2948 132689 227 1 -39.0000 -40.0000 2.56%
2946.03/2954.98 c 2955 132830 223 1 -39.0000 -40.0000 2.56%
2952.01/2960.91 c 2961 132932 222 1 -39.0000 -40.0000 2.56%
2956.99/2966.01 c 2966 133005 220 1 -39.0000 -40.0000 2.56%
2962.97/2971.91 c 2972 133056 220 1 -39.0000 -40.0000 2.56%
2969.26/2978.24 c 2978 133144 217 1 -39.0000 -40.0000 2.56%
2974.64/2983.62 c 2984 133199 218 1 -39.0000 -40.0000 2.56%
2980.22/2989.29 c 2989 133238 220 1 -39.0000 -40.0000 2.56%
2986.20/2995.28 c 2995 133316 223 1 -39.0000 -40.0000 2.56%
2991.48/3000.57 c 3001 133424 221 1 -39.0000 -40.0000 2.56%
2997.08/3006.14 c 3006 133529 220 1 -39.0000 -40.0000 2.56%
3002.65/3011.72 c 3012 133593 218 1 -39.0000 -40.0000 2.56%
3008.33/3017.46 c 3017 133629 219 1 -39.0000 -40.0000 2.56%
3013.61/3022.77 c 3023 133897 213 1 -39.0000 -40.0000 2.56%
3019.60/3028.76 c 3029 134083 218 1 -39.0000 -40.0000 2.56%
3025.18/3034.38 c 3034 134227 215 1 -39.0000 -40.0000 2.56%
3030.56/3039.75 c 3040 134373 214 1 -39.0000 -40.0000 2.56%
3036.64/3045.90 c 3046 134575 208 1 -39.0000 -40.0000 2.56%
3043.01/3052.25 c 3052 134679 206 1 -39.0000 -40.0000 2.56%
3049.40/3058.65 c 3059 134788 206 1 -39.0000 -40.0000 2.56%
3055.08/3064.30 c 3064 134818 207 1 -39.0000 -40.0000 2.56%
3061.16/3070.46 c 3070 134950 211 1 -39.0000 -40.0000 2.56%
3067.85/3077.14 c 3077 135240 213 1 -39.0000 -40.0000 2.56%
3073.42/3082.79 c 3083 135323 217 1 -39.0000 -40.0000 2.56%
3079.90/3089.21 c 3089 135380 218 1 -39.0000 -40.0000 2.56%
3085.88/3095.28 c 3095 135452 216 1 -39.0000 -40.0000 2.56%
3092.56/3101.96 c 3102 135705 218 1 -39.0000 -40.0000 2.56%
3097.54/3107.01 c 3107 135887 218 1 -39.0000 -40.0000 2.56%
3103.02/3112.48 c 3112 136019 213 1 -39.0000 -40.0000 2.56%
3108.20/3117.61 c 3118 136103 215 1 -39.0000 -40.0000 2.56%
3113.19/3122.65 c 3123 136177 213 1 -39.0000 -40.0000 2.56%
3119.08/3128.60 c 3129 136309 214 1 -39.0000 -40.0000 2.56%
3125.35/3134.84 c 3135 136401 214 1 -39.0000 -40.0000 2.56%
3131.13/3140.64 c 3141 136616 211 1 -39.0000 -40.0000 2.56%
3136.91/3146.48 c 3146 136786 213 1 -39.0000 -40.0000 2.56%
3141.99/3151.52 c 3152 136824 210 1 -39.0000 -40.0000 2.56%
3147.39/3156.94 c 3157 136900 209 1 -39.0000 -40.0000 2.56%
3152.97/3162.57 c 3163 137045 202 1 -39.0000 -40.0000 2.56%
3158.47/3168.01 c 3168 137094 206 1 -39.0000 -40.0000 2.56%
3164.64/3174.27 c 3174 137161 202 1 -39.0000 -40.0000 2.56%
3170.73/3180.39 c 3180 137187 202 1 -39.0000 -40.0000 2.56%
3176.31/3185.90 c 3186 137205 200 1 -39.0000 -40.0000 2.56%
3181.30/3190.92 c 3191 137300 207 1 -39.0000 -40.0000 2.56%
3187.29/3197.01 c 3197 137389 204 1 -39.0000 -40.0000 2.56%
3192.37/3202.07 c 3202 137657 204 1 -39.0000 -40.0000 2.56%
3198.95/3208.64 c 3209 137707 204 1 -39.0000 -40.0000 2.56%
3204.13/3213.82 c 3214 137809 206 1 -39.0000 -40.0000 2.56%
3210.52/3220.24 c 3220 137856 205 1 -39.0000 -40.0000 2.56%
3215.71/3225.41 c 3225 137986 204 1 -39.0000 -40.0000 2.56%
3221.31/3231.07 c 3231 138019 202 1 -39.0000 -40.0000 2.56%
3226.58/3236.32 c 3236 138046 203 1 -39.0000 -40.0000 2.56%
3231.77/3241.57 c 3242 138089 205 1 -39.0000 -40.0000 2.56%
3237.27/3247.09 c 3247 138244 207 1 -39.0000 -40.0000 2.56%
3243.14/3253.01 c 3253 138548 207 1 -39.0000 -40.0000 2.56%
3249.22/3259.09 c 3259 138647 209 1 -39.0000 -40.0000 2.56%
3254.30/3264.14 c 3264 138969 219 1 -39.0000 -40.0000 2.56%
3259.29/3269.15 c 3269 139253 205 1 -39.0000 -40.0000 2.56%
3264.67/3274.57 c 3275 139676 209 1 -39.0000 -40.0000 2.56%
3269.75/3279.68 c 3280 139965 209 1 -39.0000 -40.0000 2.56%
3274.84/3284.77 c 3285 140379 206 1 -39.0000 -40.0000 2.56%
3279.92/3289.83 c 3290 140772 208 1 -39.0000 -40.0000 2.56%
3285.80/3295.74 c 3296 141063 202 1 -39.0000 -40.0000 2.56%
3291.39/3301.36 c 3301 141188 203 1 -39.0000 -40.0000 2.56%
3297.37/3307.31 c 3307 141267 204 1 -39.0000 -40.0000 2.56%
3302.57/3312.54 c 3313 141343 208 1 -39.0000 -40.0000 2.56%
3308.75/3318.75 c 3319 141463 204 1 -39.0000 -40.0000 2.56%
3315.43/3325.44 c 3325 141604 192 1 -39.0000 -40.0000 2.56%
3320.42/3330.48 c 3330 141958 187 1 -39.0000 -40.0000 2.56%
3325.70/3335.74 c 3336 142064 188 1 -39.0000 -40.0000 2.56%
3330.69/3340.78 c 3341 142180 187 1 -39.0000 -40.0000 2.56%
3335.77/3345.83 c 3346 142305 186 1 -39.0000 -40.0000 2.56%
3340.97/3351.04 c 3351 142475 183 1 -39.0000 -40.0000 2.56%
3346.54/3356.68 c 3357 142602 176 1 -39.0000 -40.0000 2.56%
3353.04/3363.12 c 3363 142676 169 1 -39.0000 -40.0000 2.56%
3358.51/3368.60 c 3369 142741 170 1 -39.0000 -40.0000 2.56%
3363.80/3373.91 c 3374 142966 174 1 -39.0000 -40.0000 2.56%
3368.79/3378.99 c 3379 143145 166 1 -39.0000 -40.0000 2.56%
3373.88/3384.05 c 3384 143674 166 1 -39.0000 -40.0000 2.56%
3380.25/3390.47 c 3390 144042 179 1 -39.0000 -40.0000 2.56%
3385.74/3395.95 c 3396 144229 165 1 -39.0000 -40.0000 2.56%
3390.83/3401.01 c 3401 144735 164 1 -39.0000 -40.0000 2.56%
3395.82/3406.08 c 3406 145144 161 1 -39.0000 -40.0000 2.56%
3402.09/3412.33 c 3412 145598 171 1 -39.0000 -40.0000 2.56%
3407.97/3418.29 c 3418 145763 163 1 -39.0000 -40.0000 2.56%
3413.06/3423.34 c 3423 146229 166 1 -39.0000 -40.0000 2.56%
3419.24/3429.59 c 3430 146604 165 1 -39.0000 -40.0000 2.56%
3425.43/3435.74 c 3436 146791 167 1 -39.0000 -40.0000 2.56%
3431.72/3442.10 c 3442 146949 166 1 -39.0000 -40.0000 2.56%
3437.70/3448.11 c 3448 147108 160 1 -39.0000 -40.0000 2.56%
3442.88/3453.25 c 3453 147633 163 1 -39.0000 -40.0000 2.56%
3449.68/3460.06 c 3460 147922 163 1 -39.0000 -40.0000 2.56%
3454.76/3465.14 c 3465 148445 159 1 -39.0000 -40.0000 2.56%
3460.63/3471.01 c 3471 148822 158 1 -39.0000 -40.0000 2.56%
3466.62/3477.10 c 3477 149099 159 1 -39.0000 -40.0000 2.56%
3472.29/3482.74 c 3483 149156 158 1 -39.0000 -40.0000 2.56%
3478.07/3488.59 c 3489 149243 160 1 -39.0000 -40.0000 2.56%
3483.46/3493.92 c 3494 149640 154 1 -39.0000 -40.0000 2.56%
3488.45/3499.01 c 3499 150154 154 1 -39.0000 -40.0000 2.56%
3493.54/3504.06 c 3504 150619 154 1 -39.0000 -40.0000 2.56%
3498.52/3509.10 c 3509 151079 149 1 -39.0000 -40.0000 2.56%
3504.51/3515.10 c 3515 151483 153 1 -39.0000 -40.0000 2.56%
3511.18/3521.80 c 3522 151905 144 1 -39.0000 -40.0000 2.56%
3516.66/3527.26 c 3527 152124 141 1 -39.0000 -40.0000 2.56%
3521.65/3532.28 c 3532 152328 143 1 -39.0000 -40.0000 2.56%
3526.73/3537.36 c 3537 152781 152 1 -39.0000 -40.0000 2.56%
3532.53/3543.13 c 3543 153213 148 1 -39.0000 -40.0000 2.56%
3537.60/3548.21 c 3548 153709 143 1 -39.0000 -40.0000 2.56%
3542.58/3553.28 c 3553 154217 139 1 -39.0000 -40.0000 2.56%
3547.67/3558.37 c 3558 154725 153 1 -39.0000 -40.0000 2.56%
3552.76/3563.41 c 3563 155303 159 1 -39.0000 -40.0000 2.56%
3557.74/3568.46 c 3568 155860 155 1 -39.0000 -40.0000 2.56%
3562.83/3573.53 c 3574 156402 154 1 -39.0000 -40.0000 2.56%
3567.91/3578.69 c 3579 156848 153 1 -39.0000 -40.0000 2.56%
3572.99/3583.76 c 3584 157323 160 1 -39.0000 -40.0000 2.56%
3578.06/3588.87 c 3589 157854 162 1 -39.0000 -40.0000 2.56%
3583.05/3593.87 c 3594 158234 168 1 -39.0000 -40.0000 2.56%
3587.35/3598.12 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.35/3598.12 c Total Time : 3598.12
3587.35/3598.12 c solving : 3598.12
3587.35/3598.13 c presolving : 1.28 (included in solving)
3587.35/3598.13 c B&B Tree :
3587.35/3598.13 c nodes (total) : 1
3587.35/3598.13 c Solution :
3587.35/3598.13 c Solutions found : 11
3587.35/3598.13 c Primal Bound : -3.90000000000000e+01
3587.35/3598.13 c Dual Bound : -4.00000000000000e+01
3587.35/3598.13 c Gap : 2.56410 %
3587.35/3598.13 c * Warning: final gap: 2.56410e-02 is greater than SCIPepsilon: 1.00000e-09
3587.35/3598.14 o -39
3587.35/3598.14 s SATISFIABLE
3587.35/3598.14 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28
3587.35/3598.14 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3587.35/3598.14 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3587.35/3598.14 v -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103
3587.35/3598.14 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
3587.35/3598.14 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145
3587.35/3598.14 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3587.35/3598.14 v -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3587.35/3598.14 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3587.35/3598.14 v -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3587.35/3598.14 v -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3587.35/3598.14 v x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3587.35/3598.14 v -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3587.35/3598.14 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3587.35/3598.14 v -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3587.35/3598.14 v x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
3587.35/3598.14 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
3587.35/3598.14 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
3587.35/3598.14 v -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
3587.35/3598.14 v -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3587.35/3598.14 v -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460
3587.35/3598.14 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481
3587.35/3598.14 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
3587.35/3598.14 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523
3587.35/3598.14 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544
3587.35/3598.14 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
3587.35/3598.14 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586
3587.35/3598.14 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
3587.35/3598.14 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628
3587.35/3598.14 v x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
3587.35/3598.14 v -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
3587.35/3598.14 v -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691
3587.43/3598.22 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712
3587.43/3598.22 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
3587.43/3598.22 v -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
3587.43/3598.22 v -x755 -x756 x757 -x758 -x759 -x760
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63035 MiB free)
memory of node 1: 64473 MiB (63843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464045-1722378594/watcher-4464045-1722378594 -o /tmp/evaluation-result-4464045-1722378594/solver-4464045-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464045-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=28254, runsolver pid=28250
[startup+0.100149 s]*
/proc/loadavg: 0.10 0.10 0.09 5/241 28269
/proc/meminfo: memFree=129864824/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=37308 memory=25840 CPUtime=0.1 cores=1,3
/proc/28254/stat : 28254 (fscip) R 28250 28254 28195 0 -1 4194304 4342 0 0 0 9 1 0 0 20 0 1 0 4230049 38203392 6460 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 9327 6460 2347 3035 0 5723 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37308 KiB
Current children cumulated memory: 25840 KiB
[startup+0.214093 s]*
/proc/loadavg: 0.10 0.10 0.09 5/239 28269
/proc/meminfo: memFree=129827340/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=62672 memory=51184 CPUtime=0.21 cores=1,3
/proc/28254/stat : 28254 (fscip) R 28250 28254 28195 0 -1 4194304 10673 0 0 0 18 3 0 0 20 0 1 0 4230049 64176128 12796 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 15668 12796 2555 3035 0 12064 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62672 KiB
Current children cumulated memory: 51184 KiB
[startup+0.314726 s]*
/proc/loadavg: 0.10 0.10 0.09 4/236 28277
/proc/meminfo: memFree=129791620/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=76644 memory=64604 CPUtime=0.31 cores=1,3
/proc/28254/stat : 28254 (fscip) R 28250 28254 28195 0 -1 4194304 13961 0 0 0 26 5 0 0 20 0 1 0 4230049 78483456 16151 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 19161 16151 2614 3035 0 15557 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 76644 KiB
Current children cumulated memory: 64604 KiB
[startup+0.700376 s]
/proc/loadavg: 0.10 0.10 0.09 4/236 28277
/proc/meminfo: memFree=129719944/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=87940 memory=76340 CPUtime=0.68 cores=1,3
/proc/28254/stat : 28254 (fscip) R 28250 28254 28195 0 -1 4194304 22786 0 0 0 60 8 0 0 20 0 1 0 4230049 90050560 19085 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 21985 19085 2710 3035 0 18381 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 76340 KiB
[startup+1.50035 s]
/proc/loadavg: 0.10 0.10 0.09 4/236 28277
/proc/meminfo: memFree=129671052/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=190720 memory=170216 CPUtime=1.47 cores=1,3
/proc/28254/stat : 28254 (fscip) R 28250 28254 28195 0 -1 4194304 34935 0 0 0 135 12 0 0 20 0 1 0 4230049 195297280 42554 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 47680 42554 2758 3035 0 44076 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 190720 KiB
Current children cumulated memory: 170216 KiB
[startup+3.11319 s]
/proc/loadavg: 0.41 0.17 0.11 5/246 28320
/proc/meminfo: memFree=128974428/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=437920 memory=385404 CPUtime=3.09 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 102345 0 0 0 284 25 0 0 20 0 3 0 4230049 448430080 96351 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 109480 96351 2982 3035 0 104816 0
[pid=28254/tid=28278] ppid=28250 vsize=437920 memory=0 CPUtime=1.47 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 57947 0 0 0 137 10 0 0 20 0 3 0 4230205 448430080 96351 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=437920 memory=369172 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4230217 448430080 96351 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 437920 KiB
Current children cumulated memory: 385404 KiB
[startup+6.30037 s]
/proc/loadavg: 0.41 0.17 0.11 5/247 28321
/proc/meminfo: memFree=128035960/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=503456 memory=405052 CPUtime=6.26 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 108330 0 0 0 601 25 0 0 20 0 3 0 4230049 515538944 101263 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 125864 101263 2998 3035 0 114020 0
[pid=28254/tid=28278] ppid=28250 vsize=503456 memory=369172 CPUtime=4.66 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 63930 0 0 0 455 11 0 0 20 0 3 0 4230205 515538944 101263 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=503456 memory=12624 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4230217 515538944 101263 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 503456 KiB
Current children cumulated memory: 405052 KiB
[startup+12.7004 s]
/proc/loadavg: 0.78 0.25 0.14 5/247 28323
/proc/meminfo: memFree=127728896/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=503456 memory=406808 CPUtime=12.64 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 140734 0 0 0 1237 27 0 0 20 0 3 0 4230049 515538944 101702 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 125864 101702 2998 3035 0 119335 0
[pid=28254/tid=28278] ppid=28250 vsize=503456 memory=406284 CPUtime=11.04 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 96326 0 0 0 1091 13 0 0 20 0 3 0 4230205 515538944 101702 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=503456 memory=11516 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4230217 515538944 101702 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 503456 KiB
Current children cumulated memory: 406808 KiB
[startup+25.5004 s]
/proc/loadavg: 1.49 0.43 0.20 5/250 28383
/proc/meminfo: memFree=126004928/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=604168 memory=467420 CPUtime=25.42 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 200934 0 0 0 2509 33 0 0 20 0 3 0 4230049 618668032 116855 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 151042 116855 2998 3035 0 144999 0
[pid=28254/tid=28278] ppid=28250 vsize=604168 memory=405088 CPUtime=23.8 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 156253 0 0 0 2362 18 0 0 20 0 3 0 4230205 618668032 116855 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=604168 memory=201624 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4230217 618668032 116855 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 604168 KiB
Current children cumulated memory: 467420 KiB
[startup+51.1133 s]
/proc/loadavg: 2.35 0.72 0.30 5/252 28390
/proc/meminfo: memFree=123283788/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=670728 memory=497156 CPUtime=50.94 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 274311 0 0 0 5056 38 0 0 20 0 3 0 4230049 686825472 124289 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 167682 124289 2998 3035 0 153032 0
[pid=28254/tid=28278] ppid=28250 vsize=670728 memory=467436 CPUtime=49.34 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 229480 0 0 0 4910 24 0 0 20 0 3 0 4230205 686825472 124289 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=670728 memory=11516 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4230217 686825472 124289 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 670728 KiB
Current children cumulated memory: 497156 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.26 0.51 5/250 28445
/proc/meminfo: memFree=117648268/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=736264 memory=515716 CPUtime=101.97 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 379716 0 0 0 10149 48 0 0 20 0 3 0 4230049 753934336 128929 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 184066 128929 2998 3035 0 167434 0
[pid=28254/tid=28278] ppid=28250 vsize=736264 memory=14600 CPUtime=100.35 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 334562 0 0 0 10002 33 0 0 20 0 3 0 4230205 753934336 128929 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=736264 memory=513532 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4230217 753934336 128929 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 736264 KiB
Current children cumulated memory: 515716 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.79 0.74 5/250 28456
/proc/meminfo: memFree=117666300/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=822784 memory=590724 CPUtime=161.78 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 453364 0 0 0 16122 56 0 0 20 0 3 0 4230049 842530816 147681 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 205696 147681 2998 3035 0 198470 0
[pid=28254/tid=28278] ppid=28250 vsize=822784 memory=0 CPUtime=160.16 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 408109 0 0 0 15975 41 0 0 20 0 3 0 4230205 842530816 147681 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=822784 memory=11516 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4230217 842530816 147681 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 822784 KiB
Current children cumulated memory: 590724 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.25 0.96 5/251 28469
/proc/meminfo: memFree=111703144/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=912128 memory=641972 CPUtime=221.59 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 523374 0 0 0 22096 63 0 0 20 0 3 0 4230049 934019072 160493 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 228032 160493 2998 3035 0 216719 0
[pid=28254/tid=28278] ppid=28250 vsize=912128 memory=11516 CPUtime=219.96 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 478056 0 0 0 21949 47 0 0 20 0 3 0 4230205 934019072 160493 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=912128 memory=641968 CPUtime=0 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4230217 934019072 160493 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 912128 KiB
Current children cumulated memory: 641972 KiB
[startup+282.3 s]
/proc/loadavg: 5.35 2.94 1.29 5/251 28479
/proc/meminfo: memFree=110390876/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=931832 memory=681160 CPUtime=281.42 cores=1,3
################
# More data... #
################
/proc/loadavg: 4.66 4.31 4.10 5/249 30291
/proc/meminfo: memFree=119604236/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2023056 memory=1782648 CPUtime=3392.11 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3129636 0 0 0 338855 356 0 0 20 0 3 0 4230049 2071609344 445662 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 505764 445662 3302 3035 0 501119 0
[pid=28254/tid=28278] ppid=28250 vsize=2023056 memory=1743736 CPUtime=3390.2 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3082456 0 0 0 338692 328 0 0 20 0 3 0 4230205 2071609344 445662 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2023056 memory=1782648 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 161 0 0 0 1 4 0 0 20 0 3 0 4230217 2071609344 445662 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 2023056 KiB
Current children cumulated memory: 1782648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.36 4.28 4.10 5/249 30301
/proc/meminfo: memFree=119558888/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1812028 CPUtime=3451.96 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3230485 0 0 0 344833 363 0 0 20 0 3 0 4230049 2138718208 453007 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 453007 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=1743736 CPUtime=3450.04 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3183281 0 0 0 344669 335 0 0 20 0 3 0 4230205 2138718208 453007 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=1812028 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 163 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 453007 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1812028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.27 4.10 5/251 30481
/proc/meminfo: memFree=119516972/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1830460 CPUtime=3511.77 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3348673 0 0 0 350805 372 0 0 20 0 3 0 4230049 2138718208 457615 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 457615 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=1812028 CPUtime=3509.85 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3301462 0 0 0 350641 344 0 0 20 0 3 0 4230205 2138718208 457615 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=1809932 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 457615 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1830460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.24 4.10 5/251 30492
/proc/meminfo: memFree=119490908/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1840548 CPUtime=3571.59 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3478715 0 0 0 356777 382 0 0 20 0 3 0 4230049 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 460137 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=11516 CPUtime=3569.66 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3431481 0 0 0 356612 354 0 0 20 0 3 0 4230205 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=14600 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1840548 KiB
[startup+3598.24 s]
# the end of solver process 28254 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.61 s, system=3.87879 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.22 4.25 4.10 5/251 30492
/proc/meminfo: memFree=119489900/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1840548 CPUtime=3573.3 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3478750 0 0 0 356948 382 0 0 20 0 3 0 4230049 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 460137 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=-7161968623522766968 CPUtime=3571.37 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3431516 0 0 0 356783 354 0 0 20 0 3 0 4230205 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=4642811665103613598 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 165 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1840548 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.25 4.10 5/251 30493
/proc/meminfo: memFree=119487460/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1840548 CPUtime=3579.67 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3478905 0 0 0 357584 383 0 0 20 0 3 0 4230049 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 460137 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=0 CPUtime=3577.73 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3431667 0 0 0 357419 354 0 0 20 0 3 0 4230205 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=0 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 167 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3579.67 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1840548 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.25 4.10 5/251 30493
/proc/meminfo: memFree=119486044/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1840548 CPUtime=3582.85 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3479015 0 0 0 357902 383 0 0 20 0 3 0 4230049 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 460137 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=-7522256593712408187 CPUtime=3580.91 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3431777 0 0 0 357737 354 0 0 20 0 3 0 4230205 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=1840548 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 167 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3582.85 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1840548 KiB
[startup+3596.8 s]
/proc/loadavg: 4.19 4.24 4.10 5/251 30493
/proc/meminfo: memFree=119485108/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1840548 CPUtime=3586.04 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3479055 0 0 0 358221 383 0 0 20 0 3 0 4230049 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 460137 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=11516 CPUtime=3584.11 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3431817 0 0 0 358056 355 0 0 20 0 3 0 4230205 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=11516 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 167 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1840548 KiB
[startup+3597.6 s]
/proc/loadavg: 4.19 4.24 4.10 5/251 30495
/proc/meminfo: memFree=119484840/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1840548 CPUtime=3586.84 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3479076 0 0 0 358301 383 0 0 20 0 3 0 4230049 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 460137 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=14600 CPUtime=3584.91 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3431838 0 0 0 358136 355 0 0 20 0 3 0 4230205 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=4756 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 167 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3586.84 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1840548 KiB
[startup+3598 s]*
/proc/loadavg: 4.19 4.24 4.10 5/251 30495
/proc/meminfo: memFree=119484716/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=2088592 memory=1840548 CPUtime=3587.25 cores=1,3
/proc/28254/stat : 28254 (fscip) S 28250 28254 28195 0 -1 1077936128 3479123 0 0 0 358342 383 0 0 20 0 3 0 4230049 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 522148 460137 3302 3035 0 508437 0
[pid=28254/tid=28278] ppid=28250 vsize=2088592 memory=-7161968623522766968 CPUtime=3585.32 cores=1,3
/proc/28254/task/28278/stat : 28278 (fscip) R 28250 28254 28195 0 -1 4194368 3431889 0 0 0 358177 355 0 0 20 0 3 0 4230205 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
[pid=28254/tid=28285] ppid=28250 vsize=2088592 memory=4788 CPUtime=0.05 cores=1,3
/proc/28254/task/28285/stat : 28285 (fscip) S 28250 28254 28195 0 -1 1077936192 167 0 0 0 1 4 0 0 20 0 3 0 4230217 2138718208 460137 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 2088592 KiB
Current children cumulated memory: 1840548 KiB
[startup+3598.2 s]
/proc/loadavg: 4.19 4.24 4.10 5/251 30495
/proc/meminfo: memFree=119484716/131655788 swapFree=131071216/131071996
[pid=28254] ppid=28250 vsize=1151832 memory=922964 CPUtime=3587.43 cores=1,3
/proc/28254/stat : 28254 (fscip) R 28250 28254 28195 0 -1 4194304 3487383 0 0 0 358358 385 0 0 20 0 1 0 4230049 1179475968 230741 134679101440 4194304 16623229 140723320625952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29589504 140723320628250 140723320628366 140723320628366 140723320635376 0
/proc/28254/statm: 287958 230741 3302 3035 0 266962 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 1151832 KiB
Current children cumulated memory: 922964 KiB
Child status: 0
Real time (s): 3598.24
CPU time (s): 3587.49
CPU user time (s): 3583.61
CPU system time (s): 3.87879
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 2088592
Max. memory (cumulated for all children) (KiB): 1840548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.61
system time used= 3.8788
maximum resident set size= 1840552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3487548
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= 9558
involuntary context switches= 1741
# summary of solver processes directly reported to runsolver:
# pid: 28254
# total CPU time (s): 3587.49
# total CPU user time (s): 3583.61
# total CPU system time (s): 3.87879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6909 second user time and 35.827 second system time
The end
Begin job on nodeC007 at 2024-07-31 00:29:54
IDJOB=4464045
IDBENCH=146698
IDSOLVER=3092
FILE ID=nodeC007/4464045-1722378594
RUNJOBID= nodeC007-1722378594-28207
SLURM_JOB_ID= 8249837
Free space on /tmp= 723748 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.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-4464045-1722378594/watcher-4464045-1722378594 -o /tmp/evaluation-result-4464045-1722378594/solver-4464045-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28207 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464045-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=1497379858
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.220
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.186
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.186
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.302
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.187
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.517
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.186
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129933236 kB
MemAvailable: 130145664 kB
Buffers: 75608 kB
Cached: 977416 kB
SwapCached: 100 kB
Active: 235604 kB
Inactive: 1069024 kB
Active(anon): 1404 kB
Inactive(anon): 271312 kB
Active(file): 234200 kB
Inactive(file): 797712 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 123080 kB
Writeback: 0 kB
AnonPages: 251552 kB
Mapped: 97548 kB
Shmem: 21076 kB
KReclaimable: 41432 kB
Slab: 116932 kB
SReclaimable: 41432 kB
SUnreclaim: 75500 kB
KernelStack: 3776 kB
PageTables: 8812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 588176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 135168 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC007 at 2024-07-31 01:29:53