0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32509952, getVmSize() = 32509952, SCIPgetMemUsed() = 8863114, SCIPgetMemTotal() = 10605354, SCIPgetMemExternEstim() = 5423109
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 24943274, getVmSize() = 42319872, SCIPgetMemUsed() = 10353695, SCIPgetMemTotal() = 19020207, SCIPgetMemExternEstim() = 5423109
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4434660-1721082413
0.00/0.06 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 4000
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 1524 (1524 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2954
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2954
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.07 c * 0 0 1 1 1741.0000 - -
0.10/0.13 c * 0 0 1 1 1173.0000 - -
0.10/0.13 c * 0 0 1 1 1088.0000 - -
0.10/0.15 c * 0 0 1 1 1084.0000 - -
10.66/10.77 c 11 2 1 1 1084.0000 1002.3260 8.15%
15.96/16.10 c 16 5 4 1 1084.0000 1002.3260 8.15%
21.34/21.49 c 22 9 8 1 1084.0000 1002.3260 8.15%
25.73/25.80 c * 26 13 12 1 1077.0000 1002.3260 7.45%
25.73/25.80 c * 26 13 12 1 1053.0000 1002.3260 5.06%
28.32/28.49 c 28 24 23 1 1053.0000 1002.3260 5.06%
36.60/36.73 c 37 71 62 1 1053.0000 1003.7636 4.91%
41.78/41.98 c 42 180 83 1 1053.0000 1005.7511 4.70%
47.87/48.05 c * 48 292 91 1 1047.0000 1006.7143 4.00%
47.87/48.05 c 48 292 91 1 1047.0000 1006.7143 4.00%
52.96/53.14 c 53 453 102 1 1047.0000 1006.7957 3.99%
60.64/60.82 c * 61 614 113 1 1046.0000 1007.1907 3.85%
60.64/60.82 c 61 614 113 1 1046.0000 1007.1907 3.85%
60.64/60.86 c * 61 615 113 1 1045.0000 1007.1907 3.75%
65.93/66.14 c 66 782 123 1 1045.0000 1007.6640 3.71%
71.02/71.22 c 71 902 133 1 1045.0000 1007.8456 3.69%
76.51/76.71 c 77 1068 137 1 1045.0000 1007.8690 3.68%
82.68/82.90 c 83 1083 142 1 1045.0000 1008.1250 3.66%
88.27/88.52 c 89 1161 154 1 1045.0000 1008.4438 3.63%
93.66/93.93 c 94 1286 155 1 1045.0000 1008.6000 3.61%
98.85/99.10 c 99 1441 164 1 1045.0000 1008.8372 3.58%
104.13/104.40 c 104 1519 174 1 1045.0000 1008.8608 3.58%
109.11/109.44 c 109 1575 178 1 1045.0000 1008.8989 3.58%
114.99/115.32 c 115 1718 181 1 1045.0000 1009.2199 3.55%
121.17/121.57 c 122 1873 188 1 1045.0000 1009.3614 3.53%
126.85/127.26 c 127 1977 192 1 1045.0000 1009.4228 3.52%
133.53/133.95 c 134 2124 205 1 1045.0000 1009.6871 3.50%
139.31/139.71 c 140 2204 213 1 1045.0000 1009.9215 3.47%
147.79/148.27 c 148 2402 219 1 1045.0000 1010.0585 3.46%
152.97/153.44 c 153 2622 229 1 1045.0000 1010.0659 3.46%
158.85/159.32 c 159 2746 229 1 1045.0000 1010.0659 3.46%
164.14/164.68 c 165 2812 233 1 1045.0000 1010.1322 3.45%
170.81/171.33 c 171 2885 238 1 1045.0000 1010.2150 3.44%
176.60/177.11 c 177 2950 255 1 1045.0000 1010.2406 3.44%
181.87/182.49 c 182 3145 260 1 1045.0000 1010.2674 3.44%
187.05/187.64 c 188 3243 266 1 1045.0000 1010.2740 3.44%
192.34/192.95 c 193 3304 273 1 1045.0000 1010.4653 3.42%
198.62/199.27 c 199 3403 278 1 1045.0000 1010.5210 3.41%
203.81/204.49 c 204 3480 291 1 1045.0000 1010.5488 3.41%
209.69/210.32 c 210 3564 289 1 1045.0000 1010.6686 3.40%
215.77/216.40 c 216 3616 303 1 1045.0000 1010.7118 3.39%
221.15/221.87 c 222 3796 307 1 1045.0000 1010.7138 3.39%
227.03/227.79 c 228 3933 308 1 1045.0000 1010.7623 3.39%
232.31/233.01 c 233 3983 310 1 1045.0000 1010.7655 3.39%
238.29/239.07 c 239 4075 324 1 1045.0000 1010.8308 3.38%
246.17/246.97 c 247 4113 334 1 1045.0000 1011.1719 3.35%
253.04/253.86 c 254 4196 347 1 1045.0000 1011.2400 3.34%
258.23/259.04 c 259 4354 351 1 1045.0000 1011.2804 3.33%
264.81/265.68 c 266 4386 357 1 1045.0000 1011.3547 3.33%
270.59/271.48 c 271 4555 364 1 1045.0000 1011.3917 3.32%
275.78/276.67 c 277 4574 367 1 1045.0000 1011.4109 3.32%
281.57/282.47 c 282 4655 370 1 1045.0000 1011.4216 3.32%
287.05/287.97 c 288 4827 368 1 1045.0000 1011.4216 3.32%
293.04/293.99 c 294 5021 370 1 1045.0000 1011.4366 3.32%
298.52/299.43 c 299 5152 373 1 1045.0000 1011.4516 3.32%
304.01/304.98 c 305 5260 377 1 1045.0000 1011.4516 3.32%
310.10/311.07 c * 311 5292 381 1 1044.0000 1011.6799 3.19%
310.10/311.07 c 311 5292 381 1 1044.0000 1011.6799 3.19%
317.37/318.31 c 318 5336 401 1 1044.0000 1011.8846 3.17%
322.76/323.76 c 324 5490 413 1 1044.0000 1011.9398 3.17%
328.55/329.57 c 330 5628 417 1 1044.0000 1012.1142 3.15%
335.63/336.65 c 337 5784 419 1 1044.0000 1012.1171 3.15%
341.02/342.09 c 342 5805 424 1 1044.0000 1012.1808 3.14%
347.89/348.92 c 349 5965 430 1 1044.0000 1012.2347 3.14%
353.48/354.57 c 355 6055 436 1 1044.0000 1012.2439 3.14%
359.47/360.53 c 361 6148 443 1 1044.0000 1012.2484 3.14%
364.85/365.90 c 366 6353 442 1 1044.0000 1012.2484 3.14%
370.04/371.13 c 371 6431 448 1 1044.0000 1012.2519 3.14%
375.32/376.47 c 376 6483 448 1 1044.0000 1012.2700 3.13%
382.31/383.47 c 383 6604 457 1 1044.0000 1012.2763 3.13%
390.38/391.57 c 392 6656 463 1 1044.0000 1012.3516 3.13%
396.08/397.27 c 397 6796 473 1 1044.0000 1012.4140 3.12%
401.67/402.85 c 403 6908 481 1 1044.0000 1012.4231 3.12%
407.95/409.10 c 409 7012 483 1 1044.0000 1012.4281 3.12%
413.33/414.52 c 415 7209 490 1 1044.0000 1012.4281 3.12%
419.22/420.47 c 420 7422 493 1 1044.0000 1012.5065 3.11%
424.50/425.72 c 426 7456 503 1 1044.0000 1012.5241 3.11%
431.08/432.33 c 432 7533 508 1 1044.0000 1012.6739 3.09%
436.67/437.98 c 438 7605 518 1 1044.0000 1012.6931 3.09%
442.45/443.72 c 444 7646 525 1 1044.0000 1012.7570 3.08%
449.44/450.72 c 451 7783 524 1 1044.0000 1012.8338 3.08%
456.92/458.23 c 458 7933 520 1 1044.0000 1012.8746 3.07%
462.10/463.44 c 463 8073 526 1 1044.0000 1012.8746 3.07%
467.69/469.04 c 469 8129 532 1 1044.0000 1012.8807 3.07%
472.78/474.19 c * 474 8274 533 1 1041.0000 1012.8807 2.78%
472.78/474.19 c 474 8274 533 1 1041.0000 1012.8807 2.78%
478.26/479.67 c 480 8356 534 1 1041.0000 1012.8848 2.78%
485.64/487.04 c 487 8365 1 1 1041.0000 1012.8848 2.78%
491.23/492.62 c 493 8392 28 1 1041.0000 1012.8848 2.78%
496.21/497.68 c 498 8447 53 1 1041.0000 1012.8848 2.78%
501.50/502.97 c 503 8546 54 1 1041.0000 1012.8848 2.78%
506.99/508.40 c 508 8701 53 1 1041.0000 1012.8848 2.78%
512.17/513.69 c 514 8815 53 1 1041.0000 1012.8848 2.78%
517.96/519.47 c 519 8913 63 1 1041.0000 1012.8848 2.78%
523.44/524.90 c 525 9007 71 1 1041.0000 1012.8848 2.78%
528.82/530.35 c 530 9157 75 1 1041.0000 1012.8848 2.78%
534.71/536.29 c 536 9222 80 1 1041.0000 1012.8848 2.78%
540.70/542.20 c 542 9280 86 1 1041.0000 1012.8848 2.78%
545.88/547.46 c 547 9312 90 1 1041.0000 1012.8865 2.78%
551.17/552.70 c 553 9415 89 1 1041.0000 1012.8865 2.78%
557.15/558.73 c 559 9493 89 1 1041.0000 1012.8865 2.78%
562.13/563.77 c 564 9575 97 1 1041.0000 1012.9927 2.76%
567.82/569.46 c 569 9636 104 1 1041.0000 1012.9927 2.76%
573.41/575.07 c 575 9701 121 1 1041.0000 1013.2248 2.74%
579.50/581.15 c 581 9730 118 1 1041.0000 1013.2248 2.74%
585.48/587.15 c 587 9787 121 1 1041.0000 1013.2248 2.74%
590.55/592.22 c 592 9807 121 1 1041.0000 1013.2248 2.74%
596.14/597.82 c 598 9897 127 1 1041.0000 1013.8790 2.67%
601.73/603.47 c 603 9984 126 1 1041.0000 1013.8790 2.67%
607.51/609.20 c 609 10038 130 1 1041.0000 1013.8945 2.67%
612.59/614.37 c 614 10070 132 1 1041.0000 1014.0406 2.66%
618.39/620.11 c 620 10162 136 1 1041.0000 1014.1865 2.64%
623.97/625.77 c 626 10251 137 1 1041.0000 1014.3045 2.63%
629.36/631.13 c 631 10408 136 1 1041.0000 1014.3045 2.63%
634.54/636.34 c 636 10513 143 1 1041.0000 1014.3761 2.62%
639.63/641.40 c 641 10545 143 1 1041.0000 1014.4450 2.62%
645.01/646.88 c 647 10587 151 1 1041.0000 1014.4911 2.61%
650.51/652.32 c 652 10625 157 1 1041.0000 1014.5445 2.61%
656.69/658.53 c 659 10656 162 1 1041.0000 1014.5817 2.60%
663.58/665.47 c 665 10725 165 1 1041.0000 1014.5886 2.60%
669.56/671.45 c 671 10811 175 1 1041.0000 1014.6609 2.60%
674.95/676.87 c 677 10942 180 1 1041.0000 1014.6609 2.60%
680.33/682.29 c 682 10986 184 1 1041.0000 1014.9883 2.56%
685.61/687.58 c 688 11066 196 1 1041.0000 1015.3299 2.53%
691.01/692.96 c 693 11176 194 1 1041.0000 1015.3299 2.53%
696.69/698.68 c 699 11247 199 1 1041.0000 1015.3922 2.52%
703.87/705.82 c 706 11328 202 1 1041.0000 1015.3937 2.52%
709.26/711.27 c 711 11388 208 1 1041.0000 1015.3938 2.52%
714.85/716.82 c 717 11439 217 1 1041.0000 1015.5865 2.50%
720.53/722.50 c 723 11485 225 1 1041.0000 1015.6091 2.50%
726.12/728.14 c 728 11524 236 1 1041.0000 1015.6539 2.50%
731.80/733.81 c 734 11569 235 1 1041.0000 1015.6539 2.50%
736.99/739.00 c 739 11625 239 1 1041.0000 1015.8561 2.48%
742.38/744.47 c 744 11647 245 1 1041.0000 1015.8872 2.47%
747.76/749.83 c 750 11695 253 1 1041.0000 1016.1443 2.45%
753.06/755.17 c 755 11772 256 1 1041.0000 1016.1443 2.45%
760.64/762.78 c 763 11800 260 1 1041.0000 1016.2040 2.44%
769.11/771.20 c 771 11899 267 1 1041.0000 1016.3617 2.42%
774.70/776.81 c 777 11920 276 1 1041.0000 1016.3617 2.42%
780.58/782.77 c 783 11986 292 1 1041.0000 1016.4207 2.42%
787.37/789.56 c 790 12065 299 1 1041.0000 1016.4694 2.41%
793.75/795.99 c 796 12139 313 1 1041.0000 1016.5888 2.40%
798.95/801.13 c 801 12335 315 1 1041.0000 1016.6275 2.40%
804.03/806.23 c 806 12375 321 1 1041.0000 1016.7555 2.38%
809.42/811.62 c 812 12448 334 1 1041.0000 1016.7557 2.38%
815.10/817.30 c 817 12569 337 1 1041.0000 1016.8148 2.38%
820.89/823.15 c 823 12671 345 1 1041.0000 1016.8568 2.37%
826.97/829.21 c 829 12763 357 1 1041.0000 1016.9016 2.37%
832.05/834.31 c 834 12963 359 1 1041.0000 1016.9016 2.37%
837.24/839.52 c 840 13045 367 1 1041.0000 1016.9587 2.36%
843.43/845.78 c 846 13067 375 1 1041.0000 1016.9632 2.36%
849.01/851.30 c 851 13142 384 1 1041.0000 1016.9890 2.36%
855.30/857.60 c 858 13160 390 1 1041.0000 1017.0147 2.36%
860.89/863.23 c 863 13301 399 1 1041.0000 1017.0221 2.36%
867.07/869.44 c 869 13435 405 1 1041.0000 1017.0904 2.35%
873.96/876.38 c 876 13457 419 1 1041.0000 1017.1717 2.34%
881.14/883.50 c 884 13649 425 1 1041.0000 1017.1732 2.34%
886.22/888.66 c 889 13831 423 1 1041.0000 1017.1732 2.34%
891.72/894.15 c 894 13991 427 1 1041.0000 1017.2288 2.34%
898.00/900.41 c 900 14045 433 1 1041.0000 1017.3076 2.33%
903.48/905.97 c 906 14079 449 1 1041.0000 1017.3993 2.32%
908.77/911.28 c 911 14200 458 1 1041.0000 1017.4178 2.32%
916.35/918.83 c 919 14338 468 1 1041.0000 1017.4547 2.31%
921.55/924.03 c 924 14487 471 1 1041.0000 1017.4547 2.31%
927.13/929.62 c 930 14535 477 1 1041.0000 1017.4910 2.31%
932.71/935.24 c 935 14594 484 1 1041.0000 1017.4910 2.31%
938.20/940.77 c 941 14667 491 1 1041.0000 1017.5602 2.30%
943.39/945.99 c 946 14765 495 1 1041.0000 1017.5616 2.30%
950.17/952.76 c 953 14770 500 1 1041.0000 1017.5616 2.30%
955.76/958.32 c 958 14788 510 1 1041.0000 1017.5914 2.30%
962.55/965.14 c 965 14866 524 1 1041.0000 1017.6161 2.30%
968.43/971.07 c 971 14945 535 1 1041.0000 1017.6513 2.29%
974.41/977.03 c 977 15076 540 1 1041.0000 1017.6956 2.29%
980.30/982.91 c 983 15196 546 1 1041.0000 1017.7111 2.29%
985.68/988.35 c 988 15286 548 1 1041.0000 1017.8592 2.27%
991.47/994.17 c 994 15341 557 1 1041.0000 1017.8605 2.27%
997.46/1000.13 c 1000 15462 566 1 1041.0000 1017.8932 2.27%
1003.74/1006.40 c 1006 15545 573 1 1041.0000 1017.9035 2.27%
1008.72/1011.41 c 1011 15575 585 1 1041.0000 1017.9923 2.26%
1014.21/1016.91 c 1017 15628 600 1 1041.0000 1018.0196 2.26%
1021.59/1024.34 c 1024 15660 608 1 1041.0000 1018.0466 2.25%
1028.68/1031.45 c 1031 15715 613 1 1041.0000 1018.0876 2.25%
1033.77/1036.59 c 1037 15767 619 1 1041.0000 1018.1061 2.25%
1038.86/1041.64 c 1042 15831 625 1 1041.0000 1018.1656 2.24%
1044.64/1047.41 c 1047 15902 642 1 1041.0000 1018.2065 2.24%
1049.63/1052.44 c 1052 15995 647 1 1041.0000 1018.2181 2.24%
1054.61/1057.46 c 1057 16055 653 1 1041.0000 1018.2208 2.24%
1060.49/1063.35 c 1063 16129 665 1 1041.0000 1018.2598 2.23%
1066.18/1069.04 c 1069 16239 673 1 1041.0000 1018.2887 2.23%
1072.56/1075.49 c 1076 16366 678 1 1041.0000 1018.2926 2.23%
1077.84/1080.73 c 1081 16432 690 1 1041.0000 1018.3255 2.23%
1083.02/1085.93 c 1086 16610 690 1 1041.0000 1018.3255 2.23%
1088.11/1091.03 c 1091 16685 697 1 1041.0000 1018.4244 2.22%
1093.89/1096.82 c 1097 16734 708 1 1041.0000 1018.4791 2.21%
1099.28/1102.29 c 1102 16836 710 1 1041.0000 1018.5000 2.21%
1108.65/1111.61 c 1112 16920 728 1 1041.0000 1018.5045 2.21%
1115.42/1118.46 c 1118 17076 722 1 1041.0000 1018.5162 2.21%
1120.61/1123.62 c 1124 17123 735 1 1041.0000 1018.5368 2.21%
1125.59/1128.65 c 1129 17249 739 1 1041.0000 1018.5421 2.20%
1131.98/1135.08 c 1135 17288 750 1 1041.0000 1018.6422 2.19%
1137.16/1140.20 c 1140 17466 752 1 1041.0000 1018.6422 2.19%
1143.14/1146.25 c 1146 17544 762 1 1041.0000 1018.6428 2.19%
1148.52/1151.68 c 1152 17703 761 1 1041.0000 1018.6428 2.19%
1154.51/1157.68 c 1158 17863 767 1 1041.0000 1018.6484 2.19%
1159.59/1162.75 c 1163 17881 773 1 1041.0000 1018.6787 2.19%
1164.98/1168.12 c 1168 17980 784 1 1041.0000 1018.7345 2.19%
1170.16/1173.35 c 1173 18118 796 1 1041.0000 1018.7345 2.19%
1177.54/1180.79 c 1181 18257 795 1 1041.0000 1018.7605 2.18%
1182.72/1185.95 c 1186 18329 805 1 1041.0000 1018.7633 2.18%
1188.60/1191.87 c 1192 18355 809 1 1041.0000 1018.8381 2.18%
1193.68/1196.96 c 1197 18395 821 1 1041.0000 1018.8456 2.17%
1200.37/1203.69 c 1204 18477 847 1 1041.0000 1018.8501 2.17%
1205.86/1209.19 c 1209 18579 853 1 1041.0000 1018.8501 2.17%
1210.94/1214.23 c 1214 18653 855 1 1041.0000 1018.8662 2.17%
1217.62/1220.98 c 1221 18680 860 1 1041.0000 1018.8690 2.17%
1223.21/1226.58 c 1227 18796 864 1 1041.0000 1018.8771 2.17%
1228.40/1231.76 c 1232 18865 875 1 1041.0000 1018.9031 2.17%
1234.48/1237.83 c 1238 18955 893 1 1041.0000 1018.9539 2.16%
1239.78/1243.12 c 1243 19068 910 1 1041.0000 1018.9889 2.16%
1244.96/1248.30 c 1248 19295 903 1 1041.0000 1019.0039 2.16%
1254.93/1258.33 c * 1258 19321 909 1 1038.0000 1019.0039 1.86%
1254.93/1258.33 c 1258 19321 909 1 1038.0000 1019.0039 1.86%
1261.12/1264.52 c 1265 19398 895 1 1038.0000 1019.1719 1.85%
1266.30/1269.78 c 1270 19482 899 1 1038.0000 1019.1869 1.85%
1271.79/1275.21 c 1275 19537 906 1 1038.0000 1019.1890 1.85%
1277.18/1280.65 c 1281 19576 913 1 1038.0000 1019.2542 1.84%
1282.37/1285.80 c 1286 19725 918 1 1038.0000 1019.2542 1.84%
1287.56/1291.00 c 1291 19885 914 1 1038.0000 1019.2542 1.84%
1293.14/1296.64 c 1297 19954 919 1 1038.0000 1019.2702 1.84%
1298.43/1301.96 c 1302 20032 923 1 1038.0000 1019.3002 1.83%
1303.72/1307.22 c 1307 20187 924 1 1038.0000 1019.3002 1.83%
1309.40/1312.92 c 1313 20311 924 1 1038.0000 1019.3088 1.83%
1314.49/1318.03 c 1318 20476 923 1 1038.0000 1019.3088 1.83%
1321.77/1325.35 c 1325 20557 930 1 1038.0000 1019.3332 1.83%
1327.95/1331.50 c 1332 20590 939 1 1038.0000 1019.3479 1.83%
1333.44/1337.06 c 1337 20645 948 1 1038.0000 1019.3827 1.83%
1339.32/1342.95 c 1343 20722 961 1 1038.0000 1019.4240 1.82%
1345.90/1349.54 c 1350 20776 967 1 1038.0000 1019.4415 1.82%
1352.29/1355.94 c 1356 20868 975 1 1038.0000 1019.4420 1.82%
1357.39/1361.04 c 1361 20905 984 1 1038.0000 1019.4616 1.82%
1362.87/1366.54 c 1367 20978 989 1 1038.0000 1019.4616 1.82%
1368.95/1372.60 c 1373 21077 992 1 1038.0000 1019.4772 1.82%
1374.34/1378.00 c 1378 21245 992 1 1038.0000 1019.5098 1.81%
1380.02/1383.71 c 1384 21351 998 1 1038.0000 1019.5098 1.81%
1385.71/1389.41 c 1389 21442 999 1 1038.0000 1019.5169 1.81%
1390.90/1394.68 c 1395 21582 1003 1 1038.0000 1019.5169 1.81%
1396.48/1400.24 c 1400 21635 1012 1 1038.0000 1019.5340 1.81%
1402.47/1406.24 c 1406 21679 1018 1 1038.0000 1019.5340 1.81%
1407.95/1411.74 c 1412 21761 1028 1 1038.0000 1019.5340 1.81%
1413.65/1417.42 c 1417 21885 1028 1 1038.0000 1019.5404 1.81%
1419.13/1422.94 c 1423 21906 1031 1 1038.0000 1019.5404 1.81%
1425.71/1429.58 c 1430 22007 1042 1 1038.0000 1019.5488 1.81%
1431.10/1434.91 c 1435 22106 1047 1 1038.0000 1019.5488 1.81%
1438.58/1442.42 c 1442 22155 1054 1 1038.0000 1019.5724 1.81%
1444.87/1448.74 c 1449 22233 1070 1 1038.0000 1019.5810 1.81%
1449.95/1453.87 c 1454 22308 1067 1 1038.0000 1019.5841 1.81%
1455.44/1459.38 c 1459 22408 1073 1 1038.0000 1019.6121 1.80%
1461.43/1465.34 c 1465 22475 1080 1 1038.0000 1019.6323 1.80%
1466.72/1470.63 c 1471 22509 1086 1 1038.0000 1019.6323 1.80%
1472.80/1476.76 c 1477 22595 1092 1 1038.0000 1019.6621 1.80%
1479.68/1483.63 c 1484 22676 1101 1 1038.0000 1019.6630 1.80%
1485.27/1489.24 c 1489 22730 1109 1 1038.0000 1019.6734 1.80%
1491.06/1495.05 c 1495 22805 1114 1 1038.0000 1019.6823 1.80%
1496.84/1500.86 c 1501 22881 1120 1 1038.0000 1019.6823 1.80%
1502.73/1506.77 c 1507 22993 1124 1 1038.0000 1019.6925 1.80%
1508.81/1512.82 c 1513 23095 1122 1 1038.0000 1019.7573 1.79%
1514.29/1518.36 c 1518 23145 1126 1 1038.0000 1019.7604 1.79%
1519.58/1523.66 c 1524 23264 1131 1 1038.0000 1019.7604 1.79%
1525.16/1529.26 c 1529 23376 1137 1 1038.0000 1019.7912 1.79%
1531.25/1535.39 c 1535 23467 1140 1 1038.0000 1019.7968 1.78%
1536.54/1540.69 c 1541 23593 1144 1 1038.0000 1019.7968 1.78%
1541.93/1546.05 c 1546 23659 1150 1 1038.0000 1019.8052 1.78%
1547.21/1551.30 c 1551 23727 1152 1 1038.0000 1019.8112 1.78%
1552.90/1557.04 c 1557 23847 1162 1 1038.0000 1019.8112 1.78%
1558.88/1563.02 c 1563 24004 1171 1 1038.0000 1019.8113 1.78%
1564.76/1568.99 c 1569 24173 1180 1 1038.0000 1019.8118 1.78%
1570.25/1574.47 c 1574 24272 1187 1 1038.0000 1019.8254 1.78%
1575.64/1579.82 c 1580 24343 1192 1 1038.0000 1019.8977 1.77%
1584.61/1588.83 c 1589 24410 1199 1 1038.0000 1019.9001 1.77%
1589.81/1594.09 c 1594 24575 1196 1 1038.0000 1019.9008 1.77%
1595.70/1599.92 c 1600 24675 1198 1 1038.0000 1019.9080 1.77%
1601.98/1606.24 c 1606 24708 1207 1 1038.0000 1019.9679 1.77%
1607.27/1611.56 c 1612 24842 1215 1 1038.0000 1019.9774 1.77%
1613.75/1618.07 c 1618 24949 1226 1 1038.0000 1020.0755 1.76%
1621.23/1625.54 c 1626 24985 1240 1 1038.0000 1020.1314 1.75%
1626.72/1631.10 c 1631 25095 1250 1 1038.0000 1020.1515 1.75%
1632.40/1636.73 c 1637 25147 1260 1 1038.0000 1020.1515 1.75%
1638.69/1643.06 c 1643 25185 1266 1 1038.0000 1020.1654 1.75%
1644.27/1648.63 c 1649 25255 1278 1 1038.0000 1020.2231 1.74%
1649.96/1654.39 c 1654 25332 1289 1 1038.0000 1020.2231 1.74%
1655.65/1660.05 c 1660 25473 1300 1 1038.0000 1020.2282 1.74%
1661.74/1666.15 c 1666 25574 1305 1 1038.0000 1020.2456 1.74%
1666.82/1671.25 c 1671 25625 1310 1 1038.0000 1020.2914 1.74%
1672.71/1677.16 c 1677 25675 1314 1 1038.0000 1020.2964 1.74%
1678.39/1682.86 c 1683 25680 1319 1 1038.0000 1020.2964 1.74%
1683.48/1687.94 c 1688 25734 1327 1 1038.0000 1020.3256 1.73%
1688.67/1693.17 c 1693 25808 1327 1 1038.0000 1020.3474 1.73%
1694.55/1699.08 c 1699 25893 1340 1 1038.0000 1020.3583 1.73%
1700.33/1704.83 c 1705 25995 1346 1 1038.0000 1020.3766 1.73%
1705.92/1710.42 c 1710 26104 1357 1 1038.0000 1020.3766 1.73%
1712.80/1717.31 c 1717 26175 1354 1 1038.0000 1020.3770 1.73%
1718.88/1723.49 c 1724 26265 1356 1 1038.0000 1020.3828 1.73%
1723.97/1728.57 c 1729 26328 1365 1 1038.0000 1020.3912 1.73%
1730.25/1734.89 c 1735 26366 1369 1 1038.0000 1020.4088 1.72%
1735.84/1740.43 c 1740 26525 1378 1 1038.0000 1020.4334 1.72%
1743.42/1748.02 c 1748 26625 1388 1 1038.0000 1020.4459 1.72%
1748.70/1753.37 c 1753 26737 1400 1 1038.0000 1020.4520 1.72%
1755.39/1760.06 c 1760 26867 1400 1 1038.0000 1020.4667 1.72%
1761.27/1765.93 c 1766 26960 1423 1 1038.0000 1020.4675 1.72%
1766.57/1771.21 c 1771 27041 1428 1 1038.0000 1020.4710 1.72%
1771.66/1776.39 c 1776 27187 1428 1 1038.0000 1020.4710 1.72%
1777.84/1782.52 c 1783 27261 1438 1 1038.0000 1020.4886 1.72%
1783.82/1788.54 c 1789 27310 1441 1 1038.0000 1020.5174 1.71%
1790.01/1794.72 c 1795 27427 1450 1 1038.0000 1020.5183 1.71%
1795.49/1800.29 c 1800 27515 1458 1 1038.0000 1020.5265 1.71%
1801.08/1805.85 c 1806 27568 1475 1 1038.0000 1020.5265 1.71%
1808.16/1812.95 c 1813 27678 1477 1 1038.0000 1020.5373 1.71%
1813.26/1818.08 c 1818 27752 1485 1 1038.0000 1020.5436 1.71%
1818.34/1823.12 c 1823 27855 1490 1 1038.0000 1020.5702 1.71%
1824.42/1829.27 c 1829 27874 1497 1 1038.0000 1020.5861 1.71%
1831.11/1835.94 c 1836 27925 1502 1 1038.0000 1020.6096 1.70%
1836.30/1841.14 c 1841 27971 1510 1 1038.0000 1020.6096 1.70%
1842.38/1847.27 c 1847 28075 1516 1 1038.0000 1020.6308 1.70%
1847.87/1852.73 c 1853 28156 1525 1 1038.0000 1020.6393 1.70%
1853.75/1858.61 c 1859 28272 1531 1 1038.0000 1020.6633 1.70%
1859.74/1864.61 c 1865 28398 1541 1 1038.0000 1020.6873 1.70%
1865.13/1870.00 c 1870 28514 1549 1 1038.0000 1020.6874 1.70%
1870.11/1875.09 c 1875 28595 1560 1 1038.0000 1020.7064 1.69%
1875.99/1880.95 c 1881 28665 1560 1 1038.0000 1020.7239 1.69%
1881.19/1886.16 c 1886 28808 1565 1 1038.0000 1020.7239 1.69%
1886.57/1891.52 c 1892 28940 1565 1 1038.0000 1020.7239 1.69%
1892.55/1897.53 c 1898 29005 1574 1 1038.0000 1020.7563 1.69%
1898.15/1903.15 c 1903 29076 1583 1 1038.0000 1020.7791 1.69%
1905.62/1910.60 c 1911 29195 1592 1 1038.0000 1020.8049 1.68%
1911.00/1916.00 c 1916 29220 1601 1 1038.0000 1020.8049 1.68%
1916.38/1921.40 c 1921 29341 1606 1 1038.0000 1020.8049 1.68%
1921.77/1926.80 c 1927 29457 1600 1 1038.0000 1020.8049 1.68%
1927.87/1932.93 c 1933 29567 1598 1 1038.0000 1020.8296 1.68%
1933.06/1938.18 c 1938 29697 1602 1 1038.0000 1020.8296 1.68%
1938.74/1943.82 c 1944 29777 1604 1 1038.0000 1020.8416 1.68%
1944.42/1949.55 c 1950 29843 1608 1 1038.0000 1020.8420 1.68%
1949.51/1954.69 c 1955 29977 1608 1 1038.0000 1020.8420 1.68%
1954.70/1959.89 c 1960 30015 1608 1 1038.0000 1020.8495 1.68%
1959.89/1965.10 c 1965 30132 1611 1 1038.0000 1020.8495 1.68%
1965.07/1970.29 c 1970 30220 1621 1 1038.0000 1020.8757 1.68%
1972.25/1977.47 c 1977 30316 1633 1 1038.0000 1020.8937 1.68%
1979.24/1984.41 c 1984 30385 1636 1 1038.0000 1020.9040 1.67%
1985.12/1990.39 c 1990 30477 1636 1 1038.0000 1020.9057 1.67%
1990.31/1995.53 c 1996 30597 1648 1 1038.0000 1020.9057 1.67%
1996.19/2001.46 c 2001 30684 1655 1 1038.0000 1020.9193 1.67%
2001.67/2006.94 c 2007 30725 1656 1 1038.0000 1020.9208 1.67%
2007.45/2012.78 c 2013 30825 1680 1 1038.0000 1020.9503 1.67%
2013.34/2018.64 c 2019 30941 1694 1 1038.0000 1020.9823 1.67%
2018.52/2023.80 c 2024 31059 1690 1 1038.0000 1020.9823 1.67%
2024.10/2029.40 c 2029 31153 1694 1 1038.0000 1021.0248 1.66%
2029.49/2034.81 c 2035 31275 1702 1 1038.0000 1021.0260 1.66%
2035.27/2040.67 c 2041 31348 1705 1 1038.0000 1021.0336 1.66%
2040.45/2045.89 c 2046 31495 1702 1 1038.0000 1021.0336 1.66%
2046.04/2051.42 c 2051 31563 1708 1 1038.0000 1021.0398 1.66%
2053.01/2058.49 c 2058 31580 1713 1 1038.0000 1021.0409 1.66%
2058.10/2063.56 c 2064 31715 1720 1 1038.0000 1021.0436 1.66%
2063.98/2069.44 c 2069 31808 1725 1 1038.0000 1021.0450 1.66%
2069.86/2075.30 c 2075 31890 1735 1 1038.0000 1021.0713 1.66%
2074.95/2080.48 c 2080 31953 1748 1 1038.0000 1021.0856 1.66%
2080.33/2085.80 c 2086 32037 1750 1 1038.0000 1021.1169 1.65%
2085.42/2090.98 c 2091 32172 1755 1 1038.0000 1021.1169 1.65%
2090.61/2096.13 c 2096 32245 1760 1 1038.0000 1021.1376 1.65%
2097.38/2102.99 c 2103 32305 1764 1 1038.0000 1021.1398 1.65%
2102.77/2108.32 c 2108 32428 1775 1 1038.0000 1021.1398 1.65%
2108.66/2114.21 c 2114 32538 1777 1 1038.0000 1021.1562 1.65%
2114.34/2119.95 c 2120 32669 1782 1 1038.0000 1021.1648 1.65%
2119.43/2125.04 c 2125 32721 1790 1 1038.0000 1021.1695 1.65%
2124.51/2130.14 c 2130 32804 1791 1 1038.0000 1021.1867 1.65%
2130.39/2136.03 c 2136 32948 1799 1 1038.0000 1021.2008 1.65%
2135.57/2141.23 c 2141 33096 1795 1 1038.0000 1021.2008 1.65%
2140.66/2146.35 c 2146 33155 1806 1 1038.0000 1021.2316 1.64%
2145.94/2151.62 c 2152 33274 1811 1 1038.0000 1021.2316 1.64%
2151.02/2156.78 c 2157 33327 1818 1 1038.0000 1021.2425 1.64%
2157.01/2162.71 c 2163 33420 1823 1 1038.0000 1021.2433 1.64%
2163.39/2169.13 c 2169 33480 1831 1 1038.0000 1021.2444 1.64%
2169.07/2174.84 c 2175 33525 1848 1 1038.0000 1021.2767 1.64%
2174.55/2180.32 c 2180 33628 1855 1 1038.0000 1021.2767 1.64%
2181.03/2186.89 c 2187 33705 1856 1 1038.0000 1021.2878 1.64%
2186.22/2192.06 c 2192 33850 1863 1 1038.0000 1021.2878 1.64%
2191.31/2197.11 c 2197 33939 1866 1 1038.0000 1021.2896 1.64%
2196.49/2202.30 c 2202 34042 1877 1 1038.0000 1021.2935 1.64%
2201.67/2207.56 c 2208 34177 1880 1 1038.0000 1021.2935 1.64%
2207.26/2213.14 c 2213 34245 1890 1 1038.0000 1021.3229 1.63%
2213.03/2218.97 c 2219 34288 1901 1 1038.0000 1021.3229 1.63%
2219.61/2225.58 c 2226 34396 1903 1 1038.0000 1021.3238 1.63%
2225.00/2230.95 c 2231 34421 1912 1 1038.0000 1021.3239 1.63%
2230.88/2236.84 c 2237 34511 1918 1 1038.0000 1021.3345 1.63%
2235.96/2241.95 c 2242 34639 1920 1 1038.0000 1021.3345 1.63%
2242.35/2248.32 c 2248 34716 1925 1 1038.0000 1021.3705 1.63%
2247.74/2253.76 c 2254 34751 1942 1 1038.0000 1021.3777 1.63%
2253.03/2259.06 c 2259 34799 1950 1 1038.0000 1021.4027 1.62%
2259.01/2265.05 c 2265 34880 1957 1 1038.0000 1021.4063 1.62%
2266.18/2272.28 c 2272 34890 1963 1 1038.0000 1021.4172 1.62%
2271.56/2277.62 c 2278 34989 1970 1 1038.0000 1021.4265 1.62%
2276.65/2282.75 c 2283 35110 1971 1 1038.0000 1021.4265 1.62%
2282.73/2288.85 c 2289 35149 1978 1 1038.0000 1021.4332 1.62%
2289.91/2296.02 c 2296 35268 1979 1 1038.0000 1021.4336 1.62%
2295.59/2301.75 c 2302 35335 1988 1 1038.0000 1021.4367 1.62%
2302.47/2308.65 c 2309 35486 1985 1 1038.0000 1021.4446 1.62%
2307.55/2313.78 c 2314 35616 1987 1 1038.0000 1021.4446 1.62%
2312.73/2318.92 c 2319 35755 1994 1 1038.0000 1021.4524 1.62%
2318.33/2324.50 c 2325 35821 2002 1 1038.0000 1021.4561 1.62%
2323.41/2329.64 c 2330 35918 2015 1 1038.0000 1021.4697 1.62%
2328.80/2335.10 c 2335 36045 2018 1 1038.0000 1021.4991 1.62%
2336.57/2342.81 c 2343 36115 2028 1 1038.0000 1021.5085 1.61%
2342.05/2348.37 c 2348 36222 2045 1 1038.0000 1021.5092 1.61%
2347.24/2353.58 c 2354 36365 2050 1 1038.0000 1021.5218 1.61%
2353.02/2359.34 c 2359 36447 2056 1 1038.0000 1021.5244 1.61%
2359.40/2365.79 c 2366 36556 2063 1 1038.0000 1021.5707 1.61%
2365.78/2372.15 c 2372 36687 2070 1 1038.0000 1021.5715 1.61%
2373.46/2379.81 c 2380 36710 2079 1 1038.0000 1021.5720 1.61%
2379.24/2385.65 c 2386 36832 2095 1 1038.0000 1021.5899 1.61%
2386.22/2392.69 c 2393 36896 2103 1 1038.0000 1021.6064 1.60%
2392.00/2398.47 c 2398 37038 2103 1 1038.0000 1021.6064 1.60%
2397.88/2404.32 c 2404 37207 2108 1 1038.0000 1021.6294 1.60%
2404.97/2411.46 c 2411 37325 2114 1 1038.0000 1021.6561 1.60%
2410.45/2416.99 c 2417 37455 2126 1 1038.0000 1021.6635 1.60%
2416.33/2422.89 c 2423 37532 2135 1 1038.0000 1021.6721 1.60%
2424.40/2430.90 c 2431 37675 2142 1 1038.0000 1021.6885 1.60%
2431.08/2437.63 c 2438 37755 2154 1 1038.0000 1021.6913 1.60%
2436.07/2442.66 c 2443 37783 2162 1 1038.0000 1021.7016 1.60%
2441.55/2448.18 c 2448 37834 2173 1 1038.0000 1021.7115 1.59%
2447.13/2453.74 c 2454 37978 2167 1 1038.0000 1021.7115 1.59%
2452.21/2458.86 c 2459 38051 2172 1 1038.0000 1021.7382 1.59%
2457.40/2464.04 c 2464 38173 2180 1 1038.0000 1021.7407 1.59%
2462.49/2469.18 c 2469 38316 2181 1 1038.0000 1021.7407 1.59%
2468.06/2474.71 c 2475 38448 2185 1 1038.0000 1021.7407 1.59%
2473.05/2479.78 c 2480 38566 2179 1 1038.0000 1021.7407 1.59%
2479.23/2485.97 c 2486 38643 2180 1 1038.0000 1021.7462 1.59%
2485.21/2491.98 c 2492 38740 2189 1 1038.0000 1021.7534 1.59%
2490.49/2497.23 c 2497 38879 2194 1 1038.0000 1021.7534 1.59%
2497.97/2504.74 c 2505 38995 2200 1 1038.0000 1021.7675 1.59%
2505.05/2511.82 c 2512 39030 2209 1 1038.0000 1021.7742 1.59%
2510.03/2516.86 c 2517 39117 2208 1 1038.0000 1021.7760 1.59%
2515.62/2522.47 c 2522 39179 2220 1 1038.0000 1021.7953 1.59%
2520.70/2527.56 c 2528 39233 2224 1 1038.0000 1021.8137 1.58%
2526.29/2533.16 c 2533 39353 2236 1 1038.0000 1021.8188 1.58%
2531.87/2538.71 c 2539 39419 2242 1 1038.0000 1021.8227 1.58%
2536.86/2543.75 c 2544 39504 2259 1 1038.0000 1021.8635 1.58%
2542.74/2549.64 c 2550 39611 2264 1 1038.0000 1021.8770 1.58%
2549.12/2556.05 c 2556 39688 2273 1 1038.0000 1021.8960 1.58%
2554.11/2561.09 c 2561 39835 2276 1 1038.0000 1021.9042 1.58%
2560.09/2567.04 c 2567 39905 2282 1 1038.0000 1021.9089 1.57%
2565.17/2572.12 c 2572 40035 2286 1 1038.0000 1021.9368 1.57%
2571.05/2578.08 c 2578 40118 2299 1 1038.0000 1021.9511 1.57%
2576.23/2583.21 c 2583 40253 2298 1 1038.0000 1021.9511 1.57%
2581.81/2588.80 c 2589 40356 2297 1 1038.0000 1021.9511 1.57%
2588.79/2595.81 c 2596 40488 2297 1 1038.0000 1021.9554 1.57%
2594.27/2601.39 c 2601 40532 2307 1 1038.0000 1021.9645 1.57%
2599.66/2606.73 c 2607 40612 2309 1 1038.0000 1021.9675 1.57%
2605.54/2612.65 c 2613 40716 2317 1 1038.0000 1021.9820 1.57%
2611.13/2618.22 c 2618 40839 2328 1 1038.0000 1021.9914 1.57%
2616.21/2623.33 c 2623 40895 2334 1 1038.0000 1022.0181 1.56%
2621.30/2628.45 c 2628 40905 2340 1 1038.0000 1022.0194 1.56%
2627.68/2634.87 c 2635 40970 2349 1 1038.0000 1022.0306 1.56%
2632.88/2640.01 c 2640 41138 2345 1 1038.0000 1022.0306 1.56%
2638.36/2645.51 c 2646 41217 2346 1 1038.0000 1022.0475 1.56%
2643.55/2650.77 c 2651 41274 2353 1 1038.0000 1022.0533 1.56%
2649.94/2657.13 c 2657 41305 2358 1 1038.0000 1022.0666 1.56%
2655.12/2662.33 c 2662 41413 2360 1 1038.0000 1022.0666 1.56%
2660.21/2667.42 c 2667 41481 2362 1 1038.0000 1022.0666 1.56%
2665.99/2673.22 c 2673 41572 2365 1 1038.0000 1022.0767 1.56%
2671.78/2679.00 c 2679 41701 2376 1 1038.0000 1022.0843 1.56%
2677.87/2685.15 c 2685 41820 2375 1 1038.0000 1022.0843 1.56%
2683.05/2690.33 c 2690 41972 2373 1 1038.0000 1022.0843 1.56%
2688.93/2696.23 c 2696 42065 2388 1 1038.0000 1022.1206 1.55%
2694.12/2701.44 c 2701 42115 2398 1 1038.0000 1022.1301 1.55%
2699.81/2707.15 c 2707 42197 2410 1 1038.0000 1022.1332 1.55%
2705.49/2712.88 c 2713 42275 2414 1 1038.0000 1022.1364 1.55%
2710.79/2718.12 c 2718 42388 2423 1 1038.0000 1022.1377 1.55%
2716.78/2724.11 c 2724 42487 2434 1 1038.0000 1022.1461 1.55%
2722.06/2729.47 c 2729 42555 2444 1 1038.0000 1022.1610 1.55%
2728.14/2735.52 c 2736 42620 2461 1 1038.0000 1022.1677 1.55%
2736.13/2743.51 c 2744 42700 2467 1 1038.0000 1022.1842 1.55%
2741.21/2748.63 c 2749 42776 2473 1 1038.0000 1022.1861 1.55%
2747.10/2754.54 c 2755 42898 2477 1 1038.0000 1022.2027 1.55%
2752.19/2759.68 c 2760 43072 2475 1 1038.0000 1022.2027 1.55%
2757.37/2764.86 c 2765 43212 2477 1 1038.0000 1022.2027 1.55%
2762.86/2770.36 c 2770 43366 2481 1 1038.0000 1022.2047 1.55%
2768.25/2775.72 c 2776 43418 2489 1 1038.0000 1022.2068 1.55%
2773.33/2780.83 c 2781 43498 2493 1 1038.0000 1022.2135 1.54%
2780.02/2787.55 c 2788 43555 2496 1 1038.0000 1022.2267 1.54%
2786.61/2794.14 c 2794 43665 2504 1 1038.0000 1022.2328 1.54%
2791.99/2799.51 c 2800 43789 2514 1 1038.0000 1022.2381 1.54%
2798.07/2805.60 c 2806 43890 2523 1 1038.0000 1022.2400 1.54%
2803.36/2810.94 c 2811 43983 2526 1 1038.0000 1022.2544 1.54%
2809.25/2816.89 c 2817 44086 2527 1 1038.0000 1022.2552 1.54%
2814.74/2822.30 c 2822 44205 2538 1 1038.0000 1022.2614 1.54%
2819.82/2827.43 c 2827 44283 2544 1 1038.0000 1022.2614 1.54%
2826.70/2834.38 c 2834 44375 2542 1 1038.0000 1022.2691 1.54%
2831.89/2839.59 c 2840 44523 2550 1 1038.0000 1022.2691 1.54%
2837.18/2844.88 c 2845 44674 2553 1 1038.0000 1022.2691 1.54%
2844.06/2851.74 c 2852 44825 2548 1 1038.0000 1022.2693 1.54%
2849.26/2856.95 c 2857 44951 2558 1 1038.0000 1022.2693 1.54%
2855.35/2863.04 c 2863 45019 2562 1 1038.0000 1022.2796 1.54%
2860.93/2868.65 c 2869 45111 2566 1 1038.0000 1022.2815 1.54%
2866.12/2873.85 c 2874 45256 2567 1 1038.0000 1022.2815 1.54%
2873.10/2880.86 c 2881 45345 2572 1 1038.0000 1022.2915 1.54%
2879.08/2886.83 c 2887 45509 2584 1 1038.0000 1022.2943 1.54%
2885.57/2893.31 c 2893 45606 2591 1 1038.0000 1022.3038 1.54%
2893.55/2901.30 c 2901 45700 2599 1 1038.0000 1022.3119 1.53%
2899.13/2906.99 c 2907 45834 2611 1 1038.0000 1022.3166 1.53%
2904.92/2912.70 c 2913 45927 2614 1 1038.0000 1022.3223 1.53%
2910.10/2917.93 c 2918 46055 2624 1 1038.0000 1022.3232 1.53%
2915.20/2923.04 c 2923 46203 2634 1 1038.0000 1022.3422 1.53%
2920.38/2928.29 c 2928 46283 2638 1 1038.0000 1022.3444 1.53%
2928.66/2936.54 c 2937 46385 2642 1 1038.0000 1022.3570 1.53%
2934.55/2942.45 c 2942 46470 2649 1 1038.0000 1022.3599 1.53%
2940.54/2948.42 c 2948 46581 2656 1 1038.0000 1022.3603 1.53%
2945.72/2953.62 c 2954 46724 2655 1 1038.0000 1022.3603 1.53%
2951.41/2959.32 c 2959 46756 2665 1 1038.0000 1022.3647 1.53%
2956.90/2964.83 c 2965 46825 2670 1 1038.0000 1022.3812 1.53%
2963.28/2971.24 c 2971 46867 2676 1 1038.0000 1022.3974 1.53%
2969.07/2977.04 c 2977 47017 2688 1 1038.0000 1022.4003 1.53%
2974.45/2982.48 c 2982 47092 2699 1 1038.0000 1022.4076 1.53%
2980.23/2988.27 c 2988 47182 2709 1 1038.0000 1022.4148 1.52%
2986.61/2994.66 c 2995 47280 2715 1 1038.0000 1022.4214 1.52%
2992.29/3000.30 c 3000 47377 2718 1 1038.0000 1022.4386 1.52%
2997.88/3005.91 c 3006 47471 2726 1 1038.0000 1022.4398 1.52%
3003.36/3011.48 c 3011 47607 2734 1 1038.0000 1022.4421 1.52%
3008.74/3016.85 c 3017 47710 2733 1 1038.0000 1022.4459 1.52%
3014.03/3022.14 c 3022 47833 2738 1 1038.0000 1022.4459 1.52%
3019.21/3027.34 c 3027 47950 2739 1 1038.0000 1022.4530 1.52%
3026.09/3034.21 c 3034 48066 2739 1 1038.0000 1022.4663 1.52%
3031.88/3040.05 c 3040 48090 2747 1 1038.0000 1022.4765 1.52%
3037.17/3045.36 c 3045 48219 2748 1 1038.0000 1022.4765 1.52%
3043.15/3051.38 c 3051 48356 2753 1 1038.0000 1022.4765 1.52%
3048.53/3056.70 c 3057 48495 2754 1 1038.0000 1022.4862 1.52%
3054.21/3062.46 c 3062 48574 2765 1 1038.0000 1022.4927 1.52%
3060.19/3068.43 c 3068 48656 2769 1 1038.0000 1022.5200 1.51%
3065.67/3073.98 c 3074 48805 2778 1 1038.0000 1022.5200 1.51%
3070.95/3079.21 c 3079 48947 2778 1 1038.0000 1022.5200 1.51%
3076.94/3085.20 c 3085 49080 2787 1 1038.0000 1022.5217 1.51%
3082.43/3090.79 c 3091 49157 2794 1 1038.0000 1022.5301 1.51%
3088.91/3097.23 c 3097 49246 2795 1 1038.0000 1022.5357 1.51%
3094.11/3102.45 c 3102 49377 2802 1 1038.0000 1022.5357 1.51%
3099.48/3107.87 c 3108 49478 2809 1 1038.0000 1022.5357 1.51%
3105.08/3113.42 c 3113 49556 2809 1 1038.0000 1022.5357 1.51%
3110.16/3118.53 c 3119 49616 2809 1 1038.0000 1022.5376 1.51%
3115.25/3123.61 c 3124 49695 2812 1 1038.0000 1022.5384 1.51%
3121.03/3129.45 c 3129 49797 2818 1 1038.0000 1022.5404 1.51%
3126.82/3135.29 c 3135 49836 2823 1 1038.0000 1022.5460 1.51%
3133.71/3142.14 c 3142 49906 2825 1 1038.0000 1022.5472 1.51%
3138.79/3147.26 c 3147 50008 2831 1 1038.0000 1022.5511 1.51%
3144.38/3152.80 c 3153 50115 2846 1 1038.0000 1022.5751 1.51%
3150.16/3158.69 c 3159 50176 2853 1 1038.0000 1022.5765 1.51%
3156.15/3164.62 c 3165 50324 2861 1 1038.0000 1022.5795 1.51%
3161.54/3170.06 c 3170 50442 2863 1 1038.0000 1022.5799 1.51%
3166.82/3175.37 c 3175 50548 2869 1 1038.0000 1022.5983 1.51%
3171.91/3180.44 c 3180 50702 2865 1 1038.0000 1022.5983 1.51%
3177.89/3186.45 c 3186 50831 2878 1 1038.0000 1022.6016 1.51%
3184.17/3192.70 c 3193 50928 2889 1 1038.0000 1022.6158 1.50%
3189.86/3198.41 c 3198 51037 2890 1 1038.0000 1022.6196 1.50%
3196.64/3205.20 c 3205 51140 2897 1 1038.0000 1022.6198 1.50%
3202.03/3210.62 c 3211 51211 2908 1 1038.0000 1022.6246 1.50%
3208.01/3216.62 c 3217 51360 2911 1 1038.0000 1022.6284 1.50%
3213.50/3222.16 c 3222 51451 2920 1 1038.0000 1022.6488 1.50%
3219.28/3227.91 c 3228 51550 2925 1 1038.0000 1022.6502 1.50%
3226.07/3234.75 c 3235 51647 2930 1 1038.0000 1022.6524 1.50%
3231.55/3240.24 c 3240 51738 2937 1 1038.0000 1022.6563 1.50%
3236.64/3245.36 c 3245 51855 2942 1 1038.0000 1022.6797 1.50%
3242.73/3251.44 c 3251 51936 2951 1 1038.0000 1022.6807 1.50%
3248.42/3257.13 c 3257 52035 2962 1 1038.0000 1022.6871 1.50%
3254.20/3262.90 c 3263 52113 2970 1 1038.0000 1022.6907 1.50%
3260.08/3268.85 c 3269 52240 2983 1 1038.0000 1022.7049 1.50%
3265.57/3274.37 c 3274 52278 2989 1 1038.0000 1022.7073 1.50%
3270.96/3279.70 c 3280 52391 3000 1 1038.0000 1022.7080 1.50%
3276.64/3285.44 c 3285 52491 3006 1 1038.0000 1022.7085 1.50%
3282.04/3290.89 c 3291 52643 3010 1 1038.0000 1022.7103 1.50%
3288.33/3297.17 c 3297 52745 3012 1 1038.0000 1022.7212 1.49%
3296.21/3305.09 c 3305 52830 3019 1 1038.0000 1022.7221 1.49%
3301.79/3310.64 c 3311 52963 3028 1 1038.0000 1022.7229 1.49%
3308.67/3317.50 c 3318 53025 3030 1 1038.0000 1022.7332 1.49%
3314.76/3323.61 c 3324 53083 3048 1 1038.0000 1022.7381 1.49%
3320.15/3329.01 c 3329 53183 3056 1 1038.0000 1022.7393 1.49%
3325.13/3334.08 c 3334 53319 3054 1 1038.0000 1022.7393 1.49%
3331.01/3339.98 c 3340 53415 3072 1 1038.0000 1022.7525 1.49%
3336.30/3345.23 c 3345 53475 3078 1 1038.0000 1022.7557 1.49%
3341.39/3350.30 c 3350 53541 3092 1 1038.0000 1022.7590 1.49%
3346.77/3355.71 c 3356 53608 3091 1 1038.0000 1022.7594 1.49%
3352.37/3361.33 c 3361 53691 3104 1 1038.0000 1022.7917 1.49%
3357.65/3366.60 c 3367 53828 3105 1 1038.0000 1022.7917 1.49%
3363.14/3372.13 c 3372 53894 3109 1 1038.0000 1022.7996 1.49%
3369.22/3378.24 c 3378 53927 3112 1 1038.0000 1022.8154 1.48%
3374.91/3383.94 c 3384 53973 3118 1 1038.0000 1022.8167 1.48%
3380.79/3389.89 c 3390 54115 3122 1 1038.0000 1022.8278 1.48%
3385.98/3395.06 c 3395 54243 3122 1 1038.0000 1022.8278 1.48%
3391.66/3400.73 c 3401 54355 3124 1 1038.0000 1022.8341 1.48%
3396.96/3406.08 c 3406 54427 3126 1 1038.0000 1022.8341 1.48%
3403.63/3412.72 c 3413 54505 3132 1 1038.0000 1022.8472 1.48%
3408.72/3417.83 c 3418 54632 3137 1 1038.0000 1022.8472 1.48%
3413.91/3423.02 c 3423 54771 3134 1 1038.0000 1022.8472 1.48%
3419.50/3428.64 c 3429 54895 3138 1 1038.0000 1022.8638 1.48%
3426.09/3435.27 c 3435 54980 3147 1 1038.0000 1022.8694 1.48%
3432.47/3441.69 c 3442 55056 3153 1 1038.0000 1022.8788 1.48%
3437.66/3446.83 c 3447 55187 3158 1 1038.0000 1022.8788 1.48%
3443.64/3452.80 c 3453 55276 3161 1 1038.0000 1022.8958 1.48%
3449.23/3458.43 c 3458 55355 3164 1 1038.0000 1022.8958 1.48%
3454.82/3464.01 c 3464 55480 3175 1 1038.0000 1022.9046 1.48%
3461.40/3470.67 c 3471 55605 3182 1 1038.0000 1022.9202 1.47%
3466.59/3475.84 c 3476 55735 3190 1 1038.0000 1022.9209 1.47%
3471.97/3481.20 c 3481 55782 3201 1 1038.0000 1022.9211 1.47%
3477.46/3486.73 c 3487 55823 3216 1 1038.0000 1022.9428 1.47%
3483.24/3492.54 c 3493 55971 3222 1 1038.0000 1022.9513 1.47%
3488.84/3498.11 c 3498 56046 3229 1 1038.0000 1022.9520 1.47%
3493.92/3503.20 c 3503 56198 3229 1 1038.0000 1022.9520 1.47%
3499.01/3508.38 c 3508 56215 3234 1 1038.0000 1022.9604 1.47%
3504.99/3514.33 c 3514 56288 3245 1 1038.0000 1022.9745 1.47%
3510.78/3520.11 c 3520 56377 3246 1 1038.0000 1022.9771 1.47%
3515.96/3525.37 c 3525 56522 3247 1 1038.0000 1022.9771 1.47%
3523.14/3532.50 c 3533 56665 3250 1 1038.0000 1022.9826 1.47%
3528.23/3537.65 c 3538 56798 3255 1 1038.0000 1022.9826 1.47%
3534.12/3543.54 c 3544 56930 3259 1 1038.0000 1022.9846 1.47%
3539.50/3548.93 c 3549 57065 3270 1 1038.0000 1022.9846 1.47%
3545.70/3555.19 c 3555 57147 3270 1 1038.0000 1022.9880 1.47%
3551.48/3560.94 c 3561 57264 3279 1 1038.0000 1022.9945 1.47%
3560.66/3570.12 c 3570 57350 3287 1 1038.0000 1022.9968 1.47%
3565.85/3575.34 c 3575 57490 3291 1 1038.0000 1022.9968 1.47%
3571.83/3581.31 c 3581 57615 3302 1 1038.0000 1023.0109 1.47%
3577.22/3586.77 c 3587 57755 3306 1 1038.0000 1023.0269 1.46%
3582.51/3592.06 c 3592 57875 3316 1 1038.0000 1023.0341 1.46%
3588.19/3597.76 c 3598 57961 3338 1 1038.0000 1023.0392 1.46%
3590.49/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.49/3600.05 c Total Time : 3600.04
3590.49/3600.05 c solving : 3600.04
3590.49/3600.05 c presolving : 0.04 (included in solving)
3590.49/3600.05 c B&B Tree :
3590.49/3600.05 c nodes (total) : 1
3590.49/3600.05 c Solution :
3590.49/3600.05 c Solutions found : 13
3590.49/3600.05 c Primal Bound : +1.03800000000000e+03
3590.49/3600.05 c Dual Bound : +1.02306810711923e+03
3590.49/3600.05 c Gap : 1.45952 %
3590.49/3600.05 c * Warning: final gap: 1.45952e-02 is greater than SCIPepsilon: 1.00000e-09
3590.49/3600.05 o 1038
3590.49/3600.05 s SATISFIABLE
3590.49/3600.05 v x1963 -x1962 x1961 -x1960 x1959 x1958 -x1957 x1956 -x1955 x1954 x1953 x1952 x1951 x1950 x1949 x1948 x1947 -x1946 x1945 x1944 -x1943
3590.49/3600.05 v x1942 x1941 x1940 x1939 -x1938 x1937 -x1936 -x1935 -x1934 x1933 -x1932 x1931 x1930 x1929 -x1928 -x1927 -x1926 x1925 x1924
3590.49/3600.05 v -x1923 x1922 -x1921 x1920 -x1919 x1918 -x1917 x1916 x1915 -x1914 x1913 -x1912 x1911 -x1910 -x1909 x1908 -x1907 -x1906 x1905
3590.49/3600.05 v -x1904 x1903 -x1902 -x1901 -x1900 x1899 x1898 -x1897 -x1896 x1895 x1894 -x1893 -x1892 x1891 -x1890 x1889 x1888 x1887 -x1886
3590.49/3600.05 v x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 x1877 x1876 x1875 -x1874 -x1873 x1872 x1871 x1870 x1869 x1868 -x1867 x1866
3590.49/3600.05 v x1865 -x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 x1854 x1853 -x1852 x1851 -x1850 -x1849 -x1848 -x1847
3590.49/3600.05 v -x1846 -x1845 x1844 -x1843 -x1842 -x1841 -x1840 x1839 -x1838 -x1837 -x1836 x1835 x1834 -x1833 -x1832 -x1831 x1830 -x1829 x1828
3590.49/3600.05 v x1827 x1826 x1825 -x1824 x1823 -x1822 x1821 x1820 x1819 -x1818 -x1817 -x1816 x1815 -x1814 -x1813 x1812 x1811 -x1810 x1809
3590.49/3600.05 v x1808 -x1807 x1806 -x1805 -x1804 -x1803 x1802 -x1801 x1800 x1799 x1798 x1797 x1796 -x1795 x1794 -x1793 x1792 x1791 -x1790 -x1789
3590.49/3600.05 v x1788 -x1787 -x1786 x1785 -x1784 x1783 x1782 x1781 x1780 x1779 -x1778 -x1777 x1776 x1775 -x1774 -x1773 x1772 x1771 x1770
3590.49/3600.05 v x1769 -x1768 x1767 x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 -x1759 x1758 x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751
3590.49/3600.05 v -x1750 x1749 -x1748 x1747 x1746 x1745 -x1744 -x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 -x1733 x1732 -x1731
3590.49/3600.05 v x1730 -x1729 x1728 -x1727 x1726 -x1725 -x1724 x1723 x1722 -x1721 x1720 x1719 -x1718 x1717 -x1716 x1715 -x1714 x1713 -x1712 x1711
3590.49/3600.05 v -x1710 x1709 x1708 x1707 x1706 x1705 -x1704 x1703 x1702 -x1701 x1700 x1699 -x1698 -x1697 x1696 x1695 -x1694 x1693 -x1692
3590.49/3600.05 v -x1691 x1690 -x1689 -x1688 x1687 -x1686 -x1685 -x1684 x1683 x1682 x1681 -x1680 x1679 x1678 -x1677 x1676 -x1675 x1674 x1673 -x1672
3590.49/3600.05 v x1671 -x1670 -x1669 -x1668 x1667 x1666 -x1665 x1664 -x1663 -x1662 x1661 -x1660 x1659 x1658 -x1657 -x1656 x1655 -x1654 x1653
3590.49/3600.05 v -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 x1645 -x1644 x1643 x1642 x1641 -x1640 x1639 x1638 x1637 -x1636 -x1635 x1634
3590.49/3600.05 v -x1633 x1632 -x1631 x1630 -x1629 x1628 x1627 -x1626 x1625 -x1624 x1623 -x1622 x1621 -x1620 -x1619 -x1618 x1617 x1616 x1615
3590.49/3600.05 v -x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 x1605 x1604 -x1603 x1602 x1601 x1600 x1599 -x1598 -x1597 x1596
3590.49/3600.05 v -x1595 x1594 -x1593 x1592 x1591 x1590 -x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 -x1582 x1581 -x1580 x1579 -x1578 -x1577 x1576
3590.49/3600.05 v x1575 -x1574 x1573 x1572 x1571 -x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 x1563 x1562 x1561 -x1560 -x1559 x1558 -x1557
3590.49/3600.05 v -x1556 x1555 -x1554 x1553 x1552 x1551 -x1550 -x1549 -x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 x1541 x1540 x1539 -x1538
3590.49/3600.05 v -x1537 -x1536 x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 -x1523 x1522 -x1521 x1520 -x1519
3590.49/3600.05 v -x1518 -x1517 x1516 x1515 x1514 -x1513 x1512 -x1511 x1510 -x1509 x1508 x1507 x1506 -x1505 x1504 x1503 -x1502 -x1501 -x1500
3590.49/3600.05 v -x1499 -x1498 x1497 x1496 x1495 x1494 x1493 -x1492 x1491 -x1490 -x1489 x1488 -x1487 -x1486 x1485 -x1484 x1483 -x1482 x1481 x1480
3590.49/3600.05 v x1479 -x1478 -x1477 x1476 -x1475 x1474 -x1473 x1472 x1471 x1470 -x1469 x1468 -x1467 x1466 x1465 x1464 x1463 x1462 -x1461
3590.49/3600.05 v x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 x1447 -x1446 -x1445 -x1444 -x1443 x1442
3590.49/3600.05 v -x1441 -x1440 -x1439 -x1438 -x1437 x1436 x1435 x1434 x1433 x1432 -x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 -x1424 x1423 x1422
3590.49/3600.05 v -x1421 -x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 x1403
3590.49/3600.05 v -x1402 -x1401 -x1400 x1399 -x1398 x1397 -x1396 -x1395 x1394 -x1393 x1392 x1391 -x1390 x1389 -x1388 -x1387 x1386 x1385 x1384
3590.49/3600.05 v -x1383 x1382 x1381 -x1380 -x1379 -x1378 -x1377 x1376 -x1375 x1374 x1373 x1372 -x1371 x1370 -x1369 -x1368 x1367 x1366 -x1365 -x1364
3590.49/3600.05 v x1363 x1362 x1361 -x1360 -x1359 x1358 x1357 -x1356 -x1355 -x1354 x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 -x1346 x1345
3590.49/3600.05 v -x1344 -x1343 -x1342 -x1341 x1340 x1339 x1338 x1337 -x1336 x1335 x1334 -x1333 x1332 x1331 -x1330 x1329 -x1328 -x1327 x1326
3590.49/3600.05 v x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 x1318 x1317 x1316 x1315 -x1314 -x1313 -x1312 x1311 -x1310 x1309 -x1308 x1307
3590.49/3600.05 v -x1306 -x1305 -x1304 x1303 -x1302 x1301 -x1300 -x1299 x1298 x1297 x1296 x1295 x1294 x1293 -x1292 -x1291 x1290 x1289 -x1288 x1287
3590.49/3600.05 v x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 x1278 -x1277 -x1276 -x1275 x1274 x1273 -x1272 -x1271 x1270 x1269 -x1268
3590.49/3600.05 v -x1267 -x1266 -x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258 x1257 x1256 x1255 -x1254 -x1253 x1252 x1251 x1250 x1249 -x1248
3590.49/3600.05 v -x1247 -x1246 x1245 -x1244 x1243 -x1242 x1241 -x1240 -x1239 x1238 x1237 -x1236 x1235 -x1234 x1233 x1232 -x1231 x1230 -x1229
3590.49/3600.05 v x1228 x1227 x1226 x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 x1218 -x1217 x1216 x1215 x1214 x1213 x1212 -x1211 -x1210
3590.49/3600.05 v x1209 -x1208 -x1207 x1206 x1205 x1204 -x1203 -x1202 -x1201 x1200 x1199 x1198 x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190
3590.49/3600.05 v -x1189 x1188 x1187 -x1186 -x1185 -x1184 -x1183 -x1182 x1181 x1180 x1179 x1178 -x1177 -x1176 -x1175 x1174 -x1173 x1172 -x1171
3590.49/3600.05 v -x1170 -x1169 x1168 x1167 x1166 x1165 x1164 -x1163 -x1162 x1161 x1160 -x1159 -x1158 x1157 -x1156 x1155 -x1154 x1153 -x1152
3590.49/3600.05 v -x1151 -x1150 -x1149 x1148 x1147 x1146 x1145 x1144 x1143 x1142 -x1141 -x1140 x1139 -x1138 x1137 -x1136 -x1135 x1134 -x1133
3590.49/3600.05 v x1132 -x1131 x1130 x1129 -x1128 x1127 x1126 -x1125 x1124 x1123 x1122 x1121 x1120 x1119 -x1118 x1117 x1116 -x1115 x1114 -x1113
3590.49/3600.05 v -x1112 x1111 -x1110 x1109 -x1108 x1107 -x1106 -x1105 x1104 x1103 x1102 x1101 -x1100 x1099 x1098 x1097 x1096 x1095 x1094 x1093
3590.49/3600.05 v x1092 -x1091 x1090 x1089 -x1088 -x1087 -x1086 -x1085 x1084 x1083 -x1082 x1081 x1080 -x1079 -x1078 x1077 x1076 x1075 x1074
3590.49/3600.05 v -x1073 x1072 x1071 x1070 x1069 -x1068 -x1067 x1066 -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055
3590.49/3600.05 v -x1054 x1053 x1052 -x1051 x1050 -x1049 -x1048 x1047 -x1046 x1045 -x1044 x1043 -x1042 -x1041 -x1040 x1039 x1038 -x1037 -x1036
3590.49/3600.05 v x1035 -x1034 x1033 x1032 x1031 -x1030 x1029 x1028 x1027 x1026 x1025 -x1024 x1023 -x1022 x1021 x1020 x1019 -x1018 x1017 x1016
3590.49/3600.05 v x1015 -x1014 x1013 -x1012 x1011 x1010 x1009 -x1008 -x1007 x1006 -x1005 -x1004 x1003 x1002 x1001 -x1000 x999 -x998 -x997 -x996
3590.49/3600.05 v x995 x994 x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 x980 -x979 -x978 x977 -x976 x975 x974
3590.49/3600.05 v x973 -x972 -x971 -x970 x969 x968 x967 -x966 -x965 -x964 x963 x962 x961 x960 -x959 -x958 x957 x956 -x955 x954 x953 x952 -x951
3590.49/3600.05 v x950 x949 -x948 x947 -x946 x945 x944 x943 x942 x941 x940 -x939 -x938 -x937 x936 -x935 x934 x933 -x932 -x931 x930 x929 x928 x927
3590.49/3600.05 v -x926 -x925 -x924 -x923 -x922 x921 x920 x919 x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 x907 -x906 -x905
3590.49/3600.05 v x904 x903 x902 -x901 x900 -x899 -x898 x897 -x896 -x895 -x894 x893 x892 x891 x890 x889 -x888 -x887 x886 -x885 x884 -x883 -x882
3590.49/3600.05 v -x881 -x880 -x879 -x878 -x877 x876 -x875 x874 -x873 x872 x871 -x870 x869 x868 x867 -x866 -x865 -x864 x863 x862 x861 -x860
3590.49/3600.05 v x859 -x858 x857 -x856 x855 -x854 x853 -x852 x851 -x850 -x849 x848 x847 -x846 x845 x844 -x843 x842 -x841 x840 -x839 x838 -x837
3590.49/3600.05 v x836 x835 -x834 x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 x821 x820 x819 -x818 x817 x816 x815 x814
3590.49/3600.05 v -x813 -x812 -x811 -x810 x809 x808 -x807 -x806 -x805 -x804 -x803 x802 x801 x800 -x799 -x798 -x797 x796 x795 x794 -x793 x792
3590.49/3600.05 v x791 x790 -x789 x788 -x787 x786 -x785 x784 -x783 -x782 x781 x780 x779 -x778 -x777 x776 x775 -x774 x773 x772 -x771 -x770 -x769
3590.49/3600.05 v -x768 x767 x766 x765 x764 -x763 -x762 x761 x760 x759 -x758 -x757 -x756 x755 x754 -x753 x752 -x751 -x750 x749 x748 x747 x746
3590.49/3600.05 v x745 -x744 x743 x742 -x741 x740 -x739 x738 x737 x736 x735 x734 x733 x732 -x731 -x730 x729 x728 x727 x726 -x725 x724 x723 x722
3590.49/3600.05 v x721 -x720 x719 x718 -x717 x716 x715 -x714 -x713 x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 x700
3590.49/3600.05 v -x699 -x698 x697 -x696 x695 x694 -x693 -x692 x691 -x690 x689 -x688 -x687 -x686 x685 -x684 x683 -x682 x681 x680 x679 -x678 -x677
3590.49/3600.05 v x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 x664 x663 x662 -x661 -x660 x659 -x658 x657 -x656 x655
3590.49/3600.05 v -x654 x653 x652 -x651 x650 x649 -x648 -x647 -x646 -x645 x644 x643 x642 x641 -x640 -x639 x638 x637 -x636 x635 x634 -x633 x632
3590.49/3600.05 v x631 x630 -x629 x628 x627 -x626 x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 x616 x615 -x614 x613 -x612 -x611 -x610 x609
3590.49/3600.05 v -x608 x607 -x606 -x605 x604 x603 x602 x601 -x600 -x599 x598 x597 x596 x595 x594 -x593 x592 -x591 -x590 -x589 -x588 x587 -x586
3590.49/3600.05 v -x585 x584 -x583 x582 x581 x580 -x579 -x578 -x577 x576 x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 x565 -x564
3590.49/3600.05 v x563 x562 -x561 -x560 x559 -x558 x557 x556 -x555 x554 x553 x552 -x551 -x550 -x549 -x548 x547 x546 -x545 -x544 -x543 -x542 -x541
3590.49/3600.05 v x540 x539 x538 -x537 x536 -x535 x534 -x533 x532 x531 x530 x529 x528 -x527 x526 -x525 x524 -x523 x522 x521 x520 x519 -x518
3590.49/3600.05 v -x517 -x516 x515 x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 x506 x505 -x504 x503 -x502 x501 -x500 -x499 -x498 x497 -x496
3590.49/3600.05 v -x495 x494 x493 -x492 x491 x490 -x489 x488 -x487 x486 x485 x484 -x483 -x482 x481 -x480 x479 x478 -x477 x476 -x475 x474 -x473
3590.49/3600.05 v x472 x471 -x470 -x469 -x468 x467 x466 -x465 x464 -x463 x462 x461 x460 x459 x458 -x457 x456 -x455 -x454 -x453 -x452 x451 x450
3590.49/3600.05 v x449 x448 -x447 x446 x445 -x444 x443 x442 -x441 x440 x439 -x438 -x437 x436 x435 -x434 -x433 -x432 x431 x430 x429 x428 -x427 x426
3590.49/3600.05 v -x425 -x424 x423 x422 x421 x420 -x419 x418 x417 x416 -x415 -x414 x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 x405 x404
3590.49/3600.05 v x403 -x402 -x401 x400 x399 x398 -x397 -x396 -x395 -x394 -x393 x392 x391 x390 -x389 -x388 -x387 -x386 -x385 x384 x383 -x382 x381
3590.49/3600.05 v x380 x379 x378 -x377 x376 -x375 x374 -x373 x372 x371 -x370 -x369 -x368 x367 x366 x365 -x364 -x363 x362 x361 -x360 -x359 -x358
3590.49/3600.05 v -x357 x356 x355 -x354 -x353 x352 -x351 x350 -x349 x348 x347 -x346 -x345 -x344 -x343 x342 x341 x340 x339 -x338 x337 x336 -x335
3590.49/3600.05 v -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 x325 x324 x323 x322 x321 -x320 -x319 x318 x317 x316 x315 -x314 -x313
3590.49/3600.05 v x312 -x311 x310 -x309 x308 x307 x306 x305 -x304 -x303 -x302 x301 -x300 x299 -x298 x297 -x296 -x295 x294 x293 x292 x291 -x290
3590.49/3600.05 v x289 x288 x287 -x286 x285 -x284 -x283 -x282 x281 -x280 x279 -x278 -x277 x276 x275 x274 -x273 x272 -x271 x270 -x269 -x268 x267
3590.49/3600.05 v x266 x265 -x264 -x263 -x262 -x261 x260 -x259 x258 -x257 x256 x255 x254 -x253 x252 x251 -x250 x249 x248 -x247 -x246 -x245 x244
3590.49/3600.05 v x243 -x242 x241 x240 x239 -x238 x237 x236 x235 x234 -x233 -x232 -x231 x230 -x229 x228 x227 x226 -x225 -x224 x223 x222 x221
3590.49/3600.05 v -x220 x219 -x218 x217 -x216 x215 -x214 -x213 x212 -x211 -x210 -x209 x208 -x207 -x206 x205 -x204 x203 -x202 -x201 x200 x199 x198
3590.49/3600.05 v x197 x196 -x195 x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 x185 x184 x183 -x182 -x181 x180 -x179 -x178 x177 -x176
3590.49/3600.05 v -x175 -x174 -x173 -x172 x171 x170 -x169 -x168 x167 -x166 x165 -x164 x163 x162 x161 x160 -x159 x158 -x157 x156 x155 -x154 x153
3590.49/3600.05 v -x152 x151 x150 -x149 x148 x147 x146 x145 -x144 x143 x142 x141 x140 x139 x138 x137 -x136 -x135 x134 x133 x132 x131 x130 x129
3590.49/3600.05 v x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 x119 x118 x117 x116 -x115 x114 x113 x112 -x111 x110 x109 x108 -x107 -x106
3590.49/3600.05 v -x105 x104 x103 -x102 -x101 x100 x99 x98 -x97 -x96 x95 -x94 -x93 x92 x91 x90 -x89 -x88 x87 -x86 -x85 x84 -x83 x82 x81 -x80
3590.49/3600.05 v -x79 -x78 -x77 x76 x75 x74 x73 -x72 x71 -x70 x69 -x68 x67 x66 -x65 -x64 -x63 x62 -x61 x60 x59 -x58 -x57 x56 x55 x54 x53 -x52
3590.49/3600.05 v -x51 -x50 -x49 x48 x47 -x46 x45 x44 x43 -x42 x41 -x40 -x39 -x38 x37 x36 x35 x34 -x33 x32 x31 -x30 x29 x28 x27 x26 x25 x24 -x23
3590.49/3600.05 v x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 x13 -x12 x11 x10 -x9 x8 -x7 -x6 x5 -x4 x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63042 MiB free)
memory of node 1: 64473 MiB (63437 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434660-1721082413/watcher-4434660-1721082413 -o /tmp/evaluation-result-4434660-1721082413/solver-4434660-1721082413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843390 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434660-1721082413.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=843451, runsolver pid=843436
[startup+0.100089 s]*
/proc/loadavg: 1.19 2.11 3.20 8/266 843460
/proc/meminfo: memFree=129379128/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=131248 memory=45124 CPUtime=0.1 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 9701 0 0 0 9 1 0 0 20 0 3 0 160403706 134397952 11281 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 32812 11281 2782 3032 0 15227 0
[pid=843451/tid=843454] ppid=843436 vsize=131248 memory=4026561586 CPUtime=0.03 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 3560 0 0 0 3 0 0 0 20 0 3 0 160403712 134397952 11281 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=131248 memory=228556276070 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 134397952 11281 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 131248 KiB
Current children cumulated memory: 45124 KiB
[startup+0.205899 s]*
/proc/loadavg: 1.19 2.11 3.20 6/266 843460
/proc/meminfo: memFree=129350596/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=132272 memory=52636 CPUtime=0.2 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 11432 0 0 0 19 1 0 0 20 0 3 0 160403706 135446528 13159 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 33068 13159 2894 3032 0 16980 0
[pid=843451/tid=843454] ppid=843436 vsize=132272 memory=664970851429515395 CPUtime=0.13 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 5291 0 0 0 13 0 0 0 20 0 3 0 160403712 135446528 13159 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=132272 memory=16956 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 135446528 13159 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132272 KiB
Current children cumulated memory: 52636 KiB
[startup+0.306149 s]*
/proc/loadavg: 1.19 2.11 3.20 8/266 843460
/proc/meminfo: memFree=129349628/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=132272 memory=52636 CPUtime=0.3 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 11434 0 0 0 29 1 0 0 20 0 3 0 160403706 135446528 13159 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 33068 13159 2894 3032 0 16981 0
[pid=843451/tid=843454] ppid=843436 vsize=132272 memory=-6514009816462179174 CPUtime=0.23 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 5293 0 0 0 23 0 0 0 20 0 3 0 160403712 135446528 13159 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=132272 memory=0 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 135446528 13159 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132272 KiB
Current children cumulated memory: 52636 KiB
[startup+0.70018 s]
/proc/loadavg: 1.19 2.11 3.20 5/266 843460
/proc/meminfo: memFree=129333968/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=133728 memory=57424 CPUtime=0.69 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 12617 0 0 0 68 1 0 0 20 0 3 0 160403706 136937472 14356 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 33432 14356 2910 3032 0 18260 0
[pid=843451/tid=843454] ppid=843436 vsize=133728 memory=0 CPUtime=0.62 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 6476 0 0 0 62 0 0 0 20 0 3 0 160403712 136937472 14356 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=133728 memory=0 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160403713 136937472 14356 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133728 KiB
Current children cumulated memory: 57424 KiB
[startup+1.50019 s]
/proc/loadavg: 1.19 2.11 3.20 8/266 843460
/proc/meminfo: memFree=129330188/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=133728 memory=59908 CPUtime=1.49 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 17102 0 0 0 147 2 0 0 20 0 3 0 160403706 136937472 14977 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 33432 14977 2910 3032 0 19084 0
[pid=843451/tid=843454] ppid=843436 vsize=133728 memory=0 CPUtime=1.42 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 10953 0 0 0 141 1 0 0 20 0 3 0 160403712 136937472 14977 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=133728 memory=0 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 160403713 136937472 14977 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 133728 KiB
Current children cumulated memory: 59908 KiB
[startup+3.10533 s]
/proc/loadavg: 1.19 2.11 3.20 8/266 843462
/proc/meminfo: memFree=129220780/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=143400 memory=80588 CPUtime=3.08 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 26727 0 0 0 306 2 0 0 20 0 3 0 160403706 146841600 20147 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 35850 20147 2910 3032 0 24415 0
[pid=843451/tid=843454] ppid=843436 vsize=143400 memory=0 CPUtime=3.01 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 20578 0 0 0 300 1 0 0 20 0 3 0 160403712 146841600 20147 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=143400 memory=2273 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 160403713 146841600 20147 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 80588 KiB
[startup+6.30019 s]
/proc/loadavg: 1.41 2.15 3.20 8/266 843462
/proc/meminfo: memFree=129070644/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=179560 memory=121092 CPUtime=6.28 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 50764 0 0 0 623 5 0 0 20 0 3 0 160403706 183869440 30273 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 44890 30273 2910 3032 0 35027 0
[pid=843451/tid=843454] ppid=843436 vsize=179560 memory=0 CPUtime=6.21 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 44611 0 0 0 617 4 0 0 20 0 3 0 160403712 183869440 30273 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=179560 memory=279647870873456 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 160403713 183869440 30273 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 179560 KiB
Current children cumulated memory: 121092 KiB
[startup+12.7002 s]
/proc/loadavg: 1.70 2.19 3.21 8/266 843462
/proc/meminfo: memFree=128946040/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=179560 memory=127980 CPUtime=12.66 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 60763 0 0 0 1260 6 0 0 20 0 3 0 160403706 183869440 31995 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 44890 31995 2910 3032 0 37238 0
[pid=843451/tid=843454] ppid=843436 vsize=179560 memory=116280 CPUtime=12.59 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 54568 0 0 0 1254 5 0 0 20 0 3 0 160403712 183869440 31995 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=179560 memory=18860 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 160403713 183869440 31995 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 179560 KiB
Current children cumulated memory: 127980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.21 2.28 3.22 8/266 843465
/proc/meminfo: memFree=128936148/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=185688 memory=134724 CPUtime=25.43 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 85525 0 0 0 2536 7 0 0 20 0 3 0 160403706 190144512 33681 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 46422 33681 2958 3032 0 39020 0
[pid=843451/tid=843454] ppid=843436 vsize=185688 memory=131640 CPUtime=25.36 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 79231 0 0 0 2530 6 0 0 20 0 3 0 160403712 190144512 33681 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=185688 memory=128176 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 160403713 190144512 33681 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 185688 KiB
Current children cumulated memory: 134724 KiB
[startup+51.1053 s]
/proc/loadavg: 2.90 2.44 3.25 8/266 843468
/proc/meminfo: memFree=128718260/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=214212 memory=173120 CPUtime=50.97 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 142264 0 0 0 5085 12 0 0 20 0 3 0 160403706 219353088 43280 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 53553 43280 2958 3032 0 49504 0
[pid=843451/tid=843454] ppid=843436 vsize=214212 memory=165112 CPUtime=50.89 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 135182 0 0 0 5078 11 0 0 20 0 3 0 160403712 219353088 43280 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=214212 memory=0 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 160403713 219353088 43280 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 214212 KiB
Current children cumulated memory: 173120 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.71 3.30 8/268 843646
/proc/meminfo: memFree=128614788/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=277120 memory=182212 CPUtime=102.04 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 232475 0 0 0 10184 20 0 0 20 0 3 0 160403706 283770880 45553 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 69280 45553 2958 3032 0 52026 0
[pid=843451/tid=843454] ppid=843436 vsize=277120 memory=173092 CPUtime=101.96 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 224913 0 0 0 10178 18 0 0 20 0 3 0 160403712 283770880 45553 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=277120 memory=182172 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 160403713 283770880 45553 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 277120 KiB
Current children cumulated memory: 182212 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.95 3.35 8/268 843657
/proc/meminfo: memFree=128511132/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=277120 memory=203644 CPUtime=161.84 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 289964 0 0 0 16160 24 0 0 20 0 3 0 160403706 283770880 50911 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 69280 50911 2958 3032 0 57623 0
[pid=843451/tid=843454] ppid=843436 vsize=277120 memory=173092 CPUtime=161.76 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 282322 0 0 0 16154 22 0 0 20 0 3 0 160403712 283770880 50911 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=277120 memory=197220 CPUtime=0 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 160403713 283770880 50911 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 277120 KiB
################
# More data... #
################
/proc/843451/statm: 155075 140147 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=560588 CPUtime=3393 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 934961 0 0 0 339218 82 0 0 20 0 3 0 160403712 635187200 140147 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=43312 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 176 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140147 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 560588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 8/264 844886
/proc/meminfo: memFree=126996448/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561264 CPUtime=3453.12 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 945774 0 0 0 345222 90 0 0 20 0 3 0 160403706 635187200 140316 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140316 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=560588 CPUtime=3452.86 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 936231 0 0 0 345203 83 0 0 20 0 3 0 160403712 635187200 140316 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=43312 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 178 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140316 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/265 845279
/proc/meminfo: memFree=126996068/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561264 CPUtime=3512.97 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 948159 0 0 0 351207 90 0 0 20 0 3 0 160403706 635187200 140316 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140316 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=561264 CPUtime=3512.71 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 938590 0 0 0 351188 83 0 0 20 0 3 0 160403712 635187200 140316 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=561264 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 180 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140316 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 8/264 845290
/proc/meminfo: memFree=126992656/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3572.83 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 950666 0 0 0 357192 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=13124 CPUtime=3572.55 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 941074 0 0 0 357172 83 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=561356 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 182 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
[startup+3600.05 s]
# the end of solver process 843451 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.63 s, system=0.91739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 8/264 845291
/proc/meminfo: memFree=126991284/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3574.53 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 950712 0 0 0 357362 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=6720666540972392041 CPUtime=3574.26 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 941120 0 0 0 357343 83 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=4783210246294223474 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 182 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3574.53 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.14 4.10 8/264 845291
/proc/meminfo: memFree=126991288/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3580.91 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 951074 0 0 0 358000 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=100 CPUtime=3580.64 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 941478 0 0 0 357980 84 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=4481 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3580.91 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
[startup+3596.8 s]
/proc/loadavg: 4.19 4.13 4.10 8/264 845293
/proc/meminfo: memFree=126991184/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3587.29 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 952232 0 0 0 358638 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=561356 CPUtime=3587.03 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 942636 0 0 0 358619 84 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=-7377590697578618494 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3587.29 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.13 4.10 8/264 845293
/proc/meminfo: memFree=126991192/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3588.89 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 952233 0 0 0 358798 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=12304 CPUtime=3588.62 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 942637 0 0 0 358778 84 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=43312 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3588.89 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
[startup+3599.2 s]
/proc/loadavg: 4.19 4.13 4.10 8/264 845293
/proc/meminfo: memFree=126991156/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3589.68 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 952240 0 0 0 358877 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=5628 CPUtime=3589.42 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 942644 0 0 0 358858 84 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=33140 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3589.68 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
[startup+3599.6 s]
/proc/loadavg: 4.19 4.13 4.10 8/264 845293
/proc/meminfo: memFree=126991156/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3590.08 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 952242 0 0 0 358917 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=19768 CPUtime=3589.82 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 942646 0 0 0 358898 84 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=39396 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.13 4.10 9/264 845293
/proc/meminfo: memFree=126991220/131524600 swapFree=131071996/131071996
[pid=843451] ppid=843436 vsize=620300 memory=561356 CPUtime=3590.49 cores=1,3
/proc/843451/stat : 843451 (fscip) S 843436 843451 843378 0 -1 1077936128 952252 0 0 0 358958 91 0 0 20 0 3 0 160403706 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
/proc/843451/statm: 155075 140339 2974 3032 0 143115 0
[pid=843451/tid=843454] ppid=843436 vsize=620300 memory=6720666540972392041 CPUtime=3590.22 cores=1,3
/proc/843451/task/843454/stat : 843454 (fscip) R 843436 843451 843378 0 -1 4194368 942656 0 0 0 358938 84 0 0 20 0 3 0 160403712 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
[pid=843451/tid=843458] ppid=843436 vsize=620300 memory=-7377590697578618494 CPUtime=0.02 cores=1,3
/proc/843451/task/843458/stat : 843458 (fscip) S 843436 843451 843378 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 160403713 635187200 140339 134679101440 4194304 16613245 140735084589680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 24670208 140735084594197 140735084594313 140735084594313 140735084601328 0
Current children cumulated CPU time: 3590.49 s
Current children cumulated vsize: 620300 KiB
Current children cumulated memory: 561356 KiB
Child status: 0
Real time (s): 3600.05
CPU time (s): 3590.54
CPU user time (s): 3589.63
CPU system time (s): 0.91739
CPU usage (%): 99.7358
Max. virtual memory (cumulated for all children) (KiB): 620300
Max. memory (cumulated for all children) (KiB): 561356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.63
system time used= 0.91739
maximum resident set size= 561356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 952632
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= 9609
involuntary context switches= 3235
# summary of solver processes directly reported to runsolver:
# pid: 843451
# total CPU time (s): 3590.54
# total CPU user time (s): 3589.63
# total CPU system time (s): 0.91739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56928 second user time and 15.0124 second system time
The end
Begin job on nodeC018 at 2024-07-16 00:27:05
IDJOB=4434660
IDBENCH=147530
IDSOLVER=3064
FILE ID=nodeC018/4434660-1721082413
RUNJOBID= nodeC018-1721082425-843390
SLURM_JOB_ID= 7505562
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434660-1721082413/watcher-4434660-1721082413 -o /tmp/evaluation-result-4434660-1721082413/solver-4434660-1721082413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721082425-843390 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434660-1721082413.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=475558305
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3585.841
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3629.863
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3487.762
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3358.989
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3477.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3339.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.201
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129517040 kB
MemAvailable: 129780076 kB
Buffers: 367840 kB
Cached: 737548 kB
SwapCached: 0 kB
Active: 661616 kB
Inactive: 762824 kB
Active(anon): 1448 kB
Inactive(anon): 355644 kB
Active(file): 660168 kB
Inactive(file): 407180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112776 kB
Writeback: 8 kB
AnonPages: 317540 kB
Mapped: 105732 kB
Shmem: 37720 kB
KReclaimable: 71024 kB
Slab: 176852 kB
SReclaimable: 71024 kB
SUnreclaim: 105828 kB
KernelStack: 3856 kB
PageTables: 9364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 738056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 16318464 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC018 at 2024-07-16 01:27:05