0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 32509952, getVmSize() = 32509952, SCIPgetMemUsed() = 8859546, SCIPgetMemTotal() = 10605338, SCIPgetMemExternEstim() = 5421515
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.17 c ** Estimated virtualMemUsedAtSolver = 24981504, getVmSize() = 42434560, SCIPgetMemUsed() = 10481501, SCIPgetMemTotal() = 19145589, SCIPgetMemExternEstim() = 5421515
0.10/0.17 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.17 c Original Problem :
0.10/0.17 c Problem name : instance-4434652-1721081341
0.10/0.17 c Variables : 1961 (1961 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 4000
0.10/0.17 c Objective sense : minimize
0.10/0.17 c Presolved Problem :
0.10/0.17 c Variables : 1578 (1578 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.17 c Constraints : 3099
0.10/0.17 c Constraints : Number
0.10/0.17 c setppc : 3099
0.10/0.17 c ** Instance transfer method used: 0
0.10/0.19 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.20 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.20 c Nodes Active
0.10/0.20 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.23 c * 0 0 1 1 1767.0000 - -
0.31/0.38 c * 0 0 1 1 1167.0000 - -
0.31/0.39 c * 0 0 1 1 1095.0000 - -
0.41/0.44 c * 0 0 1 1 1088.0000 - -
15.35/15.45 c 15 2 1 1 1088.0000 1006.5799 8.09%
21.94/22.07 c 22 4 3 1 1088.0000 1007.1018 8.03%
28.12/28.25 c 28 7 6 1 1088.0000 1007.1018 8.03%
31.30/31.47 c * 31 12 11 1 1064.0000 1007.1018 5.65%
31.30/31.47 c * 31 12 11 1 1059.0000 1007.1018 5.15%
35.60/35.79 c 36 25 24 1 1059.0000 1007.1018 5.15%
40.68/40.81 c 41 55 54 1 1059.0000 1007.1018 5.15%
41.29/41.49 c * 41 55 54 1 1054.0000 1007.1018 4.66%
47.78/48.01 c 48 81 67 1 1054.0000 1007.1703 4.65%
48.57/48.73 c * 49 81 67 1 1053.0000 1007.1703 4.55%
54.25/54.45 c 54 125 86 1 1053.0000 1007.9639 4.47%
54.76/54.92 c * 55 125 86 1 1052.0000 1007.9639 4.37%
60.64/60.81 c 61 186 90 1 1052.0000 1007.9639 4.37%
64.94/65.13 c * 65 204 94 1 1051.0000 1007.9639 4.27%
65.73/65.92 c * 66 204 94 1 1050.0000 1007.9639 4.17%
65.73/65.92 c 66 204 94 1 1050.0000 1007.9639 4.17%
66.63/66.81 c * 67 222 101 1 1049.0000 1007.9639 4.07%
67.63/67.84 c * 68 222 101 1 1048.0000 1007.9639 3.97%
67.73/67.98 c * 68 228 96 1 1047.0000 1007.9639 3.87%
67.84/68.01 c * 68 228 96 1 1046.0000 1007.9639 3.77%
74.61/74.83 c 75 257 94 1 1046.0000 1008.5615 3.71%
80.10/80.32 c 80 332 141 1 1046.0000 1008.5615 3.71%
85.39/85.63 c 86 385 178 1 1046.0000 1008.5615 3.71%
91.17/91.45 c 91 436 215 1 1046.0000 1009.3357 3.63%
96.36/96.68 c 97 473 234 1 1046.0000 1009.3357 3.63%
101.64/101.98 c 102 502 257 1 1046.0000 1009.3736 3.63%
104.43/104.72 c * 105 505 260 1 1044.0000 1009.3736 3.43%
104.63/104.99 c * 105 507 248 1 1043.0000 1009.3736 3.33%
106.93/107.24 c 107 532 261 1 1043.0000 1009.4198 3.33%
114.00/114.30 c 114 540 269 1 1043.0000 1009.4198 3.33%
119.29/119.64 c 120 570 299 1 1043.0000 1009.5697 3.31%
126.47/126.87 c 127 583 312 1 1043.0000 1009.5697 3.31%
133.76/134.18 c 134 602 331 1 1043.0000 1009.7292 3.30%
139.64/140.01 c 140 613 342 1 1043.0000 1009.7292 3.30%
146.31/146.79 c 147 636 365 1 1043.0000 1010.2064 3.25%
155.49/155.91 c 156 657 386 1 1043.0000 1010.6286 3.20%
160.47/160.96 c 161 669 398 1 1043.0000 1010.6286 3.20%
168.75/169.22 c 169 687 416 1 1043.0000 1010.7500 3.19%
172.44/172.99 c * 173 691 420 1 1041.0000 1010.7500 2.99%
175.82/176.34 c 176 699 414 1 1041.0000 1010.7500 2.99%
183.51/184.09 c 184 716 431 1 1041.0000 1010.9827 2.97%
189.28/189.82 c 190 731 446 1 1041.0000 1010.9827 2.97%
195.87/196.49 c 196 748 457 1 1041.0000 1010.9827 2.97%
201.65/202.21 c 202 761 466 1 1041.0000 1010.9827 2.97%
207.64/208.21 c 208 790 471 1 1041.0000 1010.9827 2.97%
213.23/213.80 c 214 852 481 1 1041.0000 1011.2209 2.94%
219.31/220.01 c 220 886 487 1 1041.0000 1011.2209 2.94%
219.80/220.41 c * 220 892 487 1 1039.0000 1011.2547 2.74%
227.19/227.81 c 228 926 479 1 1039.0000 1011.7359 2.69%
233.07/233.76 c 234 987 484 1 1039.0000 1012.1753 2.65%
240.26/241.01 c 241 1045 478 1 1039.0000 1012.2107 2.65%
245.74/246.46 c 246 1076 485 1 1039.0000 1012.4809 2.62%
250.83/251.56 c 252 1118 493 1 1039.0000 1012.5000 2.62%
256.11/256.87 c 257 1164 495 1 1039.0000 1012.5126 2.62%
261.49/262.27 c 262 1218 503 1 1039.0000 1012.5275 2.61%
267.08/267.81 c 268 1281 508 1 1039.0000 1012.8833 2.58%
273.97/274.73 c 275 1354 499 1 1039.0000 1012.9615 2.57%
279.96/280.70 c 281 1378 513 1 1039.0000 1012.9955 2.57%
285.26/286.06 c 286 1462 511 1 1039.0000 1013.0244 2.56%
291.82/292.70 c 293 1467 516 1 1039.0000 1013.0244 2.56%
297.41/298.28 c 298 1523 526 1 1039.0000 1013.0669 2.56%
302.60/303.48 c 303 1632 523 1 1039.0000 1013.0669 2.56%
307.78/308.62 c 309 1703 530 1 1039.0000 1013.1199 2.55%
313.07/313.90 c 314 1734 535 1 1039.0000 1013.1649 2.55%
319.46/320.37 c 320 1775 538 1 1039.0000 1013.2434 2.54%
324.55/325.42 c 325 1807 546 1 1039.0000 1013.2544 2.54%
329.83/330.78 c 331 1880 545 1 1039.0000 1013.2544 2.54%
337.92/338.83 c 339 1993 552 1 1039.0000 1013.3070 2.54%
344.00/344.94 c 345 2079 556 1 1039.0000 1013.3070 2.54%
349.48/350.40 c 350 2117 562 1 1039.0000 1013.7861 2.49%
357.87/358.86 c 359 2213 564 1 1039.0000 1013.8689 2.48%
363.17/364.12 c 364 2276 573 1 1039.0000 1013.9257 2.47%
369.54/370.51 c 371 2376 591 1 1039.0000 1013.9257 2.47%
374.63/375.69 c 376 2408 597 1 1039.0000 1014.0160 2.46%
380.61/381.64 c 382 2457 602 1 1039.0000 1014.1376 2.45%
387.11/388.12 c 388 2502 611 1 1039.0000 1014.4103 2.42%
392.88/393.95 c 394 2602 615 1 1039.0000 1014.4565 2.42%
398.66/399.74 c 400 2619 620 1 1039.0000 1014.4565 2.42%
410.04/411.15 c 411 2697 628 1 1039.0000 1014.4818 2.42%
415.62/416.70 c 417 2746 629 1 1039.0000 1014.6011 2.40%
420.80/421.90 c 422 2854 629 1 1039.0000 1014.6237 2.40%
426.39/427.52 c 428 2884 637 1 1039.0000 1014.6737 2.40%
432.37/433.53 c 434 2925 648 1 1039.0000 1014.6771 2.40%
438.75/439.97 c 440 2947 652 1 1039.0000 1014.7028 2.39%
444.33/445.54 c 446 3054 651 1 1039.0000 1014.7028 2.39%
449.71/451.01 c 451 3075 658 1 1039.0000 1014.7086 2.39%
455.09/456.32 c 456 3209 664 1 1039.0000 1014.7086 2.39%
460.58/461.82 c 462 3237 668 1 1039.0000 1014.8701 2.38%
465.88/467.18 c 467 3368 665 1 1039.0000 1014.8701 2.38%
471.77/473.07 c 473 3422 673 1 1039.0000 1014.8929 2.38%
479.76/481.06 c 481 3517 682 1 1039.0000 1015.0000 2.36%
486.74/488.01 c 488 3602 681 1 1039.0000 1015.0000 2.36%
494.41/495.74 c 496 3682 689 1 1039.0000 1015.0114 2.36%
500.19/501.54 c 502 3727 700 1 1039.0000 1015.0222 2.36%
509.47/510.88 c 511 3825 704 1 1039.0000 1015.1140 2.35%
514.96/516.33 c 516 3957 700 1 1039.0000 1015.1140 2.35%
520.66/522.06 c 522 4052 703 1 1039.0000 1015.1649 2.35%
526.65/528.06 c 528 4093 710 1 1039.0000 1015.1649 2.35%
534.74/536.17 c 536 4154 715 1 1039.0000 1015.3605 2.33%
540.31/541.79 c 542 4212 719 1 1039.0000 1015.3678 2.33%
550.28/551.72 c 552 4296 729 1 1039.0000 1015.3695 2.33%
556.17/557.61 c 558 4316 735 1 1039.0000 1015.3815 2.33%
561.86/563.37 c 563 4428 743 1 1039.0000 1015.3815 2.33%
569.04/570.50 c 570 4525 746 1 1039.0000 1015.3869 2.33%
575.23/576.78 c 577 4576 753 1 1039.0000 1015.4204 2.32%
583.81/585.38 c 585 4587 760 1 1039.0000 1015.4440 2.32%
589.19/590.79 c 591 4615 764 1 1039.0000 1015.5241 2.31%
594.88/596.46 c 596 4664 767 1 1039.0000 1015.6692 2.30%
600.87/602.49 c 602 4687 776 1 1039.0000 1015.6754 2.30%
606.47/608.10 c 608 4810 775 1 1039.0000 1015.6754 2.30%
611.56/613.19 c 613 4906 773 1 1039.0000 1015.6754 2.30%
616.84/618.47 c 618 5015 774 1 1039.0000 1015.6754 2.30%
622.44/624.05 c 624 5057 1 1 1039.0000 1015.6754 2.30%
628.21/629.84 c 630 5086 28 1 1039.0000 1015.6754 2.30%
633.89/635.55 c 636 5183 35 1 1039.0000 1015.6754 2.30%
639.08/640.77 c 641 5250 46 1 1039.0000 1015.6754 2.30%
644.56/646.21 c 646 5359 53 1 1039.0000 1015.6754 2.30%
649.75/651.47 c 651 5452 62 1 1039.0000 1015.6754 2.30%
655.23/656.91 c 657 5563 65 1 1039.0000 1015.6754 2.30%
660.81/662.56 c 663 5615 67 1 1039.0000 1015.6754 2.30%
666.20/667.94 c 668 5682 74 1 1039.0000 1015.6754 2.30%
671.88/673.60 c 674 5759 79 1 1039.0000 1015.6754 2.30%
677.57/679.38 c 679 5837 87 1 1039.0000 1015.6754 2.30%
682.96/684.73 c 685 5956 86 1 1039.0000 1015.6754 2.30%
688.15/690.01 c 690 6071 85 1 1039.0000 1015.6754 2.30%
693.53/695.39 c 695 6141 91 1 1039.0000 1015.6754 2.30%
699.52/701.37 c 701 6234 102 1 1039.0000 1015.8095 2.28%
705.51/707.31 c 707 6352 108 1 1039.0000 1016.0612 2.26%
710.59/712.43 c 712 6457 111 1 1039.0000 1016.0612 2.26%
716.49/718.38 c 718 6547 117 1 1039.0000 1016.1878 2.24%
721.78/723.67 c 724 6614 130 1 1039.0000 1016.1878 2.24%
727.46/729.39 c 729 6698 132 1 1039.0000 1016.2559 2.24%
734.16/736.06 c 736 6781 133 1 1039.0000 1016.2789 2.24%
741.03/742.97 c 743 6821 147 1 1039.0000 1016.5678 2.21%
746.32/748.28 c 748 6901 149 1 1039.0000 1016.6233 2.20%
751.90/753.84 c 754 7002 154 1 1039.0000 1016.6233 2.20%
757.89/759.88 c 760 7080 160 1 1039.0000 1016.6834 2.20%
762.98/764.99 c 765 7158 162 1 1039.0000 1016.7335 2.19%
768.37/770.35 c 770 7295 167 1 1039.0000 1016.7335 2.19%
774.26/776.22 c 776 7414 172 1 1039.0000 1016.7410 2.19%
780.34/782.31 c 782 7542 170 1 1039.0000 1016.7410 2.19%
785.73/787.74 c 788 7627 179 1 1039.0000 1016.7536 2.19%
791.42/793.42 c 793 7720 182 1 1039.0000 1016.8614 2.18%
797.40/799.46 c 799 7837 193 1 1039.0000 1016.9386 2.17%
803.10/805.17 c 805 7949 185 1 1039.0000 1016.9386 2.17%
809.09/811.14 c 811 8002 196 1 1039.0000 1016.9389 2.17%
814.97/817.08 c 817 8080 198 1 1039.0000 1017.0171 2.16%
820.45/822.51 c 823 8187 201 1 1039.0000 1017.0407 2.16%
826.53/828.62 c 829 8291 207 1 1039.0000 1017.1213 2.15%
831.52/833.65 c 834 8372 210 1 1039.0000 1017.1237 2.15%
836.62/838.78 c 839 8512 216 1 1039.0000 1017.1237 2.15%
841.81/843.96 c 844 8642 216 1 1039.0000 1017.1237 2.15%
847.69/849.80 c 850 8664 220 1 1039.0000 1017.1508 2.15%
853.08/855.23 c 855 8752 224 1 1039.0000 1017.2585 2.14%
860.46/862.62 c 863 8878 230 1 1039.0000 1017.3263 2.13%
865.75/867.94 c 868 9015 231 1 1039.0000 1017.3263 2.13%
871.64/873.86 c 874 9155 231 1 1039.0000 1017.3263 2.13%
877.72/879.99 c 880 9223 243 1 1039.0000 1017.3420 2.13%
883.71/885.92 c 886 9345 253 1 1039.0000 1017.3781 2.13%
888.82/891.07 c 891 9414 258 1 1039.0000 1017.3973 2.12%
894.39/896.65 c 897 9507 263 1 1039.0000 1017.4276 2.12%
901.08/903.35 c 903 9569 269 1 1039.0000 1017.5556 2.11%
906.16/908.49 c 908 9646 276 1 1039.0000 1017.5596 2.11%
911.35/913.67 c 914 9718 278 1 1039.0000 1017.6735 2.10%
921.42/923.74 c 924 9771 293 1 1039.0000 1017.7474 2.09%
926.60/928.98 c 929 9895 295 1 1039.0000 1017.7474 2.09%
931.59/934.01 c 934 9928 302 1 1039.0000 1017.7638 2.09%
936.87/939.22 c 939 9970 314 1 1039.0000 1017.7638 2.09%
942.36/944.76 c 945 10017 319 1 1039.0000 1017.8219 2.08%
947.95/950.33 c 950 10080 324 1 1039.0000 1017.8386 2.08%
953.83/956.25 c 956 10188 328 1 1039.0000 1017.8558 2.08%
958.82/961.26 c 961 10295 329 1 1039.0000 1017.8558 2.08%
964.00/966.47 c 966 10465 327 1 1039.0000 1017.8558 2.08%
969.88/972.32 c 972 10557 337 1 1039.0000 1017.9297 2.07%
975.07/977.59 c 978 10664 344 1 1039.0000 1017.9297 2.07%
980.66/983.18 c 983 10747 349 1 1039.0000 1017.9314 2.07%
985.93/988.46 c 988 10810 356 1 1039.0000 1017.9973 2.06%
991.33/993.88 c 994 10955 353 1 1039.0000 1017.9973 2.06%
997.80/1000.31 c 1000 11046 356 1 1039.0000 1018.0038 2.06%
1002.89/1005.43 c 1005 11114 366 1 1039.0000 1018.0354 2.06%
1008.17/1010.75 c 1011 11242 366 1 1039.0000 1018.0354 2.06%
1014.05/1016.66 c 1017 11319 369 1 1039.0000 1018.0354 2.06%
1019.94/1022.54 c 1023 11388 366 1 1039.0000 1018.0492 2.06%
1025.92/1028.53 c 1029 11503 369 1 1039.0000 1018.0675 2.06%
1031.10/1033.74 c 1034 11594 370 1 1039.0000 1018.0675 2.06%
1036.19/1038.82 c 1039 11705 369 1 1039.0000 1018.1224 2.05%
1041.87/1044.59 c 1045 11768 374 1 1039.0000 1018.1378 2.05%
1046.95/1049.63 c 1050 11883 377 1 1039.0000 1018.1594 2.05%
1052.35/1055.08 c 1055 11937 383 1 1039.0000 1018.1755 2.05%
1058.82/1061.56 c 1062 11998 388 1 1039.0000 1018.1831 2.04%
1064.51/1067.22 c 1067 12078 394 1 1039.0000 1018.1831 2.04%
1069.69/1072.42 c 1072 12142 400 1 1039.0000 1018.2220 2.04%
1075.48/1078.23 c 1078 12231 411 1 1039.0000 1018.2246 2.04%
1081.96/1084.75 c 1085 12327 409 1 1039.0000 1018.2410 2.04%
1088.04/1090.84 c 1091 12400 416 1 1039.0000 1018.2956 2.03%
1093.12/1095.99 c 1096 12529 419 1 1039.0000 1018.2956 2.03%
1098.11/1101.01 c 1101 12597 421 1 1039.0000 1018.3005 2.03%
1105.30/1108.16 c 1108 12644 434 1 1039.0000 1018.3518 2.03%
1111.87/1114.79 c 1115 12679 443 1 1039.0000 1018.3722 2.03%
1117.35/1120.23 c 1120 12781 449 1 1039.0000 1018.3787 2.02%
1126.03/1128.96 c 1129 12861 451 1 1039.0000 1018.3813 2.02%
1131.51/1134.49 c 1134 12932 454 1 1039.0000 1018.3893 2.02%
1137.40/1140.38 c 1140 13057 457 1 1039.0000 1018.4426 2.02%
1143.10/1146.09 c 1146 13130 464 1 1039.0000 1018.4470 2.02%
1148.27/1151.20 c 1151 13209 469 1 1039.0000 1018.4701 2.02%
1154.56/1157.52 c 1158 13349 477 1 1039.0000 1018.6115 2.00%
1160.45/1163.41 c 1163 13419 487 1 1039.0000 1018.6286 2.00%
1166.34/1169.32 c 1169 13595 491 1 1039.0000 1018.6419 2.00%
1172.52/1175.53 c 1176 13657 495 1 1039.0000 1018.6519 2.00%
1177.81/1180.81 c 1181 13714 514 1 1039.0000 1018.7005 1.99%
1184.60/1187.64 c 1188 13870 518 1 1039.0000 1018.7762 1.99%
1191.28/1194.30 c 1194 13927 523 1 1039.0000 1018.7952 1.98%
1196.47/1199.51 c 1200 13988 532 1 1039.0000 1018.8014 1.98%
1201.86/1204.95 c 1205 14043 545 1 1039.0000 1018.8076 1.98%
1207.84/1210.95 c 1211 14071 547 1 1039.0000 1018.8149 1.98%
1215.33/1218.48 c 1218 14131 559 1 1039.0000 1018.8275 1.98%
1220.62/1223.71 c 1224 14211 567 1 1039.0000 1018.8366 1.98%
1225.92/1229.08 c 1229 14270 574 1 1039.0000 1018.8413 1.98%
1232.39/1235.59 c 1236 14339 581 1 1039.0000 1018.8681 1.98%
1238.28/1241.45 c 1241 14416 588 1 1039.0000 1018.8836 1.97%
1243.46/1246.64 c 1247 14531 585 1 1039.0000 1018.8836 1.97%
1249.86/1253.04 c 1253 14557 593 1 1039.0000 1018.8993 1.97%
1254.95/1258.13 c 1258 14613 597 1 1039.0000 1018.8993 1.97%
1260.03/1263.25 c 1263 14689 597 1 1039.0000 1018.9074 1.97%
1266.62/1269.88 c 1270 14798 598 1 1039.0000 1018.9074 1.97%
1271.71/1274.91 c 1275 14875 603 1 1039.0000 1018.9094 1.97%
1277.00/1280.21 c 1280 14944 610 1 1039.0000 1018.9229 1.97%
1282.58/1285.86 c 1286 14959 615 1 1039.0000 1018.9624 1.97%
1287.78/1291.06 c 1291 15107 617 1 1039.0000 1018.9624 1.97%
1293.77/1297.06 c 1297 15281 621 1 1039.0000 1018.9817 1.96%
1299.14/1302.47 c 1302 15366 632 1 1039.0000 1019.0345 1.96%
1304.23/1307.56 c 1308 15505 635 1 1039.0000 1019.0446 1.96%
1309.82/1313.17 c 1313 15567 647 1 1039.0000 1019.0733 1.96%
1315.30/1318.62 c 1319 15571 651 1 1039.0000 1019.0733 1.96%
1322.28/1325.63 c 1326 15720 656 1 1039.0000 1019.1044 1.95%
1327.37/1330.73 c 1331 15872 668 1 1039.0000 1019.1044 1.95%
1333.26/1336.67 c 1337 15997 669 1 1039.0000 1019.1726 1.95%
1338.25/1341.69 c 1342 16008 674 1 1039.0000 1019.1772 1.94%
1343.34/1346.78 c 1347 16090 680 1 1039.0000 1019.2017 1.94%
1349.33/1352.76 c 1353 16232 686 1 1039.0000 1019.2053 1.94%
1354.92/1358.34 c 1358 16299 699 1 1039.0000 1019.2460 1.94%
1359.91/1363.36 c 1363 16367 701 1 1039.0000 1019.2693 1.94%
1365.09/1368.51 c 1369 16521 709 1 1039.0000 1019.2693 1.94%
1370.69/1374.11 c 1374 16695 711 1 1039.0000 1019.2799 1.93%
1375.97/1379.48 c 1379 16763 723 1 1039.0000 1019.3151 1.93%
1381.45/1384.92 c 1385 16924 722 1 1039.0000 1019.3151 1.93%
1388.44/1392.01 c 1392 16969 727 1 1039.0000 1019.3373 1.93%
1394.22/1397.79 c 1398 17047 737 1 1039.0000 1019.3398 1.93%
1400.71/1404.24 c 1404 17148 738 1 1039.0000 1019.3737 1.93%
1406.51/1410.09 c 1410 17171 743 1 1039.0000 1019.3737 1.93%
1411.60/1415.14 c 1415 17240 752 1 1039.0000 1019.3778 1.92%
1418.77/1422.32 c 1422 17258 754 1 1039.0000 1019.3850 1.92%
1425.25/1428.84 c 1429 17398 762 1 1039.0000 1019.3853 1.92%
1431.74/1435.31 c 1435 17507 761 1 1039.0000 1019.3913 1.92%
1436.83/1440.41 c 1440 17533 767 1 1039.0000 1019.3913 1.92%
1442.02/1445.61 c 1446 17712 770 1 1039.0000 1019.3913 1.92%
1447.61/1451.22 c 1451 17778 778 1 1039.0000 1019.4055 1.92%
1452.80/1456.49 c 1456 17906 774 1 1039.0000 1019.4055 1.92%
1458.68/1462.34 c 1462 17973 777 1 1039.0000 1019.4068 1.92%
1465.38/1469.08 c 1469 18057 781 1 1039.0000 1019.4262 1.92%
1472.15/1475.89 c 1476 18137 787 1 1039.0000 1019.4265 1.92%
1479.54/1483.26 c 1483 18177 795 1 1039.0000 1019.4367 1.92%
1486.02/1489.77 c 1490 18219 803 1 1039.0000 1019.4466 1.92%
1491.42/1495.11 c 1495 18260 814 1 1039.0000 1019.4530 1.92%
1496.41/1500.14 c 1500 18337 817 1 1039.0000 1019.4701 1.92%
1501.79/1505.53 c 1506 18415 823 1 1039.0000 1019.4701 1.92%
1508.67/1512.47 c 1512 18487 829 1 1039.0000 1019.5199 1.91%
1514.27/1518.08 c 1518 18579 845 1 1039.0000 1019.5199 1.91%
1520.04/1523.85 c 1524 18609 843 1 1039.0000 1019.5199 1.91%
1525.93/1529.79 c 1530 18723 849 1 1039.0000 1019.5286 1.91%
1531.92/1535.70 c 1536 18741 851 1 1039.0000 1019.5445 1.91%
1537.90/1541.77 c 1542 18804 860 1 1039.0000 1019.5507 1.91%
1546.30/1550.11 c 1550 18840 866 1 1039.0000 1019.6125 1.90%
1551.87/1555.76 c 1556 18920 870 1 1039.0000 1019.6311 1.90%
1558.37/1562.28 c 1562 19051 879 1 1039.0000 1019.6864 1.89%
1563.46/1567.39 c 1567 19164 886 1 1039.0000 1019.6987 1.89%
1569.34/1573.28 c 1573 19199 891 1 1039.0000 1019.7634 1.89%
1574.73/1578.68 c 1579 19263 903 1 1039.0000 1019.8045 1.88%
1580.91/1584.87 c 1585 19322 912 1 1039.0000 1019.8059 1.88%
1586.70/1590.61 c 1591 19417 935 1 1039.0000 1019.8797 1.87%
1594.88/1598.82 c 1599 19517 933 1 1039.0000 1019.8797 1.87%
1600.18/1604.11 c 1604 19547 945 1 1039.0000 1019.9296 1.87%
1605.86/1609.88 c 1610 19577 951 1 1039.0000 1019.9351 1.87%
1612.06/1616.11 c 1616 19600 966 1 1039.0000 1019.9544 1.87%
1618.23/1622.28 c 1622 19656 970 1 1039.0000 1019.9604 1.87%
1624.62/1628.60 c 1629 19680 982 1 1039.0000 1020.0196 1.86%
1630.01/1634.03 c 1634 19825 985 1 1039.0000 1020.0196 1.86%
1635.10/1639.11 c 1639 19956 986 1 1039.0000 1020.0196 1.86%
1641.98/1646.09 c 1646 20049 989 1 1039.0000 1020.0219 1.86%
1646.96/1651.10 c 1651 20077 989 1 1039.0000 1020.0272 1.86%
1652.83/1656.96 c 1657 20175 1011 1 1039.0000 1020.0517 1.86%
1658.32/1662.45 c 1662 20310 1006 1 1039.0000 1020.0517 1.86%
1664.20/1668.38 c 1668 20476 1006 1 1039.0000 1020.1143 1.85%
1670.19/1674.37 c 1674 20594 1020 1 1039.0000 1020.1757 1.85%
1675.37/1679.54 c 1680 20646 1028 1 1039.0000 1020.2072 1.84%
1680.87/1685.08 c 1685 20760 1038 1 1039.0000 1020.2084 1.84%
1686.04/1690.26 c 1690 20927 1035 1 1039.0000 1020.2084 1.84%
1691.62/1695.85 c 1696 21005 1045 1 1039.0000 1020.2249 1.84%
1696.82/1701.11 c 1701 21011 1049 1 1039.0000 1020.2292 1.84%
1702.69/1706.99 c 1707 21119 1053 1 1039.0000 1020.2822 1.83%
1707.89/1712.18 c 1712 21230 1056 1 1039.0000 1020.2822 1.83%
1714.77/1719.01 c 1719 21319 1063 1 1039.0000 1020.2936 1.83%
1720.75/1725.06 c 1725 21397 1067 1 1039.0000 1020.3001 1.83%
1726.02/1730.32 c 1730 21549 1065 1 1039.0000 1020.3001 1.83%
1732.40/1736.71 c 1737 21639 1071 1 1039.0000 1020.3149 1.83%
1738.08/1742.42 c 1742 21697 1083 1 1039.0000 1020.3195 1.83%
1743.58/1747.98 c 1748 21777 1095 1 1039.0000 1020.3288 1.83%
1748.77/1753.17 c 1753 21860 1104 1 1039.0000 1020.3288 1.83%
1754.45/1758.88 c 1759 21936 1112 1 1039.0000 1020.3500 1.83%
1761.32/1765.75 c 1766 22077 1113 1 1039.0000 1020.3665 1.83%
1766.91/1771.33 c 1771 22142 1122 1 1039.0000 1020.3699 1.83%
1772.09/1776.59 c 1777 22273 1131 1 1039.0000 1020.3737 1.83%
1777.18/1781.68 c 1782 22436 1130 1 1039.0000 1020.3737 1.83%
1782.36/1786.88 c 1787 22502 1134 1 1039.0000 1020.4070 1.82%
1787.74/1792.25 c 1792 22648 1136 1 1039.0000 1020.4070 1.82%
1794.12/1798.62 c 1799 22701 1143 1 1039.0000 1020.4306 1.82%
1800.01/1804.55 c 1805 22831 1153 1 1039.0000 1020.4329 1.82%
1806.39/1810.95 c 1811 22938 1160 1 1039.0000 1020.4566 1.82%
1812.17/1816.75 c 1817 23009 1171 1 1039.0000 1020.4706 1.82%
1817.66/1822.24 c 1822 23073 1177 1 1039.0000 1020.4904 1.81%
1822.64/1827.28 c 1827 23210 1182 1 1039.0000 1020.5157 1.81%
1828.54/1833.18 c 1833 23325 1183 1 1039.0000 1020.5226 1.81%
1834.21/1838.83 c 1839 23427 1189 1 1039.0000 1020.5440 1.81%
1839.20/1843.84 c 1844 23513 1197 1 1039.0000 1020.5627 1.81%
1844.50/1849.14 c 1849 23587 1205 1 1039.0000 1020.6065 1.80%
1849.67/1854.37 c 1854 23674 1210 1 1039.0000 1020.6065 1.80%
1854.95/1859.63 c 1860 23767 1213 1 1039.0000 1020.6279 1.80%
1861.35/1866.08 c 1866 23771 1217 1 1039.0000 1020.6279 1.80%
1867.22/1872.01 c 1872 23866 1222 1 1039.0000 1020.6415 1.80%
1872.90/1877.67 c 1878 23977 1239 1 1039.0000 1020.6606 1.80%
1878.40/1883.15 c 1883 24051 1243 1 1039.0000 1020.6622 1.80%
1884.07/1888.83 c 1889 24156 1246 1 1039.0000 1020.6622 1.80%
1889.75/1894.55 c 1895 24212 1250 1 1039.0000 1020.6631 1.80%
1897.24/1902.06 c 1902 24347 1247 1 1039.0000 1020.6711 1.80%
1902.91/1907.72 c 1908 24421 1253 1 1039.0000 1020.6748 1.80%
1908.79/1913.64 c 1914 24497 1263 1 1039.0000 1020.7097 1.79%
1913.88/1918.71 c 1919 24552 1270 1 1039.0000 1020.7097 1.79%
1919.67/1924.50 c 1924 24617 1279 1 1039.0000 1020.7287 1.79%
1924.86/1929.72 c 1930 24679 1283 1 1039.0000 1020.7287 1.79%
1930.04/1934.91 c 1935 24770 1292 1 1039.0000 1020.7287 1.79%
1935.63/1940.54 c 1941 24813 1299 1 1039.0000 1020.7362 1.79%
1941.42/1946.33 c 1946 24894 1314 1 1039.0000 1020.7469 1.79%
1947.60/1952.52 c 1953 24999 1319 1 1039.0000 1020.7602 1.79%
1955.10/1960.04 c 1960 25041 1327 1 1039.0000 1020.7723 1.79%
1961.19/1966.12 c 1966 25134 1324 1 1039.0000 1020.7723 1.79%
1966.46/1971.44 c 1971 25252 1326 1 1039.0000 1020.7781 1.79%
1971.45/1976.46 c 1976 25327 1331 1 1039.0000 1020.7827 1.78%
1978.94/1983.95 c 1984 25357 1339 1 1039.0000 1020.8032 1.78%
1986.42/1991.42 c 1991 25417 1349 1 1039.0000 1020.8117 1.78%
1991.61/1996.67 c 1997 25537 1351 1 1039.0000 1020.8328 1.78%
1996.90/2001.96 c 2002 25551 1361 1 1039.0000 1020.8340 1.78%
2002.78/2007.80 c 2008 25667 1361 1 1039.0000 1020.8495 1.78%
2007.87/2012.96 c 2013 25812 1364 1 1039.0000 1020.8495 1.78%
2013.76/2018.86 c 2019 25850 1384 1 1039.0000 1020.8579 1.78%
2019.05/2024.11 c 2024 25966 1394 1 1039.0000 1020.8579 1.78%
2025.03/2030.17 c 2030 26020 1404 1 1039.0000 1020.8592 1.78%
2030.61/2035.71 c 2036 26082 1412 1 1039.0000 1020.8658 1.78%
2035.91/2041.04 c 2041 26190 1424 1 1039.0000 1020.8694 1.78%
2041.90/2047.01 c 2047 26247 1429 1 1039.0000 1020.8745 1.78%
2047.67/2052.86 c 2053 26251 1433 1 1039.0000 1020.8745 1.78%
2054.15/2059.33 c 2059 26299 1433 1 1039.0000 1020.8745 1.78%
2061.34/2066.55 c 2067 26369 1435 1 1039.0000 1020.8759 1.78%
2067.52/2072.76 c 2073 26456 1438 1 1039.0000 1020.8759 1.78%
2073.51/2078.72 c 2079 26600 1438 1 1039.0000 1020.8826 1.77%
2079.30/2084.58 c 2085 26723 1443 1 1039.0000 1020.8922 1.77%
2086.68/2091.99 c 2092 26807 1449 1 1039.0000 1020.9357 1.77%
2092.79/2098.02 c 2098 26864 1464 1 1039.0000 1020.9550 1.77%
2098.36/2103.68 c 2104 26995 1467 1 1039.0000 1020.9848 1.76%
2103.95/2109.23 c 2109 27077 1477 1 1039.0000 1020.9872 1.76%
2109.85/2115.17 c 2115 27155 1489 1 1039.0000 1021.0044 1.76%
2115.03/2120.36 c 2120 27217 1493 1 1039.0000 1021.0365 1.76%
2120.41/2125.78 c 2126 27289 1503 1 1039.0000 1021.0506 1.76%
2125.60/2130.99 c 2131 27447 1501 1 1039.0000 1021.0506 1.76%
2131.70/2137.04 c 2137 27567 1503 1 1039.0000 1021.0563 1.76%
2137.08/2142.45 c 2142 27571 1507 1 1039.0000 1021.0563 1.76%
2143.06/2148.48 c 2148 27687 1507 1 1039.0000 1021.0665 1.76%
2148.35/2153.75 c 2154 27739 1519 1 1039.0000 1021.0665 1.76%
2154.84/2160.27 c 2160 27769 1525 1 1039.0000 1021.0886 1.75%
2159.93/2165.34 c 2165 27871 1531 1 1039.0000 1021.1144 1.75%
2165.21/2170.63 c 2171 28020 1528 1 1039.0000 1021.1144 1.75%
2170.50/2175.99 c 2176 28089 1531 1 1039.0000 1021.1228 1.75%
2175.89/2181.32 c 2181 28217 1533 1 1039.0000 1021.1347 1.75%
2181.18/2186.64 c 2187 28293 1535 1 1039.0000 1021.1347 1.75%
2186.58/2192.08 c 2192 28415 1545 1 1039.0000 1021.1374 1.75%
2191.85/2197.31 c 2197 28497 1549 1 1039.0000 1021.1399 1.75%
2197.04/2202.56 c 2203 28604 1566 1 1039.0000 1021.1405 1.75%
2202.54/2208.07 c 2208 28695 1567 1 1039.0000 1021.1477 1.75%
2207.63/2213.18 c 2213 28836 1568 1 1039.0000 1021.1477 1.75%
2212.91/2218.48 c 2218 28996 1564 1 1039.0000 1021.1477 1.75%
2218.10/2223.61 c 2224 29105 1579 1 1039.0000 1021.1533 1.75%
2223.79/2229.35 c 2229 29200 1584 1 1039.0000 1021.1563 1.75%
2229.67/2235.21 c 2235 29343 1595 1 1039.0000 1021.1682 1.75%
2235.57/2241.13 c 2241 29416 1596 1 1039.0000 1021.1717 1.75%
2241.04/2246.68 c 2247 29556 1592 1 1039.0000 1021.1717 1.75%
2246.23/2251.88 c 2252 29716 1590 1 1039.0000 1021.1717 1.75%
2251.62/2257.24 c 2257 29876 1588 1 1039.0000 1021.1717 1.75%
2257.21/2262.86 c 2263 29934 1598 1 1039.0000 1021.1930 1.74%
2262.29/2267.94 c 2268 30102 1596 1 1039.0000 1021.1930 1.74%
2267.50/2273.13 c 2273 30256 1600 1 1039.0000 1021.1930 1.74%
2273.07/2278.75 c 2279 30342 1610 1 1039.0000 1021.1977 1.74%
2278.96/2284.64 c 2285 30351 1613 1 1039.0000 1021.1977 1.74%
2284.05/2289.77 c 2290 30439 1611 1 1039.0000 1021.2041 1.74%
2289.94/2295.67 c 2296 30528 1614 1 1039.0000 1021.2104 1.74%
2295.63/2301.39 c 2301 30641 1619 1 1039.0000 1021.2166 1.74%
2301.43/2307.15 c 2307 30723 1621 1 1039.0000 1021.2224 1.74%
2307.70/2313.40 c 2313 30828 1632 1 1039.0000 1021.2254 1.74%
2313.19/2318.93 c 2319 30884 1642 1 1039.0000 1021.2292 1.74%
2318.48/2324.22 c 2324 30933 1649 1 1039.0000 1021.2478 1.74%
2324.38/2330.18 c 2330 30974 1656 1 1039.0000 1021.2597 1.74%
2330.55/2336.36 c 2336 31080 1658 1 1039.0000 1021.2597 1.74%
2335.73/2341.51 c 2342 31150 1664 1 1039.0000 1021.2615 1.74%
2341.42/2347.22 c 2347 31244 1666 1 1039.0000 1021.2730 1.74%
2347.32/2353.18 c 2353 31368 1662 1 1039.0000 1021.2732 1.74%
2352.59/2358.47 c 2358 31426 1672 1 1039.0000 1021.2798 1.74%
2358.58/2364.43 c 2364 31511 1675 1 1039.0000 1021.2799 1.74%
2364.37/2370.24 c 2370 31615 1679 1 1039.0000 1021.2799 1.74%
2370.26/2376.14 c 2376 31718 1684 1 1039.0000 1021.2910 1.73%
2375.45/2381.35 c 2381 31837 1685 1 1039.0000 1021.2999 1.73%
2381.33/2387.20 c 2387 31927 1691 1 1039.0000 1021.3053 1.73%
2387.23/2393.19 c 2393 32029 1701 1 1039.0000 1021.3244 1.73%
2393.90/2399.88 c 2400 32146 1700 1 1039.0000 1021.3244 1.73%
2399.99/2405.95 c 2406 32210 1704 1 1039.0000 1021.3384 1.73%
2407.28/2413.26 c 2413 32221 1711 1 1039.0000 1021.3395 1.73%
2413.17/2419.16 c 2419 32339 1727 1 1039.0000 1021.3540 1.73%
2418.64/2424.66 c 2425 32470 1732 1 1039.0000 1021.3769 1.73%
2425.04/2431.03 c 2431 32518 1742 1 1039.0000 1021.3944 1.72%
2430.92/2436.92 c 2437 32646 1754 1 1039.0000 1021.3957 1.72%
2436.40/2442.49 c 2442 32747 1755 1 1039.0000 1021.4100 1.72%
2441.49/2447.55 c 2448 32797 1759 1 1039.0000 1021.4124 1.72%
2446.88/2452.90 c 2453 32916 1764 1 1039.0000 1021.4124 1.72%
2452.38/2458.40 c 2458 32977 1773 1 1039.0000 1021.4545 1.72%
2458.46/2464.50 c 2465 33042 1784 1 1039.0000 1021.4634 1.72%
2463.65/2469.76 c 2470 33100 1790 1 1039.0000 1021.4721 1.72%
2469.74/2475.88 c 2476 33151 1791 1 1039.0000 1021.4721 1.72%
2475.72/2481.80 c 2482 33224 1792 1 1039.0000 1021.4895 1.71%
2481.31/2487.40 c 2487 33290 1798 1 1039.0000 1021.5071 1.71%
2486.40/2492.51 c 2493 33428 1796 1 1039.0000 1021.5071 1.71%
2491.90/2498.07 c 2498 33491 1801 1 1039.0000 1021.5176 1.71%
2497.77/2503.93 c 2504 33604 1816 1 1039.0000 1021.5408 1.71%
2503.66/2509.82 c 2510 33747 1823 1 1039.0000 1021.5599 1.71%
2509.44/2515.65 c 2516 33770 1828 1 1039.0000 1021.5599 1.71%
2515.03/2521.25 c 2521 33867 1827 1 1039.0000 1021.5814 1.71%
2520.32/2526.58 c 2527 33929 1829 1 1039.0000 1021.5814 1.71%
2527.92/2534.18 c 2534 34048 1834 1 1039.0000 1021.5932 1.70%
2535.29/2541.56 c 2542 34164 1844 1 1039.0000 1021.5942 1.70%
2541.17/2547.43 c 2547 34307 1847 1 1039.0000 1021.5942 1.70%
2546.66/2552.96 c 2553 34412 1860 1 1039.0000 1021.6041 1.70%
2552.55/2558.84 c 2559 34480 1864 1 1039.0000 1021.6141 1.70%
2557.75/2564.11 c 2564 34533 1871 1 1039.0000 1021.6176 1.70%
2562.93/2569.26 c 2569 34669 1871 1 1039.0000 1021.6176 1.70%
2568.12/2574.44 c 2574 34822 1872 1 1039.0000 1021.6176 1.70%
2573.21/2579.59 c 2580 34907 1871 1 1039.0000 1021.6291 1.70%
2579.49/2585.89 c 2586 34968 1880 1 1039.0000 1021.6333 1.70%
2585.48/2591.88 c 2592 35037 1891 1 1039.0000 1021.6337 1.70%
2591.78/2598.17 c 2598 35159 1891 1 1039.0000 1021.6451 1.70%
2597.35/2603.72 c 2604 35280 1894 1 1039.0000 1021.6451 1.70%
2602.44/2608.83 c 2609 35374 1904 1 1039.0000 1021.6835 1.69%
2608.43/2614.84 c 2615 35440 1906 1 1039.0000 1021.6856 1.69%
2614.11/2620.51 c 2621 35455 1909 1 1039.0000 1021.6856 1.69%
2619.40/2625.80 c 2626 35565 1915 1 1039.0000 1021.6856 1.69%
2626.29/2632.79 c 2633 35597 1925 1 1039.0000 1021.6975 1.69%
2631.58/2638.07 c 2638 35703 1941 1 1039.0000 1021.7222 1.69%
2636.67/2643.18 c 2643 35797 1943 1 1039.0000 1021.7333 1.69%
2642.24/2648.78 c 2649 35834 1960 1 1039.0000 1021.7605 1.69%
2648.43/2654.95 c 2655 35887 1963 1 1039.0000 1021.7704 1.69%
2654.22/2660.79 c 2661 35949 1973 1 1039.0000 1021.7705 1.69%
2659.62/2666.20 c 2666 36067 1979 1 1039.0000 1021.7880 1.68%
2664.90/2671.43 c 2671 36117 1989 1 1039.0000 1021.8127 1.68%
2670.60/2677.13 c 2677 36191 1993 1 1039.0000 1021.8127 1.68%
2676.17/2682.73 c 2683 36276 1994 1 1039.0000 1021.8165 1.68%
2681.16/2687.76 c 2688 36313 1997 1 1039.0000 1021.8165 1.68%
2686.84/2693.43 c 2693 36398 2004 1 1039.0000 1021.8301 1.68%
2691.93/2698.56 c 2699 36470 2028 1 1039.0000 1021.8382 1.68%
2697.91/2704.55 c 2705 36566 2034 1 1039.0000 1021.8505 1.68%
2703.10/2709.74 c 2710 36704 2040 1 1039.0000 1021.8505 1.68%
2708.18/2714.84 c 2715 36834 2046 1 1039.0000 1021.8505 1.68%
2713.48/2720.14 c 2720 36927 2049 1 1039.0000 1021.8505 1.68%
2720.46/2727.12 c 2727 37039 2055 1 1039.0000 1021.8570 1.68%
2726.73/2733.43 c 2733 37124 2066 1 1039.0000 1021.8782 1.68%
2731.71/2738.49 c 2738 37159 2069 1 1039.0000 1021.8787 1.68%
2738.19/2745.01 c 2745 37237 2075 1 1039.0000 1021.8976 1.67%
2743.57/2750.34 c 2750 37303 2083 1 1039.0000 1021.9139 1.67%
2749.16/2755.90 c 2756 37443 2087 1 1039.0000 1021.9217 1.67%
2754.75/2761.51 c 2762 37544 2090 1 1039.0000 1021.9322 1.67%
2761.63/2768.41 c 2768 37618 2104 1 1039.0000 1021.9398 1.67%
2767.61/2774.42 c 2774 37684 2106 1 1039.0000 1021.9398 1.67%
2772.60/2779.49 c 2779 37797 2111 1 1039.0000 1021.9648 1.67%
2779.59/2786.46 c 2786 37854 2122 1 1039.0000 1021.9717 1.67%
2784.67/2791.55 c 2792 37897 2125 1 1039.0000 1021.9753 1.67%
2790.65/2797.54 c 2798 37988 2128 1 1039.0000 1021.9753 1.67%
2796.15/2803.05 c 2803 38031 2133 1 1039.0000 1021.9865 1.66%
2801.52/2808.43 c 2808 38087 2129 1 1039.0000 1021.9918 1.66%
2807.40/2814.39 c 2814 38179 2137 1 1039.0000 1022.0204 1.66%
2812.99/2819.90 c 2820 38253 2149 1 1039.0000 1022.0240 1.66%
2818.27/2825.25 c 2825 38347 2153 1 1039.0000 1022.0270 1.66%
2825.25/2832.24 c 2832 38439 2159 1 1039.0000 1022.0331 1.66%
2830.44/2837.43 c 2837 38500 2166 1 1039.0000 1022.0360 1.66%
2835.53/2842.57 c 2843 38525 2171 1 1039.0000 1022.0407 1.66%
2841.52/2848.54 c 2849 38617 2175 1 1039.0000 1022.0561 1.66%
2846.70/2853.77 c 2854 38733 2177 1 1039.0000 1022.0561 1.66%
2852.59/2859.68 c 2860 38828 2178 1 1039.0000 1022.0569 1.66%
2860.87/2867.90 c 2868 38901 2179 1 1039.0000 1022.0577 1.66%
2866.36/2873.43 c 2873 38964 2188 1 1039.0000 1022.0745 1.66%
2872.16/2879.26 c 2879 39062 2190 1 1039.0000 1022.0828 1.66%
2879.06/2886.12 c 2886 39181 2195 1 1039.0000 1022.0845 1.65%
2884.13/2891.28 c 2891 39322 2190 1 1039.0000 1022.0845 1.65%
2889.42/2896.53 c 2897 39392 2198 1 1039.0000 1022.0893 1.65%
2894.50/2901.67 c 2902 39486 2212 1 1039.0000 1022.1031 1.65%
2900.49/2907.61 c 2908 39551 2217 1 1039.0000 1022.1086 1.65%
2905.48/2912.68 c 2913 39667 2217 1 1039.0000 1022.1299 1.65%
2910.57/2917.71 c 2918 39745 2221 1 1039.0000 1022.1299 1.65%
2915.97/2923.12 c 2923 39877 2221 1 1039.0000 1022.1416 1.65%
2921.05/2928.22 c 2928 39999 2225 1 1039.0000 1022.1416 1.65%
2926.23/2933.48 c 2933 40133 2227 1 1039.0000 1022.1416 1.65%
2931.72/2938.92 c 2939 40208 2234 1 1039.0000 1022.1440 1.65%
2937.01/2944.27 c 2944 40317 2237 1 1039.0000 1022.1450 1.65%
2942.81/2950.07 c 2950 40347 2251 1 1039.0000 1022.1563 1.65%
2947.98/2955.20 c 2955 40452 2254 1 1039.0000 1022.1563 1.65%
2953.57/2960.85 c 2961 40536 2252 1 1039.0000 1022.1653 1.65%
2959.56/2966.90 c 2967 40633 2255 1 1039.0000 1022.1653 1.65%
2965.04/2972.38 c 2972 40723 2263 1 1039.0000 1022.1653 1.65%
2970.54/2977.81 c 2978 40797 2265 1 1039.0000 1022.1747 1.65%
2975.53/2982.85 c 2983 40807 2269 1 1039.0000 1022.1777 1.65%
2980.92/2988.21 c 2988 40897 2281 1 1039.0000 1022.1850 1.65%
2986.00/2993.34 c 2993 40943 2297 1 1039.0000 1022.2153 1.64%
2991.39/2998.73 c 2999 41002 2300 1 1039.0000 1022.2205 1.64%
2997.38/3004.77 c 3005 41037 2305 1 1039.0000 1022.2347 1.64%
3003.26/3010.64 c 3011 41100 2316 1 1039.0000 1022.2387 1.64%
3009.05/3016.48 c 3016 41187 2321 1 1039.0000 1022.2455 1.64%
3015.54/3023.01 c 3023 41258 2330 1 1039.0000 1022.2601 1.64%
3022.11/3029.51 c 3030 41301 2343 1 1039.0000 1022.2658 1.64%
3027.30/3034.75 c 3035 41395 2347 1 1039.0000 1022.2659 1.64%
3032.48/3040.01 c 3040 41483 2349 1 1039.0000 1022.2668 1.64%
3039.36/3046.88 c 3047 41531 2359 1 1039.0000 1022.2715 1.64%
3044.66/3052.14 c 3052 41683 2359 1 1039.0000 1022.2715 1.64%
3049.83/3057.31 c 3057 41769 2363 1 1039.0000 1022.2715 1.64%
3055.22/3062.74 c 3063 41862 2372 1 1039.0000 1022.2721 1.64%
3061.41/3068.99 c 3069 41947 2379 1 1039.0000 1022.2891 1.63%
3066.52/3074.09 c 3074 42007 2387 1 1039.0000 1022.3014 1.63%
3071.69/3079.25 c 3079 42075 2391 1 1039.0000 1022.3014 1.63%
3076.98/3084.58 c 3085 42098 2392 1 1039.0000 1022.3034 1.63%
3083.26/3090.86 c 3091 42154 2406 1 1039.0000 1022.3265 1.63%
3089.05/3096.60 c 3097 42257 2407 1 1039.0000 1022.3305 1.63%
3095.45/3103.04 c 3103 42409 2407 1 1039.0000 1022.3404 1.63%
3102.02/3109.69 c 3110 42498 2412 1 1039.0000 1022.3623 1.63%
3107.31/3114.91 c 3115 42615 2415 1 1039.0000 1022.3623 1.63%
3113.20/3120.83 c 3121 42638 2420 1 1039.0000 1022.3697 1.63%
3118.88/3126.52 c 3127 42665 2429 1 1039.0000 1022.3750 1.63%
3124.27/3131.97 c 3132 42818 2430 1 1039.0000 1022.3750 1.63%
3129.47/3137.13 c 3137 42973 2427 1 1039.0000 1022.3750 1.63%
3134.95/3142.68 c 3143 43117 2431 1 1039.0000 1022.3918 1.62%
3140.94/3148.68 c 3149 43177 2445 1 1039.0000 1022.4021 1.62%
3146.03/3153.78 c 3154 43242 2450 1 1039.0000 1022.4128 1.62%
3151.22/3158.90 c 3159 43372 2452 1 1039.0000 1022.4128 1.62%
3156.61/3164.34 c 3164 43486 2460 1 1039.0000 1022.4134 1.62%
3161.79/3169.54 c 3170 43568 2462 1 1039.0000 1022.4242 1.62%
3166.98/3174.74 c 3175 43653 2475 1 1039.0000 1022.4258 1.62%
3172.17/3179.98 c 3180 43777 2483 1 1039.0000 1022.4258 1.62%
3177.46/3185.25 c 3185 43925 2481 1 1039.0000 1022.4258 1.62%
3183.44/3191.20 c 3191 43974 2492 1 1039.0000 1022.4295 1.62%
3189.93/3197.71 c 3198 44098 2498 1 1039.0000 1022.4393 1.62%
3195.12/3202.97 c 3203 44157 2507 1 1039.0000 1022.4539 1.62%
3202.70/3210.57 c 3211 44201 2521 1 1039.0000 1022.4648 1.62%
3208.09/3216.01 c 3216 44296 2524 1 1039.0000 1022.4648 1.62%
3214.07/3221.92 c 3222 44350 2530 1 1039.0000 1022.4652 1.62%
3220.95/3228.84 c 3229 44384 2534 1 1039.0000 1022.4656 1.62%
3226.94/3234.87 c 3235 44500 2536 1 1039.0000 1022.4778 1.62%
3232.02/3239.99 c 3240 44644 2534 1 1039.0000 1022.4778 1.62%
3239.01/3246.96 c 3247 44767 2537 1 1039.0000 1022.4894 1.61%
3244.30/3252.21 c 3252 44873 2555 1 1039.0000 1022.4894 1.61%
3249.48/3257.40 c 3257 44928 2554 1 1039.0000 1022.4965 1.61%
3254.97/3262.96 c 3263 44987 2563 1 1039.0000 1022.5102 1.61%
3260.17/3268.20 c 3268 45040 2578 1 1039.0000 1022.5120 1.61%
3265.45/3273.43 c 3273 45130 2576 1 1039.0000 1022.5120 1.61%
3270.74/3278.76 c 3279 45165 2581 1 1039.0000 1022.5146 1.61%
3276.04/3284.01 c 3284 45280 2578 1 1039.0000 1022.5249 1.61%
3282.21/3290.26 c 3290 45358 2582 1 1039.0000 1022.5428 1.61%
3288.01/3296.10 c 3296 45406 2590 1 1039.0000 1022.5515 1.61%
3293.49/3301.52 c 3302 45427 2601 1 1039.0000 1022.5562 1.61%
3299.78/3307.86 c 3308 45537 2599 1 1039.0000 1022.5563 1.61%
3304.98/3313.02 c 3313 45657 2601 1 1039.0000 1022.5563 1.61%
3310.07/3318.13 c 3318 45691 2603 1 1039.0000 1022.5715 1.61%
3315.14/3323.21 c 3323 45827 2601 1 1039.0000 1022.5744 1.61%
3320.94/3329.04 c 3329 45883 2607 1 1039.0000 1022.5915 1.60%
3325.93/3334.05 c 3334 45957 2611 1 1039.0000 1022.6037 1.60%
3330.92/3339.10 c 3339 45999 2623 1 1039.0000 1022.6211 1.60%
3336.49/3344.68 c 3345 46123 2627 1 1039.0000 1022.6222 1.60%
3342.08/3350.24 c 3350 46177 2635 1 1039.0000 1022.6330 1.60%
3348.27/3356.44 c 3356 46258 2642 1 1039.0000 1022.6394 1.60%
3353.96/3362.14 c 3362 46363 2655 1 1039.0000 1022.6408 1.60%
3359.53/3367.78 c 3368 46477 2667 1 1039.0000 1022.6520 1.60%
3367.83/3376.04 c 3376 46579 2675 1 1039.0000 1022.6591 1.60%
3373.00/3381.27 c 3381 46690 2686 1 1039.0000 1022.6591 1.60%
3378.29/3386.54 c 3387 46812 2696 1 1039.0000 1022.6591 1.60%
3383.80/3392.06 c 3392 46868 2700 1 1039.0000 1022.6716 1.60%
3389.08/3397.33 c 3397 46918 2702 1 1039.0000 1022.6767 1.60%
3394.46/3402.74 c 3403 46984 2708 1 1039.0000 1022.6769 1.60%
3399.65/3407.97 c 3408 47127 2705 1 1039.0000 1022.6769 1.60%
3405.34/3413.63 c 3414 47159 2709 1 1039.0000 1022.6833 1.60%
3411.02/3419.39 c 3419 47252 2726 1 1039.0000 1022.6840 1.60%
3416.61/3424.95 c 3425 47374 2738 1 1039.0000 1022.6900 1.59%
3423.59/3431.91 c 3432 47498 2742 1 1039.0000 1022.7022 1.59%
3428.79/3437.16 c 3437 47593 2753 1 1039.0000 1022.7078 1.59%
3433.87/3442.26 c 3442 47647 2757 1 1039.0000 1022.7262 1.59%
3439.36/3447.76 c 3448 47775 2763 1 1039.0000 1022.7286 1.59%
3444.55/3452.91 c 3453 47924 2758 1 1039.0000 1022.7286 1.59%
3449.76/3458.12 c 3458 47997 2765 1 1039.0000 1022.7334 1.59%
3454.83/3463.25 c 3463 48048 2772 1 1039.0000 1022.7399 1.59%
3460.82/3469.28 c 3469 48097 2779 1 1039.0000 1022.7399 1.59%
3465.91/3474.37 c 3474 48161 2785 1 1039.0000 1022.7432 1.59%
3471.89/3480.30 c 3480 48300 2794 1 1039.0000 1022.7519 1.59%
3477.59/3486.03 c 3486 48376 2802 1 1039.0000 1022.7547 1.59%
3483.16/3491.67 c 3492 48458 2808 1 1039.0000 1022.7746 1.59%
3488.75/3497.29 c 3497 48563 2823 1 1039.0000 1022.7769 1.59%
3494.04/3502.59 c 3503 48677 2823 1 1039.0000 1022.7805 1.59%
3499.12/3507.62 c 3508 48737 2833 1 1039.0000 1022.7823 1.59%
3505.81/3514.34 c 3514 48818 2832 1 1039.0000 1022.7850 1.59%
3511.00/3519.59 c 3520 48957 2829 1 1039.0000 1022.7850 1.59%
3516.08/3524.68 c 3525 49027 2833 1 1039.0000 1022.7970 1.58%
3521.97/3530.58 c 3531 49100 2844 1 1039.0000 1022.8031 1.58%
3531.05/3539.63 c 3540 49151 2851 1 1039.0000 1022.8139 1.58%
3536.15/3544.79 c 3545 49287 2849 1 1039.0000 1022.8139 1.58%
3541.34/3549.94 c 3550 49437 2845 1 1039.0000 1022.8164 1.58%
3546.62/3555.24 c 3555 49559 2849 1 1039.0000 1022.8164 1.58%
3552.01/3560.69 c 3561 49658 2846 1 1039.0000 1022.8293 1.58%
3557.10/3565.70 c 3566 49767 2849 1 1039.0000 1022.8453 1.58%
3562.89/3571.55 c 3572 49859 2855 1 1039.0000 1022.8453 1.58%
3569.38/3578.09 c 3578 49932 2858 1 1039.0000 1022.8567 1.58%
3574.66/3583.38 c 3583 50084 2856 1 1039.0000 1022.8567 1.58%
3579.74/3588.50 c 3588 50194 2856 1 1039.0000 1022.8567 1.58%
3585.63/3594.33 c 3594 50263 2861 1 1039.0000 1022.8570 1.58%
3591.02/3599.77 c 3600 50327 2859 1 1039.0000 1022.8581 1.58%
3591.34/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.34/3600.04 c Total Time : 3600.04
3591.34/3600.04 c solving : 3600.04
3591.34/3600.04 c presolving : 0.13 (included in solving)
3591.34/3600.04 c B&B Tree :
3591.34/3600.04 c nodes (total) : 1
3591.34/3600.04 c Solution :
3591.34/3600.04 c Solutions found : 20
3591.34/3600.04 c Primal Bound : +1.03900000000000e+03
3591.34/3600.04 c Dual Bound : +1.02285811999372e+03
3591.34/3600.04 c Gap : 1.57812 %
3591.34/3600.04 c * Warning: final gap: 1.57812e-02 is greater than SCIPepsilon: 1.00000e-09
3591.34/3600.04 o 1039
3591.34/3600.04 s SATISFIABLE
3591.34/3600.04 v -x1961 -x1960 x1959 -x1958 -x1957 -x1956 x1955 x1954 x1953 -x1952 x1951 -x1950 x1949 x1948 -x1947 x1946 x1945 x1944 x1943 x1942
3591.34/3600.04 v -x1941 x1940 -x1939 x1938 -x1937 -x1936 -x1935 x1934 -x1933 x1932 -x1931 -x1930 -x1929 x1928 -x1927 x1926 x1925 -x1924 x1923
3591.34/3600.04 v x1922 -x1921 x1920 -x1919 -x1918 x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 x1907 -x1906 x1905 -x1904
3591.34/3600.04 v -x1903 -x1902 x1901 x1900 x1899 -x1898 -x1897 -x1896 x1895 x1894 x1893 x1892 -x1891 x1890 -x1889 -x1888 x1887 x1886 -x1885
3591.34/3600.04 v -x1884 -x1883 x1882 x1881 -x1880 x1879 x1878 -x1877 x1876 -x1875 x1874 x1873 x1872 -x1871 -x1870 x1869 x1868 -x1867 -x1866 -x1865
3591.34/3600.04 v x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856 x1855 x1854 x1853 -x1852 x1851 -x1850 -x1849 x1848 x1847 x1846
3591.34/3600.04 v x1845 x1844 -x1843 x1842 -x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 x1833 -x1832 -x1831 -x1830 x1829 x1828 x1827
3591.34/3600.04 v x1826 -x1825 x1824 x1823 -x1822 x1821 x1820 -x1819 x1818 -x1817 -x1816 -x1815 x1814 -x1813 x1812 x1811 x1810 x1809 x1808 -x1807
3591.34/3600.04 v x1806 -x1805 x1804 x1803 x1802 -x1801 -x1800 x1799 x1798 x1797 -x1796 -x1795 -x1794 x1793 -x1792 x1791 x1790 x1789 -x1788
3591.34/3600.04 v x1787 -x1786 x1785 -x1784 x1783 -x1782 -x1781 -x1780 x1779 x1778 x1777 -x1776 x1775 x1774 -x1773 -x1772 x1771 -x1770 x1769 x1768
3591.34/3600.04 v -x1767 -x1766 x1765 -x1764 -x1763 -x1762 x1761 -x1760 -x1759 x1758 -x1757 -x1756 -x1755 -x1754 x1753 -x1752 x1751 -x1750
3591.34/3600.04 v x1749 x1748 -x1747 -x1746 x1745 x1744 -x1743 x1742 x1741 -x1740 x1739 x1738 x1737 x1736 -x1735 x1734 -x1733 -x1732 -x1731 x1730
3591.34/3600.04 v x1729 -x1728 x1727 x1726 x1725 -x1724 x1723 -x1722 x1721 -x1720 x1719 x1718 x1717 -x1716 -x1715 -x1714 -x1713 x1712 x1711
3591.34/3600.04 v -x1710 x1709 -x1708 x1707 -x1706 -x1705 -x1704 x1703 -x1702 -x1701 -x1700 x1699 x1698 x1697 -x1696 x1695 x1694 x1693 -x1692
3591.34/3600.04 v -x1691 x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 -x1681 -x1680 -x1679 x1678 x1677 x1676 -x1675 -x1674 -x1673
3591.34/3600.04 v -x1672 -x1671 -x1670 x1669 -x1668 -x1667 -x1666 x1665 -x1664 x1663 x1662 -x1661 -x1660 -x1659 x1658 -x1657 x1656 x1655 x1654
3591.34/3600.04 v -x1653 x1652 -x1651 -x1650 x1649 -x1648 x1647 -x1646 x1645 -x1644 x1643 x1642 -x1641 -x1640 x1639 x1638 -x1637 x1636 x1635 x1634
3591.34/3600.04 v x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 x1623 x1622 -x1621 -x1620 x1619 -x1618 -x1617 -x1616 x1615
3591.34/3600.04 v -x1614 x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 -x1605 x1604 -x1603 x1602 x1601 x1600 x1599 -x1598 -x1597 -x1596
3591.34/3600.04 v -x1595 -x1594 x1593 x1592 x1591 x1590 x1589 x1588 -x1587 x1586 x1585 -x1584 -x1583 -x1582 x1581 -x1580 x1579 x1578 x1577
3591.34/3600.04 v x1576 x1575 -x1574 x1573 x1572 x1571 x1570 -x1569 -x1568 x1567 x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 x1558 -x1557
3591.34/3600.04 v -x1556 x1555 x1554 -x1553 -x1552 x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 -x1538
3591.34/3600.04 v -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529 x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 -x1521 x1520 -x1519
3591.34/3600.04 v -x1518 -x1517 x1516 -x1515 x1514 x1513 x1512 x1511 x1510 -x1509 x1508 x1507 x1506 x1505 x1504 x1503 x1502 x1501 -x1500
3591.34/3600.04 v x1499 x1498 -x1497 -x1496 x1495 -x1494 x1493 x1492 -x1491 -x1490 -x1489 x1488 x1487 -x1486 -x1485 x1484 x1483 -x1482 x1481 x1480
3591.34/3600.04 v x1479 x1478 x1477 x1476 -x1475 x1474 -x1473 -x1472 x1471 -x1470 x1469 -x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461
3591.34/3600.04 v -x1460 -x1459 -x1458 x1457 -x1456 x1455 -x1454 x1453 -x1452 -x1451 x1450 x1449 -x1448 -x1447 -x1446 -x1445 x1444 x1443 x1442
3591.34/3600.04 v -x1441 x1440 -x1439 -x1438 x1437 x1436 x1435 -x1434 x1433 -x1432 x1431 x1430 x1429 -x1428 -x1427 x1426 x1425 x1424 -x1423
3591.34/3600.04 v x1422 -x1421 x1420 -x1419 x1418 -x1417 -x1416 x1415 x1414 -x1413 -x1412 x1411 -x1410 x1409 -x1408 -x1407 x1406 x1405 -x1404
3591.34/3600.04 v x1403 x1402 -x1401 -x1400 x1399 x1398 -x1397 x1396 x1395 -x1394 -x1393 x1392 -x1391 x1390 -x1389 x1388 -x1387 -x1386 -x1385 x1384
3591.34/3600.04 v -x1383 -x1382 -x1381 x1380 x1379 x1378 x1377 -x1376 x1375 -x1374 x1373 x1372 -x1371 x1370 -x1369 x1368 -x1367 -x1366 -x1365
3591.34/3600.04 v -x1364 x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354 x1353 -x1352 -x1351 x1350 -x1349 -x1348 -x1347
3591.34/3600.04 v x1346 -x1345 x1344 x1343 -x1342 x1341 -x1340 x1339 x1338 x1337 x1336 x1335 -x1334 -x1333 x1332 -x1331 -x1330 -x1329 -x1328 x1327
3591.34/3600.04 v x1326 -x1325 x1324 x1323 x1322 x1321 x1320 x1319 -x1318 -x1317 -x1316 x1315 x1314 x1313 -x1312 -x1311 x1310 x1309 x1308 x1307
3591.34/3600.04 v x1306 x1305 x1304 x1303 -x1302 x1301 -x1300 -x1299 -x1298 -x1297 x1296 -x1295 x1294 x1293 -x1292 -x1291 -x1290 -x1289 x1288
3591.34/3600.04 v -x1287 -x1286 x1285 -x1284 -x1283 x1282 -x1281 x1280 x1279 -x1278 -x1277 x1276 x1275 x1274 -x1273 x1272 -x1271 x1270 x1269
3591.34/3600.04 v x1268 x1267 -x1266 -x1265 -x1264 -x1263 x1262 x1261 -x1260 -x1259 x1258 -x1257 x1256 x1255 -x1254 x1253 -x1252 x1251 x1250
3591.34/3600.04 v x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 x1238 x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231
3591.34/3600.04 v x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 -x1223 -x1222 x1221 x1220 -x1219 x1218 -x1217 x1216 -x1215 -x1214 -x1213 x1212
3591.34/3600.04 v x1211 x1210 -x1209 x1208 x1207 -x1206 x1205 x1204 -x1203 x1202 x1201 x1200 x1199 x1198 x1197 -x1196 x1195 x1194 -x1193 -x1192
3591.34/3600.04 v x1191 -x1190 x1189 x1188 x1187 x1186 x1185 -x1184 x1183 x1182 x1181 x1180 x1179 -x1178 x1177 x1176 x1175 -x1174 x1173 x1172
3591.34/3600.04 v x1171 -x1170 -x1169 x1168 -x1167 x1166 x1165 x1164 x1163 x1162 x1161 x1160 x1159 x1158 -x1157 x1156 x1155 x1154 -x1153 x1152
3591.34/3600.04 v x1151 x1150 -x1149 x1148 x1147 x1146 x1145 x1144 -x1143 -x1142 -x1141 x1140 x1139 x1138 -x1137 x1136 x1135 x1134 -x1133 -x1132
3591.34/3600.04 v -x1131 x1130 x1129 x1128 -x1127 -x1126 x1125 x1124 -x1123 x1122 x1121 x1120 x1119 x1118 x1117 -x1116 x1115 -x1114 x1113 x1112
3591.34/3600.04 v x1111 x1110 x1109 -x1108 x1107 x1106 x1105 x1104 -x1103 -x1102 x1101 x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 x1093
3591.34/3600.04 v -x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 -x1085 x1084 -x1083 -x1082 x1081 x1080 x1079 x1078 x1077 x1076 x1075 x1074 -x1073
3591.34/3600.04 v x1072 x1071 x1070 -x1069 -x1068 x1067 x1066 x1065 x1064 -x1063 -x1062 x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
3591.34/3600.04 v x1053 x1052 -x1051 x1050 x1049 -x1048 -x1047 x1046 -x1045 x1044 -x1043 x1042 x1041 x1040 -x1039 x1038 x1037 x1036 -x1035
3591.34/3600.04 v -x1034 x1033 x1032 -x1031 -x1030 -x1029 x1028 x1027 -x1026 x1025 x1024 x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015
3591.34/3600.04 v x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003 -x1002 x1001 x1000 x999 -x998 x997 -x996
3591.34/3600.04 v x995 x994 -x993 x992 x991 x990 x989 x988 x987 x986 -x985 x984 -x983 -x982 x981 -x980 x979 x978 -x977 x976 x975 -x974 x973 x972
3591.34/3600.04 v x971 x970 -x969 x968 x967 -x966 x965 x964 x963 -x962 -x961 x960 x959 -x958 x957 x956 x955 x954 x953 -x952 x951 -x950 -x949
3591.34/3600.04 v x948 x947 -x946 -x945 x944 -x943 -x942 x941 x940 -x939 -x938 x937 x936 -x935 -x934 -x933 -x932 x931 x930 x929 -x928 -x927 x926
3591.34/3600.04 v -x925 x924 -x923 x922 -x921 x920 -x919 -x918 x917 -x916 -x915 x914 x913 x912 x911 x910 x909 -x908 -x907 x906 x905 x904 -x903
3591.34/3600.04 v x902 x901 x900 -x899 x898 -x897 x896 x895 x894 x893 x892 -x891 -x890 x889 -x888 x887 x886 x885 x884 -x883 -x882 x881 x880
3591.34/3600.04 v -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 x870 -x869 -x868 x867 -x866 x865 -x864 x863 -x862 -x861 x860 x859 x858
3591.34/3600.04 v -x857 -x856 x855 x854 -x853 x852 x851 x850 x849 x848 x847 -x846 x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 x837 -x836 -x835
3591.34/3600.04 v -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 x825 -x824 -x823 x822 x821 -x820 x819 -x818 x817 x816 x815 -x814 x813
3591.34/3600.04 v x812 x811 x810 -x809 -x808 -x807 x806 -x805 -x804 x803 x802 -x801 x800 x799 x798 x797 x796 -x795 -x794 x793 x792 x791 x790 x789
3591.34/3600.04 v x788 -x787 -x786 x785 x784 x783 x782 -x781 x780 x779 -x778 x777 x776 x775 x774 x773 x772 -x771 -x770 -x769 -x768 -x767 -x766
3591.34/3600.04 v x765 -x764 x763 x762 x761 -x760 x759 -x758 -x757 -x756 x755 x754 x753 x752 x751 -x750 x749 x748 -x747 x746 -x745 x744 x743
3591.34/3600.04 v x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 x731 x730 x729 x728 -x727 x726 x725 x724 x723 x722 -x721 x720
3591.34/3600.04 v -x719 x718 x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 x709 -x708 x707 -x706 -x705 x704 -x703 -x702 x701 x700 -x699 -x698
3591.34/3600.04 v x697 x696 x695 -x694 -x693 -x692 x691 x690 -x689 -x688 -x687 -x686 x685 -x684 x683 x682 x681 -x680 x679 -x678 -x677 -x676 -x675
3591.34/3600.05 v -x674 x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 x662 x661 x660 x659 -x658 x657 x656 x655 x654 x653 x652
3591.34/3600.05 v -x651 x650 -x649 -x648 x647 x646 x645 x644 x643 x642 x641 x640 x639 -x638 x637 x636 x635 -x634 -x633 x632 x631 -x630 x629
3591.34/3600.05 v -x628 x627 -x626 -x625 x624 x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 x615 -x614 -x613 -x612 x611 x610 -x609 -x608 x607
3591.34/3600.05 v x606 -x605 -x604 -x603 x602 -x601 x600 x599 x598 x597 -x596 -x595 -x594 x593 -x592 -x591 x590 x589 x588 x587 x586 x585 x584 x583
3591.34/3600.05 v x582 x581 -x580 x579 -x578 x577 -x576 x575 -x574 -x573 x572 -x571 x570 x569 -x568 -x567 -x566 -x565 -x564 x563 x562 x561
3591.34/3600.05 v x560 x559 -x558 x557 -x556 -x555 -x554 x553 -x552 x551 -x550 -x549 x548 x547 x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538
3591.34/3600.05 v x537 x536 x535 x534 -x533 -x532 x531 -x530 x529 x528 -x527 -x526 -x525 x524 -x523 x522 -x521 x520 x519 -x518 x517 x516 -x515
3591.34/3600.05 v -x514 -x513 -x512 x511 x510 -x509 x508 x507 x506 x505 x504 x503 x502 x501 x500 x499 -x498 -x497 x496 x495 x494 -x493 -x492
3591.34/3600.05 v -x491 x490 x489 -x488 x487 -x486 x485 x484 -x483 x482 -x481 -x480 -x479 x478 -x477 x476 -x475 x474 x473 x472 x471 x470 x469
3591.34/3600.05 v x468 -x467 x466 x465 -x464 -x463 -x462 x461 -x460 x459 x458 -x457 x456 -x455 x454 -x453 x452 -x451 x450 x449 x448 -x447 x446
3591.34/3600.05 v x445 x444 x443 x442 -x441 x440 x439 -x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 -x426 -x425 x424 -x423 x422
3591.34/3600.05 v -x421 x420 -x419 x418 x417 -x416 -x415 x414 x413 -x412 x411 x410 -x409 -x408 x407 x406 x405 x404 -x403 x402 x401 -x400 x399
3591.34/3600.05 v x398 -x397 -x396 x395 x394 x393 x392 x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 x381 -x380 -x379 -x378 x377 x376
3591.34/3600.05 v -x375 x374 x373 x372 x371 -x370 -x369 x368 -x367 x366 x365 -x364 x363 x362 -x361 -x360 x359 -x358 x357 x356 -x355 x354 -x353
3591.34/3600.05 v -x352 x351 -x350 x349 x348 x347 -x346 x345 x344 -x343 x342 -x341 -x340 x339 x338 -x337 x336 x335 x334 x333 -x332 x331 x330
3591.34/3600.05 v -x329 x328 x327 x326 -x325 -x324 x323 -x322 x321 -x320 x319 x318 x317 x316 x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 x307
3591.34/3600.05 v -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 x298 x297 -x296 -x295 x294 x293 -x292 -x291 x290 x289 -x288 -x287 x286 -x285
3591.34/3600.05 v x284 x283 x282 x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 x273 x272 -x271 -x270 x269 -x268 x267 x266 -x265 x264 x263 -x262
3591.34/3600.05 v -x261 x260 -x259 x258 -x257 x256 -x255 x254 -x253 -x252 -x251 x250 x249 x248 -x247 x246 x245 -x244 x243 x242 -x241 -x240 x239
3591.34/3600.05 v x238 x237 x236 -x235 x234 x233 x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 x224 x223 x222 -x221 -x220 -x219 -x218 x217 x216
3591.34/3600.05 v -x215 x214 x213 -x212 x211 x210 x209 -x208 -x207 -x206 -x205 x204 x203 -x202 x201 -x200 x199 x198 x197 x196 x195 -x194 -x193
3591.34/3600.05 v -x192 x191 x190 -x189 -x188 -x187 x186 -x185 x184 x183 -x182 -x181 x180 x179 x178 -x177 x176 -x175 -x174 -x173 -x172 -x171
3591.34/3600.05 v x170 x169 -x168 x167 -x166 -x165 x164 x163 x162 -x161 x160 x159 x158 -x157 -x156 x155 -x154 x153 x152 -x151 -x150 x149 x148
3591.34/3600.05 v x147 -x146 -x145 x144 -x143 x142 x141 x140 x139 x138 -x137 -x136 -x135 x134 -x133 x132 x131 x130 x129 x128 -x127 -x126 x125 -x124
3591.34/3600.05 v -x123 -x122 -x121 -x120 -x119 x118 x117 -x116 -x115 x114 -x113 -x112 x111 x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102
3591.34/3600.05 v x101 x100 -x99 x98 -x97 -x96 x95 x94 x93 x92 -x91 -x90 -x89 x88 x87 x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 x75
3591.34/3600.05 v -x74 -x73 x72 x71 x70 x69 x68 x67 -x66 x65 x64 x63 -x62 -x61 x60 x59 x58 x57 -x56 -x55 x54 x53 -x52 x51 -x50 -x49 -x48 -x47
3591.34/3600.05 v -x46 x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 x34 x33 -x32 -x31 x30 x29 x28 -x27 -x26 -x25 x24 -x23 -x22 x21 x20
3591.34/3600.05 v -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 x5 -x4 x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62364 MiB free)
memory of node 1: 64510 MiB (63303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434652-1721081341/watcher-4434652-1721081341 -o /tmp/evaluation-result-4434652-1721081341/solver-4434652-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814855 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434652-1721081341.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=814908, runsolver pid=814904
[startup+0.100621 s]*
/proc/loadavg: 3.58 3.98 4.07 5/250 814921
/proc/meminfo: memFree=128631456/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=38144 memory=27756 CPUtime=0.1 cores=4,6
/proc/814908/stat : 814908 (fscip) R 814904 814908 814844 0 -1 4194304 4703 0 0 0 9 1 0 0 20 0 1 0 160290846 39059456 6939 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 9536 6939 2686 3032 0 5936 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38144 KiB
Current children cumulated memory: 27756 KiB
[startup+0.219617 s]*
/proc/loadavg: 3.58 3.98 4.07 7/256 814927
/proc/meminfo: memFree=128580044/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=127936 memory=41748 CPUtime=0.22 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 9162 0 0 0 19 3 0 0 20 0 3 0 160290846 131006464 10437 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 31984 10437 2782 3032 0 14361 0
[pid=814908/tid=814922] ppid=814904 vsize=127936 memory=8737651120394928259 CPUtime=0.04 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 2784 0 0 0 3 1 0 0 20 0 3 0 160290863 131006464 10437 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=127936 memory=5822 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290867 131006464 10437 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 127936 KiB
Current children cumulated memory: 41748 KiB
[startup+0.314308 s]*
/proc/loadavg: 3.58 3.98 4.07 6/256 814927
/proc/meminfo: memFree=128556752/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=130888 memory=47548 CPUtime=0.31 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 10603 0 0 0 27 4 0 0 20 0 3 0 160290846 134029312 11887 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 32722 11887 2782 3032 0 15796 0
[pid=814908/tid=814922] ppid=814904 vsize=130888 memory=-6656716543027755879 CPUtime=0.12 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 4225 0 0 0 11 1 0 0 20 0 3 0 160290863 134029312 11887 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=130888 memory=0 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290867 134029312 11887 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 130888 KiB
Current children cumulated memory: 47548 KiB
[startup+0.700346 s]
/proc/loadavg: 3.58 3.98 4.07 5/256 814929
/proc/meminfo: memFree=128534108/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=131828 memory=55332 CPUtime=0.69 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 12467 0 0 0 64 5 0 0 20 0 3 0 160290846 134991872 13833 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 32957 13833 2894 3032 0 17676 0
[pid=814908/tid=814922] ppid=814904 vsize=131828 memory=0 CPUtime=0.49 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 6089 0 0 0 47 2 0 0 20 0 3 0 160290863 134991872 13833 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=131828 memory=0 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 160290867 134991872 13833 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131828 KiB
Current children cumulated memory: 55332 KiB
[startup+1.50033 s]
/proc/loadavg: 3.58 3.98 4.07 5/256 814929
/proc/meminfo: memFree=128520012/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=131828 memory=59084 CPUtime=1.48 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 16158 0 0 0 143 5 0 0 20 0 3 0 160290846 134991872 14771 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 32957 14771 2910 3032 0 18722 0
[pid=814908/tid=814922] ppid=814904 vsize=131828 memory=0 CPUtime=1.29 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 9772 0 0 0 126 3 0 0 20 0 3 0 160290863 134991872 14771 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=131828 memory=0 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 160290867 134991872 14771 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131828 KiB
Current children cumulated memory: 59084 KiB
[startup+3.11377 s]
/proc/loadavg: 3.61 3.98 4.07 5/256 814929
/proc/meminfo: memFree=128475264/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=137860 memory=81720 CPUtime=3.09 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 22911 0 0 0 303 6 0 0 20 0 3 0 160290846 141168640 20430 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 34465 20430 2910 3032 0 24608 0
[pid=814908/tid=814922] ppid=814904 vsize=137860 memory=0 CPUtime=2.9 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 16525 0 0 0 287 3 0 0 20 0 3 0 160290863 141168640 20430 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=137860 memory=4417 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 160290867 141168640 20430 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 137860 KiB
Current children cumulated memory: 81720 KiB
[startup+6.30033 s]
/proc/loadavg: 3.61 3.98 4.07 5/256 814929
/proc/meminfo: memFree=128321880/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=205444 memory=138084 CPUtime=6.27 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 53269 0 0 0 617 10 0 0 20 0 3 0 160290846 210374656 34521 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 51361 34521 2910 3032 0 38891 0
[pid=814908/tid=814922] ppid=814904 vsize=205444 memory=97444 CPUtime=6.08 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 46876 0 0 0 601 7 0 0 20 0 3 0 160290863 210374656 34521 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=205444 memory=11408 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 160290867 210374656 34521 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 205444 KiB
Current children cumulated memory: 138084 KiB
[startup+12.7003 s]
/proc/loadavg: 3.64 3.98 4.07 5/256 814930
/proc/meminfo: memFree=128107968/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=270980 memory=195172 CPUtime=12.66 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 88530 0 0 0 1253 13 0 0 20 0 3 0 160290846 277483520 48793 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 67745 48793 2910 3032 0 54058 0
[pid=814908/tid=814922] ppid=814904 vsize=270980 memory=70020 CPUtime=12.46 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 82135 0 0 0 1236 10 0 0 20 0 3 0 160290863 277483520 48793 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=270980 memory=147388 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 160290867 277483520 48793 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 270980 KiB
Current children cumulated memory: 195172 KiB
[startup+25.5004 s]
/proc/loadavg: 3.80 4.00 4.07 5/256 814932
/proc/meminfo: memFree=128098376/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=270980 memory=203388 CPUtime=25.42 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 109873 0 0 0 2528 14 0 0 20 0 3 0 160290846 277483520 50847 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 67745 50847 2958 3032 0 56595 0
[pid=814908/tid=814922] ppid=814904 vsize=270980 memory=6720665432954780528 CPUtime=25.23 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 103381 0 0 0 2512 11 0 0 20 0 3 0 160290863 277483520 50847 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=270980 memory=0 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 160290867 277483520 50847 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 270980 KiB
Current children cumulated memory: 203388 KiB
[startup+51.113 s]
/proc/loadavg: 3.87 4.00 4.07 5/256 814937
/proc/meminfo: memFree=127883432/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=336516 memory=242028 CPUtime=50.98 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 180023 0 0 0 5079 19 0 0 20 0 3 0 160290846 344592384 60507 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 84129 60507 2958 3032 0 66214 0
[pid=814908/tid=814922] ppid=814904 vsize=336516 memory=233408 CPUtime=50.78 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 172710 0 0 0 5062 16 0 0 20 0 3 0 160290863 344592384 60507 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=336516 memory=11408 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 160290867 344592384 60507 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 336516 KiB
Current children cumulated memory: 242028 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.03 4.07 5/258 815236
/proc/meminfo: memFree=127790876/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=334924 memory=279228 CPUtime=102.04 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 261996 0 0 0 10178 26 0 0 20 0 3 0 160290846 342962176 69807 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 83731 69807 2958 3032 0 76887 0
[pid=814908/tid=814922] ppid=814904 vsize=334924 memory=279216 CPUtime=101.84 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 254211 0 0 0 10161 23 0 0 20 0 3 0 160290863 342962176 69807 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=334924 memory=-7378435122509013886 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 160290867 342962176 69807 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 334924 KiB
Current children cumulated memory: 279228 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.04 4.07 5/258 815246
/proc/meminfo: memFree=127561840/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=468904 memory=374584 CPUtime=161.87 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 345969 0 0 0 16153 34 0 0 20 0 3 0 160290846 480157696 93646 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 117226 93646 2958 3032 0 99518 0
[pid=814908/tid=814922] ppid=814904 vsize=468904 memory=11408 CPUtime=161.67 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 337746 0 0 0 16136 31 0 0 20 0 3 0 160290863 480157696 93646 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=468904 memory=281852 CPUtime=0 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 160290867 480157696 93646 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 468904 KiB
Current children cumulated memory: 374584 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.04 4.07 5/257 815257
################
# More data... #
################
/proc/814908/statm: 136342 123537 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=494148 CPUtime=3393.59 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 666644 0 0 0 339292 67 0 0 20 0 3 0 160290863 558456832 123537 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=494148 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 189 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123537 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3394.06 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/250 817021
/proc/meminfo: memFree=126472164/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3453.93 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 679345 0 0 0 345311 82 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=494148 CPUtime=3453.45 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 669432 0 0 0 345278 67 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=494148 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 191 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 817032
/proc/meminfo: memFree=126471828/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3513.79 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 682436 0 0 0 351297 82 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=16212 CPUtime=3513.31 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 672504 0 0 0 351263 68 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=494248 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 193 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3513.79 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 817042
/proc/meminfo: memFree=126470368/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3573.66 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685310 0 0 0 357283 83 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=11408 CPUtime=3573.17 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675351 0 0 0 357249 68 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=494248 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3600.06 s]
# the end of solver process 814908 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.55 s, system=0.848736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.13 4.10 5/251 817042
/proc/meminfo: memFree=126470388/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3575.37 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685316 0 0 0 357454 83 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=6720665432954780528 CPUtime=3574.88 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675357 0 0 0 357420 68 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=7681903499814411419 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3575.37 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/251 817043
/proc/meminfo: memFree=126470336/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3581.74 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685322 0 0 0 358091 83 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=494248 CPUtime=3581.25 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675363 0 0 0 358057 68 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=494248 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3581.74 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470276/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3588.13 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685359 0 0 0 358730 83 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=11320 CPUtime=3587.63 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675400 0 0 0 358695 68 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=494248 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3588.13 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470304/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3589.72 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685672 0 0 0 358889 83 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=11320 CPUtime=3589.24 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675707 0 0 0 358855 69 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=11320 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3589.72 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470192/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3590.52 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685675 0 0 0 358969 83 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=2288 CPUtime=3590.04 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675710 0 0 0 358935 69 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=26520 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3590.52 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3599.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 817045
/proc/meminfo: memFree=126470192/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3590.92 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685675 0 0 0 359009 83 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=19736 CPUtime=3590.44 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675710 0 0 0 358975 69 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=100 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3590.92 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.09 4/247 817045
/proc/meminfo: memFree=127044916/131655788 swapFree=131071996/131071996
[pid=814908] ppid=814904 vsize=545368 memory=494248 CPUtime=3591.34 cores=4,6
/proc/814908/stat : 814908 (fscip) S 814904 814908 814844 0 -1 1077936128 685834 0 0 0 359050 84 0 0 20 0 3 0 160290846 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
/proc/814908/statm: 136342 123562 2958 3032 0 126871 0
[pid=814908/tid=814922] ppid=814904 vsize=545368 memory=6720665432954780528 CPUtime=3590.85 cores=4,6
/proc/814908/task/814922/stat : 814922 (fscip) R 814904 814908 814844 0 -1 4194368 675874 0 0 0 359016 69 0 0 20 0 3 0 160290863 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
[pid=814908/tid=814925] ppid=814904 vsize=545368 memory=7681903499814411419 CPUtime=0.04 cores=4,6
/proc/814908/task/814925/stat : 814925 (fscip) S 814904 814908 814844 0 -1 1077936192 198 0 0 0 1 3 0 0 20 0 3 0 160290867 558456832 123562 134679101440 4194304 16613245 140732242868064 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53727232 140732242871317 140732242871433 140732242871433 140732242878448 0
Current children cumulated CPU time: 3591.34 s
Current children cumulated vsize: 545368 KiB
Current children cumulated memory: 494248 KiB
Child status: 0
Real time (s): 3600.06
CPU time (s): 3591.39
CPU user time (s): 3590.55
CPU system time (s): 0.848736
CPU usage (%): 99.7592
Max. virtual memory (cumulated for all children) (KiB): 545368
Max. memory (cumulated for all children) (KiB): 494248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.55
system time used= 0.848736
maximum resident set size= 494248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 686760
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= 9402
involuntary context switches= 1547
# summary of solver processes directly reported to runsolver:
# pid: 814908
# total CPU time (s): 3591.39
# total CPU user time (s): 3590.55
# total CPU system time (s): 0.848736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4295 second user time and 36.9022 second system time
The end
Begin job on nodeC007 at 2024-07-16 00:09:14
IDJOB=4434652
IDBENCH=147527
IDSOLVER=3064
FILE ID=nodeC007/4434652-1721081341
RUNJOBID= nodeC007-1721081354-814855
SLURM_JOB_ID= 7505557
Free space on /tmp= 723784 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434652-1721081341/watcher-4434652-1721081341 -o /tmp/evaluation-result-4434652-1721081341/solver-4434652-1721081341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721081354-814855 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434652-1721081341.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fbd32e707c8d4aa66e3f5cddd7aa4984
RANDOM SEED=1171985619
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1624.954
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.276
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.192
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.273
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128692360 kB
MemAvailable: 129929820 kB
Buffers: 380476 kB
Cached: 1688628 kB
SwapCached: 0 kB
Active: 679484 kB
Inactive: 1738628 kB
Active(anon): 1348 kB
Inactive(anon): 385356 kB
Active(file): 678136 kB
Inactive(file): 1353272 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112864 kB
Writeback: 16 kB
AnonPages: 349072 kB
Mapped: 114240 kB
Shmem: 37704 kB
KReclaimable: 92164 kB
Slab: 187800 kB
SReclaimable: 92164 kB
SUnreclaim: 95636 kB
KernelStack: 3744 kB
PageTables: 10264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 748720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-16 01:09:15