0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32526336, getVmSize() = 32526336, SCIPgetMemUsed() = 8859626, SCIPgetMemTotal() = 10605338, SCIPgetMemExternEstim() = 5421515
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 = 24976042, getVmSize() = 42401792, SCIPgetMemUsed() = 10481581, SCIPgetMemTotal() = 19145589, SCIPgetMemExternEstim() = 5421515
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-4463984-1722378595
0.00/0.06 c Variables : 1961 (1961 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 : 1578 (1578 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 3099
0.00/0.06 c Constraints : Number
0.00/0.06 c setppc : 3099
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 1767.0000 - -
0.09/0.14 c * 0 0 1 1 1167.0000 - -
0.09/0.15 c * 0 0 1 1 1095.0000 - -
0.09/0.17 c * 0 0 1 1 1088.0000 - -
14.05/14.18 c 14 2 1 1 1088.0000 1006.5799 8.09%
20.63/20.77 c 21 4 3 1 1088.0000 1007.1018 8.03%
26.81/26.93 c 27 7 6 1 1088.0000 1007.1018 8.03%
29.91/30.08 c * 30 12 11 1 1064.0000 1007.1018 5.65%
29.91/30.09 c * 30 12 11 1 1059.0000 1007.1018 5.15%
34.20/34.36 c 34 25 24 1 1059.0000 1007.1018 5.15%
39.89/40.00 c * 40 55 54 1 1054.0000 1007.1018 4.66%
39.89/40.00 c 40 55 54 1 1054.0000 1007.1018 4.66%
46.27/46.47 c 46 81 67 1 1054.0000 1007.1703 4.65%
46.97/47.20 c * 47 81 67 1 1053.0000 1007.1703 4.55%
52.65/52.85 c 53 125 86 1 1053.0000 1007.9639 4.47%
53.15/53.33 c * 53 125 86 1 1052.0000 1007.9639 4.37%
58.94/59.19 c 59 186 90 1 1052.0000 1007.9639 4.37%
63.22/63.48 c * 63 204 94 1 1051.0000 1007.9639 4.27%
64.02/64.27 c * 64 204 94 1 1050.0000 1007.9639 4.17%
64.02/64.27 c 64 204 94 1 1050.0000 1007.9639 4.17%
64.92/65.15 c * 65 222 101 1 1049.0000 1007.9639 4.07%
65.92/66.18 c * 66 222 101 1 1048.0000 1007.9639 3.97%
66.11/66.32 c * 66 228 96 1 1047.0000 1007.9639 3.87%
66.11/66.35 c * 66 228 96 1 1046.0000 1007.9639 3.77%
72.90/73.12 c 73 257 94 1 1046.0000 1008.5615 3.71%
78.29/78.54 c 79 332 141 1 1046.0000 1008.5615 3.71%
84.28/84.59 c 85 387 180 1 1046.0000 1008.5615 3.71%
89.36/89.61 c 90 441 216 1 1046.0000 1009.3357 3.63%
91.26/91.56 c * 92 452 225 1 1045.0000 1009.3357 3.53%
95.75/96.09 c 96 477 229 1 1045.0000 1009.3357 3.53%
100.84/101.13 c 101 496 248 1 1045.0000 1009.3357 3.53%
109.21/109.59 c 110 537 279 1 1045.0000 1009.3357 3.53%
116.09/116.45 c 116 562 298 1 1045.0000 1009.3357 3.53%
119.58/119.90 c * 120 573 309 1 1043.0000 1009.3357 3.34%
122.28/122.60 c 123 582 304 1 1043.0000 1009.3357 3.34%
128.56/128.94 c 129 595 317 1 1043.0000 1009.3357 3.34%
133.96/134.39 c 134 611 333 1 1043.0000 1009.3357 3.34%
139.15/139.54 c 140 625 347 1 1043.0000 1009.3357 3.34%
144.83/145.25 c 145 641 363 1 1043.0000 1009.3357 3.34%
150.71/151.13 c 151 655 377 1 1043.0000 1009.3357 3.34%
156.20/156.60 c 157 666 388 1 1043.0000 1009.3357 3.34%
162.28/162.74 c 163 684 406 1 1043.0000 1009.3357 3.34%
169.16/169.67 c 170 696 418 1 1043.0000 1009.3357 3.34%
174.46/174.98 c 175 714 432 1 1043.0000 1009.3357 3.34%
180.64/181.14 c 181 743 449 1 1043.0000 1009.3773 3.33%
187.82/188.38 c 188 759 461 1 1043.0000 1009.3773 3.33%
193.01/193.54 c 194 777 475 1 1043.0000 1010.6819 3.20%
193.11/193.69 c * 194 777 475 1 1041.0000 1010.6819 3.00%
199.60/200.11 c 200 786 466 1 1041.0000 1010.6819 3.00%
205.58/206.11 c 206 802 474 1 1041.0000 1010.6819 3.00%
214.36/214.96 c 215 855 473 1 1041.0000 1010.7500 2.99%
219.55/220.14 c 220 884 482 1 1041.0000 1012.2083 2.84%
226.54/227.13 c 227 957 489 1 1041.0000 1012.4335 2.82%
232.61/233.24 c 233 1012 488 1 1041.0000 1012.8833 2.78%
241.19/241.88 c 242 1024 492 1 1041.0000 1012.9468 2.77%
247.08/247.77 c 248 1063 501 1 1041.0000 1013.0116 2.76%
255.47/256.17 c 256 1094 506 1 1041.0000 1013.5000 2.71%
260.95/261.65 c 262 1172 504 1 1041.0000 1013.7121 2.69%
266.64/267.30 c 267 1252 518 1 1041.0000 1013.7861 2.68%
273.12/273.85 c 274 1257 523 1 1041.0000 1013.7861 2.68%
278.41/279.10 c 279 1327 531 1 1041.0000 1013.8454 2.68%
283.49/284.28 c 284 1376 536 1 1041.0000 1013.8481 2.68%
283.59/284.40 c * 284 1376 536 1 1040.0000 1013.8481 2.58%
283.69/284.42 c * 284 1376 536 1 1039.0000 1013.8481 2.48%
288.99/289.78 c 290 1442 530 1 1039.0000 1014.0981 2.46%
294.57/295.39 c 295 1478 536 1 1039.0000 1014.0981 2.46%
299.76/300.55 c 301 1572 540 1 1039.0000 1014.2194 2.44%
305.14/305.90 c 306 1587 549 1 1039.0000 1014.2194 2.44%
313.52/314.36 c 314 1696 550 1 1039.0000 1014.2548 2.44%
318.71/319.50 c 320 1792 558 1 1039.0000 1014.5057 2.41%
324.30/325.18 c 325 1885 571 1 1039.0000 1014.5057 2.41%
329.29/330.19 c 330 1922 580 1 1039.0000 1014.6667 2.40%
334.97/335.89 c 336 1974 588 1 1039.0000 1014.6667 2.40%
341.96/342.89 c 343 2057 587 1 1039.0000 1014.7562 2.39%
347.25/348.15 c 348 2075 589 1 1039.0000 1015.0000 2.36%
352.43/353.31 c 353 2102 598 1 1039.0000 1015.0000 2.36%
358.13/359.07 c 359 2182 600 1 1039.0000 1015.0000 2.36%
364.01/364.95 c 365 2295 597 1 1039.0000 1015.0000 2.36%
373.78/374.74 c 375 2342 602 1 1039.0000 1015.1820 2.35%
379.86/380.83 c 381 2451 617 1 1039.0000 1015.1820 2.35%
386.75/387.70 c 388 2546 620 1 1039.0000 1015.2853 2.34%
391.94/392.93 c 393 2563 623 1 1039.0000 1015.3190 2.33%
398.22/399.20 c 399 2603 629 1 1039.0000 1015.3495 2.33%
404.61/405.62 c 406 2633 639 1 1039.0000 1015.3750 2.33%
413.49/414.53 c 415 2745 643 1 1039.0000 1015.6290 2.30%
421.08/422.14 c 422 2775 647 1 1039.0000 1015.6326 2.30%
427.46/428.53 c 429 2896 658 1 1039.0000 1015.6326 2.30%
433.04/434.16 c 434 2918 1 1 1039.0000 1015.6326 2.30%
438.83/439.99 c 440 2936 19 1 1039.0000 1015.6326 2.30%
444.02/445.11 c 445 3019 46 1 1039.0000 1015.6326 2.30%
449.31/450.43 c 450 3134 51 1 1039.0000 1016.2155 2.24%
454.49/455.63 c 456 3205 60 1 1039.0000 1016.2155 2.24%
459.89/461.10 c 461 3300 69 1 1039.0000 1016.5946 2.20%
464.97/466.17 c 466 3351 76 1 1039.0000 1016.9372 2.17%
471.05/472.28 c 472 3437 90 1 1039.0000 1017.0509 2.16%
479.73/480.95 c 481 3481 100 1 1039.0000 1017.3827 2.12%
484.82/486.01 c 486 3573 102 1 1039.0000 1017.4477 2.12%
490.21/491.45 c 491 3654 105 1 1039.0000 1017.6392 2.10%
498.79/500.04 c 500 3721 108 1 1039.0000 1017.7277 2.09%
503.77/505.09 c 505 3751 116 1 1039.0000 1017.8205 2.08%
509.65/510.95 c 511 3916 117 1 1039.0000 1017.8961 2.07%
515.44/516.77 c 517 4008 125 1 1039.0000 1017.9414 2.07%
520.84/522.17 c 522 4071 138 1 1039.0000 1018.0421 2.06%
526.12/527.43 c 527 4120 145 1 1039.0000 1018.1539 2.05%
531.41/532.75 c 533 4228 145 1 1039.0000 1018.1868 2.04%
536.90/538.23 c 538 4304 143 1 1039.0000 1018.2304 2.04%
542.98/544.37 c 544 4416 147 1 1039.0000 1018.2315 2.04%
548.47/549.87 c 550 4532 149 1 1039.0000 1018.3170 2.03%
554.26/555.61 c 556 4629 160 1 1039.0000 1018.3183 2.03%
559.65/561.01 c 561 4728 155 1 1039.0000 1018.3382 2.03%
564.63/566.02 c 566 4792 173 1 1039.0000 1018.4557 2.02%
570.72/572.16 c 572 4891 184 1 1039.0000 1018.4756 2.02%
576.30/577.74 c 578 4942 185 1 1039.0000 1018.6321 2.00%
582.09/583.50 c 584 5001 180 1 1039.0000 1018.6331 2.00%
587.78/589.24 c 589 5074 193 1 1039.0000 1018.6875 1.99%
593.27/594.73 c 595 5193 202 1 1039.0000 1018.6875 1.99%
599.15/600.63 c 601 5310 203 1 1039.0000 1018.7377 1.99%
609.03/610.56 c 611 5381 212 1 1039.0000 1018.7687 1.99%
614.11/615.66 c 616 5468 217 1 1039.0000 1018.7905 1.98%
619.31/620.83 c 621 5559 224 1 1039.0000 1018.7905 1.98%
626.49/628.01 c 628 5631 228 1 1039.0000 1018.8528 1.98%
632.37/633.92 c 634 5737 226 1 1039.0000 1018.8544 1.98%
637.76/639.34 c 639 5828 223 1 1039.0000 1018.8544 1.98%
643.75/645.38 c 645 5877 232 1 1039.0000 1018.8712 1.98%
649.73/651.31 c 651 5941 238 1 1039.0000 1018.9777 1.96%
656.42/658.02 c 658 5999 244 1 1039.0000 1019.0919 1.95%
661.70/663.34 c 663 6090 247 1 1039.0000 1019.0919 1.95%
667.39/669.02 c 669 6129 248 1 1039.0000 1019.2268 1.94%
673.28/674.90 c 675 6193 260 1 1039.0000 1019.2660 1.94%
678.97/680.68 c 681 6238 269 1 1039.0000 1019.3212 1.93%
684.55/686.27 c 686 6278 283 1 1039.0000 1019.4283 1.92%
690.44/692.10 c 692 6327 296 1 1039.0000 1019.4294 1.92%
696.02/697.76 c 698 6418 299 1 1039.0000 1019.4816 1.91%
703.20/704.94 c 705 6490 305 1 1039.0000 1019.5286 1.91%
709.39/711.13 c 711 6559 308 1 1039.0000 1019.5335 1.91%
715.77/717.50 c 718 6620 317 1 1039.0000 1019.5475 1.91%
720.76/722.52 c 723 6677 324 1 1039.0000 1019.5900 1.90%
727.25/729.02 c 729 6740 321 1 1039.0000 1019.6200 1.90%
733.93/735.71 c 736 6780 329 1 1039.0000 1019.6761 1.90%
739.32/741.13 c 741 6850 329 1 1039.0000 1019.6761 1.90%
744.60/746.44 c 746 6931 328 1 1039.0000 1019.6761 1.90%
749.89/751.78 c 752 6980 329 1 1039.0000 1019.7180 1.89%
755.87/757.74 c 758 7056 329 1 1039.0000 1019.7180 1.89%
763.16/765.06 c 765 7102 335 1 1039.0000 1019.7180 1.89%
768.45/770.31 c 770 7152 347 1 1039.0000 1019.7747 1.89%
773.93/775.86 c 776 7201 356 1 1039.0000 1019.8935 1.87%
779.12/781.00 c 781 7291 360 1 1039.0000 1019.8935 1.87%
784.50/786.42 c 786 7364 365 1 1039.0000 1019.8935 1.87%
789.79/791.76 c 792 7453 366 1 1039.0000 1019.8935 1.87%
794.98/796.99 c 797 7555 362 1 1039.0000 1019.8935 1.87%
800.86/802.89 c 803 7654 361 1 1039.0000 1019.8935 1.87%
805.95/807.98 c 808 7710 365 1 1039.0000 1019.8996 1.87%
811.84/813.81 c 814 7786 371 1 1039.0000 1019.9043 1.87%
817.13/819.11 c 819 7877 372 1 1039.0000 1019.9043 1.87%
822.32/824.37 c 824 7922 375 1 1039.0000 1019.9470 1.87%
827.61/829.60 c 830 8010 381 1 1039.0000 1020.0851 1.85%
833.49/835.50 c 836 8078 387 1 1039.0000 1020.0975 1.85%
838.68/840.73 c 841 8126 399 1 1039.0000 1020.1018 1.85%
843.86/845.97 c 846 8220 401 1 1039.0000 1020.1018 1.85%
850.45/852.54 c 853 8289 400 1 1039.0000 1020.1663 1.85%
855.73/857.88 c 858 8340 411 1 1039.0000 1020.1811 1.84%
861.22/863.36 c 863 8381 418 1 1039.0000 1020.1927 1.84%
867.01/869.18 c 869 8425 426 1 1039.0000 1020.2353 1.84%
872.10/874.28 c 874 8466 433 1 1039.0000 1020.2589 1.84%
877.89/880.03 c 880 8523 438 1 1039.0000 1020.2667 1.84%
885.66/887.84 c 888 8618 441 1 1039.0000 1020.2740 1.84%
891.05/893.29 c 893 8722 441 1 1039.0000 1020.2740 1.84%
897.04/899.25 c 899 8816 441 1 1039.0000 1020.2748 1.84%
903.83/906.04 c 906 8872 447 1 1039.0000 1020.2805 1.83%
909.21/911.42 c 911 8979 452 1 1039.0000 1020.2805 1.83%
915.60/917.87 c 918 9091 454 1 1039.0000 1020.2805 1.83%
921.28/923.59 c 924 9223 456 1 1039.0000 1020.2805 1.83%
926.67/928.90 c 929 9262 463 1 1039.0000 1020.3345 1.83%
933.55/935.85 c 936 9350 471 1 1039.0000 1020.3389 1.83%
939.24/941.52 c 942 9420 477 1 1039.0000 1020.3502 1.83%
944.73/947.03 c 947 9469 480 1 1039.0000 1020.3573 1.83%
949.91/952.28 c 952 9532 491 1 1039.0000 1020.4053 1.82%
956.90/959.24 c 959 9568 497 1 1039.0000 1020.4694 1.82%
962.79/965.11 c 965 9642 505 1 1039.0000 1020.4880 1.81%
968.48/970.82 c 971 9738 505 1 1039.0000 1020.4880 1.81%
976.56/978.94 c 979 9772 505 1 1039.0000 1020.4884 1.81%
983.53/985.99 c 986 9848 509 1 1039.0000 1020.5304 1.81%
988.92/991.32 c 991 9909 518 1 1039.0000 1020.5451 1.81%
994.30/996.77 c 997 9961 528 1 1039.0000 1020.5591 1.81%
999.39/1001.81 c 1002 10068 523 1 1039.0000 1020.5861 1.80%
1004.37/1006.87 c 1007 10098 525 1 1039.0000 1020.5861 1.80%
1009.76/1012.28 c 1012 10205 528 1 1039.0000 1020.5861 1.80%
1015.05/1017.51 c 1018 10252 531 1 1039.0000 1020.5972 1.80%
1020.93/1023.45 c 1023 10338 535 1 1039.0000 1020.6097 1.80%
1026.81/1029.37 c 1029 10382 539 1 1039.0000 1020.6430 1.80%
1032.50/1035.10 c 1035 10405 546 1 1039.0000 1020.6441 1.80%
1037.98/1040.51 c 1041 10455 552 1 1039.0000 1020.6477 1.80%
1043.06/1045.67 c 1046 10586 553 1 1039.0000 1020.6477 1.80%
1048.24/1050.84 c 1051 10704 559 1 1039.0000 1020.6863 1.79%
1053.83/1056.43 c 1056 10755 564 1 1039.0000 1020.6985 1.79%
1059.41/1062.08 c 1062 10868 575 1 1039.0000 1020.7127 1.79%
1066.39/1069.10 c 1069 10984 577 1 1039.0000 1020.7127 1.79%
1072.27/1074.92 c 1075 11021 582 1 1039.0000 1020.7542 1.79%
1078.96/1081.68 c 1082 11119 584 1 1039.0000 1020.7687 1.79%
1084.15/1086.83 c 1087 11225 590 1 1039.0000 1020.7687 1.79%
1089.74/1092.48 c 1092 11304 591 1 1039.0000 1020.7984 1.78%
1095.22/1097.91 c 1098 11399 588 1 1039.0000 1020.8165 1.78%
1101.10/1103.89 c 1104 11458 599 1 1039.0000 1020.8414 1.78%
1106.30/1109.05 c 1109 11610 599 1 1039.0000 1020.8414 1.78%
1111.88/1114.67 c 1115 11678 605 1 1039.0000 1020.8642 1.78%
1117.97/1120.73 c 1121 11721 616 1 1039.0000 1020.9092 1.77%
1124.85/1127.67 c 1128 11779 628 1 1039.0000 1020.9375 1.77%
1130.64/1133.49 c 1133 11880 623 1 1039.0000 1021.0318 1.76%
1136.33/1139.18 c 1139 11968 631 1 1039.0000 1021.0663 1.76%
1144.00/1146.89 c 1147 12018 643 1 1039.0000 1021.1027 1.75%
1149.69/1152.53 c 1153 12084 653 1 1039.0000 1021.1116 1.75%
1155.38/1158.20 c 1158 12170 651 1 1039.0000 1021.1282 1.75%
1160.56/1163.42 c 1163 12279 658 1 1039.0000 1021.1282 1.75%
1165.75/1168.64 c 1169 12401 656 1 1039.0000 1021.1282 1.75%
1171.45/1174.37 c 1174 12463 664 1 1039.0000 1021.1506 1.75%
1176.63/1179.55 c 1180 12577 670 1 1039.0000 1021.1506 1.75%
1182.32/1185.21 c 1185 12691 674 1 1039.0000 1021.1792 1.75%
1187.51/1190.40 c 1190 12805 678 1 1039.0000 1021.1792 1.75%
1193.10/1196.04 c 1196 12832 681 1 1039.0000 1021.1800 1.75%
1198.68/1201.69 c 1202 12878 687 1 1039.0000 1021.2060 1.74%
1204.37/1207.34 c 1207 12963 694 1 1039.0000 1021.2281 1.74%
1209.85/1212.81 c 1213 13045 696 1 1039.0000 1021.2345 1.74%
1214.94/1217.93 c 1218 13120 699 1 1039.0000 1021.2347 1.74%
1220.32/1223.34 c 1223 13188 709 1 1039.0000 1021.2428 1.74%
1225.71/1228.76 c 1229 13308 713 1 1039.0000 1021.2428 1.74%
1231.50/1234.58 c 1235 13391 722 1 1039.0000 1021.2499 1.74%
1236.60/1239.65 c 1240 13503 724 1 1039.0000 1021.2644 1.74%
1242.78/1245.89 c 1246 13619 724 1 1039.0000 1021.2746 1.74%
1249.26/1252.39 c 1252 13710 733 1 1039.0000 1021.2861 1.73%
1254.45/1257.51 c 1258 13823 742 1 1039.0000 1021.2861 1.73%
1260.04/1263.11 c 1263 13943 754 1 1039.0000 1021.3151 1.73%
1265.72/1268.85 c 1269 14096 771 1 1039.0000 1021.3776 1.73%
1271.21/1274.39 c 1274 14148 775 1 1039.0000 1021.4068 1.72%
1276.30/1279.47 c 1279 14331 774 1 1039.0000 1021.4068 1.72%
1282.08/1285.28 c 1285 14450 779 1 1039.0000 1021.4148 1.72%
1288.47/1291.66 c 1292 14532 779 1 1039.0000 1021.4273 1.72%
1295.55/1298.74 c 1299 14551 788 1 1039.0000 1021.4291 1.72%
1301.43/1304.68 c 1305 14615 802 1 1039.0000 1021.4975 1.71%
1306.83/1310.04 c 1310 14742 805 1 1039.0000 1021.4975 1.71%
1313.21/1316.40 c 1316 14789 810 1 1039.0000 1021.5119 1.71%
1319.49/1322.72 c 1323 14823 816 1 1039.0000 1021.5119 1.71%
1326.07/1329.38 c 1329 14969 810 1 1039.0000 1021.5308 1.71%
1332.15/1335.45 c 1335 15102 815 1 1039.0000 1021.5308 1.71%
1337.65/1340.93 c 1341 15234 809 1 1039.0000 1021.5308 1.71%
1343.03/1346.33 c 1346 15306 815 1 1039.0000 1021.5605 1.71%
1349.72/1353.07 c 1353 15390 821 1 1039.0000 1021.5797 1.71%
1355.40/1358.76 c 1359 15451 824 1 1039.0000 1021.5797 1.71%
1360.89/1364.29 c 1364 15470 831 1 1039.0000 1021.5825 1.70%
1367.77/1371.12 c 1371 15560 835 1 1039.0000 1021.5839 1.70%
1373.55/1376.98 c 1377 15615 840 1 1039.0000 1021.5839 1.70%
1380.23/1383.67 c 1384 15699 840 1 1039.0000 1021.5872 1.70%
1385.52/1388.98 c 1389 15758 849 1 1039.0000 1021.6003 1.70%
1390.61/1394.09 c 1394 15811 858 1 1039.0000 1021.6044 1.70%
1396.19/1399.62 c 1400 15899 860 1 1039.0000 1021.6132 1.70%
1402.48/1405.97 c 1406 15948 865 1 1039.0000 1021.6451 1.70%
1408.96/1412.49 c 1412 15969 870 1 1039.0000 1021.6639 1.70%
1414.65/1418.13 c 1418 16015 884 1 1039.0000 1021.6836 1.69%
1421.23/1424.71 c 1425 16130 885 1 1039.0000 1021.6913 1.69%
1426.72/1430.20 c 1430 16150 889 1 1039.0000 1021.7165 1.69%
1431.90/1435.47 c 1435 16257 892 1 1039.0000 1021.7165 1.69%
1438.29/1441.85 c 1442 16278 899 1 1039.0000 1021.7309 1.69%
1444.97/1448.53 c 1449 16324 907 1 1039.0000 1021.7352 1.69%
1450.16/1453.71 c 1454 16389 914 1 1039.0000 1021.7456 1.69%
1456.24/1459.88 c 1460 16412 921 1 1039.0000 1021.7504 1.69%
1461.63/1465.27 c 1465 16539 920 1 1039.0000 1021.7504 1.69%
1467.43/1471.00 c 1471 16642 927 1 1039.0000 1021.7571 1.69%
1473.60/1477.23 c 1477 16659 930 1 1039.0000 1021.7618 1.69%
1480.68/1484.38 c 1484 16700 941 1 1039.0000 1021.7845 1.68%
1486.77/1490.44 c 1490 16732 949 1 1039.0000 1021.8140 1.68%
1492.55/1496.22 c 1496 16811 952 1 1039.0000 1021.8344 1.68%
1498.54/1502.21 c 1502 16889 954 1 1039.0000 1021.8363 1.68%
1504.23/1507.90 c 1508 16959 958 1 1039.0000 1021.8363 1.68%
1510.01/1513.75 c 1514 17120 957 1 1039.0000 1021.8630 1.68%
1515.20/1518.92 c 1519 17191 968 1 1039.0000 1021.8645 1.68%
1520.98/1524.74 c 1525 17211 974 1 1039.0000 1021.8652 1.68%
1526.56/1530.38 c 1530 17308 981 1 1039.0000 1021.8721 1.68%
1531.86/1535.67 c 1536 17352 983 1 1039.0000 1021.8931 1.67%
1537.74/1541.53 c 1542 17439 990 1 1039.0000 1021.8995 1.67%
1543.23/1547.04 c 1547 17556 987 1 1039.0000 1021.8995 1.67%
1549.11/1552.95 c 1553 17702 989 1 1039.0000 1021.9019 1.67%
1554.20/1558.04 c 1558 17765 1004 1 1039.0000 1021.9176 1.67%
1560.69/1564.53 c 1565 17838 1011 1 1039.0000 1021.9270 1.67%
1565.68/1569.55 c 1570 17925 1020 1 1039.0000 1021.9270 1.67%
1571.66/1575.53 c 1576 18019 1022 1 1039.0000 1021.9289 1.67%
1578.25/1582.13 c 1582 18042 1027 1 1039.0000 1021.9360 1.67%
1584.13/1588.10 c 1588 18125 1036 1 1039.0000 1021.9646 1.67%
1591.41/1595.32 c 1595 18231 1038 1 1039.0000 1021.9685 1.67%
1598.29/1602.26 c 1602 18318 1035 1 1039.0000 1021.9685 1.67%
1604.08/1608.07 c 1608 18347 1038 1 1039.0000 1021.9685 1.67%
1609.67/1613.69 c 1614 18414 1043 1 1039.0000 1021.9745 1.67%
1615.35/1619.33 c 1619 18534 1045 1 1039.0000 1022.0107 1.66%
1621.23/1625.24 c 1625 18588 1049 1 1039.0000 1022.0224 1.66%
1626.72/1630.71 c 1631 18688 1059 1 1039.0000 1022.0224 1.66%
1632.20/1636.29 c 1636 18837 1062 1 1039.0000 1022.0335 1.66%
1637.39/1641.48 c 1641 18918 1069 1 1039.0000 1022.0869 1.65%
1642.88/1646.98 c 1647 18995 1086 1 1039.0000 1022.0985 1.65%
1648.17/1652.24 c 1652 19084 1089 1 1039.0000 1022.1081 1.65%
1653.55/1657.61 c 1658 19178 1089 1 1039.0000 1022.1119 1.65%
1658.74/1662.88 c 1663 19238 1091 1 1039.0000 1022.1119 1.65%
1663.92/1668.00 c 1668 19375 1096 1 1039.0000 1022.1119 1.65%
1669.02/1673.19 c 1673 19458 1093 1 1039.0000 1022.1132 1.65%
1674.90/1679.03 c 1679 19488 1105 1 1039.0000 1022.1409 1.65%
1680.99/1685.16 c 1685 19508 1109 1 1039.0000 1022.1427 1.65%
1687.66/1691.85 c 1692 19609 1114 1 1039.0000 1022.1438 1.65%
1693.05/1697.26 c 1697 19648 1129 1 1039.0000 1022.1625 1.65%
1698.24/1702.48 c 1702 19671 1136 1 1039.0000 1022.1691 1.65%
1703.42/1707.69 c 1708 19710 1151 1 1039.0000 1022.2023 1.64%
1708.61/1712.88 c 1713 19848 1149 1 1039.0000 1022.2156 1.64%
1714.29/1718.51 c 1719 19929 1156 1 1039.0000 1022.2156 1.64%
1722.58/1726.89 c 1727 19952 1159 1 1039.0000 1022.2254 1.64%
1728.46/1732.76 c 1733 20039 1160 1 1039.0000 1022.2272 1.64%
1733.85/1738.16 c 1738 20138 1171 1 1039.0000 1022.2801 1.64%
1739.84/1744.16 c 1744 20149 1178 1 1039.0000 1022.2809 1.64%
1745.32/1749.69 c 1750 20246 1187 1 1039.0000 1022.2878 1.63%
1750.61/1754.93 c 1755 20395 1184 1 1039.0000 1022.2878 1.63%
1755.90/1760.21 c 1760 20500 1183 1 1039.0000 1022.3025 1.63%
1761.89/1766.22 c 1766 20567 1192 1 1039.0000 1022.3047 1.63%
1766.97/1771.32 c 1771 20618 1195 1 1039.0000 1022.3223 1.63%
1773.06/1777.49 c 1777 20708 1199 1 1039.0000 1022.3357 1.63%
1780.14/1784.59 c 1785 20790 1209 1 1039.0000 1022.3463 1.63%
1785.92/1790.32 c 1790 20888 1215 1 1039.0000 1022.3612 1.63%
1791.12/1795.57 c 1796 20968 1225 1 1039.0000 1022.4039 1.62%
1796.30/1800.73 c 1801 21066 1229 1 1039.0000 1022.4039 1.62%
1802.19/1806.65 c 1807 21155 1234 1 1039.0000 1022.4421 1.62%
1807.78/1812.25 c 1812 21255 1242 1 1039.0000 1022.4479 1.62%
1812.96/1817.49 c 1817 21373 1246 1 1039.0000 1022.4479 1.62%
1818.15/1822.67 c 1823 21514 1243 1 1039.0000 1022.4479 1.62%
1824.03/1828.59 c 1829 21611 1244 1 1039.0000 1022.4604 1.62%
1829.12/1833.68 c 1834 21634 1253 1 1039.0000 1022.4604 1.62%
1834.71/1839.20 c 1839 21759 1260 1 1039.0000 1022.4658 1.62%
1839.79/1844.32 c 1844 21891 1256 1 1039.0000 1022.4658 1.62%
1845.18/1849.73 c 1850 21990 1259 1 1039.0000 1022.4787 1.62%
1850.27/1854.88 c 1855 22107 1262 1 1039.0000 1022.4787 1.62%
1856.05/1860.63 c 1861 22199 1260 1 1039.0000 1022.4822 1.62%
1861.24/1865.84 c 1866 22245 1270 1 1039.0000 1022.5250 1.61%
1866.43/1871.02 c 1871 22314 1281 1 1039.0000 1022.5471 1.61%
1871.71/1876.34 c 1876 22422 1285 1 1039.0000 1022.5586 1.61%
1877.30/1881.96 c 1882 22498 1299 1 1039.0000 1022.5669 1.61%
1882.69/1887.33 c 1887 22557 1310 1 1039.0000 1022.5669 1.61%
1889.27/1893.91 c 1894 22608 1317 1 1039.0000 1022.5966 1.60%
1895.36/1900.07 c 1900 22691 1320 1 1039.0000 1022.5966 1.60%
1900.54/1905.27 c 1905 22774 1325 1 1039.0000 1022.6017 1.60%
1906.12/1910.86 c 1911 22828 1329 1 1039.0000 1022.6064 1.60%
1911.92/1916.60 c 1917 22945 1328 1 1039.0000 1022.6064 1.60%
1918.20/1922.98 c 1923 22969 1332 1 1039.0000 1022.6183 1.60%
1923.59/1928.31 c 1928 23095 1334 1 1039.0000 1022.6183 1.60%
1929.47/1934.20 c 1934 23172 1339 1 1039.0000 1022.6183 1.60%
1934.66/1939.47 c 1939 23311 1338 1 1039.0000 1022.6183 1.60%
1940.25/1945.05 c 1945 23356 1345 1 1039.0000 1022.6321 1.60%
1945.43/1950.22 c 1950 23474 1339 1 1039.0000 1022.6321 1.60%
1950.82/1955.61 c 1956 23562 1339 1 1039.0000 1022.6417 1.60%
1956.00/1960.82 c 1961 23600 1347 1 1039.0000 1022.6688 1.60%
1961.20/1966.01 c 1966 23602 1349 1 1039.0000 1022.6688 1.60%
1967.08/1971.98 c 1972 23652 1351 1 1039.0000 1022.6829 1.60%
1973.26/1978.11 c 1978 23748 1351 1 1039.0000 1022.6880 1.60%
1978.35/1983.21 c 1983 23818 1355 1 1039.0000 1022.6967 1.59%
1983.54/1988.40 c 1988 23907 1358 1 1039.0000 1022.6967 1.59%
1988.72/1993.69 c 1994 23974 1363 1 1039.0000 1022.6967 1.59%
1994.91/1999.86 c 2000 24045 1364 1 1039.0000 1022.6967 1.59%
2000.80/2005.70 c 2006 24090 1379 1 1039.0000 1022.7077 1.59%
2006.09/2011.01 c 2011 24144 1383 1 1039.0000 1022.7228 1.59%
2012.76/2017.77 c 2018 24173 1388 1 1039.0000 1022.7402 1.59%
2018.06/2023.01 c 2023 24319 1388 1 1039.0000 1022.7402 1.59%
2023.44/2028.41 c 2028 24373 1396 1 1039.0000 1022.7418 1.59%
2028.92/2033.98 c 2034 24472 1393 1 1039.0000 1022.7418 1.59%
2034.20/2039.28 c 2039 24491 1400 1 1039.0000 1022.7703 1.59%
2039.49/2044.55 c 2045 24525 1412 1 1039.0000 1022.7786 1.59%
2044.79/2049.84 c 2050 24611 1420 1 1039.0000 1022.7855 1.59%
2052.17/2057.24 c 2057 24648 1427 1 1039.0000 1022.8122 1.58%
2057.75/2062.80 c 2063 24708 1435 1 1039.0000 1022.8130 1.58%
2063.63/2068.78 c 2069 24770 1441 1 1039.0000 1022.8137 1.58%
2069.62/2074.70 c 2075 24866 1443 1 1039.0000 1022.8137 1.58%
2074.92/2080.05 c 2080 24974 1443 1 1039.0000 1022.8137 1.58%
2080.40/2085.51 c 2086 25125 1448 1 1039.0000 1022.8137 1.58%
2087.47/2092.69 c 2093 25159 1450 1 1039.0000 1022.8295 1.58%
2093.55/2098.78 c 2099 25177 1458 1 1039.0000 1022.8301 1.58%
2098.84/2104.00 c 2104 25251 1454 1 1039.0000 1022.8301 1.58%
2104.83/2110.05 c 2110 25376 1463 1 1039.0000 1022.8409 1.58%
2110.32/2115.57 c 2116 25428 1467 1 1039.0000 1022.8409 1.58%
2116.70/2121.92 c 2122 25539 1478 1 1039.0000 1022.8423 1.58%
2123.18/2128.44 c 2128 25572 1485 1 1039.0000 1022.8548 1.58%
2128.77/2134.07 c 2134 25677 1490 1 1039.0000 1022.8648 1.58%
2134.06/2139.30 c 2139 25809 1488 1 1039.0000 1022.8750 1.58%
2139.44/2144.73 c 2145 25862 1499 1 1039.0000 1022.8750 1.58%
2145.23/2150.54 c 2151 25934 1505 1 1039.0000 1022.8808 1.58%
2151.51/2156.89 c 2157 26000 1511 1 1039.0000 1022.9090 1.57%
2157.50/2162.81 c 2163 26087 1514 1 1039.0000 1022.9090 1.57%
2162.79/2168.19 c 2168 26145 1520 1 1039.0000 1022.9203 1.57%
2167.97/2173.37 c 2173 26230 1525 1 1039.0000 1022.9315 1.57%
2174.16/2179.51 c 2180 26347 1526 1 1039.0000 1022.9315 1.57%
2180.84/2186.28 c 2186 26380 1535 1 1039.0000 1022.9655 1.57%
2187.73/2193.18 c 2193 26438 1541 1 1039.0000 1023.0173 1.56%
2193.31/2198.78 c 2199 26526 1553 1 1039.0000 1023.0248 1.56%
2199.10/2204.54 c 2205 26548 1555 1 1039.0000 1023.0408 1.56%
2204.78/2210.28 c 2210 26628 1559 1 1039.0000 1023.0495 1.56%
2211.26/2216.70 c 2217 26681 1566 1 1039.0000 1023.0668 1.56%
2217.34/2222.88 c 2223 26780 1569 1 1039.0000 1023.0757 1.56%
2222.43/2227.98 c 2228 26941 1572 1 1039.0000 1023.0757 1.56%
2228.02/2233.53 c 2234 27078 1575 1 1039.0000 1023.0757 1.56%
2234.41/2239.94 c 2240 27111 1582 1 1039.0000 1023.0947 1.55%
2240.79/2246.39 c 2246 27208 1583 1 1039.0000 1023.0947 1.55%
2245.98/2251.52 c 2252 27351 1586 1 1039.0000 1023.0947 1.55%
2251.26/2256.82 c 2257 27448 1587 1 1039.0000 1023.1238 1.55%
2257.15/2262.79 c 2263 27512 1601 1 1039.0000 1023.1262 1.55%
2262.33/2267.99 c 2268 27673 1598 1 1039.0000 1023.1262 1.55%
2269.31/2274.97 c 2275 27798 1601 1 1039.0000 1023.1281 1.55%
2276.10/2281.76 c 2282 27868 1605 1 1039.0000 1023.1327 1.55%
2281.19/2286.82 c 2287 27872 1609 1 1039.0000 1023.1327 1.55%
2286.27/2291.97 c 2292 28016 1609 1 1039.0000 1023.1327 1.55%
2292.46/2298.14 c 2298 28140 1603 1 1039.0000 1023.1360 1.55%
2297.84/2303.55 c 2304 28218 1611 1 1039.0000 1023.1398 1.55%
2302.93/2308.68 c 2309 28358 1607 1 1039.0000 1023.1398 1.55%
2309.82/2315.52 c 2316 28488 1603 1 1039.0000 1023.1569 1.55%
2314.90/2320.61 c 2321 28597 1608 1 1039.0000 1023.1569 1.55%
2320.00/2325.76 c 2326 28738 1607 1 1039.0000 1023.1624 1.55%
2325.59/2331.32 c 2331 28796 1617 1 1039.0000 1023.1624 1.55%
2330.57/2336.37 c 2336 28892 1619 1 1039.0000 1023.1624 1.55%
2336.26/2342.04 c 2342 29017 1620 1 1039.0000 1023.1624 1.55%
2341.74/2347.54 c 2348 29134 1619 1 1039.0000 1023.1624 1.55%
2347.53/2353.30 c 2353 29242 1625 1 1039.0000 1023.1750 1.55%
2352.82/2358.63 c 2359 29354 1631 1 1039.0000 1023.1972 1.54%
2358.70/2364.59 c 2365 29456 1633 1 1039.0000 1023.2046 1.54%
2363.99/2369.88 c 2370 29503 1642 1 1039.0000 1023.2414 1.54%
2369.18/2375.01 c 2375 29568 1651 1 1039.0000 1023.2464 1.54%
2374.27/2380.19 c 2380 29680 1657 1 1039.0000 1023.2464 1.54%
2381.34/2387.21 c 2387 29788 1653 1 1039.0000 1023.2467 1.54%
2386.53/2392.46 c 2392 29888 1659 1 1039.0000 1023.2568 1.54%
2391.82/2397.71 c 2398 29928 1669 1 1039.0000 1023.2768 1.54%
2397.00/2402.95 c 2403 30048 1681 1 1039.0000 1023.2768 1.54%
2402.69/2408.67 c 2409 30123 1688 1 1039.0000 1023.2790 1.54%
2407.88/2413.84 c 2414 30273 1690 1 1039.0000 1023.2790 1.54%
2414.76/2420.70 c 2421 30370 1699 1 1039.0000 1023.2880 1.54%
2421.16/2427.11 c 2427 30428 1709 1 1039.0000 1023.2999 1.53%
2427.64/2433.61 c 2434 30539 1708 1 1039.0000 1023.2999 1.53%
2433.72/2439.70 c 2440 30597 1714 1 1039.0000 1023.2999 1.53%
2438.81/2444.82 c 2445 30763 1714 1 1039.0000 1023.2999 1.53%
2444.00/2450.05 c 2450 30901 1716 1 1039.0000 1023.2999 1.53%
2449.39/2455.41 c 2455 30989 1714 1 1039.0000 1023.3134 1.53%
2454.47/2460.52 c 2461 31081 1726 1 1039.0000 1023.3219 1.53%
2459.56/2465.67 c 2466 31189 1730 1 1039.0000 1023.3369 1.53%
2465.45/2471.51 c 2472 31288 1729 1 1039.0000 1023.3511 1.53%
2470.63/2476.78 c 2477 31402 1733 1 1039.0000 1023.3511 1.53%
2476.22/2482.35 c 2482 31523 1740 1 1039.0000 1023.3540 1.53%
2481.20/2487.36 c 2487 31628 1741 1 1039.0000 1023.3709 1.53%
2486.50/2492.61 c 2493 31686 1751 1 1039.0000 1023.3710 1.53%
2491.68/2497.89 c 2498 31768 1749 1 1039.0000 1023.3838 1.53%
2496.97/2503.10 c 2503 31846 1757 1 1039.0000 1023.3880 1.53%
2502.06/2508.24 c 2508 31981 1756 1 1039.0000 1023.3880 1.53%
2508.04/2514.26 c 2514 32058 1759 1 1039.0000 1023.4031 1.52%
2513.33/2519.52 c 2520 32135 1776 1 1039.0000 1023.4049 1.52%
2518.61/2524.82 c 2525 32236 1787 1 1039.0000 1023.4049 1.52%
2524.00/2530.22 c 2530 32378 1789 1 1039.0000 1023.4057 1.52%
2530.38/2536.61 c 2537 32457 1790 1 1039.0000 1023.4073 1.52%
2536.17/2542.41 c 2542 32538 1797 1 1039.0000 1023.4073 1.52%
2541.66/2547.99 c 2548 32639 1804 1 1039.0000 1023.4087 1.52%
2547.24/2553.50 c 2554 32738 1801 1 1039.0000 1023.4087 1.52%
2552.83/2559.12 c 2559 32860 1797 1 1039.0000 1023.4087 1.52%
2558.41/2564.70 c 2565 32905 1800 1 1039.0000 1023.4126 1.52%
2563.51/2569.82 c 2570 32964 1799 1 1039.0000 1023.4126 1.52%
2569.70/2576.05 c 2576 33069 1800 1 1039.0000 1023.4229 1.52%
2575.18/2581.56 c 2582 33183 1804 1 1039.0000 1023.4238 1.52%
2581.57/2587.97 c 2588 33212 1807 1 1039.0000 1023.4240 1.52%
2588.15/2594.60 c 2595 33222 1811 1 1039.0000 1023.4287 1.52%
2594.54/2600.97 c 2601 33296 1817 1 1039.0000 1023.4292 1.52%
2600.32/2606.71 c 2607 33359 1830 1 1039.0000 1023.4574 1.52%
2607.30/2613.76 c 2614 33428 1841 1 1039.0000 1023.4724 1.52%
2612.88/2619.30 c 2619 33508 1847 1 1039.0000 1023.4732 1.52%
2618.37/2624.88 c 2625 33586 1855 1 1039.0000 1023.4732 1.52%
2624.26/2630.71 c 2631 33647 1864 1 1039.0000 1023.5043 1.51%
2629.65/2636.17 c 2636 33710 1875 1 1039.0000 1023.5172 1.51%
2635.33/2641.84 c 2642 33810 1877 1 1039.0000 1023.5346 1.51%
2640.42/2646.94 c 2647 33893 1880 1 1039.0000 1023.5346 1.51%
2646.40/2652.91 c 2653 34024 1881 1 1039.0000 1023.5408 1.51%
2651.69/2658.28 c 2658 34143 1884 1 1039.0000 1023.5408 1.51%
2658.37/2664.97 c 2665 34202 1887 1 1039.0000 1023.5408 1.51%
2664.05/2670.63 c 2671 34277 1894 1 1039.0000 1023.5491 1.51%
2669.64/2676.20 c 2676 34376 1893 1 1039.0000 1023.5491 1.51%
2675.53/2682.16 c 2682 34444 1897 1 1039.0000 1023.5620 1.51%
2681.21/2687.87 c 2688 34515 1900 1 1039.0000 1023.5744 1.51%
2686.80/2693.40 c 2693 34641 1900 1 1039.0000 1023.5799 1.51%
2692.79/2699.40 c 2699 34716 1903 1 1039.0000 1023.5804 1.51%
2699.48/2706.13 c 2706 34770 1921 1 1039.0000 1023.6092 1.50%
2704.47/2711.16 c 2711 34772 1923 1 1039.0000 1023.6092 1.50%
2710.54/2717.27 c 2717 34827 1928 1 1039.0000 1023.6098 1.50%
2716.13/2722.86 c 2723 34860 1935 1 1039.0000 1023.6235 1.50%
2721.42/2728.19 c 2728 34963 1936 1 1039.0000 1023.6235 1.50%
2728.10/2734.83 c 2735 34989 1942 1 1039.0000 1023.6235 1.50%
2734.39/2741.13 c 2741 35133 1948 1 1039.0000 1023.6297 1.50%
2739.57/2746.38 c 2746 35268 1953 1 1039.0000 1023.6350 1.50%
2745.05/2751.86 c 2752 35357 1958 1 1039.0000 1023.6350 1.50%
2750.04/2756.89 c 2757 35468 1967 1 1039.0000 1023.6464 1.50%
2755.23/2762.01 c 2762 35503 1978 1 1039.0000 1023.6486 1.50%
2761.12/2767.96 c 2768 35573 1988 1 1039.0000 1023.6702 1.50%
2767.11/2773.95 c 2774 35659 1988 1 1039.0000 1023.6764 1.50%
2772.59/2779.46 c 2779 35751 1990 1 1039.0000 1023.6764 1.50%
2777.68/2784.57 c 2785 35791 1990 1 1039.0000 1023.6764 1.50%
2782.87/2789.72 c 2790 35850 1995 1 1039.0000 1023.6876 1.50%
2788.35/2795.29 c 2795 35908 2003 1 1039.0000 1023.6934 1.50%
2793.74/2800.60 c 2801 35994 1999 1 1039.0000 1023.6934 1.50%
2799.32/2806.27 c 2806 36118 2003 1 1039.0000 1023.7037 1.49%
2804.51/2811.46 c 2811 36232 2005 1 1039.0000 1023.7037 1.49%
2810.99/2817.92 c 2818 36261 2010 1 1039.0000 1023.7179 1.49%
2816.08/2823.04 c 2823 36371 2010 1 1039.0000 1023.7179 1.49%
2821.37/2828.33 c 2828 36478 2013 1 1039.0000 1023.7405 1.49%
2826.75/2833.79 c 2834 36532 2019 1 1039.0000 1023.7409 1.49%
2831.84/2838.85 c 2839 36605 2012 1 1039.0000 1023.7409 1.49%
2837.03/2844.04 c 2844 36742 2009 1 1039.0000 1023.7409 1.49%
2844.51/2851.51 c 2852 36782 2015 1 1039.0000 1023.7573 1.49%
2851.00/2858.06 c 2858 36848 2025 1 1039.0000 1023.7754 1.49%
2857.68/2864.75 c 2865 36918 2031 1 1039.0000 1023.7984 1.48%
2862.98/2870.01 c 2870 36993 2048 1 1039.0000 1023.7996 1.48%
2868.26/2875.32 c 2875 37114 2051 1 1039.0000 1023.8004 1.48%
2873.55/2880.62 c 2881 37230 2053 1 1039.0000 1023.8004 1.48%
2879.33/2886.45 c 2886 37324 2061 1 1039.0000 1023.8032 1.48%
2885.31/2892.44 c 2892 37425 2072 1 1039.0000 1023.8124 1.48%
2890.70/2897.89 c 2898 37439 2078 1 1039.0000 1023.8187 1.48%
2895.89/2903.02 c 2903 37578 2079 1 1039.0000 1023.8187 1.48%
2901.47/2908.64 c 2909 37711 2080 1 1039.0000 1023.8364 1.48%
2906.66/2913.82 c 2914 37834 2077 1 1039.0000 1023.8364 1.48%
2912.65/2919.81 c 2920 37918 2077 1 1039.0000 1023.8396 1.48%
2917.83/2925.00 c 2925 38023 2086 1 1039.0000 1023.8396 1.48%
2923.11/2930.36 c 2930 38088 2097 1 1039.0000 1023.8484 1.48%
2928.40/2935.66 c 2936 38231 2096 1 1039.0000 1023.8484 1.48%
2933.59/2940.81 c 2941 38370 2095 1 1039.0000 1023.8484 1.48%
2938.97/2946.21 c 2946 38449 2096 1 1039.0000 1023.8496 1.48%
2944.16/2951.43 c 2951 38504 2099 1 1039.0000 1023.8574 1.48%
2949.85/2957.14 c 2957 38568 2103 1 1039.0000 1023.8636 1.48%
2955.04/2962.30 c 2962 38642 2107 1 1039.0000 1023.8636 1.48%
2960.33/2967.60 c 2968 38741 2108 1 1039.0000 1023.8636 1.48%
2966.12/2973.46 c 2973 38851 2114 1 1039.0000 1023.8666 1.48%
2971.70/2979.01 c 2979 38958 2123 1 1039.0000 1023.8872 1.48%
2977.09/2984.42 c 2984 39025 2128 1 1039.0000 1023.8901 1.48%
2982.37/2989.77 c 2990 39128 2133 1 1039.0000 1023.8925 1.48%
2990.25/2997.67 c 2998 39192 2139 1 1039.0000 1023.8957 1.48%
2996.04/3003.46 c 3003 39230 2145 1 1039.0000 1023.8977 1.47%
3001.13/3008.58 c 3009 39326 2147 1 1039.0000 1023.8977 1.47%
3006.31/3013.78 c 3014 39398 2149 1 1039.0000 1023.9097 1.47%
3011.90/3019.30 c 3019 39418 2157 1 1039.0000 1023.9247 1.47%
3018.89/3026.31 c 3026 39470 2171 1 1039.0000 1023.9435 1.47%
3024.67/3032.16 c 3032 39575 2182 1 1039.0000 1023.9584 1.47%
3029.95/3037.49 c 3037 39690 2183 1 1039.0000 1023.9584 1.47%
3035.94/3043.48 c 3043 39781 2190 1 1039.0000 1023.9780 1.47%
3041.23/3048.70 c 3049 39886 2195 1 1039.0000 1023.9804 1.47%
3047.11/3054.64 c 3055 39953 2200 1 1039.0000 1023.9852 1.47%
3052.30/3059.84 c 3060 40074 2199 1 1039.0000 1023.9852 1.47%
3057.79/3065.34 c 3065 40182 2201 1 1039.0000 1023.9852 1.47%
3062.98/3070.58 c 3071 40317 2200 1 1039.0000 1023.9852 1.47%
3068.97/3076.51 c 3077 40407 2202 1 1039.0000 1023.9957 1.47%
3074.65/3082.22 c 3082 40524 2211 1 1039.0000 1024.0083 1.46%
3080.54/3088.14 c 3088 40645 2220 1 1039.0000 1024.0119 1.46%
3085.72/3093.32 c 3093 40784 2227 1 1039.0000 1024.0119 1.46%
3091.11/3098.72 c 3099 40915 2228 1 1039.0000 1024.0129 1.46%
3096.79/3104.40 c 3104 40998 2229 1 1039.0000 1024.0216 1.46%
3102.28/3109.96 c 3110 41088 2231 1 1039.0000 1024.0217 1.46%
3108.07/3115.70 c 3116 41169 2234 1 1039.0000 1024.0238 1.46%
3113.36/3121.02 c 3121 41190 2241 1 1039.0000 1024.0238 1.46%
3118.74/3126.43 c 3126 41274 2243 1 1039.0000 1024.0238 1.46%
3124.03/3131.75 c 3132 41408 2239 1 1039.0000 1024.0238 1.46%
3129.21/3136.97 c 3137 41512 2243 1 1039.0000 1024.0238 1.46%
3135.00/3142.70 c 3143 41572 2249 1 1039.0000 1024.0351 1.46%
3140.19/3147.92 c 3148 41678 2255 1 1039.0000 1024.0420 1.46%
3145.38/3153.19 c 3153 41799 2264 1 1039.0000 1024.0420 1.46%
3150.57/3158.35 c 3158 41887 2270 1 1039.0000 1024.0531 1.46%
3157.35/3165.15 c 3165 41939 2274 1 1039.0000 1024.0622 1.46%
3162.54/3170.31 c 3170 42017 2282 1 1039.0000 1024.0640 1.46%
3167.82/3175.60 c 3176 42162 2279 1 1039.0000 1024.0640 1.46%
3173.41/3181.24 c 3181 42248 2277 1 1039.0000 1024.0722 1.46%
3180.39/3188.28 c 3188 42352 2279 1 1039.0000 1024.0724 1.46%
3185.88/3193.71 c 3194 42444 2287 1 1039.0000 1024.0727 1.46%
3192.76/3200.63 c 3201 42530 2295 1 1039.0000 1024.0878 1.46%
3198.25/3206.11 c 3206 42582 2311 1 1039.0000 1024.1048 1.45%
3203.24/3211.16 c 3211 42648 2319 1 1039.0000 1024.1093 1.45%
3208.92/3216.87 c 3217 42678 2323 1 1039.0000 1024.1116 1.45%
3214.11/3222.02 c 3222 42785 2326 1 1039.0000 1024.1116 1.45%
3219.20/3227.11 c 3227 42871 2336 1 1039.0000 1024.1172 1.45%
3224.98/3232.94 c 3233 42908 2339 1 1039.0000 1024.1270 1.45%
3230.17/3238.11 c 3238 43002 2341 1 1039.0000 1024.1270 1.45%
3235.35/3243.38 c 3243 43084 2343 1 1039.0000 1024.1390 1.45%
3240.54/3248.59 c 3249 43152 2347 1 1039.0000 1024.1505 1.45%
3246.23/3254.26 c 3254 43245 2354 1 1039.0000 1024.1530 1.45%
3251.32/3259.35 c 3259 43298 2361 1 1039.0000 1024.1638 1.45%
3256.80/3264.82 c 3265 43302 2365 1 1039.0000 1024.1638 1.45%
3262.89/3270.99 c 3271 43371 2372 1 1039.0000 1024.1665 1.45%
3268.47/3276.55 c 3277 43403 2386 1 1039.0000 1024.1747 1.45%
3275.26/3283.38 c 3283 43459 2386 1 1039.0000 1024.1747 1.45%
3282.44/3290.57 c 3291 43528 2383 1 1039.0000 1024.1811 1.45%
3287.93/3296.00 c 3296 43592 2393 1 1039.0000 1024.1813 1.45%
3293.11/3301.20 c 3301 43706 2397 1 1039.0000 1024.1813 1.45%
3298.60/3306.71 c 3307 43798 2413 1 1039.0000 1024.1882 1.45%
3305.39/3313.57 c 3314 43869 2418 1 1039.0000 1024.1914 1.45%
3311.27/3319.43 c 3319 43948 2419 1 1039.0000 1024.2169 1.44%
3316.46/3324.61 c 3325 44011 2426 1 1039.0000 1024.2335 1.44%
3321.55/3329.79 c 3330 44129 2426 1 1039.0000 1024.2335 1.44%
3326.84/3335.05 c 3335 44247 2426 1 1039.0000 1024.2335 1.44%
3332.22/3340.45 c 3340 44316 2429 1 1039.0000 1024.2347 1.44%
3337.51/3345.76 c 3346 44378 2431 1 1039.0000 1024.2563 1.44%
3343.29/3351.55 c 3352 44437 2448 1 1039.0000 1024.2563 1.44%
3349.18/3357.46 c 3357 44566 2455 1 1039.0000 1024.2580 1.44%
3355.06/3363.31 c 3363 44639 2458 1 1039.0000 1024.2756 1.44%
3360.35/3368.63 c 3369 44660 2465 1 1039.0000 1024.2841 1.44%
3366.24/3374.51 c 3375 44751 2466 1 1039.0000 1024.2841 1.44%
3371.73/3380.05 c 3380 44828 2471 1 1039.0000 1024.2881 1.44%
3377.01/3385.39 c 3385 44832 2475 1 1039.0000 1024.2881 1.44%
3382.39/3390.70 c 3391 44901 2480 1 1039.0000 1024.2890 1.44%
3387.98/3396.31 c 3396 44962 2487 1 1039.0000 1024.3113 1.43%
3393.57/3401.92 c 3402 45082 2487 1 1039.0000 1024.3221 1.43%
3399.56/3407.92 c 3408 45157 2488 1 1039.0000 1024.3222 1.43%
3404.76/3413.15 c 3413 45243 2500 1 1039.0000 1024.3222 1.43%
3410.54/3418.92 c 3419 45345 2512 1 1039.0000 1024.3361 1.43%
3417.22/3425.63 c 3426 45473 2518 1 1039.0000 1024.3392 1.43%
3423.71/3432.18 c 3432 45544 2515 1 1039.0000 1024.3392 1.43%
3429.29/3437.75 c 3438 45632 2519 1 1039.0000 1024.3408 1.43%
3435.08/3443.56 c 3444 45739 2530 1 1039.0000 1024.3543 1.43%
3442.36/3450.85 c 3451 45850 2535 1 1039.0000 1024.3757 1.43%
3447.45/3455.96 c 3456 45967 2532 1 1039.0000 1024.3757 1.43%
3452.64/3461.14 c 3461 46048 2549 1 1039.0000 1024.3916 1.43%
3457.92/3466.41 c 3466 46174 2555 1 1039.0000 1024.3916 1.43%
3463.11/3471.67 c 3472 46238 2565 1 1039.0000 1024.4163 1.42%
3468.50/3477.03 c 3477 46268 2569 1 1039.0000 1024.4163 1.42%
3474.28/3482.85 c 3483 46342 2579 1 1039.0000 1024.4186 1.42%
3479.47/3488.04 c 3488 46441 2578 1 1039.0000 1024.4206 1.42%
3484.65/3493.21 c 3493 46577 2574 1 1039.0000 1024.4206 1.42%
3489.84/3498.45 c 3498 46658 2579 1 1039.0000 1024.4275 1.42%
3495.83/3504.45 c 3504 46804 2577 1 1039.0000 1024.4282 1.42%
3501.11/3509.73 c 3510 46923 2576 1 1039.0000 1024.4282 1.42%
3506.20/3514.86 c 3515 47051 2572 1 1039.0000 1024.4282 1.42%
3511.89/3520.54 c 3521 47163 2580 1 1039.0000 1024.4390 1.42%
3517.48/3526.16 c 3526 47205 2584 1 1039.0000 1024.4437 1.42%
3523.06/3531.71 c 3532 47286 2585 1 1039.0000 1024.4451 1.42%
3528.45/3537.18 c 3537 47387 2592 1 1039.0000 1024.4570 1.42%
3534.03/3542.73 c 3543 47497 2594 1 1039.0000 1024.4617 1.42%
3539.92/3548.66 c 3549 47579 2600 1 1039.0000 1024.4634 1.42%
3545.80/3554.54 c 3555 47673 2610 1 1039.0000 1024.4953 1.42%
3550.99/3559.77 c 3560 47773 2620 1 1039.0000 1024.4953 1.42%
3556.67/3565.44 c 3565 47868 2621 1 1039.0000 1024.4989 1.42%
3562.06/3570.87 c 3571 47919 2626 1 1039.0000 1024.4989 1.42%
3567.46/3576.26 c 3576 47991 2630 1 1039.0000 1024.5040 1.41%
3572.84/3581.66 c 3582 48053 2634 1 1039.0000 1024.5073 1.41%
3578.43/3587.29 c 3587 48166 2631 1 1039.0000 1024.5073 1.41%
3583.81/3592.68 c 3593 48271 2632 1 1039.0000 1024.5081 1.41%
3588.90/3597.78 c 3598 48328 2635 1 1039.0000 1024.5081 1.41%
3589.21/3598.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.21/3598.03 c Total Time : 3598.03
3589.21/3598.03 c solving : 3598.03
3589.21/3598.03 c presolving : 0.04 (included in solving)
3589.21/3598.03 c B&B Tree :
3589.21/3598.03 c nodes (total) : 1
3589.21/3598.03 c Solution :
3589.21/3598.03 c Solutions found : 21
3589.21/3598.03 c Primal Bound : +1.03900000000000e+03
3589.21/3598.03 c Dual Bound : +1.02450813008130e+03
3589.21/3598.03 c Gap : 1.41452 %
3589.21/3598.03 c * Warning: final gap: 1.41452e-02 is greater than SCIPepsilon: 1.00000e-09
3589.21/3598.04 o 1039
3589.21/3598.04 s SATISFIABLE
3589.21/3598.04 v -x1961 x1960 x1959 -x1958 -x1957 -x1956 x1955 x1954 x1953 -x1952 x1951 -x1950 x1949 x1948 -x1947 x1946 -x1945 x1944 x1943 x1942
3589.21/3598.04 v -x1941 x1940 -x1939 x1938 -x1937 -x1936 x1935 x1934 -x1933 x1932 -x1931 -x1930 -x1929 -x1928 -x1927 x1926 x1925 x1924 x1923
3589.21/3598.04 v x1922 -x1921 x1920 -x1919 -x1918 x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 x1907 -x1906 -x1905 -x1904
3589.21/3598.04 v -x1903 -x1902 -x1901 x1900 x1899 -x1898 -x1897 -x1896 x1895 x1894 x1893 x1892 -x1891 x1890 -x1889 -x1888 x1887 x1886 -x1885
3589.21/3598.04 v -x1884 -x1883 -x1882 x1881 -x1880 x1879 x1878 -x1877 -x1876 -x1875 x1874 x1873 x1872 -x1871 -x1870 x1869 x1868 -x1867 -x1866
3589.21/3598.04 v -x1865 x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856 x1855 x1854 x1853 -x1852 x1851 -x1850 -x1849 x1848 x1847
3589.21/3598.04 v x1846 x1845 x1844 -x1843 -x1842 -x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 x1833 -x1832 -x1831 -x1830 x1829 x1828 x1827
3589.21/3598.04 v x1826 -x1825 x1824 x1823 -x1822 x1821 x1820 x1819 x1818 x1817 -x1816 -x1815 x1814 -x1813 x1812 x1811 x1810 x1809 x1808 -x1807
3589.21/3598.04 v x1806 -x1805 x1804 x1803 x1802 -x1801 -x1800 x1799 x1798 x1797 -x1796 -x1795 -x1794 x1793 -x1792 x1791 x1790 x1789 x1788
3589.21/3598.04 v x1787 -x1786 x1785 -x1784 x1783 -x1782 -x1781 -x1780 x1779 x1778 x1777 -x1776 x1775 x1774 -x1773 x1772 x1771 -x1770 x1769 x1768
3589.21/3598.04 v -x1767 -x1766 -x1765 -x1764 x1763 -x1762 x1761 x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754 x1753 -x1752 x1751 -x1750
3589.21/3598.04 v x1749 x1748 x1747 -x1746 x1745 x1744 -x1743 -x1742 x1741 -x1740 x1739 -x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730
3589.21/3598.04 v x1729 -x1728 -x1727 x1726 x1725 -x1724 -x1723 -x1722 x1721 -x1720 x1719 x1718 x1717 x1716 -x1715 -x1714 -x1713 -x1712 x1711
3589.21/3598.04 v -x1710 x1709 -x1708 x1707 -x1706 -x1705 -x1704 x1703 -x1702 -x1701 -x1700 x1699 x1698 x1697 -x1696 x1695 x1694 x1693 -x1692
3589.21/3598.04 v -x1691 x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 -x1681 -x1680 x1679 x1678 x1677 x1676 -x1675 -x1674 -x1673
3589.21/3598.04 v -x1672 -x1671 -x1670 x1669 -x1668 x1667 -x1666 x1665 -x1664 x1663 x1662 -x1661 -x1660 -x1659 x1658 -x1657 x1656 x1655 -x1654
3589.21/3598.04 v -x1653 x1652 x1651 -x1650 x1649 -x1648 x1647 -x1646 x1645 -x1644 x1643 x1642 -x1641 -x1640 -x1639 x1638 -x1637 x1636 x1635
3589.21/3598.04 v x1634 x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 x1623 x1622 -x1621 -x1620 x1619 -x1618 -x1617 -x1616
3589.21/3598.04 v x1615 x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 -x1605 x1604 -x1603 x1602 x1601 x1600 x1599 x1598 -x1597 x1596
3589.21/3598.04 v -x1595 -x1594 x1593 x1592 -x1591 x1590 x1589 x1588 -x1587 x1586 x1585 -x1584 -x1583 -x1582 x1581 -x1580 x1579 x1578 x1577
3589.21/3598.04 v x1576 x1575 -x1574 x1573 -x1572 x1571 x1570 -x1569 x1568 x1567 x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 -x1558 -x1557
3589.21/3598.04 v -x1556 x1555 x1554 -x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 -x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 -x1538
3589.21/3598.04 v -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529 x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 -x1521 x1520 -x1519
3589.21/3598.04 v -x1518 -x1517 x1516 -x1515 x1514 x1513 x1512 x1511 -x1510 -x1509 x1508 x1507 x1506 x1505 x1504 x1503 -x1502 x1501 -x1500
3589.21/3598.04 v x1499 x1498 -x1497 -x1496 x1495 x1494 x1493 x1492 -x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485 x1484 x1483 -x1482 x1481 x1480
3589.21/3598.04 v x1479 x1478 x1477 x1476 -x1475 x1474 -x1473 -x1472 x1471 -x1470 -x1469 -x1468 -x1467 x1466 -x1465 x1464 -x1463 x1462 -x1461
3589.21/3598.04 v -x1460 -x1459 -x1458 x1457 -x1456 x1455 -x1454 -x1453 x1452 -x1451 x1450 x1449 -x1448 -x1447 -x1446 -x1445 x1444 x1443 x1442
3589.21/3598.04 v -x1441 x1440 -x1439 -x1438 x1437 x1436 x1435 -x1434 x1433 -x1432 x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 x1424 -x1423
3589.21/3598.04 v x1422 -x1421 x1420 -x1419 x1418 -x1417 x1416 x1415 x1414 -x1413 -x1412 x1411 -x1410 x1409 -x1408 -x1407 x1406 x1405 -x1404 x1403
3589.21/3598.04 v x1402 -x1401 -x1400 x1399 x1398 x1397 x1396 x1395 -x1394 -x1393 x1392 -x1391 x1390 -x1389 x1388 -x1387 -x1386 -x1385 x1384
3589.21/3598.04 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 x1377 -x1376 x1375 -x1374 x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366
3589.21/3598.04 v -x1365 -x1364 x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 -x1347
3589.21/3598.04 v x1346 -x1345 -x1344 x1343 -x1342 x1341 -x1340 x1339 x1338 x1337 x1336 x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328
3589.21/3598.04 v -x1327 x1326 -x1325 x1324 x1323 x1322 x1321 x1320 x1319 -x1318 -x1317 -x1316 x1315 x1314 x1313 -x1312 -x1311 x1310 x1309
3589.21/3598.04 v x1308 x1307 x1306 x1305 x1304 x1303 -x1302 x1301 -x1300 -x1299 -x1298 -x1297 x1296 -x1295 x1294 x1293 -x1292 -x1291 -x1290 x1289
3589.21/3598.04 v x1288 -x1287 -x1286 x1285 -x1284 -x1283 x1282 -x1281 x1280 x1279 -x1278 -x1277 x1276 x1275 x1274 -x1273 x1272 -x1271 x1270
3589.21/3598.04 v x1269 -x1268 x1267 -x1266 -x1265 -x1264 -x1263 x1262 x1261 -x1260 -x1259 x1258 -x1257 x1256 x1255 -x1254 x1253 x1252 x1251
3589.21/3598.04 v x1250 x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232
3589.21/3598.04 v -x1231 -x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 -x1223 -x1222 x1221 x1220 -x1219 x1218 x1217 x1216 -x1215 -x1214 -x1213
3589.21/3598.04 v x1212 x1211 x1210 -x1209 x1208 x1207 -x1206 x1205 x1204 -x1203 x1202 x1201 x1200 x1199 x1198 x1197 -x1196 x1195 x1194 -x1193
3589.21/3598.04 v -x1192 x1191 -x1190 x1189 x1188 x1187 -x1186 x1185 -x1184 x1183 x1182 x1181 x1180 x1179 -x1178 x1177 x1176 x1175 -x1174 x1173
3589.21/3598.04 v x1172 x1171 -x1170 -x1169 x1168 x1167 x1166 x1165 x1164 x1163 x1162 x1161 -x1160 -x1159 -x1158 x1157 x1156 x1155 x1154 -x1153
3589.21/3598.04 v x1152 x1151 x1150 -x1149 x1148 x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 x1140 x1139 x1138 -x1137 x1136 -x1135 x1134
3589.21/3598.04 v -x1133 -x1132 -x1131 x1130 x1129 x1128 -x1127 -x1126 x1125 x1124 -x1123 x1122 x1121 x1120 x1119 x1118 x1117 -x1116 x1115 -x1114
3589.21/3598.04 v x1113 -x1112 -x1111 x1110 x1109 -x1108 x1107 x1106 x1105 x1104 -x1103 -x1102 x1101 x1100 -x1099 -x1098 x1097 -x1096 -x1095
3589.21/3598.04 v -x1094 x1093 x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 x1085 x1084 -x1083 -x1082 x1081 x1080 x1079 x1078 x1077 x1076 -x1075
3589.21/3598.04 v x1074 -x1073 x1072 x1071 -x1070 x1069 -x1068 x1067 -x1066 x1065 x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 -x1057 -x1056
3589.21/3598.04 v -x1055 -x1054 x1053 x1052 -x1051 x1050 x1049 -x1048 -x1047 x1046 -x1045 x1044 -x1043 x1042 x1041 x1040 -x1039 x1038 x1037
3589.21/3598.04 v x1036 x1035 -x1034 x1033 x1032 -x1031 x1030 -x1029 x1028 x1027 -x1026 x1025 x1024 x1023 x1022 -x1021 -x1020 -x1019 -x1018
3589.21/3598.04 v -x1017 x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003 -x1002 x1001 x1000 x999 -x998
3589.21/3598.04 v x997 x996 x995 -x994 -x993 x992 x991 x990 -x989 x988 x987 -x986 -x985 x984 -x983 -x982 x981 -x980 x979 x978 -x977 x976 x975
3589.21/3598.04 v -x974 x973 x972 x971 x970 -x969 x968 x967 -x966 x965 x964 x963 -x962 -x961 x960 x959 -x958 x957 x956 -x955 x954 x953 x952
3589.21/3598.04 v x951 -x950 -x949 x948 x947 -x946 -x945 x944 -x943 -x942 x941 -x940 -x939 -x938 x937 x936 x935 -x934 -x933 x932 x931 x930 -x929
3589.21/3598.04 v x928 x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 -x918 x917 -x916 -x915 -x914 x913 x912 x911 x910 x909 -x908 -x907 x906
3589.21/3598.04 v -x905 x904 -x903 x902 x901 x900 -x899 x898 x897 x896 x895 x894 x893 x892 -x891 -x890 x889 x888 x887 x886 x885 x884 x883 -x882
3589.21/3598.04 v -x881 x880 x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 x870 x869 -x868 x867 -x866 x865 -x864 x863 x862 -x861 -x860
3589.21/3598.04 v x859 x858 -x857 -x856 x855 x854 -x853 x852 x851 x850 x849 x848 x847 -x846 x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 x837
3589.21/3598.04 v -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 x825 x824 -x823 x822 x821 -x820 x819 -x818 x817 x816 x815
3589.21/3598.04 v -x814 x813 x812 -x811 x810 -x809 -x808 x807 x806 -x805 -x804 x803 x802 -x801 x800 x799 x798 x797 x796 -x795 -x794 x793 x792 x791
3589.21/3598.04 v x790 x789 x788 -x787 -x786 x785 x784 x783 x782 -x781 x780 x779 -x778 x777 x776 x775 x774 x773 x772 -x771 -x770 -x769 x768
3589.21/3598.04 v -x767 -x766 -x765 -x764 x763 x762 x761 -x760 x759 -x758 -x757 -x756 -x755 x754 x753 x752 -x751 x750 x749 x748 -x747 x746 -x745
3589.21/3598.04 v x744 x743 x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 x732 x731 x730 x729 x728 -x727 x726 x725 x724 x723 x722
3589.21/3598.04 v -x721 x720 -x719 x718 x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 x709 -x708 x707 -x706 -x705 x704 -x703 -x702 x701 x700
3589.21/3598.04 v -x699 -x698 x697 x696 x695 -x694 -x693 -x692 x691 x690 -x689 -x688 -x687 -x686 x685 -x684 x683 x682 x681 -x680 x679 x678 -x677
3589.21/3598.04 v x676 x675 -x674 x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 x662 -x661 -x660 x659 -x658 x657 x656 -x655
3589.21/3598.04 v x654 x653 x652 -x651 x650 -x649 -x648 -x647 x646 x645 x644 x643 x642 x641 x640 x639 x638 x637 x636 x635 -x634 -x633 x632 x631
3589.21/3598.04 v -x630 x629 -x628 x627 -x626 -x625 x624 x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 x615 -x614 -x613 -x612 x611 x610 -x609
3589.21/3598.04 v -x608 x607 x606 -x605 -x604 -x603 x602 -x601 x600 x599 x598 x597 -x596 -x595 -x594 x593 x592 -x591 x590 x589 x588 x587 x586 x585
3589.21/3598.04 v x584 x583 x582 -x581 -x580 x579 -x578 x577 -x576 x575 -x574 -x573 x572 -x571 x570 x569 -x568 -x567 -x566 -x565 -x564 x563
3589.21/3598.04 v x562 x561 x560 x559 -x558 x557 -x556 -x555 -x554 x553 -x552 x551 -x550 -x549 x548 x547 x546 -x545 x544 -x543 -x542 -x541 -x540
3589.21/3598.04 v x539 -x538 -x537 x536 x535 x534 -x533 -x532 x531 -x530 x529 x528 -x527 -x526 -x525 x524 -x523 x522 -x521 x520 x519 -x518 x517
3589.21/3598.04 v x516 -x515 -x514 -x513 -x512 x511 x510 -x509 x508 x507 x506 x505 x504 x503 -x502 x501 x500 x499 -x498 -x497 x496 x495 x494
3589.21/3598.04 v -x493 x492 -x491 x490 x489 -x488 x487 -x486 x485 x484 -x483 x482 -x481 -x480 x479 x478 -x477 x476 -x475 x474 x473 x472 x471
3589.21/3598.04 v -x470 x469 x468 x467 x466 x465 -x464 -x463 -x462 x461 -x460 x459 x458 -x457 x456 -x455 x454 -x453 x452 -x451 x450 x449 -x448
3589.21/3598.04 v -x447 x446 x445 x444 x443 x442 -x441 x440 x439 x438 -x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 -x427 -x426 -x425 x424
3589.21/3598.04 v -x423 x422 -x421 x420 x419 x418 x417 -x416 -x415 x414 x413 -x412 x411 x410 -x409 -x408 x407 x406 x405 x404 -x403 x402 x401
3589.21/3598.04 v -x400 x399 x398 -x397 -x396 x395 x394 x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 x382 x381 -x380 -x379 -x378
3589.21/3598.04 v x377 x376 -x375 x374 x373 -x372 x371 -x370 -x369 x368 -x367 x366 x365 -x364 x363 x362 -x361 x360 -x359 -x358 x357 x356 -x355
3589.21/3598.04 v x354 -x353 -x352 x351 x350 x349 x348 x347 -x346 x345 x344 -x343 x342 -x341 -x340 x339 x338 -x337 x336 x335 x334 x333 -x332
3589.21/3598.04 v x331 x330 -x329 x328 x327 x326 -x325 -x324 x323 -x322 x321 -x320 x319 x318 x317 x316 x315 x314 -x313 -x312 -x311 -x310 -x309
3589.21/3598.04 v -x308 x307 -x306 x305 -x304 -x303 -x302 x301 x300 -x299 x298 x297 -x296 -x295 x294 x293 -x292 -x291 x290 -x289 -x288 -x287
3589.21/3598.04 v x286 -x285 x284 x283 x282 x281 -x280 x279 x278 x277 -x276 -x275 -x274 x273 x272 -x271 x270 x269 -x268 x267 x266 -x265 x264 x263
3589.21/3598.04 v -x262 -x261 x260 -x259 x258 -x257 x256 -x255 x254 -x253 -x252 -x251 x250 x249 -x248 -x247 x246 x245 -x244 x243 x242 -x241
3589.21/3598.04 v -x240 x239 x238 x237 x236 -x235 x234 x233 x232 -x231 -x230 -x229 x228 x227 -x226 -x225 x224 x223 x222 -x221 -x220 -x219 -x218
3589.21/3598.04 v -x217 x216 -x215 x214 x213 x212 x211 x210 -x209 x208 -x207 -x206 -x205 x204 x203 -x202 x201 -x200 x199 x198 x197 x196 x195 -x194
3589.21/3598.04 v -x193 -x192 x191 x190 -x189 -x188 x187 x186 -x185 x184 x183 -x182 -x181 x180 x179 x178 -x177 x176 -x175 -x174 -x173 -x172
3589.21/3598.04 v -x171 x170 x169 -x168 -x167 -x166 -x165 x164 x163 x162 -x161 x160 x159 x158 -x157 -x156 x155 -x154 x153 x152 -x151 -x150 x149
3589.21/3598.04 v -x148 x147 -x146 -x145 x144 -x143 x142 x141 x140 x139 -x138 -x137 -x136 -x135 x134 -x133 x132 x131 x130 x129 x128 -x127 -x126
3589.21/3598.04 v x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 x117 -x116 -x115 x114 -x113 -x112 x111 x110 x109 -x108 x107 -x106 x105 -x104
3589.21/3598.04 v x103 -x102 x101 x100 -x99 x98 -x97 -x96 x95 x94 x93 x92 -x91 -x90 -x89 x88 x87 x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77
3589.21/3598.04 v -x76 x75 -x74 -x73 x72 x71 -x70 x69 x68 x67 -x66 x65 x64 x63 -x62 -x61 x60 x59 x58 x57 -x56 x55 x54 x53 -x52 x51 -x50 -x49
3589.21/3598.04 v -x48 -x47 x46 x45 x44 -x43 -x42 x41 -x40 x39 -x38 x37 x36 x35 x34 x33 -x32 -x31 x30 x29 x28 -x27 -x26 x25 x24 x23 -x22 x21 x20
3589.21/3598.04 v x19 -x18 -x17 -x16 x15 x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 x5 x4 x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59919 MiB free)
memory of node 1: 64510 MiB (63319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463984-1722378595/watcher-4463984-1722378595 -o /tmp/evaluation-result-4463984-1722378595/solver-4463984-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463984-1722378595.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=28999, runsolver pid=28996
Current StackSize limit: 8192 KiB
[startup+0.100948 s]*
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=126080392/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=130904 memory=49088 CPUtime=0.09 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 10489 0 0 0 8 1 0 0 20 0 3 0 4458051 134045696 12272 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 32726 12272 2790 3035 0 15658 0
[pid=28999/tid=29007] ppid=28996 vsize=130904 memory=4026531971 CPUtime=0.02 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 4098 0 0 0 2 0 0 0 20 0 3 0 4458057 134045696 12272 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=130904 memory=19032 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458058 134045696 12272 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130904 KiB
Current children cumulated memory: 49088 KiB
[startup+0.205764 s]*
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=126009696/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=131844 memory=57244 CPUtime=0.19 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 12452 0 0 0 18 1 0 0 20 0 3 0 4458051 135008256 14311 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 32961 14311 2934 3035 0 17636 0
[pid=28999/tid=29007] ppid=28996 vsize=131844 memory=664970838410264707 CPUtime=0.12 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 6061 0 0 0 12 0 0 0 20 0 3 0 4458057 135008256 14311 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=131844 memory=19032 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458058 135008256 14311 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 131844 KiB
Current children cumulated memory: 57244 KiB
[startup+0.305786 s]*
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125917000/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=131844 memory=57508 CPUtime=0.29 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 12469 0 0 0 28 1 0 0 20 0 3 0 4458051 135008256 14377 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 32961 14377 2934 3035 0 17652 0
[pid=28999/tid=29007] ppid=28996 vsize=131844 memory=-5155633513602706565 CPUtime=0.22 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 6078 0 0 0 22 0 0 0 20 0 3 0 4458057 135008256 14377 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=131844 memory=0 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458058 135008256 14377 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131844 KiB
Current children cumulated memory: 57508 KiB
[startup+0.700177 s]
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125906304/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=131844 memory=61240 CPUtime=0.69 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 13397 0 0 0 67 2 0 0 20 0 3 0 4458051 135008256 15310 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 32961 15310 2950 3035 0 18710 0
[pid=28999/tid=29007] ppid=28996 vsize=131844 memory=0 CPUtime=0.61 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 7006 0 0 0 61 0 0 0 20 0 3 0 4458057 135008256 15310 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=131844 memory=0 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458058 135008256 15310 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131844 KiB
Current children cumulated memory: 61240 KiB
[startup+1.50022 s]
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125895592/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=132812 memory=69308 CPUtime=1.48 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 19343 0 0 0 146 2 0 0 20 0 3 0 4458051 135999488 17327 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 33203 17327 2950 3035 0 20911 0
[pid=28999/tid=29007] ppid=28996 vsize=132812 memory=0 CPUtime=1.41 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 12952 0 0 0 140 1 0 0 20 0 3 0 4458057 135999488 17327 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=132812 memory=0 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458058 135999488 17327 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 132812 KiB
Current children cumulated memory: 69308 KiB
[startup+3.10558 s]
/proc/loadavg: 0.32 0.16 0.10 5/264 29010
/proc/meminfo: memFree=125832072/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=141972 memory=101788 CPUtime=3.08 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 28145 0 0 0 305 3 0 0 20 0 3 0 4458051 145379328 25447 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 35493 25447 2950 3035 0 29178 0
[pid=28999/tid=29007] ppid=28996 vsize=141972 memory=0 CPUtime=3.01 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 21753 0 0 0 299 2 0 0 20 0 3 0 4458057 145379328 25447 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=141972 memory=4051042880035516913 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4458058 145379328 25447 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141972 KiB
Current children cumulated memory: 101788 KiB
[startup+6.30017 s]
/proc/loadavg: 0.85 0.27 0.14 5/266 29012
/proc/meminfo: memFree=125416152/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=205460 memory=149624 CPUtime=6.27 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 53179 0 0 0 621 6 0 0 20 0 3 0 4458051 210391040 37406 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 51365 37406 2950 3035 0 41168 0
[pid=28999/tid=29007] ppid=28996 vsize=205460 memory=0 CPUtime=6.2 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 46786 0 0 0 615 5 0 0 20 0 3 0 4458057 210391040 37406 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=205460 memory=109048 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4458058 210391040 37406 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 205460 KiB
Current children cumulated memory: 149624 KiB
[startup+12.7002 s]
/proc/loadavg: 1.11 0.33 0.16 5/266 29014
/proc/meminfo: memFree=125273908/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=270996 memory=203452 CPUtime=12.65 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 98213 0 0 0 1256 9 0 0 20 0 3 0 4458051 277499904 50863 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 67749 50863 2950 3035 0 56560 0
[pid=28999/tid=29007] ppid=28996 vsize=270996 memory=-5155629076750560389 CPUtime=12.58 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 91818 0 0 0 1250 8 0 0 20 0 3 0 4458057 277499904 50863 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=270996 memory=0 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4458058 277499904 50863 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 270996 KiB
Current children cumulated memory: 203452 KiB
[startup+25.5002 s]
/proc/loadavg: 1.75 0.51 0.22 5/266 29015
/proc/meminfo: memFree=125199720/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=270996 memory=204132 CPUtime=25.42 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 105374 0 0 0 2532 10 0 0 20 0 3 0 4458051 277499904 51033 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 67749 51033 2950 3035 0 56560 0
[pid=28999/tid=29007] ppid=28996 vsize=270996 memory=204004 CPUtime=25.35 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 98920 0 0 0 2526 9 0 0 20 0 3 0 4458057 277499904 51033 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=270996 memory=636 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4458058 277499904 51033 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 270996 KiB
Current children cumulated memory: 204132 KiB
[startup+51.1058 s]
/proc/loadavg: 2.58 0.81 0.33 5/271 29081
/proc/meminfo: memFree=124056212/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=336532 memory=255740 CPUtime=50.96 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 188175 0 0 0 5080 16 0 0 20 0 3 0 4458051 344608768 63935 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 84133 63935 2998 3035 0 69160 0
[pid=28999/tid=29007] ppid=28996 vsize=336532 memory=242316 CPUtime=50.89 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 180561 0 0 0 5074 15 0 0 20 0 3 0 4458057 344608768 63935 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=336532 memory=2164 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4458058 344608768 63935 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 336532 KiB
Current children cumulated memory: 255740 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.32 0.53 5/270 29092
/proc/meminfo: memFree=123652744/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=333776 memory=282036 CPUtime=102.03 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 262188 0 0 0 10181 22 0 0 20 0 3 0 4458051 341786624 70509 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 83444 70509 2998 3035 0 76572 0
[pid=28999/tid=29007] ppid=28996 vsize=333776 memory=11584 CPUtime=101.96 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 253744 0 0 0 10175 21 0 0 20 0 3 0 4458057 341786624 70509 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=333776 memory=11584 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4458058 341786624 70509 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 333776 KiB
Current children cumulated memory: 282036 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.83 0.76 5/270 29102
/proc/meminfo: memFree=123525196/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=464848 memory=376884 CPUtime=161.89 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 360561 0 0 0 16157 32 0 0 20 0 3 0 4458051 476004352 94221 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 116212 94221 2998 3035 0 101887 0
[pid=28999/tid=29007] ppid=28996 vsize=464848 memory=289756 CPUtime=161.8 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 351938 0 0 0 16150 30 0 0 20 0 3 0 4458057 476004352 94221 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=464848 memory=12744 CPUtime=0 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4458058 476004352 94221 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 464848 KiB
################
# More data... #
################
/proc/28999/statm: 136346 120787 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=483148 CPUtime=3393.72 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1287141 0 0 0 339262 110 0 0 20 0 3 0 4458057 558473216 120787 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=483148 CPUtime=0.02 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 98 0 0 0 0 2 0 0 20 0 3 0 4458058 558473216 120787 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.08 5/264 30652
/proc/meminfo: memFree=122092076/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483284 CPUtime=3453.83 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1302151 0 0 0 345265 118 0 0 20 0 3 0 4458051 558473216 120821 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120821 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=483148 CPUtime=3453.57 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1291429 0 0 0 345247 110 0 0 20 0 3 0 4458057 558473216 120821 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=483284 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 99 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120821 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3453.83 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/266 30832
/proc/meminfo: memFree=122080388/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483284 CPUtime=3513.68 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1306170 0 0 0 351250 118 0 0 20 0 3 0 4458051 558473216 120821 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120821 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=483284 CPUtime=3513.42 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1295429 0 0 0 351232 110 0 0 20 0 3 0 4458057 558473216 120821 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=483284 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 100 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120821 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.09 5/266 30842
/proc/meminfo: memFree=122077452/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3573.54 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1309987 0 0 0 357235 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=483380 CPUtime=3573.27 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299229 0 0 0 357216 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=11584 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
[startup+3598.05 s]
# the end of solver process 28999 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.06 s, system=1.19897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.09 5/266 30842
/proc/meminfo: memFree=122077460/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3575.24 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1309988 0 0 0 357405 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=13172 CPUtime=3574.97 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299230 0 0 0 357386 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=4355707188858744474 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3575.24 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076076/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3581.62 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1309994 0 0 0 358043 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=139640593973409 CPUtime=3581.35 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299236 0 0 0 358024 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=279281187946752 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3581.62 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076012/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3584.81 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1309999 0 0 0 358362 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=4904 CPUtime=3584.55 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299241 0 0 0 358344 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=483380 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076040/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3586.41 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1310297 0 0 0 358522 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=12856 CPUtime=3586.14 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299530 0 0 0 358503 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=-7017853435446911095 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3586.41 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.15 4.09 5/266 30844
/proc/meminfo: memFree=122076000/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3588 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1310421 0 0 0 358681 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=164 CPUtime=3587.74 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299654 0 0 0 358663 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=483380 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3588 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 30844
/proc/meminfo: memFree=122156236/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3588.8 cores=5,7
/proc/28999/stat : 28999 (fscip) S 28996 28999 28833 0 -1 1077936128 1310460 0 0 0 358761 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=11584 CPUtime=3588.54 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299693 0 0 0 358743 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=5560 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
[startup+3598 s]*
/proc/loadavg: 4.14 4.15 4.09 5/260 30859
/proc/meminfo: memFree=123784044/131524600 swapFree=131071996/131071996
[pid=28999] ppid=28996 vsize=545384 memory=483380 CPUtime=3589.21 cores=5,7
/proc/28999/stat : 28999 (fscip) R 28996 28999 28833 0 -1 1077936128 1310523 0 0 0 358802 119 0 0 20 0 3 0 4458051 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
/proc/28999/statm: 136346 120845 2998 3035 0 125320 0
[pid=28999/tid=29007] ppid=28996 vsize=545384 memory=-7812483601909447288 CPUtime=3588.94 cores=5,7
/proc/28999/task/29007/stat : 29007 (fscip) R 28996 28999 28833 0 -1 4194368 1299753 0 0 0 358783 111 0 0 20 0 3 0 4458057 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
[pid=28999/tid=29008] ppid=28996 vsize=545384 memory=2120 CPUtime=0.03 cores=5,7
/proc/28999/task/29008/stat : 29008 (fscip) S 28996 28999 28833 0 -1 1077936192 101 0 0 0 1 2 0 0 20 0 3 0 4458058 558473216 120845 134679101440 4194304 16623229 140725389968976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46223360 140725389976598 140725389976714 140725389976714 140725389983728 0
Current children cumulated CPU time: 3589.21 s
Current children cumulated vsize: 545384 KiB
Current children cumulated memory: 483380 KiB
Child status: 0
Real time (s): 3598.05
CPU time (s): 3589.26
CPU user time (s): 3588.06
CPU system time (s): 1.19897
CPU usage (%): 99.7557
Max. virtual memory (cumulated for all children) (KiB): 545384
Max. memory (cumulated for all children) (KiB): 483380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.06
system time used= 1.19897
maximum resident set size= 485440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1312008
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= 9442
involuntary context switches= 1816
# summary of solver processes directly reported to runsolver:
# pid: 28999
# total CPU time (s): 3589.26
# total CPU user time (s): 3588.06
# total CPU system time (s): 1.19897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82588 second user time and 16.5563 second system time
The end
Begin job on nodeC022 at 2024-07-31 00:29:55
IDJOB=4463984
IDBENCH=147527
IDSOLVER=3092
FILE ID=nodeC022/4463984-1722378595
RUNJOBID= nodeC022-1722378594-28848
SLURM_JOB_ID= 8249845
Free space on /tmp= 890016 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.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-4463984-1722378595/watcher-4463984-1722378595 -o /tmp/evaluation-result-4463984-1722378595/solver-4463984-1722378595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463984-1722378595.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fbd32e707c8d4aa66e3f5cddd7aa4984
RANDOM SEED=1453536771
nodeC022.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 : 3672.005
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 : 7000.46
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 : 3569.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3600.405
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 : 7000.46
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 : 3602.263
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
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 : 3672.032
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 : 7000.46
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 : 3600.017
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.753
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 : 7000.46
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 : 3614.997
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126223704 kB
MemAvailable: 129084024 kB
Buffers: 91008 kB
Cached: 3574596 kB
SwapCached: 0 kB
Active: 260684 kB
Inactive: 4499612 kB
Active(anon): 1500 kB
Inactive(anon): 1114536 kB
Active(file): 259184 kB
Inactive(file): 3385076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 124176 kB
Writeback: 28 kB
AnonPages: 1094760 kB
Mapped: 110396 kB
Shmem: 21336 kB
KReclaimable: 111416 kB
Slab: 199012 kB
SReclaimable: 111416 kB
SUnreclaim: 87596 kB
KernelStack: 4076 kB
PageTables: 11092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1469412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC022 at 2024-07-31 01:29:54