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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 32542720, getVmSize() = 32542720, SCIPgetMemUsed() = 8864090, SCIPgetMemTotal() = 10624546, SCIPgetMemExternEstim() = 5423906
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.17 c ** Estimated virtualMemUsedAtSolver = 24969216, getVmSize() = 42364928, SCIPgetMemUsed() = 10330439, SCIPgetMemTotal() = 19002351, SCIPgetMemExternEstim() = 5423906
0.09/0.17 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.17 c Original Problem :
0.09/0.17 c Problem name : instance-4463985-1722378596
0.09/0.17 c Variables : 1964 (1964 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.17 c Constraints : 4000
0.09/0.17 c Objective sense : minimize
0.09/0.17 c Presolved Problem :
0.09/0.17 c Variables : 1517 (1517 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.17 c Constraints : 2928
0.09/0.17 c Constraints : Number
0.09/0.17 c setppc : 2928
0.09/0.17 c ** Instance transfer method used: 0
0.09/0.18 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.20 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.20 c Nodes Active
0.09/0.20 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.20/0.23 c * 0 0 1 1 1734.0000 - -
0.29/0.39 c * 0 0 1 1 1153.0000 - -
0.29/0.40 c * 0 0 1 1 1072.0000 - -
0.38/0.45 c * 0 0 1 1 1067.0000 - -
11.82/11.94 c * 12 0 1 1 1056.0000 - -
11.82/11.94 c 12 0 1 1 1056.0000 - -
11.82/11.94 c * 12 0 1 1 1054.0000 - -
17.80/17.95 c 18 4 3 1 1054.0000 999.6200 5.44%
23.78/23.94 c 24 8 7 1 1054.0000 999.6200 5.44%
29.27/29.42 c 29 42 41 1 1054.0000 999.6200 5.44%
29.56/29.74 c * 30 42 41 1 1043.0000 999.6200 4.34%
34.35/34.53 c 35 70 61 1 1043.0000 999.9110 4.31%
34.96/35.17 c * 35 70 61 1 1042.0000 999.9110 4.21%
35.04/35.24 c * 35 70 61 1 1041.0000 999.9110 4.11%
40.74/40.90 c 41 170 76 1 1041.0000 1000.0478 4.10%
43.42/43.62 c * 44 188 84 1 1040.0000 1000.4804 3.95%
46.31/46.51 c 46 238 111 1 1040.0000 1000.4804 3.95%
50.80/51.07 c * 51 252 109 1 1039.0000 1000.4804 3.85%
50.91/51.14 c * 51 263 102 1 1038.0000 1000.4804 3.75%
52.91/53.18 c 53 352 102 1 1038.0000 1000.6331 3.73%
57.89/58.19 c 58 392 122 1 1038.0000 1002.1687 3.58%
63.66/63.96 c 64 447 133 1 1038.0000 1002.2380 3.57%
69.04/69.32 c 69 552 140 1 1038.0000 1002.6886 3.52%
74.22/74.56 c 75 565 149 1 1038.0000 1002.7578 3.51%
79.72/80.02 c 80 695 157 1 1038.0000 1002.9424 3.50%
85.49/85.87 c 86 777 175 1 1038.0000 1003.7435 3.41%
87.19/87.51 c * 88 838 176 1 1037.0000 1003.7435 3.31%
90.70/91.04 c 91 897 175 1 1037.0000 1003.8552 3.30%
96.56/96.92 c 97 995 187 1 1037.0000 1003.9921 3.29%
101.76/102.18 c 102 1145 193 1 1037.0000 1004.0789 3.28%
108.42/108.88 c 109 1294 198 1 1037.0000 1004.3687 3.25%
110.73/111.15 c * 111 1304 202 1 1036.0000 1004.3687 3.15%
114.11/114.55 c 115 1394 203 1 1036.0000 1004.3750 3.15%
119.79/120.21 c 120 1432 213 1 1036.0000 1004.4170 3.14%
125.38/125.89 c 126 1477 224 1 1036.0000 1004.4829 3.14%
131.36/131.85 c 132 1595 234 1 1036.0000 1004.7134 3.11%
137.74/138.23 c 138 1822 237 1 1036.0000 1004.8769 3.10%
145.62/146.18 c 146 1913 250 1 1036.0000 1004.9361 3.09%
152.39/152.92 c 153 2072 265 1 1036.0000 1005.2618 3.06%
157.78/158.30 c 158 2106 277 1 1036.0000 1005.3143 3.05%
165.65/166.29 c 166 2143 286 1 1036.0000 1005.4251 3.04%
171.55/172.15 c 172 2354 297 1 1036.0000 1005.5000 3.03%
176.93/177.55 c * 178 2446 301 1 1035.0000 1005.5174 2.93%
176.93/177.55 c 178 2446 301 1 1035.0000 1005.5174 2.93%
182.31/182.98 c 183 2504 305 1 1035.0000 1005.6667 2.92%
188.19/188.89 c 189 2618 315 1 1035.0000 1005.7040 2.91%
189.88/190.50 c * 190 2645 314 1 1034.0000 1005.7040 2.81%
193.57/194.25 c 194 2761 322 1 1034.0000 1005.7040 2.81%
200.36/201.04 c 201 2805 330 1 1034.0000 1005.7696 2.81%
207.83/208.51 c 209 2877 344 1 1034.0000 1005.8542 2.80%
213.33/214.09 c 214 2947 348 1 1034.0000 1005.8678 2.80%
218.50/219.20 c 219 2992 351 1 1034.0000 1006.0000 2.78%
223.98/224.72 c 225 3062 365 1 1034.0000 1006.0556 2.78%
230.38/231.18 c 231 3093 372 1 1034.0000 1006.1130 2.77%
237.04/237.89 c 238 3137 388 1 1034.0000 1006.1458 2.77%
243.02/243.83 c 244 3291 386 1 1034.0000 1006.1458 2.77%
248.70/249.56 c 250 3350 391 1 1034.0000 1006.2162 2.76%
254.30/255.11 c 255 3444 391 1 1034.0000 1006.2162 2.76%
259.29/260.12 c 260 3513 396 1 1034.0000 1006.3389 2.75%
264.27/265.15 c 265 3620 405 1 1034.0000 1006.3389 2.75%
271.74/272.64 c 273 3693 414 1 1034.0000 1006.6694 2.71%
276.92/277.89 c 278 3732 425 1 1034.0000 1006.6986 2.71%
282.51/283.41 c 283 3862 433 1 1034.0000 1006.7872 2.70%
287.69/288.66 c 289 3885 444 1 1034.0000 1006.7957 2.70%
292.77/293.73 c 294 3952 451 1 1034.0000 1006.9073 2.69%
298.46/299.41 c 299 4027 460 1 1034.0000 1006.9634 2.68%
304.34/305.33 c 305 4142 469 1 1034.0000 1006.9673 2.68%
310.42/311.47 c 311 4186 479 1 1034.0000 1006.9789 2.68%
315.60/316.65 c 317 4255 484 1 1034.0000 1007.0348 2.68%
320.79/321.80 c 322 4315 492 1 1034.0000 1007.0368 2.68%
325.88/326.94 c 327 4352 503 1 1034.0000 1007.1270 2.67%
331.76/332.89 c 333 4440 507 1 1034.0000 1007.1270 2.67%
338.44/339.52 c 340 4546 519 1 1034.0000 1007.1831 2.66%
344.52/345.69 c 346 4575 528 1 1034.0000 1007.2284 2.66%
352.01/353.12 c 353 4665 536 1 1034.0000 1007.2330 2.66%
359.38/360.56 c 361 4745 550 1 1034.0000 1007.3571 2.64%
365.36/366.56 c 367 4816 561 1 1034.0000 1007.4027 2.64%
371.53/372.70 c 373 4906 563 1 1034.0000 1007.4027 2.64%
377.22/378.48 c 378 4967 564 1 1034.0000 1007.4028 2.64%
383.00/384.20 c 384 5148 559 1 1034.0000 1007.4028 2.64%
390.58/391.82 c 392 5205 564 1 1034.0000 1007.5000 2.63%
409.42/410.78 c 411 5273 1 1 1034.0000 1007.5973 2.62%
415.11/416.41 c 416 5335 27 1 1034.0000 1007.5973 2.62%
421.70/423.05 c 423 5456 38 1 1034.0000 1007.9461 2.58%
427.57/428.94 c 429 5652 42 1 1034.0000 1008.0526 2.57%
432.67/434.05 c 434 5696 48 1 1034.0000 1008.1233 2.57%
438.25/439.64 c 440 5818 64 1 1034.0000 1008.3261 2.55%
443.44/444.82 c 445 5998 64 1 1034.0000 1008.3261 2.55%
448.53/450.01 c 450 6163 75 1 1034.0000 1008.6757 2.51%
454.31/455.79 c 456 6345 89 1 1034.0000 1008.9416 2.48%
460.19/461.64 c 462 6489 99 1 1034.0000 1009.0499 2.47%
466.08/467.57 c 468 6690 100 1 1034.0000 1009.1311 2.46%
471.86/473.31 c 473 6838 108 1 1034.0000 1009.1359 2.46%
477.25/478.74 c 479 7006 108 1 1034.0000 1009.2737 2.45%
482.44/483.94 c 484 7158 114 1 1034.0000 1009.2737 2.45%
488.33/489.85 c 490 7267 113 1 1034.0000 1009.3607 2.44%
493.81/495.36 c 495 7417 125 1 1034.0000 1009.4683 2.43%
500.29/501.84 c 502 7486 140 1 1034.0000 1009.5984 2.42%
506.49/508.03 c 508 7577 147 1 1034.0000 1009.6408 2.41%
511.57/513.18 c 513 7617 151 1 1034.0000 1009.6618 2.41%
516.95/518.57 c 519 7707 157 1 1034.0000 1009.7312 2.40%
522.04/523.65 c 524 7765 159 1 1034.0000 1009.9379 2.38%
527.33/528.95 c 529 7893 165 1 1034.0000 1009.9738 2.38%
533.81/535.45 c 535 8002 172 1 1034.0000 1009.9836 2.38%
539.20/540.89 c 541 8096 190 1 1034.0000 1010.0757 2.37%
545.88/547.58 c 548 8267 187 1 1034.0000 1010.1266 2.36%
551.77/553.42 c 553 8303 197 1 1034.0000 1010.1474 2.36%
557.37/559.01 c 559 8457 205 1 1034.0000 1010.1534 2.36%
562.55/564.26 c 564 8553 207 1 1034.0000 1010.1697 2.36%
567.93/569.63 c 570 8620 216 1 1034.0000 1010.1865 2.36%
574.52/576.24 c 576 8747 219 1 1034.0000 1010.2287 2.35%
580.10/581.88 c 582 8812 228 1 1034.0000 1010.2664 2.35%
585.19/587.01 c 587 9006 228 1 1034.0000 1010.2664 2.35%
592.96/594.76 c * 595 9107 229 1 1032.0000 1010.2664 2.15%
592.96/594.76 c 595 9107 229 1 1032.0000 1010.2664 2.15%
598.15/599.96 c 600 9263 226 1 1032.0000 1010.2664 2.15%
603.44/605.21 c 605 9410 231 1 1032.0000 1010.2664 2.15%
608.83/610.63 c 611 9486 239 1 1032.0000 1010.2899 2.15%
614.81/616.61 c 617 9595 242 1 1032.0000 1010.3072 2.15%
620.31/622.13 c 622 9693 254 1 1032.0000 1010.4152 2.14%
626.29/628.17 c 628 9767 266 1 1032.0000 1010.4369 2.13%
631.66/633.53 c 634 9967 272 1 1032.0000 1010.4657 2.13%
636.65/638.59 c 639 10105 280 1 1032.0000 1010.5856 2.12%
642.53/644.46 c 644 10218 291 1 1032.0000 1010.6435 2.11%
648.51/650.42 c 650 10334 303 1 1032.0000 1010.7333 2.10%
654.29/656.28 c 656 10365 312 1 1032.0000 1010.7385 2.10%
660.09/662.07 c 662 10529 320 1 1032.0000 1010.7750 2.10%
665.26/667.29 c 667 10763 316 1 1032.0000 1010.8004 2.10%
670.66/672.62 c 673 10923 326 1 1032.0000 1010.8570 2.09%
676.54/678.52 c 679 10969 332 1 1032.0000 1010.8570 2.09%
681.73/683.73 c 684 11063 334 1 1032.0000 1010.8729 2.09%
686.92/688.91 c 689 11174 337 1 1032.0000 1010.8729 2.09%
692.02/694.11 c 694 11240 355 1 1032.0000 1010.9109 2.09%
698.10/700.12 c 700 11358 359 1 1032.0000 1010.9198 2.09%
703.57/705.62 c 706 11413 366 1 1032.0000 1010.9320 2.08%
709.16/711.22 c 711 11486 371 1 1032.0000 1010.9630 2.08%
714.75/716.80 c 717 11596 375 1 1032.0000 1010.9790 2.08%
720.13/722.30 c 722 11663 382 1 1032.0000 1011.0333 2.07%
727.04/729.15 c 729 11777 394 1 1032.0000 1011.0465 2.07%
732.61/734.71 c 735 11888 403 1 1032.0000 1011.0829 2.07%
737.91/740.05 c 740 11933 406 1 1032.0000 1011.1095 2.07%
743.48/745.60 c 746 12113 408 1 1032.0000 1011.1095 2.07%
748.77/750.99 c 751 12243 412 1 1032.0000 1011.1786 2.06%
754.05/756.21 c 756 12395 416 1 1032.0000 1011.1859 2.06%
759.63/761.86 c 762 12502 427 1 1032.0000 1011.2544 2.05%
766.01/768.21 c 768 12633 432 1 1032.0000 1011.2728 2.05%
771.29/773.56 c 774 12741 450 1 1032.0000 1011.2799 2.05%
776.79/779.03 c 779 12845 460 1 1032.0000 1011.3072 2.05%
781.97/784.30 c 784 12969 468 1 1032.0000 1011.3294 2.04%
787.87/790.12 c 790 13103 474 1 1032.0000 1011.3730 2.04%
793.13/795.40 c 795 13184 485 1 1032.0000 1011.4180 2.03%
799.92/802.21 c 802 13257 494 1 1032.0000 1011.4505 2.03%
806.20/808.58 c 809 13396 503 1 1032.0000 1011.5144 2.03%
811.38/813.72 c 814 13631 504 1 1032.0000 1011.5144 2.03%
816.47/818.80 c 819 13870 505 1 1032.0000 1011.5144 2.03%
821.85/824.20 c 824 14122 509 1 1032.0000 1011.5656 2.02%
828.74/831.15 c 831 14207 520 1 1032.0000 1011.6196 2.01%
834.52/836.99 c 837 14363 524 1 1032.0000 1011.6428 2.01%
840.01/842.42 c 842 14491 530 1 1032.0000 1011.6683 2.01%
845.99/848.47 c 848 14608 543 1 1032.0000 1011.6746 2.01%
851.47/853.93 c 854 14664 555 1 1032.0000 1011.7332 2.00%
856.46/858.95 c 859 14775 566 1 1032.0000 1011.7412 2.00%
862.44/864.94 c 865 14923 574 1 1032.0000 1011.7854 2.00%
868.12/870.62 c 871 15036 589 1 1032.0000 1011.8204 1.99%
873.21/875.75 c 876 15201 604 1 1032.0000 1011.8204 1.99%
882.59/885.12 c 885 15247 608 1 1032.0000 1011.8311 1.99%
887.77/890.34 c 890 15461 612 1 1032.0000 1011.8311 1.99%
893.56/896.11 c 896 15544 615 1 1032.0000 1011.8775 1.99%
898.55/901.17 c 901 15623 632 1 1032.0000 1011.9313 1.98%
904.43/907.01 c 907 15676 635 1 1032.0000 1011.9313 1.98%
911.59/914.24 c 914 15745 640 1 1032.0000 1011.9574 1.98%
916.78/919.45 c 919 15860 649 1 1032.0000 1011.9807 1.98%
922.16/924.88 c 925 16040 657 1 1032.0000 1011.9863 1.98%
927.84/930.55 c 931 16153 656 1 1032.0000 1012.0245 1.97%
933.53/936.21 c 936 16365 656 1 1032.0000 1012.0398 1.97%
938.51/941.27 c 941 16395 662 1 1032.0000 1012.0790 1.97%
944.42/947.15 c 947 16510 665 1 1032.0000 1012.0936 1.97%
950.49/953.24 c 953 16564 671 1 1032.0000 1012.0965 1.97%
956.28/959.03 c 959 16615 682 1 1032.0000 1012.1289 1.96%
961.65/964.43 c 964 16717 700 1 1032.0000 1012.1380 1.96%
966.74/969.51 c 970 16880 701 1 1032.0000 1012.1380 1.96%
971.82/974.67 c 975 17107 698 1 1032.0000 1012.1380 1.96%
977.31/980.18 c 980 17218 707 1 1032.0000 1012.1531 1.96%
983.08/985.91 c 986 17403 722 1 1032.0000 1012.1943 1.96%
988.37/991.26 c 991 17463 732 1 1032.0000 1012.2384 1.95%
994.05/996.98 c 997 17513 738 1 1032.0000 1012.2544 1.95%
999.43/1002.36 c 1002 17706 749 1 1032.0000 1012.2544 1.95%
1004.63/1007.59 c 1008 17818 757 1 1032.0000 1012.2626 1.95%
1010.61/1013.53 c 1014 17972 769 1 1032.0000 1012.2701 1.95%
1016.59/1019.51 c 1020 18157 776 1 1032.0000 1012.2779 1.95%
1021.67/1024.62 c 1025 18326 779 1 1032.0000 1012.2974 1.95%
1029.55/1032.53 c 1033 18397 784 1 1032.0000 1012.3000 1.95%
1036.04/1039.01 c 1039 18516 791 1 1032.0000 1012.3026 1.95%
1041.13/1044.16 c 1044 18623 802 1 1032.0000 1012.3104 1.95%
1046.80/1049.87 c 1050 18744 815 1 1032.0000 1012.3218 1.94%
1052.58/1055.65 c 1056 18833 830 1 1032.0000 1012.3580 1.94%
1058.87/1061.91 c 1062 19045 826 1 1032.0000 1012.3894 1.94%
1063.96/1067.10 c 1067 19246 841 1 1032.0000 1012.3894 1.94%
1069.54/1072.60 c 1073 19294 845 1 1032.0000 1012.4224 1.93%
1074.63/1077.75 c 1078 19520 855 1 1032.0000 1012.4224 1.93%
1080.12/1083.21 c 1083 19655 858 1 1032.0000 1012.4302 1.93%
1085.71/1088.82 c 1089 19793 868 1 1032.0000 1012.4437 1.93%
1091.29/1094.42 c 1094 19866 877 1 1032.0000 1012.4462 1.93%
1097.98/1101.11 c 1101 19927 884 1 1032.0000 1012.4554 1.93%
1103.16/1106.34 c 1106 19978 889 1 1032.0000 1012.4766 1.93%
1110.53/1113.73 c 1114 20063 892 1 1032.0000 1012.4913 1.93%
1117.31/1120.55 c 1121 20156 909 1 1032.0000 1012.5212 1.92%
1122.60/1125.87 c 1126 20283 910 1 1032.0000 1012.5604 1.92%
1127.99/1131.24 c 1131 20351 920 1 1032.0000 1012.5743 1.92%
1134.07/1137.31 c 1137 20505 926 1 1032.0000 1012.6367 1.91%
1139.87/1143.15 c 1143 20593 934 1 1032.0000 1012.6392 1.91%
1145.24/1148.57 c 1149 20671 942 1 1032.0000 1012.6452 1.91%
1150.32/1153.64 c 1154 20777 946 1 1032.0000 1012.6537 1.91%
1156.00/1159.34 c 1159 20823 950 1 1032.0000 1012.6595 1.91%
1162.98/1166.34 c 1166 20893 960 1 1032.0000 1012.6666 1.91%
1168.27/1171.65 c 1172 20897 964 1 1032.0000 1012.6666 1.91%
1173.85/1177.24 c 1177 21062 969 1 1032.0000 1012.6751 1.91%
1179.33/1182.79 c 1183 21183 972 1 1032.0000 1012.6907 1.91%
1185.02/1188.50 c 1188 21297 980 1 1032.0000 1012.6944 1.91%
1190.10/1193.55 c 1194 21414 985 1 1032.0000 1012.6972 1.91%
1195.19/1198.68 c 1199 21586 987 1 1032.0000 1012.6985 1.91%
1200.87/1204.33 c 1204 21682 999 1 1032.0000 1012.7205 1.90%
1206.26/1209.77 c 1210 21813 1010 1 1032.0000 1012.7250 1.90%
1212.04/1215.57 c 1216 21884 1019 1 1032.0000 1012.7430 1.90%
1217.43/1220.91 c 1221 22023 1030 1 1032.0000 1012.7638 1.90%
1223.21/1226.76 c 1227 22101 1048 1 1032.0000 1012.8059 1.90%
1228.29/1231.81 c 1232 22243 1056 1 1032.0000 1012.8422 1.89%
1233.98/1237.56 c 1238 22297 1064 1 1032.0000 1012.8422 1.89%
1238.96/1242.57 c 1243 22354 1071 1 1032.0000 1012.8697 1.89%
1244.05/1247.68 c 1248 22489 1094 1 1032.0000 1012.8805 1.89%
1249.13/1252.77 c 1253 22513 1098 1 1032.0000 1012.9087 1.88%
1255.31/1258.96 c 1259 22655 1104 1 1032.0000 1012.9235 1.88%
1261.00/1264.67 c 1265 22767 1120 1 1032.0000 1012.9244 1.88%
1266.08/1269.77 c 1270 22881 1138 1 1032.0000 1012.9500 1.88%
1271.48/1275.15 c 1275 23003 1144 1 1032.0000 1012.9516 1.88%
1276.96/1280.69 c 1281 23083 1144 1 1032.0000 1012.9564 1.88%
1282.24/1285.93 c 1286 23113 1144 1 1032.0000 1012.9633 1.88%
1287.82/1291.58 c 1292 23203 1150 1 1032.0000 1012.9738 1.88%
1293.32/1297.06 c 1297 23305 1154 1 1032.0000 1012.9871 1.88%
1300.88/1304.64 c 1305 23435 1166 1 1032.0000 1012.9972 1.88%
1308.56/1312.34 c 1312 23543 1184 1 1032.0000 1013.1026 1.87%
1314.74/1318.57 c 1319 23663 1196 1 1032.0000 1013.1151 1.86%
1320.42/1324.27 c 1324 23773 1212 1 1032.0000 1013.1322 1.86%
1327.40/1331.21 c 1331 23854 1217 1 1032.0000 1013.1346 1.86%
1333.30/1337.16 c 1337 23908 1225 1 1032.0000 1013.1575 1.86%
1340.07/1343.95 c 1344 23917 1228 1 1032.0000 1013.1635 1.86%
1345.55/1349.41 c 1349 24018 1235 1 1032.0000 1013.1664 1.86%
1350.64/1354.50 c 1354 24225 1232 1 1032.0000 1013.1664 1.86%
1356.24/1360.11 c 1360 24364 1229 1 1032.0000 1013.1699 1.86%
1361.61/1365.57 c 1366 24407 1254 1 1032.0000 1013.1820 1.86%
1366.80/1370.79 c 1371 24476 1265 1 1032.0000 1013.2111 1.85%
1372.58/1376.56 c 1377 24614 1269 1 1032.0000 1013.2264 1.85%
1379.76/1383.70 c 1384 24713 1272 1 1032.0000 1013.2389 1.85%
1384.94/1388.92 c 1389 24909 1278 1 1032.0000 1013.2389 1.85%
1391.03/1395.09 c 1395 25024 1283 1 1032.0000 1013.2475 1.85%
1397.90/1401.98 c 1402 25133 1288 1 1032.0000 1013.2501 1.85%
1403.38/1407.48 c 1407 25261 1296 1 1032.0000 1013.2501 1.85%
1409.57/1413.62 c 1414 25324 1301 1 1032.0000 1013.2506 1.85%
1415.15/1419.20 c 1419 25421 1298 1 1032.0000 1013.2506 1.85%
1420.34/1424.47 c 1424 25514 1305 1 1032.0000 1013.2622 1.85%
1426.12/1430.27 c 1430 25620 1305 1 1032.0000 1013.2622 1.85%
1432.02/1436.18 c 1436 25761 1310 1 1032.0000 1013.2914 1.85%
1437.20/1441.37 c 1441 25939 1308 1 1032.0000 1013.2914 1.85%
1445.38/1449.54 c 1450 26017 1312 1 1032.0000 1013.2999 1.85%
1451.17/1455.35 c 1455 26133 1316 1 1032.0000 1013.3051 1.84%
1456.76/1460.91 c 1461 26268 1309 1 1032.0000 1013.3207 1.84%
1462.14/1466.30 c 1466 26402 1311 1 1032.0000 1013.3291 1.84%
1468.12/1472.39 c 1472 26534 1315 1 1032.0000 1013.3325 1.84%
1474.11/1478.30 c 1478 26571 1324 1 1032.0000 1013.3379 1.84%
1479.60/1483.88 c 1484 26698 1329 1 1032.0000 1013.3502 1.84%
1485.39/1489.68 c 1490 26900 1329 1 1032.0000 1013.3518 1.84%
1490.97/1495.27 c 1495 27077 1328 1 1032.0000 1013.3587 1.84%
1498.45/1502.73 c 1503 27263 1328 1 1032.0000 1013.3612 1.84%
1505.43/1509.75 c 1510 27344 1335 1 1032.0000 1013.4034 1.84%
1510.62/1514.98 c 1515 27499 1340 1 1032.0000 1013.4034 1.84%
1516.41/1520.75 c 1521 27627 1356 1 1032.0000 1013.4216 1.83%
1521.70/1526.07 c 1526 27756 1363 1 1032.0000 1013.4216 1.83%
1527.09/1531.49 c 1531 27910 1367 1 1032.0000 1013.4230 1.83%
1532.97/1537.30 c 1537 28000 1377 1 1032.0000 1013.4452 1.83%
1538.26/1542.65 c 1543 28037 1380 1 1032.0000 1013.4503 1.83%
1543.34/1547.79 c 1548 28202 1383 1 1032.0000 1013.4503 1.83%
1549.53/1553.97 c 1554 28326 1385 1 1032.0000 1013.4509 1.83%
1554.81/1559.29 c 1559 28398 1395 1 1032.0000 1013.4559 1.83%
1560.90/1565.35 c 1565 28536 1401 1 1032.0000 1013.4652 1.83%
1566.78/1571.21 c 1571 28681 1404 1 1032.0000 1013.4720 1.83%
1571.88/1576.36 c 1576 28774 1413 1 1032.0000 1013.4757 1.83%
1577.76/1582.29 c 1582 28917 1424 1 1032.0000 1013.4816 1.83%
1583.25/1587.71 c 1588 28997 1432 1 1032.0000 1013.4974 1.83%
1588.24/1592.78 c 1593 29193 1434 1 1032.0000 1013.5037 1.82%
1593.32/1597.88 c 1598 29329 1438 1 1032.0000 1013.5037 1.82%
1598.71/1603.20 c 1603 29393 1448 1 1032.0000 1013.5373 1.82%
1605.40/1609.97 c 1610 29523 1460 1 1032.0000 1013.5641 1.82%
1612.18/1616.77 c 1617 29603 1470 1 1032.0000 1013.5753 1.82%
1617.36/1621.98 c 1622 29723 1470 1 1032.0000 1013.5754 1.82%
1624.65/1629.30 c 1629 29757 1482 1 1032.0000 1013.5757 1.82%
1630.03/1634.63 c 1635 29873 1500 1 1032.0000 1013.5926 1.82%
1635.12/1639.78 c 1640 29905 1512 1 1032.0000 1013.5974 1.82%
1640.31/1644.95 c 1645 30074 1513 1 1032.0000 1013.5974 1.82%
1647.41/1652.03 c 1652 30143 1516 1 1032.0000 1013.6135 1.81%
1652.78/1657.48 c 1657 30269 1520 1 1032.0000 1013.6135 1.81%
1657.97/1662.61 c 1663 30452 1527 1 1032.0000 1013.6135 1.81%
1663.75/1668.41 c 1668 30574 1525 1 1032.0000 1013.6208 1.81%
1668.84/1673.54 c 1674 30733 1532 1 1032.0000 1013.6208 1.81%
1674.62/1679.31 c 1679 30872 1533 1 1032.0000 1013.6208 1.81%
1680.02/1684.77 c 1685 30955 1530 1 1032.0000 1013.6208 1.81%
1685.21/1689.91 c 1690 31043 1534 1 1032.0000 1013.6301 1.81%
1692.19/1696.90 c 1697 31143 1540 1 1032.0000 1013.6304 1.81%
1697.67/1702.41 c 1702 31234 1549 1 1032.0000 1013.6510 1.81%
1702.76/1707.59 c 1708 31413 1552 1 1032.0000 1013.6510 1.81%
1709.15/1713.94 c 1714 31503 1554 1 1032.0000 1013.6748 1.81%
1714.24/1719.03 c 1719 31650 1565 1 1032.0000 1013.6812 1.81%
1719.42/1724.30 c 1724 31833 1570 1 1032.0000 1013.6816 1.81%
1725.22/1730.02 c 1730 31963 1574 1 1032.0000 1013.6835 1.81%
1731.80/1736.62 c 1737 32027 1580 1 1032.0000 1013.6967 1.81%
1736.78/1741.65 c 1742 32136 1587 1 1032.0000 1013.6979 1.81%
1741.87/1746.70 c 1747 32293 1592 1 1032.0000 1013.7142 1.80%
1748.35/1753.22 c 1753 32374 1603 1 1032.0000 1013.7168 1.80%
1754.34/1759.25 c 1759 32501 1610 1 1032.0000 1013.7372 1.80%
1759.43/1764.33 c 1764 32588 1613 1 1032.0000 1013.7475 1.80%
1764.82/1769.72 c 1770 32670 1617 1 1032.0000 1013.7475 1.80%
1769.80/1774.75 c 1775 32757 1622 1 1032.0000 1013.7521 1.80%
1774.99/1779.90 c 1780 32915 1626 1 1032.0000 1013.7541 1.80%
1780.68/1785.70 c 1786 33048 1635 1 1032.0000 1013.7698 1.80%
1786.17/1791.19 c 1791 33198 1637 1 1032.0000 1013.7698 1.80%
1791.74/1796.71 c 1797 33325 1638 1 1032.0000 1013.7742 1.80%
1797.73/1802.78 c 1803 33388 1653 1 1032.0000 1013.7747 1.80%
1803.61/1808.66 c 1809 33514 1657 1 1032.0000 1013.7758 1.80%
1808.80/1813.84 c 1814 33565 1664 1 1032.0000 1013.7803 1.80%
1814.59/1819.61 c 1820 33624 1671 1 1032.0000 1013.7847 1.80%
1820.87/1825.94 c 1826 33764 1673 1 1032.0000 1013.7882 1.80%
1826.16/1831.23 c 1831 33819 1682 1 1032.0000 1013.7948 1.80%
1831.36/1836.49 c 1836 33894 1683 1 1032.0000 1013.7948 1.80%
1836.44/1841.56 c 1842 33966 1685 1 1032.0000 1013.7957 1.80%
1842.43/1847.54 c 1848 34035 1688 1 1032.0000 1013.7957 1.80%
1847.72/1852.84 c 1853 34078 1695 1 1032.0000 1013.7969 1.80%
1854.40/1859.57 c 1860 34114 1699 1 1032.0000 1013.7969 1.80%
1859.39/1864.58 c 1865 34207 1706 1 1032.0000 1013.8039 1.79%
1865.07/1870.21 c 1870 34314 1705 1 1032.0000 1013.8100 1.79%
1870.46/1875.62 c 1876 34378 1719 1 1032.0000 1013.8372 1.79%
1876.14/1881.30 c 1881 34507 1724 1 1032.0000 1013.8427 1.79%
1883.13/1888.36 c 1888 34593 1724 1 1032.0000 1013.8471 1.79%
1888.82/1894.09 c 1894 34698 1729 1 1032.0000 1013.8551 1.79%
1894.60/1899.83 c 1900 34770 1731 1 1032.0000 1013.8623 1.79%
1899.69/1904.97 c 1905 34962 1727 1 1032.0000 1013.8623 1.79%
1904.89/1910.20 c 1910 35055 1734 1 1032.0000 1013.8638 1.79%
1910.88/1916.15 c 1916 35173 1740 1 1032.0000 1013.8691 1.79%
1916.36/1921.69 c 1922 35195 1746 1 1032.0000 1013.8778 1.79%
1921.54/1926.82 c 1927 35251 1756 1 1032.0000 1013.8836 1.79%
1927.33/1932.65 c 1933 35353 1754 1 1032.0000 1013.8969 1.79%
1933.31/1938.62 c 1939 35417 1758 1 1032.0000 1013.9005 1.79%
1940.60/1945.91 c 1946 35523 1762 1 1032.0000 1013.9072 1.78%
1945.80/1951.12 c 1951 35663 1762 1 1032.0000 1013.9072 1.78%
1951.78/1957.16 c 1957 35694 1769 1 1032.0000 1013.9266 1.78%
1956.86/1962.26 c 1962 35864 1771 1 1032.0000 1013.9266 1.78%
1963.94/1969.31 c 1969 36004 1777 1 1032.0000 1013.9300 1.78%
1969.13/1974.56 c 1975 36081 1786 1 1032.0000 1013.9474 1.78%
1974.31/1979.70 c 1980 36176 1795 1 1032.0000 1013.9557 1.78%
1979.30/1984.72 c 1985 36353 1800 1 1032.0000 1013.9666 1.78%
1984.70/1990.18 c 1990 36446 1807 1 1032.0000 1013.9666 1.78%
1989.77/1995.28 c 1995 36509 1818 1 1032.0000 1013.9817 1.78%
1995.67/2001.12 c 2001 36598 1829 1 1032.0000 1014.0102 1.77%
2001.04/2006.50 c 2006 36698 1839 1 1032.0000 1014.0225 1.77%
2006.13/2011.61 c 2012 36766 1843 1 1032.0000 1014.0273 1.77%
2011.22/2016.78 c 2017 36843 1848 1 1032.0000 1014.0327 1.77%
2017.32/2022.80 c 2023 36943 1862 1 1032.0000 1014.0332 1.77%
2022.40/2027.94 c 2028 37125 1860 1 1032.0000 1014.0332 1.77%
2028.18/2033.73 c 2034 37242 1865 1 1032.0000 1014.0345 1.77%
2033.97/2039.50 c 2040 37394 1871 1 1032.0000 1014.0396 1.77%
2040.15/2045.77 c 2046 37557 1868 1 1032.0000 1014.0652 1.77%
2046.74/2052.37 c 2052 37623 1874 1 1032.0000 1014.0792 1.77%
2052.22/2057.89 c 2058 37703 1880 1 1032.0000 1014.0801 1.77%
2057.42/2063.10 c 2063 37793 1884 1 1032.0000 1014.0846 1.77%
2063.79/2069.42 c 2069 37923 1892 1 1032.0000 1014.0893 1.77%
2070.49/2076.14 c 2076 37937 1902 1 1032.0000 1014.0953 1.77%
2076.26/2081.92 c 2082 38110 1911 1 1032.0000 1014.0998 1.77%
2083.25/2088.96 c 2089 38246 1925 1 1032.0000 1014.1180 1.76%
2088.53/2094.22 c 2094 38407 1928 1 1032.0000 1014.1180 1.76%
2096.21/2101.93 c 2102 38483 1944 1 1032.0000 1014.1343 1.76%
2101.50/2107.22 c 2107 38577 1954 1 1032.0000 1014.1354 1.76%
2107.09/2112.88 c 2113 38650 1965 1 1032.0000 1014.1434 1.76%
2112.29/2118.11 c 2118 38754 1969 1 1032.0000 1014.1437 1.76%
2118.06/2123.89 c 2124 38867 1974 1 1032.0000 1014.1618 1.76%
2123.27/2129.09 c 2129 39033 1968 1 1032.0000 1014.1897 1.76%
2128.74/2134.58 c 2135 39063 1972 1 1032.0000 1014.1899 1.76%
2134.43/2140.23 c 2140 39147 1984 1 1032.0000 1014.1974 1.76%
2140.23/2146.04 c 2146 39342 1993 1 1032.0000 1014.1993 1.76%
2146.60/2152.50 c 2152 39453 2004 1 1032.0000 1014.2130 1.75%
2151.79/2157.66 c 2158 39633 2008 1 1032.0000 1014.2130 1.75%
2157.97/2163.88 c 2164 39763 2022 1 1032.0000 1014.2270 1.75%
2163.96/2169.83 c 2170 39951 2030 1 1032.0000 1014.2282 1.75%
2169.44/2175.37 c 2175 40153 2032 1 1032.0000 1014.2401 1.75%
2174.63/2180.53 c 2181 40213 2040 1 1032.0000 1014.2622 1.75%
2180.13/2186.05 c 2186 40288 2047 1 1032.0000 1014.2632 1.75%
2185.40/2191.37 c 2191 40333 2052 1 1032.0000 1014.2744 1.75%
2192.59/2198.52 c 2199 40473 2062 1 1032.0000 1014.2825 1.75%
2197.68/2203.64 c 2204 40656 2063 1 1032.0000 1014.2825 1.75%
2205.76/2211.73 c 2212 40747 2068 1 1032.0000 1014.2838 1.75%
2211.35/2217.35 c 2217 40885 2074 1 1032.0000 1014.2886 1.75%
2216.34/2222.39 c 2222 41007 2082 1 1032.0000 1014.2948 1.75%
2222.14/2228.14 c 2228 41118 2089 1 1032.0000 1014.2955 1.75%
2229.02/2235.11 c 2235 41263 2088 1 1032.0000 1014.3153 1.74%
2234.19/2240.29 c 2240 41363 2100 1 1032.0000 1014.3266 1.74%
2239.58/2245.68 c 2246 41528 2099 1 1032.0000 1014.3266 1.74%
2246.16/2252.20 c 2252 41664 2111 1 1032.0000 1014.3394 1.74%
2251.96/2258.02 c 2258 41762 2125 1 1032.0000 1014.3471 1.74%
2257.33/2263.40 c 2263 41823 2128 1 1032.0000 1014.3594 1.74%
2263.03/2269.12 c 2269 41927 2130 1 1032.0000 1014.3594 1.74%
2268.02/2274.13 c 2274 42047 2138 1 1032.0000 1014.3713 1.74%
2273.20/2279.30 c 2279 42221 2138 1 1032.0000 1014.3748 1.74%
2279.00/2285.12 c 2285 42397 2146 1 1032.0000 1014.3841 1.74%
2284.47/2290.67 c 2291 42478 2149 1 1032.0000 1014.3900 1.74%
2291.87/2298.05 c 2298 42554 2155 1 1032.0000 1014.4236 1.73%
2298.54/2304.70 c 2305 42583 2158 1 1032.0000 1014.4347 1.73%
2304.43/2310.68 c 2311 42720 2167 1 1032.0000 1014.4464 1.73%
2310.51/2316.72 c 2317 42823 2184 1 1032.0000 1014.4672 1.73%
2316.81/2323.04 c 2323 42893 2194 1 1032.0000 1014.4772 1.73%
2322.09/2328.39 c 2328 43043 2206 1 1032.0000 1014.4795 1.73%
2327.27/2333.57 c 2334 43139 2224 1 1032.0000 1014.4933 1.73%
2332.36/2338.64 c 2339 43376 2225 1 1032.0000 1014.4933 1.73%
2338.24/2344.51 c 2345 43586 2233 1 1032.0000 1014.4958 1.73%
2343.53/2349.88 c 2350 43688 2245 1 1032.0000 1014.5069 1.72%
2350.11/2356.48 c 2356 43784 2249 1 1032.0000 1014.5223 1.72%
2355.31/2361.61 c 2362 43972 2259 1 1032.0000 1014.5223 1.72%
2362.39/2368.73 c 2369 44017 2262 1 1032.0000 1014.5247 1.72%
2367.48/2373.83 c 2374 44109 2266 1 1032.0000 1014.5300 1.72%
2373.46/2379.84 c 2380 44253 2268 1 1032.0000 1014.5320 1.72%
2379.55/2385.93 c 2386 44423 2284 1 1032.0000 1014.5424 1.72%
2384.93/2391.33 c 2391 44542 2293 1 1032.0000 1014.5424 1.72%
2390.12/2396.53 c 2397 44753 2298 1 1032.0000 1014.5424 1.72%
2396.01/2402.42 c 2402 44818 2319 1 1032.0000 1014.5549 1.72%
2402.70/2409.19 c 2409 44894 2323 1 1032.0000 1014.5651 1.72%
2408.48/2414.98 c 2415 44936 2331 1 1032.0000 1014.5679 1.72%
2413.77/2420.28 c 2420 45092 2331 1 1032.0000 1014.5708 1.72%
2419.45/2425.91 c 2426 45244 2333 1 1032.0000 1014.5716 1.72%
2426.05/2432.51 c 2433 45297 2340 1 1032.0000 1014.5770 1.72%
2431.93/2438.47 c 2438 45353 2346 1 1032.0000 1014.5964 1.72%
2437.02/2443.52 c 2444 45553 2348 1 1032.0000 1014.6491 1.71%
2442.90/2449.47 c 2449 45637 2358 1 1032.0000 1014.6494 1.71%
2448.09/2454.69 c 2455 45742 2361 1 1032.0000 1014.6570 1.71%
2453.97/2460.59 c 2461 45855 2372 1 1032.0000 1014.6644 1.71%
2459.16/2465.79 c 2466 45948 2377 1 1032.0000 1014.6714 1.71%
2464.75/2471.36 c 2471 46093 2380 1 1032.0000 1014.6917 1.71%
2470.04/2476.68 c 2477 46167 2388 1 1032.0000 1014.6937 1.71%
2475.33/2481.91 c 2482 46326 2409 1 1032.0000 1014.6937 1.71%
2481.22/2487.87 c 2488 46510 2409 1 1032.0000 1014.6946 1.71%
2486.30/2492.99 c 2493 46707 2414 1 1032.0000 1014.6946 1.71%
2491.79/2498.41 c 2498 46873 2424 1 1032.0000 1014.7078 1.70%
2495.78/2502.49 c * 2502 46911 2424 1 1031.0000 1014.7078 1.61%
2496.77/2503.47 c 2503 46947 2406 1 1031.0000 1014.7078 1.61%
2501.76/2508.49 c 2508 47080 2421 1 1031.0000 1014.7164 1.60%
2507.15/2513.83 c 2514 47131 2422 1 1031.0000 1014.7227 1.60%
2512.74/2519.45 c 2519 47236 2429 1 1031.0000 1014.7311 1.60%
2517.92/2524.64 c 2525 47335 2442 1 1031.0000 1014.7485 1.60%
2523.72/2530.48 c 2530 47479 2456 1 1031.0000 1014.7520 1.60%
2529.31/2536.05 c 2536 47599 2462 1 1031.0000 1014.7568 1.60%
2533.40/2540.12 c * 2540 47665 2470 1 1030.0000 1014.7655 1.50%
2535.49/2542.25 c 2542 47729 2449 1 1030.0000 1014.7871 1.50%
2540.57/2547.37 c 2547 47892 2446 1 1030.0000 1014.7890 1.50%
2546.76/2553.53 c 2554 47993 2449 1 1030.0000 1014.7995 1.50%
2551.75/2558.58 c 2559 48071 2459 1 1030.0000 1014.8097 1.50%
2556.83/2563.66 c 2564 48243 2469 1 1030.0000 1014.8226 1.50%
2561.92/2568.77 c 2569 48373 2477 1 1030.0000 1014.8261 1.50%
2567.01/2573.83 c 2574 48409 2483 1 1030.0000 1014.8261 1.50%
2572.69/2579.55 c 2580 48571 2487 1 1030.0000 1014.8269 1.50%
2578.98/2585.85 c 2586 48683 2487 1 1030.0000 1014.8334 1.49%
2584.57/2591.45 c 2591 48714 2498 1 1030.0000 1014.8398 1.49%
2590.56/2597.47 c 2597 48888 2498 1 1030.0000 1014.8398 1.49%
2595.75/2602.62 c 2603 49039 2507 1 1030.0000 1014.8398 1.49%
2601.03/2607.94 c 2608 49118 2520 1 1030.0000 1014.8418 1.49%
2606.82/2613.70 c * 2614 49183 2523 1 1029.0000 1014.8428 1.40%
2606.82/2613.70 c 2614 49183 2523 1 1029.0000 1014.8428 1.40%
2612.70/2619.67 c 2620 49327 2474 1 1029.0000 1014.8460 1.39%
2618.59/2625.57 c 2626 49469 2476 1 1029.0000 1014.8529 1.39%
2624.37/2631.34 c 2631 49663 2474 1 1029.0000 1014.8570 1.39%
2629.36/2636.39 c 2636 49813 2476 1 1029.0000 1014.8593 1.39%
2635.16/2642.11 c 2642 49927 2484 1 1029.0000 1014.8605 1.39%
2640.63/2647.60 c 2648 50006 2495 1 1029.0000 1014.8659 1.39%
2646.42/2653.42 c 2653 50146 2505 1 1029.0000 1014.8738 1.39%
2652.41/2659.40 c 2659 50221 2510 1 1029.0000 1014.8801 1.39%
2658.49/2665.51 c 2666 50297 2518 1 1029.0000 1014.8869 1.39%
2664.18/2671.21 c 2671 50398 2533 1 1029.0000 1014.9148 1.39%
2669.67/2676.76 c 2677 50529 2540 1 1029.0000 1014.9327 1.39%
2675.46/2682.54 c 2683 50614 2547 1 1029.0000 1014.9337 1.39%
2680.65/2687.78 c 2688 50699 2562 1 1029.0000 1014.9557 1.38%
2688.03/2695.19 c 2695 50843 2556 1 1029.0000 1014.9561 1.38%
2694.02/2701.18 c 2701 50943 2568 1 1029.0000 1014.9685 1.38%
2699.30/2706.46 c 2706 51098 2579 1 1029.0000 1014.9685 1.38%
2704.48/2711.69 c 2712 51174 2585 1 1029.0000 1014.9759 1.38%
2709.67/2716.86 c 2717 51352 2591 1 1029.0000 1014.9759 1.38%
2715.36/2722.52 c 2723 51433 2596 1 1029.0000 1014.9964 1.38%
2720.65/2727.84 c 2728 51507 2604 1 1029.0000 1014.9979 1.38%
2725.74/2732.98 c 2733 51700 2603 1 1029.0000 1014.9979 1.38%
2731.23/2738.44 c 2738 51813 2610 1 1029.0000 1015.0117 1.38%
2736.92/2744.14 c 2744 51883 2614 1 1029.0000 1015.0125 1.38%
2742.50/2749.71 c 2750 52029 2622 1 1029.0000 1015.0134 1.38%
2748.39/2755.65 c 2756 52089 2628 1 1029.0000 1015.0141 1.38%
2756.47/2763.78 c 2764 52197 2632 1 1029.0000 1015.0293 1.38%
2762.05/2769.37 c 2769 52344 2637 1 1029.0000 1015.0294 1.38%
2767.34/2774.65 c 2775 52412 2647 1 1029.0000 1015.0325 1.38%
2774.13/2781.41 c 2781 52545 2654 1 1029.0000 1015.0591 1.37%
2780.41/2787.74 c 2788 52673 2652 1 1029.0000 1015.0596 1.37%
2786.59/2793.99 c 2794 52736 2671 1 1029.0000 1015.0666 1.37%
2792.28/2799.69 c 2800 52828 2685 1 1029.0000 1015.0734 1.37%
2798.07/2805.49 c 2805 52899 2694 1 1029.0000 1015.0811 1.37%
2803.15/2810.50 c 2810 52985 2698 1 1029.0000 1015.0818 1.37%
2808.25/2815.66 c 2816 53060 2711 1 1029.0000 1015.0962 1.37%
2813.34/2820.75 c 2821 53186 2727 1 1029.0000 1015.0975 1.37%
2820.42/2827.85 c 2828 53267 2728 1 1029.0000 1015.0984 1.37%
2825.91/2833.37 c 2833 53334 2729 1 1029.0000 1015.0999 1.37%
2831.19/2838.68 c 2839 53451 2732 1 1029.0000 1015.1069 1.37%
2836.69/2844.18 c 2844 53604 2739 1 1029.0000 1015.1086 1.37%
2841.77/2849.26 c 2849 53704 2739 1 1029.0000 1015.1087 1.37%
2846.95/2854.46 c 2854 53861 2744 1 1029.0000 1015.1087 1.37%
2852.65/2860.15 c 2860 53981 2748 1 1029.0000 1015.1112 1.37%
2858.33/2865.85 c 2866 54113 2752 1 1029.0000 1015.1293 1.37%
2863.41/2870.98 c 2871 54255 2758 1 1029.0000 1015.1293 1.37%
2869.00/2876.55 c 2877 54413 2760 1 1029.0000 1015.1293 1.37%
2874.50/2882.04 c 2882 54517 2768 1 1029.0000 1015.1315 1.37%
2880.07/2887.64 c 2888 54619 2772 1 1029.0000 1015.1320 1.37%
2880.48/2888.03 c * 2888 54619 2772 1 1028.0000 1015.1320 1.27%
2885.86/2893.49 c 2893 54685 2645 1 1028.0000 1015.1663 1.26%
2891.05/2898.69 c 2899 54730 2648 1 1028.0000 1015.1676 1.26%
2896.24/2903.87 c 2904 54853 2655 1 1028.0000 1015.1903 1.26%
2901.54/2909.19 c 2909 54933 2655 1 1028.0000 1015.1926 1.26%
2907.43/2915.03 c 2915 55013 2659 1 1028.0000 1015.2004 1.26%
2912.70/2920.37 c 2920 55063 2671 1 1028.0000 1015.2035 1.26%
2920.08/2927.79 c 2928 55157 2685 1 1028.0000 1015.2091 1.26%
2925.17/2932.81 c 2933 55247 2691 1 1028.0000 1015.2164 1.26%
2931.16/2938.84 c 2939 55373 2701 1 1028.0000 1015.2177 1.26%
2937.05/2944.76 c 2945 55479 2713 1 1028.0000 1015.2247 1.26%
2943.03/2950.75 c 2951 55593 2721 1 1028.0000 1015.2412 1.26%
2949.33/2957.01 c 2957 55715 2725 1 1028.0000 1015.2596 1.25%
2955.20/2963.01 c 2963 55803 2733 1 1028.0000 1015.2763 1.25%
2961.18/2968.98 c 2969 55896 2742 1 1028.0000 1015.2763 1.25%
2966.97/2974.74 c 2975 55973 2747 1 1028.0000 1015.2866 1.25%
2972.36/2980.15 c 2980 56077 2753 1 1028.0000 1015.2869 1.25%
2978.04/2985.86 c 2986 56207 2755 1 1028.0000 1015.2884 1.25%
2983.12/2990.96 c 2991 56359 2759 1 1028.0000 1015.2956 1.25%
2988.22/2996.06 c 2996 56519 2757 1 1028.0000 1015.2956 1.25%
2993.40/3001.23 c 3001 56680 2758 1 1028.0000 1015.2956 1.25%
2998.78/3006.65 c 3007 56749 2773 1 1028.0000 1015.3144 1.25%
3004.37/3012.26 c 3012 56854 2778 1 1028.0000 1015.3149 1.25%
3010.35/3018.29 c 3018 56984 2780 1 1028.0000 1015.3150 1.25%
3018.03/3025.96 c 3026 57097 2791 1 1028.0000 1015.3263 1.25%
3023.43/3031.31 c 3031 57196 2802 1 1028.0000 1015.3263 1.25%
3028.62/3036.54 c 3037 57371 2803 1 1028.0000 1015.3263 1.25%
3034.30/3042.26 c 3042 57514 2802 1 1028.0000 1015.3324 1.25%
3039.79/3047.79 c 3048 57590 2808 1 1028.0000 1015.3414 1.25%
3045.77/3053.76 c 3054 57686 2816 1 1028.0000 1015.3445 1.25%
3051.26/3059.20 c 3059 57846 2820 1 1028.0000 1015.3445 1.25%
3058.05/3066.08 c 3066 57943 2819 1 1028.0000 1015.3528 1.25%
3063.93/3071.98 c 3072 58036 2828 1 1028.0000 1015.3582 1.25%
3069.31/3077.38 c 3077 58206 2834 1 1028.0000 1015.3595 1.24%
3076.80/3084.82 c 3085 58263 2835 1 1028.0000 1015.3698 1.24%
3082.28/3090.38 c 3090 58393 2841 1 1028.0000 1015.3775 1.24%
3088.27/3096.35 c 3096 58514 2852 1 1028.0000 1015.3783 1.24%
3094.96/3103.02 c 3103 58644 2856 1 1028.0000 1015.3790 1.24%
3100.83/3108.96 c 3109 58712 2862 1 1028.0000 1015.3807 1.24%
3106.52/3114.61 c 3115 58818 2870 1 1028.0000 1015.3825 1.24%
3112.31/3120.46 c 3120 58917 2873 1 1028.0000 1015.3878 1.24%
3118.01/3126.13 c 3126 58963 2873 1 1028.0000 1015.3950 1.24%
3123.09/3131.27 c 3131 59093 2867 1 1028.0000 1015.3977 1.24%
3129.57/3137.73 c 3138 59143 2871 1 1028.0000 1015.3996 1.24%
3135.56/3143.72 c 3144 59249 2873 1 1028.0000 1015.3996 1.24%
3141.24/3149.43 c 3149 59338 2878 1 1028.0000 1015.4000 1.24%
3146.43/3154.69 c 3155 59454 2876 1 1028.0000 1015.4075 1.24%
3152.22/3160.42 c 3160 59605 2871 1 1028.0000 1015.4137 1.24%
3157.60/3165.86 c 3166 59699 2879 1 1028.0000 1015.4242 1.24%
3163.39/3171.68 c 3172 59828 2884 1 1028.0000 1015.4285 1.24%
3169.07/3177.30 c 3177 59904 2888 1 1028.0000 1015.4310 1.24%
3175.26/3183.50 c 3184 59966 2894 1 1028.0000 1015.4355 1.24%
3180.94/3189.22 c 3189 60117 2891 1 1028.0000 1015.4475 1.24%
3186.03/3194.30 c 3194 60230 2894 1 1028.0000 1015.4651 1.23%
3191.32/3199.63 c 3200 60304 2898 1 1028.0000 1015.4670 1.23%
3196.90/3205.20 c 3205 60452 2894 1 1028.0000 1015.4670 1.23%
3202.00/3210.32 c 3210 60586 2896 1 1028.0000 1015.4670 1.23%
3208.59/3216.95 c 3217 60663 2901 1 1028.0000 1015.4730 1.23%
3213.67/3222.09 c 3222 60797 2907 1 1028.0000 1015.4730 1.23%
3219.45/3227.80 c 3228 60933 2905 1 1028.0000 1015.5130 1.23%
3225.04/3233.44 c 3233 61023 2911 1 1028.0000 1015.5183 1.23%
3230.22/3238.66 c 3239 61128 2914 1 1028.0000 1015.5204 1.23%
3236.01/3244.40 c 3244 61268 2916 1 1028.0000 1015.5208 1.23%
3242.70/3251.13 c 3251 61343 2927 1 1028.0000 1015.5260 1.23%
3248.69/3257.16 c 3257 61421 2937 1 1028.0000 1015.5291 1.23%
3254.46/3262.92 c 3263 61499 2949 1 1028.0000 1015.5369 1.23%
3259.85/3268.31 c 3268 61620 2948 1 1028.0000 1015.5433 1.23%
3265.44/3273.95 c 3274 61683 2955 1 1028.0000 1015.5601 1.22%
3270.42/3278.99 c 3279 61731 2963 1 1028.0000 1015.5604 1.22%
3277.52/3286.08 c 3286 61853 2965 1 1028.0000 1015.5679 1.22%
3283.39/3291.92 c 3292 61991 2975 1 1028.0000 1015.5744 1.22%
3288.88/3297.47 c 3297 62136 2982 1 1028.0000 1015.5804 1.22%
3294.06/3302.66 c 3303 62300 2980 1 1028.0000 1015.5804 1.22%
3300.05/3308.62 c 3309 62419 2983 1 1028.0000 1015.5848 1.22%
3305.45/3314.11 c 3314 62540 2990 1 1028.0000 1015.5898 1.22%
3310.92/3319.55 c 3320 62684 3000 1 1028.0000 1015.5915 1.22%
3316.11/3324.70 c 3325 62780 3008 1 1028.0000 1015.6026 1.22%
3321.79/3330.44 c 3330 62919 3009 1 1028.0000 1015.6087 1.22%
3327.68/3336.35 c 3336 62977 3015 1 1028.0000 1015.6101 1.22%
3332.67/3341.38 c 3341 63111 3023 1 1028.0000 1015.6114 1.22%
3338.65/3347.32 c 3347 63292 3024 1 1028.0000 1015.6151 1.22%
3343.75/3352.43 c 3352 63433 3031 1 1028.0000 1015.6178 1.22%
3349.73/3358.41 c 3358 63597 3041 1 1028.0000 1015.6237 1.22%
3355.12/3363.87 c 3364 63773 3045 1 1028.0000 1015.6378 1.22%
3360.81/3369.50 c 3370 63883 3055 1 1028.0000 1015.6451 1.22%
3366.19/3374.97 c 3375 63963 3065 1 1028.0000 1015.6616 1.21%
3371.88/3380.65 c 3381 64078 3072 1 1028.0000 1015.6622 1.21%
3377.38/3386.16 c 3386 64160 3076 1 1028.0000 1015.6672 1.21%
3383.05/3391.90 c 3392 64316 3076 1 1028.0000 1015.6713 1.21%
3388.83/3397.60 c 3398 64414 3088 1 1028.0000 1015.6784 1.21%
3394.03/3402.90 c 3403 64519 3097 1 1028.0000 1015.6849 1.21%
3399.71/3408.59 c 3409 64591 3111 1 1028.0000 1015.6900 1.21%
3406.10/3414.93 c 3415 64703 3111 1 1028.0000 1015.6925 1.21%
3411.48/3420.32 c 3420 64788 3120 1 1028.0000 1015.6934 1.21%
3416.77/3425.68 c 3426 64866 3120 1 1028.0000 1015.6958 1.21%
3422.75/3431.61 c 3432 64934 3120 1 1028.0000 1015.7011 1.21%
3428.25/3437.15 c 3437 65058 3124 1 1028.0000 1015.7075 1.21%
3433.93/3442.83 c 3443 65163 3127 1 1028.0000 1015.7197 1.21%
3439.51/3448.49 c 3448 65244 3134 1 1028.0000 1015.7281 1.21%
3444.80/3453.76 c 3454 65315 3135 1 1028.0000 1015.7376 1.21%
3450.69/3459.62 c 3460 65379 3143 1 1028.0000 1015.7406 1.21%
3455.77/3464.76 c 3465 65473 3143 1 1028.0000 1015.7448 1.21%
3460.96/3469.92 c 3470 65589 3149 1 1028.0000 1015.7506 1.21%
3466.34/3475.36 c 3475 65735 3153 1 1028.0000 1015.7507 1.21%
3471.53/3480.60 c 3481 65879 3157 1 1028.0000 1015.7578 1.21%
3476.72/3485.77 c 3486 66017 3157 1 1028.0000 1015.7578 1.21%
3482.70/3491.72 c 3492 66118 3158 1 1028.0000 1015.7757 1.20%
3488.49/3497.59 c 3498 66237 3163 1 1028.0000 1015.7819 1.20%
3493.68/3502.79 c 3503 66359 3169 1 1028.0000 1015.7936 1.20%
3498.98/3508.09 c 3508 66469 3177 1 1028.0000 1015.8028 1.20%
3504.35/3513.41 c 3513 66596 3172 1 1028.0000 1015.8028 1.20%
3509.54/3518.67 c 3519 66741 3177 1 1028.0000 1015.8028 1.20%
3514.72/3523.81 c 3524 66878 3176 1 1028.0000 1015.8028 1.20%
3520.03/3529.19 c 3529 66985 3179 1 1028.0000 1015.8041 1.20%
3525.31/3534.42 c 3534 67119 3181 1 1028.0000 1015.8041 1.20%
3530.49/3539.67 c 3540 67243 3187 1 1028.0000 1015.8101 1.20%
3535.78/3544.95 c 3545 67303 3193 1 1028.0000 1015.8166 1.20%
3541.27/3550.42 c 3550 67410 3196 1 1028.0000 1015.8166 1.20%
3546.55/3555.73 c 3556 67551 3195 1 1028.0000 1015.8166 1.20%
3551.85/3561.10 c 3561 67638 3206 1 1028.0000 1015.8265 1.20%
3556.94/3566.17 c 3566 67772 3212 1 1028.0000 1015.8311 1.20%
3563.01/3572.21 c 3572 67843 3217 1 1028.0000 1015.8483 1.20%
3568.30/3577.59 c 3578 67961 3221 1 1028.0000 1015.8562 1.20%
3575.38/3584.63 c 3585 68093 3223 1 1028.0000 1015.8732 1.19%
3580.57/3589.82 c 3590 68212 3230 1 1028.0000 1015.8732 1.19%
3586.55/3595.84 c 3596 68374 3236 1 1028.0000 1015.8803 1.19%
3588.76/3598.11 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.76/3598.11 c Total Time : 3598.10
3588.76/3598.11 c solving : 3598.10
3588.76/3598.11 c presolving : 0.13 (included in solving)
3588.76/3598.11 c B&B Tree :
3588.76/3598.11 c nodes (total) : 1
3588.76/3598.11 c Solution :
3588.76/3598.11 c Solutions found : 22
3588.76/3598.11 c Primal Bound : +1.02800000000000e+03
3588.76/3598.11 c Dual Bound : +1.01588028213496e+03
3588.76/3598.11 c Gap : 1.19303 %
3588.76/3598.11 c * Warning: final gap: 1.19303e-02 is greater than SCIPepsilon: 1.00000e-09
3588.76/3598.11 o 1028
3588.76/3598.11 s SATISFIABLE
3588.76/3598.11 v x1964 x1963 x1962 -x1961 x1960 x1959 x1958 -x1957 x1956 x1955 -x1954 x1953 x1952 -x1951 -x1950 -x1949 x1948 x1947 x1946 -x1945
3588.76/3598.11 v -x1944 x1943 x1942 -x1941 -x1940 x1939 -x1938 x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927 -x1926
3588.76/3598.11 v x1925 x1924 x1923 x1922 -x1921 x1920 x1919 x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 x1910 x1909 x1908 x1907 x1906
3588.76/3598.11 v x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 x1897 -x1896 x1895 x1894 x1893 -x1892 -x1891 x1890 -x1889 -x1888 x1887
3588.76/3598.11 v x1886 -x1885 -x1884 x1883 x1882 -x1881 -x1880 x1879 x1878 -x1877 x1876 x1875 x1874 -x1873 -x1872 x1871 x1870 -x1869 x1868
3588.76/3598.13 v x1867 -x1866 x1865 x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 x1855 -x1854 -x1853 -x1852 -x1851 -x1850 x1849
3588.76/3598.13 v -x1848 x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 -x1834 x1833 -x1832 x1831 -x1830
3588.76/3598.13 v -x1829 x1828 x1827 -x1826 x1825 x1824 -x1823 x1822 -x1821 -x1820 x1819 x1818 -x1817 x1816 -x1815 -x1814 -x1813 x1812 x1811
3588.76/3598.13 v x1810 -x1809 -x1808 -x1807 x1806 x1805 x1804 -x1803 -x1802 -x1801 x1800 x1799 -x1798 x1797 -x1796 x1795 x1794 -x1793 x1792 x1791
3588.76/3598.13 v x1790 x1789 -x1788 x1787 -x1786 -x1785 x1784 -x1783 -x1782 x1781 -x1780 x1779 x1778 -x1777 -x1776 x1775 x1774 -x1773 -x1772
3588.76/3598.13 v x1771 x1770 x1769 x1768 x1767 -x1766 x1765 -x1764 -x1763 -x1762 -x1761 x1760 -x1759 -x1758 -x1757 x1756 -x1755 x1754 x1753
3588.76/3598.13 v -x1752 x1751 x1750 -x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 -x1741 -x1740 x1739 x1738 x1737 -x1736 x1735 x1734 -x1733
3588.76/3598.13 v x1732 x1731 x1730 -x1729 x1728 x1727 x1726 -x1725 -x1724 x1723 -x1722 x1721 -x1720 x1719 -x1718 -x1717 -x1716 x1715 x1714 -x1713
3588.76/3598.13 v x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 x1705 x1704 -x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 x1696 x1695
3588.76/3598.13 v x1694 -x1693 -x1692 x1691 x1690 -x1689 -x1688 x1687 -x1686 x1685 x1684 -x1683 -x1682 x1681 -x1680 x1679 -x1678 -x1677 x1676
3588.76/3598.13 v x1675 x1674 x1673 -x1672 x1671 x1670 x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 x1661 x1660 x1659 -x1658 -x1657 x1656
3588.76/3598.13 v x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 x1638
3588.76/3598.13 v -x1637 x1636 -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 -x1628 -x1627 x1626 -x1625 -x1624 -x1623 -x1622 x1621 -x1620 x1619
3588.76/3598.13 v -x1618 x1617 -x1616 -x1615 x1614 x1613 -x1612 x1611 -x1610 x1609 x1608 -x1607 -x1606 -x1605 x1604 x1603 x1602 -x1601 -x1600
3588.76/3598.13 v -x1599 -x1598 -x1597 x1596 -x1595 x1594 x1593 -x1592 x1591 x1590 x1589 -x1588 x1587 x1586 -x1585 -x1584 -x1583 x1582 -x1581 x1580
3588.76/3598.13 v x1579 -x1578 x1577 -x1576 x1575 x1574 x1573 -x1572 x1571 x1570 x1569 -x1568 x1567 -x1566 -x1565 x1564 -x1563 x1562 x1561
3588.76/3598.13 v -x1560 -x1559 x1558 x1557 -x1556 x1555 x1554 -x1553 -x1552 -x1551 x1550 -x1549 x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 -x1541
3588.76/3598.13 v -x1540 -x1539 -x1538 x1537 -x1536 -x1535 -x1534 -x1533 -x1532 x1531 -x1530 -x1529 x1528 -x1527 x1526 x1525 x1524 x1523
3588.76/3598.13 v -x1522 -x1521 x1520 -x1519 x1518 -x1517 -x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 -x1508 -x1507 x1506 -x1505 -x1504
3588.76/3598.13 v x1503 -x1502 -x1501 x1500 x1499 x1498 -x1497 x1496 -x1495 x1494 x1493 x1492 x1491 -x1490 x1489 x1488 x1487 x1486 x1485 x1484
3588.76/3598.13 v x1483 x1482 x1481 -x1480 x1479 x1478 x1477 x1476 x1475 x1474 -x1473 -x1472 -x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 x1464
3588.76/3598.13 v -x1463 x1462 x1461 x1460 x1459 -x1458 -x1457 x1456 -x1455 -x1454 x1453 -x1452 x1451 x1450 -x1449 -x1448 -x1447 x1446 x1445
3588.76/3598.13 v x1444 x1443 -x1442 -x1441 x1440 x1439 x1438 x1437 -x1436 -x1435 x1434 -x1433 -x1432 x1431 x1430 -x1429 -x1428 x1427 x1426 -x1425
3588.76/3598.13 v -x1424 x1423 -x1422 x1421 -x1420 x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 -x1412 x1411 x1410 x1409 x1408 x1407 -x1406
3588.76/3598.13 v x1405 x1404 -x1403 x1402 -x1401 x1400 x1399 -x1398 x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 x1389 x1388 -x1387
3588.76/3598.13 v -x1386 -x1385 x1384 x1383 -x1382 x1381 x1380 -x1379 x1378 x1377 x1376 x1375 -x1374 x1373 -x1372 -x1371 -x1370 x1369 x1368
3588.76/3598.13 v x1367 x1366 x1365 x1364 x1363 -x1362 x1361 x1360 -x1359 -x1358 x1357 -x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 -x1349
3588.76/3598.13 v x1348 x1347 x1346 x1345 x1344 -x1343 x1342 x1341 -x1340 -x1339 x1338 x1337 -x1336 x1335 -x1334 -x1333 x1332 x1331 -x1330 -x1329
3588.76/3598.13 v -x1328 x1327 x1326 x1325 x1324 x1323 -x1322 x1321 x1320 -x1319 -x1318 -x1317 x1316 x1315 x1314 x1313 -x1312 -x1311 x1310 x1309
3588.76/3598.13 v x1308 -x1307 x1306 -x1305 -x1304 x1303 x1302 -x1301 x1300 x1299 x1298 -x1297 x1296 -x1295 -x1294 -x1293 x1292 -x1291 x1290
3588.76/3598.13 v -x1289 x1288 x1287 -x1286 -x1285 x1284 x1283 x1282 x1281 x1280 -x1279 -x1278 x1277 x1276 -x1275 -x1274 -x1273 x1272 x1271
3588.76/3598.13 v -x1270 x1269 -x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 -x1258 x1257 -x1256 -x1255 x1254 x1253 x1252 x1251
3588.76/3598.13 v -x1250 x1249 -x1248 x1247 x1246 x1245 x1244 x1243 -x1242 x1241 -x1240 x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 x1232 x1231
3588.76/3598.13 v -x1230 -x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 x1215 x1214 x1213 -x1212
3588.76/3598.13 v -x1211 x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 x1202 x1201 -x1200 x1199 x1198 x1197 x1196 x1195 x1194 x1193
3588.76/3598.13 v x1192 x1191 -x1190 -x1189 x1188 -x1187 -x1186 x1185 x1184 -x1183 x1182 x1181 -x1180 x1179 -x1178 x1177 -x1176 -x1175 -x1174
3588.76/3598.13 v -x1173 -x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 x1158 x1157 x1156 x1155 x1154
3588.76/3598.13 v -x1153 -x1152 x1151 x1150 x1149 x1148 x1147 -x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 x1139 x1138 -x1137 x1136 x1135
3588.76/3598.13 v -x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 -x1122 x1121 -x1120 x1119 -x1118 x1117 -x1116
3588.76/3598.13 v x1115 x1114 x1113 x1112 -x1111 x1110 -x1109 -x1108 -x1107 x1106 x1105 -x1104 x1103 x1102 -x1101 -x1100 -x1099 -x1098 x1097
3588.76/3598.13 v -x1096 x1095 -x1094 x1093 x1092 x1091 -x1090 -x1089 x1088 -x1087 -x1086 x1085 -x1084 x1083 x1082 -x1081 -x1080 -x1079 x1078
3588.76/3598.13 v -x1077 x1076 x1075 x1074 -x1073 -x1072 -x1071 -x1070 x1069 -x1068 x1067 -x1066 -x1065 x1064 -x1063 x1062 x1061 -x1060 x1059
3588.76/3598.13 v x1058 -x1057 x1056 x1055 -x1054 -x1053 x1052 -x1051 x1050 x1049 -x1048 -x1047 -x1046 x1045 x1044 -x1043 x1042 x1041 x1040 x1039
3588.76/3598.13 v -x1038 x1037 -x1036 x1035 x1034 -x1033 x1032 x1031 -x1030 -x1029 x1028 x1027 -x1026 x1025 x1024 -x1023 -x1022 x1021 -x1020
3588.76/3598.13 v x1019 x1018 x1017 x1016 -x1015 x1014 x1013 x1012 -x1011 x1010 x1009 x1008 -x1007 x1006 x1005 -x1004 -x1003 -x1002 x1001 x1000
3588.76/3598.13 v -x999 -x998 x997 x996 -x995 x994 x993 -x992 -x991 x990 x989 -x988 x987 -x986 -x985 -x984 x983 -x982 x981 -x980 -x979 x978 x977
3588.76/3598.13 v x976 x975 x974 -x973 -x972 x971 -x970 x969 x968 x967 -x966 x965 x964 -x963 x962 x961 -x960 x959 -x958 -x957 -x956 x955 x954
3588.76/3598.13 v -x953 -x952 x951 -x950 x949 -x948 x947 -x946 x945 x944 x943 -x942 -x941 -x940 x939 -x938 x937 x936 -x935 -x934 x933 x932 -x931
3588.76/3598.13 v -x930 -x929 x928 x927 x926 x925 -x924 x923 x922 -x921 -x920 x919 x918 -x917 -x916 x915 x914 x913 x912 x911 x910 -x909 -x908
3588.76/3598.13 v x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 x891 x890 -x889 x888 x887 -x886
3588.76/3598.13 v -x885 -x884 -x883 x882 x881 -x880 x879 x878 -x877 -x876 x875 -x874 -x873 x872 x871 -x870 -x869 x868 -x867 -x866 -x865 -x864
3588.76/3598.13 v x863 -x862 -x861 x860 x859 -x858 -x857 -x856 x855 -x854 x853 -x852 x851 x850 x849 -x848 -x847 -x846 x845 x844 x843 -x842 x841
3588.76/3598.13 v x840 x839 x838 x837 -x836 x835 -x834 x833 x832 -x831 -x830 x829 -x828 x827 x826 -x825 -x824 x823 -x822 -x821 x820 -x819 -x818
3588.76/3598.13 v -x817 -x816 -x815 x814 x813 x812 x811 -x810 x809 x808 -x807 x806 -x805 x804 x803 x802 -x801 -x800 -x799 x798 x797 -x796 -x795
3588.76/3598.13 v x794 x793 x792 x791 x790 x789 x788 x787 x786 -x785 x784 x783 x782 x781 x780 x779 x778 -x777 -x776 -x775 -x774 -x773 -x772
3588.76/3598.13 v -x771 -x770 x769 x768 -x767 x766 x765 x764 x763 x762 x761 x760 -x759 x758 -x757 x756 x755 x754 -x753 x752 x751 -x750 x749 x748
3588.76/3598.13 v -x747 -x746 x745 x744 -x743 x742 x741 x740 x739 -x738 -x737 x736 x735 -x734 x733 x732 -x731 -x730 x729 x728 -x727 -x726 x725
3588.76/3598.13 v x724 -x723 x722 x721 x720 x719 x718 -x717 x716 -x715 x714 -x713 x712 x711 x710 x709 -x708 -x707 x706 x705 x704 -x703 x702
3588.76/3598.13 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 x690 x689 x688 -x687 x686 -x685 x684 -x683 x682 -x681 -x680
3588.76/3598.13 v x679 x678 -x677 -x676 x675 -x674 -x673 x672 x671 -x670 x669 -x668 x667 -x666 x665 x664 -x663 x662 x661 x660 x659 x658 -x657
3588.76/3598.13 v -x656 x655 -x654 -x653 x652 x651 x650 -x649 x648 -x647 x646 -x645 -x644 -x643 x642 x641 x640 x639 x638 -x637 x636 -x635 x634
3588.76/3598.13 v -x633 -x632 x631 -x630 -x629 x628 x627 x626 x625 -x624 x623 x622 -x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 x612 -x611
3588.76/3598.13 v x610 x609 x608 -x607 x606 x605 -x604 -x603 x602 x601 -x600 x599 x598 x597 -x596 x595 x594 x593 -x592 -x591 -x590 -x589 -x588
3588.76/3598.13 v x587 x586 -x585 -x584 -x583 -x582 -x581 x580 x579 -x578 x577 x576 x575 -x574 x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 x565
3588.76/3598.13 v x564 x563 x562 -x561 x560 x559 -x558 -x557 x556 -x555 x554 x553 x552 -x551 x550 x549 -x548 x547 x546 x545 -x544 -x543 -x542
3588.76/3598.13 v x541 x540 x539 -x538 x537 -x536 x535 -x534 -x533 -x532 x531 -x530 -x529 x528 x527 x526 x525 x524 x523 x522 x521 -x520 x519
3588.76/3598.13 v -x518 -x517 x516 -x515 x514 -x513 x512 x511 -x510 -x509 x508 -x507 -x506 x505 x504 x503 -x502 -x501 -x500 -x499 -x498 x497 -x496
3588.76/3598.13 v -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 x486 x485 x484 x483 -x482 -x481 x480 x479 x478 x477 x476 -x475 x474
3588.76/3598.13 v -x473 x472 x471 -x470 -x469 x468 -x467 -x466 x465 x464 x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 x451
3588.76/3598.13 v x450 x449 x448 x447 -x446 -x445 x444 x443 x442 -x441 x440 -x439 x438 x437 x436 x435 x434 x433 x432 -x431 x430 -x429 x428 x427
3588.76/3598.13 v x426 x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 -x415 -x414 -x413 -x412 x411 -x410 x409 x408 -x407 x406 -x405 -x404
3588.76/3598.13 v -x403 -x402 x401 x400 x399 -x398 x397 x396 x395 -x394 -x393 x392 x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 x382 -x381
3588.76/3598.13 v x380 x379 x378 -x377 x376 -x375 -x374 -x373 x372 -x371 x370 -x369 -x368 x367 -x366 x365 x364 -x363 x362 -x361 x360 x359 -x358
3588.76/3598.13 v -x357 -x356 x355 x354 -x353 -x352 x351 x350 -x349 x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337
3588.76/3598.13 v -x336 -x335 x334 -x333 x332 -x331 x330 -x329 x328 x327 x326 -x325 -x324 -x323 x322 x321 -x320 -x319 -x318 x317 -x316 x315 -x314
3588.76/3598.13 v -x313 -x312 -x311 x310 x309 -x308 -x307 -x306 x305 -x304 -x303 x302 -x301 -x300 -x299 x298 x297 x296 -x295 x294 x293 -x292
3588.76/3598.13 v -x291 -x290 -x289 x288 x287 x286 -x285 x284 x283 -x282 -x281 x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 x272 x271 x270 x269
3588.76/3598.13 v -x268 x267 x266 x265 x264 -x263 x262 x261 x260 x259 x258 x257 x256 -x255 -x254 x253 -x252 x251 x250 -x249 x248 -x247 x246
3588.76/3598.13 v -x245 x244 x243 x242 x241 -x240 -x239 -x238 -x237 x236 x235 -x234 x233 x232 x231 -x230 x229 x228 x227 x226 x225 x224 -x223 -x222
3588.76/3598.13 v -x221 x220 x219 x218 -x217 -x216 x215 -x214 -x213 -x212 x211 -x210 -x209 x208 -x207 x206 x205 x204 x203 x202 -x201 x200 x199
3588.76/3598.13 v -x198 x197 -x196 -x195 -x194 x193 x192 -x191 x190 x189 x188 x187 x186 x185 -x184 x183 -x182 x181 x180 -x179 x178 -x177 x176
3588.76/3598.13 v -x175 x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 x158 -x157 -x156 -x155 x154
3588.76/3598.13 v -x153 -x152 x151 x150 x149 -x148 -x147 x146 -x145 -x144 -x143 x142 x141 -x140 -x139 x138 -x137 x136 x135 x134 x133 x132 x131
3588.76/3598.13 v -x130 x129 -x128 -x127 -x126 x125 x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 x112 x111 -x110 x109
3588.76/3598.13 v -x108 x107 -x106 -x105 x104 -x103 x102 x101 x100 x99 -x98 x97 -x96 x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 x85 x84 -x83
3588.76/3598.13 v x82 -x81 -x80 -x79 x78 x77 x76 x75 x74 x73 x72 -x71 x70 -x69 -x68 -x67 -x66 x65 -x64 x63 x62 -x61 -x60 x59 -x58 x57 x56 -x55
3588.76/3598.13 v x54 -x53 x52 x51 x50 -x49 x48 x47 x46 x45 -x44 x43 x42 x41 -x40 x39 -x38 x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 -x27
3588.76/3598.13 v x26 -x25 -x24 x23 -x22 -x21 x20 -x19 x18 x17 -x16 x15 -x14 -x13 -x12 x11 -x10 x9 -x8 x7 x6 x5 x4 x3 x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62321 MiB free)
memory of node 1: 64510 MiB (59567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463985-1722378596/watcher-4463985-1722378596 -o /tmp/evaluation-result-4463985-1722378596/solver-4463985-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29095 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463985-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29213, runsolver pid=29210
[startup+0.100546 s]*
/proc/loadavg: 0.12 0.09 0.09 6/252 29214
/proc/meminfo: memFree=124786228/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=37436 memory=26952 CPUtime=0.09 cores=4,6
/proc/29213/stat : 29213 (fscip) R 29210 29213 29084 0 -1 4194304 4454 0 0 0 8 1 0 0 20 0 1 0 4455231 38334464 6738 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 9359 6738 2710 3035 0 5755 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37436 KiB
Current children cumulated memory: 26952 KiB
[startup+0.214547 s]*
/proc/loadavg: 0.12 0.09 0.09 5/254 29216
/proc/meminfo: memFree=124769340/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=128684 memory=42248 CPUtime=0.2 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 8385 0 0 0 16 4 0 0 20 0 3 0 4455231 131772416 10562 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 32171 10562 2790 3035 0 13678 0
[pid=29213/tid=29215] ppid=29210 vsize=128684 memory=8505393642823811203 CPUtime=0.02 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 2277 0 0 0 1 1 0 0 20 0 3 0 4455248 131772416 10562 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=128684 memory=3616 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455251 131772416 10562 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128684 KiB
Current children cumulated memory: 42248 KiB
[startup+0.314548 s]*
/proc/loadavg: 0.12 0.09 0.09 5/254 29216
/proc/meminfo: memFree=124763292/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=131252 memory=47252 CPUtime=0.29 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 9662 0 0 0 25 4 0 0 20 0 3 0 4455231 134402048 11813 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 32813 11813 2790 3035 0 15215 0
[pid=29213/tid=29215] ppid=29210 vsize=131252 memory=-5155635708297440389 CPUtime=0.1 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 3554 0 0 0 9 1 0 0 20 0 3 0 4455248 134402048 11813 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=131252 memory=0 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455251 134402048 11813 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131252 KiB
Current children cumulated memory: 47252 KiB
[startup+0.70031 s]
/proc/loadavg: 0.12 0.09 0.09 5/254 29216
/proc/meminfo: memFree=124741592/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=132276 memory=54892 CPUtime=0.65 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 11419 0 0 0 61 4 0 0 20 0 3 0 4455231 135450624 13723 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 33069 13723 2934 3035 0 16997 0
[pid=29213/tid=29215] ppid=29210 vsize=132276 memory=0 CPUtime=0.47 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 5311 0 0 0 45 2 0 0 20 0 3 0 4455248 135450624 13723 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=132276 memory=0 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455251 135450624 13723 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 132276 KiB
Current children cumulated memory: 54892 KiB
[startup+1.50037 s]
/proc/loadavg: 0.12 0.09 0.09 5/254 29216
/proc/meminfo: memFree=124732156/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=133732 memory=59060 CPUtime=1.45 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 13873 0 0 0 140 5 0 0 20 0 3 0 4455231 136941568 14765 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 33433 14765 2950 3035 0 18097 0
[pid=29213/tid=29215] ppid=29210 vsize=133732 memory=0 CPUtime=1.26 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 7765 0 0 0 124 2 0 0 20 0 3 0 4455248 136941568 14765 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=133732 memory=0 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4455251 136941568 14765 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 133732 KiB
Current children cumulated memory: 59060 KiB
[startup+3.11326 s]
/proc/loadavg: 0.43 0.16 0.11 5/254 29216
/proc/meminfo: memFree=124679292/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=142060 memory=77844 CPUtime=3.05 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 20866 0 0 0 299 6 0 0 20 0 3 0 4455231 145469440 19461 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 35515 19461 2950 3035 0 23139 0
[pid=29213/tid=29215] ppid=29210 vsize=142060 memory=0 CPUtime=2.88 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 14757 0 0 0 284 4 0 0 20 0 3 0 4455248 145469440 19461 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=142060 memory=2209 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4455251 145469440 19461 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 142060 KiB
Current children cumulated memory: 77844 KiB
[startup+6.30032 s]
/proc/loadavg: 0.43 0.16 0.11 5/254 29216
/proc/meminfo: memFree=124592092/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=161488 memory=115132 CPUtime=6.23 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 36434 0 0 0 615 8 0 0 20 0 3 0 4455231 165363712 28783 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 40372 28783 2950 3035 0 32673 0
[pid=29213/tid=29215] ppid=29210 vsize=161488 memory=0 CPUtime=6.05 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 30321 0 0 0 599 6 0 0 20 0 3 0 4455248 165363712 28783 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=161488 memory=0 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4455251 165363712 28783 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 161488 KiB
Current children cumulated memory: 115132 KiB
[startup+12.7004 s]
/proc/loadavg: 0.98 0.28 0.15 5/252 29263
/proc/meminfo: memFree=124512936/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=226000 memory=181344 CPUtime=12.61 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 88784 0 0 0 1248 13 0 0 20 0 3 0 4455231 231424000 45336 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 56500 45336 2998 3035 0 50499 0
[pid=29213/tid=29215] ppid=29210 vsize=226000 memory=164924 CPUtime=12.43 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 82281 0 0 0 1233 10 0 0 20 0 3 0 4455248 231424000 45336 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=226000 memory=11352 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4455251 231424000 45336 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 226000 KiB
Current children cumulated memory: 181344 KiB
[startup+25.5004 s]
/proc/loadavg: 1.45 0.41 0.20 5/252 29313
/proc/meminfo: memFree=124237460/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=226000 memory=182984 CPUtime=25.38 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 108914 0 0 0 2524 14 0 0 20 0 3 0 4455231 231424000 45746 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 56500 45746 2998 3035 0 50499 0
[pid=29213/tid=29215] ppid=29210 vsize=226000 memory=182116 CPUtime=25.19 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 102336 0 0 0 2508 11 0 0 20 0 3 0 4455248 231424000 45746 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=226000 memory=-7521975118735697535 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4455251 231424000 45746 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 226000 KiB
Current children cumulated memory: 182984 KiB
[startup+51.1128 s]
/proc/loadavg: 2.45 0.73 0.31 5/256 29380
/proc/meminfo: memFree=123963416/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=291536 memory=247256 CPUtime=50.91 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 201115 0 0 0 5069 22 0 0 20 0 3 0 4455231 298532864 61814 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 72884 61814 2998 3035 0 67929 0
[pid=29213/tid=29215] ppid=29210 vsize=291536 memory=-7521975118735697535 CPUtime=50.72 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 193395 0 0 0 5054 18 0 0 20 0 3 0 4455248 298532864 61814 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=291536 memory=232256 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4455251 298532864 61814 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 291536 KiB
Current children cumulated memory: 247256 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.30 0.53 5/259 29393
/proc/meminfo: memFree=123889576/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=356896 memory=281596 CPUtime=101.94 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 289746 0 0 0 10167 27 0 0 20 0 3 0 4455231 365461504 70399 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 89224 70399 2998 3035 0 76777 0
[pid=29213/tid=29215] ppid=29210 vsize=356896 memory=279904 CPUtime=101.75 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 281605 0 0 0 10151 24 0 0 20 0 3 0 4455248 365461504 70399 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=356896 memory=279900 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4455251 365461504 70399 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 356896 KiB
Current children cumulated memory: 281596 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 1.81 0.75 5/259 29405
/proc/meminfo: memFree=123883580/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=357456 memory=281724 CPUtime=161.76 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 346772 0 0 0 16144 32 0 0 20 0 3 0 4455231 366034944 70431 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 89364 70431 2998 3035 0 78224 0
[pid=29213/tid=29215] ppid=29210 vsize=357456 memory=11352 CPUtime=161.56 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 338333 0 0 0 16128 28 0 0 20 0 3 0 4455248 366034944 70431 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=357456 memory=281708 CPUtime=0 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4455251 366034944 70431 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 357456 KiB
Current children cumulated memory: 281724 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.96 5/259 29416
################
# More data... #
################
/proc/29213/statm: 178212 157413 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=629004 CPUtime=3393.04 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 979089 0 0 0 339211 93 0 0 20 0 3 0 4455248 729956352 157413 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=629404 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 92 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157413 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 629652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/251 31070
/proc/meminfo: memFree=120857392/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=629652 CPUtime=3453.38 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 991342 0 0 0 345230 108 0 0 20 0 3 0 4455231 729956352 157413 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157413 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=629004 CPUtime=3452.9 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 980972 0 0 0 345196 94 0 0 20 0 3 0 4455248 729956352 157413 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=629404 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 93 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157413 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 629652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/251 31082
/proc/meminfo: memFree=120821564/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3513.23 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 997818 0 0 0 351214 109 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=16744 CPUtime=3512.75 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 987423 0 0 0 351180 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=630052 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 98 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/253 31263
/proc/meminfo: memFree=120804624/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3573.09 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 999204 0 0 0 357199 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=630052 CPUtime=3572.59 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 988786 0 0 0 357164 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=630052 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3598.14 s]
# the end of solver process 29213 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.77 s, system=1.11845 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.08 5/253 31263
/proc/meminfo: memFree=120804332/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3574.79 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 999204 0 0 0 357369 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=-7668341007113610874 CPUtime=3574.3 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 988786 0 0 0 357335 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=4498134626585964190 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3574.79 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.13 4.07 5/253 31265
/proc/meminfo: memFree=120802724/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3581.17 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 999209 0 0 0 358007 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=630052 CPUtime=3580.67 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 988791 0 0 0 357972 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=630052 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3581.17 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.07 5/253 31265
/proc/meminfo: memFree=120802724/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3584.36 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 999416 0 0 0 358326 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=5540 CPUtime=3583.86 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 988998 0 0 0 358291 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=630052 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3584.36 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.13 4.07 5/254 31266
/proc/meminfo: memFree=120802152/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3585.95 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 999417 0 0 0 358485 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=11352 CPUtime=3585.46 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 988999 0 0 0 358451 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=16744 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3585.95 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.13 4.07 5/254 31266
/proc/meminfo: memFree=120801732/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3587.55 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 999417 0 0 0 358645 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=11352 CPUtime=3587.05 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 988999 0 0 0 358610 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=16744 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.13 4.07 5/254 31266
/proc/meminfo: memFree=120801704/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3588.35 cores=4,6
/proc/29213/stat : 29213 (fscip) S 29210 29213 29084 0 -1 1077936128 999424 0 0 0 358725 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=5540 CPUtime=3587.85 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 989006 0 0 0 358690 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=16084 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3588.35 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.12 4.07 5/254 31267
/proc/meminfo: memFree=120801512/131655788 swapFree=131071996/131071996
[pid=29213] ppid=29210 vsize=712848 memory=630052 CPUtime=3588.76 cores=4,6
/proc/29213/stat : 29213 (fscip) R 29210 29213 29084 0 -1 1077936128 999453 0 0 0 358766 110 0 0 20 0 3 0 4455231 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
/proc/29213/statm: 178212 157513 2998 3035 0 161144 0
[pid=29213/tid=29215] ppid=29210 vsize=712848 memory=2660 CPUtime=3588.26 cores=4,6
/proc/29213/task/29215/stat : 29215 (fscip) R 29210 29213 29084 0 -1 4194368 989055 0 0 0 358731 95 0 0 20 0 3 0 4455248 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
[pid=29213/tid=29216] ppid=29210 vsize=712848 memory=-4421386496197749348 CPUtime=0.04 cores=4,6
/proc/29213/task/29216/stat : 29216 (fscip) S 29210 29213 29084 0 -1 1077936192 99 0 0 0 1 3 0 0 20 0 3 0 4455251 729956352 157513 134679101440 4194304 16623229 140734107560000 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34689024 140734107567126 140734107567242 140734107567242 140734107574256 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 630052 KiB
Child status: 0
Real time (s): 3598.14
CPU time (s): 3588.89
CPU user time (s): 3587.77
CPU system time (s): 1.11845
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 712848
Max. memory (cumulated for all children) (KiB): 630052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.77
system time used= 1.11845
maximum resident set size= 630052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1000280
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= 9936
involuntary context switches= 2131
# summary of solver processes directly reported to runsolver:
# pid: 29213
# total CPU time (s): 3588.89
# total CPU user time (s): 3587.77
# total CPU system time (s): 1.11845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2683 second user time and 33.7807 second system time
The end
Begin job on nodeC002 at 2024-07-31 00:29:56
IDJOB=4463985
IDBENCH=147534
IDSOLVER=3092
FILE ID=nodeC002/4463985-1722378596
RUNJOBID= nodeC002-1722378594-29095
SLURM_JOB_ID= 8249832
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.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-4463985-1722378596/watcher-4463985-1722378596 -o /tmp/evaluation-result-4463985-1722378596/solver-4463985-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29095 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463985-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=1453536771
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2558.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2579.287
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.197
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1293.010
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2590.045
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124827508 kB
MemAvailable: 129637648 kB
Buffers: 91212 kB
Cached: 5509264 kB
SwapCached: 0 kB
Active: 255360 kB
Inactive: 6024840 kB
Active(anon): 1908 kB
Inactive(anon): 707308 kB
Active(file): 253452 kB
Inactive(file): 5317532 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115412 kB
Writeback: 0 kB
AnonPages: 679140 kB
Mapped: 126696 kB
Shmem: 29512 kB
KReclaimable: 158372 kB
Slab: 242368 kB
SReclaimable: 158372 kB
SUnreclaim: 83996 kB
KernelStack: 3968 kB
PageTables: 10048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 899688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6944 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 224072 kB
DirectMap2M: 19603456 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC002 at 2024-07-31 01:29:54