0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 32526336, getVmSize() = 32526336, SCIPgetMemUsed() = 8857050, SCIPgetMemTotal() = 10624514, SCIPgetMemExternEstim() = 5420718
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.17 c ** Estimated virtualMemUsedAtSolver = 24870912, getVmSize() = 42086400, SCIPgetMemUsed() = 10222051, SCIPgetMemTotal() = 18887987, SCIPgetMemExternEstim() = 5420718
0.10/0.17 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.17 c Original Problem :
0.10/0.17 c Problem name : instance-4434657-1721081341
0.10/0.17 c Variables : 1960 (1960 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 4000
0.10/0.17 c Objective sense : minimize
0.10/0.17 c Presolved Problem :
0.10/0.17 c Variables : 1468 (1468 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 2817
0.10/0.17 c Constraints : Number
0.10/0.17 c setppc : 2817
0.10/0.17 c ** Instance transfer method used: 0
0.10/0.18 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.20 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.20 c Nodes Active
0.10/0.20 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.21/0.23 c * 0 0 1 1 1706.0000 - -
0.30/0.36 c * 0 0 1 1 1166.0000 - -
0.30/0.37 c * 0 0 1 1 1082.0000 - -
0.30/0.42 c * 0 0 1 1 1071.0000 - -
13.25/13.32 c 13 2 1 1 1071.0000 1001.2638 6.96%
19.23/19.30 c 19 5 4 1 1071.0000 1001.2638 6.96%
24.32/24.40 c 24 9 8 1 1071.0000 1001.2638 6.96%
29.20/29.39 c * 29 42 41 1 1064.0000 1001.2638 6.27%
29.20/29.39 c * 29 42 41 1 1059.0000 1001.2638 5.77%
29.31/29.40 c * 29 42 41 1 1057.0000 1001.2638 5.57%
29.41/29.53 c * 30 42 41 1 1056.0000 1001.2638 5.47%
29.41/29.53 c 30 42 41 1 1056.0000 1001.2638 5.47%
29.51/29.61 c * 30 42 41 1 1055.0000 1001.2638 5.37%
35.08/35.24 c 35 91 39 1 1055.0000 1001.2638 5.37%
41.47/41.61 c 42 121 47 1 1055.0000 1001.5769 5.33%
48.85/49.09 c 49 160 70 1 1055.0000 1001.9026 5.30%
49.44/49.64 c * 50 160 70 1 1052.0000 1001.9026 5.00%
50.54/50.75 c * 51 199 69 1 1051.0000 1001.9026 4.90%
54.03/54.29 c 54 342 84 1 1051.0000 1002.5950 4.83%
55.23/55.45 c * 55 363 89 1 1050.0000 1002.5950 4.73%
56.13/56.31 c * 56 363 89 1 1049.0000 1002.5950 4.63%
61.61/61.80 c 62 507 95 1 1049.0000 1002.9551 4.59%
67.50/67.72 c 68 635 111 1 1049.0000 1003.3420 4.55%
68.81/69.09 c * 69 635 111 1 1048.0000 1003.3420 4.45%
72.89/73.14 c 73 802 113 1 1048.0000 1003.9967 4.38%
78.26/78.50 c * 79 811 122 1 1047.0000 1003.9967 4.28%
78.26/78.50 c 79 811 122 1 1047.0000 1003.9967 4.28%
83.95/84.24 c 84 1092 133 1 1047.0000 1004.2593 4.26%
90.03/90.38 c 90 1155 150 1 1047.0000 1004.6343 4.22%
95.72/96.03 c 96 1364 161 1 1047.0000 1004.9081 4.19%
102.10/102.40 c 102 1557 156 1 1047.0000 1004.9081 4.19%
107.38/107.76 c 108 1626 169 1 1047.0000 1005.0536 4.17%
115.16/115.53 c 116 1777 180 1 1047.0000 1005.5649 4.12%
120.84/121.27 c 121 1936 191 1 1047.0000 1006.0625 4.07%
126.65/127.03 c 127 2023 208 1 1047.0000 1006.3022 4.04%
134.63/135.06 c 135 2057 216 1 1047.0000 1006.3639 4.04%
139.80/140.20 c 140 2112 227 1 1047.0000 1006.5029 4.02%
143.88/144.31 c * 144 2136 229 1 1046.0000 1006.5638 3.92%
145.69/146.14 c 146 2166 244 1 1046.0000 1006.5638 3.92%
150.67/151.16 c 151 2227 249 1 1046.0000 1006.5777 3.92%
158.13/158.67 c 159 2466 252 1 1046.0000 1006.6506 3.91%
165.72/166.30 c 166 2592 262 1 1046.0000 1006.6667 3.91%
171.90/172.48 c 172 2702 272 1 1046.0000 1006.7477 3.90%
174.09/174.62 c * 175 2704 274 1 1044.0000 1006.7477 3.70%
177.88/178.43 c 178 2732 270 1 1044.0000 1006.8053 3.69%
183.36/183.96 c 184 2852 284 1 1044.0000 1006.9651 3.68%
190.63/191.26 c * 191 2902 290 1 1041.0000 1007.4333 3.33%
190.63/191.26 c 191 2902 290 1 1041.0000 1007.4333 3.33%
195.82/196.40 c 196 2992 290 1 1041.0000 1007.4835 3.33%
202.70/203.35 c 203 3104 300 1 1041.0000 1007.7448 3.30%
208.50/209.12 c 209 3208 324 1 1041.0000 1007.7727 3.30%
213.76/214.42 c 214 3301 339 1 1041.0000 1007.9669 3.28%
219.25/219.95 c 220 3501 341 1 1041.0000 1007.9669 3.28%
226.34/227.05 c 227 3547 345 1 1041.0000 1008.0330 3.27%
233.71/234.41 c 234 3776 350 1 1041.0000 1008.0959 3.26%
241.30/242.03 c 242 3823 357 1 1041.0000 1008.1314 3.26%
247.47/248.22 c 248 3934 370 1 1041.0000 1008.4167 3.23%
253.26/254.09 c 254 4014 378 1 1041.0000 1008.4476 3.23%
257.63/258.41 c * 258 4073 385 1 1040.0000 1008.7143 3.10%
260.42/261.29 c 261 4112 381 1 1040.0000 1008.7293 3.10%
267.21/268.04 c 268 4237 396 1 1040.0000 1008.8519 3.09%
272.69/273.53 c 274 4321 404 1 1040.0000 1008.9073 3.08%
278.67/279.55 c 280 4477 410 1 1040.0000 1008.9224 3.08%
283.95/284.84 c 285 4534 417 1 1040.0000 1008.9412 3.08%
289.64/290.56 c 291 4645 420 1 1040.0000 1008.9446 3.08%
295.52/296.42 c 296 4746 427 1 1040.0000 1008.9531 3.08%
301.13/302.02 c 302 4822 435 1 1040.0000 1009.2351 3.05%
306.11/307.07 c 307 4888 447 1 1040.0000 1009.2500 3.05%
313.38/314.39 c 314 4974 457 1 1040.0000 1009.3819 3.03%
320.76/321.77 c 322 5015 472 1 1040.0000 1009.4374 3.03%
326.25/327.24 c 327 5027 480 1 1040.0000 1009.4533 3.03%
331.64/332.63 c 333 5119 486 1 1040.0000 1009.5019 3.02%
337.14/338.13 c 338 5178 497 1 1040.0000 1009.6978 3.00%
343.02/344.01 c 344 5222 501 1 1040.0000 1009.7500 3.00%
348.11/349.14 c 349 5374 507 1 1040.0000 1009.7500 3.00%
355.10/356.18 c 356 5442 511 1 1040.0000 1009.8642 2.98%
360.77/361.83 c 362 5522 523 1 1040.0000 1009.8750 2.98%
365.55/366.66 c * 367 5580 529 1 1038.0000 1009.9168 2.78%
366.55/367.68 c 368 5596 510 1 1038.0000 1009.9168 2.78%
371.84/372.97 c 373 5710 516 1 1038.0000 1009.9168 2.78%
377.04/378.14 c 378 5768 522 1 1038.0000 1010.0025 2.77%
382.12/383.28 c 383 5878 518 1 1038.0000 1010.0025 2.77%
387.51/388.68 c 389 5902 524 1 1038.0000 1010.0831 2.76%
392.91/394.03 c 394 5957 527 1 1038.0000 1010.0831 2.76%
398.48/399.62 c 400 6079 531 1 1038.0000 1010.0831 2.76%
403.77/404.98 c 405 6145 537 1 1038.0000 1010.1148 2.76%
409.36/410.58 c 411 6214 544 1 1038.0000 1010.1176 2.76%
415.95/417.13 c 417 6322 542 1 1038.0000 1010.1225 2.76%
421.23/422.49 c 422 6395 549 1 1038.0000 1010.1615 2.76%
427.01/428.22 c 428 6441 559 1 1038.0000 1010.1649 2.76%
432.40/433.68 c 434 6555 559 1 1038.0000 1010.1649 2.76%
438.48/439.75 c 440 6643 559 1 1038.0000 1010.2185 2.75%
443.88/445.17 c 445 6677 571 1 1038.0000 1010.3684 2.73%
449.16/450.40 c 450 6789 577 1 1038.0000 1010.3684 2.73%
454.95/456.22 c 456 6807 587 1 1038.0000 1010.4440 2.73%
461.73/463.02 c 463 6846 596 1 1038.0000 1010.5449 2.72%
466.91/468.22 c 468 6967 593 1 1038.0000 1010.5449 2.72%
473.89/475.23 c 475 7003 601 1 1038.0000 1010.7048 2.70%
479.27/480.64 c 481 7077 613 1 1038.0000 1010.7048 2.70%
489.23/490.66 c 491 7104 1 1 1038.0000 1010.7048 2.70%
492.33/493.70 c * 494 7113 10 1 1037.0000 1010.7048 2.60%
494.73/496.18 c 496 7143 26 1 1037.0000 1010.7048 2.60%
501.20/502.67 c 503 7296 35 1 1037.0000 1010.7436 2.60%
507.09/508.58 c 509 7454 43 1 1037.0000 1011.0358 2.57%
512.97/514.41 c 514 7536 59 1 1037.0000 1011.6132 2.51%
518.75/520.24 c 520 7587 60 1 1037.0000 1011.7407 2.50%
524.03/525.56 c 526 7774 61 1 1037.0000 1011.7641 2.49%
530.12/531.64 c 532 7886 71 1 1037.0000 1011.8663 2.48%
535.70/537.29 c 537 7972 87 1 1037.0000 1011.9785 2.47%
541.08/542.67 c 543 8099 94 1 1037.0000 1011.9829 2.47%
546.76/548.34 c 548 8195 104 1 1037.0000 1012.0639 2.46%
552.46/554.09 c 554 8334 107 1 1037.0000 1012.1077 2.46%
558.03/559.61 c 560 8444 107 1 1037.0000 1012.1093 2.46%
563.01/564.68 c 565 8661 120 1 1037.0000 1012.1093 2.46%
568.10/569.75 c 570 8766 129 1 1037.0000 1012.3285 2.44%
576.18/577.80 c 578 8797 136 1 1037.0000 1012.4836 2.42%
581.97/583.65 c 584 8934 149 1 1037.0000 1012.7780 2.39%
587.47/589.15 c 589 9017 162 1 1037.0000 1012.8041 2.39%
592.54/594.22 c 594 9084 177 1 1037.0000 1012.8514 2.38%
598.52/600.24 c 600 9208 195 1 1037.0000 1012.8936 2.38%
604.11/605.82 c 606 9464 201 1 1037.0000 1012.9349 2.38%
609.19/610.90 c 611 9554 205 1 1037.0000 1013.1432 2.35%
614.47/616.27 c 616 9705 218 1 1037.0000 1013.1725 2.35%
619.86/621.65 c 622 9844 229 1 1037.0000 1013.2790 2.34%
626.84/628.65 c 629 9867 236 1 1037.0000 1013.3414 2.33%
632.73/634.54 c 635 9967 246 1 1037.0000 1013.3637 2.33%
638.91/640.74 c 641 10167 262 1 1037.0000 1013.5342 2.32%
645.09/647.00 c 647 10334 263 1 1037.0000 1013.5487 2.31%
652.19/654.10 c 654 10424 273 1 1037.0000 1013.6347 2.31%
657.37/659.23 c 659 10524 287 1 1037.0000 1013.6762 2.30%
662.75/664.68 c 665 10607 302 1 1037.0000 1013.6980 2.30%
668.54/670.46 c 670 10746 307 1 1037.0000 1013.7236 2.30%
673.92/675.88 c 676 10924 315 1 1037.0000 1013.8231 2.29%
679.81/681.79 c 682 11165 336 1 1037.0000 1013.8381 2.28%
685.21/687.17 c 687 11424 339 1 1037.0000 1013.8912 2.28%
690.99/692.93 c 693 11527 346 1 1037.0000 1013.9419 2.27%
696.27/698.20 c 698 11794 361 1 1037.0000 1013.9473 2.27%
701.65/703.64 c 704 11937 366 1 1037.0000 1013.9843 2.27%
707.93/709.96 c 710 12087 374 1 1037.0000 1013.9864 2.27%
714.43/716.47 c 716 12204 381 1 1037.0000 1014.1132 2.26%
720.21/722.21 c 722 12298 401 1 1037.0000 1014.1584 2.25%
725.40/727.47 c 727 12537 406 1 1037.0000 1014.1657 2.25%
731.48/733.59 c 734 12666 411 1 1037.0000 1014.2054 2.25%
737.26/739.35 c 739 12884 425 1 1037.0000 1014.2106 2.25%
742.35/744.41 c 744 13114 435 1 1037.0000 1014.2513 2.24%
748.23/750.34 c 750 13157 448 1 1037.0000 1014.2786 2.24%
753.72/755.81 c 756 13278 463 1 1037.0000 1014.3186 2.24%
760.79/762.95 c 763 13394 481 1 1037.0000 1014.3510 2.23%
766.19/768.30 c 768 13477 494 1 1037.0000 1014.3746 2.23%
771.47/773.69 c 774 13594 505 1 1037.0000 1014.4102 2.23%
777.75/779.90 c 780 13774 507 1 1037.0000 1014.5041 2.22%
783.63/785.81 c 786 13864 519 1 1037.0000 1014.5441 2.21%
789.52/791.71 c 792 14006 527 1 1037.0000 1014.5460 2.21%
795.91/798.18 c 798 14074 541 1 1037.0000 1014.5639 2.21%
801.90/804.13 c 804 14234 561 1 1037.0000 1014.5831 2.21%
807.27/809.54 c 810 14404 573 1 1037.0000 1014.6526 2.20%
813.26/815.52 c 816 14576 583 1 1037.0000 1014.6752 2.20%
818.75/821.06 c 821 14764 601 1 1037.0000 1014.7113 2.20%
826.03/828.34 c 828 14847 618 1 1037.0000 1014.7367 2.19%
831.92/834.21 c 834 15042 629 1 1037.0000 1014.7407 2.19%
836.91/839.27 c 839 15159 636 1 1037.0000 1014.7951 2.19%
842.00/844.33 c 844 15245 650 1 1037.0000 1014.8535 2.18%
847.98/850.31 c 850 15464 655 1 1037.0000 1014.8723 2.18%
853.37/855.77 c 856 15527 662 1 1037.0000 1014.9085 2.18%
859.35/861.77 c 862 15732 667 1 1037.0000 1014.9132 2.18%
864.66/867.01 c 867 15883 670 1 1037.0000 1014.9283 2.17%
870.33/872.77 c 873 16107 668 1 1037.0000 1014.9446 2.17%
875.63/878.04 c 878 16198 681 1 1037.0000 1014.9479 2.17%
881.30/883.75 c 884 16404 691 1 1037.0000 1014.9652 2.17%
886.60/889.10 c 889 16494 711 1 1037.0000 1015.0223 2.17%
892.88/895.39 c 895 16597 722 1 1037.0000 1015.0288 2.16%
898.36/900.85 c 901 16684 725 1 1037.0000 1015.0318 2.16%
903.35/905.88 c 906 16764 737 1 1037.0000 1015.0474 2.16%
909.24/911.74 c 912 16884 755 1 1037.0000 1015.0709 2.16%
914.33/916.84 c 917 16991 768 1 1037.0000 1015.0842 2.16%
919.72/922.25 c 922 17224 773 1 1037.0000 1015.1031 2.16%
925.21/927.74 c 928 17314 783 1 1037.0000 1015.1249 2.15%
931.09/933.60 c 934 17534 803 1 1037.0000 1015.1433 2.15%
936.78/939.35 c 939 17606 817 1 1037.0000 1015.1467 2.15%
942.57/945.16 c 945 17804 837 1 1037.0000 1015.1787 2.15%
948.04/950.65 c 951 18054 843 1 1037.0000 1015.1938 2.15%
954.91/957.58 c 958 18128 859 1 1037.0000 1015.2119 2.15%
960.79/963.45 c 963 18334 879 1 1037.0000 1015.2199 2.15%
965.88/968.56 c 969 18464 891 1 1037.0000 1015.2404 2.14%
970.97/973.65 c 974 18594 895 1 1037.0000 1015.2404 2.14%
976.87/979.55 c 980 18767 908 1 1037.0000 1015.2528 2.14%
982.55/985.25 c 985 18954 927 1 1037.0000 1015.2811 2.14%
988.04/990.78 c 991 19167 946 1 1037.0000 1015.2920 2.14%
994.12/996.82 c 997 19264 959 1 1037.0000 1015.3065 2.14%
999.61/1002.32 c 1002 19453 976 1 1037.0000 1015.3138 2.14%
1004.60/1007.37 c 1007 19554 991 1 1037.0000 1015.3205 2.14%
1010.39/1013.11 c 1013 19759 1004 1 1037.0000 1015.3215 2.14%
1014.87/1017.61 c * 1018 19904 1013 1 1036.0000 1015.3367 2.04%
1016.07/1018.85 c 1019 19980 1011 1 1036.0000 1015.3367 2.04%
1021.66/1024.49 c 1024 20302 1013 1 1036.0000 1015.3385 2.03%
1027.05/1029.84 c 1030 20528 1023 1 1036.0000 1015.3488 2.03%
1032.14/1034.97 c 1035 20708 1031 1 1036.0000 1015.3659 2.03%
1037.92/1040.70 c 1041 20847 1050 1 1036.0000 1015.3873 2.03%
1043.11/1045.95 c 1046 20957 1064 1 1036.0000 1015.4101 2.03%
1048.69/1051.53 c 1052 21025 1080 1 1036.0000 1015.4188 2.03%
1054.08/1056.99 c 1057 21199 1086 1 1036.0000 1015.4250 2.03%
1059.07/1062.01 c 1062 21377 1100 1 1036.0000 1015.4411 2.02%
1064.74/1067.65 c 1068 21517 1108 1 1036.0000 1015.4497 2.02%
1070.03/1072.97 c 1073 21614 1123 1 1036.0000 1015.4642 2.02%
1075.14/1078.11 c 1078 21771 1150 1 1036.0000 1015.4714 2.02%
1081.01/1083.92 c 1084 21836 1163 1 1036.0000 1015.4766 2.02%
1088.99/1091.97 c 1092 21898 1169 1 1036.0000 1015.4829 2.02%
1094.18/1097.12 c 1097 22105 1174 1 1036.0000 1015.4829 2.02%
1100.17/1103.13 c 1103 22227 1192 1 1036.0000 1015.4991 2.02%
1105.55/1108.55 c 1109 22345 1212 1 1036.0000 1015.5003 2.02%
1110.63/1113.69 c 1114 22524 1225 1 1036.0000 1015.5041 2.02%
1116.03/1119.06 c 1119 22687 1236 1 1036.0000 1015.5069 2.02%
1121.41/1124.42 c 1124 22852 1247 1 1036.0000 1015.5525 2.01%
1127.89/1130.95 c 1131 22994 1253 1 1036.0000 1015.5587 2.01%
1133.48/1136.57 c 1137 23189 1276 1 1036.0000 1015.5686 2.01%
1138.66/1141.79 c 1142 23328 1285 1 1036.0000 1015.5754 2.01%
1143.84/1146.97 c 1147 23531 1296 1 1036.0000 1015.5754 2.01%
1149.34/1152.46 c 1152 23634 1309 1 1036.0000 1015.5906 2.01%
1156.11/1159.26 c 1159 23735 1318 1 1036.0000 1015.5948 2.01%
1161.20/1164.32 c 1164 23909 1316 1 1036.0000 1015.5948 2.01%
1166.38/1169.56 c 1170 24054 1325 1 1036.0000 1015.6095 2.01%
1172.46/1175.65 c 1176 24108 1345 1 1036.0000 1015.6212 2.01%
1177.45/1180.66 c 1181 24237 1352 1 1036.0000 1015.6271 2.01%
1183.53/1186.76 c 1187 24316 1355 1 1036.0000 1015.6310 2.01%
1188.92/1192.17 c 1192 24464 1357 1 1036.0000 1015.6321 2.01%
1194.79/1198.06 c 1198 24617 1374 1 1036.0000 1015.6392 2.00%
1200.47/1203.73 c 1204 24688 1387 1 1036.0000 1015.6547 2.00%
1205.66/1208.99 c 1209 24844 1395 1 1036.0000 1015.6682 2.00%
1211.64/1214.94 c 1215 24957 1402 1 1036.0000 1015.6706 2.00%
1218.33/1221.66 c 1222 25024 1409 1 1036.0000 1015.6778 2.00%
1223.73/1227.03 c 1227 25224 1423 1 1036.0000 1015.6860 2.00%
1229.60/1232.94 c 1233 25473 1438 1 1036.0000 1015.7024 2.00%
1234.89/1238.25 c 1238 25672 1449 1 1036.0000 1015.7148 2.00%
1239.97/1243.30 c 1243 25864 1455 1 1036.0000 1015.7330 2.00%
1245.26/1248.64 c 1249 26042 1473 1 1036.0000 1015.7516 1.99%
1252.14/1255.59 c 1256 26218 1485 1 1036.0000 1015.7595 1.99%
1257.33/1260.79 c 1261 26497 1482 1 1036.0000 1015.7595 1.99%
1262.73/1266.13 c 1266 26697 1492 1 1036.0000 1015.7688 1.99%
1268.00/1271.46 c 1271 26944 1495 1 1036.0000 1015.7767 1.99%
1273.59/1277.07 c 1277 27114 1509 1 1036.0000 1015.7831 1.99%
1279.46/1282.96 c 1283 27299 1528 1 1036.0000 1015.7923 1.99%
1284.56/1288.07 c 1288 27585 1532 1 1036.0000 1015.7923 1.99%
1290.13/1293.60 c 1294 27735 1544 1 1036.0000 1015.8008 1.99%
1295.12/1298.69 c 1299 27964 1549 1 1036.0000 1015.8034 1.99%
1301.00/1304.53 c 1305 28120 1565 1 1036.0000 1015.8075 1.99%
1306.50/1310.05 c 1310 28363 1580 1 1036.0000 1015.8221 1.99%
1312.27/1315.86 c 1316 28637 1588 1 1036.0000 1015.8313 1.99%
1318.15/1321.71 c 1322 28904 1593 1 1036.0000 1015.8352 1.99%
1324.03/1327.68 c 1328 29098 1609 1 1036.0000 1015.8439 1.98%
1329.61/1333.26 c 1333 29234 1621 1 1036.0000 1015.8496 1.98%
1334.80/1338.40 c 1338 29388 1629 1 1036.0000 1015.8627 1.98%
1340.28/1343.99 c 1344 29535 1642 1 1036.0000 1015.8854 1.98%
1345.38/1349.10 c 1349 29727 1658 1 1036.0000 1015.9066 1.98%
1352.46/1356.14 c 1356 29974 1653 1 1036.0000 1015.9155 1.98%
1357.53/1361.25 c 1361 30074 1659 1 1036.0000 1015.9294 1.98%
1363.43/1367.12 c 1367 30224 1679 1 1036.0000 1015.9357 1.97%
1368.99/1372.76 c 1373 30336 1693 1 1036.0000 1015.9413 1.97%
1374.08/1377.86 c 1378 30524 1693 1 1036.0000 1015.9509 1.97%
1379.66/1383.48 c 1383 30707 1712 1 1036.0000 1015.9567 1.97%
1385.44/1389.20 c 1389 30888 1725 1 1036.0000 1015.9807 1.97%
1391.02/1394.85 c 1395 30968 1735 1 1036.0000 1015.9893 1.97%
1396.51/1400.39 c 1400 31114 1749 1 1036.0000 1016.0040 1.97%
1401.80/1405.67 c 1406 31264 1765 1 1036.0000 1016.0198 1.97%
1407.08/1411.01 c 1411 31409 1786 1 1036.0000 1016.0412 1.96%
1412.18/1416.06 c 1416 31607 1794 1 1036.0000 1016.0593 1.96%
1417.65/1421.57 c 1422 31794 1813 1 1036.0000 1016.0723 1.96%
1423.14/1427.02 c 1427 31838 1829 1 1036.0000 1016.0732 1.96%
1428.52/1432.48 c 1432 32032 1841 1 1036.0000 1016.0773 1.96%
1434.40/1438.34 c 1438 32208 1849 1 1036.0000 1016.0814 1.96%
1440.28/1444.28 c 1444 32390 1867 1 1036.0000 1016.0922 1.96%
1445.67/1449.63 c 1450 32547 1874 1 1036.0000 1016.0922 1.96%
1451.35/1455.40 c 1455 32648 1871 1 1036.0000 1016.0922 1.96%
1456.63/1460.67 c 1461 32721 1880 1 1036.0000 1016.1043 1.96%
1461.81/1465.82 c 1466 32904 1887 1 1036.0000 1016.1055 1.96%
1467.10/1471.12 c 1471 33048 1897 1 1036.0000 1016.1173 1.96%
1473.67/1477.73 c 1478 33128 1915 1 1036.0000 1016.1403 1.95%
1478.66/1482.74 c 1483 33344 1919 1 1036.0000 1016.1519 1.95%
1479.16/1483.22 c * 1483 33344 1919 1 1035.0000 1016.1519 1.85%
1484.74/1488.88 c 1489 33544 1925 1 1035.0000 1016.1521 1.85%
1490.43/1494.58 c 1495 33744 1941 1 1035.0000 1016.1586 1.85%
1495.93/1500.03 c 1500 33964 1947 1 1035.0000 1016.1694 1.85%
1501.81/1505.95 c 1506 34209 1954 1 1035.0000 1016.1702 1.85%
1507.50/1511.69 c 1512 34439 1964 1 1035.0000 1016.1733 1.85%
1512.69/1516.81 c 1517 34625 1970 1 1035.0000 1016.1758 1.85%
1518.27/1522.46 c 1522 34804 1981 1 1035.0000 1016.1960 1.85%
1524.16/1528.30 c 1528 35013 1990 1 1035.0000 1016.2013 1.85%
1529.74/1533.92 c 1534 35111 1996 1 1035.0000 1016.2056 1.85%
1535.43/1539.69 c 1540 35283 2012 1 1035.0000 1016.2255 1.85%
1540.83/1545.09 c 1545 35424 2029 1 1035.0000 1016.2421 1.85%
1546.10/1550.35 c 1550 35542 2045 1 1035.0000 1016.2579 1.84%
1551.69/1555.98 c 1556 35693 2060 1 1035.0000 1016.2658 1.84%
1556.67/1560.99 c 1561 35864 2067 1 1035.0000 1016.2721 1.84%
1562.56/1566.82 c 1567 35918 2071 1 1035.0000 1016.2721 1.84%
1569.65/1573.99 c 1574 36008 2091 1 1035.0000 1016.2889 1.84%
1575.93/1580.27 c 1580 36099 2102 1 1035.0000 1016.2943 1.84%
1581.91/1586.21 c 1586 36274 2103 1 1035.0000 1016.3005 1.84%
1587.60/1591.98 c 1592 36408 2113 1 1035.0000 1016.3017 1.84%
1593.19/1597.55 c 1598 36510 2113 1 1035.0000 1016.3017 1.84%
1598.48/1602.86 c 1603 36618 2117 1 1035.0000 1016.3020 1.84%
1604.46/1608.86 c 1609 36720 2127 1 1035.0000 1016.3038 1.84%
1609.66/1614.07 c 1614 36755 2132 1 1035.0000 1016.3046 1.84%
1615.43/1619.89 c 1620 36903 2142 1 1035.0000 1016.3164 1.84%
1621.31/1625.70 c 1626 37104 2151 1 1035.0000 1016.3169 1.84%
1626.50/1630.94 c 1631 37254 2165 1 1035.0000 1016.3229 1.84%
1632.48/1636.91 c 1637 37454 2181 1 1035.0000 1016.3376 1.84%
1637.47/1641.99 c 1642 37526 2191 1 1035.0000 1016.3433 1.84%
1642.57/1647.03 c 1647 37644 2197 1 1035.0000 1016.3519 1.83%
1648.14/1652.67 c 1653 37825 2214 1 1035.0000 1016.3546 1.83%
1653.93/1658.50 c 1658 38019 2218 1 1035.0000 1016.3546 1.83%
1659.32/1663.87 c 1664 38126 2227 1 1035.0000 1016.3585 1.83%
1664.90/1669.47 c 1669 38254 2241 1 1035.0000 1016.3726 1.83%
1671.98/1676.54 c 1677 38444 2253 1 1035.0000 1016.3741 1.83%
1679.36/1683.92 c 1684 38528 2265 1 1035.0000 1016.3833 1.83%
1684.76/1689.32 c 1689 38672 2265 1 1035.0000 1016.3833 1.83%
1689.75/1694.37 c 1694 38817 2270 1 1035.0000 1016.3933 1.83%
1695.13/1699.71 c 1700 39017 2270 1 1035.0000 1016.3933 1.83%
1701.02/1705.69 c 1706 39209 2280 1 1035.0000 1016.3955 1.83%
1707.00/1711.63 c 1712 39362 2287 1 1035.0000 1016.4005 1.83%
1712.89/1717.58 c 1718 39531 2294 1 1035.0000 1016.4093 1.83%
1718.78/1723.46 c 1723 39630 2303 1 1035.0000 1016.4219 1.83%
1725.16/1729.88 c 1730 39767 2310 1 1035.0000 1016.4282 1.83%
1731.05/1735.76 c 1736 39901 2318 1 1035.0000 1016.4286 1.83%
1737.13/1741.80 c 1742 40007 2322 1 1035.0000 1016.4313 1.83%
1742.33/1747.06 c 1747 40064 2331 1 1035.0000 1016.4521 1.82%
1748.11/1752.83 c 1753 40167 2346 1 1035.0000 1016.4561 1.82%
1753.79/1758.52 c 1759 40338 2357 1 1035.0000 1016.4685 1.82%
1760.18/1764.95 c 1765 40418 2365 1 1035.0000 1016.4750 1.82%
1766.16/1770.93 c 1771 40548 2385 1 1035.0000 1016.4870 1.82%
1771.45/1776.24 c 1776 40722 2385 1 1035.0000 1016.4886 1.82%
1776.64/1781.49 c 1782 40812 2401 1 1035.0000 1016.4987 1.82%
1781.72/1786.57 c 1787 40929 2416 1 1035.0000 1016.5137 1.82%
1787.33/1792.17 c 1792 41058 2429 1 1035.0000 1016.5257 1.82%
1792.41/1797.22 c 1797 41194 2425 1 1035.0000 1016.5334 1.82%
1797.49/1802.35 c 1802 41360 2431 1 1035.0000 1016.5334 1.82%
1804.67/1809.53 c 1810 41488 2439 1 1035.0000 1016.5350 1.82%
1809.96/1814.87 c 1815 41620 2447 1 1035.0000 1016.5366 1.82%
1815.05/1819.95 c 1820 41661 2452 1 1035.0000 1016.5388 1.82%
1820.84/1825.79 c 1826 41725 2472 1 1035.0000 1016.5523 1.81%
1826.43/1831.32 c 1831 41848 2471 1 1035.0000 1016.5523 1.81%
1831.51/1836.45 c 1836 41990 2471 1 1035.0000 1016.5523 1.81%
1837.11/1842.05 c 1842 42084 2481 1 1035.0000 1016.5543 1.81%
1842.99/1847.99 c 1848 42174 2485 1 1035.0000 1016.5635 1.81%
1849.08/1854.02 c 1854 42273 2496 1 1035.0000 1016.5795 1.81%
1854.76/1859.80 c 1860 42373 2498 1 1035.0000 1016.5795 1.81%
1860.16/1865.15 c 1865 42498 2503 1 1035.0000 1016.5847 1.81%
1865.83/1870.83 c 1871 42583 2510 1 1035.0000 1016.5874 1.81%
1871.03/1876.09 c 1876 42634 2517 1 1035.0000 1016.5896 1.81%
1876.80/1881.83 c 1882 42681 2520 1 1035.0000 1016.5896 1.81%
1882.19/1887.22 c 1887 42733 2528 1 1035.0000 1016.5976 1.81%
1888.37/1893.43 c 1893 42824 2539 1 1035.0000 1016.6058 1.81%
1893.46/1898.50 c 1898 42875 2542 1 1035.0000 1016.6067 1.81%
1899.14/1904.21 c 1904 42955 2548 1 1035.0000 1016.6101 1.81%
1905.13/1910.28 c 1910 43078 2553 1 1035.0000 1016.6178 1.81%
1910.71/1915.81 c 1916 43204 2567 1 1035.0000 1016.6326 1.81%
1915.81/1920.96 c 1921 43309 2580 1 1035.0000 1016.6346 1.81%
1922.49/1927.65 c 1928 43417 2592 1 1035.0000 1016.6391 1.81%
1928.58/1933.70 c 1934 43498 2603 1 1035.0000 1016.6459 1.81%
1933.88/1939.08 c 1939 43592 2607 1 1035.0000 1016.6459 1.81%
1939.15/1944.32 c 1944 43671 2616 1 1035.0000 1016.6565 1.80%
1945.14/1950.37 c 1950 43715 2618 1 1035.0000 1016.6674 1.80%
1950.93/1956.16 c 1956 43827 2630 1 1035.0000 1016.6848 1.80%
1956.41/1961.66 c 1962 43924 2633 1 1035.0000 1016.6948 1.80%
1962.30/1967.54 c 1968 44071 2648 1 1035.0000 1016.6950 1.80%
1969.28/1974.56 c 1975 44214 2659 1 1035.0000 1016.7036 1.80%
1975.27/1980.50 c 1981 44308 2673 1 1035.0000 1016.7067 1.80%
1980.66/1985.93 c 1986 44502 2675 1 1035.0000 1016.7073 1.80%
1986.64/1991.96 c 1992 44671 2692 1 1035.0000 1016.7313 1.80%
1992.43/1997.76 c 1998 44718 2703 1 1035.0000 1016.7417 1.80%
1997.61/2002.99 c 2003 44864 2695 1 1035.0000 1016.7431 1.80%
2003.30/2008.62 c 2009 44997 2714 1 1035.0000 1016.7436 1.80%
2008.49/2013.82 c 2014 45124 2721 1 1035.0000 1016.7576 1.79%
2013.57/2018.92 c 2019 45262 2735 1 1035.0000 1016.7835 1.79%
2019.56/2024.97 c 2025 45428 2747 1 1035.0000 1016.7869 1.79%
2025.25/2030.62 c 2031 45531 2758 1 1035.0000 1016.7884 1.79%
2030.75/2036.19 c 2036 45688 2769 1 1035.0000 1016.7925 1.79%
2036.83/2042.20 c 2042 45836 2775 1 1035.0000 1016.7982 1.79%
2043.91/2049.31 c 2049 45968 2787 1 1035.0000 1016.8108 1.79%
2049.40/2054.81 c 2055 46065 2806 1 1035.0000 1016.8315 1.79%
2054.60/2060.10 c 2060 46194 2815 1 1035.0000 1016.8442 1.79%
2060.47/2065.91 c 2066 46344 2829 1 1035.0000 1016.8506 1.78%
2065.76/2071.23 c 2071 46482 2839 1 1035.0000 1016.8584 1.78%
2071.14/2076.63 c 2077 46637 2850 1 1035.0000 1016.8622 1.78%
2076.83/2082.35 c 2082 46844 2849 1 1035.0000 1016.8894 1.78%
2082.53/2088.07 c 2088 46957 2872 1 1035.0000 1016.8898 1.78%
2087.62/2093.19 c 2093 47165 2874 1 1035.0000 1016.8898 1.78%
2093.00/2098.50 c 2099 47238 2891 1 1035.0000 1016.9103 1.78%
2098.89/2104.40 c 2104 47377 2898 1 1035.0000 1016.9164 1.78%
2104.67/2110.27 c 2110 47468 2907 1 1035.0000 1016.9226 1.78%
2109.96/2115.58 c 2116 47504 2917 1 1035.0000 1016.9408 1.78%
2115.95/2121.53 c 2122 47623 2932 1 1035.0000 1016.9496 1.77%
2121.73/2127.36 c 2127 47736 2943 1 1035.0000 1016.9529 1.77%
2126.82/2132.45 c 2132 47903 2952 1 1035.0000 1016.9529 1.77%
2132.52/2138.14 c 2138 48079 2962 1 1035.0000 1016.9617 1.77%
2137.59/2143.28 c 2143 48264 2965 1 1035.0000 1016.9618 1.77%
2142.98/2148.69 c 2149 48405 2974 1 1035.0000 1016.9640 1.77%
2148.86/2154.59 c 2155 48517 2980 1 1035.0000 1016.9725 1.77%
2154.25/2159.91 c 2160 48616 2997 1 1035.0000 1016.9918 1.77%
2159.54/2165.23 c 2165 48767 3002 1 1035.0000 1016.9939 1.77%
2164.52/2170.25 c 2170 48884 3019 1 1035.0000 1017.0145 1.77%
2170.22/2175.96 c 2176 49019 3038 1 1035.0000 1017.0233 1.77%
2175.42/2181.12 c 2181 49121 3046 1 1035.0000 1017.0321 1.77%
2180.60/2186.32 c 2186 49273 3044 1 1035.0000 1017.0321 1.77%
2185.98/2191.70 c 2192 49428 3049 1 1035.0000 1017.0342 1.77%
2191.87/2197.62 c 2198 49612 3061 1 1035.0000 1017.0456 1.77%
2197.65/2203.44 c 2203 49648 3069 1 1035.0000 1017.0566 1.76%
2203.25/2209.07 c 2209 49764 3071 1 1035.0000 1017.0799 1.76%
2208.82/2214.67 c 2215 49841 3092 1 1035.0000 1017.0977 1.76%
2215.51/2221.39 c 2221 49928 3099 1 1035.0000 1017.1151 1.76%
2221.21/2227.06 c 2227 50039 3108 1 1035.0000 1017.1241 1.76%
2227.07/2232.99 c 2233 50181 3124 1 1035.0000 1017.1484 1.76%
2232.76/2238.66 c 2239 50312 3133 1 1035.0000 1017.1489 1.76%
2238.75/2244.64 c 2245 50490 3133 1 1035.0000 1017.1492 1.75%
2245.44/2251.35 c 2251 50608 3145 1 1035.0000 1017.1620 1.75%
2250.52/2256.48 c 2256 50754 3155 1 1035.0000 1017.1719 1.75%
2256.12/2262.04 c 2262 50894 3171 1 1035.0000 1017.1815 1.75%
2261.49/2267.43 c 2267 51029 3182 1 1035.0000 1017.1890 1.75%
2266.88/2272.84 c 2273 51132 3191 1 1035.0000 1017.1915 1.75%
2272.47/2278.45 c 2278 51200 3195 1 1035.0000 1017.1931 1.75%
2278.45/2284.49 c 2284 51304 3207 1 1035.0000 1017.1978 1.75%
2283.55/2289.55 c 2290 51392 3213 1 1035.0000 1017.2048 1.75%
2289.43/2295.44 c 2295 51480 3215 1 1035.0000 1017.2058 1.75%
2294.52/2300.53 c 2301 51604 3215 1 1035.0000 1017.2065 1.75%
2301.12/2307.17 c 2307 51664 3221 1 1035.0000 1017.2065 1.75%
2306.39/2312.42 c 2312 51696 3219 1 1035.0000 1017.2065 1.75%
2312.28/2318.34 c 2318 51743 3230 1 1035.0000 1017.2120 1.75%
2317.67/2323.72 c 2324 51846 3235 1 1035.0000 1017.2255 1.75%
2322.64/2328.76 c 2329 51934 3243 1 1035.0000 1017.2316 1.75%
2328.43/2334.56 c 2335 52070 3253 1 1035.0000 1017.2320 1.75%
2333.52/2339.64 c 2340 52204 3257 1 1035.0000 1017.2379 1.75%
2339.20/2345.35 c 2345 52324 3271 1 1035.0000 1017.2493 1.74%
2344.30/2350.49 c 2350 52452 3291 1 1035.0000 1017.2674 1.74%
2350.28/2356.48 c 2356 52659 3300 1 1035.0000 1017.2711 1.74%
2356.27/2362.42 c 2362 52758 3309 1 1035.0000 1017.2757 1.74%
2361.35/2367.59 c 2368 52942 3311 1 1035.0000 1017.2757 1.74%
2367.14/2373.31 c 2373 53112 3321 1 1035.0000 1017.3008 1.74%
2372.23/2378.43 c 2378 53298 3327 1 1035.0000 1017.3008 1.74%
2377.71/2383.96 c 2384 53476 3333 1 1035.0000 1017.3196 1.74%
2383.70/2389.94 c 2390 53689 3338 1 1035.0000 1017.3310 1.74%
2388.99/2395.28 c 2395 53809 3364 1 1035.0000 1017.3388 1.74%
2394.67/2400.91 c 2401 53993 3378 1 1035.0000 1017.3450 1.74%
2399.87/2406.14 c 2406 54064 3389 1 1035.0000 1017.3580 1.73%
2406.44/2412.76 c 2413 54108 3397 1 1035.0000 1017.3603 1.73%
2412.24/2418.50 c 2418 54183 3408 1 1035.0000 1017.3625 1.73%
2418.02/2424.31 c 2424 54315 3416 1 1035.0000 1017.3830 1.73%
2423.41/2429.73 c 2430 54359 3426 1 1035.0000 1017.3859 1.73%
2428.71/2435.04 c 2435 54448 3441 1 1035.0000 1017.3894 1.73%
2433.98/2440.39 c 2440 54569 3458 1 1035.0000 1017.4031 1.73%
2439.37/2445.77 c 2446 54684 3467 1 1035.0000 1017.4100 1.73%
2444.76/2451.14 c 2451 54784 3473 1 1035.0000 1017.4144 1.73%
2450.14/2456.52 c 2457 54934 3481 1 1035.0000 1017.4144 1.73%
2455.23/2461.61 c 2462 55002 3497 1 1035.0000 1017.4234 1.73%
2460.21/2466.67 c 2467 55144 3503 1 1035.0000 1017.4343 1.73%
2465.50/2471.94 c 2472 55192 3515 1 1035.0000 1017.4373 1.73%
2470.49/2477.01 c 2477 55294 3513 1 1035.0000 1017.4458 1.73%
2475.59/2482.08 c 2482 55324 3523 1 1035.0000 1017.4491 1.72%
2480.86/2487.39 c 2487 55361 3530 1 1035.0000 1017.4520 1.72%
2486.46/2492.92 c 2493 55508 3527 1 1035.0000 1017.4520 1.72%
2492.04/2498.59 c 2499 55589 3540 1 1035.0000 1017.4765 1.72%
2497.32/2503.84 c 2504 55704 3561 1 1035.0000 1017.4809 1.72%
2502.91/2509.48 c 2509 55770 3573 1 1035.0000 1017.4809 1.72%
2508.20/2514.72 c 2515 55852 3581 1 1035.0000 1017.4834 1.72%
2513.69/2520.25 c 2520 55933 3584 1 1035.0000 1017.4843 1.72%
2518.78/2525.37 c 2525 56029 3596 1 1035.0000 1017.4895 1.72%
2524.06/2530.69 c 2531 56121 3602 1 1035.0000 1017.4937 1.72%
2530.46/2537.03 c 2537 56182 3615 1 1035.0000 1017.5012 1.72%
2536.03/2542.61 c 2543 56236 3615 1 1035.0000 1017.5012 1.72%
2541.62/2548.26 c 2548 56352 3623 1 1035.0000 1017.5027 1.72%
2546.92/2553.56 c 2554 56428 3633 1 1035.0000 1017.5033 1.72%
2552.00/2558.63 c 2559 56481 3634 1 1035.0000 1017.5033 1.72%
2557.29/2564.01 c 2564 56562 3653 1 1035.0000 1017.5101 1.72%
2562.47/2569.15 c 2569 56608 3659 1 1035.0000 1017.5114 1.72%
2568.46/2575.13 c 2575 56698 3659 1 1035.0000 1017.5114 1.72%
2574.35/2581.01 c 2581 56768 3669 1 1035.0000 1017.5185 1.72%
2580.92/2587.63 c 2588 56816 3673 1 1035.0000 1017.5235 1.72%
2586.51/2593.27 c 2593 56860 3675 1 1035.0000 1017.5235 1.72%
2591.60/2598.39 c 2598 56916 3679 1 1035.0000 1017.5267 1.72%
2596.68/2603.42 c 2603 56991 3678 1 1035.0000 1017.5267 1.72%
2601.77/2608.52 c 2609 57064 3677 1 1035.0000 1017.5271 1.72%
2607.16/2613.93 c 2614 57157 3688 1 1035.0000 1017.5271 1.72%
2612.26/2619.02 c 2619 57254 3693 1 1035.0000 1017.5366 1.72%
2620.13/2626.94 c 2627 57353 3714 1 1035.0000 1017.5421 1.72%
2625.41/2632.22 c 2632 57454 3715 1 1035.0000 1017.5459 1.72%
2631.09/2637.97 c 2638 57534 3731 1 1035.0000 1017.5484 1.72%
2636.98/2643.89 c 2644 57680 3731 1 1035.0000 1017.5501 1.71%
2642.29/2649.11 c 2649 57832 3733 1 1035.0000 1017.5501 1.71%
2647.27/2654.12 c 2654 57874 3743 1 1035.0000 1017.5552 1.71%
2653.16/2660.01 c 2660 57950 3747 1 1035.0000 1017.5552 1.71%
2658.93/2665.88 c 2666 58044 3747 1 1035.0000 1017.5649 1.71%
2664.82/2671.78 c 2672 58099 3762 1 1035.0000 1017.5697 1.71%
2669.90/2676.82 c 2677 58188 3773 1 1035.0000 1017.5721 1.71%
2675.11/2682.07 c 2682 58244 3801 1 1035.0000 1017.5903 1.71%
2680.48/2687.47 c 2687 58317 3806 1 1035.0000 1017.5959 1.71%
2685.97/2692.93 c 2693 58389 3820 1 1035.0000 1017.6051 1.71%
2691.17/2698.17 c 2698 58490 3823 1 1035.0000 1017.6053 1.71%
2696.94/2703.94 c 2704 58561 3828 1 1035.0000 1017.6079 1.71%
2701.93/2708.95 c 2709 58633 3828 1 1035.0000 1017.6079 1.71%
2707.42/2714.43 c 2714 58717 3838 1 1035.0000 1017.6087 1.71%
2712.80/2719.85 c 2720 58794 3843 1 1035.0000 1017.6092 1.71%
2718.60/2725.60 c 2726 58887 3850 1 1035.0000 1017.6128 1.71%
2723.88/2730.91 c 2731 58994 3855 1 1035.0000 1017.6141 1.71%
2729.17/2736.30 c 2736 59094 3865 1 1035.0000 1017.6164 1.71%
2734.26/2741.31 c 2741 59144 3879 1 1035.0000 1017.6331 1.71%
2739.25/2746.39 c 2746 59218 3889 1 1035.0000 1017.6340 1.71%
2745.13/2752.23 c * 2752 59276 3899 1 1034.0000 1017.6344 1.61%
2745.13/2752.23 c 2752 59276 3899 1 1034.0000 1017.6344 1.61%
2751.03/2758.15 c 2758 59308 3888 1 1034.0000 1017.6349 1.61%
2756.41/2763.51 c 2764 59448 3898 1 1034.0000 1017.6355 1.61%
2761.40/2768.57 c 2769 59534 3900 1 1034.0000 1017.6367 1.61%
2766.58/2773.72 c 2774 59633 3913 1 1034.0000 1017.6421 1.61%
2772.07/2779.22 c 2779 59735 3923 1 1034.0000 1017.6436 1.61%
2777.46/2784.65 c 2785 59851 3927 1 1034.0000 1017.6447 1.61%
2782.64/2789.82 c 2790 59922 3932 1 1034.0000 1017.6454 1.61%
2788.23/2795.43 c 2795 60014 3938 1 1034.0000 1017.6482 1.61%
2793.62/2800.82 c 2801 60085 3941 1 1034.0000 1017.6496 1.61%
2799.70/2806.99 c 2807 60212 3938 1 1034.0000 1017.6505 1.61%
2805.49/2812.77 c 2813 60281 3945 1 1034.0000 1017.6511 1.61%
2811.38/2818.60 c 2819 60379 3951 1 1034.0000 1017.6521 1.61%
2816.66/2823.92 c 2824 60434 3954 1 1034.0000 1017.6585 1.61%
2823.25/2830.53 c 2831 60488 3970 1 1034.0000 1017.6659 1.61%
2828.64/2835.94 c 2836 60561 3977 1 1034.0000 1017.6686 1.60%
2834.43/2841.73 c 2842 60650 3980 1 1034.0000 1017.6734 1.60%
2839.91/2847.24 c 2847 60712 3984 1 1034.0000 1017.6737 1.60%
2847.29/2854.64 c 2855 60834 3988 1 1034.0000 1017.6804 1.60%
2852.28/2859.67 c 2860 60879 4007 1 1034.0000 1017.6912 1.60%
2858.37/2865.71 c 2866 60980 4026 1 1034.0000 1017.7116 1.60%
2864.06/2871.44 c 2871 61057 4029 1 1034.0000 1017.7149 1.60%
2869.24/2876.67 c 2877 61094 4030 1 1034.0000 1017.7149 1.60%
2874.53/2881.94 c 2882 61138 4034 1 1034.0000 1017.7164 1.60%
2880.22/2887.69 c 2888 61195 4045 1 1034.0000 1017.7200 1.60%
2885.50/2893.01 c 2893 61215 4051 1 1034.0000 1017.7246 1.60%
2890.99/2898.42 c 2898 61332 4050 1 1034.0000 1017.7246 1.60%
2896.37/2903.85 c 2904 61431 4063 1 1034.0000 1017.7442 1.60%
2901.95/2909.40 c 2909 61528 4072 1 1034.0000 1017.7506 1.60%
2907.44/2914.94 c 2915 61665 4075 1 1034.0000 1017.7513 1.60%
2912.73/2920.25 c 2920 61745 4085 1 1034.0000 1017.7551 1.60%
2918.12/2925.66 c 2926 61794 4106 1 1034.0000 1017.7664 1.60%
2924.21/2931.76 c 2932 61867 4109 1 1034.0000 1017.7664 1.60%
2929.89/2937.47 c 2937 61965 4125 1 1034.0000 1017.7739 1.59%
2936.97/2944.57 c 2945 62048 4130 1 1034.0000 1017.7793 1.59%
2942.47/2950.03 c 2950 62151 4133 1 1034.0000 1017.7802 1.59%
2947.64/2955.29 c 2955 62244 4136 1 1034.0000 1017.7813 1.59%
2953.63/2961.26 c 2961 62334 4150 1 1034.0000 1017.7901 1.59%
2959.61/2967.25 c 2967 62378 4164 1 1034.0000 1017.7955 1.59%
2964.90/2972.51 c 2973 62444 4174 1 1034.0000 1017.8028 1.59%
2970.51/2978.15 c 2978 62543 4189 1 1034.0000 1017.8135 1.59%
2976.50/2984.14 c 2984 62721 4193 1 1034.0000 1017.8162 1.59%
2981.57/2989.28 c 2989 62854 4194 1 1034.0000 1017.8162 1.59%
2986.95/2994.62 c 2995 62967 4209 1 1034.0000 1017.8264 1.59%
2992.04/2999.76 c 3000 63008 4214 1 1034.0000 1017.8267 1.59%
2997.73/3005.47 c 3005 63106 4226 1 1034.0000 1017.8319 1.59%
3003.02/3010.71 c 3011 63257 4225 1 1034.0000 1017.8319 1.59%
3008.80/3016.53 c 3017 63327 4231 1 1034.0000 1017.8321 1.59%
3014.69/3022.45 c 3022 63449 4245 1 1034.0000 1017.8375 1.59%
3020.18/3027.94 c 3028 63585 4247 1 1034.0000 1017.8375 1.59%
3025.27/3033.10 c 3033 63649 4255 1 1034.0000 1017.8407 1.59%
3030.96/3038.77 c 3039 63783 4255 1 1034.0000 1017.8407 1.59%
3036.35/3044.18 c 3044 63877 4253 1 1034.0000 1017.8407 1.59%
3042.62/3050.45 c 3050 63984 4250 1 1034.0000 1017.8424 1.59%
3048.20/3056.10 c 3056 64079 4273 1 1034.0000 1017.8473 1.59%
3053.48/3061.37 c 3061 64240 4274 1 1034.0000 1017.8473 1.59%
3058.97/3066.81 c 3067 64335 4285 1 1034.0000 1017.8588 1.59%
3066.35/3074.20 c 3074 64438 4298 1 1034.0000 1017.8671 1.58%
3072.53/3080.46 c 3080 64564 4308 1 1034.0000 1017.8766 1.58%
3078.12/3086.06 c 3086 64682 4324 1 1034.0000 1017.8780 1.58%
3083.29/3091.29 c 3091 64820 4326 1 1034.0000 1017.8780 1.58%
3088.58/3096.56 c 3097 64921 4343 1 1034.0000 1017.8792 1.58%
3093.96/3101.93 c 3102 64998 4354 1 1034.0000 1017.8847 1.58%
3099.05/3107.08 c 3107 65147 4353 1 1034.0000 1017.8847 1.58%
3104.33/3112.33 c 3112 65263 4355 1 1034.0000 1017.8847 1.58%
3110.02/3118.05 c 3118 65392 4370 1 1034.0000 1017.8889 1.58%
3115.20/3123.23 c 3123 65532 4372 1 1034.0000 1017.8889 1.58%
3121.18/3129.20 c 3129 65652 4372 1 1034.0000 1017.8889 1.58%
3126.86/3134.97 c 3135 65743 4371 1 1034.0000 1017.8889 1.58%
3132.15/3140.28 c 3140 65858 4374 1 1034.0000 1017.8893 1.58%
3137.33/3145.46 c 3145 65980 4380 1 1034.0000 1017.8893 1.58%
3142.42/3150.50 c 3150 66128 4388 1 1034.0000 1017.8929 1.58%
3147.40/3155.57 c 3156 66168 4394 1 1034.0000 1017.8971 1.58%
3153.08/3161.27 c 3161 66228 4410 1 1034.0000 1017.9050 1.58%
3158.47/3166.70 c 3167 66294 4412 1 1034.0000 1017.9079 1.58%
3164.25/3172.46 c 3172 66414 4424 1 1034.0000 1017.9137 1.58%
3170.74/3178.94 c 3179 66549 4437 1 1034.0000 1017.9147 1.58%
3176.32/3184.56 c 3185 66627 4447 1 1034.0000 1017.9162 1.58%
3182.20/3190.46 c 3190 66719 4467 1 1034.0000 1017.9256 1.58%
3187.28/3195.56 c 3196 66819 4475 1 1034.0000 1017.9313 1.58%
3192.37/3200.66 c 3201 66924 4486 1 1034.0000 1017.9388 1.58%
3197.65/3206.01 c 3206 66990 4496 1 1034.0000 1017.9454 1.58%
3203.13/3211.44 c 3211 67097 4495 1 1034.0000 1017.9454 1.58%
3208.22/3216.53 c 3217 67154 4500 1 1034.0000 1017.9486 1.58%
3214.00/3222.39 c 3222 67246 4500 1 1034.0000 1017.9486 1.58%
3220.88/3229.23 c 3229 67314 4498 1 1034.0000 1017.9498 1.58%
3226.07/3234.43 c 3234 67434 4504 1 1034.0000 1017.9537 1.58%
3231.25/3239.65 c 3240 67582 4510 1 1034.0000 1017.9537 1.58%
3236.53/3244.95 c 3245 67702 4524 1 1034.0000 1017.9603 1.58%
3241.73/3250.17 c 3250 67870 4526 1 1034.0000 1017.9619 1.58%
3246.90/3255.36 c 3255 67993 4535 1 1034.0000 1017.9675 1.57%
3252.39/3260.86 c 3261 68067 4547 1 1034.0000 1017.9706 1.57%
3258.07/3266.58 c 3267 68193 4555 1 1034.0000 1017.9720 1.57%
3263.85/3272.39 c 3272 68264 4564 1 1034.0000 1017.9828 1.57%
3269.04/3277.54 c 3278 68373 4573 1 1034.0000 1017.9835 1.57%
3274.72/3283.30 c 3283 68535 4585 1 1034.0000 1017.9868 1.57%
3280.40/3288.95 c 3289 68664 4594 1 1034.0000 1017.9927 1.57%
3286.38/3294.92 c 3295 68786 4594 1 1034.0000 1017.9958 1.57%
3291.47/3300.02 c 3300 68932 4598 1 1034.0000 1018.0046 1.57%
3296.86/3305.46 c 3305 69087 4607 1 1034.0000 1018.0076 1.57%
3302.34/3310.94 c 3311 69204 4614 1 1034.0000 1018.0103 1.57%
3308.32/3316.92 c 3317 69347 4627 1 1034.0000 1018.0129 1.57%
3314.21/3322.83 c 3323 69495 4637 1 1034.0000 1018.0146 1.57%
3320.29/3328.91 c 3329 69558 4646 1 1034.0000 1018.0165 1.57%
3326.08/3334.77 c 3335 69664 4652 1 1034.0000 1018.0188 1.57%
3331.55/3340.22 c 3340 69771 4663 1 1034.0000 1018.0188 1.57%
3337.04/3345.77 c 3346 69883 4663 1 1034.0000 1018.0191 1.57%
3342.72/3351.40 c 3351 70013 4667 1 1034.0000 1018.0221 1.57%
3347.71/3356.47 c 3356 70094 4680 1 1034.0000 1018.0404 1.57%
3352.80/3361.58 c 3362 70214 4698 1 1034.0000 1018.0412 1.57%
3358.19/3366.91 c 3367 70334 4708 1 1034.0000 1018.0468 1.57%
3363.29/3372.09 c 3372 70407 4725 1 1034.0000 1018.0568 1.57%
3369.26/3378.06 c 3378 70552 4740 1 1034.0000 1018.0598 1.57%
3374.94/3383.70 c 3384 70624 4746 1 1034.0000 1018.0634 1.57%
3379.93/3388.76 c 3389 70716 4750 1 1034.0000 1018.0640 1.57%
3385.32/3394.17 c 3394 70853 4765 1 1034.0000 1018.0676 1.56%
3390.50/3399.32 c 3399 70975 4775 1 1034.0000 1018.0807 1.56%
3395.79/3404.65 c 3405 71056 4788 1 1034.0000 1018.0871 1.56%
3400.98/3409.80 c 3410 71220 4794 1 1034.0000 1018.0889 1.56%
3406.56/3415.41 c 3415 71364 4802 1 1034.0000 1018.0919 1.56%
3412.16/3421.02 c 3421 71474 4810 1 1034.0000 1018.0946 1.56%
3417.54/3426.44 c 3426 71577 4821 1 1034.0000 1018.0988 1.56%
3422.82/3431.79 c 3432 71633 4833 1 1034.0000 1018.0999 1.56%
3428.01/3437.01 c 3437 71688 4842 1 1034.0000 1018.1042 1.56%
3433.11/3442.07 c 3442 71842 4850 1 1034.0000 1018.1055 1.56%
3438.48/3447.44 c 3447 71978 4858 1 1034.0000 1018.1173 1.56%
3444.27/3453.25 c 3453 72134 4866 1 1034.0000 1018.1193 1.56%
3449.55/3458.56 c 3459 72277 4877 1 1034.0000 1018.1225 1.56%
3454.64/3463.65 c 3464 72421 4885 1 1034.0000 1018.1246 1.56%
3460.14/3469.13 c 3469 72544 4892 1 1034.0000 1018.1355 1.56%
3465.13/3474.17 c 3474 72680 4900 1 1034.0000 1018.1443 1.56%
3470.60/3479.65 c 3480 72733 4903 1 1034.0000 1018.1460 1.56%
3475.69/3484.70 c 3485 72864 4906 1 1034.0000 1018.1600 1.56%
3481.58/3490.69 c 3491 72977 4925 1 1034.0000 1018.1627 1.56%
3486.77/3495.81 c 3496 73071 4941 1 1034.0000 1018.1790 1.55%
3492.26/3501.32 c 3501 73194 4954 1 1034.0000 1018.1951 1.55%
3498.06/3507.16 c 3507 73324 4966 1 1034.0000 1018.1962 1.55%
3503.33/3512.48 c 3512 73370 4976 1 1034.0000 1018.1972 1.55%
3509.12/3518.24 c 3518 73517 4983 1 1034.0000 1018.1972 1.55%
3514.20/3523.35 c 3523 73614 4996 1 1034.0000 1018.2054 1.55%
3519.59/3528.70 c 3529 73741 5005 1 1034.0000 1018.2054 1.55%
3524.78/3533.91 c 3534 73900 5004 1 1034.0000 1018.2061 1.55%
3531.26/3540.40 c 3540 74024 5008 1 1034.0000 1018.2119 1.55%
3537.15/3546.38 c 3546 74116 5018 1 1034.0000 1018.2122 1.55%
3542.23/3551.44 c 3551 74243 5025 1 1034.0000 1018.2156 1.55%
3548.12/3557.31 c 3557 74384 5034 1 1034.0000 1018.2230 1.55%
3553.21/3562.46 c 3562 74408 5042 1 1034.0000 1018.2232 1.55%
3558.60/3567.82 c 3568 74534 5060 1 1034.0000 1018.2234 1.55%
3563.79/3573.04 c 3573 74689 5065 1 1034.0000 1018.2241 1.55%
3569.07/3578.35 c 3578 74821 5077 1 1034.0000 1018.2345 1.55%
3574.87/3584.15 c 3584 74869 5087 1 1034.0000 1018.2423 1.55%
3580.14/3589.43 c 3589 74988 5094 1 1034.0000 1018.2473 1.55%
3585.93/3595.21 c 3595 75101 5101 1 1034.0000 1018.2523 1.55%
3590.84/3600.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.84/3600.11 c Total Time : 3600.12
3590.84/3600.11 c solving : 3600.12
3590.84/3600.11 c presolving : 0.13 (included in solving)
3590.84/3600.11 c B&B Tree :
3590.84/3600.11 c nodes (total) : 1
3590.84/3600.11 c Solution :
3590.84/3600.11 c Solutions found : 25
3590.84/3600.11 c Primal Bound : +1.03400000000000e+03
3590.84/3600.11 c Dual Bound : +1.01825230596491e+03
3590.84/3600.11 c Gap : 1.54654 %
3590.84/3600.11 c * Warning: final gap: 1.54654e-02 is greater than SCIPepsilon: 1.00000e-09
3590.84/3600.11 o 1034
3590.84/3600.11 s SATISFIABLE
3590.84/3600.11 v x1960 x1959 x1958 x1957 x1956 x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 x1947 x1946 x1945 x1944 x1943 -x1942 -x1941
3590.84/3600.11 v -x1940 x1939 -x1938 x1937 x1936 -x1935 -x1934 x1933 x1932 -x1931 x1930 -x1929 -x1928 x1927 x1926 -x1925 -x1924 x1923 -x1922 -x1921
3590.84/3600.11 v x1920 -x1919 x1918 x1917 x1916 -x1915 -x1914 x1913 x1912 x1911 x1910 x1909 -x1908 x1907 x1906 -x1905 -x1904 -x1903 x1902
3590.84/3600.11 v -x1901 -x1900 -x1899 x1898 -x1897 x1896 -x1895 -x1894 -x1893 -x1892 -x1891 x1890 -x1889 x1888 -x1887 x1886 x1885 x1884 -x1883
3590.84/3600.11 v x1882 x1881 x1880 -x1879 -x1878 -x1877 -x1876 x1875 x1874 -x1873 -x1872 x1871 -x1870 -x1869 x1868 -x1867 -x1866 x1865 -x1864
3590.84/3600.11 v x1863 x1862 -x1861 x1860 -x1859 x1858 x1857 x1856 x1855 x1854 x1853 x1852 x1851 -x1850 -x1849 -x1848 -x1847 x1846 x1845 -x1844
3590.84/3600.11 v -x1843 x1842 -x1841 -x1840 x1839 -x1838 x1837 x1836 -x1835 -x1834 -x1833 x1832 -x1831 x1830 -x1829 x1828 -x1827 -x1826 -x1825
3590.84/3600.11 v -x1824 x1823 -x1822 -x1821 -x1820 x1819 x1818 -x1817 x1816 x1815 x1814 x1813 x1812 -x1811 -x1810 x1809 -x1808 x1807 x1806
3590.84/3600.11 v x1805 x1804 x1803 x1802 -x1801 x1800 -x1799 x1798 x1797 -x1796 -x1795 x1794 -x1793 x1792 -x1791 -x1790 -x1789 x1788 x1787
3590.84/3600.11 v x1786 x1785 -x1784 -x1783 -x1782 x1781 -x1780 -x1779 x1778 x1777 -x1776 x1775 -x1774 -x1773 x1772 -x1771 -x1770 x1769 -x1768
3590.84/3600.11 v x1767 x1766 x1765 -x1764 -x1763 x1762 x1761 x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 x1751 -x1750 x1749 -x1748
3590.84/3600.11 v -x1747 x1746 x1745 -x1744 x1743 x1742 -x1741 -x1740 x1739 x1738 x1737 -x1736 x1735 x1734 -x1733 -x1732 x1731 -x1730 x1729
3590.84/3600.11 v -x1728 x1727 x1726 -x1725 -x1724 x1723 -x1722 x1721 -x1720 -x1719 x1718 -x1717 x1716 -x1715 x1714 x1713 -x1712 -x1711 x1710
3590.84/3600.11 v x1709 x1708 -x1707 -x1706 -x1705 x1704 x1703 x1702 -x1701 -x1700 -x1699 -x1698 x1697 -x1696 x1695 x1694 -x1693 x1692 -x1691
3590.84/3600.11 v -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 x1682 x1681 -x1680 x1679 -x1678 -x1677 x1676 -x1675 x1674 x1673 x1672
3590.84/3600.11 v x1671 -x1670 x1669 x1668 -x1667 -x1666 x1665 -x1664 -x1663 -x1662 -x1661 x1660 x1659 x1658 -x1657 x1656 -x1655 -x1654 -x1653
3590.84/3600.11 v x1652 x1651 -x1650 -x1649 x1648 x1647 x1646 -x1645 -x1644 x1643 x1642 x1641 -x1640 x1639 x1638 x1637 x1636 -x1635 -x1634 x1633
3590.84/3600.11 v x1632 x1631 -x1630 x1629 -x1628 -x1627 x1626 -x1625 x1624 x1623 -x1622 -x1621 x1620 x1619 x1618 -x1617 x1616 -x1615 -x1614
3590.84/3600.11 v x1613 x1612 -x1611 -x1610 x1609 -x1608 x1607 -x1606 -x1605 -x1604 x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 x1596 -x1595
3590.84/3600.11 v -x1594 x1593 -x1592 -x1591 -x1590 x1589 x1588 x1587 -x1586 x1585 x1584 x1583 -x1582 -x1581 -x1580 x1579 x1578 x1577 -x1576
3590.84/3600.11 v x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 x1567 -x1566 -x1565 x1564 x1563 x1562 -x1561 x1560 x1559 x1558 x1557 -x1556
3590.84/3600.11 v -x1555 -x1554 x1553 x1552 x1551 -x1550 -x1549 x1548 -x1547 x1546 -x1545 x1544 x1543 x1542 -x1541 x1540 -x1539 x1538 x1537
3590.84/3600.11 v -x1536 x1535 x1534 x1533 -x1532 -x1531 -x1530 -x1529 -x1528 x1527 x1526 x1525 -x1524 -x1523 x1522 x1521 -x1520 -x1519 -x1518
3590.84/3600.11 v -x1517 -x1516 -x1515 -x1514 x1513 -x1512 x1511 -x1510 x1509 -x1508 x1507 x1506 -x1505 x1504 x1503 -x1502 x1501 -x1500 x1499
3590.84/3600.11 v -x1498 -x1497 x1496 x1495 x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 x1487 -x1486 -x1485 x1484 -x1483 x1482 x1481 -x1480
3590.84/3600.11 v x1479 -x1478 x1477 -x1476 -x1475 -x1474 -x1473 x1472 x1471 x1470 x1469 x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 x1461
3590.84/3600.11 v -x1460 -x1459 -x1458 x1457 -x1456 x1455 -x1454 x1453 x1452 x1451 -x1450 -x1449 x1448 x1447 x1446 x1445 x1444 x1443 -x1442 -x1441
3590.84/3600.11 v x1440 x1439 x1438 x1437 x1436 x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 x1426 x1425 x1424 x1423 x1422
3590.84/3600.11 v x1421 x1420 x1419 x1418 x1417 -x1416 x1415 x1414 -x1413 -x1412 x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 x1404 -x1403
3590.84/3600.11 v x1402 x1401 -x1400 x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 x1388 -x1387 x1386 x1385 x1384 x1383
3590.84/3600.11 v x1382 x1381 -x1380 x1379 x1378 x1377 x1376 -x1375 x1374 -x1373 x1372 -x1371 x1370 x1369 -x1368 -x1367 -x1366 -x1365 x1364
3590.84/3600.11 v -x1363 x1362 x1361 -x1360 -x1359 -x1358 x1357 -x1356 -x1355 -x1354 x1353 -x1352 x1351 x1350 x1349 -x1348 -x1347 x1346 x1345
3590.84/3600.11 v x1344 x1343 x1342 x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 x1333 x1332 x1331 x1330 x1329 -x1328 -x1327 x1326 -x1325
3590.84/3600.11 v x1324 x1323 x1322 -x1321 x1320 -x1319 x1318 x1317 -x1316 x1315 x1314 -x1313 -x1312 x1311 x1310 x1309 x1308 -x1307 -x1306
3590.84/3600.11 v x1305 x1304 x1303 x1302 -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 x1289 -x1288 -x1287
3590.84/3600.11 v -x1286 x1285 -x1284 -x1283 x1282 x1281 x1280 x1279 x1278 -x1277 x1276 x1275 x1274 x1273 x1272 x1271 x1270 -x1269 x1268 -x1267
3590.84/3600.11 v -x1266 x1265 x1264 x1263 x1262 -x1261 x1260 x1259 -x1258 x1257 -x1256 -x1255 -x1254 x1253 -x1252 x1251 x1250 -x1249 -x1248
3590.84/3600.11 v -x1247 x1246 x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 x1232 x1231 -x1230 -x1229
3590.84/3600.11 v x1228 x1227 -x1226 x1225 -x1224 x1223 x1222 x1221 -x1220 x1219 -x1218 -x1217 -x1216 x1215 x1214 -x1213 -x1212 -x1211 x1210 -x1209
3590.84/3600.11 v x1208 -x1207 -x1206 x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191
3590.84/3600.11 v -x1190 -x1189 -x1188 x1187 x1186 -x1185 x1184 x1183 x1182 x1181 -x1180 -x1179 x1178 x1177 -x1176 -x1175 -x1174 x1173 -x1172
3590.84/3600.11 v x1171 x1170 -x1169 x1168 x1167 x1166 -x1165 -x1164 -x1163 -x1162 x1161 x1160 x1159 -x1158 -x1157 x1156 x1155 x1154 x1153 x1152
3590.84/3600.11 v x1151 -x1150 -x1149 -x1148 x1147 -x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 -x1139 -x1138 x1137 x1136 -x1135 -x1134 x1133
3590.84/3600.11 v -x1132 x1131 x1130 -x1129 x1128 x1127 -x1126 x1125 x1124 x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 x1116 -x1115 -x1114
3590.84/3600.11 v x1113 x1112 -x1111 x1110 x1109 -x1108 -x1107 x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 x1095
3590.84/3600.11 v -x1094 -x1093 x1092 x1091 x1090 -x1089 x1088 x1087 -x1086 -x1085 x1084 -x1083 -x1082 x1081 x1080 x1079 -x1078 x1077 -x1076
3590.84/3600.11 v x1075 x1074 -x1073 -x1072 x1071 -x1070 x1069 x1068 x1067 x1066 -x1065 x1064 x1063 -x1062 -x1061 -x1060 x1059 x1058 -x1057 -x1056
3590.84/3600.11 v x1055 x1054 -x1053 -x1052 x1051 -x1050 x1049 -x1048 x1047 x1046 -x1045 -x1044 x1043 x1042 x1041 x1040 -x1039 x1038 x1037
3590.84/3600.11 v x1036 -x1035 -x1034 x1033 -x1032 x1031 x1030 x1029 -x1028 x1027 x1026 x1025 x1024 x1023 -x1022 -x1021 x1020 -x1019 x1018 x1017
3590.84/3600.11 v -x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 -x1008 -x1007 x1006 -x1005 x1004 x1003 x1002 -x1001 -x1000 x999 -x998
3590.84/3600.11 v x997 x996 -x995 x994 x993 -x992 x991 -x990 x989 -x988 x987 x986 -x985 -x984 -x983 -x982 x981 x980 -x979 -x978 x977 -x976 x975
3590.84/3600.11 v x974 x973 -x972 -x971 -x970 x969 -x968 x967 -x966 -x965 -x964 -x963 x962 x961 x960 -x959 x958 x957 x956 x955 x954 -x953 x952
3590.84/3600.11 v x951 -x950 -x949 x948 -x947 x946 x945 x944 -x943 x942 -x941 -x940 x939 x938 -x937 x936 -x935 -x934 x933 x932 -x931 x930 x929
3590.84/3600.11 v x928 -x927 x926 -x925 x924 x923 x922 -x921 x920 x919 -x918 x917 -x916 x915 x914 -x913 x912 -x911 -x910 x909 -x908 -x907 -x906
3590.84/3600.11 v -x905 -x904 -x903 x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 x894 -x893 -x892 x891 -x890 x889 x888 -x887 -x886 x885 -x884
3590.84/3600.11 v x883 x882 -x881 x880 x879 -x878 -x877 -x876 x875 x874 x873 x872 x871 x870 -x869 x868 x867 -x866 x865 -x864 x863 x862 x861 -x860
3590.84/3600.11 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.84/3600.11 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.84/3600.11 v x813 -x812 -x811 x810 x809 -x808 -x807 x806 x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 x797 x796 x795 x794 x793 -x792 x791
3590.84/3600.11 v -x790 x789 x788 -x787 x786 x785 x784 x783 x782 -x781 -x780 -x779 x778 x777 -x776 x775 -x774 x773 x772 -x771 x770 -x769 x768
3590.84/3600.11 v x767 x766 x765 -x764 -x763 x762 x761 -x760 -x759 -x758 x757 x756 x755 -x754 -x753 x752 -x751 x750 x749 x748 -x747 x746 -x745
3590.84/3600.11 v x744 x743 x742 -x741 x740 -x739 x738 x737 x736 x735 -x734 x733 x732 -x731 x730 -x729 x728 x727 x726 x725 x724 -x723 -x722
3590.84/3600.11 v -x721 -x720 -x719 x718 x717 -x716 x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 x706 x705 -x704 -x703 -x702 -x701 -x700
3590.84/3600.11 v x699 x698 -x697 x696 x695 -x694 -x693 x692 -x691 x690 -x689 x688 x687 x686 x685 -x684 x683 x682 x681 x680 -x679 x678 -x677 -x676
3590.84/3600.12 v x675 -x674 x673 x672 x671 -x670 -x669 x668 x667 x666 -x665 x664 x663 -x662 -x661 x660 x659 -x658 x657 x656 -x655 x654 -x653
3590.84/3600.12 v x652 -x651 -x650 -x649 x648 x647 x646 x645 -x644 -x643 x642 -x641 x640 -x639 x638 x637 x636 x635 -x634 -x633 -x632 -x631
3590.84/3600.12 v x630 x629 x628 x627 x626 -x625 x624 -x623 x622 x621 x620 x619 x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 x609 -x608 -x607
3590.84/3600.12 v -x606 x605 x604 x603 x602 x601 -x600 x599 -x598 x597 -x596 -x595 -x594 x593 -x592 x591 x590 x589 x588 -x587 x586 -x585 x584
3590.84/3600.12 v -x583 -x582 x581 -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 x570 x569 x568 -x567 x566 x565 x564 x563 x562
3590.84/3600.12 v -x561 -x560 -x559 x558 -x557 x556 -x555 -x554 -x553 x552 -x551 x550 -x549 -x548 x547 -x546 x545 x544 -x543 x542 -x541 x540 x539
3590.84/3600.12 v x538 x537 -x536 -x535 x534 -x533 -x532 x531 -x530 x529 -x528 x527 x526 x525 -x524 x523 x522 x521 x520 -x519 -x518 -x517 -x516
3590.84/3600.12 v -x515 x514 x513 x512 x511 -x510 -x509 x508 x507 -x506 -x505 -x504 -x503 x502 -x501 x500 x499 -x498 x497 x496 -x495 x494 -x493
3590.84/3600.12 v -x492 -x491 x490 x489 x488 x487 -x486 -x485 x484 x483 -x482 -x481 -x480 x479 x478 x477 x476 x475 -x474 x473 -x472 x471 -x470
3590.84/3600.12 v -x469 -x468 -x467 x466 x465 -x464 x463 x462 x461 x460 x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 x449 -x448
3590.84/3600.12 v x447 -x446 x445 -x444 -x443 -x442 x441 x440 x439 x438 x437 x436 -x435 x434 -x433 -x432 x431 x430 x429 x428 -x427 x426 x425
3590.84/3600.12 v -x424 x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 x414 -x413 x412 -x411 x410 x409 -x408 x407 -x406 x405 -x404 x403 x402
3590.84/3600.12 v -x401 x400 x399 x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 x387 x386 -x385 x384 -x383 x382 -x381 -x380
3590.84/3600.12 v x379 x378 -x377 -x376 -x375 x374 x373 -x372 -x371 -x370 x369 x368 x367 -x366 -x365 -x364 -x363 x362 x361 x360 -x359 x358 x357
3590.84/3600.12 v x356 x355 -x354 x353 x352 -x351 -x350 x349 x348 x347 x346 x345 -x344 x343 x342 x341 -x340 x339 -x338 -x337 x336 x335 -x334
3590.84/3600.12 v -x333 -x332 -x331 x330 -x329 -x328 -x327 x326 x325 -x324 -x323 x322 x321 x320 -x319 x318 x317 x316 x315 x314 -x313 -x312 x311
3590.84/3600.12 v -x310 -x309 -x308 x307 x306 x305 x304 x303 -x302 x301 x300 x299 -x298 -x297 x296 -x295 -x294 x293 -x292 x291 -x290 -x289 x288
3590.84/3600.12 v x287 -x286 x285 x284 x283 -x282 -x281 x280 -x279 x278 x277 -x276 -x275 x274 x273 x272 x271 x270 -x269 x268 x267 -x266 x265
3590.84/3600.12 v x264 x263 x262 x261 -x260 x259 x258 -x257 x256 -x255 -x254 x253 -x252 -x251 x250 -x249 x248 -x247 -x246 -x245 x244 -x243 -x242
3590.84/3600.12 v x241 -x240 x239 x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 x222 -x221 x220
3590.84/3600.12 v -x219 x218 x217 x216 x215 x214 x213 x212 x211 -x210 -x209 -x208 x207 x206 -x205 -x204 x203 x202 x201 -x200 x199 -x198 -x197
3590.84/3600.12 v -x196 -x195 -x194 x193 x192 x191 -x190 -x189 x188 x187 x186 x185 -x184 x183 x182 -x181 x180 x179 x178 x177 x176 x175 -x174 x173
3590.84/3600.12 v x172 x171 x170 x169 x168 -x167 x166 x165 -x164 -x163 -x162 -x161 x160 x159 -x158 x157 x156 -x155 -x154 -x153 x152 -x151 x150
3590.84/3600.12 v x149 x148 -x147 -x146 -x145 x144 -x143 -x142 x141 x140 x139 -x138 x137 x136 x135 x134 x133 -x132 x131 x130 x129 -x128 x127
3590.84/3600.12 v x126 -x125 -x124 x123 x122 -x121 -x120 x119 -x118 -x117 x116 -x115 x114 x113 -x112 -x111 x110 -x109 -x108 x107 x106 -x105 -x104
3590.84/3600.12 v x103 -x102 -x101 x100 -x99 x98 -x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 -x87 x86 x85 -x84 x83 -x82 x81 -x80 x79 x78 -x77
3590.84/3600.12 v -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 x51 -x50 x49
3590.84/3600.12 v -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 x22 -x21 -x20
3590.84/3600.12 v -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: 64059 MiB (62357 MiB free)
memory of node 1: 64510 MiB (63305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434657-1721081341/watcher-4434657-1721081341 -o /tmp/evaluation-result-4434657-1721081341/solver-4434657-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814856 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434657-1721081341.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=814918, runsolver pid=814915
[startup+0.100404 s]*
/proc/loadavg: 3.58 3.98 4.07 8/250 814921
/proc/meminfo: memFree=128625072/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=37380 memory=26828 CPUtime=0.1 cores=1,3
/proc/814918/stat : 814918 (fscip) R 814915 814918 814844 0 -1 4194304 4434 0 0 0 9 1 0 0 20 0 1 0 160290848 38277120 6707 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 9345 6707 2686 3032 0 5745 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37380 KiB
Current children cumulated memory: 26828 KiB
[startup+0.215404 s]*
/proc/loadavg: 3.58 3.98 4.07 9/256 814927
/proc/meminfo: memFree=128574668/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=129032 memory=41168 CPUtime=0.21 cores=1,3
/proc/814918/stat : 814918 (fscip) R 814915 814918 814844 0 -1 1077936128 8578 0 0 0 18 3 0 0 20 0 3 0 160290848 132128768 10292 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 32258 10292 2782 3032 0 14154 0
[pid=814918/tid=814924] ppid=814915 vsize=129032 memory=8737651120394928259 CPUtime=0.02 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 2515 0 0 0 2 0 0 0 20 0 3 0 160290865 132128768 10292 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=129032 memory=5822 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290868 132128768 10292 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 129032 KiB
Current children cumulated memory: 41168 KiB
[startup+0.313544 s]*
/proc/loadavg: 3.58 3.98 4.07 6/256 814927
/proc/meminfo: memFree=128555408/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=131084 memory=47820 CPUtime=0.3 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 10273 0 0 0 27 3 0 0 20 0 3 0 160290848 134230016 11955 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 32771 11955 2798 3032 0 15844 0
[pid=814918/tid=814924] ppid=814915 vsize=131084 memory=-6656716543027755879 CPUtime=0.12 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 4210 0 0 0 11 1 0 0 20 0 3 0 160290865 134230016 11955 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=131084 memory=0 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290868 134230016 11955 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131084 KiB
Current children cumulated memory: 47820 KiB
[startup+0.700319 s]
/proc/loadavg: 3.58 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128533772/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=132108 memory=52388 CPUtime=0.69 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 11296 0 0 0 65 4 0 0 20 0 3 0 160290848 135278592 13097 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 33027 13097 2894 3032 0 16883 0
[pid=814918/tid=814924] ppid=814915 vsize=132108 memory=0 CPUtime=0.49 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 5233 0 0 0 48 1 0 0 20 0 3 0 160290865 135278592 13097 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=132108 memory=0 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290868 135278592 13097 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132108 KiB
Current children cumulated memory: 52388 KiB
[startup+1.50035 s]
/proc/loadavg: 3.58 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128520012/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=133564 memory=56380 CPUtime=1.48 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 14625 0 0 0 144 4 0 0 20 0 3 0 160290848 136769536 14095 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 33391 14095 2910 3032 0 18069 0
[pid=814918/tid=814924] ppid=814915 vsize=133564 memory=0 CPUtime=1.29 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 8557 0 0 0 127 2 0 0 20 0 3 0 160290865 136769536 14095 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=133564 memory=0 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 160290868 136769536 14095 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133564 KiB
Current children cumulated memory: 56380 KiB
[startup+3.1118 s]
/proc/loadavg: 3.61 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128475264/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=134680 memory=63916 CPUtime=3.09 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 17718 0 0 0 304 5 0 0 20 0 3 0 160290848 137912320 15979 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 33670 15979 2910 3032 0 20108 0
[pid=814918/tid=814924] ppid=814915 vsize=134680 memory=0 CPUtime=2.9 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 11650 0 0 0 288 2 0 0 20 0 3 0 160290865 137912320 15979 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=134680 memory=4449 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 160290868 137912320 15979 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 134680 KiB
Current children cumulated memory: 63916 KiB
[startup+6.30031 s]
/proc/loadavg: 3.61 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128320872/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=161060 memory=101524 CPUtime=6.27 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 38940 0 0 0 621 6 0 0 20 0 3 0 160290848 164925440 25381 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 40265 25381 2910 3032 0 29844 0
[pid=814918/tid=814924] ppid=814915 vsize=161060 memory=0 CPUtime=6.08 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 32870 0 0 0 604 4 0 0 20 0 3 0 160290865 164925440 25381 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=161060 memory=91732 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 160290868 164925440 25381 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161060 KiB
Current children cumulated memory: 101524 KiB
[startup+12.7003 s]
/proc/loadavg: 3.64 3.98 4.07 6/256 814930
/proc/meminfo: memFree=128107968/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=184056 memory=133356 CPUtime=12.65 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 64173 0 0 0 1256 9 0 0 20 0 3 0 160290848 188473344 33339 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 46014 33339 2910 3032 0 39022 0
[pid=814918/tid=814924] ppid=814915 vsize=184056 memory=40964 CPUtime=12.46 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 58099 0 0 0 1240 6 0 0 20 0 3 0 160290865 188473344 33339 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=184056 memory=57772 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 160290868 188473344 33339 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 184056 KiB
Current children cumulated memory: 133356 KiB
[startup+25.5004 s]
/proc/loadavg: 3.80 4.00 4.07 6/256 814932
/proc/meminfo: memFree=128098376/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=184056 memory=134096 CPUtime=25.42 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 86224 0 0 0 2532 10 0 0 20 0 3 0 160290848 188473344 33524 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 46014 33524 2958 3032 0 39022 0
[pid=814918/tid=814924] ppid=814915 vsize=184056 memory=11408 CPUtime=25.24 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 80063 0 0 0 2516 8 0 0 20 0 3 0 160290865 188473344 33524 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=184056 memory=133800 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 160290868 188473344 33524 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 184056 KiB
Current children cumulated memory: 134096 KiB
[startup+51.1119 s]
/proc/loadavg: 3.87 4.00 4.07 6/256 814937
/proc/meminfo: memFree=127883432/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=289172 memory=198712 CPUtime=50.95 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 165721 0 0 0 5078 17 0 0 20 0 3 0 160290848 296112128 49678 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 72293 49678 2958 3032 0 56728 0
[pid=814918/tid=814924] ppid=814915 vsize=289172 memory=6720665432954780528 CPUtime=50.76 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 158707 0 0 0 5062 14 0 0 20 0 3 0 160290865 296112128 49678 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=289172 memory=-5637249281705387555 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 160290868 296112128 49678 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 289172 KiB
Current children cumulated memory: 198712 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.03 4.07 6/258 815236
/proc/meminfo: memFree=127790876/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=294368 memory=227392 CPUtime=102 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 256297 0 0 0 10176 24 0 0 20 0 3 0 160290848 301432832 56848 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 73592 56848 2974 3032 0 64344 0
[pid=814918/tid=814924] ppid=814915 vsize=294368 memory=11408 CPUtime=101.79 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 248438 0 0 0 10158 21 0 0 20 0 3 0 160290865 301432832 56848 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=294368 memory=40964 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 160290868 301432832 56848 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 294368 KiB
Current children cumulated memory: 227392 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.04 4.07 6/258 815246
/proc/meminfo: memFree=127561840/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=361144 memory=254724 CPUtime=161.83 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 322363 0 0 0 16154 29 0 0 20 0 3 0 160290848 369811456 63681 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 90286 63681 2974 3032 0 71799 0
[pid=814918/tid=814924] ppid=814915 vsize=361144 memory=233084 CPUtime=161.62 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 314069 0 0 0 16137 25 0 0 20 0 3 0 160290865 369811456 63681 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=361144 memory=16212 CPUtime=0 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 160290868 369811456 63681 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 361144 KiB
Current children cumulated memory: 254724 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.04 4.07 6/257 815257
################
# More data... #
################
/proc/814918/statm: 192050 176515 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=6720665432954780528 CPUtime=3452.83 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1339823 0 0 0 345154 129 0 0 20 0 3 0 160290865 786636800 176515 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=706060 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 168 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176515 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 817032
/proc/meminfo: memFree=126471828/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706060 CPUtime=3513.21 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1358230 0 0 0 351173 148 0 0 20 0 3 0 160290848 786636800 176515 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176515 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=706060 CPUtime=3512.68 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1347425 0 0 0 351138 130 0 0 20 0 3 0 160290865 786636800 176515 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=40964 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 170 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176515 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/251 817042
/proc/meminfo: memFree=126470368/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706704 CPUtime=3573.06 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366265 0 0 0 357157 149 0 0 20 0 3 0 160290848 786636800 176676 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176676 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=706704 CPUtime=3572.52 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355439 0 0 0 357122 130 0 0 20 0 3 0 160290865 786636800 176676 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=12724 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176676 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706704 KiB
[startup+3600.13 s]
# the end of solver process 814918 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.36 s, system=1.50862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.13 4.10 6/251 817042
/proc/meminfo: memFree=126470388/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706704 CPUtime=3574.77 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366285 0 0 0 357328 149 0 0 20 0 3 0 160290848 786636800 176676 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176676 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=6720665432954780528 CPUtime=3574.23 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355459 0 0 0 357293 130 0 0 20 0 3 0 160290865 786636800 176676 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=7681903499814411419 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176676 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706704 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.09 6/251 817043
/proc/meminfo: memFree=126470336/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706768 CPUtime=3581.14 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366498 0 0 0 357965 149 0 0 20 0 3 0 160290848 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176692 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=706704 CPUtime=3580.6 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355672 0 0 0 357930 130 0 0 20 0 3 0 160290865 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=0 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706768 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 817045
/proc/meminfo: memFree=126470276/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706768 CPUtime=3587.53 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366602 0 0 0 358604 149 0 0 20 0 3 0 160290848 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176692 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=706704 CPUtime=3586.99 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355776 0 0 0 358569 130 0 0 20 0 3 0 160290865 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=706704 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3587.53 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706768 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 817045
/proc/meminfo: memFree=126470304/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706768 CPUtime=3589.12 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366602 0 0 0 358763 149 0 0 20 0 3 0 160290848 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176692 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=5524 CPUtime=3588.58 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355776 0 0 0 358728 130 0 0 20 0 3 0 160290865 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=11408 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3589.12 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706768 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 817045
/proc/meminfo: memFree=126470192/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706768 CPUtime=3589.92 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366602 0 0 0 358843 149 0 0 20 0 3 0 160290848 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176692 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=40964 CPUtime=3589.38 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355776 0 0 0 358808 130 0 0 20 0 3 0 160290865 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=706768 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3589.92 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706768 KiB
[startup+3599.6 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 817045
/proc/meminfo: memFree=126470192/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706768 CPUtime=3590.32 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366602 0 0 0 358883 149 0 0 20 0 3 0 160290848 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176692 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=2288 CPUtime=3589.78 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355776 0 0 0 358848 130 0 0 20 0 3 0 160290865 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=26520 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3590.32 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706768 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.09 6/247 817045
/proc/meminfo: memFree=127044916/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=768200 memory=706768 CPUtime=3590.73 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1366636 0 0 0 358924 149 0 0 20 0 3 0 160290848 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 192050 176692 2974 3032 0 179307 0
[pid=814918/tid=814924] ppid=814915 vsize=768200 memory=4940 CPUtime=3590.19 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1355812 0 0 0 358889 130 0 0 20 0 3 0 160290865 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=768200 memory=7681903499814411419 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 786636800 176692 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3590.73 s
Current children cumulated vsize: 768200 KiB
Current children cumulated memory: 706768 KiB
[startup+3600.11 s]
/proc/loadavg: 4.13 4.12 4.09 6/247 817045
/proc/meminfo: memFree=127044916/131655788 swapFree=131071996/131071996
[pid=814918] ppid=814915 vsize=673420 memory=611168 CPUtime=3590.84 cores=1,3
/proc/814918/stat : 814918 (fscip) S 814915 814918 814844 0 -1 1077936128 1367567 0 0 0 358934 150 0 0 20 0 3 0 160290848 689582080 153044 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
/proc/814918/statm: 168103 152798 2974 3032 0 155360 0
[pid=814918/tid=814924] ppid=814915 vsize=670396 memory=706060 CPUtime=3590.3 cores=1,3
/proc/814918/task/814924/stat : 814924 (fscip) R 814915 814918 814844 0 -1 4194368 1356742 0 0 0 358899 131 0 0 20 0 3 0 160290865 686485504 152284 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
[pid=814918/tid=814927] ppid=814915 vsize=669372 memory=706768 CPUtime=0.04 cores=1,3
/proc/814918/task/814927/stat : 814927 (fscip) S 814915 814918 814844 0 -1 1077936192 172 0 0 0 1 3 0 0 20 0 3 0 160290868 685436928 152284 134679101440 4194304 16613245 140723993792800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55517184 140723993801749 140723993801865 140723993801865 140723993808880 0
Current children cumulated CPU time: 3590.84 s
Current children cumulated vsize: 673420 KiB
Current children cumulated memory: 611168 KiB
Child status: 0
Real time (s): 3600.13
CPU time (s): 3590.86
CPU user time (s): 3589.36
CPU system time (s): 1.50862
CPU usage (%): 99.7425
Max. virtual memory (cumulated for all children) (KiB): 769220
Max. memory (cumulated for all children) (KiB): 706768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.36
system time used= 1.50862
maximum resident set size= 706768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1367774
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= 10607
involuntary context switches= 1923
# summary of solver processes directly reported to runsolver:
# pid: 814918
# total CPU time (s): 3590.86
# total CPU user time (s): 3589.36
# total CPU system time (s): 1.50862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5613 second user time and 31.8788 second system time
The end
Begin job on nodeC007 at 2024-07-16 00:09:14
IDJOB=4434657
IDBENCH=147526
IDSOLVER=3064
FILE ID=nodeC007/4434657-1721081341
RUNJOBID= nodeC007-1721081354-814856
SLURM_JOB_ID= 7505557
Free space on /tmp= 723760 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.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-4434657-1721081341/watcher-4434657-1721081341 -o /tmp/evaluation-result-4434657-1721081341/solver-4434657-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814856 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434657-1721081341.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=1171985619
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.288
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128690480 kB
MemAvailable: 129928080 kB
Buffers: 380476 kB
Cached: 1689092 kB
SwapCached: 0 kB
Active: 679484 kB
Inactive: 1740116 kB
Active(anon): 1348 kB
Inactive(anon): 386704 kB
Active(file): 678136 kB
Inactive(file): 1353412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112996 kB
Writeback: 16 kB
AnonPages: 350784 kB
Mapped: 114300 kB
Shmem: 37704 kB
KReclaimable: 92164 kB
Slab: 187828 kB
SReclaimable: 92164 kB
SUnreclaim: 95664 kB
KernelStack: 3808 kB
PageTables: 10332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 678656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-16 01:09:15