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 = 32542720, getVmSize() = 32542720, SCIPgetMemUsed() = 8874570, SCIPgetMemTotal() = 10624578, SCIPgetMemExternEstim() = 5427093
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 = 24880469, getVmSize() = 42098688, SCIPgetMemUsed() = 10169671, SCIPgetMemTotal() = 18820103, SCIPgetMemExternEstim() = 5427093
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-4463993-1722378596
0.00/0.06 c Variables : 1968 (1968 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 : 1429 (1429 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 2742
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 2742
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.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.08 c * 0 0 1 1 1692.0000 - -
0.09/0.13 c * 0 0 1 1 1170.0000 - -
0.09/0.14 c * 0 0 1 1 1084.0000 - -
0.09/0.16 c * 0 0 1 1 1075.0000 - -
12.05/12.14 c 12 2 1 1 1075.0000 1001.5914 7.33%
18.53/18.60 c 19 5 4 1 1075.0000 1002.0809 7.28%
24.62/24.71 c 25 10 9 1 1075.0000 1002.0809 7.28%
29.51/29.67 c * 30 12 11 1 1062.0000 1002.0809 5.98%
29.51/29.68 c * 30 42 41 1 1061.0000 1002.0809 5.88%
29.60/29.75 c * 30 42 41 1 1060.0000 1002.0809 5.78%
29.60/29.75 c 30 42 41 1 1060.0000 1002.0809 5.78%
29.60/29.79 c * 30 42 41 1 1059.0000 1002.0809 5.68%
35.19/35.31 c 35 110 51 1 1059.0000 1002.6180 5.62%
40.38/40.54 c 41 131 66 1 1059.0000 1002.6941 5.62%
46.56/46.72 c 47 174 87 1 1059.0000 1003.4727 5.53%
52.05/52.22 c 52 244 99 1 1059.0000 1003.7242 5.51%
56.13/56.34 c * 56 252 99 1 1053.0000 1003.8952 4.89%
56.13/56.35 c * 56 252 99 1 1049.0000 1003.8952 4.49%
60.13/60.32 c 60 267 96 1 1049.0000 1004.2479 4.46%
65.42/65.68 c 66 336 109 1 1049.0000 1004.4571 4.43%
65.72/65.96 c * 66 336 109 1 1046.0000 1004.4571 4.14%
65.72/65.97 c * 66 336 109 1 1045.0000 1004.4571 4.04%
70.81/71.08 c 71 406 108 1 1045.0000 1004.6217 4.02%
71.01/71.28 c * 71 406 108 1 1043.0000 1004.6217 3.82%
76.20/76.46 c 76 480 114 1 1043.0000 1004.8612 3.80%
82.79/83.07 c 83 575 131 1 1043.0000 1005.2724 3.75%
83.97/84.27 c * 84 601 137 1 1040.0000 1005.2724 3.45%
88.36/88.66 c 89 658 128 1 1040.0000 1005.2724 3.45%
93.95/94.26 c 94 693 141 1 1040.0000 1005.3237 3.45%
100.04/100.31 c 100 775 153 1 1040.0000 1005.3237 3.45%
105.92/106.26 c 106 951 157 1 1040.0000 1005.4775 3.43%
112.20/112.55 c 113 965 167 1 1040.0000 1005.5638 3.42%
117.89/118.23 c 118 982 170 1 1040.0000 1005.5698 3.42%
124.38/124.79 c 125 1035 179 1 1040.0000 1005.6117 3.42%
130.95/131.36 c 131 1097 189 1 1040.0000 1005.9416 3.39%
137.14/137.51 c 138 1127 193 1 1040.0000 1006.0193 3.38%
143.53/143.96 c 144 1215 205 1 1040.0000 1006.5016 3.33%
148.51/148.98 c 149 1355 207 1 1040.0000 1006.5016 3.33%
153.71/154.19 c 154 1396 212 1 1040.0000 1006.6650 3.31%
161.88/162.37 c 162 1534 222 1 1040.0000 1006.9496 3.28%
167.67/168.20 c 168 1600 236 1 1040.0000 1007.0834 3.27%
175.14/175.68 c 176 1646 244 1 1040.0000 1007.2523 3.25%
180.63/181.18 c 181 1737 253 1 1040.0000 1007.2643 3.25%
185.82/186.35 c 186 1833 259 1 1040.0000 1007.4773 3.23%
191.01/191.55 c 192 1962 258 1 1040.0000 1007.5000 3.23%
196.09/196.68 c 197 2034 264 1 1040.0000 1007.5000 3.23%
201.58/202.11 c 202 2082 270 1 1040.0000 1007.8196 3.19%
206.67/207.22 c 207 2153 273 1 1040.0000 1007.8196 3.19%
212.56/213.18 c 213 2216 286 1 1040.0000 1007.9396 3.18%
218.04/218.65 c 219 2364 292 1 1040.0000 1007.9522 3.18%
224.02/224.69 c 225 2482 298 1 1040.0000 1008.1343 3.16%
229.51/230.18 c 230 2524 306 1 1040.0000 1008.2799 3.15%
234.99/235.66 c 236 2585 311 1 1040.0000 1008.2972 3.14%
240.58/241.24 c 241 2653 313 1 1040.0000 1008.2972 3.14%
245.97/246.68 c 247 2708 322 1 1040.0000 1008.3564 3.14%
251.75/252.44 c 252 2727 333 1 1040.0000 1008.5513 3.12%
257.54/258.25 c 258 2811 341 1 1040.0000 1008.5613 3.12%
263.23/263.94 c 264 2897 345 1 1040.0000 1008.5889 3.11%
268.71/269.44 c 269 3042 348 1 1040.0000 1008.5958 3.11%
275.00/275.74 c 276 3112 356 1 1040.0000 1008.6317 3.11%
280.39/281.19 c 281 3215 363 1 1040.0000 1008.6317 3.11%
287.67/288.41 c 288 3382 358 1 1040.0000 1008.8493 3.09%
293.76/294.55 c 295 3427 371 1 1040.0000 1008.8887 3.08%
300.04/300.88 c 301 3526 376 1 1040.0000 1008.9352 3.08%
306.23/307.00 c 307 3615 383 1 1040.0000 1008.9625 3.08%
311.61/312.41 c 312 3772 384 1 1040.0000 1009.1446 3.06%
316.99/317.85 c 318 3832 392 1 1040.0000 1009.1616 3.06%
322.48/323.30 c 323 3895 399 1 1040.0000 1009.1616 3.06%
327.56/328.43 c 328 3952 404 1 1040.0000 1009.2500 3.05%
332.74/333.65 c 334 3978 408 1 1040.0000 1009.2500 3.05%
338.13/339.07 c 339 4144 412 1 1040.0000 1009.2500 3.05%
344.01/344.93 c 345 4233 413 1 1040.0000 1009.2817 3.04%
350.89/351.82 c 352 4295 421 1 1040.0000 1009.3523 3.04%
358.57/359.60 c 360 4456 426 1 1040.0000 1009.3691 3.03%
364.55/365.52 c 366 4519 439 1 1040.0000 1009.4064 3.03%
369.93/370.98 c 371 4592 446 1 1040.0000 1009.5446 3.02%
375.31/376.35 c 376 4648 454 1 1040.0000 1009.5837 3.01%
380.50/381.52 c 382 4717 461 1 1040.0000 1009.6091 3.01%
388.68/389.74 c 390 4737 465 1 1040.0000 1009.7040 3.00%
393.76/394.87 c 395 4789 473 1 1040.0000 1009.7349 3.00%
399.24/400.39 c 400 4846 478 1 1040.0000 1009.7558 3.00%
405.42/406.53 c 407 4954 482 1 1040.0000 1009.7979 2.99%
411.51/412.63 c 413 5023 489 1 1040.0000 1009.8012 2.99%
416.59/417.79 c 418 5170 492 1 1040.0000 1009.8012 2.99%
422.27/423.48 c 423 5292 490 1 1040.0000 1009.8774 2.98%
429.35/430.51 c 431 5336 500 1 1040.0000 1009.9894 2.97%
435.03/436.27 c 436 5393 507 1 1040.0000 1010.1293 2.96%
440.12/441.34 c 441 5431 519 1 1040.0000 1010.1657 2.95%
445.10/446.37 c 446 5516 520 1 1040.0000 1010.2159 2.95%
450.78/452.01 c 452 5632 518 1 1040.0000 1010.3321 2.94%
457.06/458.30 c 458 5656 528 1 1040.0000 1010.3948 2.93%
462.95/464.28 c 464 5722 532 1 1040.0000 1010.4015 2.93%
470.22/471.56 c 472 5775 1 1 1040.0000 1010.4015 2.93%
475.90/477.26 c 477 5810 36 1 1040.0000 1010.4015 2.93%
482.88/484.23 c 484 5967 41 1 1040.0000 1010.4015 2.93%
488.06/489.46 c 489 6085 55 1 1040.0000 1010.5224 2.92%
493.45/494.84 c 495 6185 57 1 1040.0000 1010.5882 2.91%
498.64/500.03 c 500 6315 65 1 1040.0000 1010.5882 2.91%
503.91/505.37 c 505 6404 72 1 1040.0000 1010.6987 2.90%
509.31/510.79 c 511 6495 79 1 1040.0000 1010.8794 2.88%
514.88/516.38 c 516 6626 82 1 1040.0000 1010.8794 2.88%
520.27/521.72 c 522 6697 81 1 1040.0000 1010.8794 2.88%
525.55/527.09 c 527 6833 81 1 1040.0000 1010.9266 2.88%
530.83/532.33 c 532 6958 82 1 1040.0000 1010.9266 2.88%
536.41/537.91 c 538 7079 87 1 1040.0000 1011.1581 2.85%
541.50/543.04 c 543 7206 86 1 1040.0000 1011.1581 2.85%
547.58/549.17 c 549 7295 97 1 1040.0000 1011.4619 2.82%
557.94/559.53 c 560 7379 107 1 1040.0000 1011.6235 2.81%
563.92/565.52 c 566 7545 115 1 1040.0000 1011.6974 2.80%
569.41/571.04 c 571 7689 117 1 1040.0000 1011.6974 2.80%
576.38/578.06 c 578 7745 121 1 1040.0000 1011.8474 2.78%
582.16/583.80 c 584 7816 132 1 1040.0000 1012.0791 2.76%
588.04/589.75 c 590 7964 150 1 1040.0000 1012.1417 2.75%
594.12/595.87 c 596 8001 151 1 1040.0000 1012.1417 2.75%
599.61/601.38 c 601 8105 153 1 1040.0000 1012.3630 2.73%
605.39/607.16 c 607 8218 160 1 1040.0000 1012.3630 2.73%
610.96/612.77 c 613 8367 165 1 1040.0000 1012.5432 2.71%
616.35/618.18 c 618 8428 166 1 1040.0000 1012.5432 2.71%
621.54/623.35 c 623 8457 167 1 1040.0000 1012.5491 2.71%
627.32/629.11 c 629 8535 173 1 1040.0000 1012.5802 2.71%
633.39/635.23 c 635 8585 179 1 1040.0000 1012.6965 2.70%
638.48/640.34 c 640 8664 190 1 1040.0000 1012.7216 2.69%
643.76/645.68 c 646 8728 192 1 1040.0000 1012.7275 2.69%
650.14/652.00 c 652 8785 193 1 1040.0000 1012.7503 2.69%
656.72/658.61 c 659 8866 196 1 1040.0000 1012.8897 2.68%
662.20/664.12 c 664 8898 218 1 1040.0000 1012.8897 2.68%
667.38/669.36 c 669 8947 225 1 1040.0000 1013.1137 2.65%
673.36/675.38 c 675 9006 238 1 1040.0000 1013.2657 2.64%
679.34/681.39 c 681 9120 248 1 1040.0000 1013.3132 2.63%
684.43/686.44 c 686 9214 252 1 1040.0000 1013.3445 2.63%
690.60/692.65 c 693 9279 259 1 1040.0000 1013.3504 2.63%
697.09/699.18 c 699 9326 266 1 1040.0000 1013.5308 2.61%
703.17/705.23 c 705 9438 276 1 1040.0000 1013.5554 2.61%
709.25/711.31 c 711 9527 281 1 1040.0000 1013.8199 2.58%
714.63/716.73 c 717 9605 289 1 1040.0000 1013.8346 2.58%
720.21/722.35 c 722 9664 300 1 1040.0000 1013.9738 2.57%
728.28/730.40 c 730 9755 303 1 1040.0000 1013.9976 2.56%
733.57/735.71 c 736 9893 307 1 1040.0000 1013.9976 2.56%
740.14/742.35 c 742 9939 321 1 1040.0000 1014.1236 2.55%
745.54/747.70 c 748 10005 329 1 1040.0000 1014.2416 2.54%
750.82/753.02 c 753 10116 332 1 1040.0000 1014.2416 2.54%
758.19/760.40 c 760 10145 339 1 1040.0000 1014.3445 2.53%
765.27/767.53 c 768 10297 345 1 1040.0000 1014.3987 2.52%
772.04/774.37 c 774 10399 351 1 1040.0000 1014.4338 2.52%
778.03/780.33 c 780 10523 357 1 1040.0000 1014.4469 2.52%
784.51/786.83 c 787 10558 366 1 1040.0000 1014.5797 2.51%
790.89/793.27 c 793 10606 374 1 1040.0000 1014.6243 2.50%
797.16/799.58 c 800 10668 386 1 1040.0000 1014.6707 2.50%
804.35/806.76 c 807 10759 401 1 1040.0000 1014.7005 2.49%
809.43/811.83 c 812 10865 403 1 1040.0000 1014.7137 2.49%
815.01/817.48 c 817 11026 408 1 1040.0000 1014.7137 2.49%
821.59/824.04 c 824 11143 409 1 1040.0000 1014.7137 2.49%
827.58/830.09 c 830 11166 412 1 1040.0000 1014.7460 2.49%
833.45/835.91 c 836 11300 422 1 1040.0000 1014.7607 2.49%
838.93/841.46 c 841 11351 435 1 1040.0000 1014.7776 2.49%
844.62/847.17 c 847 11447 443 1 1040.0000 1014.7776 2.49%
851.60/854.12 c 854 11555 445 1 1040.0000 1014.8013 2.48%
859.57/862.12 c 862 11699 457 1 1040.0000 1014.8465 2.48%
865.05/867.68 c 868 11814 462 1 1040.0000 1014.8656 2.48%
871.13/873.71 c 874 11934 472 1 1040.0000 1014.8935 2.47%
876.91/879.50 c 880 12026 476 1 1040.0000 1014.8973 2.47%
884.09/886.72 c 887 12175 481 1 1040.0000 1014.9823 2.46%
889.17/891.89 c 892 12301 487 1 1040.0000 1014.9823 2.46%
895.15/897.87 c 898 12431 501 1 1040.0000 1015.0382 2.46%
900.94/903.62 c 904 12586 508 1 1040.0000 1015.2297 2.44%
903.02/905.70 c * 906 12630 514 1 1039.0000 1015.2460 2.34%
906.51/909.29 c 909 12718 516 1 1039.0000 1015.2789 2.34%
911.80/914.55 c 915 12807 527 1 1039.0000 1015.2953 2.33%
917.08/919.89 c 920 13009 531 1 1039.0000 1015.2992 2.33%
922.97/925.72 c 926 13114 538 1 1039.0000 1015.2999 2.33%
927.95/930.77 c 931 13250 542 1 1039.0000 1015.3158 2.33%
934.24/937.01 c 937 13255 543 1 1039.0000 1015.3158 2.33%
939.61/942.49 c 942 13266 544 1 1039.0000 1015.3158 2.33%
944.89/947.71 c 948 13339 547 1 1039.0000 1015.3382 2.33%
951.07/953.92 c 954 13392 554 1 1039.0000 1015.3463 2.33%
957.45/960.36 c 960 13455 557 1 1039.0000 1015.3661 2.33%
963.24/966.11 c 966 13494 562 1 1039.0000 1015.3661 2.33%
969.12/972.03 c 972 13589 563 1 1039.0000 1015.3661 2.33%
974.61/977.59 c 978 13652 578 1 1039.0000 1015.4060 2.32%
980.40/983.33 c 983 13695 579 1 1039.0000 1015.4771 2.32%
985.48/988.50 c 988 13771 589 1 1039.0000 1015.4771 2.32%
991.37/994.36 c 994 13805 593 1 1039.0000 1015.5201 2.31%
997.25/1000.21 c 1000 13936 596 1 1039.0000 1015.5201 2.31%
1002.44/1005.45 c 1005 14023 605 1 1039.0000 1015.5484 2.31%
1007.63/1010.69 c 1011 14057 613 1 1039.0000 1015.6152 2.30%
1013.22/1016.28 c 1016 14141 621 1 1039.0000 1015.6240 2.30%
1019.21/1022.20 c 1022 14311 623 1 1039.0000 1015.6240 2.30%
1024.89/1027.97 c 1028 14455 627 1 1039.0000 1015.6456 2.30%
1030.28/1033.36 c 1033 14575 637 1 1039.0000 1015.6660 2.30%
1035.37/1038.45 c 1038 14628 650 1 1039.0000 1015.6799 2.30%
1040.45/1043.51 c 1044 14769 655 1 1039.0000 1015.6894 2.30%
1050.12/1053.21 c 1053 14829 657 1 1039.0000 1015.6954 2.29%
1055.12/1058.26 c 1058 14925 667 1 1039.0000 1015.7465 2.29%
1061.70/1064.87 c 1065 14987 675 1 1039.0000 1015.7715 2.29%
1067.68/1070.89 c 1071 15016 684 1 1039.0000 1015.8107 2.28%
1072.88/1076.10 c 1076 15171 687 1 1039.0000 1015.8107 2.28%
1078.75/1081.97 c 1082 15306 688 1 1039.0000 1015.8133 2.28%
1084.74/1087.95 c 1088 15446 692 1 1039.0000 1015.8173 2.28%
1090.73/1093.91 c 1094 15578 708 1 1039.0000 1015.8535 2.28%
1097.31/1100.50 c 1100 15716 714 1 1039.0000 1015.8901 2.27%
1102.90/1106.11 c 1106 15866 724 1 1039.0000 1015.9022 2.27%
1108.67/1111.92 c 1112 15969 729 1 1039.0000 1015.9607 2.27%
1113.77/1117.00 c 1117 16055 737 1 1039.0000 1016.0421 2.26%
1121.74/1125.04 c 1125 16119 745 1 1039.0000 1016.0470 2.26%
1127.82/1131.13 c 1131 16238 760 1 1039.0000 1016.0863 2.26%
1133.51/1136.82 c 1137 16367 777 1 1039.0000 1016.1322 2.25%
1138.89/1142.24 c 1142 16547 783 1 1039.0000 1016.1408 2.25%
1144.69/1148.09 c 1148 16662 790 1 1039.0000 1016.1453 2.25%
1150.78/1154.15 c 1154 16669 793 1 1039.0000 1016.1640 2.25%
1156.36/1159.75 c 1160 16775 811 1 1039.0000 1016.2488 2.24%
1161.75/1165.18 c 1165 16843 813 1 1039.0000 1016.2488 2.24%
1167.74/1171.14 c 1171 16933 821 1 1039.0000 1016.2719 2.24%
1172.92/1176.38 c 1176 17053 825 1 1039.0000 1016.2719 2.24%
1178.11/1181.54 c 1182 17121 833 1 1039.0000 1016.3031 2.23%
1183.39/1186.82 c 1187 17197 837 1 1039.0000 1016.3091 2.23%
1191.68/1195.16 c 1195 17219 845 1 1039.0000 1016.3155 2.23%
1196.96/1200.47 c 1200 17327 845 1 1039.0000 1016.3155 2.23%
1204.44/1207.90 c 1208 17458 848 1 1039.0000 1016.3155 2.23%
1211.02/1214.59 c 1215 17587 859 1 1039.0000 1016.3483 2.23%
1216.80/1220.39 c 1220 17682 868 1 1039.0000 1016.3594 2.23%
1221.90/1225.46 c 1225 17770 864 1 1039.0000 1016.3594 2.23%
1228.98/1232.58 c 1233 17866 862 1 1039.0000 1016.3615 2.23%
1234.06/1237.67 c 1238 18003 871 1 1039.0000 1016.3615 2.23%
1239.64/1243.20 c 1243 18084 888 1 1039.0000 1016.3935 2.22%
1244.84/1248.46 c 1248 18138 894 1 1039.0000 1016.4044 2.22%
1250.53/1254.12 c 1254 18199 899 1 1039.0000 1016.4094 2.22%
1255.81/1259.50 c 1260 18265 899 1 1039.0000 1016.4189 2.22%
1261.79/1265.47 c 1265 18351 913 1 1039.0000 1016.4310 2.22%
1268.48/1272.19 c 1272 18475 917 1 1039.0000 1016.4408 2.22%
1274.26/1277.94 c 1278 18499 931 1 1039.0000 1016.4440 2.22%
1279.55/1283.28 c 1283 18544 944 1 1039.0000 1016.4534 2.22%
1284.83/1288.51 c 1289 18621 945 1 1039.0000 1016.4534 2.22%
1290.61/1294.33 c 1294 18699 951 1 1039.0000 1016.4554 2.22%
1296.40/1300.15 c 1300 18778 956 1 1039.0000 1016.4600 2.22%
1302.39/1306.14 c 1306 18822 958 1 1039.0000 1016.4643 2.22%
1307.57/1311.34 c 1311 18895 959 1 1039.0000 1016.4643 2.22%
1313.36/1317.17 c 1317 18940 964 1 1039.0000 1016.4711 2.22%
1318.75/1322.57 c 1323 18985 965 1 1039.0000 1016.4711 2.22%
1324.14/1327.93 c 1328 19025 971 1 1039.0000 1016.4727 2.22%
1330.02/1333.86 c 1334 19084 980 1 1039.0000 1016.4731 2.22%
1337.80/1341.64 c 1342 19155 991 1 1039.0000 1016.5345 2.21%
1343.08/1346.95 c 1347 19235 995 1 1039.0000 1016.5391 2.21%
1349.07/1352.92 c 1353 19296 1000 1 1039.0000 1016.5391 2.21%
1355.45/1359.34 c 1359 19346 1010 1 1039.0000 1016.5686 2.21%
1360.44/1364.38 c 1364 19408 1010 1 1039.0000 1016.5686 2.21%
1368.32/1372.29 c 1372 19459 1011 1 1039.0000 1016.5767 2.21%
1373.41/1377.31 c 1377 19502 1022 1 1039.0000 1016.5889 2.20%
1379.49/1383.42 c 1383 19569 1037 1 1039.0000 1016.6497 2.20%
1385.18/1389.15 c 1389 19657 1043 1 1039.0000 1016.6571 2.20%
1392.06/1396.01 c 1396 19777 1049 1 1039.0000 1016.6623 2.20%
1398.74/1402.75 c 1403 19861 1059 1 1039.0000 1016.6946 2.19%
1403.83/1407.88 c 1408 19917 1057 1 1039.0000 1016.7036 2.19%
1409.61/1413.65 c 1414 19975 1067 1 1039.0000 1016.7285 2.19%
1415.10/1419.15 c 1419 20045 1069 1 1039.0000 1016.7314 2.19%
1422.89/1426.91 c 1427 20105 1085 1 1039.0000 1016.7349 2.19%
1428.88/1432.90 c 1433 20270 1094 1 1039.0000 1016.7717 2.19%
1434.56/1438.68 c 1439 20501 1101 1 1039.0000 1016.7941 2.18%
1440.05/1444.18 c 1444 20669 1109 1 1039.0000 1016.8619 2.18%
1445.04/1449.19 c 1449 20779 1115 1 1039.0000 1016.8754 2.18%
1453.21/1457.38 c 1457 20829 1119 1 1039.0000 1016.8761 2.18%
1458.80/1462.91 c 1463 21044 1122 1 1039.0000 1016.8761 2.18%
1464.59/1468.78 c 1469 21302 1126 1 1039.0000 1016.8832 2.17%
1469.67/1473.86 c 1474 21445 1129 1 1039.0000 1016.8834 2.17%
1474.97/1479.17 c 1479 21525 1141 1 1039.0000 1016.8970 2.17%
1480.74/1484.91 c 1485 21671 1151 1 1039.0000 1016.9019 2.17%
1486.43/1490.67 c 1491 21849 1159 1 1039.0000 1016.9092 2.17%
1492.62/1496.86 c 1497 21889 1163 1 1039.0000 1016.9285 2.17%
1500.40/1504.63 c 1505 22025 1167 1 1039.0000 1016.9367 2.17%
1505.49/1509.76 c 1510 22149 1183 1 1039.0000 1016.9384 2.17%
1510.78/1515.08 c 1515 22285 1183 1 1039.0000 1016.9624 2.17%
1515.86/1520.13 c 1520 22415 1195 1 1039.0000 1016.9895 2.16%
1520.95/1525.22 c 1525 22580 1206 1 1039.0000 1016.9947 2.16%
1526.24/1530.53 c 1531 22619 1211 1 1039.0000 1016.9958 2.16%
1532.02/1536.34 c 1536 22766 1216 1 1039.0000 1016.9974 2.16%
1539.00/1543.39 c 1543 22837 1223 1 1039.0000 1017.0443 2.16%
1544.29/1548.66 c 1549 23005 1235 1 1039.0000 1017.0624 2.16%
1552.08/1556.45 c 1556 23095 1251 1 1039.0000 1017.1064 2.15%
1558.06/1562.41 c 1562 23215 1261 1 1039.0000 1017.1122 2.15%
1563.05/1567.44 c 1567 23305 1265 1 1039.0000 1017.1352 2.15%
1569.73/1574.12 c 1574 23466 1272 1 1039.0000 1017.1655 2.15%
1575.12/1579.51 c 1580 23553 1281 1 1039.0000 1017.1739 2.15%
1580.21/1584.66 c 1585 23745 1279 1 1039.0000 1017.1739 2.15%
1587.29/1591.73 c 1592 23849 1293 1 1039.0000 1017.1776 2.15%
1592.28/1596.78 c 1597 23895 1301 1 1039.0000 1017.1834 2.14%
1597.37/1601.86 c 1602 24002 1302 1 1039.0000 1017.1834 2.14%
1603.45/1607.93 c 1608 24064 1306 1 1039.0000 1017.1893 2.14%
1608.74/1613.24 c 1613 24098 1314 1 1039.0000 1017.1963 2.14%
1614.54/1619.05 c 1619 24153 1323 1 1039.0000 1017.2023 2.14%
1620.52/1625.04 c 1625 24222 1328 1 1039.0000 1017.2054 2.14%
1625.90/1630.46 c 1630 24359 1327 1 1039.0000 1017.2054 2.14%
1631.29/1635.88 c 1636 24453 1331 1 1039.0000 1017.2233 2.14%
1637.37/1641.90 c 1642 24545 1337 1 1039.0000 1017.2599 2.14%
1642.37/1646.99 c 1647 24565 1343 1 1039.0000 1017.2710 2.14%
1648.05/1652.60 c 1653 24626 1354 1 1039.0000 1017.3035 2.13%
1653.74/1658.31 c 1658 24703 1357 1 1039.0000 1017.3035 2.13%
1659.02/1663.60 c 1664 24832 1358 1 1039.0000 1017.3035 2.13%
1664.21/1668.84 c 1669 24959 1369 1 1039.0000 1017.3186 2.13%
1669.20/1673.86 c 1674 25017 1375 1 1039.0000 1017.3311 2.13%
1675.19/1679.89 c 1680 25079 1381 1 1039.0000 1017.3740 2.13%
1681.07/1685.76 c 1686 25125 1385 1 1039.0000 1017.3813 2.12%
1687.55/1692.28 c 1692 25226 1384 1 1039.0000 1017.4014 2.12%
1693.54/1698.27 c 1698 25365 1391 1 1039.0000 1017.4083 2.12%
1699.03/1703.74 c 1704 25458 1390 1 1039.0000 1017.4083 2.12%
1704.12/1708.83 c 1709 25561 1393 1 1039.0000 1017.4083 2.12%
1712.10/1716.85 c 1717 25599 1411 1 1039.0000 1017.4344 2.12%
1717.09/1721.88 c 1722 25664 1422 1 1039.0000 1017.4533 2.12%
1722.67/1727.42 c 1727 25743 1425 1 1039.0000 1017.4654 2.12%
1728.06/1732.84 c 1733 25860 1430 1 1039.0000 1017.4654 2.12%
1733.85/1738.61 c 1739 25970 1438 1 1039.0000 1017.4689 2.12%
1739.03/1743.87 c 1744 26044 1448 1 1039.0000 1017.4848 2.11%
1745.02/1749.81 c 1750 26077 1453 1 1039.0000 1017.4979 2.11%
1751.00/1755.86 c 1756 26105 1463 1 1039.0000 1017.5165 2.11%
1756.10/1760.97 c 1761 26228 1476 1 1039.0000 1017.5199 2.11%
1761.29/1766.10 c 1766 26334 1476 1 1039.0000 1017.5204 2.11%
1767.37/1772.26 c 1772 26468 1476 1 1039.0000 1017.5233 2.11%
1772.96/1777.89 c 1778 26551 1479 1 1039.0000 1017.5240 2.11%
1779.04/1783.99 c 1784 26639 1497 1 1039.0000 1017.5362 2.11%
1784.13/1789.09 c 1789 26762 1502 1 1039.0000 1017.5459 2.11%
1789.81/1794.73 c 1795 26844 1508 1 1039.0000 1017.5488 2.11%
1795.20/1800.17 c 1800 26925 1513 1 1039.0000 1017.5579 2.11%
1801.38/1806.33 c 1806 26959 1523 1 1039.0000 1017.5644 2.11%
1806.67/1811.65 c 1812 27086 1534 1 1039.0000 1017.5755 2.11%
1812.25/1817.26 c 1817 27216 1546 1 1039.0000 1017.5870 2.10%
1818.34/1823.31 c 1823 27367 1553 1 1039.0000 1017.5907 2.10%
1823.43/1828.48 c 1828 27455 1557 1 1039.0000 1017.5975 2.10%
1828.72/1833.77 c 1834 27571 1561 1 1039.0000 1017.5975 2.10%
1834.70/1839.73 c 1840 27734 1562 1 1039.0000 1017.5982 2.10%
1840.39/1845.41 c 1845 27875 1575 1 1039.0000 1017.6355 2.10%
1846.17/1851.25 c 1851 27975 1579 1 1039.0000 1017.6355 2.10%
1851.87/1856.93 c 1857 28039 1593 1 1039.0000 1017.6507 2.10%
1857.25/1862.33 c 1862 28102 1596 1 1039.0000 1017.6552 2.10%
1862.94/1868.00 c 1868 28252 1602 1 1039.0000 1017.6622 2.10%
1871.11/1876.20 c 1876 28339 1607 1 1039.0000 1017.6983 2.09%
1876.40/1881.58 c 1882 28461 1613 1 1039.0000 1017.7151 2.09%
1881.69/1886.82 c 1887 28546 1620 1 1039.0000 1017.7165 2.09%
1887.28/1892.44 c 1892 28576 1626 1 1039.0000 1017.7238 2.09%
1893.26/1898.41 c 1898 28719 1621 1 1039.0000 1017.7238 2.09%
1898.25/1903.47 c 1903 28776 1624 1 1039.0000 1017.7321 2.09%
1903.84/1909.08 c 1909 28918 1632 1 1039.0000 1017.7352 2.09%
1909.03/1914.29 c 1914 29085 1629 1 1039.0000 1017.7352 2.09%
1914.82/1920.01 c 1920 29246 1634 1 1039.0000 1017.7361 2.09%
1920.00/1925.29 c 1925 29405 1633 1 1039.0000 1017.7445 2.09%
1925.39/1930.60 c 1931 29502 1642 1 1039.0000 1017.7499 2.09%
1930.97/1936.22 c 1936 29662 1648 1 1039.0000 1017.7764 2.09%
1936.67/1941.92 c 1942 29807 1649 1 1039.0000 1017.7779 2.09%
1942.25/1947.52 c 1948 29902 1656 1 1039.0000 1017.7859 2.08%
1947.54/1952.83 c 1953 29978 1666 1 1039.0000 1017.7882 2.08%
1952.83/1958.15 c 1958 30125 1671 1 1039.0000 1017.8010 2.08%
1958.41/1963.76 c 1964 30249 1681 1 1039.0000 1017.8300 2.08%
1966.70/1972.03 c 1972 30359 1683 1 1039.0000 1017.8300 2.08%
1971.68/1977.08 c 1977 30447 1689 1 1039.0000 1017.8407 2.08%
1976.77/1982.18 c 1982 30619 1687 1 1039.0000 1017.8407 2.08%
1982.35/1987.72 c 1988 30733 1691 1 1039.0000 1017.8452 2.08%
1987.94/1993.36 c 1993 30866 1704 1 1039.0000 1017.8514 2.08%
1993.02/1998.44 c 1998 30957 1711 1 1039.0000 1017.8570 2.08%
1998.82/2004.26 c 2004 31097 1719 1 1039.0000 1017.8686 2.08%
2004.10/2009.55 c 2010 31223 1731 1 1039.0000 1017.8950 2.07%
2009.99/2015.42 c 2015 31344 1738 1 1039.0000 1017.9011 2.07%
2015.97/2021.42 c 2021 31445 1747 1 1039.0000 1017.9183 2.07%
2021.26/2026.70 c 2027 31585 1757 1 1039.0000 1017.9329 2.07%
2026.55/2032.00 c 2032 31696 1772 1 1039.0000 1017.9411 2.07%
2031.73/2037.20 c 2037 31775 1777 1 1039.0000 1017.9556 2.07%
2036.72/2042.28 c 2042 31802 1784 1 1039.0000 1017.9556 2.07%
2042.41/2047.92 c 2048 31884 1788 1 1039.0000 1017.9601 2.07%
2047.50/2053.10 c 2053 31964 1796 1 1039.0000 1017.9618 2.07%
2053.18/2058.70 c 2059 32023 1801 1 1039.0000 1017.9653 2.07%
2059.07/2064.64 c 2065 32139 1805 1 1039.0000 1017.9759 2.07%
2065.06/2070.65 c 2071 32278 1816 1 1039.0000 1017.9801 2.06%
2070.14/2075.74 c 2076 32412 1826 1 1039.0000 1017.9801 2.06%
2075.23/2080.80 c 2081 32550 1836 1 1039.0000 1017.9857 2.06%
2081.22/2086.83 c 2087 32613 1853 1 1039.0000 1018.0038 2.06%
2087.20/2092.85 c 2093 32805 1863 1 1039.0000 1018.0068 2.06%
2095.77/2101.47 c 2101 32949 1873 1 1039.0000 1018.0082 2.06%
2101.76/2107.41 c 2107 33149 1877 1 1039.0000 1018.0090 2.06%
2107.06/2112.79 c 2113 33196 1878 1 1039.0000 1018.0090 2.06%
2112.94/2118.61 c 2119 33306 1890 1 1039.0000 1018.0384 2.06%
2118.03/2123.76 c 2124 33425 1897 1 1039.0000 1018.0719 2.06%
2123.91/2129.65 c 2130 33555 1907 1 1039.0000 1018.0966 2.05%
2129.30/2135.03 c 2135 33634 1918 1 1039.0000 1018.1203 2.05%
2135.08/2140.82 c 2141 33728 1930 1 1039.0000 1018.1208 2.05%
2140.57/2146.35 c 2146 33845 1941 1 1039.0000 1018.1334 2.05%
2146.26/2152.08 c 2152 33915 1953 1 1039.0000 1018.1423 2.05%
2152.25/2158.01 c 2158 33965 1959 1 1039.0000 1018.1431 2.05%
2159.34/2165.16 c 2165 33985 1965 1 1039.0000 1018.1729 2.05%
2165.22/2171.03 c 2171 34023 1979 1 1039.0000 1018.1843 2.04%
2172.20/2178.04 c 2178 34096 1992 1 1039.0000 1018.1944 2.04%
2177.68/2183.50 c 2184 34233 1997 1 1039.0000 1018.1949 2.04%
2183.37/2189.20 c 2189 34330 2010 1 1039.0000 1018.2385 2.04%
2188.36/2194.28 c 2194 34453 2015 1 1039.0000 1018.2507 2.04%
2193.75/2199.69 c 2200 34486 2018 1 1039.0000 1018.2596 2.04%
2199.14/2205.01 c 2205 34579 2027 1 1039.0000 1018.2822 2.03%
2205.02/2210.91 c 2211 34690 2038 1 1039.0000 1018.2930 2.03%
2210.41/2216.33 c 2216 34763 2047 1 1039.0000 1018.2990 2.03%
2215.79/2221.75 c 2222 34809 2053 1 1039.0000 1018.3176 2.03%
2221.08/2227.02 c 2227 34959 2055 1 1039.0000 1018.3176 2.03%
2226.37/2232.32 c 2232 35146 2056 1 1039.0000 1018.3176 2.03%
2231.55/2237.50 c 2238 35290 2052 1 1039.0000 1018.3176 2.03%
2237.15/2243.13 c 2243 35401 2059 1 1039.0000 1018.3346 2.03%
2243.32/2249.39 c 2249 35435 2063 1 1039.0000 1018.3368 2.03%
2248.41/2254.50 c 2254 35530 2070 1 1039.0000 1018.3368 2.03%
2254.00/2260.10 c 2260 35690 2072 1 1039.0000 1018.3368 2.03%
2259.28/2265.37 c 2265 35763 2075 1 1039.0000 1018.3431 2.03%
2264.37/2270.45 c 2270 35841 2075 1 1039.0000 1018.3431 2.03%
2270.16/2276.26 c 2276 35904 2084 1 1039.0000 1018.3700 2.03%
2275.95/2282.08 c 2282 35978 2088 1 1039.0000 1018.3700 2.03%
2286.93/2293.02 c * 2293 36005 2091 1 1038.0000 1018.3700 1.93%
2286.93/2293.02 c 2293 36005 2091 1 1038.0000 1018.3700 1.93%
2292.60/2298.70 c 2299 36158 2088 1 1038.0000 1018.3780 1.93%
2297.80/2303.95 c 2304 36289 2107 1 1038.0000 1018.3956 1.93%
2303.18/2309.32 c 2309 36445 2111 1 1038.0000 1018.4085 1.92%
2308.87/2315.06 c 2315 36584 2116 1 1038.0000 1018.4085 1.92%
2314.95/2321.12 c 2321 36619 2133 1 1038.0000 1018.4330 1.92%
2320.64/2326.80 c 2327 36725 2141 1 1038.0000 1018.4350 1.92%
2326.83/2333.02 c 2333 36790 2150 1 1038.0000 1018.4385 1.92%
2332.12/2338.34 c 2338 36930 2166 1 1038.0000 1018.4456 1.92%
2337.11/2343.36 c 2343 36996 2170 1 1038.0000 1018.4456 1.92%
2342.59/2348.89 c 2349 37114 2178 1 1038.0000 1018.4662 1.92%
2347.78/2354.09 c 2354 37162 2196 1 1038.0000 1018.4829 1.92%
2353.06/2359.33 c 2359 37315 2201 1 1038.0000 1018.4838 1.92%
2360.05/2366.38 c 2366 37447 2203 1 1038.0000 1018.4857 1.92%
2365.93/2372.28 c 2372 37562 2206 1 1038.0000 1018.4857 1.92%
2371.13/2377.46 c 2377 37637 2215 1 1038.0000 1018.4963 1.91%
2377.31/2383.62 c 2384 37778 2220 1 1038.0000 1018.4963 1.91%
2382.69/2389.05 c 2389 37873 2225 1 1038.0000 1018.4974 1.91%
2387.88/2394.21 c 2394 37942 2232 1 1038.0000 1018.5015 1.91%
2393.87/2400.27 c 2400 38008 2236 1 1038.0000 1018.5071 1.91%
2400.75/2407.16 c 2407 38100 2240 1 1038.0000 1018.5108 1.91%
2407.33/2413.76 c 2414 38196 2248 1 1038.0000 1018.5296 1.91%
2413.22/2419.65 c 2420 38352 2260 1 1038.0000 1018.5348 1.91%
2418.71/2425.16 c 2425 38411 2281 1 1038.0000 1018.5585 1.91%
2424.29/2430.74 c 2431 38585 2285 1 1038.0000 1018.5682 1.91%
2429.58/2436.10 c 2436 38736 2282 1 1038.0000 1018.5682 1.91%
2435.46/2441.98 c 2442 38885 2277 1 1038.0000 1018.5718 1.91%
2440.66/2447.18 c 2447 39035 2283 1 1038.0000 1018.5718 1.91%
2447.13/2453.68 c 2454 39107 2295 1 1038.0000 1018.5873 1.91%
2452.83/2459.36 c 2459 39255 2303 1 1038.0000 1018.6076 1.90%
2458.41/2464.99 c 2465 39325 2311 1 1038.0000 1018.6084 1.90%
2463.80/2470.34 c 2470 39368 2326 1 1038.0000 1018.6257 1.90%
2469.09/2475.69 c 2476 39489 2339 1 1038.0000 1018.6307 1.90%
2474.48/2481.01 c 2481 39545 2343 1 1038.0000 1018.6478 1.90%
2479.57/2486.11 c 2486 39715 2347 1 1038.0000 1018.6478 1.90%
2485.45/2492.01 c 2492 39804 2362 1 1038.0000 1018.6650 1.90%
2490.54/2497.17 c 2497 39975 2371 1 1038.0000 1018.6689 1.90%
2495.62/2502.29 c 2502 40160 2376 1 1038.0000 1018.6689 1.90%
2500.81/2507.44 c 2507 40205 2393 1 1038.0000 1018.6989 1.89%
2506.60/2513.20 c 2513 40384 2412 1 1038.0000 1018.7110 1.89%
2511.98/2518.68 c 2519 40490 2424 1 1038.0000 1018.7223 1.89%
2517.97/2524.67 c 2525 40599 2431 1 1038.0000 1018.7251 1.89%
2524.36/2531.09 c 2531 40785 2423 1 1038.0000 1018.7255 1.89%
2529.95/2536.63 c 2537 40835 2439 1 1038.0000 1018.7271 1.89%
2535.23/2541.99 c 2542 40965 2461 1 1038.0000 1018.7390 1.89%
2540.43/2547.14 c 2547 41080 2482 1 1038.0000 1018.7458 1.89%
2546.11/2552.85 c 2553 41230 2494 1 1038.0000 1018.7501 1.89%
2552.00/2558.71 c 2559 41371 2501 1 1038.0000 1018.7546 1.89%
2557.29/2564.06 c 2564 41504 2514 1 1038.0000 1018.7690 1.89%
2562.97/2569.72 c 2570 41654 2516 1 1038.0000 1018.7735 1.89%
2568.46/2575.27 c 2575 41720 2532 1 1038.0000 1018.7813 1.89%
2574.04/2580.83 c 2581 41779 2551 1 1038.0000 1018.7952 1.89%
2579.23/2586.02 c 2586 41861 2557 1 1038.0000 1018.7999 1.88%
2584.32/2591.16 c 2591 41981 2567 1 1038.0000 1018.8038 1.88%
2589.90/2596.72 c 2597 42077 2581 1 1038.0000 1018.8094 1.88%
2595.69/2602.50 c 2602 42155 2585 1 1038.0000 1018.8207 1.88%
2600.67/2607.56 c 2608 42310 2594 1 1038.0000 1018.8207 1.88%
2606.56/2613.45 c 2613 42393 2605 1 1038.0000 1018.8359 1.88%
2612.25/2619.11 c 2619 42485 2617 1 1038.0000 1018.8566 1.88%
2617.94/2624.81 c 2625 42544 2624 1 1038.0000 1018.8566 1.88%
2625.12/2632.05 c 2632 42655 2627 1 1038.0000 1018.8604 1.88%
2630.30/2637.21 c 2637 42715 2641 1 1038.0000 1018.8704 1.88%
2635.89/2642.88 c 2643 42790 2648 1 1038.0000 1018.8747 1.88%
2641.08/2648.05 c 2648 42873 2673 1 1038.0000 1018.8955 1.88%
2646.57/2653.58 c 2654 42964 2692 1 1038.0000 1018.9127 1.87%
2652.45/2659.49 c 2660 43036 2690 1 1038.0000 1018.9127 1.87%
2657.94/2664.96 c 2665 43148 2694 1 1038.0000 1018.9127 1.87%
2663.72/2670.72 c 2671 43227 2707 1 1038.0000 1018.9171 1.87%
2669.61/2676.66 c 2677 43297 2709 1 1038.0000 1018.9197 1.87%
2675.40/2682.44 c 2682 43403 2719 1 1038.0000 1018.9199 1.87%
2681.09/2688.10 c 2688 43475 2717 1 1038.0000 1018.9199 1.87%
2686.97/2694.04 c 2694 43533 2725 1 1038.0000 1018.9324 1.87%
2692.35/2699.41 c 2699 43637 2729 1 1038.0000 1018.9326 1.87%
2697.44/2704.50 c 2704 43718 2728 1 1038.0000 1018.9326 1.87%
2702.94/2710.03 c 2710 43847 2729 1 1038.0000 1018.9326 1.87%
2707.92/2715.10 c 2715 43935 2727 1 1038.0000 1018.9327 1.87%
2713.70/2720.84 c 2721 44063 2739 1 1038.0000 1018.9358 1.87%
2719.20/2726.39 c 2726 44159 2747 1 1038.0000 1018.9400 1.87%
2724.78/2731.93 c 2732 44271 2747 1 1038.0000 1018.9400 1.87%
2731.17/2738.36 c 2738 44310 2752 1 1038.0000 1018.9416 1.87%
2737.05/2744.21 c 2744 44431 2763 1 1038.0000 1018.9465 1.87%
2742.74/2749.91 c 2750 44519 2767 1 1038.0000 1018.9469 1.87%
2747.72/2754.97 c 2755 44595 2771 1 1038.0000 1018.9541 1.87%
2753.11/2760.35 c 2760 44627 2785 1 1038.0000 1018.9604 1.87%
2759.60/2766.81 c 2767 44719 2791 1 1038.0000 1018.9657 1.87%
2766.58/2773.80 c 2774 44817 2791 1 1038.0000 1018.9658 1.87%
2772.37/2779.67 c 2780 44941 2801 1 1038.0000 1018.9668 1.87%
2777.55/2784.87 c 2785 45013 2805 1 1038.0000 1018.9771 1.87%
2782.74/2790.09 c 2790 45165 2809 1 1038.0000 1018.9822 1.87%
2788.42/2795.71 c 2796 45276 2828 1 1038.0000 1018.9899 1.87%
2794.41/2801.77 c 2802 45435 2833 1 1038.0000 1018.9916 1.87%
2799.81/2807.14 c 2807 45584 2844 1 1038.0000 1019.0121 1.86%
2805.59/2812.91 c 2813 45730 2852 1 1038.0000 1019.0170 1.86%
2811.78/2819.11 c 2819 45812 2856 1 1038.0000 1019.0261 1.86%
2817.46/2824.82 c 2825 45863 2867 1 1038.0000 1019.0374 1.86%
2822.94/2830.32 c 2830 45955 2875 1 1038.0000 1019.0411 1.86%
2828.54/2835.96 c 2836 46077 2885 1 1038.0000 1019.0643 1.86%
2833.92/2841.34 c 2841 46206 2896 1 1038.0000 1019.0811 1.86%
2839.90/2847.32 c 2847 46368 2902 1 1038.0000 1019.0834 1.86%
2846.09/2853.57 c 2854 46489 2907 1 1038.0000 1019.0851 1.86%
2851.68/2859.14 c 2859 46630 2922 1 1038.0000 1019.0966 1.85%
2857.07/2864.51 c 2865 46705 2933 1 1038.0000 1019.1054 1.85%
2862.25/2869.74 c 2870 46866 2944 1 1038.0000 1019.1079 1.85%
2868.34/2875.88 c 2876 46927 2953 1 1038.0000 1019.1250 1.85%
2873.53/2881.00 c 2881 47075 2965 1 1038.0000 1019.1401 1.85%
2879.21/2886.79 c 2887 47196 2974 1 1038.0000 1019.1422 1.85%
2884.70/2892.23 c 2892 47333 2989 1 1038.0000 1019.1515 1.85%
2890.49/2898.07 c 2898 47432 2998 1 1038.0000 1019.1531 1.85%
2896.47/2904.06 c 2904 47589 3015 1 1038.0000 1019.1582 1.85%
2901.65/2909.27 c 2909 47792 3016 1 1038.0000 1019.1582 1.85%
2906.85/2914.47 c 2914 47856 3026 1 1038.0000 1019.1621 1.85%
2913.44/2921.01 c 2921 48006 3040 1 1038.0000 1019.1649 1.85%
2918.42/2926.08 c 2926 48192 3046 1 1038.0000 1019.1649 1.85%
2924.41/2932.06 c 2932 48302 3052 1 1038.0000 1019.1664 1.85%
2929.49/2937.15 c 2937 48430 3064 1 1038.0000 1019.1732 1.85%
2934.88/2942.54 c 2943 48492 3078 1 1038.0000 1019.1790 1.85%
2940.16/2947.85 c 2948 48596 3084 1 1038.0000 1019.1848 1.85%
2945.55/2953.28 c 2953 48707 3109 1 1038.0000 1019.1931 1.85%
2950.94/2958.60 c 2959 48827 3109 1 1038.0000 1019.1943 1.85%
2956.13/2963.89 c 2964 48906 3120 1 1038.0000 1019.2011 1.84%
2961.82/2969.54 c 2970 49031 3131 1 1038.0000 1019.2027 1.84%
2966.90/2974.65 c 2975 49144 3138 1 1038.0000 1019.2135 1.84%
2972.88/2980.60 c 2981 49265 3143 1 1038.0000 1019.2191 1.84%
2978.17/2985.92 c 2986 49335 3157 1 1038.0000 1019.2238 1.84%
2984.76/2992.59 c 2993 49410 3160 1 1038.0000 1019.2246 1.84%
2990.44/2998.28 c 2998 49575 3165 1 1038.0000 1019.2309 1.84%
2996.43/3004.22 c 3004 49615 3177 1 1038.0000 1019.2441 1.84%
3001.51/3009.33 c 3009 49765 3183 1 1038.0000 1019.2441 1.84%
3006.80/3014.67 c 3015 49925 3187 1 1038.0000 1019.2506 1.84%
3011.89/3019.79 c 3020 50057 3195 1 1038.0000 1019.2506 1.84%
3017.28/3025.16 c 3025 50165 3203 1 1038.0000 1019.2610 1.84%
3023.86/3031.73 c 3032 50308 3210 1 1038.0000 1019.2703 1.84%
3029.85/3037.74 c 3038 50407 3229 1 1038.0000 1019.2976 1.83%
3036.23/3044.18 c 3044 50536 3240 1 1038.0000 1019.3066 1.83%
3043.71/3051.67 c 3052 50600 3248 1 1038.0000 1019.3157 1.83%
3049.00/3056.91 c 3057 50715 3251 1 1038.0000 1019.3161 1.83%
3054.69/3062.64 c 3063 50733 3263 1 1038.0000 1019.3190 1.83%
3059.98/3067.93 c 3068 50929 3263 1 1038.0000 1019.3190 1.83%
3065.17/3073.10 c 3073 51044 3268 1 1038.0000 1019.3243 1.83%
3071.16/3079.15 c 3079 51153 3273 1 1038.0000 1019.3243 1.83%
3076.74/3084.76 c 3085 51246 3280 1 1038.0000 1019.3295 1.83%
3081.82/3089.89 c 3090 51419 3279 1 1038.0000 1019.3295 1.83%
3087.01/3095.05 c 3095 51578 3286 1 1038.0000 1019.3306 1.83%
3092.80/3100.84 c 3101 51720 3298 1 1038.0000 1019.3466 1.83%
3097.99/3106.05 c 3106 51870 3304 1 1038.0000 1019.3466 1.83%
3103.67/3111.72 c 3112 51982 3318 1 1038.0000 1019.3564 1.83%
3109.46/3117.59 c 3118 52079 3319 1 1038.0000 1019.3570 1.83%
3114.55/3122.60 c 3123 52195 3329 1 1038.0000 1019.3754 1.83%
3119.74/3127.88 c 3128 52285 3343 1 1038.0000 1019.3829 1.83%
3125.52/3133.60 c 3134 52300 3354 1 1038.0000 1019.3850 1.83%
3130.61/3138.75 c 3139 52484 3354 1 1038.0000 1019.3850 1.83%
3135.70/3143.89 c 3144 52650 3360 1 1038.0000 1019.3917 1.83%
3141.38/3149.53 c 3150 52843 3367 1 1038.0000 1019.3943 1.83%
3146.77/3154.94 c 3155 52922 3380 1 1038.0000 1019.4053 1.82%
3152.06/3160.22 c 3160 53061 3383 1 1038.0000 1019.4071 1.82%
3157.44/3165.66 c 3166 53221 3389 1 1038.0000 1019.4136 1.82%
3162.73/3170.92 c 3171 53395 3399 1 1038.0000 1019.4173 1.82%
3168.22/3176.45 c 3176 53446 3416 1 1038.0000 1019.4299 1.82%
3173.61/3181.81 c 3182 53574 3430 1 1038.0000 1019.4395 1.82%
3178.60/3186.82 c 3187 53705 3439 1 1038.0000 1019.4428 1.82%
3183.99/3192.22 c 3192 53821 3445 1 1038.0000 1019.4428 1.82%
3189.07/3197.31 c 3197 53935 3449 1 1038.0000 1019.4439 1.82%
3194.86/3203.15 c 3203 53985 3457 1 1038.0000 1019.4459 1.82%
3200.75/3209.03 c 3209 54020 3466 1 1038.0000 1019.4475 1.82%
3206.23/3214.56 c 3215 54099 3475 1 1038.0000 1019.4488 1.82%
3211.32/3219.67 c 3220 54259 3475 1 1038.0000 1019.4488 1.82%
3217.00/3225.31 c 3225 54431 3481 1 1038.0000 1019.4496 1.82%
3222.29/3230.68 c 3231 54506 3490 1 1038.0000 1019.4718 1.82%
3227.69/3236.08 c 3236 54635 3505 1 1038.0000 1019.4755 1.82%
3233.47/3241.84 c 3242 54724 3524 1 1038.0000 1019.4877 1.82%
3238.55/3246.99 c 3247 54811 3527 1 1038.0000 1019.4877 1.82%
3244.84/3253.26 c 3253 54878 3534 1 1038.0000 1019.4894 1.82%
3250.53/3258.97 c 3259 54990 3534 1 1038.0000 1019.4894 1.82%
3255.81/3264.25 c 3264 55097 3553 1 1038.0000 1019.5192 1.81%
3260.90/3269.36 c 3269 55155 3565 1 1038.0000 1019.5281 1.81%
3266.69/3275.16 c 3275 55178 3576 1 1038.0000 1019.5293 1.81%
3272.57/3281.06 c 3281 55343 3583 1 1038.0000 1019.5320 1.81%
3278.46/3286.94 c 3287 55469 3601 1 1038.0000 1019.5332 1.81%
3284.74/3293.22 c 3293 55623 3615 1 1038.0000 1019.5345 1.81%
3290.13/3298.66 c 3299 55745 3617 1 1038.0000 1019.5408 1.81%
3295.82/3304.31 c 3304 55833 3639 1 1038.0000 1019.5448 1.81%
3302.69/3311.21 c 3311 56016 3642 1 1038.0000 1019.5455 1.81%
3307.88/3316.47 c 3316 56118 3652 1 1038.0000 1019.5470 1.81%
3313.36/3321.97 c 3322 56232 3660 1 1038.0000 1019.5495 1.81%
3319.34/3327.92 c 3328 56363 3673 1 1038.0000 1019.5533 1.81%
3324.33/3332.96 c 3333 56495 3675 1 1038.0000 1019.5556 1.81%
3329.52/3338.19 c 3338 56569 3679 1 1038.0000 1019.5556 1.81%
3335.39/3344.02 c 3344 56670 3692 1 1038.0000 1019.5571 1.81%
3340.97/3349.63 c 3350 56743 3687 1 1038.0000 1019.5571 1.81%
3346.86/3355.53 c 3356 56895 3687 1 1038.0000 1019.5576 1.81%
3352.15/3360.86 c 3361 56943 3709 1 1038.0000 1019.5689 1.81%
3357.63/3366.36 c 3366 57055 3715 1 1038.0000 1019.5695 1.81%
3362.72/3371.44 c 3371 57135 3721 1 1038.0000 1019.5735 1.81%
3368.31/3377.08 c 3377 57181 3733 1 1038.0000 1019.5762 1.81%
3374.09/3382.89 c 3383 57321 3733 1 1038.0000 1019.5762 1.81%
3379.58/3388.34 c 3388 57393 3741 1 1038.0000 1019.5821 1.81%
3385.56/3394.30 c 3394 57532 3744 1 1038.0000 1019.5822 1.81%
3391.35/3400.11 c 3400 57666 3756 1 1038.0000 1019.5860 1.81%
3396.73/3405.51 c 3406 57771 3761 1 1038.0000 1019.5884 1.81%
3401.83/3410.64 c 3411 57993 3761 1 1038.0000 1019.5884 1.81%
3407.72/3416.55 c 3417 58105 3771 1 1038.0000 1019.6096 1.80%
3413.00/3421.87 c 3422 58275 3775 1 1038.0000 1019.6118 1.80%
3419.88/3428.73 c 3429 58310 3786 1 1038.0000 1019.6197 1.80%
3425.37/3434.22 c 3434 58496 3790 1 1038.0000 1019.6197 1.80%
3431.26/3440.12 c 3440 58671 3799 1 1038.0000 1019.6200 1.80%
3436.54/3445.48 c 3445 58805 3813 1 1038.0000 1019.6226 1.80%
3444.22/3453.12 c 3453 58905 3821 1 1038.0000 1019.6251 1.80%
3449.91/3458.81 c 3459 59072 3832 1 1038.0000 1019.6302 1.80%
3455.29/3464.20 c 3464 59220 3842 1 1038.0000 1019.6405 1.80%
3460.38/3469.38 c 3469 59395 3839 1 1038.0000 1019.6448 1.80%
3465.47/3474.49 c 3474 59455 3851 1 1038.0000 1019.6595 1.80%
3470.65/3479.61 c 3480 59595 3865 1 1038.0000 1019.6622 1.80%
3475.74/3484.78 c 3485 59679 3879 1 1038.0000 1019.6631 1.80%
3483.21/3492.22 c 3492 59800 3884 1 1038.0000 1019.6658 1.80%
3489.19/3498.29 c 3498 59936 3890 1 1038.0000 1019.6744 1.80%
3495.08/3504.14 c 3504 60083 3905 1 1038.0000 1019.6802 1.80%
3500.37/3509.44 c 3509 60245 3915 1 1038.0000 1019.6844 1.80%
3505.85/3514.97 c 3515 60415 3927 1 1038.0000 1019.6884 1.80%
3511.43/3520.53 c 3521 60551 3939 1 1038.0000 1019.7044 1.79%
3516.52/3525.68 c 3526 60741 3937 1 1038.0000 1019.7044 1.79%
3522.30/3531.43 c 3531 60916 3952 1 1038.0000 1019.7189 1.79%
3527.48/3536.68 c 3537 61045 3963 1 1038.0000 1019.7243 1.79%
3533.27/3542.45 c 3542 61127 3967 1 1038.0000 1019.7243 1.79%
3538.65/3547.88 c 3548 61244 3976 1 1038.0000 1019.7308 1.79%
3544.13/3553.37 c 3553 61417 3985 1 1038.0000 1019.7330 1.79%
3549.32/3558.52 c 3559 61538 3996 1 1038.0000 1019.7412 1.79%
3554.40/3563.60 c 3564 61664 4012 1 1038.0000 1019.7466 1.79%
3559.48/3568.72 c 3569 61802 4016 1 1038.0000 1019.7468 1.79%
3564.67/3573.98 c 3574 61938 4022 1 1038.0000 1019.7468 1.79%
3569.86/3579.19 c 3579 62098 4018 1 1038.0000 1019.7468 1.79%
3575.14/3584.43 c 3584 62249 4025 1 1038.0000 1019.7470 1.79%
3580.73/3590.09 c 3590 62413 4033 1 1038.0000 1019.7474 1.79%
3586.71/3596.05 c 3596 62578 4046 1 1038.0000 1019.7649 1.79%
3588.71/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.71/3598.06 c Total Time : 3598.05
3588.71/3598.06 c solving : 3598.05
3588.71/3598.06 c presolving : 0.05 (included in solving)
3588.71/3598.06 c B&B Tree :
3588.71/3598.06 c nodes (total) : 1
3588.71/3598.06 c Solution :
3588.71/3598.06 c Solutions found : 17
3588.71/3598.06 c Primal Bound : +1.03800000000000e+03
3588.71/3598.06 c Dual Bound : +1.01976494644312e+03
3588.71/3598.06 c Gap : 1.78816 %
3588.71/3598.06 c * Warning: final gap: 1.78816e-02 is greater than SCIPepsilon: 1.00000e-09
3588.71/3598.06 o 1038
3588.71/3598.06 s SATISFIABLE
3588.71/3598.06 v -x1968 x1967 x1966 x1965 x1964 x1963 x1962 -x1961 -x1960 x1959 -x1958 -x1957 -x1956 -x1955 x1954 -x1953 x1952 x1951 -x1950 -x1949
3588.71/3598.06 v x1948 -x1947 -x1946 x1945 x1944 x1943 x1942 -x1941 -x1940 x1939 -x1938 -x1937 x1936 x1935 -x1934 -x1933 -x1932 -x1931 x1930
3588.71/3598.06 v -x1929 -x1928 -x1927 -x1926 x1925 x1924 -x1923 x1922 x1921 x1920 -x1919 x1918 x1917 -x1916 -x1915 -x1914 -x1913 x1912 x1911
3588.71/3598.06 v -x1910 -x1909 -x1908 -x1907 x1906 -x1905 x1904 -x1903 -x1902 x1901 -x1900 -x1899 x1898 x1897 x1896 x1895 x1894 -x1893 x1892
3588.71/3598.06 v x1891 -x1890 x1889 -x1888 -x1887 x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 x1876 -x1875 x1874 -x1873 -x1872
3588.71/3598.06 v x1871 -x1870 x1869 x1868 x1867 x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 x1857 -x1856 -x1855 x1854 -x1853 -x1852
3588.71/3598.06 v -x1851 x1850 x1849 x1848 x1847 x1846 x1845 x1844 -x1843 -x1842 -x1841 x1840 x1839 -x1838 x1837 -x1836 -x1835 -x1834 x1833
3588.71/3598.06 v -x1832 x1831 -x1830 x1829 x1828 -x1827 -x1826 -x1825 -x1824 x1823 -x1822 -x1821 x1820 -x1819 x1818 x1817 x1816 -x1815 x1814
3588.71/3598.06 v -x1813 x1812 x1811 x1810 x1809 x1808 x1807 x1806 x1805 x1804 x1803 -x1802 x1801 -x1800 x1799 x1798 -x1797 -x1796 -x1795 x1794
3588.71/3598.06 v -x1793 x1792 x1791 x1790 -x1789 x1788 -x1787 x1786 x1785 -x1784 x1783 x1782 x1781 -x1780 -x1779 x1778 -x1777 -x1776 -x1775
3588.71/3598.06 v -x1774 -x1773 x1772 x1771 -x1770 -x1769 -x1768 x1767 -x1766 x1765 x1764 -x1763 x1762 -x1761 x1760 x1759 -x1758 -x1757 -x1756
3588.71/3598.06 v x1755 -x1754 -x1753 x1752 x1751 x1750 -x1749 x1748 -x1747 x1746 x1745 x1744 -x1743 x1742 -x1741 -x1740 x1739 x1738 x1737 -x1736
3588.71/3598.06 v -x1735 -x1734 -x1733 -x1732 x1731 -x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 x1722 -x1721 -x1720 x1719 -x1718 -x1717
3588.71/3598.06 v x1716 x1715 -x1714 x1713 x1712 -x1711 -x1710 x1709 x1708 -x1707 x1706 x1705 x1704 x1703 x1702 -x1701 x1700 x1699 -x1698 -x1697
3588.71/3598.06 v x1696 x1695 x1694 x1693 x1692 x1691 -x1690 x1689 x1688 -x1687 -x1686 -x1685 x1684 x1683 -x1682 x1681 x1680 -x1679 x1678
3588.71/3598.06 v x1677 -x1676 -x1675 -x1674 x1673 -x1672 x1671 x1670 x1669 x1668 x1667 x1666 -x1665 x1664 x1663 -x1662 x1661 x1660 x1659 x1658
3588.71/3598.06 v x1657 -x1656 -x1655 -x1654 -x1653 x1652 -x1651 x1650 -x1649 x1648 x1647 -x1646 -x1645 -x1644 x1643 x1642 -x1641 x1640 x1639
3588.71/3598.06 v -x1638 x1637 x1636 x1635 -x1634 -x1633 -x1632 x1631 x1630 -x1629 -x1628 -x1627 -x1626 x1625 x1624 -x1623 x1622 x1621 -x1620
3588.71/3598.06 v -x1619 x1618 -x1617 x1616 x1615 x1614 x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605 -x1604 x1603 x1602 x1601 x1600
3588.71/3598.06 v x1599 x1598 x1597 x1596 -x1595 -x1594 -x1593 -x1592 x1591 x1590 x1589 -x1588 x1587 -x1586 -x1585 x1584 x1583 x1582 -x1581
3588.71/3598.06 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 x1574 x1573 -x1572 x1571 -x1570 -x1569 x1568 -x1567 -x1566 -x1565 x1564 x1563 x1562
3588.71/3598.06 v -x1561 x1560 x1559 -x1558 -x1557 x1556 x1555 x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 -x1545 -x1544 x1543
3588.71/3598.06 v x1542 -x1541 -x1540 x1539 x1538 -x1537 x1536 -x1535 x1534 x1533 x1532 -x1531 -x1530 x1529 x1528 -x1527 x1526 x1525 -x1524 x1523
3588.71/3598.06 v x1522 x1521 x1520 x1519 x1518 x1517 x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 x1508 x1507 -x1506 x1505 x1504
3588.71/3598.06 v x1503 x1502 x1501 -x1500 -x1499 x1498 x1497 x1496 x1495 x1494 -x1493 -x1492 x1491 -x1490 x1489 -x1488 -x1487 -x1486 x1485 x1484
3588.71/3598.06 v x1483 x1482 -x1481 -x1480 -x1479 -x1478 x1477 -x1476 x1475 x1474 -x1473 x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465
3588.71/3598.06 v -x1464 -x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457 x1456 x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 -x1448 -x1447 x1446
3588.71/3598.06 v -x1445 -x1444 x1443 x1442 -x1441 x1440 x1439 -x1438 x1437 -x1436 -x1435 -x1434 -x1433 x1432 -x1431 -x1430 x1429 x1428 -x1427
3588.71/3598.06 v x1426 -x1425 x1424 -x1423 x1422 x1421 -x1420 x1419 -x1418 -x1417 x1416 -x1415 x1414 x1413 -x1412 x1411 x1410 -x1409 -x1408
3588.71/3598.06 v x1407 x1406 x1405 x1404 x1403 x1402 x1401 -x1400 x1399 -x1398 x1397 x1396 x1395 -x1394 x1393 x1392 -x1391 -x1390 -x1389 -x1388
3588.71/3598.06 v -x1387 -x1386 x1385 -x1384 -x1383 x1382 -x1381 -x1380 x1379 -x1378 x1377 -x1376 x1375 -x1374 x1373 -x1372 -x1371 x1370 -x1369
3588.71/3598.06 v x1368 x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 x1359 x1358 -x1357 -x1356 x1355 x1354 x1353 x1352 x1351 x1350
3588.71/3598.06 v -x1349 x1348 -x1347 -x1346 -x1345 x1344 -x1343 x1342 x1341 -x1340 x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331
3588.71/3598.06 v x1330 x1329 -x1328 x1327 -x1326 x1325 x1324 x1323 x1322 -x1321 x1320 -x1319 x1318 -x1317 -x1316 x1315 x1314 x1313 -x1312
3588.71/3598.06 v x1311 -x1310 x1309 -x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 x1298 -x1297 -x1296 -x1295 x1294 x1293 -x1292
3588.71/3598.06 v -x1291 x1290 -x1289 -x1288 -x1287 x1286 x1285 x1284 x1283 x1282 x1281 -x1280 x1279 x1278 x1277 x1276 -x1275 x1274 -x1273
3588.71/3598.06 v x1272 -x1271 -x1270 x1269 -x1268 x1267 -x1266 -x1265 -x1264 x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 x1256 x1255 x1254
3588.71/3598.06 v -x1253 -x1252 -x1251 x1250 -x1249 x1248 x1247 -x1246 -x1245 x1244 x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 x1236 x1235
3588.71/3598.06 v x1234 x1233 -x1232 x1231 x1230 x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216
3588.71/3598.06 v -x1215 -x1214 -x1213 -x1212 x1211 -x1210 x1209 x1208 x1207 x1206 x1205 -x1204 -x1203 x1202 x1201 x1200 -x1199 x1198 x1197 x1196
3588.71/3598.06 v x1195 x1194 -x1193 x1192 -x1191 x1190 x1189 -x1188 -x1187 x1186 x1185 -x1184 x1183 x1182 x1181 -x1180 -x1179 x1178 -x1177
3588.71/3598.06 v x1176 -x1175 -x1174 x1173 x1172 -x1171 -x1170 x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 x1162 x1161 x1160 x1159 x1158 x1157
3588.71/3598.06 v -x1156 -x1155 -x1154 x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139
3588.71/3598.06 v x1138 x1137 x1136 -x1135 -x1134 -x1133 x1132 x1131 x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 -x1120 -x1119
3588.71/3598.06 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 x1108 -x1107 -x1106 x1105 x1104 x1103 x1102 x1101 x1100
3588.71/3598.06 v x1099 x1098 -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 x1090 x1089 -x1088 x1087 x1086 -x1085 -x1084 x1083 x1082 x1081
3588.71/3598.06 v x1080 -x1079 x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 -x1070 x1069 -x1068 x1067 x1066 -x1065 -x1064 -x1063 x1062
3588.71/3598.06 v x1061 x1060 x1059 x1058 -x1057 x1056 -x1055 x1054 x1053 x1052 x1051 -x1050 x1049 x1048 -x1047 x1046 -x1045 -x1044 x1043 x1042
3588.71/3598.06 v -x1041 x1040 x1039 -x1038 x1037 -x1036 x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 x1024 x1023
3588.71/3598.06 v -x1022 x1021 -x1020 x1019 -x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 x1006 -x1005 x1004
3588.71/3598.06 v -x1003 x1002 -x1001 -x1000 -x999 x998 -x997 x996 -x995 -x994 x993 x992 -x991 -x990 x989 x988 -x987 -x986 x985 x984 -x983 -x982
3588.71/3598.06 v -x981 -x980 -x979 -x978 x977 x976 x975 x974 -x973 x972 -x971 x970 x969 x968 x967 x966 x965 -x964 -x963 -x962 -x961 -x960 -x959
3588.71/3598.06 v -x958 -x957 x956 -x955 -x954 -x953 x952 -x951 x950 x949 -x948 x947 -x946 -x945 -x944 -x943 x942 x941 -x940 -x939 -x938 x937
3588.71/3598.06 v x936 -x935 x934 -x933 x932 x931 -x930 x929 -x928 -x927 x926 x925 -x924 x923 -x922 -x921 x920 -x919 -x918 -x917 x916 -x915
3588.71/3598.06 v -x914 x913 x912 x911 x910 x909 x908 x907 x906 -x905 -x904 x903 -x902 x901 x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892
3588.71/3598.06 v x891 x890 x889 x888 -x887 -x886 x885 x884 x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 x875 -x874 x873 x872 x871 -x870 x869
3588.71/3598.06 v -x868 -x867 -x866 -x865 x864 x863 x862 x861 x860 -x859 x858 x857 x856 -x855 x854 -x853 -x852 x851 x850 x849 -x848 -x847 x846
3588.71/3598.06 v -x845 -x844 x843 -x842 -x841 -x840 x839 x838 -x837 x836 x835 x834 x833 -x832 x831 x830 x829 -x828 x827 x826 -x825 x824 x823
3588.71/3598.06 v -x822 -x821 x820 x819 x818 x817 -x816 -x815 x814 x813 -x812 x811 -x810 -x809 -x808 x807 -x806 x805 x804 -x803 -x802 x801 -x800
3588.71/3598.06 v x799 x798 -x797 -x796 -x795 -x794 x793 -x792 x791 -x790 x789 x788 x787 -x786 x785 -x784 x783 x782 -x781 -x780 x779 x778 -x777
3588.71/3598.06 v -x776 -x775 x774 x773 -x772 x771 -x770 x769 x768 x767 x766 x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 x757 -x756 -x755
3588.71/3598.06 v -x754 -x753 -x752 -x751 -x750 x749 x748 -x747 x746 -x745 -x744 -x743 x742 -x741 x740 x739 x738 -x737 x736 -x735 x734 -x733 x732
3588.71/3598.06 v x731 x730 -x729 x728 -x727 x726 x725 x724 x723 -x722 -x721 x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 x710 x709
3588.71/3598.06 v x708 -x707 x706 x705 x704 x703 x702 x701 -x700 x699 -x698 x697 x696 x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 x686
3588.71/3598.06 v -x685 x684 -x683 x682 -x681 x680 x679 x678 x677 -x676 x675 -x674 -x673 x672 x671 -x670 -x669 -x668 -x667 x666 -x665 x664
3588.71/3598.06 v x663 x662 x661 x660 -x659 x658 x657 x656 x655 x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 x644 -x643 x642 x641 x640
3588.71/3598.06 v x639 x638 -x637 x636 -x635 -x634 x633 x632 x631 -x630 -x629 -x628 -x627 x626 x625 x624 -x623 x622 -x621 x620 x619 x618 -x617
3588.71/3598.06 v -x616 -x615 -x614 x613 -x612 -x611 x610 -x609 x608 x607 -x606 -x605 -x604 x603 -x602 x601 x600 -x599 x598 x597 x596 x595
3588.71/3598.06 v -x594 x593 x592 x591 x590 x589 -x588 -x587 x586 x585 x584 x583 x582 x581 x580 x579 -x578 x577 x576 x575 x574 -x573 -x572 x571
3588.71/3598.06 v x570 x569 x568 x567 x566 -x565 -x564 -x563 x562 -x561 -x560 x559 x558 x557 x556 x555 x554 -x553 x552 -x551 -x550 -x549 x548
3588.71/3598.06 v -x547 -x546 x545 x544 -x543 x542 x541 x540 -x539 x538 -x537 x536 -x535 -x534 x533 -x532 x531 x530 x529 -x528 x527 -x526 -x525
3588.71/3598.06 v x524 x523 x522 x521 x520 -x519 -x518 x517 x516 -x515 -x514 x513 x512 x511 x510 -x509 x508 x507 -x506 x505 -x504 x503 x502 x501
3588.71/3598.06 v x500 x499 -x498 -x497 x496 x495 -x494 x493 -x492 x491 -x490 -x489 x488 -x487 x486 -x485 x484 -x483 x482 x481 x480 -x479 x478
3588.71/3598.06 v -x477 x476 x475 x474 x473 -x472 -x471 x470 x469 -x468 x467 -x466 x465 -x464 -x463 x462 x461 x460 x459 x458 -x457 -x456 -x455
3588.71/3598.06 v x454 -x453 x452 -x451 x450 x449 x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 -x437 -x436 -x435 x434 -x433 -x432
3588.71/3598.06 v -x431 x430 -x429 x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 x420 x419 x418 x417 -x416 x415 x414 -x413 x412 -x411 x410 x409
3588.71/3598.06 v -x408 x407 x406 -x405 -x404 x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 x388 x387
3588.71/3598.06 v -x386 -x385 x384 x383 x382 -x381 -x380 -x379 -x378 x377 -x376 x375 x374 x373 -x372 -x371 -x370 -x369 x368 x367 x366 x365 x364
3588.71/3598.06 v x363 x362 -x361 x360 -x359 x358 -x357 -x356 x355 -x354 x353 -x352 -x351 x350 x349 x348 -x347 -x346 x345 -x344 x343 -x342 x341
3588.71/3598.06 v -x340 x339 -x338 x337 -x336 x335 x334 x333 x332 x331 x330 x329 -x328 x327 x326 -x325 x324 x323 x322 x321 x320 -x319 x318 -x317
3588.71/3598.06 v x316 -x315 x314 -x313 -x312 -x311 x310 x309 x308 -x307 x306 x305 x304 x303 x302 x301 -x300 x299 -x298 x297 -x296 -x295 -x294
3588.71/3598.06 v x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 -x284 x283 -x282 -x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 -x271
3588.71/3598.06 v -x270 x269 -x268 -x267 x266 x265 -x264 x263 x262 x261 -x260 x259 -x258 -x257 -x256 x255 -x254 x253 -x252 -x251 -x250 -x249
3588.71/3598.06 v x248 x247 x246 -x245 -x244 x243 -x242 x241 x240 -x239 -x238 -x237 x236 x235 x234 -x233 -x232 x231 x230 -x229 x228 x227 -x226
3588.71/3598.06 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 x212 x211 -x210 -x209 -x208 -x207 -x206 -x205
3588.71/3598.06 v x204 x203 x202 x201 -x200 -x199 -x198 x197 x196 x195 x194 -x193 x192 -x191 -x190 -x189 -x188 x187 x186 -x185 -x184 -x183 x182
3588.71/3598.06 v -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159
3588.71/3598.06 v x158 x157 x156 x155 x154 -x153 x152 -x151 x150 -x149 -x148 -x147 x146 -x145 x144 -x143 -x142 -x141 x140 x139 x138 -x137
3588.71/3598.06 v x136 -x135 x134 -x133 -x132 -x131 x130 x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 x118 -x117 x116 x115 -x114
3588.71/3598.06 v x113 -x112 x111 x110 -x109 x108 x107 x106 x105 -x104 x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 -x94 -x93 -x92 x91 x90 -x89
3588.71/3598.06 v x88 -x87 x86 x85 -x84 -x83 -x82 -x81 x80 x79 x78 -x77 x76 x75 x74 -x73 x72 x71 x70 x69 x68 -x67 -x66 -x65 x64 x63 -x62 -x61
3588.71/3598.06 v x60 -x59 -x58 -x57 x56 x55 x54 x53 x52 x51 -x50 x49 x48 x47 -x46 x45 x44 x43 x42 -x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 -x31
3588.71/3598.06 v x30 x29 -x28 x27 x26 -x25 x24 -x23 x22 -x21 -x20 -x19 x18 x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 x4 x3 x2
3588.71/3598.06 v x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61875 MiB free)
memory of node 1: 64473 MiB (63331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463993-1722378596/watcher-4463993-1722378596 -o /tmp/evaluation-result-4463993-1722378596/solver-4463993-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28860 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463993-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=29094, runsolver pid=29091
Current StackSize limit: 8192 KiB
[startup+0.101013 s]*
/proc/loadavg: 0.47 0.16 0.11 6/262 29112
/proc/meminfo: memFree=128136988/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=131036 memory=45080 CPUtime=0.09 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 9618 0 0 0 8 1 0 0 20 0 3 0 4456611 134180864 11270 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 32759 11270 2790 3035 0 15117 0
[pid=29094/tid=29110] ppid=29091 vsize=131036 memory=4026531959 CPUtime=0.02 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 3507 0 0 0 2 0 0 0 20 0 3 0 4456618 134180864 11270 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=131036 memory=115152 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456619 134180864 11270 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131036 KiB
Current children cumulated memory: 45080 KiB
[startup+0.206014 s]*
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=128058076/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=132060 memory=52456 CPUtime=0.19 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 11349 0 0 0 18 1 0 0 20 0 3 0 4456611 135229440 13114 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 33015 13114 2934 3035 0 16872 0
[pid=29094/tid=29110] ppid=29091 vsize=132060 memory=664970838410264707 CPUtime=0.12 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 5238 0 0 0 12 0 0 0 20 0 3 0 4456618 135229440 13114 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=132060 memory=115160 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456619 135229440 13114 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132060 KiB
Current children cumulated memory: 52456 KiB
[startup+0.306029 s]*
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=128008524/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=132060 memory=52456 CPUtime=0.28 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 11350 0 0 0 27 1 0 0 20 0 3 0 4456611 135229440 13114 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 33015 13114 2934 3035 0 16872 0
[pid=29094/tid=29110] ppid=29091 vsize=132060 memory=-5155626912221195397 CPUtime=0.21 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 5239 0 0 0 21 0 0 0 20 0 3 0 4456618 135229440 13114 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=132060 memory=0 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456619 135229440 13114 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 132060 KiB
Current children cumulated memory: 52456 KiB
[startup+0.700254 s]
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127941932/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=133516 memory=56976 CPUtime=0.68 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 12461 0 0 0 66 2 0 0 20 0 3 0 4456611 136720384 14244 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 33379 14244 2950 3035 0 18083 0
[pid=29094/tid=29110] ppid=29091 vsize=133516 memory=0 CPUtime=0.6 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 6350 0 0 0 60 0 0 0 20 0 3 0 4456618 136720384 14244 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=133516 memory=0 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456619 136720384 14244 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133516 KiB
Current children cumulated memory: 56976 KiB
[startup+1.50026 s]
/proc/loadavg: 0.47 0.16 0.11 5/271 29125
/proc/meminfo: memFree=127851576/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=133516 memory=62580 CPUtime=1.47 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 17469 0 0 0 145 2 0 0 20 0 3 0 4456611 136720384 15645 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 33379 15645 2950 3035 0 19531 0
[pid=29094/tid=29110] ppid=29091 vsize=133516 memory=0 CPUtime=1.4 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 11358 0 0 0 139 1 0 0 20 0 3 0 4456618 136720384 15645 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=133516 memory=0 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4456619 136720384 15645 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 133516 KiB
Current children cumulated memory: 62580 KiB
[startup+3.10511 s]
/proc/loadavg: 0.83 0.24 0.14 5/271 29125
/proc/meminfo: memFree=127383084/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=155944 memory=96236 CPUtime=3.08 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 25981 0 0 0 304 4 0 0 20 0 3 0 4456611 159686656 24059 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 38986 24059 2950 3035 0 28225 0
[pid=29094/tid=29110] ppid=29091 vsize=155944 memory=-5155634574459628677 CPUtime=3 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 19868 0 0 0 298 2 0 0 20 0 3 0 4456618 159686656 24059 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=155944 memory=-5155634574459628677 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4456619 159686656 24059 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 155944 KiB
Current children cumulated memory: 96236 KiB
[startup+6.30017 s]
/proc/loadavg: 0.83 0.24 0.14 5/271 29126
/proc/meminfo: memFree=127298204/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=201808 memory=144572 CPUtime=6.26 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 52550 0 0 0 619 7 0 0 20 0 3 0 4456611 206651392 36143 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 50452 36143 2950 3035 0 40594 0
[pid=29094/tid=29110] ppid=29091 vsize=201808 memory=143312 CPUtime=6.19 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 46435 0 0 0 613 6 0 0 20 0 3 0 4456618 206651392 36143 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=201808 memory=-5155634574459628677 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4456619 206651392 36143 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 201808 KiB
Current children cumulated memory: 144572 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 0.32 0.17 5/271 29127
/proc/meminfo: memFree=127257812/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=263252 memory=173436 CPUtime=12.64 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 85256 0 0 0 1255 9 0 0 20 0 3 0 4456611 269570048 43359 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 65813 43359 2950 3035 0 49026 0
[pid=29094/tid=29110] ppid=29091 vsize=263252 memory=127216 CPUtime=12.57 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 79097 0 0 0 1249 8 0 0 20 0 3 0 4456618 269570048 43359 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=263252 memory=11400 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4456619 269570048 43359 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 263252 KiB
Current children cumulated memory: 173436 KiB
[startup+25.5002 s]
/proc/loadavg: 1.79 0.50 0.23 5/271 29129
/proc/meminfo: memFree=127103380/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=263252 memory=174128 CPUtime=25.42 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 106224 0 0 0 2531 11 0 0 20 0 3 0 4456611 269570048 43532 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 65813 43532 2998 3035 0 49026 0
[pid=29094/tid=29110] ppid=29091 vsize=263252 memory=173844 CPUtime=25.34 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 99992 0 0 0 2525 9 0 0 20 0 3 0 4456618 269570048 43532 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=263252 memory=173844 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4456619 269570048 43532 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 263252 KiB
Current children cumulated memory: 174128 KiB
[startup+51.1044 s]
/proc/loadavg: 2.68 0.82 0.34 5/269 29190
/proc/meminfo: memFree=126914752/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=328788 memory=238988 CPUtime=50.95 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 194623 0 0 0 5078 17 0 0 20 0 3 0 4456611 336678912 59747 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 82197 59747 2998 3035 0 66434 0
[pid=29094/tid=29110] ppid=29091 vsize=328788 memory=227464 CPUtime=50.88 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 187892 0 0 0 5072 16 0 0 20 0 3 0 4456618 336678912 59747 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=328788 memory=155760 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4456619 336678912 59747 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 328788 KiB
Current children cumulated memory: 238988 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.33 0.54 5/269 29200
/proc/meminfo: memFree=126790296/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=320148 memory=257556 CPUtime=102.03 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 270909 0 0 0 10180 23 0 0 20 0 3 0 4456611 327831552 64389 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 80037 64389 2998 3035 0 71678 0
[pid=29094/tid=29110] ppid=29091 vsize=320148 memory=261636 CPUtime=101.95 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 263270 0 0 0 10173 22 0 0 20 0 3 0 4456618 327831552 64389 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=320148 memory=173844 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4456619 327831552 64389 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 320148 KiB
Current children cumulated memory: 257556 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.83 0.77 5/269 29211
/proc/meminfo: memFree=126641040/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=323540 memory=270612 CPUtime=161.88 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 336209 0 0 0 16160 28 0 0 20 0 3 0 4456611 331304960 67653 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 80885 67653 2998 3035 0 75201 0
[pid=29094/tid=29110] ppid=29091 vsize=323540 memory=259468 CPUtime=161.8 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 328493 0 0 0 16153 27 0 0 20 0 3 0 4456618 331304960 67653 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=323540 memory=259488 CPUtime=0 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4456619 331304960 67653 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 323540 KiB
################
# More data... #
################
/proc/29094/statm: 184686 159686 2998 3035 0 164078 0
[pid=29094/tid=29110] ppid=29091 vsize=738744 memory=-7666090306811553143 CPUtime=3393.28 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1700352 0 0 0 339179 149 0 0 20 0 3 0 4456618 756473856 159686 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=738744 memory=637872 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 176 0 0 0 1 1 0 0 20 0 3 0 4456619 756473856 159686 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 738744 KiB
Current children cumulated memory: 638744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.10 5/265 30785
/proc/meminfo: memFree=124721156/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=738744 memory=644756 CPUtime=3453.4 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1727239 0 0 0 345184 156 0 0 20 0 3 0 4456611 756473856 161189 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 184686 161189 2998 3035 0 164078 0
[pid=29094/tid=29110] ppid=29091 vsize=738744 memory=-7666090306811553143 CPUtime=3453.13 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1717781 0 0 0 345163 150 0 0 20 0 3 0 4456618 756473856 161189 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=738744 memory=644756 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 178 0 0 0 1 1 0 0 20 0 3 0 4456619 756473856 161189 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 738744 KiB
Current children cumulated memory: 644756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.18 4.10 5/267 30966
/proc/meminfo: memFree=124707092/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=644972 CPUtime=3513.23 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1734769 0 0 0 351166 157 0 0 20 0 3 0 4456611 758194176 161243 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161243 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=644756 CPUtime=3512.94 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1725289 0 0 0 351144 150 0 0 20 0 3 0 4456618 758194176 161243 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=644972 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 180 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161243 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 644972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/267 30976
/proc/meminfo: memFree=124691948/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3573.04 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1736024 0 0 0 357147 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=645036 CPUtime=3572.77 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1726522 0 0 0 357126 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=645036 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 182 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
[startup+3598.07 s]
# the end of solver process 29094 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.19 s, system=1.58756 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.16 4.09 5/267 30976
/proc/meminfo: memFree=124691984/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3574.75 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1736291 0 0 0 357318 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=645036 CPUtime=3574.47 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1726787 0 0 0 357296 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=-7738211608633113021 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.16 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3581.12 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1736715 0 0 0 357955 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=11400 CPUtime=3580.85 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1727211 0 0 0 357934 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=645036 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3581.12 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.16 4.09 5/267 30978
/proc/meminfo: memFree=124692000/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3584.32 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1736720 0 0 0 358275 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=645036 CPUtime=3584.04 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1727216 0 0 0 358253 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=645036 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3585.91 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1739295 0 0 0 358434 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=11400 CPUtime=3585.63 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1729791 0 0 0 358412 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=12696 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.15 4.09 5/267 30978
/proc/meminfo: memFree=124692008/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3587.51 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1739303 0 0 0 358594 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=645036 CPUtime=3587.23 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1729799 0 0 0 358572 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=645036 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3587.51 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
[startup+3597.6 s]
/proc/loadavg: 4.07 4.15 4.09 4/260 30986
/proc/meminfo: memFree=127141100/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3588.3 cores=5,7
/proc/29094/stat : 29094 (fscip) S 29091 29094 28847 0 -1 1077936128 1739303 0 0 0 358673 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=1940 CPUtime=3588.02 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1729799 0 0 0 358651 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=12696 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3588.3 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
[startup+3598 s]*
/proc/loadavg: 4.07 4.15 4.09 5/265 31024
/proc/meminfo: memFree=127088884/131524600 swapFree=131071216/131071996
[pid=29094] ppid=29091 vsize=740424 memory=645036 CPUtime=3588.71 cores=5,7
/proc/29094/stat : 29094 (fscip) R 29091 29094 28847 0 -1 1077936128 1739360 0 0 0 358714 157 0 0 20 0 3 0 4456611 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
/proc/29094/statm: 185106 161259 2998 3035 0 164498 0
[pid=29094/tid=29110] ppid=29091 vsize=740424 memory=2656 CPUtime=3588.43 cores=5,7
/proc/29094/task/29110/stat : 29110 (fscip) R 29091 29094 28847 0 -1 4194368 1729859 0 0 0 358692 151 0 0 20 0 3 0 4456618 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
[pid=29094/tid=29112] ppid=29091 vsize=740424 memory=4788 CPUtime=0.02 cores=5,7
/proc/29094/task/29112/stat : 29112 (fscip) S 29091 29094 28847 0 -1 1077936192 184 0 0 0 1 1 0 0 20 0 3 0 4456619 758194176 161259 134679101440 4194304 16623229 140733728576384 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 35827712 140733728584726 140733728584842 140733728584842 140733728591856 0
Current children cumulated CPU time: 3588.71 s
Current children cumulated vsize: 740424 KiB
Current children cumulated memory: 645036 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3588.78
CPU user time (s): 3587.19
CPU system time (s): 1.58756
CPU usage (%): 99.742
Max. virtual memory (cumulated for all children) (KiB): 740424
Max. memory (cumulated for all children) (KiB): 645036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.19
system time used= 1.58756
maximum resident set size= 645036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1740719
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= 9924
involuntary context switches= 1886
# summary of solver processes directly reported to runsolver:
# pid: 29094
# total CPU time (s): 3588.78
# total CPU user time (s): 3587.19
# total CPU system time (s): 1.58756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79349 second user time and 14.2897 second system time
The end
Begin job on nodeC017 at 2024-07-31 00:29:56
IDJOB=4463993
IDBENCH=147535
IDSOLVER=3092
FILE ID=nodeC017/4463993-1722378596
RUNJOBID= nodeC017-1722378594-28860
SLURM_JOB_ID= 8249830
Free space on /tmp= 890020 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.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-4463993-1722378596/watcher-4463993-1722378596 -o /tmp/evaluation-result-4463993-1722378596/solver-4463993-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28860 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463993-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=1453536771
nodeC017.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 : 3532.476
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.82
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 : 3669.224
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
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 : 3492.556
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.82
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 : 3601.077
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
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 : 3586.728
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.82
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 : 3667.059
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
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 : 3576.740
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.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.988
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128224788 kB
MemAvailable: 129452712 kB
Buffers: 86104 kB
Cached: 1975140 kB
SwapCached: 52 kB
Active: 256996 kB
Inactive: 2569112 kB
Active(anon): 1448 kB
Inactive(anon): 784208 kB
Active(file): 255548 kB
Inactive(file): 1784904 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 87108 kB
Writeback: 20 kB
AnonPages: 764444 kB
Mapped: 98952 kB
Shmem: 21136 kB
KReclaimable: 54592 kB
Slab: 134780 kB
SReclaimable: 54592 kB
SUnreclaim: 80188 kB
KernelStack: 4028 kB
PageTables: 10492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1163208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8960 kB
HardwareCorrupted: 0 kB
AnonHugePages: 350208 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC017 at 2024-07-31 01:29:54