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() = 8872858, SCIPgetMemTotal() = 10624578, SCIPgetMemExternEstim() = 5427093
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 = 24970581, getVmSize() = 42385408, SCIPgetMemUsed() = 10381919, SCIPgetMemTotal() = 19024807, SCIPgetMemExternEstim() = 5427093
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-4434658-1721081341
0.10/0.17 c Variables : 1968 (1968 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 : 1531 (1531 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 2987
0.10/0.17 c Constraints : Number
0.10/0.17 c setppc : 2987
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 1745.0000 - -
0.31/0.37 c * 0 0 1 1 1176.0000 - -
0.31/0.38 c * 0 0 1 1 1081.0000 - -
0.41/0.43 c * 0 0 1 1 1069.0000 - -
12.75/12.80 c 13 2 1 1 1069.0000 1007.7217 6.08%
20.22/20.33 c 20 4 3 1 1069.0000 1008.0926 6.04%
25.42/25.54 c 26 7 6 1 1069.0000 1008.0926 6.04%
28.92/29.03 c * 29 12 11 1 1054.0000 1008.0926 4.55%
30.61/30.77 c 31 25 24 1 1054.0000 1008.6667 4.49%
32.50/32.65 c * 33 45 44 1 1052.0000 1008.6667 4.30%
33.29/33.41 c * 33 62 54 1 1051.0000 1008.6667 4.20%
37.09/37.27 c 37 91 59 1 1051.0000 1008.8121 4.18%
44.46/44.67 c 45 148 84 1 1051.0000 1009.6646 4.09%
44.87/45.10 c * 45 148 84 1 1048.0000 1009.6646 3.80%
47.35/47.51 c * 48 225 88 1 1047.0000 1009.9081 3.67%
52.34/52.59 c * 53 273 96 1 1045.0000 1009.9293 3.47%
52.34/52.59 c 53 273 96 1 1045.0000 1009.9293 3.47%
57.64/57.84 c 58 409 118 1 1045.0000 1009.9293 3.47%
61.43/61.63 c * 62 462 127 1 1041.0000 1010.7168 3.00%
64.83/65.06 c 65 496 121 1 1041.0000 1010.9623 2.97%
70.50/70.74 c 71 564 163 1 1041.0000 1011.7043 2.90%
77.23/77.59 c 78 637 180 1 1041.0000 1012.1992 2.85%
82.87/83.27 c 83 810 205 1 1041.0000 1012.1992 2.85%
88.13/88.59 c 89 884 219 1 1041.0000 1012.1992 2.85%
94.47/94.93 c 95 935 238 1 1041.0000 1012.3292 2.83%
99.67/100.19 c 100 977 262 1 1041.0000 1012.4366 2.82%
105.75/106.22 c 106 1022 277 1 1041.0000 1012.4372 2.82%
111.13/111.69 c 112 1081 300 1 1041.0000 1012.4372 2.82%
116.12/116.69 c 117 1189 324 1 1041.0000 1012.6793 2.80%
121.41/121.97 c 122 1232 335 1 1041.0000 1012.6793 2.80%
126.39/127.01 c 127 1256 357 1 1041.0000 1013.0201 2.76%
132.67/133.28 c 133 1271 372 1 1041.0000 1013.0233 2.76%
137.75/138.35 c 138 1291 392 1 1041.0000 1013.1667 2.75%
143.55/144.13 c 144 1302 403 1 1041.0000 1013.3413 2.73%
151.22/151.89 c 152 1362 419 1 1041.0000 1013.4347 2.72%
157.01/157.60 c 158 1400 425 1 1041.0000 1013.4347 2.72%
162.70/163.35 c 163 1492 433 1 1041.0000 1013.6338 2.70%
168.58/169.27 c 169 1565 440 1 1041.0000 1013.7342 2.69%
173.67/174.30 c 174 1602 449 1 1041.0000 1013.9258 2.67%
181.05/181.76 c 182 1666 461 1 1041.0000 1014.4533 2.62%
186.35/187.05 c 187 1757 464 1 1041.0000 1014.4877 2.61%
192.62/193.36 c 193 1894 477 1 1041.0000 1014.5164 2.61%
198.32/199.06 c 199 1955 482 1 1041.0000 1014.5457 2.61%
203.99/204.75 c 205 2035 484 1 1041.0000 1014.5775 2.60%
209.59/210.30 c 210 2195 484 1 1041.0000 1014.7500 2.59%
214.87/215.68 c 216 2309 494 1 1041.0000 1014.8727 2.57%
221.27/222.04 c 222 2405 498 1 1041.0000 1014.8882 2.57%
226.74/227.58 c 228 2426 507 1 1041.0000 1015.1008 2.55%
233.13/233.94 c 234 2535 512 1 1041.0000 1015.1464 2.55%
236.11/236.97 c * 237 2563 518 1 1038.0000 1015.1590 2.25%
238.61/239.49 c 239 2642 464 1 1038.0000 1015.1590 2.25%
243.69/244.58 c 245 2716 468 1 1038.0000 1015.1624 2.25%
248.98/249.89 c 250 2881 473 1 1038.0000 1015.1848 2.25%
254.19/255.06 c 255 3012 474 1 1038.0000 1015.1852 2.25%
259.76/260.61 c 261 3107 479 1 1038.0000 1015.1852 2.25%
265.94/266.84 c 267 3226 482 1 1038.0000 1015.2694 2.24%
271.13/272.09 c 272 3322 490 1 1038.0000 1015.5122 2.21%
278.79/279.73 c 280 3376 498 1 1038.0000 1015.6297 2.20%
284.39/285.36 c 285 3432 508 1 1038.0000 1015.6623 2.20%
289.77/290.73 c 291 3480 516 1 1038.0000 1015.6623 2.20%
295.06/296.06 c 296 3577 519 1 1038.0000 1015.6667 2.20%
300.33/301.37 c 301 3635 519 1 1038.0000 1015.6966 2.20%
306.31/307.30 c 307 3728 522 1 1038.0000 1015.7389 2.19%
311.89/312.96 c 313 3793 529 1 1038.0000 1015.7755 2.19%
317.09/318.12 c 318 3821 7 1 1038.0000 1015.7755 2.19%
322.97/324.02 c 324 3878 26 1 1038.0000 1015.7755 2.19%
328.85/329.97 c 330 3975 47 1 1038.0000 1015.7755 2.19%
334.33/335.42 c 335 4076 44 1 1038.0000 1015.7755 2.19%
340.21/341.39 c 341 4190 50 1 1038.0000 1015.7887 2.19%
346.19/347.37 c 347 4356 58 1 1038.0000 1015.8492 2.18%
351.67/352.86 c 353 4475 65 1 1038.0000 1016.2055 2.14%
357.55/358.74 c 359 4586 74 1 1038.0000 1016.2491 2.14%
362.64/363.88 c 364 4695 71 1 1038.0000 1016.4152 2.12%
369.71/370.97 c 371 4768 84 1 1038.0000 1016.6441 2.10%
375.39/376.68 c 377 4867 101 1 1038.0000 1016.7879 2.09%
380.48/381.71 c 382 4987 103 1 1038.0000 1016.8575 2.08%
385.88/387.19 c 387 5055 119 1 1038.0000 1017.2551 2.04%
391.15/392.48 c 392 5115 135 1 1038.0000 1017.4434 2.02%
396.65/398.01 c 398 5198 142 1 1038.0000 1017.5446 2.01%
403.61/404.96 c 405 5316 144 1 1038.0000 1017.5874 2.01%
409.11/410.41 c 410 5405 157 1 1038.0000 1017.6406 2.00%
414.70/416.04 c 416 5508 168 1 1038.0000 1017.6966 2.00%
420.58/421.90 c 422 5629 175 1 1038.0000 1017.7609 1.99%
425.56/426.92 c 427 5705 177 1 1038.0000 1017.8078 1.98%
431.66/433.02 c 433 5755 191 1 1038.0000 1017.9239 1.97%
437.65/439.07 c 439 5830 200 1 1038.0000 1018.0185 1.96%
443.52/444.90 c 445 5943 207 1 1038.0000 1018.1574 1.95%
448.81/450.23 c 450 6119 211 1 1038.0000 1018.1574 1.95%
454.29/455.74 c 456 6219 217 1 1038.0000 1018.1628 1.95%
459.87/461.31 c 461 6305 227 1 1038.0000 1018.1815 1.95%
465.36/466.83 c 467 6435 233 1 1038.0000 1018.1958 1.95%
473.14/474.66 c 475 6508 242 1 1038.0000 1018.2555 1.94%
478.72/480.25 c 480 6646 244 1 1038.0000 1018.2631 1.94%
484.81/486.38 c 486 6736 252 1 1038.0000 1018.3752 1.93%
490.30/491.86 c 492 6820 262 1 1038.0000 1018.4170 1.92%
495.28/496.89 c 497 6951 271 1 1038.0000 1018.4493 1.92%
501.06/502.68 c 503 7140 276 1 1038.0000 1018.4902 1.92%
506.44/508.03 c 508 7313 273 1 1038.0000 1018.5203 1.91%
512.11/513.71 c 514 7465 289 1 1038.0000 1018.5935 1.91%
517.41/519.08 c 519 7603 303 1 1038.0000 1018.6422 1.90%
522.77/524.48 c 524 7641 299 1 1038.0000 1018.6677 1.90%
528.66/530.33 c 530 7675 299 1 1038.0000 1018.6869 1.90%
533.94/535.63 c 536 7810 310 1 1038.0000 1018.6869 1.90%
539.24/540.92 c 541 7950 316 1 1038.0000 1018.6869 1.90%
544.44/546.19 c 546 8078 312 1 1038.0000 1018.6869 1.90%
550.32/552.10 c 552 8147 315 1 1038.0000 1018.7258 1.89%
555.50/557.22 c 557 8378 314 1 1038.0000 1018.7258 1.89%
560.88/562.67 c 563 8592 324 1 1038.0000 1018.7504 1.89%
566.16/567.94 c 568 8718 328 1 1038.0000 1018.7521 1.89%
573.25/575.01 c 575 8788 336 1 1038.0000 1018.7602 1.89%
578.73/580.57 c 581 8997 343 1 1038.0000 1018.7752 1.89%
584.01/585.81 c 586 9127 353 1 1038.0000 1018.8654 1.88%
589.00/590.83 c 591 9275 359 1 1038.0000 1018.8750 1.88%
593.98/595.85 c 596 9321 371 1 1038.0000 1018.9112 1.87%
599.66/601.59 c 602 9386 382 1 1038.0000 1018.9784 1.87%
604.84/606.79 c 607 9525 393 1 1038.0000 1018.9784 1.87%
609.93/611.86 c 612 9615 405 1 1038.0000 1019.0501 1.86%
617.22/619.11 c 619 9668 420 1 1038.0000 1019.0782 1.86%
622.39/624.39 c 624 9764 434 1 1038.0000 1019.1017 1.85%
628.07/630.04 c 630 9885 437 1 1038.0000 1019.1380 1.85%
633.45/635.43 c 635 10079 439 1 1038.0000 1019.1667 1.85%
640.23/642.22 c 642 10255 431 1 1038.0000 1019.2398 1.84%
646.13/648.16 c 648 10396 448 1 1038.0000 1019.2844 1.84%
651.12/653.20 c 653 10489 461 1 1038.0000 1019.3204 1.83%
656.79/658.87 c 659 10659 469 1 1038.0000 1019.3410 1.83%
662.18/664.22 c 664 10755 471 1 1038.0000 1019.3757 1.83%
667.57/669.62 c 670 10838 476 1 1038.0000 1019.3757 1.83%
673.56/675.60 c 676 10858 484 1 1038.0000 1019.4036 1.82%
678.64/680.72 c 681 10959 489 1 1038.0000 1019.4343 1.82%
683.93/686.05 c 686 11017 495 1 1038.0000 1019.5016 1.81%
689.02/691.19 c 691 11167 497 1 1038.0000 1019.5155 1.81%
694.19/696.33 c 696 11218 508 1 1038.0000 1019.5290 1.81%
699.27/701.40 c 701 11275 511 1 1038.0000 1019.5338 1.81%
704.56/706.76 c 707 11367 521 1 1038.0000 1019.5479 1.81%
709.54/711.78 c 712 11445 527 1 1038.0000 1019.5623 1.81%
714.62/716.81 c 717 11509 533 1 1038.0000 1019.6023 1.80%
719.82/722.08 c 722 11596 532 1 1038.0000 1019.6157 1.80%
725.39/727.67 c 728 11738 540 1 1038.0000 1019.6293 1.80%
730.67/732.96 c 733 11847 551 1 1038.0000 1019.6565 1.80%
736.35/738.64 c 739 11907 549 1 1038.0000 1019.6711 1.80%
742.54/744.84 c 745 12065 555 1 1038.0000 1019.6858 1.80%
747.63/749.91 c 750 12252 566 1 1038.0000 1019.6858 1.80%
753.11/755.45 c 755 12427 571 1 1038.0000 1019.6870 1.80%
758.89/761.27 c 761 12535 581 1 1038.0000 1019.7145 1.79%
766.27/768.60 c 769 12685 583 1 1038.0000 1019.7354 1.79%
771.25/773.62 c 774 12777 597 1 1038.0000 1019.7413 1.79%
777.53/779.94 c 780 12905 607 1 1038.0000 1019.7554 1.79%
784.62/787.09 c 787 12968 616 1 1038.0000 1019.7616 1.79%
790.39/792.80 c 793 13165 621 1 1038.0000 1019.7776 1.79%
795.87/798.30 c 798 13264 636 1 1038.0000 1019.7828 1.79%
801.06/803.60 c 804 13380 636 1 1038.0000 1019.7965 1.79%
806.44/808.98 c 809 13535 645 1 1038.0000 1019.8111 1.78%
812.32/814.87 c 815 13708 652 1 1038.0000 1019.8762 1.78%
818.01/820.54 c 821 13827 655 1 1038.0000 1019.8882 1.78%
823.99/826.52 c 827 13876 672 1 1038.0000 1019.9646 1.77%
829.77/832.34 c 832 13985 681 1 1038.0000 1019.9732 1.77%
834.76/837.37 c 837 14131 683 1 1038.0000 1019.9800 1.77%
841.14/843.70 c 844 14168 694 1 1038.0000 1020.0142 1.76%
846.32/848.94 c 849 14249 699 1 1038.0000 1020.0266 1.76%
852.31/854.95 c 855 14352 714 1 1038.0000 1020.0915 1.76%
858.40/861.02 c 861 14489 711 1 1038.0000 1020.1087 1.75%
864.38/867.02 c 867 14687 713 1 1038.0000 1020.1112 1.75%
869.46/872.12 c 872 14869 717 1 1038.0000 1020.1112 1.75%
875.53/878.24 c 878 14958 724 1 1038.0000 1020.1153 1.75%
880.91/883.60 c 884 15047 737 1 1038.0000 1020.1547 1.75%
886.20/888.93 c 889 15135 739 1 1038.0000 1020.2013 1.74%
893.98/896.79 c 897 15198 748 1 1038.0000 1020.2441 1.74%
899.16/901.96 c 902 15309 761 1 1038.0000 1020.2455 1.74%
904.94/907.75 c 908 15480 762 1 1038.0000 1020.2455 1.74%
910.72/913.55 c 914 15607 767 1 1038.0000 1020.2534 1.74%
916.21/919.06 c 919 15737 775 1 1038.0000 1020.2753 1.74%
922.20/925.01 c 925 15930 788 1 1038.0000 1020.2900 1.74%
927.38/930.27 c 930 16055 793 1 1038.0000 1020.3063 1.73%
932.56/935.47 c 935 16119 801 1 1038.0000 1020.3117 1.73%
939.05/941.92 c 942 16265 805 1 1038.0000 1020.3236 1.73%
945.73/948.65 c 949 16356 824 1 1038.0000 1020.3973 1.73%
952.72/955.68 c 956 16378 834 1 1038.0000 1020.4642 1.72%
959.11/962.01 c 962 16428 842 1 1038.0000 1020.4859 1.72%
964.20/967.18 c 967 16595 839 1 1038.0000 1020.4859 1.72%
970.67/973.63 c 974 16686 852 1 1038.0000 1020.4951 1.72%
975.96/979.01 c 979 16747 865 1 1038.0000 1020.5119 1.71%
981.15/984.12 c 984 16945 863 1 1038.0000 1020.5140 1.71%
986.34/989.38 c 989 17095 871 1 1038.0000 1020.5140 1.71%
992.32/995.32 c 995 17204 878 1 1038.0000 1020.5616 1.71%
997.81/1000.85 c 1001 17258 884 1 1038.0000 1020.5689 1.71%
1002.90/1005.94 c 1006 17286 894 1 1038.0000 1020.5871 1.71%
1008.48/1011.56 c 1012 17366 904 1 1038.0000 1020.5981 1.71%
1013.98/1017.07 c 1017 17513 907 1 1038.0000 1020.5988 1.71%
1020.35/1023.48 c 1023 17528 910 1 1038.0000 1020.6073 1.70%
1025.54/1028.65 c 1029 17695 913 1 1038.0000 1020.6106 1.70%
1031.43/1034.60 c 1035 17717 919 1 1038.0000 1020.6106 1.70%
1037.02/1040.18 c 1040 17822 920 1 1038.0000 1020.6106 1.70%
1042.70/1045.88 c 1046 17915 927 1 1038.0000 1020.6411 1.70%
1048.28/1051.46 c 1051 17985 947 1 1038.0000 1020.6743 1.70%
1053.98/1057.19 c 1057 18107 953 1 1038.0000 1020.6802 1.70%
1059.16/1062.34 c 1062 18225 957 1 1038.0000 1020.6905 1.70%
1064.35/1067.56 c 1068 18381 959 1 1038.0000 1020.6905 1.70%
1069.44/1072.61 c 1073 18535 967 1 1038.0000 1020.6948 1.70%
1074.93/1078.11 c 1078 18693 977 1 1038.0000 1020.6949 1.70%
1080.01/1083.25 c 1083 18875 977 1 1038.0000 1020.7006 1.69%
1087.99/1091.28 c 1091 18969 983 1 1038.0000 1020.7018 1.69%
1093.18/1096.48 c 1096 19084 986 1 1038.0000 1020.7077 1.69%
1098.27/1101.57 c 1102 19165 989 1 1038.0000 1020.7216 1.69%
1104.16/1107.42 c 1107 19302 1002 1 1038.0000 1020.7332 1.69%
1109.34/1112.60 c 1113 19416 1000 1 1038.0000 1020.7557 1.69%
1114.84/1118.17 c 1118 19519 1013 1 1038.0000 1020.7796 1.69%
1120.21/1123.58 c 1124 19597 1023 1 1038.0000 1020.7865 1.69%
1125.41/1128.78 c 1129 19762 1028 1 1038.0000 1020.7946 1.69%
1130.59/1133.97 c 1134 19912 1034 1 1038.0000 1020.7950 1.69%
1137.57/1140.95 c 1141 20065 1039 1 1038.0000 1020.8174 1.68%
1142.67/1146.07 c 1146 20168 1050 1 1038.0000 1020.8268 1.68%
1147.95/1151.36 c 1151 20273 1057 1 1038.0000 1020.8280 1.68%
1153.54/1156.99 c 1157 20375 1067 1 1038.0000 1020.8370 1.68%
1160.22/1163.69 c 1164 20409 1073 1 1038.0000 1020.8389 1.68%
1165.41/1168.88 c 1169 20505 1085 1 1038.0000 1020.8588 1.68%
1170.80/1174.29 c 1174 20629 1091 1 1038.0000 1020.8868 1.68%
1176.48/1179.97 c 1180 20725 1099 1 1038.0000 1020.9037 1.67%
1181.77/1185.27 c 1185 20855 1105 1 1038.0000 1020.9146 1.67%
1188.35/1191.88 c 1192 20945 1113 1 1038.0000 1020.9396 1.67%
1194.23/1197.74 c 1198 21055 1121 1 1038.0000 1020.9562 1.67%
1199.92/1203.42 c 1203 21176 1138 1 1038.0000 1020.9663 1.67%
1205.90/1209.44 c 1209 21242 1146 1 1038.0000 1020.9731 1.67%
1211.50/1215.02 c 1215 21356 1146 1 1038.0000 1020.9738 1.67%
1216.58/1220.13 c 1220 21487 1157 1 1038.0000 1020.9738 1.67%
1223.35/1226.96 c 1227 21629 1157 1 1038.0000 1020.9893 1.67%
1229.23/1232.83 c 1233 21745 1169 1 1038.0000 1020.9970 1.67%
1234.22/1237.88 c 1238 21828 1168 1 1038.0000 1020.9984 1.67%
1239.30/1242.91 c 1243 21897 1167 1 1038.0000 1020.9984 1.67%
1244.88/1248.50 c 1249 21956 1178 1 1038.0000 1021.0027 1.66%
1250.17/1253.83 c 1254 22053 1191 1 1038.0000 1021.0142 1.66%
1256.05/1259.71 c 1260 22176 1192 1 1038.0000 1021.0251 1.66%
1261.83/1265.55 c 1266 22318 1200 1 1038.0000 1021.0302 1.66%
1269.11/1272.87 c 1273 22426 1202 1 1038.0000 1021.0391 1.66%
1274.50/1278.28 c 1278 22535 1207 1 1038.0000 1021.0405 1.66%
1279.68/1283.42 c 1283 22615 1223 1 1038.0000 1021.0520 1.66%
1284.77/1288.53 c 1289 22675 1233 1 1038.0000 1021.0714 1.66%
1290.16/1293.95 c 1294 22709 1241 1 1038.0000 1021.0736 1.66%
1295.55/1299.31 c 1299 22789 1249 1 1038.0000 1021.0865 1.66%
1300.84/1304.68 c 1305 22887 1255 1 1038.0000 1021.0950 1.66%
1306.24/1310.09 c 1310 23022 1256 1 1038.0000 1021.0950 1.66%
1312.22/1316.04 c 1316 23168 1266 1 1038.0000 1021.1326 1.65%
1317.50/1321.35 c 1321 23271 1275 1 1038.0000 1021.1707 1.65%
1323.19/1327.08 c 1327 23362 1290 1 1038.0000 1021.1967 1.65%
1329.07/1332.98 c 1333 23489 1291 1 1038.0000 1021.2021 1.64%
1334.95/1338.87 c 1339 23564 1294 1 1038.0000 1021.2082 1.64%
1341.34/1345.22 c 1345 23656 1296 1 1038.0000 1021.2523 1.64%
1347.43/1351.36 c 1351 23756 1304 1 1038.0000 1021.2550 1.64%
1352.42/1356.38 c 1356 23844 1310 1 1038.0000 1021.2565 1.64%
1357.71/1361.65 c 1362 23933 1313 1 1038.0000 1021.2707 1.64%
1363.88/1367.84 c 1368 24041 1319 1 1038.0000 1021.2722 1.64%
1369.56/1373.56 c 1374 24133 1325 1 1038.0000 1021.2735 1.64%
1374.75/1378.75 c 1379 24205 1327 1 1038.0000 1021.2756 1.64%
1379.94/1383.98 c 1384 24328 1336 1 1038.0000 1021.2756 1.64%
1385.82/1389.83 c 1390 24471 1339 1 1038.0000 1021.3059 1.63%
1391.02/1395.04 c 1395 24526 1342 1 1038.0000 1021.3132 1.63%
1396.49/1400.55 c 1401 24602 1350 1 1038.0000 1021.3264 1.63%
1401.58/1405.68 c 1406 24636 1356 1 1038.0000 1021.3325 1.63%
1408.37/1412.45 c 1412 24715 1371 1 1038.0000 1021.3511 1.63%
1414.15/1418.26 c 1418 24825 1379 1 1038.0000 1021.3664 1.63%
1419.44/1423.56 c 1424 24898 1382 1 1038.0000 1021.3664 1.63%
1424.73/1428.83 c 1429 25052 1380 1 1038.0000 1021.3664 1.63%
1429.81/1433.97 c 1434 25155 1381 1 1038.0000 1021.3689 1.63%
1435.29/1439.46 c 1439 25291 1399 1 1038.0000 1021.3934 1.63%
1441.68/1445.82 c 1446 25419 1401 1 1038.0000 1021.3954 1.63%
1448.36/1452.59 c 1453 25467 1411 1 1038.0000 1021.4082 1.62%
1453.55/1457.73 c 1458 25614 1414 1 1038.0000 1021.4082 1.62%
1458.95/1463.17 c 1463 25731 1415 1 1038.0000 1021.4082 1.62%
1465.33/1469.57 c 1470 25815 1415 1 1038.0000 1021.4140 1.62%
1471.61/1475.83 c 1476 25856 1430 1 1038.0000 1021.4306 1.62%
1476.59/1480.84 c 1481 25934 1432 1 1038.0000 1021.4401 1.62%
1482.47/1486.73 c 1487 26015 1445 1 1038.0000 1021.4566 1.62%
1487.55/1491.86 c 1492 26161 1449 1 1038.0000 1021.4566 1.62%
1493.44/1497.73 c 1498 26293 1447 1 1038.0000 1021.4712 1.62%
1498.93/1503.27 c 1503 26419 1457 1 1038.0000 1021.5034 1.61%
1504.11/1508.49 c 1508 26512 1462 1 1038.0000 1021.5037 1.61%
1509.19/1513.52 c 1514 26615 1471 1 1038.0000 1021.5110 1.61%
1515.07/1519.48 c 1519 26727 1479 1 1038.0000 1021.5153 1.61%
1520.85/1525.27 c 1525 26850 1484 1 1038.0000 1021.5153 1.61%
1526.75/1531.15 c 1531 26975 1491 1 1038.0000 1021.5515 1.61%
1532.02/1536.49 c 1536 27078 1500 1 1038.0000 1021.5546 1.61%
1537.10/1541.58 c 1542 27145 1503 1 1038.0000 1021.5605 1.61%
1542.39/1546.84 c 1547 27266 1512 1 1038.0000 1021.5605 1.61%
1548.07/1552.50 c 1552 27374 1524 1 1038.0000 1021.5724 1.61%
1553.75/1558.24 c 1558 27507 1535 1 1038.0000 1021.5944 1.61%
1559.13/1563.65 c 1564 27594 1542 1 1038.0000 1021.6167 1.60%
1564.42/1568.95 c 1569 27716 1552 1 1038.0000 1021.6167 1.60%
1569.90/1574.41 c 1574 27844 1560 1 1038.0000 1021.6293 1.60%
1575.39/1579.97 c 1580 27913 1571 1 1038.0000 1021.6606 1.60%
1581.37/1585.96 c 1586 27977 1579 1 1038.0000 1021.6786 1.60%
1586.57/1591.12 c 1591 28037 1589 1 1038.0000 1021.6822 1.60%
1592.24/1596.88 c 1597 28088 1592 1 1038.0000 1021.6946 1.60%
1598.43/1603.08 c 1603 28238 1596 1 1038.0000 1021.7117 1.59%
1604.01/1608.69 c 1609 28360 1608 1 1038.0000 1021.7140 1.59%
1610.79/1615.41 c 1615 28455 1613 1 1038.0000 1021.7502 1.59%
1616.17/1620.84 c 1621 28545 1627 1 1038.0000 1021.7620 1.59%
1621.16/1625.87 c 1626 28617 1629 1 1038.0000 1021.7708 1.59%
1626.65/1631.35 c 1631 28795 1643 1 1038.0000 1021.7919 1.59%
1631.94/1636.61 c 1637 28907 1653 1 1038.0000 1021.8019 1.59%
1638.22/1643.01 c 1643 29058 1658 1 1038.0000 1021.8027 1.59%
1644.10/1648.88 c 1649 29212 1670 1 1038.0000 1021.8122 1.58%
1650.19/1654.97 c 1655 29249 1673 1 1038.0000 1021.8137 1.58%
1655.56/1660.38 c 1660 29397 1681 1 1038.0000 1021.8343 1.58%
1661.04/1665.88 c 1666 29515 1691 1 1038.0000 1021.8745 1.58%
1666.53/1671.36 c 1671 29611 1703 1 1038.0000 1021.8923 1.58%
1671.62/1676.47 c 1676 29761 1707 1 1038.0000 1021.8923 1.58%
1676.81/1681.64 c 1682 29877 1717 1 1038.0000 1021.9096 1.57%
1682.00/1686.87 c 1687 29917 1727 1 1038.0000 1021.9174 1.57%
1687.30/1692.17 c 1692 29979 1731 1 1038.0000 1021.9256 1.57%
1692.77/1697.65 c 1698 30094 1736 1 1038.0000 1021.9341 1.57%
1698.56/1703.44 c 1703 30135 1745 1 1038.0000 1021.9376 1.57%
1705.44/1710.37 c 1710 30179 1757 1 1038.0000 1021.9561 1.57%
1711.43/1716.30 c 1716 30287 1765 1 1038.0000 1021.9570 1.57%
1716.51/1721.45 c 1721 30348 1774 1 1038.0000 1021.9740 1.57%
1722.31/1727.27 c 1727 30466 1784 1 1038.0000 1021.9744 1.57%
1727.39/1732.37 c 1732 30625 1793 1 1038.0000 1021.9797 1.57%
1732.68/1737.64 c 1738 30740 1804 1 1038.0000 1021.9799 1.57%
1737.77/1742.70 c 1743 30855 1815 1 1038.0000 1021.9959 1.57%
1742.85/1747.85 c 1748 30924 1820 1 1038.0000 1021.9981 1.57%
1748.44/1753.48 c 1753 31053 1837 1 1038.0000 1022.0051 1.57%
1756.14/1761.17 c 1761 31189 1839 1 1038.0000 1022.0253 1.56%
1762.70/1767.75 c 1768 31347 1847 1 1038.0000 1022.0500 1.56%
1768.29/1773.38 c 1773 31478 1860 1 1038.0000 1022.0585 1.56%
1773.47/1778.51 c 1779 31611 1863 1 1038.0000 1022.0692 1.56%
1779.07/1784.13 c 1784 31711 1871 1 1038.0000 1022.0915 1.56%
1784.25/1789.34 c 1789 31860 1874 1 1038.0000 1022.0946 1.56%
1789.84/1794.96 c 1795 31958 1874 1 1038.0000 1022.0946 1.56%
1795.22/1800.38 c 1800 32127 1877 1 1038.0000 1022.1024 1.56%
1801.71/1806.85 c 1807 32232 1880 1 1038.0000 1022.1225 1.55%
1807.29/1812.47 c 1812 32329 1891 1 1038.0000 1022.1302 1.55%
1816.07/1821.29 c 1821 32358 1894 1 1038.0000 1022.1302 1.55%
1821.66/1826.85 c 1827 32437 1897 1 1038.0000 1022.1302 1.55%
1826.75/1831.98 c 1832 32484 1900 1 1038.0000 1022.1609 1.55%
1832.64/1837.80 c 1838 32530 1904 1 1038.0000 1022.1644 1.55%
1838.12/1843.38 c 1843 32610 1908 1 1038.0000 1022.1686 1.55%
1843.71/1848.91 c 1849 32737 1915 1 1038.0000 1022.1700 1.55%
1849.90/1855.19 c 1855 32789 1925 1 1038.0000 1022.1834 1.55%
1855.58/1860.86 c 1861 32876 1932 1 1038.0000 1022.1876 1.55%
1861.07/1866.33 c 1866 33012 1948 1 1038.0000 1022.2140 1.54%
1866.26/1871.54 c 1872 33134 1952 1 1038.0000 1022.2174 1.54%
1871.86/1877.17 c 1877 33235 1957 1 1038.0000 1022.2334 1.54%
1878.53/1883.84 c 1884 33326 1968 1 1038.0000 1022.2353 1.54%
1883.91/1889.26 c 1889 33385 1981 1 1038.0000 1022.2394 1.54%
1889.20/1894.58 c 1895 33494 1988 1 1038.0000 1022.2415 1.54%
1895.28/1900.60 c 1901 33585 1997 1 1038.0000 1022.2519 1.54%
1900.37/1905.75 c 1906 33676 2002 1 1038.0000 1022.2653 1.54%
1906.07/1911.46 c 1911 33729 2013 1 1038.0000 1022.2853 1.54%
1911.55/1917.01 c 1917 33816 2016 1 1038.0000 1022.2870 1.54%
1917.53/1922.93 c 1923 33901 2033 1 1038.0000 1022.3211 1.53%
1924.21/1929.61 c 1930 33995 2041 1 1038.0000 1022.3469 1.53%
1930.09/1935.55 c 1936 34081 2051 1 1038.0000 1022.3515 1.53%
1935.69/1941.15 c 1941 34165 2057 1 1038.0000 1022.3515 1.53%
1940.86/1946.31 c 1946 34325 2059 1 1038.0000 1022.3515 1.53%
1947.74/1953.21 c 1953 34465 2065 1 1038.0000 1022.3605 1.53%
1953.63/1959.19 c 1959 34554 2074 1 1038.0000 1022.3675 1.53%
1958.91/1964.42 c 1964 34612 2086 1 1038.0000 1022.3743 1.53%
1964.89/1970.47 c 1970 34698 2096 1 1038.0000 1022.3977 1.53%
1971.58/1977.16 c 1977 34745 2103 1 1038.0000 1022.4136 1.52%
1979.04/1984.64 c 1985 34825 2119 1 1038.0000 1022.4295 1.52%
1985.92/1991.51 c 1992 35005 2119 1 1038.0000 1022.4422 1.52%
1991.31/1996.99 c 1997 35102 2132 1 1038.0000 1022.4438 1.52%
1996.70/2002.33 c 2002 35248 2140 1 1038.0000 1022.4501 1.52%
2002.39/2008.02 c 2008 35345 2149 1 1038.0000 1022.4542 1.52%
2007.47/2013.17 c 2013 35501 2147 1 1038.0000 1022.4542 1.52%
2013.35/2019.10 c 2019 35685 2163 1 1038.0000 1022.4778 1.52%
2019.02/2024.79 c 2025 35762 2172 1 1038.0000 1022.4802 1.52%
2024.42/2030.16 c 2030 35842 2172 1 1038.0000 1022.4802 1.52%
2029.79/2035.50 c 2036 35879 2177 1 1038.0000 1022.4893 1.52%
2035.28/2041.04 c 2041 36010 2188 1 1038.0000 1022.4943 1.52%
2040.66/2046.41 c 2046 36137 2199 1 1038.0000 1022.4988 1.52%
2046.14/2051.93 c 2052 36274 2202 1 1038.0000 1022.5144 1.51%
2051.24/2057.11 c 2057 36409 2207 1 1038.0000 1022.5148 1.51%
2056.61/2062.45 c 2062 36508 2220 1 1038.0000 1022.5169 1.51%
2062.20/2068.02 c 2068 36623 2225 1 1038.0000 1022.5191 1.51%
2068.87/2074.72 c 2075 36715 2229 1 1038.0000 1022.5224 1.51%
2074.05/2079.96 c 2080 36782 2248 1 1038.0000 1022.5242 1.51%
2079.43/2085.37 c 2085 36861 2253 1 1038.0000 1022.5250 1.51%
2084.82/2090.78 c 2091 36962 2264 1 1038.0000 1022.5539 1.51%
2090.50/2096.47 c 2096 37027 2273 1 1038.0000 1022.5587 1.51%
2095.89/2101.89 c 2102 37145 2283 1 1038.0000 1022.5615 1.51%
2101.57/2107.59 c 2108 37165 2287 1 1038.0000 1022.5646 1.51%
2107.35/2113.40 c 2113 37271 2291 1 1038.0000 1022.5650 1.51%
2112.43/2118.48 c 2118 37448 2288 1 1038.0000 1022.5650 1.51%
2118.52/2124.50 c 2124 37585 2305 1 1038.0000 1022.5854 1.51%
2123.60/2129.68 c 2130 37657 2311 1 1038.0000 1022.5886 1.51%
2129.88/2135.90 c 2136 37795 2319 1 1038.0000 1022.5951 1.51%
2135.17/2141.20 c 2141 37870 2332 1 1038.0000 1022.6028 1.51%
2140.65/2146.71 c 2147 37998 2344 1 1038.0000 1022.6184 1.50%
2145.94/2152.02 c 2152 38145 2353 1 1038.0000 1022.6347 1.50%
2151.52/2157.65 c 2158 38187 2357 1 1038.0000 1022.6347 1.50%
2157.50/2163.66 c 2164 38369 2359 1 1038.0000 1022.6376 1.50%
2163.39/2169.59 c 2170 38502 2368 1 1038.0000 1022.6620 1.50%
2168.67/2174.84 c 2175 38663 2375 1 1038.0000 1022.6718 1.50%
2174.45/2180.65 c 2181 38749 2391 1 1038.0000 1022.6785 1.50%
2179.84/2186.03 c 2186 38895 2395 1 1038.0000 1022.7013 1.50%
2185.01/2191.28 c 2191 39006 2402 1 1038.0000 1022.7068 1.50%
2192.69/2198.95 c 2199 39145 2415 1 1038.0000 1022.7194 1.49%
2198.47/2204.74 c 2205 39244 2428 1 1038.0000 1022.7355 1.49%
2204.25/2210.53 c 2211 39339 2433 1 1038.0000 1022.7355 1.49%
2210.14/2216.48 c 2216 39464 2450 1 1038.0000 1022.7506 1.49%
2215.74/2222.03 c 2222 39541 2461 1 1038.0000 1022.7540 1.49%
2221.60/2227.93 c 2228 39605 2471 1 1038.0000 1022.7642 1.49%
2227.09/2233.42 c 2233 39680 2480 1 1038.0000 1022.7709 1.49%
2232.17/2238.57 c 2239 39703 2481 1 1038.0000 1022.7709 1.49%
2237.66/2244.08 c 2244 39779 2481 1 1038.0000 1022.7784 1.49%
2244.14/2250.50 c 2251 39885 2489 1 1038.0000 1022.7838 1.49%
2249.32/2255.78 c 2256 40022 2502 1 1038.0000 1022.7910 1.49%
2254.90/2261.39 c 2261 40064 2510 1 1038.0000 1022.7968 1.49%
2260.60/2267.02 c 2267 40139 2517 1 1038.0000 1022.8048 1.49%
2267.37/2273.82 c 2274 40215 2523 1 1038.0000 1022.8171 1.48%
2272.56/2279.11 c 2279 40295 2541 1 1038.0000 1022.8359 1.48%
2278.64/2285.13 c 2285 40471 2545 1 1038.0000 1022.8367 1.48%
2284.63/2291.11 c 2291 40591 2553 1 1038.0000 1022.8456 1.48%
2290.20/2296.73 c 2297 40724 2566 1 1038.0000 1022.8537 1.48%
2296.18/2302.74 c 2303 40869 2581 1 1038.0000 1022.8684 1.48%
2301.66/2308.21 c 2308 41005 2585 1 1038.0000 1022.8760 1.48%
2307.24/2313.89 c 2314 41164 2590 1 1038.0000 1022.8925 1.48%
2312.32/2318.97 c 2319 41242 2594 1 1038.0000 1022.9027 1.48%
2318.10/2324.79 c 2325 41374 2606 1 1038.0000 1022.9045 1.48%
2323.59/2330.27 c 2330 41500 2610 1 1038.0000 1022.9059 1.48%
2328.67/2335.32 c 2335 41675 2607 1 1038.0000 1022.9066 1.48%
2334.05/2340.73 c 2341 41741 2615 1 1038.0000 1022.9066 1.48%
2339.35/2346.07 c 2346 41856 2612 1 1038.0000 1022.9104 1.48%
2345.63/2352.34 c 2352 41967 2613 1 1038.0000 1022.9158 1.47%
2350.91/2357.60 c 2358 42108 2622 1 1038.0000 1022.9169 1.47%
2356.41/2363.11 c 2363 42244 2626 1 1038.0000 1022.9240 1.47%
2361.87/2368.68 c 2369 42335 2631 1 1038.0000 1022.9276 1.47%
2367.16/2373.98 c 2374 42485 2637 1 1038.0000 1022.9276 1.47%
2373.14/2379.90 c 2380 42651 2641 1 1038.0000 1022.9330 1.47%
2378.24/2385.01 c 2385 42739 2647 1 1038.0000 1022.9354 1.47%
2383.51/2390.33 c 2390 42829 2665 1 1038.0000 1022.9428 1.47%
2389.09/2395.98 c 2396 42935 2663 1 1038.0000 1022.9439 1.47%
2394.48/2401.37 c 2401 43025 2681 1 1038.0000 1022.9668 1.47%
2399.96/2406.89 c 2407 43125 2683 1 1038.0000 1022.9682 1.47%
2406.64/2413.56 c 2414 43209 2697 1 1038.0000 1022.9761 1.47%
2412.02/2418.95 c 2419 43285 2707 1 1038.0000 1022.9858 1.47%
2417.12/2424.09 c 2424 43368 2710 1 1038.0000 1022.9858 1.47%
2422.20/2429.14 c 2429 43441 2713 1 1038.0000 1022.9978 1.47%
2428.27/2435.20 c 2435 43535 2723 1 1038.0000 1023.0185 1.46%
2433.66/2440.63 c 2441 43615 2733 1 1038.0000 1023.0406 1.46%
2438.94/2445.93 c 2446 43756 2742 1 1038.0000 1023.0406 1.46%
2444.92/2451.95 c 2452 43923 2747 1 1038.0000 1023.0412 1.46%
2450.20/2457.25 c 2457 44089 2745 1 1038.0000 1023.0412 1.46%
2455.29/2462.36 c 2462 44264 2740 1 1038.0000 1023.0412 1.46%
2460.47/2467.57 c 2468 44436 2744 1 1038.0000 1023.0412 1.46%
2466.46/2473.59 c 2474 44543 2749 1 1038.0000 1023.0470 1.46%
2471.96/2479.06 c 2479 44634 2754 1 1038.0000 1023.0472 1.46%
2477.72/2484.88 c 2485 44768 2758 1 1038.0000 1023.0485 1.46%
2482.92/2490.09 c 2490 44929 2759 1 1038.0000 1023.0485 1.46%
2488.69/2495.85 c 2496 45074 2766 1 1038.0000 1023.0495 1.46%
2493.77/2500.90 c 2501 45164 2770 1 1038.0000 1023.0514 1.46%
2499.36/2506.53 c 2507 45265 2775 1 1038.0000 1023.0515 1.46%
2504.34/2511.59 c 2512 45360 2782 1 1038.0000 1023.0553 1.46%
2510.52/2517.79 c 2518 45415 2787 1 1038.0000 1023.0591 1.46%
2517.41/2524.69 c 2525 45536 2792 1 1038.0000 1023.0606 1.46%
2523.89/2531.13 c 2531 45586 2812 1 1038.0000 1023.0701 1.46%
2529.27/2536.51 c 2537 45711 2823 1 1038.0000 1023.0707 1.46%
2534.45/2541.79 c 2542 45825 2827 1 1038.0000 1023.0777 1.46%
2541.23/2548.53 c 2549 46025 2825 1 1038.0000 1023.0932 1.46%
2546.82/2554.12 c 2554 46137 2839 1 1038.0000 1023.0948 1.46%
2553.09/2560.43 c 2560 46196 2844 1 1038.0000 1023.1026 1.46%
2558.28/2565.68 c 2566 46318 2854 1 1038.0000 1023.1076 1.46%
2563.78/2571.13 c 2571 46416 2860 1 1038.0000 1023.1134 1.46%
2569.05/2576.46 c 2576 46568 2870 1 1038.0000 1023.1169 1.45%
2574.65/2582.02 c 2582 46599 2873 1 1038.0000 1023.1202 1.45%
2579.63/2587.07 c 2587 46679 2877 1 1038.0000 1023.1214 1.45%
2585.50/2592.96 c 2593 46783 2883 1 1038.0000 1023.1262 1.45%
2590.69/2598.15 c 2598 46911 2889 1 1038.0000 1023.1262 1.45%
2596.46/2603.98 c 2604 47035 2887 1 1038.0000 1023.1344 1.45%
2601.75/2609.25 c 2609 47177 2889 1 1038.0000 1023.1344 1.45%
2607.14/2614.64 c 2615 47250 2898 1 1038.0000 1023.1376 1.45%
2612.42/2619.98 c 2620 47377 2905 1 1038.0000 1023.1389 1.45%
2617.80/2625.34 c 2625 47487 2907 1 1038.0000 1023.1433 1.45%
2623.79/2631.36 c 2631 47575 2911 1 1038.0000 1023.1438 1.45%
2630.16/2637.70 c 2638 47667 2923 1 1038.0000 1023.1626 1.45%
2635.46/2643.03 c 2643 47845 2925 1 1038.0000 1023.1626 1.45%
2640.44/2648.05 c 2648 47992 2930 1 1038.0000 1023.1657 1.45%
2646.01/2653.67 c 2654 48135 2943 1 1038.0000 1023.1681 1.45%
2651.41/2659.04 c 2659 48219 2955 1 1038.0000 1023.1732 1.45%
2656.49/2664.16 c 2664 48299 2971 1 1038.0000 1023.1740 1.45%
2662.66/2670.31 c 2670 48398 2980 1 1038.0000 1023.1764 1.45%
2668.24/2675.93 c 2676 48505 2989 1 1038.0000 1023.1776 1.45%
2673.34/2681.09 c 2681 48584 2994 1 1038.0000 1023.1781 1.45%
2678.82/2686.53 c 2687 48775 2995 1 1038.0000 1023.1867 1.45%
2684.70/2692.47 c 2692 48897 2997 1 1038.0000 1023.1867 1.45%
2691.08/2698.83 c 2699 48975 3007 1 1038.0000 1023.1885 1.45%
2696.39/2704.13 c 2704 49122 3016 1 1038.0000 1023.1885 1.45%
2702.16/2710.01 c 2710 49228 3030 1 1038.0000 1023.2004 1.45%
2707.73/2715.58 c 2716 49324 3038 1 1038.0000 1023.2042 1.45%
2713.02/2720.86 c 2721 49426 3040 1 1038.0000 1023.2066 1.45%
2718.70/2726.51 c 2727 49500 3050 1 1038.0000 1023.2073 1.45%
2724.09/2731.99 c 2732 49602 3056 1 1038.0000 1023.2100 1.45%
2729.29/2737.19 c 2737 49758 3054 1 1038.0000 1023.2100 1.45%
2734.56/2742.44 c 2742 49832 3066 1 1038.0000 1023.2256 1.44%
2741.44/2749.31 c 2749 49945 3069 1 1038.0000 1023.2332 1.44%
2746.82/2754.78 c 2755 49994 3082 1 1038.0000 1023.2333 1.44%
2751.91/2759.85 c 2760 50082 3086 1 1038.0000 1023.2383 1.44%
2757.10/2765.07 c 2765 50233 3087 1 1038.0000 1023.2409 1.44%
2763.06/2771.06 c 2771 50381 3091 1 1038.0000 1023.2420 1.44%
2770.44/2778.44 c 2778 50425 3101 1 1038.0000 1023.2870 1.44%
2775.93/2783.91 c 2784 50519 3113 1 1038.0000 1023.2899 1.44%
2781.61/2789.66 c 2790 50605 3125 1 1038.0000 1023.2927 1.44%
2786.90/2794.94 c 2795 50642 3130 1 1038.0000 1023.2927 1.44%
2792.58/2800.61 c 2801 50795 3137 1 1038.0000 1023.3146 1.44%
2798.48/2806.55 c 2807 50865 3147 1 1038.0000 1023.3152 1.44%
2803.86/2811.94 c 2812 50975 3157 1 1038.0000 1023.3235 1.43%
2809.15/2817.21 c 2817 51000 3166 1 1038.0000 1023.3237 1.43%
2814.43/2822.53 c 2823 51116 3176 1 1038.0000 1023.3295 1.43%
2820.22/2828.37 c 2828 51242 3180 1 1038.0000 1023.3332 1.43%
2825.30/2833.49 c 2833 51347 3201 1 1038.0000 1023.3382 1.43%
2832.08/2840.26 c 2840 51439 3213 1 1038.0000 1023.3555 1.43%
2837.46/2845.60 c 2846 51606 3214 1 1038.0000 1023.3555 1.43%
2842.54/2850.79 c 2851 51745 3221 1 1038.0000 1023.3608 1.43%
2848.93/2857.16 c 2857 51812 3230 1 1038.0000 1023.3642 1.43%
2853.93/2862.18 c 2862 51855 3233 1 1038.0000 1023.3705 1.43%
2859.20/2867.48 c 2867 51972 3236 1 1038.0000 1023.3705 1.43%
2864.48/2872.73 c 2873 52025 3239 1 1038.0000 1023.3707 1.43%
2870.06/2878.36 c 2878 52143 3251 1 1038.0000 1023.3802 1.43%
2875.54/2883.84 c 2884 52282 3258 1 1038.0000 1023.3805 1.43%
2880.92/2889.22 c 2889 52401 3269 1 1038.0000 1023.3906 1.43%
2886.01/2894.37 c 2894 52501 3279 1 1038.0000 1023.3932 1.43%
2891.30/2899.60 c 2900 52635 3281 1 1038.0000 1023.3935 1.43%
2896.38/2904.73 c 2905 52783 3279 1 1038.0000 1023.3935 1.43%
2902.16/2910.55 c 2911 52920 3282 1 1038.0000 1023.3963 1.43%
2907.34/2915.78 c 2916 53065 3281 1 1038.0000 1023.3963 1.43%
2912.53/2920.95 c 2921 53218 3284 1 1038.0000 1023.3963 1.43%
2918.31/2926.77 c 2927 53334 3288 1 1038.0000 1023.4031 1.43%
2923.99/2932.46 c 2932 53449 3289 1 1038.0000 1023.4091 1.43%
2929.48/2937.99 c 2938 53605 3299 1 1038.0000 1023.4183 1.42%
2936.05/2944.53 c 2945 53697 3307 1 1038.0000 1023.4326 1.42%
2941.14/2949.66 c 2950 53801 3319 1 1038.0000 1023.4382 1.42%
2946.64/2955.17 c 2955 53944 3324 1 1038.0000 1023.4415 1.42%
2952.31/2960.81 c 2961 54043 3323 1 1038.0000 1023.4415 1.42%
2957.50/2966.08 c 2966 54087 3331 1 1038.0000 1023.4493 1.42%
2963.07/2971.64 c 2972 54167 3343 1 1038.0000 1023.4493 1.42%
2968.26/2976.83 c 2977 54315 3345 1 1038.0000 1023.4532 1.42%
2973.34/2981.99 c 2982 54396 3352 1 1038.0000 1023.4532 1.42%
2979.32/2987.95 c 2988 54471 3363 1 1038.0000 1023.4676 1.42%
2984.42/2993.08 c 2993 54625 3361 1 1038.0000 1023.4695 1.42%
2990.19/2998.87 c 2999 54746 3376 1 1038.0000 1023.4703 1.42%
2997.07/3005.71 c 3006 54849 3385 1 1038.0000 1023.4727 1.42%
3002.85/3011.56 c 3012 54886 3392 1 1038.0000 1023.4836 1.42%
3007.93/3016.64 c 3017 54985 3395 1 1038.0000 1023.4884 1.42%
3014.32/3023.02 c 3023 55046 3404 1 1038.0000 1023.4894 1.42%
3020.70/3029.44 c 3029 55156 3412 1 1038.0000 1023.4951 1.42%
3025.79/3034.57 c 3035 55298 3418 1 1038.0000 1023.4951 1.42%
3031.67/3040.46 c 3040 55386 3428 1 1038.0000 1023.5013 1.42%
3036.66/3045.49 c 3046 55465 3435 1 1038.0000 1023.5047 1.42%
3041.85/3050.62 c 3051 55506 3444 1 1038.0000 1023.5061 1.42%
3048.63/3057.49 c 3057 55598 3460 1 1038.0000 1023.5198 1.41%
3054.92/3063.73 c 3064 55659 3469 1 1038.0000 1023.5264 1.41%
3060.50/3069.32 c 3069 55762 3482 1 1038.0000 1023.5308 1.41%
3065.69/3074.56 c 3075 55840 3484 1 1038.0000 1023.5348 1.41%
3070.78/3079.64 c 3080 55976 3494 1 1038.0000 1023.5430 1.41%
3075.97/3084.87 c 3085 56010 3506 1 1038.0000 1023.5440 1.41%
3081.76/3090.60 c 3091 56165 3511 1 1038.0000 1023.5549 1.41%
3086.74/3095.62 c 3096 56246 3518 1 1038.0000 1023.5639 1.41%
3092.33/3101.23 c 3101 56335 3529 1 1038.0000 1023.5745 1.41%
3097.72/3106.62 c 3107 56365 3537 1 1038.0000 1023.5822 1.41%
3102.71/3111.63 c 3112 56434 3546 1 1038.0000 1023.5831 1.41%
3108.59/3117.59 c 3118 56589 3555 1 1038.0000 1023.5880 1.41%
3113.78/3122.79 c 3123 56757 3547 1 1038.0000 1023.5880 1.41%
3119.37/3128.35 c 3128 56865 3553 1 1038.0000 1023.5923 1.41%
3124.65/3133.62 c 3134 57022 3550 1 1038.0000 1023.5923 1.41%
3130.64/3139.65 c 3140 57154 3558 1 1038.0000 1023.6084 1.41%
3136.33/3145.36 c 3145 57275 3561 1 1038.0000 1023.6102 1.41%
3141.62/3150.63 c 3151 57432 3566 1 1038.0000 1023.6102 1.41%
3146.91/3155.93 c 3156 57586 3572 1 1038.0000 1023.6153 1.41%
3152.10/3161.11 c 3161 57656 3580 1 1038.0000 1023.6268 1.40%
3157.18/3166.20 c 3166 57762 3592 1 1038.0000 1023.6271 1.40%
3162.87/3171.94 c 3172 57886 3596 1 1038.0000 1023.6311 1.40%
3168.75/3177.86 c 3178 57971 3611 1 1038.0000 1023.6359 1.40%
3174.05/3183.12 c 3183 58104 3614 1 1038.0000 1023.6359 1.40%
3179.32/3188.47 c 3188 58270 3610 1 1038.0000 1023.6359 1.40%
3185.21/3194.31 c 3194 58369 3621 1 1038.0000 1023.6414 1.40%
3190.30/3199.49 c 3200 58535 3633 1 1038.0000 1023.6521 1.40%
3195.68/3204.85 c 3205 58619 3641 1 1038.0000 1023.6609 1.40%
3201.08/3210.27 c 3210 58792 3642 1 1038.0000 1023.6633 1.40%
3207.06/3216.20 c 3216 58920 3660 1 1038.0000 1023.6639 1.40%
3212.65/3221.81 c 3222 59057 3663 1 1038.0000 1023.6717 1.40%
3217.74/3226.99 c 3227 59155 3673 1 1038.0000 1023.6791 1.40%
3223.12/3232.34 c 3232 59274 3678 1 1038.0000 1023.6791 1.40%
3228.71/3237.92 c 3238 59416 3686 1 1038.0000 1023.6852 1.40%
3234.09/3243.31 c 3243 59572 3686 1 1038.0000 1023.6852 1.40%
3239.48/3248.75 c 3249 59643 3691 1 1038.0000 1023.6893 1.40%
3245.27/3254.51 c 3255 59773 3703 1 1038.0000 1023.6949 1.40%
3250.45/3259.77 c 3260 59904 3704 1 1038.0000 1023.6949 1.40%
3256.35/3265.67 c 3266 60066 3706 1 1038.0000 1023.7024 1.40%
3262.03/3271.35 c 3271 60171 3717 1 1038.0000 1023.7193 1.39%
3268.02/3277.31 c 3277 60309 3721 1 1038.0000 1023.7203 1.39%
3273.00/3282.38 c 3282 60465 3725 1 1038.0000 1023.7264 1.39%
3278.39/3287.71 c 3288 60540 3734 1 1038.0000 1023.7271 1.39%
3283.98/3293.33 c 3293 60641 3739 1 1038.0000 1023.7285 1.39%
3289.78/3299.16 c 3299 60676 3746 1 1038.0000 1023.7342 1.39%
3296.75/3306.16 c 3306 60815 3755 1 1038.0000 1023.7378 1.39%
3302.52/3311.95 c 3312 60944 3770 1 1038.0000 1023.7393 1.39%
3308.20/3317.66 c 3318 61067 3783 1 1038.0000 1023.7412 1.39%
3314.18/3323.66 c 3324 61141 3799 1 1038.0000 1023.7624 1.39%
3319.47/3328.98 c 3329 61286 3802 1 1038.0000 1023.7642 1.39%
3325.45/3334.98 c 3335 61376 3802 1 1038.0000 1023.7643 1.39%
3330.93/3340.47 c 3340 61490 3818 1 1038.0000 1023.7729 1.39%
3337.41/3346.90 c 3347 61595 3817 1 1038.0000 1023.7739 1.39%
3342.50/3352.03 c 3352 61724 3820 1 1038.0000 1023.7739 1.39%
3347.78/3357.36 c 3357 61795 3827 1 1038.0000 1023.7778 1.39%
3353.66/3363.23 c 3363 61856 3840 1 1038.0000 1023.7782 1.39%
3359.65/3369.22 c 3369 61945 3845 1 1038.0000 1023.7851 1.39%
3365.33/3374.91 c 3375 62025 3855 1 1038.0000 1023.7866 1.39%
3370.43/3380.04 c 3380 62086 3868 1 1038.0000 1023.7940 1.39%
3375.80/3385.40 c 3385 62141 3883 1 1038.0000 1023.7996 1.39%
3380.88/3390.55 c 3391 62265 3887 1 1038.0000 1023.8061 1.39%
3386.66/3396.32 c 3396 62370 3896 1 1038.0000 1023.8071 1.39%
3392.65/3402.39 c 3402 62429 3905 1 1038.0000 1023.8078 1.39%
3397.83/3407.56 c 3408 62501 3911 1 1038.0000 1023.8138 1.39%
3402.81/3412.59 c 3413 62605 3919 1 1038.0000 1023.8159 1.39%
3408.59/3418.31 c 3418 62673 3929 1 1038.0000 1023.8174 1.39%
3413.78/3423.55 c 3424 62821 3927 1 1038.0000 1023.8174 1.39%
3418.76/3428.57 c 3429 62914 3938 1 1038.0000 1023.8192 1.39%
3424.45/3434.23 c 3434 63041 3943 1 1038.0000 1023.8192 1.39%
3430.13/3439.95 c 3440 63155 3951 1 1038.0000 1023.8197 1.39%
3436.12/3445.96 c 3446 63224 3962 1 1038.0000 1023.8236 1.38%
3441.40/3451.21 c 3451 63309 3961 1 1038.0000 1023.8236 1.38%
3446.48/3456.33 c 3456 63367 3965 1 1038.0000 1023.8237 1.38%
3452.07/3461.99 c 3462 63440 3974 1 1038.0000 1023.8249 1.38%
3457.94/3467.82 c 3468 63560 3974 1 1038.0000 1023.8293 1.38%
3463.03/3472.97 c 3473 63665 3973 1 1038.0000 1023.8295 1.38%
3468.91/3478.80 c 3479 63788 3982 1 1038.0000 1023.8311 1.38%
3474.20/3484.18 c 3484 63870 3986 1 1038.0000 1023.8317 1.38%
3480.08/3490.01 c 3490 64002 3986 1 1038.0000 1023.8317 1.38%
3485.85/3495.83 c 3496 64090 3994 1 1038.0000 1023.8340 1.38%
3491.44/3501.47 c 3501 64240 4000 1 1038.0000 1023.8372 1.38%
3497.33/3507.36 c 3507 64332 4002 1 1038.0000 1023.8372 1.38%
3502.51/3512.57 c 3513 64385 4009 1 1038.0000 1023.8396 1.38%
3507.70/3517.77 c 3518 64520 4012 1 1038.0000 1023.8396 1.38%
3513.58/3523.60 c 3524 64627 4025 1 1038.0000 1023.8441 1.38%
3518.76/3528.83 c 3529 64725 4035 1 1038.0000 1023.8477 1.38%
3524.74/3534.90 c 3535 64812 4040 1 1038.0000 1023.8481 1.38%
3530.72/3540.84 c 3541 64941 4049 1 1038.0000 1023.8558 1.38%
3536.02/3546.16 c 3546 65013 4071 1 1038.0000 1023.8812 1.38%
3541.09/3551.24 c 3551 65075 4077 1 1038.0000 1023.8890 1.38%
3546.57/3556.74 c 3557 65174 4090 1 1038.0000 1023.8892 1.38%
3552.05/3562.21 c 3562 65284 4094 1 1038.0000 1023.8894 1.38%
3557.85/3568.06 c 3568 65329 4103 1 1038.0000 1023.9003 1.38%
3563.43/3573.70 c 3574 65466 4118 1 1038.0000 1023.9038 1.38%
3568.71/3579.01 c 3579 65606 4112 1 1038.0000 1023.9038 1.38%
3574.58/3584.87 c 3585 65731 4125 1 1038.0000 1023.9045 1.38%
3580.07/3590.34 c 3590 65846 4140 1 1038.0000 1023.9060 1.38%
3585.66/3595.96 c 3596 65955 4153 1 1038.0000 1023.9109 1.38%
3589.75/3600.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.75/3600.10 c Total Time : 3600.09
3589.75/3600.10 c solving : 3600.09
3589.75/3600.10 c presolving : 0.13 (included in solving)
3589.75/3600.10 c B&B Tree :
3589.75/3600.10 c nodes (total) : 1
3589.75/3600.10 c Solution :
3589.75/3600.10 c Solutions found : 13
3589.75/3600.10 c Primal Bound : +1.03800000000000e+03
3589.75/3600.10 c Dual Bound : +1.02391101039215e+03
3589.75/3600.10 c Gap : 1.37600 %
3589.75/3600.10 c * Warning: final gap: 1.37600e-02 is greater than SCIPepsilon: 1.00000e-09
3589.75/3600.10 o 1038
3589.75/3600.10 s SATISFIABLE
3589.75/3600.10 v -x1968 -x1967 -x1966 x1965 -x1964 x1963 x1962 -x1961 x1960 x1959 x1958 -x1957 x1956 x1955 -x1954 -x1953 x1952 -x1951 x1950 -x1949
3589.75/3600.10 v -x1948 x1947 -x1946 x1945 x1944 -x1943 -x1942 -x1941 -x1940 x1939 x1938 -x1937 x1936 x1935 x1934 x1933 -x1932 x1931 x1930
3589.75/3600.10 v x1929 x1928 -x1927 x1926 x1925 -x1924 x1923 x1922 x1921 -x1920 -x1919 -x1918 x1917 -x1916 x1915 -x1914 x1913 x1912 x1911 -x1910
3589.75/3600.10 v x1909 x1908 x1907 -x1906 x1905 x1904 x1903 -x1902 x1901 -x1900 -x1899 -x1898 -x1897 x1896 x1895 -x1894 x1893 x1892 x1891 x1890
3589.75/3600.10 v -x1889 x1888 x1887 -x1886 x1885 -x1884 -x1883 -x1882 -x1881 x1880 -x1879 x1878 x1877 x1876 -x1875 x1874 x1873 x1872 x1871
3589.75/3600.10 v -x1870 -x1869 x1868 x1867 x1866 -x1865 -x1864 x1863 x1862 x1861 -x1860 -x1859 -x1858 -x1857 -x1856 x1855 -x1854 -x1853 -x1852
3589.75/3600.10 v x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 x1844 x1843 -x1842 x1841 x1840 x1839 x1838 -x1837 -x1836 x1835 -x1834 x1833
3589.75/3600.10 v x1832 -x1831 x1830 x1829 x1828 x1827 -x1826 -x1825 x1824 -x1823 x1822 -x1821 -x1820 -x1819 -x1818 -x1817 x1816 -x1815 x1814
3589.75/3600.10 v -x1813 -x1812 x1811 x1810 -x1809 x1808 x1807 x1806 -x1805 -x1804 x1803 x1802 -x1801 x1800 x1799 x1798 x1797 -x1796 -x1795 -x1794
3589.75/3600.10 v x1793 x1792 -x1791 x1790 x1789 x1788 -x1787 -x1786 x1785 -x1784 x1783 x1782 -x1781 x1780 x1779 -x1778 -x1777 -x1776 -x1775
3589.75/3600.10 v x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 x1765 x1764 x1763 -x1762 x1761 -x1760 x1759 x1758 x1757 -x1756
3589.75/3600.10 v -x1755 -x1754 -x1753 x1752 x1751 x1750 x1749 -x1748 -x1747 -x1746 -x1745 x1744 x1743 -x1742 -x1741 x1740 -x1739 -x1738 x1737
3589.75/3600.10 v x1736 x1735 -x1734 x1733 x1732 x1731 x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 -x1722 -x1721 x1720 x1719 -x1718 x1717
3589.75/3600.10 v x1716 -x1715 x1714 -x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 -x1706 -x1705 -x1704 x1703 -x1702 x1701 -x1700 -x1699 x1698
3589.75/3600.10 v x1697 x1696 x1695 -x1694 x1693 x1692 -x1691 -x1690 x1689 x1688 x1687 x1686 x1685 x1684 -x1683 -x1682 x1681 x1680 -x1679 x1678
3589.75/3600.10 v x1677 x1676 x1675 -x1674 x1673 -x1672 -x1671 x1670 x1669 x1668 -x1667 x1666 x1665 x1664 x1663 x1662 x1661 x1660 -x1659 -x1658
3589.75/3600.10 v -x1657 x1656 x1655 x1654 -x1653 -x1652 -x1651 -x1650 x1649 -x1648 -x1647 x1646 x1645 x1644 x1643 x1642 x1641 x1640 x1639
3589.75/3600.10 v -x1638 x1637 x1636 x1635 x1634 x1633 -x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 x1620 -x1619
3589.75/3600.10 v -x1618 -x1617 x1616 -x1615 x1614 x1613 x1612 -x1611 -x1610 x1609 x1608 x1607 -x1606 -x1605 x1604 x1603 x1602 x1601 -x1600
3589.75/3600.10 v -x1599 x1598 x1597 -x1596 -x1595 -x1594 x1593 x1592 x1591 x1590 x1589 -x1588 x1587 -x1586 x1585 x1584 x1583 x1582 x1581 -x1580
3589.75/3600.10 v x1579 x1578 -x1577 x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570 x1569 x1568 x1567 x1566 -x1565 -x1564 -x1563 x1562 x1561
3589.75/3600.10 v x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 x1553 x1552 x1551 x1550 x1549 -x1548 -x1547 x1546 -x1545 x1544 x1543 -x1542 x1541
3589.75/3600.10 v x1540 -x1539 -x1538 -x1537 x1536 -x1535 x1534 x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 x1526 x1525 -x1524 -x1523 -x1522
3589.75/3600.10 v -x1521 -x1520 x1519 -x1518 x1517 x1516 x1515 x1514 -x1513 x1512 x1511 -x1510 -x1509 x1508 -x1507 x1506 x1505 -x1504 x1503
3589.75/3600.10 v -x1502 x1501 x1500 -x1499 -x1498 -x1497 -x1496 x1495 x1494 x1493 x1492 -x1491 -x1490 -x1489 -x1488 x1487 x1486 x1485 x1484
3589.75/3600.10 v -x1483 x1482 x1481 x1480 -x1479 -x1478 x1477 -x1476 x1475 -x1474 x1473 x1472 x1471 x1470 x1469 -x1468 -x1467 x1466 x1465 -x1464
3589.75/3600.10 v -x1463 x1462 x1461 x1460 x1459 -x1458 x1457 -x1456 x1455 -x1454 x1453 -x1452 -x1451 x1450 -x1449 x1448 -x1447 -x1446 -x1445
3589.75/3600.10 v -x1444 x1443 x1442 x1441 x1440 x1439 -x1438 -x1437 -x1436 x1435 x1434 x1433 x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
3589.75/3600.10 v -x1425 x1424 -x1423 x1422 x1421 x1420 -x1419 x1418 -x1417 x1416 x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 x1408 -x1407 -x1406
3589.75/3600.10 v -x1405 x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 x1397 -x1396 -x1395 x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388
3589.75/3600.10 v x1387 -x1386 x1385 -x1384 -x1383 x1382 x1381 x1380 x1379 x1378 -x1377 x1376 x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 x1368
3589.75/3600.10 v x1367 x1366 x1365 -x1364 -x1363 x1362 x1361 x1360 x1359 -x1358 -x1357 -x1356 x1355 -x1354 x1353 -x1352 x1351 x1350 -x1349
3589.75/3600.10 v x1348 -x1347 x1346 -x1345 x1344 -x1343 -x1342 x1341 x1340 x1339 x1338 x1337 -x1336 -x1335 x1334 x1333 -x1332 -x1331 x1330 -x1329
3589.75/3600.10 v x1328 x1327 -x1326 x1325 -x1324 -x1323 x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 x1313 x1312 x1311 x1310
3589.75/3600.10 v x1309 x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 x1295 -x1294 x1293 -x1292 -x1291
3589.75/3600.10 v x1290 -x1289 x1288 -x1287 -x1286 x1285 -x1284 x1283 -x1282 -x1281 -x1280 -x1279 x1278 x1277 x1276 -x1275 -x1274 x1273 -x1272
3589.75/3600.10 v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 x1263 x1262 x1261 x1260 x1259 -x1258 -x1257 x1256 -x1255 x1254 x1253
3589.75/3600.10 v x1252 -x1251 x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 x1239 -x1238 x1237 x1236 -x1235 -x1234 x1233
3589.75/3600.10 v x1232 -x1231 -x1230 x1229 x1228 x1227 -x1226 x1225 x1224 -x1223 -x1222 x1221 x1220 -x1219 x1218 x1217 -x1216 x1215 -x1214 -x1213
3589.75/3600.10 v x1212 -x1211 -x1210 x1209 -x1208 x1207 -x1206 x1205 x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 x1197 -x1196 x1195 x1194
3589.75/3600.10 v x1193 x1192 x1191 -x1190 x1189 -x1188 -x1187 x1186 x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 x1178 -x1177 x1176 -x1175
3589.75/3600.10 v x1174 -x1173 -x1172 -x1171 -x1170 x1169 x1168 -x1167 x1166 x1165 x1164 x1163 x1162 -x1161 x1160 x1159 x1158 x1157 x1156 -x1155
3589.75/3600.10 v x1154 x1153 -x1152 -x1151 x1150 x1149 -x1148 -x1147 x1146 x1145 -x1144 x1143 x1142 x1141 -x1140 -x1139 x1138 x1137 -x1136
3589.75/3600.10 v -x1135 x1134 -x1133 -x1132 -x1131 x1130 -x1129 x1128 -x1127 -x1126 -x1125 x1124 x1123 -x1122 x1121 x1120 x1119 x1118 -x1117 x1116
3589.75/3600.10 v x1115 x1114 x1113 x1112 -x1111 x1110 x1109 x1108 x1107 -x1106 -x1105 x1104 x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097
3589.75/3600.10 v x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 x1088 x1087 x1086 x1085 x1084 x1083 -x1082 -x1081 -x1080 x1079 -x1078
3589.75/3600.10 v -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 x1070 x1069 -x1068 x1067 x1066 x1065 x1064 -x1063 -x1062 -x1061 -x1060 x1059
3589.75/3600.10 v -x1058 -x1057 x1056 x1055 x1054 -x1053 -x1052 x1051 x1050 x1049 x1048 -x1047 -x1046 x1045 x1044 x1043 -x1042 -x1041 x1040 x1039
3589.75/3600.10 v x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 x1029 -x1028 x1027 x1026 x1025 -x1024 -x1023 x1022 x1021 -x1020
3589.75/3600.10 v -x1019 x1018 -x1017 -x1016 x1015 -x1014 x1013 x1012 -x1011 x1010 x1009 x1008 -x1007 x1006 x1005 -x1004 x1003 -x1002 x1001 x1000
3589.75/3600.10 v -x999 x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 -x989 x988 x987 x986 x985 -x984 x983 -x982 x981 x980 x979 x978
3589.75/3600.10 v -x977 -x976 -x975 -x974 x973 x972 -x971 x970 x969 -x968 x967 -x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 -x956 -x955 x954
3589.75/3600.10 v -x953 x952 x951 -x950 -x949 -x948 x947 -x946 x945 x944 -x943 x942 -x941 x940 x939 -x938 x937 x936 -x935 -x934 -x933 x932
3589.75/3600.10 v x931 -x930 x929 -x928 -x927 -x926 x925 -x924 -x923 x922 -x921 x920 -x919 x918 -x917 x916 -x915 -x914 x913 -x912 x911 -x910 -x909
3589.75/3600.10 v x908 x907 -x906 -x905 x904 -x903 x902 -x901 x900 x899 -x898 x897 x896 -x895 -x894 x893 x892 -x891 -x890 x889 x888 -x887 -x886
3589.75/3600.10 v x885 -x884 x883 x882 -x881 -x880 -x879 x878 x877 x876 -x875 x874 -x873 -x872 x871 -x870 -x869 x868 -x867 x866 x865 -x864
3589.75/3600.10 v -x863 x862 x861 -x860 x859 -x858 -x857 x856 -x855 -x854 -x853 x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842
3589.75/3600.10 v x841 -x840 -x839 -x838 x837 x836 x835 x834 -x833 x832 x831 -x830 x829 x828 x827 -x826 x825 -x824 -x823 -x822 -x821 x820 -x819
3589.75/3600.10 v -x818 x817 x816 -x815 x814 x813 x812 -x811 -x810 -x809 x808 x807 x806 -x805 x804 -x803 x802 x801 x800 -x799 -x798 x797 -x796
3589.75/3600.10 v -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 x787 -x786 x785 -x784 -x783 x782 -x781 -x780 x779 -x778 -x777 -x776 x775 x774
3589.75/3600.10 v x773 -x772 -x771 x770 -x769 x768 -x767 -x766 x765 -x764 -x763 x762 x761 x760 -x759 x758 -x757 x756 x755 -x754 x753 -x752 x751
3589.75/3600.10 v -x750 -x749 x748 x747 -x746 x745 -x744 x743 x742 x741 x740 x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729
3589.75/3600.10 v x728 x727 x726 x725 x724 -x723 -x722 x721 x720 x719 x718 x717 -x716 x715 -x714 x713 -x712 -x711 x710 -x709 -x708 -x707 x706 x705
3589.75/3600.10 v x704 -x703 -x702 -x701 x700 x699 x698 x697 -x696 -x695 -x694 -x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 -x683 x682
3589.75/3600.11 v -x681 x680 x679 -x678 x677 -x676 -x675 x674 -x673 x672 x671 -x670 -x669 -x668 -x667 -x666 x665 x664 -x663 x662 x661 x660 -x659
3589.75/3600.11 v x658 -x657 x656 x655 -x654 x653 -x652 x651 x650 x649 x648 x647 -x646 x645 x644 x643 x642 -x641 x640 x639 -x638 -x637 x636
3589.75/3600.11 v -x635 -x634 -x633 -x632 -x631 x630 -x629 x628 x627 x626 -x625 -x624 -x623 -x622 x621 x620 -x619 x618 x617 x616 -x615 -x614 -x613
3589.75/3600.11 v -x612 -x611 -x610 -x609 x608 x607 x606 x605 x604 x603 -x602 x601 -x600 -x599 -x598 -x597 x596 x595 x594 x593 x592 x591 -x590
3589.75/3600.11 v x589 x588 -x587 -x586 -x585 -x584 x583 x582 -x581 -x580 x579 -x578 x577 -x576 x575 -x574 -x573 -x572 -x571 x570 x569 x568
3589.75/3600.11 v x567 x566 x565 x564 x563 x562 -x561 x560 -x559 -x558 -x557 x556 x555 x554 -x553 -x552 x551 x550 x549 x548 -x547 x546 -x545
3589.75/3600.11 v x544 -x543 x542 -x541 -x540 -x539 x538 x537 -x536 -x535 x534 x533 x532 x531 -x530 x529 -x528 -x527 -x526 x525 x524 -x523 -x522
3589.75/3600.11 v x521 -x520 x519 x518 -x517 x516 x515 x514 -x513 -x512 x511 -x510 x509 -x508 x507 x506 -x505 -x504 -x503 x502 x501 -x500 -x499
3589.75/3600.11 v x498 -x497 -x496 x495 -x494 x493 x492 x491 -x490 -x489 x488 -x487 -x486 x485 -x484 -x483 x482 -x481 x480 x479 -x478 -x477
3589.75/3600.11 v -x476 x475 -x474 x473 -x472 x471 x470 x469 x468 -x467 x466 x465 -x464 x463 x462 -x461 x460 -x459 x458 x457 x456 x455 -x454 -x453
3589.75/3600.11 v x452 x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 x438 -x437 x436 -x435 -x434 x433 -x432 x431 -x430
3589.75/3600.11 v -x429 -x428 -x427 x426 x425 -x424 x423 -x422 -x421 x420 x419 x418 x417 x416 x415 -x414 -x413 -x412 -x411 x410 -x409 x408
3589.75/3600.11 v -x407 x406 x405 x404 -x403 -x402 x401 x400 x399 x398 -x397 -x396 x395 -x394 -x393 x392 x391 x390 -x389 -x388 -x387 x386 -x385
3589.75/3600.11 v -x384 x383 x382 x381 x380 -x379 x378 x377 -x376 -x375 x374 -x373 -x372 x371 -x370 -x369 x368 x367 x366 -x365 -x364 x363 -x362
3589.75/3600.11 v x361 x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 x352 x351 x350 x349 x348 -x347 x346 -x345 -x344 x343 -x342 x341 x340 x339
3589.75/3600.11 v x338 x337 x336 -x335 -x334 -x333 x332 x331 -x330 -x329 x328 -x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 x318 -x317 x316
3589.75/3600.11 v -x315 -x314 -x313 x312 x311 -x310 x309 x308 -x307 -x306 x305 x304 -x303 x302 -x301 -x300 x299 -x298 -x297 x296 -x295 -x294
3589.75/3600.11 v -x293 -x292 -x291 x290 x289 -x288 -x287 x286 -x285 -x284 x283 x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 x274 -x273 -x272
3589.75/3600.11 v x271 -x270 -x269 x268 -x267 x266 x265 x264 -x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 x251 x250 -x249
3589.75/3600.11 v x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 x234 -x233 -x232 x231 x230 -x229 -x228 x227
3589.75/3600.11 v -x226 x225 x224 x223 -x222 -x221 x220 -x219 x218 x217 x216 x215 x214 x213 -x212 x211 x210 x209 x208 -x207 -x206 x205 -x204
3589.75/3600.11 v -x203 -x202 -x201 -x200 -x199 -x198 x197 x196 x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 x186 x185 x184 x183 x182 -x181
3589.75/3600.11 v -x180 x179 -x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 x161 -x160 -x159 -x158
3589.75/3600.11 v x157 -x156 -x155 x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 -x145 x144 -x143 x142 -x141 x140 x139 -x138 x137 x136 x135
3589.75/3600.11 v -x134 -x133 x132 x131 x130 -x129 x128 -x127 -x126 x125 x124 -x123 x122 x121 x120 x119 -x118 x117 x116 x115 -x114 -x113 -x112
3589.75/3600.11 v x111 x110 x109 -x108 x107 x106 -x105 -x104 x103 x102 x101 -x100 x99 -x98 -x97 x96 x95 -x94 x93 -x92 -x91 x90 x89 -x88 -x87
3589.75/3600.11 v -x86 -x85 x84 x83 x82 x81 -x80 x79 -x78 -x77 x76 -x75 -x74 -x73 x72 x71 -x70 -x69 x68 x67 x66 x65 -x64 x63 -x62 -x61 x60 x59
3589.75/3600.11 v x58 -x57 -x56 -x55 x54 x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 x40 -x39 x38 -x37 -x36 -x35 x34 -x33 x32
3589.75/3600.11 v -x31 x30 x29 -x28 x27 x26 x25 -x24 -x23 x22 x21 x20 x19 -x18 x17 -x16 x15 -x14 -x13 x12 x11 x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2
3589.75/3600.11 v 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 (62361 MiB free)
memory of node 1: 64510 MiB (63301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434658-1721081341/watcher-4434658-1721081341 -o /tmp/evaluation-result-4434658-1721081341/solver-4434658-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434658-1721081341.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=814912, runsolver pid=814905
[startup+0.100224 s]*
/proc/loadavg: 3.58 3.98 4.07 6/250 814921
/proc/meminfo: memFree=128630448/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=37212 memory=26648 CPUtime=0.1 cores=5,7
/proc/814912/stat : 814912 (fscip) R 814905 814912 814844 0 -1 4194304 4456 0 0 0 8 2 0 0 20 0 1 0 160290846 38105088 6662 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 9303 6662 2686 3032 0 5703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37212 KiB
Current children cumulated memory: 26648 KiB
[startup+0.217224 s]*
/proc/loadavg: 3.58 3.98 4.07 7/256 814927
/proc/meminfo: memFree=128578364/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=129204 memory=40900 CPUtime=0.21 cores=5,7
/proc/814912/stat : 814912 (fscip) R 814905 814912 814844 0 -1 1077936128 8656 0 0 0 18 3 0 0 20 0 3 0 160290846 132304896 10225 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 32301 10225 2782 3032 0 14187 0
[pid=814912/tid=814923] ppid=814905 vsize=129204 memory=8737651120394928259 CPUtime=0.02 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 2498 0 0 0 2 0 0 0 20 0 3 0 160290864 132304896 10225 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=129204 memory=5822 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290867 132304896 10225 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 129204 KiB
Current children cumulated memory: 40900 KiB
[startup+0.314456 s]*
/proc/loadavg: 3.58 3.98 4.07 8/256 814927
/proc/meminfo: memFree=128556752/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=131256 memory=46400 CPUtime=0.31 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 10319 0 0 0 27 4 0 0 20 0 3 0 160290846 134406144 11600 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 32814 11600 2782 3032 0 15676 0
[pid=814912/tid=814923] ppid=814905 vsize=131256 memory=-6656716543027755879 CPUtime=0.12 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 4247 0 0 0 11 1 0 0 20 0 3 0 160290864 134406144 11732 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=131256 memory=0 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290867 134406144 11732 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 131256 KiB
Current children cumulated memory: 46400 KiB
[startup+0.700324 s]
/proc/loadavg: 3.58 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128534108/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=132280 memory=52600 CPUtime=0.68 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 11745 0 0 0 64 4 0 0 20 0 3 0 160290846 135454720 13150 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 33070 13150 2894 3032 0 16997 0
[pid=814912/tid=814923] ppid=814905 vsize=132280 memory=0 CPUtime=0.49 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 5587 0 0 0 48 1 0 0 20 0 3 0 160290864 135454720 13150 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=132280 memory=0 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290867 135454720 13150 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132280 KiB
Current children cumulated memory: 52600 KiB
[startup+1.50034 s]
/proc/loadavg: 3.58 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128520012/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=133736 memory=56764 CPUtime=1.48 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 15276 0 0 0 143 5 0 0 20 0 3 0 160290846 136945664 14191 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 33434 14191 2910 3032 0 18215 0
[pid=814912/tid=814923] ppid=814905 vsize=133736 memory=0 CPUtime=1.29 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 9113 0 0 0 127 2 0 0 20 0 3 0 160290864 136945664 14191 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=133736 memory=0 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 160290867 136945664 14191 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133736 KiB
Current children cumulated memory: 56764 KiB
[startup+3.11317 s]
/proc/loadavg: 3.61 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128475264/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=133736 memory=60604 CPUtime=3.09 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 17443 0 0 0 304 5 0 0 20 0 3 0 160290846 136945664 15151 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 33434 15151 2910 3032 0 19375 0
[pid=814912/tid=814923] ppid=814905 vsize=133736 memory=0 CPUtime=2.9 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 11280 0 0 0 288 2 0 0 20 0 3 0 160290864 136945664 15151 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=133736 memory=4417 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 160290867 136945664 15151 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 133736 KiB
Current children cumulated memory: 60604 KiB
[startup+6.30031 s]
/proc/loadavg: 3.61 3.98 4.07 6/256 814929
/proc/meminfo: memFree=128321880/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=162100 memory=101292 CPUtime=6.26 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 37034 0 0 0 620 6 0 0 20 0 3 0 160290846 165990400 25323 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 40525 25323 2910 3032 0 29901 0
[pid=814912/tid=814923] ppid=814905 vsize=162100 memory=73676 CPUtime=6.08 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 30867 0 0 0 604 4 0 0 20 0 3 0 160290864 165990400 25323 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=162100 memory=11408 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 160290867 165990400 25323 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 162100 KiB
Current children cumulated memory: 101292 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=814912] ppid=814905 vsize=197292 memory=145484 CPUtime=12.65 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 67534 0 0 0 1256 9 0 0 20 0 3 0 160290846 202027008 36371 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 49323 36371 2910 3032 0 42231 0
[pid=814912/tid=814923] ppid=814905 vsize=197292 memory=58608 CPUtime=12.46 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 61362 0 0 0 1240 6 0 0 20 0 3 0 160290864 202027008 36371 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=197292 memory=109172 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 160290867 202027008 36371 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197292 KiB
Current children cumulated memory: 145484 KiB
[startup+25.5003 s]
/proc/loadavg: 3.80 4.00 4.07 6/256 814932
/proc/meminfo: memFree=128098376/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=197292 memory=146004 CPUtime=25.42 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 79050 0 0 0 2532 10 0 0 20 0 3 0 160290846 202027008 36501 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 49323 36501 2958 3032 0 42231 0
[pid=814912/tid=814923] ppid=814905 vsize=197292 memory=6720665432954780528 CPUtime=25.23 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 72795 0 0 0 2516 7 0 0 20 0 3 0 160290864 202027008 36501 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=197292 memory=109172 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 160290867 202027008 36501 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 197292 KiB
Current children cumulated memory: 146004 KiB
[startup+51.1129 s]
/proc/loadavg: 3.87 4.00 4.07 6/256 814937
/proc/meminfo: memFree=127883432/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=297324 memory=197568 CPUtime=50.96 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 164453 0 0 0 5080 16 0 0 20 0 3 0 160290846 304459776 49392 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 74331 49392 2958 3032 0 55943 0
[pid=814912/tid=814923] ppid=814905 vsize=297324 memory=195240 CPUtime=50.76 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 157320 0 0 0 5063 13 0 0 20 0 3 0 160290864 304459776 49392 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=297324 memory=146632 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 160290867 304459776 49392 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 297324 KiB
Current children cumulated memory: 197568 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=814912] ppid=814905 vsize=305740 memory=222540 CPUtime=101.86 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 276647 0 0 0 10160 26 0 0 20 0 3 0 160290846 313077760 55635 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 76435 55635 2958 3032 0 62134 0
[pid=814912/tid=814923] ppid=814905 vsize=305740 memory=216548 CPUtime=101.65 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 269037 0 0 0 10143 22 0 0 20 0 3 0 160290864 313077760 55635 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=305740 memory=6720665432954780528 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 160290867 313077760 55635 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 305740 KiB
Current children cumulated memory: 222540 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=814912] ppid=814905 vsize=373636 memory=266096 CPUtime=161.7 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 358649 0 0 0 16138 32 0 0 20 0 3 0 160290846 382603264 66524 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 93409 66524 2958 3032 0 74120 0
[pid=814912/tid=814923] ppid=814905 vsize=373636 memory=230184 CPUtime=161.5 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 350974 0 0 0 16121 29 0 0 20 0 3 0 160290864 382603264 66524 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=373636 memory=40964 CPUtime=0 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 160290867 382603264 66524 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 373636 KiB
Current children cumulated memory: 266096 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.04 4.07 6/257 815257
################
# More data... #
################
/proc/814912/statm: 140341 126738 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=506720 CPUtime=3392.15 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 935529 0 0 0 339105 110 0 0 20 0 3 0 160290864 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=506720 CPUtime=0.04 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 177 0 0 0 1 3 0 0 20 0 3 0 160290867 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 506952 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.14 4.10 6/250 817021
/proc/meminfo: memFree=126472164/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=561364 memory=506952 CPUtime=3452.46 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 949187 0 0 0 345119 127 0 0 20 0 3 0 160290846 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126738 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=506720 CPUtime=3451.96 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 940127 0 0 0 345085 111 0 0 20 0 3 0 160290864 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=11408 CPUtime=0.04 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 179 0 0 0 1 3 0 0 20 0 3 0 160290867 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 506952 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=814912] ppid=814905 vsize=561364 memory=506952 CPUtime=3512.28 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 953622 0 0 0 351100 128 0 0 20 0 3 0 160290846 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126738 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=11408 CPUtime=3511.76 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 944544 0 0 0 351065 111 0 0 20 0 3 0 160290864 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=11408 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 181 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126738 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 506952 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=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3572.09 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959513 0 0 0 357080 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=507128 CPUtime=3571.58 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950417 0 0 0 357045 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=40964 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 KiB
[startup+3600.11 s]
# the end of solver process 814912 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.56 s, system=1.30883 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=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3573.8 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959537 0 0 0 357251 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=6720665432954780528 CPUtime=3573.29 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950441 0 0 0 357216 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=5116 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 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=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3580.17 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959598 0 0 0 357888 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=507184 CPUtime=3579.66 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950502 0 0 0 357853 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=507184 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3580.17 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 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=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3586.55 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959702 0 0 0 358526 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=507128 CPUtime=3586.04 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950606 0 0 0 358491 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=507184 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 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=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3588.15 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959702 0 0 0 358686 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=507184 CPUtime=3587.64 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950606 0 0 0 358651 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=507184 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3588.15 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 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=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3588.95 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959703 0 0 0 358766 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=507184 CPUtime=3588.43 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950607 0 0 0 358730 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=12724 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3588.95 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 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=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3589.34 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959708 0 0 0 358805 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=5620 CPUtime=3588.83 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950612 0 0 0 358770 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=5524 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3589.34 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.09 6/247 817045
/proc/meminfo: memFree=127044916/131655788 swapFree=131071996/131071996
[pid=814912] ppid=814905 vsize=561364 memory=507184 CPUtime=3589.75 cores=5,7
/proc/814912/stat : 814912 (fscip) S 814905 814912 814844 0 -1 1077936128 959989 0 0 0 358846 129 0 0 20 0 3 0 160290846 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
/proc/814912/statm: 140341 126796 2958 3032 0 129990 0
[pid=814912/tid=814923] ppid=814905 vsize=561364 memory=6720665432954780528 CPUtime=3589.24 cores=5,7
/proc/814912/task/814923/stat : 814923 (fscip) R 814905 814912 814844 0 -1 4194368 950886 0 0 0 358811 113 0 0 20 0 3 0 160290864 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
[pid=814912/tid=814926] ppid=814905 vsize=561364 memory=7681903499814411419 CPUtime=0.05 cores=5,7
/proc/814912/task/814926/stat : 814926 (fscip) S 814905 814912 814844 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 160290867 574836736 126796 134679101440 4194304 16613245 140726067764576 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 44761088 140726067766293 140726067766409 140726067766409 140726067773424 0
Current children cumulated CPU time: 3589.75 s
Current children cumulated vsize: 561364 KiB
Current children cumulated memory: 507184 KiB
Child status: 0
Real time (s): 3600.11
CPU time (s): 3589.87
CPU user time (s): 3588.56
CPU system time (s): 1.30883
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 561364
Max. memory (cumulated for all children) (KiB): 507184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.56
system time used= 1.30883
maximum resident set size= 507184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961657
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= 10160
involuntary context switches= 1986
# summary of solver processes directly reported to runsolver:
# pid: 814912
# total CPU time (s): 3589.87
# total CPU user time (s): 3588.56
# total CPU system time (s): 1.30883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.968 second user time and 35.2328 second system time
The end
Begin job on nodeC007 at 2024-07-16 00:09:14
IDJOB=4434658
IDBENCH=147528
IDSOLVER=3064
FILE ID=nodeC007/4434658-1721081341
RUNJOBID= nodeC007-1721081354-814857
SLURM_JOB_ID= 7505557
Free space on /tmp= 723784 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_43.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-4434658-1721081341/watcher-4434658-1721081341 -o /tmp/evaluation-result-4434658-1721081341/solver-4434658-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434658-1721081341.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 814b6c4383076cbdda85b96364bc781d
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 : 1624.954
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.130
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.276
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.129
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.129
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.192
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.273
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: 128692024 kB
MemAvailable: 129929484 kB
Buffers: 380476 kB
Cached: 1688628 kB
SwapCached: 0 kB
Active: 679484 kB
Inactive: 1738952 kB
Active(anon): 1348 kB
Inactive(anon): 385680 kB
Active(file): 678136 kB
Inactive(file): 1353272 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112864 kB
Writeback: 16 kB
AnonPages: 349396 kB
Mapped: 114240 kB
Shmem: 37704 kB
KReclaimable: 92164 kB
Slab: 187800 kB
SReclaimable: 92164 kB
SUnreclaim: 95636 kB
KernelStack: 3744 kB
PageTables: 10264 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