0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32526336, getVmSize() = 32526336, SCIPgetMemUsed() = 8863194, SCIPgetMemTotal() = 10605354, SCIPgetMemExternEstim() = 5423109
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 24954197, getVmSize() = 42336256, SCIPgetMemUsed() = 10353775, SCIPgetMemTotal() = 19020207, SCIPgetMemExternEstim() = 5423109
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4463992-1722378596
0.00/0.06 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 4000
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 1524 (1524 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2954
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2954
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.08 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08 c Nodes Active
0.00/0.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.09 c * 0 0 1 1 1741.0000 - -
0.09/0.15 c * 0 0 1 1 1173.0000 - -
0.09/0.16 c * 0 0 1 1 1088.0000 - -
0.09/0.18 c * 0 0 1 1 1084.0000 - -
10.74/10.81 c 11 2 1 1 1084.0000 1002.3260 8.15%
16.04/16.15 c 16 5 4 1 1084.0000 1002.3260 8.15%
21.42/21.56 c 22 9 8 1 1084.0000 1002.3260 8.15%
25.72/25.87 c * 26 13 12 1 1077.0000 1002.3260 7.45%
25.72/25.87 c * 26 13 12 1 1053.0000 1002.3260 5.06%
28.41/28.56 c 29 24 23 1 1053.0000 1002.3260 5.06%
36.69/36.82 c 37 71 62 1 1053.0000 1003.7636 4.91%
41.98/42.11 c 42 180 83 1 1053.0000 1005.7511 4.70%
48.06/48.26 c * 48 292 91 1 1047.0000 1006.7143 4.00%
48.06/48.26 c 48 292 91 1 1047.0000 1006.7143 4.00%
53.24/53.44 c 53 452 101 1 1047.0000 1006.7957 3.99%
61.02/61.24 c * 61 614 113 1 1046.0000 1007.1907 3.85%
61.02/61.24 c 61 614 113 1 1046.0000 1007.1907 3.85%
61.02/61.28 c * 61 615 113 1 1045.0000 1007.1907 3.75%
66.01/66.29 c 66 762 121 1 1045.0000 1007.5787 3.71%
71.11/71.30 c 71 881 132 1 1045.0000 1007.6796 3.70%
77.08/77.32 c 77 1054 139 1 1045.0000 1007.8690 3.68%
83.37/83.62 c 84 1083 142 1 1045.0000 1008.1250 3.66%
88.95/89.28 c 89 1158 155 1 1045.0000 1008.4438 3.63%
94.43/94.77 c 95 1282 157 1 1045.0000 1008.6000 3.61%
99.82/100.17 c 100 1441 164 1 1045.0000 1008.8372 3.58%
106.70/107.05 c 107 1485 174 1 1045.0000 1008.8989 3.58%
112.57/112.92 c 113 1574 179 1 1045.0000 1009.1423 3.55%
118.55/118.92 c 119 1703 190 1 1045.0000 1009.4080 3.53%
118.95/119.39 c * 119 1703 190 1 1042.0000 1009.4080 3.23%
124.83/125.21 c 125 1802 186 1 1042.0000 1009.4228 3.23%
130.62/131.08 c 131 1911 197 1 1042.0000 1009.5475 3.21%
137.60/138.00 c 138 2014 208 1 1042.0000 1009.6871 3.20%
142.97/143.49 c 143 2072 216 1 1042.0000 1009.9768 3.17%
148.36/148.87 c 149 2192 220 1 1042.0000 1010.0585 3.16%
153.95/154.47 c 154 2258 228 1 1042.0000 1010.0659 3.16%
160.23/160.77 c 161 2423 229 1 1042.0000 1010.2150 3.15%
168.51/169.01 c 169 2525 247 1 1042.0000 1010.2406 3.14%
173.90/174.49 c 174 2702 252 1 1042.0000 1010.2740 3.14%
180.68/181.23 c 181 2824 260 1 1042.0000 1010.4886 3.12%
187.26/187.85 c 188 2853 267 1 1042.0000 1010.7138 3.10%
192.34/192.94 c 193 2882 274 1 1042.0000 1010.7623 3.09%
198.63/199.22 c 199 2952 276 1 1042.0000 1010.8275 3.08%
207.20/207.84 c 208 3115 285 1 1042.0000 1010.8308 3.08%
212.59/213.26 c 213 3242 292 1 1042.0000 1011.2238 3.04%
218.48/219.12 c 219 3389 303 1 1042.0000 1011.2353 3.04%
224.96/225.69 c 226 3484 306 1 1042.0000 1011.2804 3.04%
230.35/231.06 c 231 3583 311 1 1042.0000 1011.3917 3.03%
236.23/236.90 c 237 3674 318 1 1042.0000 1011.4048 3.03%
242.71/243.40 c 243 3802 322 1 1042.0000 1011.4366 3.02%
248.60/249.38 c 249 3911 327 1 1042.0000 1011.4876 3.02%
253.99/254.76 c 255 3982 340 1 1042.0000 1011.6889 3.00%
259.37/260.18 c 260 4037 349 1 1042.0000 1011.8846 2.98%
265.66/266.43 c 266 4154 348 1 1042.0000 1011.9398 2.97%
271.53/272.31 c 272 4258 354 1 1042.0000 1011.9566 2.97%
276.72/277.54 c 278 4316 358 1 1042.0000 1012.1142 2.95%
284.10/284.95 c 285 4412 368 1 1042.0000 1012.1943 2.94%
289.98/290.88 c 291 4531 379 1 1042.0000 1012.2181 2.94%
295.47/296.34 c 296 4604 386 1 1042.0000 1012.2484 2.94%
301.66/302.58 c 303 4705 395 1 1042.0000 1012.2700 2.94%
307.44/308.31 c 308 4874 392 1 1042.0000 1012.2700 2.94%
312.73/313.64 c 314 5006 408 1 1042.0000 1012.3628 2.93%
317.91/318.85 c 319 5046 412 1 1042.0000 1012.5065 2.91%
323.10/324.07 c 324 5112 416 1 1042.0000 1012.5241 2.91%
328.68/329.69 c 330 5125 423 1 1042.0000 1012.5556 2.91%
334.66/335.67 c 336 5195 431 1 1042.0000 1012.6733 2.90%
340.24/341.28 c 341 5244 436 1 1042.0000 1012.6739 2.90%
346.04/347.06 c 347 5365 433 1 1042.0000 1012.6867 2.89%
351.61/352.61 c 353 5470 440 1 1042.0000 1012.7266 2.89%
356.90/357.93 c 358 5574 444 1 1042.0000 1012.7403 2.89%
362.48/363.50 c 364 5602 454 1 1042.0000 1012.8807 2.87%
368.17/369.27 c 369 5727 465 1 1042.0000 1012.8848 2.87%
373.66/374.71 c 375 5770 470 1 1042.0000 1012.9055 2.87%
380.34/381.41 c 381 5834 470 1 1042.0000 1012.9384 2.87%
385.92/387.00 c 387 5914 476 1 1042.0000 1012.9493 2.87%
391.60/392.77 c 393 6053 493 1 1042.0000 1012.9493 2.87%
397.39/398.59 c 399 6134 498 1 1042.0000 1012.9869 2.86%
403.87/405.01 c 405 6264 502 1 1042.0000 1013.0053 2.86%
409.36/410.52 c 411 6422 502 1 1042.0000 1013.0184 2.86%
415.14/416.35 c 416 6476 508 1 1042.0000 1013.0184 2.86%
420.33/421.55 c 422 6527 515 1 1042.0000 1013.0398 2.86%
425.71/426.94 c 427 6609 521 1 1042.0000 1013.0749 2.86%
431.30/432.50 c 433 6674 526 1 1042.0000 1013.1096 2.85%
437.08/438.38 c 438 6715 531 1 1042.0000 1013.1651 2.85%
442.57/443.85 c 444 6754 538 1 1042.0000 1013.1651 2.85%
448.36/449.63 c 450 6969 545 1 1042.0000 1013.1651 2.85%
455.84/457.13 c 457 7122 542 1 1042.0000 1013.1814 2.84%
461.12/462.40 c 462 7211 549 1 1042.0000 1013.1814 2.84%
467.10/468.45 c 468 7314 548 1 1042.0000 1013.2119 2.84%
476.58/477.91 c 478 7422 556 1 1042.0000 1013.2950 2.83%
482.36/483.73 c 484 7531 565 1 1042.0000 1013.3121 2.83%
488.25/489.68 c 490 7589 571 1 1042.0000 1013.3121 2.83%
494.03/495.49 c 496 7682 574 1 1042.0000 1013.3751 2.82%
500.11/501.51 c 502 7782 580 1 1042.0000 1013.3751 2.82%
506.89/508.39 c 508 7913 579 1 1042.0000 1013.5135 2.81%
512.28/513.76 c 514 8028 588 1 1042.0000 1013.5135 2.81%
519.56/521.07 c 521 8103 593 1 1042.0000 1013.6157 2.80%
524.94/526.40 c 526 8156 600 1 1042.0000 1013.6581 2.80%
530.23/531.70 c 532 8233 603 1 1042.0000 1013.6615 2.80%
537.21/538.71 c 539 8272 606 1 1042.0000 1013.6962 2.79%
542.39/543.97 c 544 8372 616 1 1042.0000 1013.6962 2.79%
547.78/549.38 c 549 8422 622 1 1042.0000 1013.8532 2.78%
553.77/555.32 c 555 8484 626 1 1042.0000 1013.8532 2.78%
558.85/560.47 c 560 8626 628 1 1042.0000 1013.8532 2.78%
564.33/565.98 c 566 8675 629 1 1042.0000 1013.8877 2.77%
571.71/573.35 c 573 8723 635 1 1042.0000 1013.9172 2.77%
578.59/580.26 c 580 8863 641 1 1042.0000 1013.9367 2.77%
583.58/585.29 c 585 8913 645 1 1042.0000 1013.9367 2.77%
588.67/590.33 c 590 8993 649 1 1042.0000 1013.9629 2.77%
593.95/595.61 c 596 9072 662 1 1042.0000 1014.0295 2.76%
601.83/603.54 c 604 9172 672 1 1042.0000 1014.0903 2.75%
607.21/608.96 c 609 9269 683 1 1042.0000 1014.0959 2.75%
610.90/612.60 c * 613 9305 685 1 1041.0000 1014.1087 2.65%
612.69/614.48 c 614 9372 685 1 1041.0000 1014.1176 2.65%
618.27/620.00 c 620 9405 692 1 1041.0000 1014.1390 2.65%
625.84/627.60 c 628 9594 697 1 1041.0000 1014.1411 2.65%
633.12/634.90 c 635 9785 702 1 1041.0000 1014.1644 2.65%
638.32/640.11 c 640 9832 711 1 1041.0000 1014.1764 2.64%
643.89/645.75 c 646 9892 721 1 1041.0000 1014.1927 2.64%
651.18/653.06 c 653 10064 727 1 1041.0000 1014.1927 2.64%
656.76/658.64 c 659 10198 735 1 1041.0000 1014.1942 2.64%
661.84/663.73 c 664 10256 743 1 1041.0000 1014.3027 2.63%
667.53/669.46 c 669 10394 747 1 1041.0000 1014.3242 2.63%
674.30/676.23 c 676 10457 0 1 1041.0000 1014.3502 2.63%
679.39/681.35 c 681 10462 5 1 1041.0000 1014.3502 2.63%
684.67/686.63 c 687 10472 15 1 1041.0000 1014.3502 2.63%
690.45/692.40 c 692 10476 19 1 1041.0000 1014.3502 2.63%
696.23/698.21 c 698 10519 32 1 1041.0000 1014.3502 2.63%
701.72/703.78 c 704 10589 32 1 1041.0000 1014.3502 2.63%
707.70/709.76 c 710 10631 36 1 1041.0000 1014.3502 2.63%
713.78/715.87 c 716 10660 39 1 1041.0000 1014.3502 2.63%
718.87/720.99 c 721 10717 46 1 1041.0000 1014.3502 2.63%
726.14/728.22 c 728 10779 46 1 1041.0000 1014.3502 2.63%
731.12/733.29 c 733 10883 60 1 1041.0000 1014.3661 2.63%
736.60/738.74 c 739 10995 68 1 1041.0000 1014.4188 2.62%
742.48/744.60 c 745 11022 79 1 1041.0000 1014.7287 2.59%
747.87/750.04 c 750 11196 93 1 1041.0000 1014.8394 2.58%
753.34/755.55 c 756 11262 91 1 1041.0000 1014.9247 2.57%
761.33/763.58 c 764 11292 97 1 1041.0000 1014.9436 2.57%
767.40/769.60 c 770 11473 104 1 1041.0000 1015.0606 2.56%
773.18/775.47 c 775 11561 106 1 1041.0000 1015.2555 2.54%
779.16/781.47 c 781 11745 114 1 1041.0000 1015.3522 2.53%
784.65/786.92 c 787 11835 116 1 1041.0000 1015.3651 2.52%
789.73/792.08 c 792 11967 134 1 1041.0000 1015.4062 2.52%
794.91/797.27 c 797 12073 140 1 1041.0000 1015.4708 2.51%
800.09/802.44 c 802 12152 143 1 1041.0000 1015.6479 2.50%
805.78/808.10 c 808 12275 152 1 1041.0000 1015.6587 2.50%
812.15/814.54 c 815 12370 157 1 1041.0000 1015.8251 2.48%
817.64/820.00 c 820 12422 169 1 1041.0000 1015.9487 2.47%
823.01/825.42 c 825 12534 175 1 1041.0000 1015.9586 2.46%
828.80/831.29 c 831 12554 181 1 1041.0000 1015.9820 2.46%
834.17/836.64 c 837 12607 184 1 1041.0000 1015.9822 2.46%
840.16/842.60 c 843 12643 190 1 1041.0000 1016.1197 2.45%
847.43/849.99 c 850 12719 192 1 1041.0000 1016.2107 2.44%
852.62/855.11 c 855 12762 199 1 1041.0000 1016.2127 2.44%
857.70/860.23 c 860 12945 204 1 1041.0000 1016.2127 2.44%
864.88/867.48 c 867 13111 208 1 1041.0000 1016.2168 2.44%
870.06/872.66 c 873 13280 211 1 1041.0000 1016.2168 2.44%
875.44/878.03 c 878 13467 216 1 1041.0000 1016.2649 2.43%
880.53/883.11 c 883 13589 216 1 1041.0000 1016.2930 2.43%
885.90/888.59 c 889 13749 220 1 1041.0000 1016.2930 2.43%
891.99/894.62 c 895 13911 224 1 1041.0000 1016.4144 2.42%
898.16/900.86 c 901 14075 230 1 1041.0000 1016.4208 2.42%
903.54/906.24 c 906 14174 235 1 1041.0000 1016.4362 2.42%
909.73/912.49 c 912 14239 246 1 1041.0000 1016.5262 2.41%
915.50/918.26 c 918 14363 250 1 1041.0000 1016.5262 2.41%
921.49/924.27 c 924 14432 259 1 1041.0000 1016.6334 2.40%
926.87/929.69 c 930 14512 269 1 1041.0000 1016.7005 2.39%
932.75/935.51 c 936 14601 270 1 1041.0000 1016.7418 2.39%
938.63/941.40 c 941 14638 293 1 1041.0000 1016.7418 2.39%
944.01/946.84 c 947 14730 297 1 1041.0000 1016.8486 2.38%
949.99/952.82 c 953 14856 309 1 1041.0000 1016.8536 2.37%
955.98/958.88 c 959 14970 311 1 1041.0000 1016.9545 2.36%
961.35/964.23 c 964 15144 323 1 1041.0000 1016.9689 2.36%
966.94/969.86 c 970 15315 328 1 1041.0000 1016.9692 2.36%
973.12/976.04 c 976 15372 343 1 1041.0000 1017.0388 2.36%
978.21/981.10 c 981 15541 350 1 1041.0000 1017.0508 2.35%
984.68/987.60 c 988 15668 357 1 1041.0000 1017.0901 2.35%
989.86/992.84 c 993 15790 371 1 1041.0000 1017.1914 2.34%
995.34/998.32 c 998 15886 377 1 1041.0000 1017.2365 2.34%
1000.82/1003.87 c 1004 16052 381 1 1041.0000 1017.2786 2.33%
1005.91/1008.98 c 1009 16300 381 1 1041.0000 1017.2786 2.33%
1012.18/1015.27 c 1015 16429 382 1 1041.0000 1017.3286 2.33%
1018.56/1021.67 c 1022 16482 395 1 1041.0000 1017.3891 2.32%
1024.54/1027.68 c 1028 16629 404 1 1041.0000 1017.4164 2.32%
1031.12/1034.24 c 1034 16728 419 1 1041.0000 1017.5470 2.30%
1038.79/1041.99 c 1042 16879 434 1 1041.0000 1017.5844 2.30%
1043.99/1047.17 c 1047 17071 444 1 1041.0000 1017.5844 2.30%
1049.16/1052.34 c 1052 17190 451 1 1041.0000 1017.5896 2.30%
1054.34/1057.50 c 1058 17310 465 1 1041.0000 1017.6439 2.30%
1059.63/1062.84 c 1063 17376 471 1 1041.0000 1017.6849 2.29%
1066.10/1069.33 c 1069 17409 474 1 1041.0000 1017.6898 2.29%
1071.29/1074.53 c 1075 17514 485 1 1041.0000 1017.6951 2.29%
1076.57/1079.81 c 1080 17622 483 1 1041.0000 1017.6951 2.29%
1081.95/1085.22 c 1085 17748 487 1 1041.0000 1017.7169 2.29%
1087.73/1091.05 c 1091 17881 490 1 1041.0000 1017.7169 2.29%
1093.91/1097.22 c 1097 17988 491 1 1041.0000 1017.7169 2.29%
1099.19/1102.54 c 1103 18033 498 1 1041.0000 1017.7741 2.28%
1105.17/1108.56 c 1109 18079 502 1 1041.0000 1017.8087 2.28%
1110.76/1114.19 c 1114 18109 504 1 1041.0000 1017.8087 2.28%
1116.53/1119.91 c 1120 18190 505 1 1041.0000 1017.8257 2.28%
1122.31/1125.78 c 1126 18344 503 1 1041.0000 1017.8257 2.28%
1128.29/1131.73 c 1132 18441 514 1 1041.0000 1017.8423 2.28%
1133.47/1136.96 c 1137 18553 524 1 1041.0000 1017.8842 2.27%
1139.06/1142.59 c 1143 18670 531 1 1041.0000 1017.9000 2.27%
1145.14/1148.64 c 1149 18843 536 1 1041.0000 1017.9152 2.27%
1150.32/1153.89 c 1154 18930 541 1 1041.0000 1017.9157 2.27%
1156.10/1159.62 c 1160 19032 549 1 1041.0000 1017.9313 2.27%
1161.38/1164.96 c 1165 19147 556 1 1041.0000 1017.9389 2.27%
1167.27/1170.80 c 1171 19291 562 1 1041.0000 1017.9939 2.26%
1173.64/1177.24 c 1177 19379 568 1 1041.0000 1018.0410 2.26%
1180.12/1183.75 c 1184 19482 583 1 1041.0000 1018.1317 2.25%
1185.51/1189.10 c 1189 19562 587 1 1041.0000 1018.1434 2.24%
1191.09/1194.74 c 1195 19716 597 1 1041.0000 1018.1819 2.24%
1196.77/1200.41 c 1200 19921 598 1 1041.0000 1018.2853 2.23%
1202.35/1206.00 c 1206 20059 608 1 1041.0000 1018.3328 2.23%
1207.53/1211.26 c 1211 20171 612 1 1041.0000 1018.3339 2.23%
1214.41/1218.16 c 1218 20320 615 1 1041.0000 1018.3962 2.22%
1220.30/1224.09 c 1224 20412 617 1 1041.0000 1018.4177 2.22%
1227.07/1230.86 c 1231 20499 626 1 1041.0000 1018.4382 2.22%
1231.76/1235.57 c * 1236 20553 634 1 1039.0000 1018.4382 2.02%
1232.86/1236.63 c 1237 20613 628 1 1039.0000 1018.4382 2.02%
1237.84/1241.69 c 1242 20688 631 1 1039.0000 1018.4569 2.02%
1243.93/1247.70 c 1248 20762 645 1 1039.0000 1018.4659 2.02%
1244.73/1248.54 c * 1249 20768 647 1 1038.0000 1018.4822 1.92%
1249.21/1253.09 c 1253 20797 652 1 1038.0000 1018.4822 1.92%
1254.69/1258.59 c 1259 20899 666 1 1038.0000 1018.5300 1.91%
1260.38/1264.26 c 1264 20960 673 1 1038.0000 1018.5588 1.91%
1265.46/1269.35 c 1269 21088 685 1 1038.0000 1018.6081 1.90%
1270.75/1274.67 c 1275 21218 695 1 1038.0000 1018.6246 1.90%
1276.14/1280.04 c 1280 21373 700 1 1038.0000 1018.6345 1.90%
1283.22/1287.17 c 1287 21450 707 1 1038.0000 1018.6488 1.90%
1290.20/1294.15 c 1294 21558 715 1 1038.0000 1018.6579 1.90%
1296.38/1300.30 c 1300 21711 732 1 1038.0000 1018.6626 1.90%
1301.97/1305.99 c 1306 21845 730 1 1038.0000 1018.6809 1.90%
1307.45/1311.42 c 1311 21936 735 1 1038.0000 1018.6951 1.90%
1312.83/1316.80 c 1317 22018 739 1 1038.0000 1018.7071 1.89%
1318.52/1322.51 c 1323 22120 745 1 1038.0000 1018.7436 1.89%
1324.30/1328.35 c 1328 22189 750 1 1038.0000 1018.7436 1.89%
1329.59/1333.65 c 1334 22308 745 1 1038.0000 1018.7498 1.89%
1334.87/1338.96 c 1339 22430 759 1 1038.0000 1018.7498 1.89%
1340.16/1344.26 c 1344 22572 769 1 1038.0000 1018.7638 1.89%
1345.95/1350.01 c 1350 22652 783 1 1038.0000 1018.7855 1.89%
1351.43/1355.58 c 1356 22776 797 1 1038.0000 1018.7884 1.89%
1357.22/1361.33 c 1361 22894 799 1 1038.0000 1018.7910 1.89%
1362.51/1366.63 c 1367 22992 807 1 1038.0000 1018.8320 1.88%
1368.60/1372.70 c 1373 23072 811 1 1038.0000 1018.8395 1.88%
1374.68/1378.83 c 1379 23210 821 1 1038.0000 1018.8558 1.88%
1379.76/1383.95 c 1384 23358 823 1 1038.0000 1018.8558 1.88%
1385.74/1389.94 c 1390 23478 829 1 1038.0000 1018.8565 1.88%
1391.63/1395.86 c 1396 23593 836 1 1038.0000 1018.8626 1.88%
1397.11/1401.31 c 1401 23655 846 1 1038.0000 1018.8815 1.88%
1403.19/1407.48 c 1407 23771 848 1 1038.0000 1018.8892 1.88%
1408.88/1413.19 c 1413 23899 852 1 1038.0000 1018.9050 1.87%
1414.76/1419.03 c 1419 23965 856 1 1038.0000 1018.9050 1.87%
1420.64/1424.92 c 1425 24030 867 1 1038.0000 1018.9246 1.87%
1426.23/1430.50 c 1431 24108 873 1 1038.0000 1018.9412 1.87%
1431.41/1435.72 c 1436 24209 884 1 1038.0000 1018.9466 1.87%
1437.30/1441.69 c 1442 24317 896 1 1038.0000 1018.9727 1.87%
1443.38/1447.71 c 1448 24378 911 1 1038.0000 1019.0534 1.86%
1448.87/1453.21 c 1453 24442 919 1 1038.0000 1019.0788 1.86%
1453.86/1458.25 c 1458 24538 929 1 1038.0000 1019.0908 1.86%
1459.14/1463.54 c 1464 24655 928 1 1038.0000 1019.1143 1.85%
1465.33/1469.71 c 1470 24788 937 1 1038.0000 1019.1372 1.85%
1470.31/1474.76 c 1475 24882 947 1 1038.0000 1019.1490 1.85%
1478.60/1483.10 c 1483 25002 953 1 1038.0000 1019.1505 1.85%
1484.08/1488.57 c 1489 25123 956 1 1038.0000 1019.1581 1.85%
1489.76/1494.28 c 1494 25275 964 1 1038.0000 1019.1668 1.85%
1495.15/1499.61 c 1500 25348 967 1 1038.0000 1019.2127 1.84%
1500.44/1504.94 c 1505 25439 980 1 1038.0000 1019.2198 1.84%
1506.32/1510.80 c 1511 25612 989 1 1038.0000 1019.2319 1.84%
1511.41/1515.91 c 1516 25785 984 1 1038.0000 1019.2319 1.84%
1517.20/1521.77 c 1522 25916 991 1 1038.0000 1019.2404 1.84%
1522.38/1526.90 c 1527 26044 1001 1 1038.0000 1019.2457 1.84%
1527.67/1532.20 c 1532 26168 993 1 1038.0000 1019.2490 1.84%
1532.96/1537.52 c 1538 26308 1007 1 1038.0000 1019.2490 1.84%
1538.14/1542.72 c 1543 26399 1006 1 1038.0000 1019.2490 1.84%
1544.02/1548.68 c 1549 26529 1008 1 1038.0000 1019.2864 1.84%
1549.31/1553.97 c 1554 26628 1027 1 1038.0000 1019.2925 1.84%
1555.00/1559.64 c 1560 26728 1035 1 1038.0000 1019.3008 1.83%
1560.79/1565.45 c 1565 26878 1047 1 1038.0000 1019.3173 1.83%
1566.57/1571.20 c 1571 27054 1047 1 1038.0000 1019.3278 1.83%
1573.36/1578.00 c 1578 27218 1049 1 1038.0000 1019.3395 1.83%
1579.83/1584.53 c 1585 27252 1059 1 1038.0000 1019.3622 1.83%
1585.02/1589.73 c 1590 27398 1051 1 1038.0000 1019.3645 1.83%
1590.71/1595.41 c 1595 27497 1056 1 1038.0000 1019.3645 1.83%
1596.49/1601.25 c 1601 27623 1060 1 1038.0000 1019.3954 1.83%
1602.27/1607.07 c 1607 27746 1071 1 1038.0000 1019.4132 1.82%
1607.56/1612.39 c 1612 27882 1075 1 1038.0000 1019.4174 1.82%
1612.75/1617.56 c 1618 28021 1076 1 1038.0000 1019.4174 1.82%
1618.03/1622.82 c 1623 28137 1090 1 1038.0000 1019.4403 1.82%
1623.42/1628.27 c 1628 28238 1103 1 1038.0000 1019.4506 1.82%
1628.71/1633.54 c 1634 28328 1111 1 1038.0000 1019.4560 1.82%
1634.79/1639.64 c 1640 28455 1124 1 1038.0000 1019.4657 1.82%
1640.18/1645.02 c 1645 28585 1130 1 1038.0000 1019.4657 1.82%
1645.46/1650.31 c 1650 28658 1135 1 1038.0000 1019.4718 1.82%
1650.94/1655.82 c 1656 28753 1142 1 1038.0000 1019.5080 1.81%
1659.52/1664.47 c 1664 28852 1151 1 1038.0000 1019.5149 1.81%
1665.21/1670.16 c 1670 28966 1171 1 1038.0000 1019.5166 1.81%
1670.99/1675.97 c 1676 29146 1179 1 1038.0000 1019.5324 1.81%
1676.18/1681.19 c 1681 29304 1173 1 1038.0000 1019.5324 1.81%
1682.65/1687.68 c 1688 29468 1173 1 1038.0000 1019.5830 1.81%
1688.63/1693.65 c 1694 29614 1187 1 1038.0000 1019.5901 1.81%
1694.41/1699.45 c 1699 29806 1191 1 1038.0000 1019.5981 1.80%
1699.60/1704.64 c 1705 29992 1189 1 1038.0000 1019.5981 1.80%
1705.38/1710.46 c 1710 30172 1195 1 1038.0000 1019.6012 1.80%
1710.66/1715.79 c 1716 30296 1203 1 1038.0000 1019.6208 1.80%
1716.64/1721.75 c 1722 30377 1220 1 1038.0000 1019.6273 1.80%
1721.83/1726.92 c 1727 30469 1222 1 1038.0000 1019.6340 1.80%
1726.92/1732.04 c 1732 30558 1235 1 1038.0000 1019.6484 1.80%
1733.40/1738.59 c 1739 30688 1241 1 1038.0000 1019.6522 1.80%
1738.58/1743.74 c 1744 30838 1247 1 1038.0000 1019.6533 1.80%
1743.67/1748.85 c 1749 30947 1250 1 1038.0000 1019.6533 1.80%
1749.95/1755.12 c 1755 31032 1253 1 1038.0000 1019.6601 1.80%
1755.93/1761.18 c 1761 31214 1257 1 1038.0000 1019.6612 1.80%
1761.01/1766.25 c 1766 31340 1263 1 1038.0000 1019.6800 1.80%
1766.09/1771.39 c 1771 31531 1272 1 1038.0000 1019.6800 1.80%
1771.58/1776.88 c 1777 31697 1278 1 1038.0000 1019.6813 1.80%
1777.56/1782.85 c 1783 31864 1297 1 1038.0000 1019.6991 1.79%
1783.64/1788.94 c 1789 32018 1309 1 1038.0000 1019.7022 1.79%
1788.93/1794.29 c 1794 32107 1312 1 1038.0000 1019.7022 1.79%
1794.71/1800.07 c 1800 32255 1314 1 1038.0000 1019.7183 1.79%
1800.09/1805.47 c 1805 32347 1314 1 1038.0000 1019.7183 1.79%
1805.37/1810.76 c 1811 32501 1320 1 1038.0000 1019.7267 1.79%
1810.85/1816.23 c 1816 32647 1324 1 1038.0000 1019.7309 1.79%
1816.53/1821.94 c 1822 32814 1335 1 1038.0000 1019.7368 1.79%
1821.52/1826.96 c 1827 32948 1343 1 1038.0000 1019.7498 1.79%
1827.41/1832.87 c 1833 33020 1353 1 1038.0000 1019.7574 1.79%
1833.19/1838.66 c 1839 33105 1354 1 1038.0000 1019.7574 1.79%
1838.27/1843.79 c 1844 33306 1349 1 1038.0000 1019.7574 1.79%
1843.35/1848.81 c 1849 33445 1360 1 1038.0000 1019.7640 1.79%
1848.34/1853.87 c 1854 33634 1357 1 1038.0000 1019.7837 1.79%
1853.92/1859.46 c 1859 33757 1366 1 1038.0000 1019.7992 1.78%
1859.51/1865.05 c 1865 33901 1368 1 1038.0000 1019.8188 1.78%
1865.49/1871.02 c 1871 34063 1376 1 1038.0000 1019.8506 1.78%
1870.87/1876.43 c 1876 34161 1382 1 1038.0000 1019.8652 1.78%
1876.45/1882.02 c 1882 34318 1395 1 1038.0000 1019.8784 1.78%
1881.93/1887.58 c 1888 34438 1393 1 1038.0000 1019.8913 1.78%
1887.53/1893.14 c 1893 34594 1403 1 1038.0000 1019.8993 1.77%
1893.51/1899.10 c 1899 34771 1412 1 1038.0000 1019.9009 1.77%
1898.49/1904.13 c 1904 34948 1409 1 1038.0000 1019.9104 1.77%
1904.06/1909.78 c 1910 35077 1420 1 1038.0000 1019.9200 1.77%
1909.25/1914.96 c 1915 35250 1423 1 1038.0000 1019.9200 1.77%
1915.24/1920.94 c 1921 35368 1427 1 1038.0000 1019.9382 1.77%
1920.43/1926.19 c 1926 35478 1431 1 1038.0000 1019.9560 1.77%
1926.20/1931.98 c 1932 35647 1438 1 1038.0000 1019.9589 1.77%
1931.78/1937.54 c 1938 35828 1443 1 1038.0000 1019.9674 1.77%
1937.57/1943.32 c 1943 35955 1456 1 1038.0000 1019.9734 1.77%
1942.95/1948.78 c 1949 35972 1465 1 1038.0000 1019.9745 1.77%
1949.13/1954.97 c 1955 36170 1467 1 1038.0000 1019.9985 1.76%
1954.71/1960.55 c 1961 36314 1479 1 1038.0000 1020.0139 1.76%
1960.69/1966.57 c 1967 36518 1493 1 1038.0000 1020.0163 1.76%
1965.78/1971.64 c 1972 36631 1494 1 1038.0000 1020.0164 1.76%
1970.86/1976.74 c 1977 36788 1499 1 1038.0000 1020.0186 1.76%
1976.04/1981.98 c 1982 37000 1497 1 1038.0000 1020.0186 1.76%
1981.52/1987.42 c 1987 37181 1496 1 1038.0000 1020.0259 1.76%
1987.21/1993.12 c 1993 37334 1511 1 1038.0000 1020.0324 1.76%
1992.69/1998.69 c 1999 37418 1517 1 1038.0000 1020.0602 1.76%
1997.87/2003.87 c 2004 37520 1529 1 1038.0000 1020.0699 1.76%
2002.86/2008.87 c 2009 37599 1550 1 1038.0000 1020.1028 1.75%
2008.35/2014.32 c 2014 37715 1552 1 1038.0000 1020.1028 1.75%
2014.63/2020.63 c 2021 37850 1559 1 1038.0000 1020.1120 1.75%
2020.31/2026.35 c 2026 37952 1567 1 1038.0000 1020.1140 1.75%
2026.00/2032.07 c 2032 38028 1583 1 1038.0000 1020.1443 1.75%
2031.38/2037.41 c 2037 38175 1594 1 1038.0000 1020.1557 1.75%
2037.46/2043.59 c 2044 38358 1595 1 1038.0000 1020.1602 1.75%
2042.95/2049.04 c 2049 38517 1610 1 1038.0000 1020.1634 1.75%
2048.42/2054.51 c 2055 38624 1619 1 1038.0000 1020.1689 1.75%
2053.51/2059.64 c 2060 38800 1621 1 1038.0000 1020.1704 1.75%
2058.59/2064.70 c 2065 38897 1640 1 1038.0000 1020.1798 1.75%
2064.18/2070.39 c 2070 39078 1651 1 1038.0000 1020.1850 1.75%
2071.97/2078.16 c 2078 39132 1653 1 1038.0000 1020.2015 1.74%
2077.65/2083.84 c 2084 39247 1672 1 1038.0000 1020.2285 1.74%
2083.43/2089.61 c 2090 39345 1682 1 1038.0000 1020.2437 1.74%
2088.61/2094.82 c 2095 39468 1689 1 1038.0000 1020.2916 1.74%
2093.80/2100.03 c 2100 39594 1699 1 1038.0000 1020.2917 1.74%
2099.58/2105.84 c 2106 39778 1699 1 1038.0000 1020.3027 1.73%
2104.77/2111.06 c 2111 39896 1709 1 1038.0000 1020.3062 1.73%
2110.55/2116.83 c 2117 40068 1709 1 1038.0000 1020.3352 1.73%
2116.03/2122.37 c 2122 40197 1716 1 1038.0000 1020.3352 1.73%
2121.11/2127.49 c 2127 40311 1734 1 1038.0000 1020.3488 1.73%
2127.79/2134.12 c 2134 40382 1745 1 1038.0000 1020.3679 1.73%
2133.17/2139.52 c 2140 40505 1758 1 1038.0000 1020.3956 1.73%
2138.46/2144.89 c 2145 40677 1756 1 1038.0000 1020.3994 1.72%
2144.34/2150.78 c 2151 40791 1760 1 1038.0000 1020.4091 1.72%
2149.52/2155.94 c 2156 40934 1767 1 1038.0000 1020.4174 1.72%
2155.20/2161.61 c 2162 41055 1780 1 1038.0000 1020.4229 1.72%
2160.39/2166.89 c 2167 41180 1791 1 1038.0000 1020.4229 1.72%
2166.38/2172.80 c 2173 41278 1801 1 1038.0000 1020.4291 1.72%
2171.67/2178.11 c 2178 41322 1809 1 1038.0000 1020.4327 1.72%
2177.15/2183.65 c 2184 41432 1811 1 1038.0000 1020.4356 1.72%
2182.13/2188.66 c 2189 41548 1809 1 1038.0000 1020.4406 1.72%
2187.31/2193.81 c 2194 41611 1822 1 1038.0000 1020.4515 1.72%
2192.79/2199.36 c 2199 41698 1835 1 1038.0000 1020.4571 1.72%
2198.18/2204.72 c 2205 41827 1840 1 1038.0000 1020.4571 1.72%
2203.26/2209.85 c 2210 41948 1849 1 1038.0000 1020.4634 1.72%
2209.05/2215.67 c 2216 41952 1853 1 1038.0000 1020.4634 1.72%
2214.54/2221.17 c 2221 42096 1865 1 1038.0000 1020.4717 1.72%
2220.32/2226.95 c 2227 42231 1874 1 1038.0000 1020.4833 1.72%
2226.20/2232.84 c 2233 42340 1885 1 1038.0000 1020.4990 1.71%
2231.28/2237.98 c 2238 42525 1882 1 1038.0000 1020.4990 1.71%
2237.26/2243.97 c 2244 42656 1889 1 1038.0000 1020.5044 1.71%
2242.54/2249.28 c 2249 42737 1904 1 1038.0000 1020.5102 1.71%
2248.03/2254.76 c 2255 42859 1916 1 1038.0000 1020.5213 1.71%
2253.41/2260.16 c 2260 43002 1931 1 1038.0000 1020.5371 1.71%
2258.79/2265.57 c 2266 43022 1933 1 1038.0000 1020.5430 1.71%
2263.98/2270.70 c 2271 43187 1938 1 1038.0000 1020.5485 1.71%
2269.07/2275.82 c 2276 43363 1938 1 1038.0000 1020.5485 1.71%
2274.55/2281.39 c 2281 43558 1939 1 1038.0000 1020.5531 1.71%
2280.63/2287.49 c 2287 43680 1951 1 1038.0000 1020.5587 1.71%
2286.81/2293.60 c 2294 43820 1959 1 1038.0000 1020.5732 1.71%
2291.90/2298.78 c 2299 43937 1982 1 1038.0000 1020.5978 1.71%
2297.58/2304.45 c 2304 44041 1990 1 1038.0000 1020.5997 1.70%
2303.36/2310.21 c 2310 44129 2018 1 1038.0000 1020.6002 1.70%
2308.84/2315.71 c 2316 44251 2036 1 1038.0000 1020.6262 1.70%
2314.13/2321.02 c 2321 44413 2040 1 1038.0000 1020.6281 1.70%
2319.21/2326.17 c 2326 44489 2038 1 1038.0000 1020.6332 1.70%
2325.10/2332.08 c 2332 44502 2047 1 1038.0000 1020.6406 1.70%
2330.38/2337.34 c 2337 44579 2060 1 1038.0000 1020.6458 1.70%
2335.96/2342.98 c 2343 44681 2068 1 1038.0000 1020.6557 1.70%
2341.34/2348.35 c 2348 44770 2069 1 1038.0000 1020.6557 1.70%
2347.03/2354.07 c 2354 44907 2074 1 1038.0000 1020.6601 1.70%
2352.91/2359.99 c 2360 45101 2076 1 1038.0000 1020.6605 1.70%
2359.89/2366.97 c 2367 45288 2073 1 1038.0000 1020.6641 1.70%
2364.98/2372.09 c 2372 45467 2076 1 1038.0000 1020.6641 1.70%
2370.18/2377.26 c 2377 45546 2089 1 1038.0000 1020.6732 1.70%
2375.66/2382.71 c 2383 45668 2103 1 1038.0000 1020.6775 1.70%
2381.15/2388.29 c 2388 45801 2110 1 1038.0000 1020.6775 1.70%
2386.94/2394.02 c 2394 45934 2117 1 1038.0000 1020.6838 1.70%
2391.92/2399.05 c 2399 46063 2126 1 1038.0000 1020.6845 1.70%
2397.10/2404.22 c 2404 46123 2128 1 1038.0000 1020.6884 1.70%
2402.19/2409.38 c 2409 46321 2126 1 1038.0000 1020.6884 1.70%
2407.57/2414.76 c 2415 46463 2132 1 1038.0000 1020.6904 1.70%
2412.97/2420.14 c 2420 46618 2135 1 1038.0000 1020.7006 1.69%
2418.25/2425.40 c 2425 46656 2139 1 1038.0000 1020.7006 1.69%
2423.23/2430.47 c 2430 46788 2143 1 1038.0000 1020.7050 1.69%
2428.73/2435.97 c 2436 46907 2150 1 1038.0000 1020.7054 1.69%
2434.51/2441.73 c 2442 47069 2160 1 1038.0000 1020.7075 1.69%
2440.20/2447.40 c 2447 47227 2166 1 1038.0000 1020.7140 1.69%
2445.29/2452.51 c 2453 47300 2179 1 1038.0000 1020.7170 1.69%
2450.78/2458.00 c 2458 47412 2189 1 1038.0000 1020.7429 1.69%
2456.46/2463.72 c 2464 47534 2197 1 1038.0000 1020.7497 1.69%
2461.65/2468.97 c 2469 47673 2198 1 1038.0000 1020.7673 1.69%
2467.43/2474.74 c 2475 47845 2204 1 1038.0000 1020.7863 1.69%
2472.53/2479.85 c 2480 47988 2215 1 1038.0000 1020.7926 1.69%
2480.81/2488.11 c 2488 48122 2231 1 1038.0000 1020.7950 1.69%
2486.00/2493.39 c 2493 48227 2244 1 1038.0000 1020.7959 1.69%
2491.38/2498.71 c 2499 48348 2255 1 1038.0000 1020.8051 1.68%
2496.97/2504.33 c 2504 48389 2256 1 1038.0000 1020.8100 1.68%
2502.95/2510.37 c 2510 48473 2266 1 1038.0000 1020.8241 1.68%
2508.54/2515.93 c 2516 48556 2281 1 1038.0000 1020.8265 1.68%
2513.63/2521.00 c 2521 48657 2290 1 1038.0000 1020.8285 1.68%
2518.61/2526.04 c 2526 48768 2307 1 1038.0000 1020.8441 1.68%
2523.99/2531.46 c 2531 48872 2323 1 1038.0000 1020.8666 1.68%
2530.18/2537.68 c 2538 48998 2327 1 1038.0000 1020.8685 1.68%
2535.26/2542.75 c 2543 49062 2339 1 1038.0000 1020.8722 1.68%
2543.15/2550.69 c 2551 49142 2341 1 1038.0000 1020.8790 1.68%
2548.74/2556.28 c 2556 49254 2345 1 1038.0000 1020.8831 1.68%
2554.32/2561.83 c 2562 49357 2346 1 1038.0000 1020.8921 1.68%
2559.31/2566.89 c 2567 49520 2349 1 1038.0000 1020.8948 1.68%
2564.40/2571.93 c 2572 49668 2351 1 1038.0000 1020.8969 1.68%
2569.98/2577.55 c 2578 49789 2356 1 1038.0000 1020.8969 1.68%
2575.17/2582.74 c 2583 49897 2370 1 1038.0000 1020.9038 1.67%
2580.26/2587.83 c 2588 50102 2375 1 1038.0000 1020.9038 1.67%
2585.74/2593.37 c 2593 50278 2387 1 1038.0000 1020.9077 1.67%
2593.02/2600.66 c 2601 50381 2390 1 1038.0000 1020.9077 1.67%
2598.32/2605.93 c 2606 50538 2403 1 1038.0000 1020.9082 1.67%
2603.31/2610.95 c 2611 50679 2416 1 1038.0000 1020.9133 1.67%
2610.39/2618.04 c 2618 50802 2425 1 1038.0000 1020.9185 1.67%
2615.67/2623.37 c 2623 50911 2432 1 1038.0000 1020.9223 1.67%
2620.76/2628.41 c 2628 51066 2445 1 1038.0000 1020.9328 1.67%
2625.85/2633.58 c 2634 51227 2446 1 1038.0000 1020.9391 1.67%
2631.13/2638.87 c 2639 51408 2447 1 1038.0000 1020.9492 1.67%
2636.72/2644.45 c 2644 51531 2456 1 1038.0000 1020.9576 1.67%
2642.01/2649.74 c 2650 51638 2459 1 1038.0000 1020.9688 1.67%
2647.69/2655.42 c 2655 51785 2472 1 1038.0000 1020.9732 1.67%
2653.48/2661.27 c 2661 51903 2470 1 1038.0000 1020.9745 1.67%
2659.26/2667.03 c 2667 52103 2478 1 1038.0000 1020.9766 1.67%
2665.04/2672.88 c 2673 52247 2498 1 1038.0000 1020.9853 1.67%
2670.83/2678.66 c 2679 52454 2503 1 1038.0000 1020.9956 1.67%
2676.42/2684.25 c 2684 52613 2516 1 1038.0000 1021.0027 1.66%
2681.60/2689.40 c 2689 52807 2526 1 1038.0000 1021.0027 1.66%
2687.60/2695.40 c 2695 52898 2527 1 1038.0000 1021.0110 1.66%
2693.48/2701.32 c 2701 53069 2524 1 1038.0000 1021.0138 1.66%
2698.67/2706.57 c 2707 53181 2532 1 1038.0000 1021.0169 1.66%
2704.55/2712.43 c 2712 53238 2531 1 1038.0000 1021.0255 1.66%
2709.74/2717.61 c 2718 53376 2531 1 1038.0000 1021.0255 1.66%
2715.13/2723.06 c 2723 53449 2538 1 1038.0000 1021.0256 1.66%
2720.41/2728.35 c 2728 53495 2538 1 1038.0000 1021.0282 1.66%
2726.00/2733.97 c 2734 53652 2549 1 1038.0000 1021.0311 1.66%
2731.59/2739.56 c 2740 53776 2565 1 1038.0000 1021.0370 1.66%
2737.57/2745.54 c 2746 53889 2574 1 1038.0000 1021.0479 1.66%
2742.66/2750.68 c 2751 54100 2575 1 1038.0000 1021.0479 1.66%
2747.95/2755.93 c 2756 54238 2583 1 1038.0000 1021.0503 1.66%
2753.33/2761.31 c 2761 54393 2592 1 1038.0000 1021.0533 1.66%
2758.92/2766.98 c 2767 54534 2597 1 1038.0000 1021.0585 1.66%
2765.01/2773.07 c 2773 54700 2599 1 1038.0000 1021.0620 1.66%
2772.29/2780.38 c 2780 54752 2607 1 1038.0000 1021.0659 1.66%
2778.17/2786.27 c 2786 54918 2615 1 1038.0000 1021.0767 1.66%
2783.66/2791.71 c 2792 55012 2633 1 1038.0000 1021.0820 1.66%
2789.24/2797.31 c 2797 55137 2638 1 1038.0000 1021.0827 1.66%
2794.53/2802.60 c 2803 55208 2641 1 1038.0000 1021.0881 1.66%
2799.82/2807.91 c 2808 55327 2658 1 1038.0000 1021.1017 1.65%
2804.92/2813.00 c 2813 55428 2663 1 1038.0000 1021.1078 1.65%
2810.90/2819.09 c 2819 55536 2675 1 1038.0000 1021.1115 1.65%
2816.89/2825.05 c 2825 55640 2685 1 1038.0000 1021.1315 1.65%
2821.97/2830.17 c 2830 55777 2696 1 1038.0000 1021.1364 1.65%
2827.16/2835.32 c 2835 55911 2700 1 1038.0000 1021.1370 1.65%
2832.54/2840.74 c 2841 55957 2704 1 1038.0000 1021.1402 1.65%
2837.83/2846.07 c 2846 56099 2718 1 1038.0000 1021.1419 1.65%
2843.82/2852.03 c 2852 56156 2719 1 1038.0000 1021.1449 1.65%
2849.20/2857.47 c 2857 56240 2719 1 1038.0000 1021.1528 1.65%
2854.99/2863.25 c 2863 56372 2721 1 1038.0000 1021.1548 1.65%
2860.57/2868.84 c 2869 56549 2726 1 1038.0000 1021.1610 1.65%
2865.87/2874.19 c 2874 56668 2735 1 1038.0000 1021.1675 1.65%
2871.65/2879.92 c 2880 56780 2759 1 1038.0000 1021.1744 1.65%
2877.33/2885.66 c 2886 56966 2767 1 1038.0000 1021.1769 1.65%
2883.72/2892.03 c 2892 57088 2765 1 1038.0000 1021.1827 1.65%
2889.10/2897.49 c 2897 57247 2776 1 1038.0000 1021.1840 1.65%
2894.59/2902.95 c 2903 57374 2783 1 1038.0000 1021.1853 1.65%
2899.98/2908.37 c 2908 57525 2788 1 1038.0000 1021.1897 1.65%
2905.16/2913.53 c 2914 57693 2790 1 1038.0000 1021.1897 1.65%
2911.35/2919.71 c 2920 57808 2797 1 1038.0000 1021.1997 1.65%
2916.74/2925.19 c 2925 57819 2802 1 1038.0000 1021.2062 1.64%
2921.82/2930.28 c 2930 57983 2814 1 1038.0000 1021.2062 1.64%
2927.01/2935.46 c 2935 58157 2808 1 1038.0000 1021.2062 1.64%
2932.19/2940.60 c 2941 58252 2813 1 1038.0000 1021.2081 1.64%
2937.18/2945.69 c 2946 58364 2823 1 1038.0000 1021.2084 1.64%
2942.68/2951.19 c 2951 58480 2833 1 1038.0000 1021.2106 1.64%
2948.06/2956.54 c 2957 58578 2837 1 1038.0000 1021.2261 1.64%
2953.65/2962.11 c 2962 58728 2845 1 1038.0000 1021.2274 1.64%
2958.73/2967.27 c 2967 58890 2843 1 1038.0000 1021.2274 1.64%
2965.22/2973.72 c 2974 59068 2839 1 1038.0000 1021.2294 1.64%
2970.40/2978.91 c 2979 59195 2850 1 1038.0000 1021.2294 1.64%
2975.60/2984.10 c 2984 59370 2857 1 1038.0000 1021.2301 1.64%
2981.38/2989.98 c 2990 59485 2864 1 1038.0000 1021.2377 1.64%
2987.26/2995.83 c 2996 59633 2870 1 1038.0000 1021.2432 1.64%
2992.85/3001.40 c 3001 59798 2871 1 1038.0000 1021.2480 1.64%
2998.23/3006.83 c 3007 59920 2879 1 1038.0000 1021.2485 1.64%
3003.92/3012.53 c 3013 60068 2875 1 1038.0000 1021.2575 1.64%
3009.71/3018.33 c 3018 60139 2876 1 1038.0000 1021.2575 1.64%
3014.99/3023.65 c 3024 60250 2879 1 1038.0000 1021.2601 1.64%
3020.69/3029.37 c 3029 60368 2883 1 1038.0000 1021.2647 1.64%
3026.38/3035.02 c 3035 60479 2896 1 1038.0000 1021.2767 1.64%
3031.86/3040.57 c 3041 60639 2906 1 1038.0000 1021.2781 1.64%
3038.35/3047.07 c 3047 60731 2924 1 1038.0000 1021.2885 1.64%
3045.53/3054.21 c 3054 60818 2939 1 1038.0000 1021.3000 1.64%
3051.61/3060.39 c 3060 60931 2954 1 1038.0000 1021.3030 1.63%
3056.80/3065.60 c 3066 61090 2951 1 1038.0000 1021.3030 1.63%
3062.30/3071.01 c 3071 61244 2951 1 1038.0000 1021.3087 1.63%
3068.18/3076.91 c 3077 61327 2958 1 1038.0000 1021.3136 1.63%
3073.37/3082.13 c 3082 61490 2959 1 1038.0000 1021.3136 1.63%
3078.74/3087.57 c 3088 61628 2959 1 1038.0000 1021.3236 1.63%
3084.13/3092.99 c 3093 61778 2961 1 1038.0000 1021.3377 1.63%
3089.32/3098.13 c 3098 61861 2982 1 1038.0000 1021.3433 1.63%
3095.50/3104.33 c 3104 62008 2983 1 1038.0000 1021.3433 1.63%
3100.69/3109.58 c 3110 62075 2996 1 1038.0000 1021.3451 1.63%
3106.28/3115.12 c 3115 62231 3006 1 1038.0000 1021.3512 1.63%
3111.56/3120.47 c 3120 62358 3009 1 1038.0000 1021.3603 1.63%
3116.65/3125.57 c 3126 62495 3018 1 1038.0000 1021.3603 1.63%
3122.14/3131.09 c 3131 62581 3028 1 1038.0000 1021.3731 1.63%
3127.82/3136.78 c 3137 62677 3038 1 1038.0000 1021.3741 1.63%
3137.20/3146.12 c 3146 62792 3043 1 1038.0000 1021.3793 1.63%
3142.28/3151.27 c 3151 62962 3039 1 1038.0000 1021.3793 1.63%
3148.08/3157.05 c 3157 63069 3040 1 1038.0000 1021.3817 1.63%
3153.66/3162.61 c 3163 63124 3053 1 1038.0000 1021.3824 1.63%
3159.05/3168.02 c 3168 63261 3058 1 1038.0000 1021.3845 1.63%
3165.04/3174.08 c 3174 63392 3069 1 1038.0000 1021.3886 1.63%
3170.42/3179.48 c 3179 63535 3078 1 1038.0000 1021.3968 1.63%
3176.01/3185.04 c 3185 63691 3090 1 1038.0000 1021.3999 1.63%
3181.29/3190.38 c 3190 63850 3091 1 1038.0000 1021.3999 1.63%
3186.38/3195.49 c 3196 64020 3087 1 1038.0000 1021.3999 1.63%
3191.56/3200.63 c 3201 64193 3084 1 1038.0000 1021.3999 1.63%
3196.76/3205.88 c 3206 64372 3083 1 1038.0000 1021.3999 1.63%
3202.05/3211.17 c 3211 64534 3087 1 1038.0000 1021.3999 1.63%
3207.22/3216.30 c 3216 64742 3087 1 1038.0000 1021.3999 1.63%
3213.01/3222.18 c 3222 64948 3087 1 1038.0000 1021.4060 1.62%
3219.09/3228.23 c 3228 65034 3125 1 1038.0000 1021.4129 1.62%
3224.37/3233.52 c 3234 65186 3139 1 1038.0000 1021.4200 1.62%
3231.86/3241.08 c 3241 65282 3147 1 1038.0000 1021.4217 1.62%
3237.54/3246.72 c 3247 65469 3152 1 1038.0000 1021.4232 1.62%
3243.73/3252.95 c 3253 65492 3161 1 1038.0000 1021.4269 1.62%
3249.42/3258.65 c 3259 65516 3169 1 1038.0000 1021.4289 1.62%
3254.70/3263.96 c 3264 65533 3174 1 1038.0000 1021.4344 1.62%
3260.59/3269.82 c 3270 65565 3174 1 1038.0000 1021.4344 1.62%
3266.57/3275.88 c 3276 65617 3182 1 1038.0000 1021.4418 1.62%
3272.76/3282.10 c 3282 65677 3188 1 1038.0000 1021.4450 1.62%
3278.04/3287.39 c 3287 65757 3196 1 1038.0000 1021.4464 1.62%
3283.73/3293.09 c 3293 65853 3204 1 1038.0000 1021.4511 1.62%
3289.51/3298.81 c 3299 65884 3205 1 1038.0000 1021.4511 1.62%
3295.81/3305.17 c 3305 65915 3208 1 1038.0000 1021.4573 1.62%
3303.08/3312.43 c 3312 65962 3223 1 1038.0000 1021.4803 1.62%
3308.27/3317.69 c 3318 66013 3226 1 1038.0000 1021.4809 1.62%
3313.55/3322.92 c 3323 66104 3241 1 1038.0000 1021.4898 1.62%
3318.74/3328.19 c 3328 66190 3247 1 1038.0000 1021.4989 1.62%
3324.43/3333.80 c 3334 66250 3253 1 1038.0000 1021.5058 1.61%
3330.12/3339.57 c 3340 66315 3252 1 1038.0000 1021.5058 1.61%
3335.30/3344.78 c 3345 66369 3256 1 1038.0000 1021.5058 1.61%
3340.79/3350.23 c 3350 66414 3257 1 1038.0000 1021.5103 1.61%
3346.08/3355.57 c 3356 66487 3260 1 1038.0000 1021.5131 1.61%
3351.06/3360.59 c 3361 66563 3260 1 1038.0000 1021.5131 1.61%
3356.65/3366.18 c 3366 66704 3273 1 1038.0000 1021.5243 1.61%
3362.14/3371.60 c 3372 66820 3273 1 1038.0000 1021.5243 1.61%
3367.22/3376.76 c 3377 66962 3273 1 1038.0000 1021.5243 1.61%
3373.31/3382.85 c 3383 67102 3279 1 1038.0000 1021.5270 1.61%
3378.89/3388.41 c 3388 67211 3300 1 1038.0000 1021.5285 1.61%
3383.98/3393.52 c 3394 67358 3295 1 1038.0000 1021.5285 1.61%
3389.16/3398.72 c 3399 67535 3298 1 1038.0000 1021.5285 1.61%
3394.35/3403.97 c 3404 67670 3303 1 1038.0000 1021.5325 1.61%
3400.04/3409.63 c 3410 67840 3305 1 1038.0000 1021.5362 1.61%
3405.12/3414.77 c 3415 68011 3308 1 1038.0000 1021.5362 1.61%
3410.52/3420.14 c 3420 68168 3315 1 1038.0000 1021.5392 1.61%
3415.90/3425.53 c 3426 68318 3321 1 1038.0000 1021.5421 1.61%
3421.09/3430.79 c 3431 68448 3335 1 1038.0000 1021.5421 1.61%
3426.38/3436.00 c 3436 68558 3341 1 1038.0000 1021.5470 1.61%
3431.47/3441.10 c 3441 68678 3351 1 1038.0000 1021.5521 1.61%
3436.75/3446.46 c 3446 68813 3356 1 1038.0000 1021.5521 1.61%
3442.73/3452.49 c 3452 68974 3361 1 1038.0000 1021.5566 1.61%
3448.72/3458.41 c 3458 69035 3366 1 1038.0000 1021.5566 1.61%
3453.81/3463.56 c 3464 69161 3372 1 1038.0000 1021.5576 1.61%
3459.40/3469.19 c 3469 69332 3373 1 1038.0000 1021.5595 1.61%
3464.48/3474.22 c 3474 69468 3379 1 1038.0000 1021.5694 1.61%
3469.57/3479.31 c 3479 69539 3382 1 1038.0000 1021.5701 1.61%
3475.46/3485.29 c 3485 69625 3398 1 1038.0000 1021.5769 1.61%
3481.24/3491.10 c 3491 69798 3399 1 1038.0000 1021.5841 1.61%
3487.12/3496.93 c 3497 69926 3409 1 1038.0000 1021.5844 1.61%
3492.21/3502.01 c 3502 70087 3406 1 1038.0000 1021.5844 1.61%
3497.69/3507.56 c 3508 70240 3409 1 1038.0000 1021.5854 1.61%
3502.77/3512.67 c 3513 70348 3415 1 1038.0000 1021.5894 1.61%
3507.96/3517.86 c 3518 70476 3423 1 1038.0000 1021.5894 1.61%
3513.54/3523.43 c 3523 70613 3430 1 1038.0000 1021.5961 1.61%
3518.72/3528.61 c 3529 70768 3433 1 1038.0000 1021.5985 1.61%
3523.81/3533.76 c 3534 70897 3440 1 1038.0000 1021.6019 1.61%
3529.29/3539.22 c 3539 71062 3441 1 1038.0000 1021.6025 1.61%
3536.08/3546.07 c 3546 71082 3445 1 1038.0000 1021.6129 1.60%
3542.06/3552.06 c 3552 71195 3472 1 1038.0000 1021.6222 1.60%
3547.24/3557.20 c 3557 71401 3474 1 1038.0000 1021.6222 1.60%
3552.93/3562.94 c 3563 71548 3481 1 1038.0000 1021.6285 1.60%
3558.12/3568.14 c 3568 71715 3490 1 1038.0000 1021.6285 1.60%
3563.79/3573.83 c 3574 71840 3495 1 1038.0000 1021.6334 1.60%
3569.68/3579.71 c 3580 71985 3500 1 1038.0000 1021.6397 1.60%
3575.56/3585.68 c 3586 72101 3512 1 1038.0000 1021.6485 1.60%
3580.84/3590.95 c 3591 72225 3522 1 1038.0000 1021.6580 1.60%
3586.03/3596.19 c 3596 72308 3525 1 1038.0000 1021.6594 1.60%
3587.92/3598.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.92/3598.07 c Total Time : 3598.07
3587.92/3598.07 c solving : 3598.07
3587.92/3598.07 c presolving : 0.05 (included in solving)
3587.92/3598.07 c B&B Tree :
3587.92/3598.07 c nodes (total) : 1
3587.92/3598.07 c Solution :
3587.92/3598.07 c Solutions found : 14
3587.92/3598.07 c Primal Bound : +1.03800000000000e+03
3587.92/3598.07 c Dual Bound : +1.02166435405344e+03
3587.92/3598.07 c Gap : 1.59892 %
3587.92/3598.07 c * Warning: final gap: 1.59892e-02 is greater than SCIPepsilon: 1.00000e-09
3587.92/3598.07 o 1038
3587.92/3598.07 s SATISFIABLE
3587.92/3598.07 v x1963 -x1962 x1961 -x1960 -x1959 x1958 -x1957 x1956 -x1955 x1954 x1953 x1952 x1951 x1950 x1949 x1948 x1947 -x1946 x1945 x1944 -x1943
3587.92/3598.07 v x1942 x1941 x1940 x1939 -x1938 x1937 x1936 -x1935 -x1934 x1933 -x1932 x1931 x1930 x1929 x1928 -x1927 -x1926 x1925 x1924
3587.92/3598.07 v -x1923 x1922 -x1921 x1920 -x1919 x1918 -x1917 x1916 -x1915 -x1914 x1913 -x1912 x1911 -x1910 -x1909 x1908 -x1907 -x1906 x1905
3587.92/3598.07 v -x1904 x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 x1891 -x1890 x1889 x1888 x1887 -x1886
3587.92/3598.07 v x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 x1877 x1876 x1875 -x1874 -x1873 x1872 x1871 x1870 x1869 x1868 -x1867 x1866
3587.92/3598.07 v x1865 -x1864 -x1863 -x1862 x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 x1854 x1853 -x1852 x1851 -x1850 -x1849 -x1848 -x1847
3587.92/3598.07 v -x1846 -x1845 x1844 -x1843 -x1842 -x1841 -x1840 x1839 -x1838 -x1837 -x1836 x1835 x1834 -x1833 x1832 -x1831 x1830 -x1829
3587.92/3598.07 v x1828 x1827 x1826 x1825 -x1824 x1823 -x1822 x1821 x1820 x1819 -x1818 -x1817 -x1816 x1815 -x1814 -x1813 -x1812 x1811 -x1810 x1809
3587.92/3598.07 v -x1808 -x1807 x1806 -x1805 -x1804 -x1803 x1802 -x1801 x1800 x1799 x1798 x1797 x1796 -x1795 x1794 -x1793 x1792 -x1791 -x1790
3587.92/3598.07 v -x1789 x1788 -x1787 -x1786 x1785 -x1784 x1783 x1782 x1781 x1780 x1779 -x1778 -x1777 x1776 x1775 -x1774 -x1773 x1772 x1771
3587.92/3598.07 v x1770 x1769 -x1768 x1767 x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 -x1759 x1758 x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751
3587.92/3598.07 v -x1750 x1749 -x1748 x1747 x1746 x1745 -x1744 -x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 -x1733 x1732 -x1731
3587.92/3598.07 v x1730 -x1729 x1728 -x1727 x1726 -x1725 -x1724 x1723 x1722 -x1721 x1720 x1719 -x1718 x1717 -x1716 x1715 -x1714 x1713 -x1712
3587.92/3598.07 v x1711 -x1710 x1709 x1708 x1707 x1706 x1705 -x1704 x1703 x1702 -x1701 x1700 x1699 -x1698 -x1697 x1696 x1695 -x1694 x1693 -x1692
3587.92/3598.07 v -x1691 x1690 -x1689 -x1688 x1687 -x1686 -x1685 -x1684 x1683 x1682 -x1681 -x1680 x1679 x1678 -x1677 x1676 -x1675 x1674 x1673
3587.92/3598.07 v -x1672 x1671 -x1670 -x1669 -x1668 x1667 x1666 -x1665 x1664 -x1663 -x1662 x1661 -x1660 x1659 -x1658 -x1657 -x1656 x1655 -x1654
3587.92/3598.07 v x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 x1645 x1644 x1643 -x1642 -x1641 x1640 x1639 x1638 x1637 -x1636 -x1635
3587.92/3598.07 v x1634 -x1633 x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626 x1625 -x1624 x1623 -x1622 x1621 -x1620 -x1619 -x1618 x1617 x1616
3587.92/3598.07 v x1615 -x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 x1605 x1604 -x1603 x1602 x1601 x1600 x1599 -x1598 -x1597
3587.92/3598.07 v x1596 -x1595 x1594 -x1593 x1592 x1591 x1590 -x1589 x1588 x1587 x1586 -x1585 x1584 -x1583 -x1582 x1581 -x1580 x1579 -x1578 -x1577
3587.92/3598.07 v x1576 x1575 -x1574 x1573 x1572 x1571 -x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 x1563 x1562 x1561 -x1560 -x1559 x1558
3587.92/3598.07 v -x1557 -x1556 x1555 -x1554 x1553 x1552 x1551 -x1550 -x1549 -x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 x1541 x1540 x1539 -x1538
3587.92/3598.07 v -x1537 -x1536 x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 -x1523 x1522 -x1521 x1520
3587.92/3598.07 v -x1519 x1518 -x1517 x1516 x1515 x1514 -x1513 x1512 -x1511 x1510 -x1509 x1508 x1507 x1506 -x1505 x1504 x1503 -x1502 -x1501 -x1500
3587.92/3598.07 v -x1499 -x1498 x1497 x1496 x1495 x1494 x1493 -x1492 x1491 x1490 -x1489 x1488 -x1487 -x1486 x1485 -x1484 x1483 -x1482 x1481
3587.92/3598.07 v -x1480 x1479 -x1478 -x1477 x1476 -x1475 x1474 -x1473 x1472 x1471 x1470 -x1469 x1468 -x1467 x1466 x1465 x1464 x1463 x1462 -x1461
3587.92/3598.07 v x1460 -x1459 -x1458 x1457 -x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 x1448 x1447 -x1446 -x1445 -x1444 -x1443 x1442
3587.92/3598.07 v -x1441 x1440 -x1439 -x1438 -x1437 x1436 x1435 x1434 x1433 x1432 -x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 -x1424 x1423
3587.92/3598.07 v x1422 -x1421 -x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412 -x1411 x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 x1403
3587.92/3598.07 v x1402 -x1401 -x1400 x1399 -x1398 x1397 -x1396 -x1395 x1394 -x1393 -x1392 x1391 -x1390 x1389 -x1388 -x1387 x1386 x1385 x1384
3587.92/3598.07 v -x1383 x1382 x1381 -x1380 -x1379 -x1378 -x1377 x1376 -x1375 x1374 x1373 x1372 -x1371 x1370 -x1369 -x1368 x1367 x1366 -x1365
3587.92/3598.07 v -x1364 x1363 x1362 x1361 -x1360 -x1359 x1358 x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 x1348 x1347 -x1346
3587.92/3598.07 v x1345 -x1344 -x1343 -x1342 -x1341 x1340 x1339 x1338 x1337 -x1336 -x1335 x1334 -x1333 x1332 x1331 -x1330 x1329 -x1328 -x1327
3587.92/3598.07 v x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 x1318 x1317 x1316 x1315 -x1314 -x1313 -x1312 x1311 -x1310 x1309 x1308
3587.92/3598.07 v x1307 -x1306 -x1305 -x1304 x1303 -x1302 x1301 -x1300 -x1299 x1298 x1297 x1296 x1295 x1294 x1293 -x1292 -x1291 x1290 x1289 -x1288
3587.92/3598.07 v x1287 x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 x1278 -x1277 -x1276 -x1275 x1274 x1273 -x1272 -x1271 x1270 x1269
3587.92/3598.07 v -x1268 -x1267 -x1266 -x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258 x1257 x1256 x1255 -x1254 -x1253 x1252 x1251 x1250 x1249
3587.92/3598.07 v -x1248 -x1247 -x1246 x1245 -x1244 x1243 -x1242 x1241 -x1240 -x1239 x1238 -x1237 -x1236 x1235 -x1234 x1233 x1232 -x1231 x1230
3587.92/3598.07 v -x1229 x1228 x1227 x1226 x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 x1218 -x1217 x1216 x1215 x1214 x1213 x1212 -x1211 -x1210
3587.92/3598.07 v x1209 -x1208 -x1207 x1206 x1205 x1204 -x1203 x1202 -x1201 x1200 x1199 x1198 x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191
3587.92/3598.07 v -x1190 x1189 x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 x1181 x1180 x1179 x1178 x1177 -x1176 -x1175 x1174 -x1173 x1172
3587.92/3598.07 v -x1171 -x1170 -x1169 x1168 x1167 x1166 x1165 x1164 -x1163 -x1162 x1161 x1160 -x1159 -x1158 x1157 x1156 -x1155 -x1154 x1153
3587.92/3598.07 v -x1152 -x1151 -x1150 -x1149 x1148 x1147 x1146 x1145 x1144 x1143 x1142 -x1141 -x1140 x1139 -x1138 x1137 -x1136 -x1135 x1134 -x1133
3587.92/3598.07 v x1132 -x1131 x1130 x1129 -x1128 x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 x1120 x1119 -x1118 x1117 x1116 -x1115 x1114
3587.92/3598.07 v -x1113 -x1112 x1111 -x1110 x1109 -x1108 x1107 -x1106 x1105 x1104 x1103 x1102 x1101 -x1100 x1099 -x1098 x1097 x1096 x1095 x1094
3587.92/3598.07 v x1093 x1092 -x1091 x1090 x1089 -x1088 x1087 -x1086 -x1085 -x1084 x1083 -x1082 x1081 x1080 -x1079 -x1078 x1077 x1076 x1075 x1074
3587.92/3598.07 v -x1073 x1072 x1071 x1070 x1069 -x1068 -x1067 x1066 -x1065 x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055
3587.92/3598.07 v -x1054 x1053 x1052 -x1051 x1050 -x1049 -x1048 x1047 -x1046 x1045 -x1044 x1043 x1042 -x1041 -x1040 x1039 x1038 -x1037 -x1036
3587.92/3598.07 v x1035 -x1034 x1033 x1032 x1031 -x1030 x1029 x1028 x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 x1020 x1019 -x1018 x1017 x1016
3587.92/3598.07 v x1015 -x1014 x1013 -x1012 x1011 x1010 x1009 -x1008 -x1007 x1006 -x1005 -x1004 x1003 x1002 x1001 -x1000 x999 -x998 -x997
3587.92/3598.07 v -x996 x995 -x994 x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 x980 -x979 -x978 x977 -x976 x975
3587.92/3598.07 v x974 x973 -x972 x971 -x970 x969 -x968 x967 -x966 -x965 -x964 x963 x962 x961 x960 -x959 -x958 -x957 x956 -x955 x954 x953 x952
3587.92/3598.07 v -x951 x950 -x949 x948 x947 -x946 x945 x944 x943 x942 x941 x940 -x939 -x938 -x937 x936 -x935 x934 x933 -x932 -x931 -x930 x929
3587.92/3598.07 v x928 x927 -x926 -x925 -x924 -x923 -x922 x921 x920 x919 x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 x907 -x906
3587.92/3598.07 v -x905 x904 x903 x902 -x901 x900 -x899 -x898 x897 x896 -x895 -x894 x893 x892 x891 x890 x889 -x888 -x887 x886 -x885 x884 -x883
3587.92/3598.07 v -x882 x881 -x880 -x879 -x878 -x877 x876 -x875 x874 -x873 x872 x871 -x870 x869 x868 x867 -x866 -x865 -x864 x863 x862 x861
3587.92/3598.07 v -x860 x859 -x858 x857 x856 x855 -x854 x853 -x852 x851 -x850 -x849 x848 x847 -x846 x845 -x844 -x843 x842 -x841 x840 -x839 x838
3587.92/3598.07 v -x837 x836 x835 -x834 x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 x821 x820 x819 -x818 x817 x816 x815
3587.92/3598.07 v x814 -x813 -x812 -x811 -x810 x809 x808 -x807 -x806 x805 -x804 -x803 x802 x801 x800 -x799 -x798 -x797 x796 x795 x794 -x793
3587.92/3598.07 v x792 x791 x790 -x789 x788 -x787 x786 -x785 x784 -x783 -x782 -x781 x780 x779 -x778 -x777 x776 x775 -x774 x773 x772 -x771 -x770
3587.92/3598.07 v -x769 -x768 x767 x766 x765 x764 -x763 -x762 x761 -x760 x759 -x758 -x757 -x756 x755 x754 -x753 x752 -x751 -x750 x749 x748 x747
3587.92/3598.07 v x746 x745 -x744 x743 -x742 -x741 x740 -x739 -x738 x737 x736 x735 x734 x733 x732 -x731 -x730 x729 x728 x727 x726 -x725 x724
3587.92/3598.07 v x723 x722 x721 -x720 x719 x718 -x717 x716 x715 -x714 -x713 x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701
3587.92/3598.07 v x700 -x699 -x698 x697 -x696 x695 x694 -x693 x692 x691 -x690 x689 x688 -x687 -x686 x685 -x684 x683 -x682 -x681 x680 x679 -x678
3587.92/3598.07 v -x677 x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 -x666 x665 -x664 x663 x662 -x661 -x660 -x659 -x658 x657 -x656
3587.92/3598.07 v x655 -x654 x653 x652 -x651 x650 x649 x648 -x647 -x646 x645 x644 -x643 x642 x641 -x640 -x639 x638 x637 x636 x635 x634 -x633
3587.92/3598.07 v x632 x631 x630 -x629 x628 x627 -x626 x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 x616 x615 -x614 x613 -x612 -x611 -x610
3587.92/3598.07 v -x609 -x608 x607 -x606 -x605 x604 x603 x602 x601 -x600 -x599 x598 x597 x596 x595 x594 x593 x592 -x591 -x590 -x589 -x588 x587
3587.92/3598.07 v -x586 -x585 x584 -x583 x582 x581 x580 -x579 -x578 -x577 x576 x575 x574 -x573 -x572 x571 -x570 -x569 -x568 x567 -x566 -x565
3587.92/3598.07 v -x564 x563 x562 -x561 -x560 x559 -x558 x557 x556 -x555 x554 x553 x552 -x551 -x550 -x549 -x548 x547 x546 -x545 -x544 -x543 -x542
3587.92/3598.07 v -x541 x540 x539 x538 -x537 x536 -x535 -x534 -x533 x532 x531 x530 x529 x528 -x527 x526 -x525 x524 -x523 x522 x521 x520 x519
3587.92/3598.07 v -x518 -x517 -x516 x515 x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 x506 x505 -x504 x503 -x502 x501 -x500 -x499 -x498 x497
3587.92/3598.07 v x496 -x495 x494 x493 -x492 x491 x490 -x489 x488 -x487 x486 x485 x484 -x483 x482 x481 -x480 x479 x478 -x477 x476 -x475 x474 -x473
3587.92/3598.07 v x472 x471 -x470 -x469 -x468 x467 x466 -x465 x464 -x463 x462 x461 x460 x459 x458 -x457 x456 -x455 -x454 x453 -x452 x451 x450
3587.92/3598.07 v x449 x448 -x447 x446 -x445 -x444 x443 -x442 -x441 x440 x439 -x438 -x437 x436 x435 -x434 -x433 -x432 -x431 x430 x429 x428 -x427
3587.92/3598.07 v x426 -x425 -x424 x423 x422 -x421 x420 -x419 x418 x417 x416 -x415 -x414 x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 x405
3587.92/3598.07 v x404 x403 -x402 -x401 x400 x399 x398 -x397 -x396 -x395 -x394 -x393 x392 x391 x390 -x389 x388 -x387 -x386 -x385 x384 x383 -x382
3587.92/3598.07 v x381 x380 x379 x378 -x377 -x376 -x375 x374 x373 x372 x371 -x370 x369 -x368 x367 x366 x365 -x364 -x363 x362 x361 -x360 -x359
3587.92/3598.07 v -x358 -x357 x356 x355 -x354 -x353 x352 -x351 x350 -x349 x348 x347 -x346 -x345 -x344 -x343 x342 x341 -x340 x339 -x338 x337
3587.92/3598.07 v x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 x326 x325 x324 x323 x322 x321 -x320 -x319 x318 x317 x316 x315 -x314
3587.92/3598.07 v -x313 x312 -x311 x310 -x309 x308 x307 x306 x305 -x304 -x303 -x302 x301 -x300 x299 -x298 x297 -x296 -x295 x294 x293 x292 x291
3587.92/3598.07 v -x290 x289 x288 x287 -x286 x285 -x284 -x283 -x282 x281 x280 x279 -x278 -x277 x276 x275 x274 x273 x272 -x271 x270 -x269 -x268
3587.92/3598.07 v x267 x266 x265 -x264 x263 -x262 -x261 x260 -x259 x258 -x257 x256 x255 x254 -x253 x252 x251 -x250 x249 x248 -x247 -x246 -x245
3587.92/3598.07 v x244 x243 -x242 x241 x240 x239 -x238 x237 x236 x235 x234 -x233 -x232 -x231 x230 -x229 x228 x227 x226 -x225 -x224 x223 x222 x221
3587.92/3598.07 v -x220 x219 -x218 x217 -x216 x215 -x214 -x213 x212 -x211 -x210 -x209 x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 x199
3587.92/3598.07 v x198 x197 x196 -x195 x194 -x193 -x192 -x191 x190 x189 -x188 x187 -x186 x185 x184 x183 -x182 -x181 -x180 -x179 -x178 x177 -x176
3587.92/3598.07 v -x175 -x174 -x173 -x172 x171 x170 -x169 -x168 x167 -x166 x165 -x164 -x163 x162 x161 x160 -x159 x158 -x157 x156 x155 x154
3587.92/3598.07 v -x153 -x152 x151 x150 -x149 -x148 x147 x146 x145 -x144 x143 x142 x141 x140 x139 -x138 x137 x136 -x135 x134 x133 x132 x131 x130
3587.92/3598.07 v x129 x128 x127 -x126 -x125 x124 -x123 -x122 -x121 x120 x119 x118 x117 x116 -x115 x114 x113 x112 -x111 x110 x109 x108 -x107
3587.92/3598.07 v -x106 -x105 x104 x103 -x102 -x101 x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 x87 -x86 -x85 x84 -x83 x82 x81
3587.92/3598.07 v x80 -x79 -x78 -x77 x76 x75 x74 x73 -x72 x71 x70 x69 -x68 x67 x66 x65 -x64 -x63 x62 -x61 x60 x59 x58 x57 x56 x55 x54 x53 -x52
3587.92/3598.07 v -x51 x50 -x49 x48 x47 -x46 x45 x44 x43 x42 x41 -x40 x39 -x38 x37 x36 x35 x34 -x33 x32 x31 -x30 x29 x28 x27 x26 x25 x24 -x23
3587.92/3598.07 v x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62087 MiB free)
memory of node 1: 64510 MiB (62548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463992-1722378596/watcher-4463992-1722378596 -o /tmp/evaluation-result-4463992-1722378596/solver-4463992-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30698 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463992-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30810, runsolver pid=30807
Current StackSize limit: 8192 KiB
[startup+0.100224 s]*
/proc/loadavg: 0.47 0.20 0.12 5/264 30813
/proc/meminfo: memFree=127594692/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=129212 memory=43312 CPUtime=0.09 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 9183 0 0 0 8 1 0 0 20 0 3 0 4456997 132313088 10828 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 32303 10828 2790 3035 0 14714 0
[pid=30810/tid=30812] ppid=30807 vsize=129212 memory=4026561586 CPUtime=0.01 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 3039 0 0 0 1 0 0 0 20 0 3 0 4457004 132313088 10828 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=129212 memory=228556276070 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457005 132313088 10828 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 129212 KiB
Current children cumulated memory: 43312 KiB
[startup+0.206225 s]*
/proc/loadavg: 0.47 0.20 0.12 5/264 30813
/proc/meminfo: memFree=127585964/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=132288 memory=52540 CPUtime=0.19 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 11377 0 0 0 18 1 0 0 20 0 3 0 4456997 135462912 13135 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 33072 13135 2934 3035 0 16966 0
[pid=30810/tid=30812] ppid=30807 vsize=132288 memory=664970838410264707 CPUtime=0.11 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 5233 0 0 0 11 0 0 0 20 0 3 0 4457004 135462912 13135 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=132288 memory=18004 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457005 135462912 13135 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132288 KiB
Current children cumulated memory: 52540 KiB
[startup+0.306225 s]*
/proc/loadavg: 0.47 0.20 0.12 5/264 30813
/proc/meminfo: memFree=127585628/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=132288 memory=52804 CPUtime=0.29 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 11435 0 0 0 28 1 0 0 20 0 3 0 4456997 135462912 13201 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 33072 13201 2934 3035 0 16981 0
[pid=30810/tid=30812] ppid=30807 vsize=132288 memory=-5155628015910939525 CPUtime=0.21 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 5291 0 0 0 21 0 0 0 20 0 3 0 4457004 135462912 13201 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=132288 memory=0 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457005 135462912 13201 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132288 KiB
Current children cumulated memory: 52804 KiB
[startup+0.700218 s]
/proc/loadavg: 0.47 0.20 0.12 5/264 30813
/proc/meminfo: memFree=127465212/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=133744 memory=57588 CPUtime=0.67 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 12620 0 0 0 66 1 0 0 20 0 3 0 4456997 136953856 14397 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 33436 14397 2950 3035 0 18260 0
[pid=30810/tid=30812] ppid=30807 vsize=133744 memory=0 CPUtime=0.59 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 6476 0 0 0 59 0 0 0 20 0 3 0 4457004 136953856 14397 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=133744 memory=0 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457005 136953856 14397 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 133744 KiB
Current children cumulated memory: 57588 KiB
[startup+1.50024 s]
/proc/loadavg: 0.47 0.20 0.12 5/264 30813
/proc/meminfo: memFree=127378216/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=133744 memory=60048 CPUtime=1.47 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 17093 0 0 0 146 1 0 0 20 0 3 0 4456997 136953856 15012 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 33436 15012 2950 3035 0 19084 0
[pid=30810/tid=30812] ppid=30807 vsize=133744 memory=0 CPUtime=1.4 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 10949 0 0 0 139 1 0 0 20 0 3 0 4457004 136953856 15012 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=133744 memory=0 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457005 136953856 15012 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 133744 KiB
Current children cumulated memory: 60048 KiB
[startup+3.10562 s]
/proc/loadavg: 0.47 0.20 0.12 5/266 30815
/proc/meminfo: memFree=127099620/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=143416 memory=80528 CPUtime=3.07 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 22377 0 0 0 305 2 0 0 20 0 3 0 4456997 146857984 20132 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 35854 20132 2950 3035 0 24415 0
[pid=30810/tid=30812] ppid=30807 vsize=143416 memory=0 CPUtime=3 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 16231 0 0 0 298 2 0 0 20 0 3 0 4457004 146857984 20132 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=143416 memory=2273 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4457005 146857984 20132 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 143416 KiB
Current children cumulated memory: 80528 KiB
[startup+6.30019 s]
/proc/loadavg: 0.75 0.26 0.14 5/266 30817
/proc/meminfo: memFree=126767172/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=179576 memory=120904 CPUtime=6.26 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 42679 0 0 0 622 4 0 0 20 0 3 0 4456997 183885824 30226 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 44894 30226 2950 3035 0 34842 0
[pid=30810/tid=30812] ppid=30807 vsize=179576 memory=83112 CPUtime=6.17 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 36531 0 0 0 614 3 0 0 20 0 3 0 4457004 183885824 30226 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=179576 memory=-5155628015910939525 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4457005 183885824 30226 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 179576 KiB
Current children cumulated memory: 120904 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 0.34 0.16 5/266 30817
/proc/meminfo: memFree=126702272/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=179576 memory=128108 CPUtime=12.64 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 56267 0 0 0 1259 5 0 0 20 0 3 0 4456997 183885824 32027 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 44894 32027 2950 3035 0 37235 0
[pid=30810/tid=30812] ppid=30807 vsize=179576 memory=164 CPUtime=12.57 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 50087 0 0 0 1252 5 0 0 20 0 3 0 4457004 183885824 32027 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=179576 memory=128108 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4457005 183885824 32027 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 179576 KiB
Current children cumulated memory: 128108 KiB
[startup+25.5003 s]
/proc/loadavg: 1.80 0.54 0.23 5/271 30881
/proc/meminfo: memFree=126283132/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=186728 memory=135932 CPUtime=25.42 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 86338 0 0 0 2535 7 0 0 20 0 3 0 4456997 191209472 33983 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 46682 33983 2998 3035 0 39102 0
[pid=30810/tid=30812] ppid=30807 vsize=186728 memory=132900 CPUtime=25.34 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 80065 0 0 0 2528 6 0 0 20 0 3 0 4457004 191209472 33983 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=186728 memory=11360 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4457005 191209472 33983 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 186728 KiB
Current children cumulated memory: 135932 KiB
[startup+51.1056 s]
/proc/loadavg: 2.55 0.81 0.33 5/271 30884
/proc/meminfo: memFree=126048272/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=214240 memory=173696 CPUtime=50.96 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 145867 0 0 0 5084 12 0 0 20 0 3 0 4456997 219381760 43424 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 53560 43424 2998 3035 0 49503 0
[pid=30810/tid=30812] ppid=30807 vsize=214240 memory=173684 CPUtime=50.88 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 138776 0 0 0 5077 11 0 0 20 0 3 0 4457004 219381760 43424 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=214240 memory=150044 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4457005 219381760 43424 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 214240 KiB
Current children cumulated memory: 173696 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.32 0.53 5/269 31037
/proc/meminfo: memFree=117896564/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=277148 memory=182884 CPUtime=102 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 233154 0 0 0 10182 18 0 0 20 0 3 0 4456997 283799552 45721 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 69287 45721 2998 3035 0 52025 0
[pid=30810/tid=30812] ppid=30807 vsize=277148 memory=11360 CPUtime=101.92 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 225581 0 0 0 10175 17 0 0 20 0 3 0 4457004 283799552 45721 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=277148 memory=11360 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4457005 283799552 45721 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 277148 KiB
Current children cumulated memory: 182884 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 1.87 0.77 5/267 31092
/proc/meminfo: memFree=117280760/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=277148 memory=199972 CPUtime=161.82 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 287139 0 0 0 16159 23 0 0 20 0 3 0 4456997 283799552 49993 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 69287 49993 2998 3035 0 56666 0
[pid=30810/tid=30812] ppid=30807 vsize=277148 memory=194144 CPUtime=161.73 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 279149 0 0 0 16151 22 0 0 20 0 3 0 4457004 283799552 49993 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=277148 memory=199712 CPUtime=0 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4457005 283799552 49993 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 277148 KiB
################
# More data... #
################
/proc/30810/statm: 122946 114220 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=456880 CPUtime=3392.45 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1094198 0 0 0 339129 116 0 0 20 0 3 0 4457004 503586816 114220 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=456880 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 161 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114220 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 456880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/266 33235
/proc/meminfo: memFree=123542672/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=456984 CPUtime=3452.61 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1108240 0 0 0 345138 123 0 0 20 0 3 0 4456997 503586816 114246 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114246 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=456880 CPUtime=3452.3 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1098756 0 0 0 345114 116 0 0 20 0 3 0 4457004 503586816 114246 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=11360 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 163 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114246 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 456984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/267 33416
/proc/meminfo: memFree=123519048/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3512.44 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1114226 0 0 0 351120 124 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=456984 CPUtime=3512.13 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1104731 0 0 0 351096 117 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=13044 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3512.44 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/268 33428
/proc/meminfo: memFree=123468808/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3572.27 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1118261 0 0 0 357102 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=11360 CPUtime=3571.96 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1108754 0 0 0 357078 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=457104 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3598.08 s]
# the end of solver process 30810 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.74 s, system=1.26604 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.13 4.05 5/268 33429
/proc/meminfo: memFree=123468164/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3573.97 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1118261 0 0 0 357272 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=-7163937848848114048 CPUtime=3573.66 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1108754 0 0 0 357248 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=4282526993448857241 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.14 4.05 5/268 33429
/proc/meminfo: memFree=123466828/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3580.34 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1119075 0 0 0 357909 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=11360 CPUtime=3580.03 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1109568 0 0 0 357885 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=12760 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.14 4.05 5/268 33429
/proc/meminfo: memFree=123465776/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3583.53 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1119090 0 0 0 358228 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=5432 CPUtime=3583.22 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1109583 0 0 0 358204 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=-7092161729786896256 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3583.53 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3595.2 s]
/proc/loadavg: 4.19 4.14 4.05 5/268 33431
/proc/meminfo: memFree=123465120/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3585.13 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1119090 0 0 0 358388 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=3636 CPUtime=3584.82 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1109583 0 0 0 358364 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=20728 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3585.13 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3596.8 s]
/proc/loadavg: 4.19 4.14 4.05 5/268 33431
/proc/meminfo: memFree=123464980/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3586.72 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1119099 0 0 0 358547 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=12760 CPUtime=3586.41 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1109592 0 0 0 358523 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=16008 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3597.6 s]
/proc/loadavg: 4.19 4.14 4.05 5/264 33445
/proc/meminfo: memFree=126105016/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3587.52 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1119222 0 0 0 358627 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=12760 CPUtime=3587.21 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1109716 0 0 0 358603 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=13044 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
[startup+3598 s]*
/proc/loadavg: 4.19 4.14 4.05 5/268 33479
/proc/meminfo: memFree=126081444/131524600 swapFree=131071996/131071996
[pid=30810] ppid=30807 vsize=491784 memory=457104 CPUtime=3587.92 cores=1,3
/proc/30810/stat : 30810 (fscip) S 30807 30810 30686 0 -1 1077936128 1119641 0 0 0 358667 125 0 0 20 0 3 0 4456997 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
/proc/30810/statm: 122946 114276 2998 3035 0 117489 0
[pid=30810/tid=30812] ppid=30807 vsize=491784 memory=-5155632383959591813 CPUtime=3587.61 cores=1,3
/proc/30810/task/30812/stat : 30812 (fscip) R 30807 30810 30686 0 -1 4194368 1110129 0 0 0 358643 118 0 0 20 0 3 0 4457004 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
[pid=30810/tid=30813] ppid=30807 vsize=491784 memory=2724 CPUtime=0.03 cores=1,3
/proc/30810/task/30813/stat : 30813 (fscip) S 30807 30810 30686 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 4457005 503586816 114276 134679101440 4194304 16623229 140735042345104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35401728 140735042352150 140735042352266 140735042352266 140735042359280 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 491784 KiB
Current children cumulated memory: 457104 KiB
Child status: 0
Real time (s): 3598.08
CPU time (s): 3588.01
CPU user time (s): 3586.74
CPU system time (s): 1.26604
CPU usage (%): 99.7202
Max. virtual memory (cumulated for all children) (KiB): 491784
Max. memory (cumulated for all children) (KiB): 457120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.74
system time used= 1.26604
maximum resident set size= 457120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1120741
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= 10168
involuntary context switches= 1731
# summary of solver processes directly reported to runsolver:
# pid: 30810
# total CPU time (s): 3588.01
# total CPU user time (s): 3586.74
# total CPU system time (s): 1.26604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27879 second user time and 14.7616 second system time
The end
Begin job on nodeC018 at 2024-07-31 00:29:56
IDJOB=4463992
IDBENCH=147530
IDSOLVER=3092
FILE ID=nodeC018/4463992-1722378596
RUNJOBID= nodeC018-1722378594-30698
SLURM_JOB_ID= 8249831
Free space on /tmp= 889964 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463992-1722378596/watcher-4463992-1722378596 -o /tmp/evaluation-result-4463992-1722378596/solver-4463992-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30698 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463992-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=1453536771
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.521
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.784
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.852
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.742
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.850
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.285
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.411
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3618.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127627672 kB
MemAvailable: 129123792 kB
Buffers: 92896 kB
Cached: 2223384 kB
SwapCached: 0 kB
Active: 274240 kB
Inactive: 3116004 kB
Active(anon): 1548 kB
Inactive(anon): 1093744 kB
Active(file): 272692 kB
Inactive(file): 2022260 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 123712 kB
Writeback: 0 kB
AnonPages: 1073452 kB
Mapped: 122024 kB
Shmem: 21336 kB
KReclaimable: 81628 kB
Slab: 166016 kB
SReclaimable: 81628 kB
SUnreclaim: 84388 kB
KernelStack: 4192 kB
PageTables: 11004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1309264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8480 kB
HardwareCorrupted: 0 kB
AnonHugePages: 303104 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: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889944 MiB
End job on nodeC018 at 2024-07-31 01:29:54