0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 53174272, getVmSize() = 53174272, SCIPgetMemUsed() = 24838864, SCIPgetMemTotal() = 30292416, SCIPgetMemExternEstim() = 19073282
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.59/1.64 c ** Estimated virtualMemUsedAtSolver = 94162688, getVmSize() = 147922944, SCIPgetMemUsed() = 69642934, SCIPgetMemTotal() = 122170750, SCIPgetMemExternEstim() = 19073282
1.59/1.64 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.59/1.64 c Original Problem :
1.59/1.64 c Problem name : instance-4463934-1722378594
1.59/1.64 c Variables : 2460 (2460 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.64 c Constraints : 17131
1.59/1.64 c Objective sense : minimize
1.59/1.64 c Presolved Problem :
1.59/1.64 c Variables : 2460 (2460 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.64 c Constraints : 17131
1.59/1.64 c Constraints : Number
1.59/1.64 c setppc : 15950
1.59/1.64 c logicor : 1181
1.59/1.64 c ** Instance transfer method used: 0
1.59/1.66 c ** ParaScipInstance copy does not increase the number of variables. **
1.59/1.68 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.59/1.68 c Nodes Active
1.59/1.68 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3.17/3.28 c * 3 0 1 1 1183.0000 - -
3.17/3.29 c * 3 0 1 1 1119.0000 - -
15.40/15.58 c 16 2 1 1 1119.0000 553.8380 102.04%
20.48/20.67 c 21 6 5 1 1119.0000 554.1533 101.93%
27.75/27.92 c 28 13 12 1 1119.0000 554.1533 101.93%
33.83/34.06 c 34 17 16 1 1119.0000 554.1533 101.93%
39.61/39.88 c 40 69 68 1 1119.0000 554.1533 101.93%
40.41/40.65 c * 41 69 68 1 1118.0000 554.1533 101.75%
40.41/40.65 c * 41 69 68 1 1117.0000 554.1533 101.57%
45.09/45.34 c 45 203 103 1 1117.0000 555.1302 101.21%
50.78/51.08 c 51 237 119 1 1117.0000 555.8229 100.96%
50.97/51.28 c * 51 237 119 1 1099.0000 555.8229 97.72%
51.07/51.31 c * 51 237 119 1 1086.0000 555.8229 95.39%
55.96/56.29 c 56 318 119 1 1086.0000 555.8229 95.39%
62.63/62.92 c 63 427 135 1 1086.0000 556.2260 95.24%
66.02/66.40 c * 66 456 140 1 1065.0000 556.3074 91.44%
66.13/66.41 c * 66 456 140 1 1063.0000 556.3074 91.08%
67.73/68.05 c 68 609 136 1 1063.0000 556.3074 91.08%
72.80/73.13 c 73 691 141 1 1063.0000 558.1843 90.44%
73.20/73.59 c * 74 691 141 1 1055.0000 558.1843 89.01%
79.18/79.59 c 80 749 143 1 1055.0000 558.1843 89.01%
85.35/85.76 c 86 798 139 1 1055.0000 559.5904 88.53%
91.65/92.03 c 92 817 158 1 1055.0000 573.6131 83.92%
97.22/97.67 c 98 867 195 1 1055.0000 575.5434 83.31%
101.10/101.54 c * 102 904 208 1 1050.0000 575.5434 82.44%
101.71/102.15 c * 102 904 208 1 1049.0000 575.5434 82.26%
102.80/103.29 c 103 910 208 1 1049.0000 575.5434 82.26%
108.59/109.03 c 109 967 219 1 1049.0000 575.5434 82.26%
114.96/115.41 c 115 997 233 1 1049.0000 575.5434 82.26%
120.04/120.56 c 121 1013 244 1 1049.0000 577.5203 81.64%
126.92/127.47 c 127 1038 249 1 1049.0000 577.5203 81.64%
133.40/133.94 c 134 1103 257 1 1049.0000 580.5591 80.69%
133.90/134.41 c * 134 1103 257 1 1044.0000 580.5591 79.83%
133.90/134.45 c * 134 1103 257 1 1042.0000 580.5591 79.48%
139.18/139.79 c 140 1202 273 1 1042.0000 580.5591 79.48%
144.36/144.99 c 145 1357 284 1 1042.0000 580.5591 79.48%
154.03/154.67 c 155 1408 289 1 1042.0000 580.5873 79.47%
159.42/160.09 c 160 1626 287 1 1042.0000 580.5873 79.47%
164.59/165.29 c 165 1714 295 1 1042.0000 581.4576 79.20%
169.77/170.45 c 170 1738 299 1 1042.0000 582.8672 78.77%
175.85/176.55 c 177 1979 320 1 1042.0000 583.4490 78.59%
181.74/182.45 c 182 2148 331 1 1042.0000 583.7338 78.51%
187.02/187.74 c 188 2259 338 1 1042.0000 584.0357 78.41%
193.09/193.89 c 194 2517 350 1 1042.0000 584.4274 78.29%
198.57/199.34 c 199 2562 355 1 1042.0000 584.5749 78.25%
204.26/205.07 c 205 2703 363 1 1042.0000 584.8610 78.16%
210.74/211.59 c 212 2742 370 1 1042.0000 585.4580 77.98%
216.22/217.05 c 217 2779 389 1 1042.0000 585.9380 77.83%
221.59/222.47 c 222 2822 404 1 1042.0000 590.9997 76.31%
227.18/228.02 c 228 2873 423 1 1042.0000 591.4714 76.17%
232.56/233.43 c 233 2988 424 1 1042.0000 593.3177 75.62%
238.34/239.21 c 239 3066 446 1 1042.0000 597.4719 74.40%
243.92/244.80 c 245 3162 461 1 1042.0000 598.3649 74.14%
249.00/249.93 c 250 3202 484 1 1042.0000 598.4133 74.13%
254.88/255.86 c 256 3251 480 1 1042.0000 598.4133 74.13%
260.76/261.75 c 262 3307 486 1 1042.0000 598.6697 74.05%
266.34/267.34 c 267 3393 510 1 1042.0000 598.6697 74.05%
271.62/272.67 c 273 3548 517 1 1042.0000 598.6697 74.05%
277.11/278.16 c 278 3716 525 1 1042.0000 599.1970 73.90%
278.40/279.49 c * 279 3716 525 1 1023.0000 599.1970 70.73%
278.51/279.53 c * 280 3739 510 1 1020.0000 599.1970 70.23%
282.69/283.78 c 284 3757 509 1 1020.0000 599.1970 70.23%
288.87/289.97 c 290 3787 515 1 1020.0000 599.4110 70.17%
294.84/295.99 c 296 3813 521 1 1020.0000 599.4110 70.17%
300.33/301.43 c 301 3865 525 1 1020.0000 599.4934 70.14%
305.91/307.03 c 307 3983 539 1 1020.0000 599.5443 70.13%
312.28/313.47 c 313 4022 542 1 1020.0000 600.0606 69.98%
318.36/319.51 c 320 4045 551 1 1020.0000 601.1609 69.67%
323.54/324.71 c * 325 4105 597 1 1009.0000 601.1609 67.84%
323.54/324.71 c 325 4105 597 1 1009.0000 601.1609 67.84%
323.54/324.75 c * 325 4105 597 1 1007.0000 601.1609 67.51%
329.22/330.49 c 330 4262 606 1 1007.0000 602.0634 67.26%
337.29/338.59 c 339 4292 636 1 1007.0000 603.0846 66.97%
343.18/344.45 c 344 4382 662 1 1007.0000 603.5001 66.86%
356.34/357.66 c 358 4435 1 1 1007.0000 691.4768 45.63%
361.72/363.08 c 363 4448 14 1 1007.0000 692.8503 45.34%
367.30/368.67 c * 369 4473 39 1 972.0000 692.9937 40.26%
367.30/368.67 c 369 4473 39 1 972.0000 692.9937 40.26%
367.40/368.70 c * 369 4473 39 1 968.0000 692.9937 39.68%
372.98/374.36 c 374 4560 73 1 968.0000 693.2003 39.64%
378.26/379.64 c 380 4619 82 1 968.0000 693.4336 39.60%
383.55/384.93 c 385 4637 84 1 968.0000 693.4336 39.60%
390.02/391.44 c 391 4671 84 1 968.0000 693.4336 39.60%
395.50/396.96 c 397 4717 92 1 968.0000 693.7548 39.53%
401.29/402.70 c 403 4768 99 1 968.0000 699.1103 38.46%
407.67/409.17 c 409 4841 110 1 968.0000 699.2463 38.43%
413.55/415.09 c 415 4918 117 1 968.0000 702.6882 37.76%
419.53/421.05 c 421 4995 130 1 968.0000 703.1588 37.66%
425.40/426.94 c 427 5106 117 1 968.0000 703.1588 37.66%
431.49/433.08 c 433 5177 124 1 968.0000 704.1433 37.47%
437.36/438.90 c 439 5239 122 1 968.0000 704.1433 37.47%
442.75/444.33 c 444 5265 132 1 968.0000 705.2801 37.25%
447.93/449.57 c 450 5301 144 1 968.0000 705.2801 37.25%
453.90/455.51 c 456 5342 143 1 968.0000 705.2801 37.25%
459.78/461.48 c 461 5394 141 1 968.0000 705.2801 37.25%
465.16/466.88 c 467 5474 141 1 968.0000 705.2801 37.25%
470.95/472.66 c 473 5531 146 1 968.0000 705.3354 37.24%
476.23/477.95 c 478 5568 145 1 968.0000 705.3354 37.24%
481.42/483.16 c 483 5615 150 1 968.0000 706.0439 37.10%
486.60/488.33 c 488 5655 156 1 968.0000 706.6003 36.99%
493.57/495.33 c 495 5704 163 1 968.0000 706.6003 36.99%
498.85/500.67 c 501 5735 170 1 968.0000 706.9085 36.93%
504.83/506.67 c 507 5800 173 1 968.0000 706.9085 36.93%
510.32/512.12 c 512 5829 180 1 968.0000 707.3574 36.85%
516.00/517.84 c 518 5882 183 1 968.0000 707.3574 36.85%
521.98/523.80 c 524 5924 189 1 968.0000 707.4284 36.83%
527.06/528.91 c 529 5951 200 1 968.0000 707.6051 36.80%
532.44/534.35 c 534 6011 200 1 968.0000 707.6051 36.80%
537.82/539.71 c 540 6086 199 1 968.0000 707.6051 36.80%
550.68/552.67 c 553 6101 206 1 968.0000 708.2258 36.68%
555.96/557.97 c 558 6129 210 1 968.0000 708.3875 36.65%
561.05/563.02 c 563 6146 217 1 968.0000 708.8699 36.56%
567.22/569.22 c 569 6211 228 1 968.0000 708.9099 36.55%
567.22/569.24 c * 569 6211 228 1 946.0000 708.9099 33.44%
572.30/574.39 c 574 6275 237 1 946.0000 709.9521 33.25%
577.69/579.74 c 580 6333 243 1 946.0000 709.9521 33.25%
583.77/585.86 c 586 6346 242 1 946.0000 709.9521 33.25%
590.14/592.21 c 592 6389 245 1 946.0000 710.3038 33.18%
595.23/597.31 c 597 6420 248 1 946.0000 710.3038 33.18%
600.81/602.95 c 603 6458 248 1 946.0000 710.3038 33.18%
606.59/608.73 c 609 6497 253 1 946.0000 710.3038 33.18%
611.98/614.13 c 614 6556 254 1 946.0000 710.3038 33.18%
619.74/621.98 c 622 6571 265 1 946.0000 710.3038 33.18%
624.84/627.07 c 627 6635 275 1 946.0000 710.8388 33.08%
630.41/632.63 c 633 6688 294 1 946.0000 710.8388 33.08%
635.59/637.83 c 638 6735 301 1 946.0000 711.7543 32.91%
641.67/643.96 c 644 6791 319 1 946.0000 711.9845 32.87%
646.66/648.99 c 649 6852 332 1 946.0000 712.0375 32.86%
652.94/655.22 c 655 6969 347 1 946.0000 713.0854 32.66%
658.82/661.16 c 661 7029 359 1 946.0000 713.4834 32.59%
664.00/666.38 c 666 7129 377 1 946.0000 713.5331 32.58%
670.48/672.88 c 673 7180 386 1 946.0000 713.6954 32.55%
675.56/677.94 c 678 7229 385 1 946.0000 713.6954 32.55%
680.75/683.20 c 683 7274 384 1 946.0000 713.6954 32.55%
686.02/688.49 c 688 7327 393 1 946.0000 713.7711 32.54%
691.40/693.87 c 694 7425 401 1 946.0000 714.2984 32.44%
696.58/699.06 c 699 7524 408 1 946.0000 714.2984 32.44%
702.46/704.96 c 705 7610 412 1 946.0000 714.2984 32.44%
707.55/710.04 c 710 7686 412 1 946.0000 714.2984 32.44%
713.23/715.70 c 716 7770 424 1 946.0000 714.2984 32.44%
718.30/720.80 c 721 7900 426 1 946.0000 714.3135 32.43%
723.99/726.55 c 727 7963 427 1 946.0000 714.3135 32.43%
729.86/732.49 c 732 7991 427 1 946.0000 714.3135 32.43%
735.45/738.02 c 738 8025 435 1 946.0000 714.3135 32.43%
741.53/744.18 c 744 8092 436 1 946.0000 714.3135 32.43%
747.42/750.05 c 750 8162 448 1 946.0000 714.6929 32.36%
753.09/755.76 c 756 8241 455 1 946.0000 714.8445 32.34%
758.67/761.39 c 761 8322 454 1 946.0000 714.8445 32.34%
764.05/766.78 c 767 8389 453 1 946.0000 714.8445 32.34%
769.14/771.81 c 772 8439 459 1 946.0000 715.3251 32.25%
774.81/777.57 c 778 8506 474 1 946.0000 715.4267 32.23%
780.70/783.44 c 783 8562 490 1 946.0000 715.4267 32.23%
786.18/788.94 c 789 8612 490 1 946.0000 715.4267 32.23%
792.15/795.00 c 795 8682 496 1 946.0000 715.4267 32.23%
797.74/800.58 c 801 8715 493 1 946.0000 715.4918 32.22%
803.51/806.34 c 806 8753 503 1 946.0000 715.4918 32.22%
809.31/812.12 c 812 8820 500 1 946.0000 715.4918 32.22%
815.88/818.70 c 819 8870 502 1 946.0000 715.4918 32.22%
821.56/824.49 c 824 8950 502 1 946.0000 715.4918 32.22%
826.74/829.64 c 830 9004 508 1 946.0000 715.5324 32.21%
831.92/834.84 c 835 9048 518 1 946.0000 715.5811 32.20%
838.00/840.94 c 841 9123 517 1 946.0000 715.5811 32.20%
843.19/846.19 c 846 9167 519 1 946.0000 715.5811 32.20%
848.27/851.25 c 851 9226 520 1 946.0000 715.5811 32.20%
853.45/856.46 c 856 9278 526 1 946.0000 715.5908 32.20%
859.93/862.94 c 863 9349 525 1 946.0000 715.5908 32.20%
865.12/868.16 c 868 9405 527 1 946.0000 715.5908 32.20%
871.78/874.83 c 875 9460 536 1 946.0000 715.7276 32.17%
877.07/880.19 c 880 9479 545 1 946.0000 715.8819 32.14%
882.55/885.62 c 886 9572 540 1 946.0000 715.8819 32.14%
888.63/891.70 c 892 9632 540 1 946.0000 715.8819 32.14%
893.81/896.97 c 897 9681 545 1 946.0000 715.9924 32.12%
899.29/902.41 c 902 9736 546 1 946.0000 715.9924 32.12%
905.87/909.07 c 909 9778 546 1 946.0000 716.1446 32.10%
912.34/915.60 c 916 9816 558 1 946.0000 716.2021 32.09%
918.12/921.30 c 921 9870 562 1 946.0000 716.2021 32.09%
925.00/928.24 c 928 9941 559 1 946.0000 716.2021 32.09%
930.98/934.24 c 934 9991 559 1 946.0000 716.2021 32.09%
937.95/941.26 c 941 10049 557 1 946.0000 716.2021 32.09%
943.13/946.43 c 946 10104 556 1 946.0000 716.2021 32.09%
949.10/952.47 c 952 10158 556 1 946.0000 716.2021 32.09%
954.18/957.51 c 958 10274 558 1 946.0000 716.2021 32.09%
959.37/962.76 c 963 10331 559 1 946.0000 716.2021 32.09%
964.94/968.31 c 968 10372 564 1 946.0000 716.2141 32.08%
970.03/973.49 c 973 10428 574 1 946.0000 716.3863 32.05%
975.21/978.68 c 979 10497 573 1 946.0000 716.3863 32.05%
980.28/983.78 c 984 10549 583 1 946.0000 716.7134 31.99%
986.26/989.73 c 990 10592 588 1 946.0000 717.1861 31.90%
992.14/995.60 c 996 10635 591 1 946.0000 717.1861 31.90%
997.42/1000.94 c 1001 10676 598 1 946.0000 717.2156 31.90%
1003.00/1006.57 c 1007 10761 593 1 946.0000 717.2156 31.90%
1008.48/1012.01 c 1012 10810 602 1 946.0000 717.2390 31.89%
1013.96/1017.58 c 1018 10883 599 1 946.0000 717.2390 31.89%
1019.33/1022.98 c 1023 10937 603 1 946.0000 717.2390 31.89%
1024.72/1028.37 c 1028 10996 602 1 946.0000 717.2390 31.89%
1030.20/1033.80 c 1034 11049 611 1 946.0000 717.5262 31.84%
1036.57/1040.27 c 1040 11105 613 1 946.0000 717.8003 31.79%
1043.05/1046.72 c 1047 11155 621 1 946.0000 717.9543 31.76%
1048.43/1052.14 c 1052 11219 631 1 946.0000 717.9543 31.76%
1060.98/1064.75 c 1065 11241 643 1 946.0000 717.9812 31.76%
1066.26/1070.03 c 1070 11294 650 1 946.0000 718.4788 31.67%
1071.73/1075.59 c 1076 11387 651 1 946.0000 718.4788 31.67%
1077.61/1081.43 c 1081 11459 655 1 946.0000 718.5605 31.65%
1083.80/1087.68 c 1088 11510 656 1 946.0000 718.5605 31.65%
1089.18/1093.03 c 1093 11575 657 1 946.0000 718.5605 31.65%
1095.05/1098.97 c 1099 11658 656 1 946.0000 718.5605 31.65%
1100.93/1104.86 c 1105 11714 656 1 946.0000 718.5605 31.65%
1106.51/1110.45 c 1110 11777 659 1 946.0000 718.5605 31.65%
1111.99/1115.97 c 1116 11863 657 1 946.0000 718.5605 31.65%
1117.47/1121.44 c 1121 11945 675 1 946.0000 718.8983 31.59%
1124.24/1128.22 c 1128 11951 681 1 946.0000 718.8983 31.59%
1129.92/1133.96 c 1134 12015 679 1 946.0000 719.7554 31.43%
1135.40/1139.40 c 1139 12092 684 1 946.0000 719.7554 31.43%
1140.77/1144.89 c 1145 12174 684 1 946.0000 719.7554 31.43%
1145.96/1150.00 c 1150 12199 691 1 946.0000 719.8135 31.42%
1151.54/1155.67 c 1156 12260 700 1 946.0000 720.0152 31.39%
1157.22/1161.34 c 1161 12332 704 1 946.0000 720.0152 31.39%
1162.70/1166.85 c 1167 12401 699 1 946.0000 720.0152 31.39%
1168.08/1172.21 c 1172 12485 707 1 946.0000 720.2211 31.35%
1173.76/1177.91 c 1178 12564 716 1 946.0000 720.2211 31.35%
1179.74/1183.92 c 1184 12633 717 1 946.0000 720.2211 31.35%
1185.12/1189.35 c 1189 12699 731 1 946.0000 720.6563 31.27%
1190.50/1194.80 c 1195 12802 728 1 946.0000 720.6563 31.27%
1196.17/1200.46 c 1200 12917 727 1 946.0000 720.6563 31.27%
1201.55/1205.83 c 1206 12964 732 1 946.0000 720.6563 31.27%
1206.84/1211.15 c 1211 13124 736 1 946.0000 720.7899 31.24%
1212.12/1216.44 c 1216 13179 745 1 946.0000 721.6242 31.09%
1217.59/1221.96 c 1222 13250 742 1 946.0000 721.6242 31.09%
1222.68/1227.07 c 1227 13379 749 1 946.0000 721.6960 31.08%
1228.45/1232.82 c 1233 13445 765 1 946.0000 721.7098 31.08%
1234.32/1238.70 c 1239 13502 776 1 946.0000 721.7979 31.06%
1239.72/1244.19 c 1244 13556 776 1 946.0000 721.7979 31.06%
1246.48/1250.96 c 1251 13606 786 1 946.0000 721.8253 31.06%
1252.16/1256.70 c 1257 13645 795 1 946.0000 721.8840 31.05%
1257.44/1261.98 c 1262 13717 795 1 946.0000 721.8840 31.05%
1263.11/1267.66 c 1268 13828 796 1 946.0000 721.8840 31.05%
1268.51/1273.08 c 1273 13901 803 1 946.0000 721.8908 31.04%
1273.88/1278.48 c 1278 13968 804 1 946.0000 721.9186 31.04%
1279.76/1284.34 c 1284 14058 812 1 946.0000 721.9186 31.04%
1284.93/1289.57 c 1290 14103 815 1 946.0000 721.9186 31.04%
1290.72/1295.34 c 1295 14160 812 1 946.0000 721.9186 31.04%
1295.90/1300.55 c 1301 14246 816 1 946.0000 721.9186 31.04%
1301.58/1306.26 c 1306 14295 821 1 946.0000 722.1828 30.99%
1306.95/1311.62 c 1312 14413 839 1 946.0000 722.1828 30.99%
1312.33/1317.03 c 1317 14488 844 1 946.0000 722.2927 30.97%
1317.91/1322.62 c 1323 14546 854 1 946.0000 722.2972 30.97%
1323.30/1328.10 c 1328 14599 863 1 946.0000 722.3927 30.95%
1328.47/1333.24 c 1333 14700 862 1 946.0000 722.3927 30.95%
1334.35/1339.15 c 1339 14740 862 1 946.0000 722.3927 30.95%
1339.93/1344.70 c 1345 14822 862 1 946.0000 722.3927 30.95%
1345.71/1350.55 c 1351 14891 883 1 946.0000 722.5360 30.93%
1351.58/1356.43 c 1356 14963 889 1 946.0000 722.5594 30.92%
1356.97/1361.81 c 1362 15033 897 1 946.0000 722.7485 30.89%
1362.74/1367.65 c 1368 15118 900 1 946.0000 722.7810 30.88%
1367.92/1372.86 c 1373 15197 907 1 946.0000 722.7810 30.88%
1373.40/1378.30 c 1378 15242 918 1 946.0000 722.9048 30.86%
1378.99/1383.91 c 1384 15339 915 1 946.0000 722.9048 30.86%
1384.17/1389.16 c 1389 15435 917 1 946.0000 722.9495 30.85%
1390.64/1395.67 c 1396 15463 935 1 946.0000 722.9769 30.85%
1396.32/1401.39 c 1401 15536 938 1 946.0000 723.0653 30.83%
1402.00/1407.06 c 1407 15595 953 1 946.0000 723.1681 30.81%
1407.17/1412.27 c 1412 15633 971 1 946.0000 723.4213 30.77%
1412.45/1417.50 c 1418 15722 990 1 946.0000 723.4812 30.76%
1418.24/1423.33 c 1423 15821 1003 1 946.0000 723.7136 30.71%
1423.61/1428.78 c 1429 15877 1011 1 946.0000 723.7992 30.70%
1428.90/1434.07 c 1434 16007 1025 1 946.0000 723.7992 30.70%
1434.67/1439.83 c 1440 16126 1046 1 946.0000 723.7992 30.70%
1439.75/1444.93 c 1445 16260 1056 1 946.0000 723.8490 30.69%
1445.03/1450.21 c 1450 16322 1056 1 946.0000 723.8490 30.69%
1450.42/1455.66 c 1456 16426 1058 1 946.0000 723.8490 30.69%
1455.59/1460.82 c 1461 16596 1058 1 946.0000 723.8490 30.69%
1461.67/1466.91 c 1467 16660 1074 1 946.0000 723.8490 30.69%
1466.76/1472.07 c 1472 16703 1079 1 946.0000 723.8648 30.69%
1472.73/1478.06 c 1478 16882 1090 1 946.0000 723.8819 30.68%
1477.91/1483.22 c 1483 16990 1100 1 946.0000 723.9803 30.67%
1483.99/1489.32 c 1489 17113 1117 1 946.0000 724.0115 30.66%
1489.67/1495.00 c 1495 17207 1119 1 946.0000 724.0115 30.66%
1495.14/1500.55 c 1501 17329 1131 1 946.0000 724.0560 30.65%
1500.73/1506.14 c 1506 17414 1148 1 946.0000 724.2934 30.61%
1506.61/1512.08 c 1512 17496 1164 1 946.0000 724.3870 30.59%
1511.69/1517.11 c 1517 17571 1177 1 946.0000 724.4670 30.58%
1516.86/1522.36 c 1522 17718 1182 1 946.0000 724.4670 30.58%
1522.05/1527.54 c 1528 17887 1177 1 946.0000 724.4670 30.58%
1527.54/1533.05 c 1533 18014 1206 1 946.0000 724.7021 30.54%
1532.72/1538.27 c 1538 18168 1208 1 946.0000 724.7021 30.54%
1538.70/1544.25 c 1544 18368 1218 1 946.0000 724.7625 30.53%
1544.38/1549.93 c 1550 18495 1223 1 946.0000 724.8290 30.51%
1549.76/1555.38 c 1555 18633 1223 1 946.0000 724.8290 30.51%
1555.45/1561.09 c 1561 18752 1224 1 946.0000 724.8290 30.51%
1560.93/1566.51 c 1567 18865 1231 1 946.0000 724.8446 30.51%
1565.91/1571.54 c 1572 18975 1233 1 946.0000 724.8637 30.51%
1574.98/1580.64 c 1581 18984 1240 1 946.0000 724.8637 30.51%
1580.56/1586.23 c 1586 19061 1249 1 946.0000 724.9021 30.50%
1585.84/1591.50 c 1592 19113 1249 1 946.0000 724.9021 30.50%
1591.62/1597.34 c 1597 19180 1258 1 946.0000 724.9601 30.49%
1596.91/1602.62 c 1603 19258 1258 1 946.0000 724.9601 30.49%
1602.69/1608.49 c 1608 19327 1275 1 946.0000 725.1484 30.46%
1608.87/1614.62 c 1615 19367 1283 1 946.0000 725.5306 30.39%
1615.14/1621.00 c 1621 19479 1299 1 946.0000 725.5687 30.38%
1620.43/1626.29 c 1626 19598 1306 1 946.0000 725.6824 30.36%
1626.51/1632.38 c 1632 19655 1331 1 946.0000 725.7990 30.34%
1632.20/1638.07 c 1638 19730 1352 1 946.0000 725.8224 30.33%
1637.38/1643.25 c 1643 19815 1359 1 946.0000 725.9116 30.32%
1642.46/1648.34 c 1648 19887 1377 1 946.0000 726.0440 30.30%
1647.64/1653.55 c 1654 20008 1376 1 946.0000 726.0440 30.30%
1652.72/1658.64 c 1659 20275 1395 1 946.0000 726.4495 30.22%
1657.90/1663.83 c 1664 20440 1418 1 946.0000 726.4869 30.22%
1663.59/1669.51 c 1670 20574 1450 1 946.0000 726.7778 30.16%
1668.68/1674.64 c 1675 20685 1471 1 946.0000 727.0356 30.12%
1674.06/1680.06 c 1680 20787 1487 1 946.0000 727.1608 30.10%
1679.54/1685.55 c 1686 20885 1513 1 946.0000 727.4045 30.05%
1685.13/1691.16 c 1691 20985 1557 1 946.0000 727.5933 30.02%
1690.50/1696.59 c 1697 21095 1555 1 946.0000 727.6090 30.01%
1695.99/1702.04 c 1702 21174 1572 1 946.0000 727.7853 29.98%
1702.37/1708.45 c 1708 21262 1592 1 946.0000 727.9095 29.96%
1707.35/1713.48 c 1713 21365 1597 1 946.0000 728.1398 29.92%
1712.73/1718.88 c 1719 21443 1607 1 946.0000 728.1398 29.92%
1718.31/1724.43 c 1724 21498 1608 1 946.0000 728.1398 29.92%
1724.39/1730.59 c 1731 21583 1607 1 946.0000 728.1398 29.92%
1730.07/1736.27 c 1736 21727 1631 1 946.0000 728.1506 29.92%
1735.45/1741.60 c 1742 21926 1640 1 946.0000 728.1506 29.92%
1740.53/1746.75 c 1747 21995 1663 1 946.0000 728.4723 29.86%
1746.21/1752.45 c 1752 22082 1706 1 946.0000 728.5661 29.84%
1751.59/1757.80 c 1758 22144 1746 1 946.0000 728.7729 29.81%
1756.67/1762.97 c 1763 22175 1777 1 946.0000 729.2206 29.73%
1762.15/1768.40 c 1768 22205 1807 1 946.0000 729.2796 29.72%
1767.92/1774.25 c 1774 22255 1857 1 946.0000 729.6727 29.65%
1773.40/1779.76 c 1780 22305 1907 1 946.0000 730.3371 29.53%
1778.59/1784.93 c 1785 22335 1937 1 946.0000 730.4677 29.51%
1783.68/1790.05 c 1790 22365 1967 1 946.0000 730.6750 29.47%
1790.15/1796.59 c 1797 22405 2007 1 946.0000 730.9439 29.42%
1796.03/1802.47 c 1802 22435 2037 1 946.0000 731.0542 29.40%
1801.22/1807.67 c 1808 22465 2067 1 946.0000 731.1145 29.39%
1807.00/1813.43 c 1813 22505 2107 1 946.0000 731.2434 29.37%
1812.08/1818.56 c 1819 22545 2145 1 946.0000 731.5159 29.32%
1817.16/1823.69 c 1824 22558 2158 1 946.0000 731.6259 29.30%
1822.55/1829.02 c 1829 22585 2185 1 946.0000 731.7284 29.28%
1828.72/1835.20 c 1835 22622 2220 1 946.0000 731.8405 29.26%
1834.61/1841.10 c 1841 22654 2252 1 946.0000 731.9768 29.24%
1840.29/1846.87 c 1847 22684 2282 1 946.0000 732.0677 29.22%
1846.27/1852.85 c 1853 22723 2321 1 946.0000 732.3954 29.17%
1852.35/1858.90 c 1859 22758 2356 1 946.0000 732.4509 29.16%
1857.83/1864.44 c 1864 22805 2403 1 946.0000 732.5440 29.14%
1863.42/1870.10 c 1870 22845 2443 1 946.0000 732.7253 29.11%
1869.20/1875.87 c 1876 22901 2469 1 946.0000 732.8648 29.08%
1874.58/1881.23 c 1881 22975 2483 1 946.0000 732.8900 29.08%
1879.66/1886.33 c 1886 23014 2522 1 946.0000 732.9546 29.07%
1885.64/1892.33 c 1892 23064 2568 1 946.0000 733.1156 29.04%
1890.92/1897.64 c 1898 23103 2607 1 946.0000 733.3899 28.99%
1898.00/1904.70 c 1905 23154 2658 1 946.0000 733.6084 28.95%
1910.16/1916.92 c 1917 23184 2688 1 946.0000 733.8685 28.91%
1915.25/1922.10 c 1922 23222 2726 1 946.0000 734.2355 28.84%
1920.53/1927.33 c 1927 23265 2769 1 946.0000 734.6077 28.78%
1925.72/1932.51 c 1933 23304 2808 1 946.0000 734.7461 28.75%
1932.09/1938.90 c 1939 23345 2847 1 946.0000 734.8701 28.73%
1938.87/1945.71 c 1946 23404 2906 1 946.0000 735.2183 28.67%
1943.95/1950.90 c 1951 23455 2955 1 946.0000 735.6149 28.60%
1950.03/1956.92 c 1957 23501 2975 1 946.0000 735.6243 28.60%
1955.31/1962.25 c 1962 23552 2974 1 946.0000 735.6243 28.60%
1961.39/1968.32 c 1968 23643 2973 1 946.0000 735.6243 28.60%
1966.88/1973.83 c 1974 23736 2974 1 946.0000 735.6243 28.60%
1971.86/1978.85 c 1979 23855 2995 1 946.0000 735.7037 28.58%
1976.94/1983.95 c 1984 23895 3035 1 946.0000 735.9334 28.54%
1982.92/1989.90 c 1990 24015 3057 1 946.0000 735.9852 28.54%
1987.91/1994.99 c 1995 24065 3107 1 946.0000 736.1960 28.50%
1993.59/2000.69 c 2001 24105 3147 1 946.0000 736.3145 28.48%
1998.68/2005.79 c 2006 24146 3188 1 946.0000 736.4601 28.45%
2004.36/2011.46 c 2011 24205 3247 1 946.0000 736.8534 28.38%
2009.44/2016.55 c 2017 24255 3297 1 946.0000 736.9945 28.36%
2014.82/2021.95 c 2022 24315 3357 1 946.0000 737.1430 28.33%
2020.02/2027.13 c 2027 24374 3416 1 946.0000 737.2567 28.31%
2026.09/2033.27 c 2033 24430 3472 1 946.0000 737.4748 28.28%
2031.17/2038.33 c 2038 24485 3525 1 946.0000 737.6706 28.24%
2036.65/2043.89 c 2044 24525 3565 1 946.0000 737.7562 28.23%
2042.73/2049.94 c 2050 24579 3615 1 946.0000 737.8408 28.21%
2048.01/2055.25 c 2055 24613 3621 1 946.0000 737.8408 28.21%
2053.70/2060.96 c 2061 24692 3632 1 946.0000 737.8450 28.21%
2059.48/2066.78 c 2067 24725 3665 1 946.0000 737.9112 28.20%
2065.15/2072.40 c 2072 24805 3713 1 946.0000 737.9705 28.19%
2072.04/2079.32 c 2079 24855 3763 1 946.0000 738.0562 28.17%
2077.92/2085.25 c 2085 24915 3821 1 946.0000 738.1490 28.16%
2083.70/2091.07 c 2091 24965 3871 1 946.0000 738.2202 28.15%
2089.09/2096.48 c 2096 25045 3909 1 946.0000 738.2923 28.13%
2094.17/2101.54 c 2102 25115 3957 1 946.0000 738.3481 28.12%
2099.65/2107.08 c 2107 25175 4017 1 946.0000 738.5007 28.10%
2105.43/2112.84 c 2113 25245 4031 1 946.0000 738.5007 28.10%
2110.82/2118.28 c 2118 25305 4071 1 946.0000 738.5451 28.09%
2117.39/2124.85 c 2125 25372 4138 1 946.0000 738.7406 28.06%
2123.87/2131.34 c 2131 25424 4190 1 946.0000 738.8658 28.03%
2129.35/2136.86 c 2137 25475 4241 1 946.0000 739.0509 28.00%
2134.94/2142.42 c 2142 25534 4300 1 946.0000 739.2412 27.97%
2140.52/2148.03 c 2148 25585 4351 1 946.0000 739.3418 27.95%
2145.61/2153.11 c 2153 25634 4398 1 946.0000 739.6917 27.89%
2150.88/2158.45 c 2158 25695 4459 1 946.0000 739.7941 27.87%
2156.17/2163.78 c 2164 25745 4509 1 946.0000 739.9518 27.85%
2161.45/2169.08 c 2169 25804 4568 1 946.0000 740.0359 27.83%
2167.13/2174.71 c 2175 25855 4619 1 946.0000 740.1194 27.82%
2173.61/2181.24 c 2181 25907 4671 1 946.0000 740.2565 27.79%
2178.69/2186.33 c 2186 25955 4717 1 946.0000 740.3827 27.77%
2184.38/2192.04 c 2192 26005 4757 1 946.0000 740.4662 27.76%
2189.96/2197.66 c 2198 26043 4795 1 946.0000 740.5694 27.74%
2195.04/2202.76 c 2203 26095 4847 1 946.0000 740.6534 27.73%
2200.63/2208.31 c 2208 26179 4899 1 946.0000 740.8382 27.69%
2205.71/2213.49 c 2213 26265 4913 1 946.0000 740.8670 27.69%
2211.19/2218.97 c 2219 26315 4961 1 946.0000 740.9234 27.68%
2217.07/2224.84 c 2225 26365 5011 1 946.0000 740.9690 27.67%
2222.45/2230.29 c 2230 26415 5061 1 946.0000 741.0413 27.66%
2227.64/2235.43 c 2235 26475 5119 1 946.0000 741.1954 27.63%
2232.82/2240.64 c 2241 26525 5169 1 946.0000 741.2851 27.62%
2238.90/2246.70 c 2247 26594 5216 1 946.0000 741.3132 27.61%
2246.58/2254.45 c 2254 26624 5246 1 946.0000 741.3439 27.61%
2251.76/2259.68 c 2260 26675 5297 1 946.0000 741.3890 27.60%
2256.84/2264.75 c 2265 26725 5347 1 946.0000 741.4408 27.59%
2262.03/2269.91 c 2270 26785 5407 1 946.0000 741.5346 27.57%
2267.22/2275.14 c 2275 26827 5449 1 946.0000 741.6351 27.56%
2272.79/2280.71 c 2281 26885 5507 1 946.0000 741.7572 27.54%
2277.97/2285.95 c 2286 26945 5563 1 946.0000 741.9288 27.51%
2283.06/2291.09 c 2291 27005 5609 1 946.0000 741.9619 27.50%
2289.34/2297.34 c 2297 27065 5669 1 946.0000 742.1467 27.47%
2295.12/2303.12 c 2303 27125 5729 1 946.0000 742.2343 27.45%
2301.11/2309.14 c 2309 27174 5778 1 946.0000 742.2656 27.45%
2306.68/2314.79 c 2315 27225 5829 1 946.0000 742.3607 27.43%
2311.76/2319.87 c 2320 27264 5868 1 946.0000 742.4248 27.42%
2317.15/2325.27 c 2325 27312 5916 1 946.0000 742.4952 27.41%
2323.32/2331.45 c 2331 27355 5959 1 946.0000 742.5676 27.40%
2328.60/2336.79 c 2337 27405 6009 1 946.0000 742.7278 27.37%
2334.09/2342.23 c 2342 27445 6049 1 946.0000 742.7505 27.36%
2340.07/2348.25 c 2348 27528 6074 1 946.0000 742.8155 27.35%
2345.25/2353.44 c 2353 27570 6114 1 946.0000 742.8598 27.35%
2350.23/2358.46 c 2358 27592 6134 1 946.0000 742.9009 27.34%
2355.83/2364.10 c 2364 27615 6157 1 946.0000 742.9295 27.33%
2361.00/2369.22 c 2369 27650 6192 1 946.0000 742.9462 27.33%
2366.09/2374.39 c 2374 27683 6213 1 946.0000 742.9546 27.33%
2371.47/2379.79 c 2380 27755 6215 1 946.0000 742.9602 27.33%
2377.64/2385.94 c 2386 27805 6263 1 946.0000 743.1077 27.30%
2383.63/2391.91 c 2392 27842 6298 1 946.0000 743.1254 27.30%
2388.82/2397.18 c 2397 27868 6324 1 946.0000 743.1829 27.29%
2393.89/2402.25 c 2402 27905 6361 1 946.0000 743.2295 27.28%
2399.08/2407.45 c 2407 27925 6381 1 946.0000 743.2645 27.28%
2404.36/2412.70 c 2413 27962 6418 1 946.0000 743.3517 27.26%
2410.34/2418.70 c 2419 28017 6461 1 946.0000 743.3837 27.26%
2416.42/2424.81 c 2425 28086 6466 1 946.0000 743.3837 27.26%
2422.10/2430.59 c 2431 28147 6469 1 946.0000 743.3837 27.26%
2427.58/2436.08 c 2436 28185 6489 1 946.0000 743.4203 27.25%
2432.77/2441.25 c 2441 28235 6539 1 946.0000 743.4970 27.24%
2438.55/2447.01 c 2447 28284 6588 1 946.0000 743.5851 27.22%
2444.73/2453.27 c 2453 28308 6612 1 946.0000 743.5902 27.22%
2450.31/2458.87 c 2459 28372 6644 1 946.0000 743.6174 27.22%
2456.30/2464.84 c 2465 28450 6654 1 946.0000 743.6174 27.22%
2461.88/2470.46 c 2470 28484 6682 1 946.0000 743.6580 27.21%
2467.25/2475.86 c 2476 28521 6717 1 946.0000 743.8003 27.18%
2472.34/2480.94 c 2481 28555 6751 1 946.0000 743.9028 27.17%
2478.52/2487.11 c 2487 28591 6787 1 946.0000 743.9519 27.16%
2483.50/2492.12 c 2492 28615 6811 1 946.0000 744.0136 27.15%
2489.08/2497.70 c 2498 28664 6858 1 946.0000 744.1481 27.13%
2494.76/2503.43 c 2503 28705 6895 1 946.0000 744.2020 27.12%
2500.45/2509.18 c 2509 28742 6932 1 946.0000 744.2709 27.10%
2505.62/2514.36 c 2514 28773 6963 1 946.0000 744.3364 27.09%
2511.10/2519.89 c 2520 28805 6995 1 946.0000 744.4064 27.08%
2516.58/2525.38 c 2525 28835 7025 1 946.0000 744.4582 27.07%
2522.28/2531.02 c 2531 28857 7047 1 946.0000 744.5259 27.06%
2527.36/2536.15 c 2536 28885 7073 1 946.0000 744.6097 27.05%
2532.64/2541.40 c 2541 28933 7121 1 946.0000 744.6584 27.04%
2538.91/2547.78 c 2548 28964 7152 1 946.0000 744.7392 27.02%
2544.70/2553.53 c 2554 28984 7172 1 946.0000 744.7613 27.02%
2550.29/2559.19 c 2559 29009 7197 1 946.0000 744.7905 27.02%
2555.46/2564.36 c 2564 29055 7243 1 946.0000 744.9362 26.99%
2561.25/2570.13 c 2570 29082 7270 1 946.0000 745.0112 26.98%
2567.03/2575.92 c 2576 29105 7293 1 946.0000 745.0381 26.97%
2572.31/2581.29 c 2581 29144 7332 1 946.0000 745.0702 26.97%
2577.49/2586.42 c 2586 29167 7355 1 946.0000 745.1242 26.96%
2582.77/2591.74 c 2592 29195 7383 1 946.0000 745.1828 26.95%
2587.86/2596.82 c 2597 29235 7421 1 946.0000 745.2505 26.94%
2594.74/2603.73 c 2604 29267 7451 1 946.0000 745.2605 26.94%
2600.32/2609.38 c 2609 29355 7477 1 946.0000 745.3136 26.93%
2606.11/2615.16 c 2615 29403 7525 1 946.0000 745.3557 26.92%
2611.49/2620.51 c 2621 29433 7553 1 946.0000 745.4741 26.90%
2616.97/2626.05 c 2626 29467 7587 1 946.0000 745.5092 26.89%
2622.55/2631.66 c 2632 29511 7629 1 946.0000 745.5714 26.88%
2628.03/2637.12 c 2637 29555 7671 1 946.0000 745.6144 26.88%
2634.01/2643.14 c 2643 29623 7687 1 946.0000 745.6185 26.87%
2640.08/2649.20 c 2649 29681 7687 1 946.0000 745.6185 26.87%
2645.98/2655.14 c 2655 29716 7692 1 946.0000 745.6221 26.87%
2651.15/2660.34 c 2660 29785 7699 1 946.0000 745.6395 26.87%
2657.93/2667.15 c 2667 29824 7738 1 946.0000 745.7007 26.86%
2663.21/2672.48 c 2672 29874 7786 1 946.0000 745.8001 26.84%
2668.80/2678.02 c 2678 29935 7847 1 946.0000 745.9060 26.83%
2674.48/2683.73 c 2684 29975 7885 1 946.0000 745.9354 26.82%
2680.16/2689.45 c 2689 30034 7942 1 946.0000 746.0327 26.80%
2685.63/2694.90 c 2695 30084 7992 1 946.0000 746.0875 26.79%
2691.32/2700.68 c 2701 30134 8042 1 946.0000 746.1479 26.78%
2697.09/2706.47 c 2706 30175 8081 1 946.0000 746.2470 26.77%
2702.18/2711.57 c 2712 30205 8111 1 946.0000 746.2882 26.76%
2707.66/2717.03 c 2717 30259 8143 1 946.0000 746.3108 26.76%
2713.43/2722.83 c 2723 30305 8153 1 946.0000 746.3154 26.76%
2719.02/2728.44 c 2728 30355 8203 1 946.0000 746.3644 26.75%
2724.89/2734.36 c 2734 30405 8251 1 946.0000 746.4423 26.73%
2730.87/2740.37 c 2740 30464 8308 1 946.0000 746.5346 26.72%
2736.35/2745.84 c 2746 30504 8348 1 946.0000 746.5944 26.71%
2741.43/2750.94 c 2751 30555 8395 1 946.0000 746.6741 26.70%
2747.71/2757.21 c 2757 30593 8433 1 946.0000 746.7717 26.68%
2752.89/2762.44 c 2762 30625 8465 1 946.0000 746.9150 26.65%
2759.36/2768.95 c 2769 30666 8504 1 946.0000 746.9916 26.64%
2764.55/2774.11 c 2774 30695 8533 1 946.0000 747.0458 26.63%
2770.52/2780.16 c 2780 30744 8582 1 946.0000 747.1056 26.62%
2776.01/2785.65 c 2786 30795 8629 1 946.0000 747.1898 26.61%
2781.29/2790.99 c 2791 30824 8658 1 946.0000 747.2692 26.59%
2786.47/2796.12 c 2796 30864 8698 1 946.0000 747.2969 26.59%
2792.24/2801.99 c 2802 30919 8721 1 946.0000 747.3299 26.58%
2797.43/2807.15 c 2807 30993 8729 1 946.0000 747.3299 26.58%
2803.30/2813.02 c 2813 31059 8731 1 946.0000 747.3299 26.58%
2808.39/2818.16 c 2818 31125 8755 1 946.0000 747.3417 26.58%
2814.46/2824.24 c 2824 31174 8802 1 946.0000 747.4584 26.56%
2820.14/2829.99 c 2830 31225 8853 1 946.0000 747.5059 26.55%
2825.91/2835.74 c 2836 31288 8902 1 946.0000 747.5857 26.54%
2831.20/2841.02 c 2841 31365 8917 1 946.0000 747.6182 26.54%
2836.88/2846.74 c 2847 31437 8935 1 946.0000 747.6188 26.54%
2842.46/2852.33 c 2852 31523 8933 1 946.0000 747.6188 26.54%
2847.83/2857.71 c 2858 31624 8948 1 946.0000 747.6819 26.52%
2853.31/2863.24 c 2863 31675 8999 1 946.0000 747.7372 26.52%
2858.59/2868.51 c 2869 31725 9049 1 946.0000 747.8666 26.49%
2864.28/2874.22 c 2874 31785 9107 1 946.0000 748.0217 26.47%
2869.36/2879.30 c 2879 31825 9147 1 946.0000 748.0814 26.46%
2874.43/2884.45 c 2884 31875 9197 1 946.0000 748.1525 26.44%
2880.21/2890.26 c 2890 31924 9244 1 946.0000 748.1987 26.44%
2885.30/2895.31 c 2895 31957 9273 1 946.0000 748.2489 26.43%
2891.27/2901.36 c 2901 32005 9319 1 946.0000 748.2852 26.42%
2896.86/2906.97 c 2907 32065 9379 1 946.0000 748.3895 26.40%
2902.14/2912.21 c 2912 32105 9407 1 946.0000 748.4416 26.40%
2907.41/2917.55 c 2918 32135 9437 1 946.0000 748.5254 26.38%
2912.59/2922.79 c 2923 32235 9451 1 946.0000 748.5432 26.38%
2917.67/2927.87 c 2928 32365 9463 1 946.0000 748.5458 26.38%
2923.86/2934.01 c 2934 32405 9501 1 946.0000 748.5968 26.37%
2929.73/2939.92 c 2940 32464 9558 1 946.0000 748.6906 26.35%
2935.70/2945.91 c 2946 32495 9589 1 946.0000 748.7146 26.35%
2940.99/2951.24 c 2951 32534 9626 1 946.0000 748.7663 26.34%
2946.87/2957.17 c 2957 32615 9661 1 946.0000 748.8846 26.32%
2952.45/2962.70 c 2963 32654 9700 1 946.0000 748.8920 26.32%
2957.62/2967.91 c 2968 32695 9741 1 946.0000 748.9347 26.31%
2966.89/2977.23 c 2977 32745 9787 1 946.0000 749.0140 26.30%
2973.47/2983.83 c 2984 32824 9804 1 946.0000 749.0206 26.30%
2979.54/2989.95 c 2990 32869 9847 1 946.0000 749.1089 26.28%
2984.93/2995.33 c 2995 32905 9881 1 946.0000 749.1633 26.27%
2990.21/3000.61 c 3001 32944 9920 1 946.0000 749.2130 26.27%
2995.39/3005.84 c 3006 32995 9971 1 946.0000 749.2254 26.26%
3000.76/3011.25 c 3011 33035 10011 1 946.0000 749.2736 26.26%
3005.95/3016.42 c 3016 33065 10041 1 946.0000 749.3620 26.24%
3012.13/3022.65 c 3023 33125 10099 1 946.0000 749.4791 26.22%
3017.71/3028.24 c 3028 33215 10129 1 946.0000 749.5285 26.21%
3023.68/3034.27 c 3034 33275 10161 1 946.0000 749.6830 26.19%
3029.56/3040.15 c 3040 33373 10183 1 946.0000 749.6932 26.18%
3034.94/3045.52 c 3046 33455 10217 1 946.0000 749.7713 26.17%
3040.32/3050.90 c 3051 33521 10255 1 946.0000 749.7853 26.17%
3045.70/3056.33 c 3056 33645 10273 1 946.0000 749.8277 26.16%
3051.08/3061.71 c 3062 33694 10322 1 946.0000 749.8630 26.16%
3056.07/3066.75 c 3067 33735 10363 1 946.0000 749.9275 26.15%
3061.94/3072.64 c 3073 33795 10403 1 946.0000 749.9423 26.14%
3067.33/3078.01 c 3078 33872 10426 1 946.0000 749.9502 26.14%
3072.60/3083.38 c 3083 33905 10459 1 946.0000 749.9989 26.13%
3077.78/3088.59 c 3089 33944 10498 1 946.0000 750.0519 26.12%
3084.66/3095.42 c 3095 33995 10547 1 946.0000 750.1281 26.11%
3089.84/3100.63 c 3101 34034 10584 1 946.0000 750.2012 26.10%
3094.82/3105.67 c 3106 34061 10611 1 946.0000 750.2348 26.09%
3099.90/3110.78 c 3111 34095 10643 1 946.0000 750.3856 26.07%
3105.18/3116.00 c 3116 34140 10674 1 946.0000 750.3958 26.07%
3110.46/3121.38 c 3121 34185 10713 1 946.0000 750.4906 26.05%
3116.84/3127.74 c 3128 34218 10740 1 946.0000 750.5481 26.04%
3123.01/3133.92 c 3134 34289 10763 1 946.0000 750.6235 26.03%
3128.20/3139.17 c 3139 34328 10802 1 946.0000 750.6549 26.02%
3134.98/3145.95 c 3146 34371 10831 1 946.0000 750.7100 26.01%
3140.17/3151.13 c 3151 34395 10855 1 946.0000 750.8315 25.99%
3145.35/3156.33 c 3156 34433 10891 1 946.0000 750.8743 25.99%
3150.93/3161.96 c 3162 34487 10909 1 946.0000 750.8824 25.99%
3156.12/3167.16 c 3167 34562 10926 1 946.0000 750.9123 25.98%
3162.29/3173.30 c 3173 34622 10944 1 946.0000 750.9307 25.98%
3167.48/3178.59 c 3179 34655 10977 1 946.0000 751.0286 25.96%
3172.86/3183.94 c 3184 34712 10998 1 946.0000 751.0350 25.96%
3178.14/3189.27 c 3189 34745 11029 1 946.0000 751.0759 25.95%
3183.32/3194.49 c 3194 34775 11059 1 946.0000 751.1391 25.94%
3189.21/3200.32 c 3200 34824 11102 1 946.0000 751.1752 25.94%
3194.29/3205.44 c 3205 34875 11141 1 946.0000 751.2748 25.92%
3200.16/3211.37 c 3211 34914 11180 1 946.0000 751.3346 25.91%
3212.13/3223.35 c 3223 34954 11218 1 946.0000 751.4235 25.89%
3218.00/3229.26 c 3229 34995 11243 1 946.0000 751.4699 25.89%
3223.40/3234.66 c 3235 35025 11273 1 946.0000 751.5253 25.88%
3228.57/3239.87 c 3240 35058 11304 1 946.0000 751.6065 25.86%
3235.86/3247.13 c 3247 35089 11331 1 946.0000 751.6432 25.86%
3241.33/3252.67 c 3253 35127 11341 1 946.0000 751.6432 25.86%
3246.42/3257.74 c 3258 35216 11356 1 946.0000 751.6540 25.86%
3252.10/3263.40 c 3263 35282 11360 1 946.0000 751.6540 25.86%
3257.68/3269.09 c 3269 35359 11367 1 946.0000 751.6540 25.86%
3263.06/3274.48 c 3274 35414 11394 1 946.0000 751.7700 25.84%
3268.14/3279.52 c 3280 35445 11425 1 946.0000 751.8037 25.83%
3273.22/3284.65 c 3285 35494 11474 1 946.0000 751.8468 25.82%
3280.10/3291.56 c 3292 35534 11514 1 946.0000 751.8600 25.82%
3285.09/3296.58 c 3297 35555 11535 1 946.0000 751.9517 25.81%
3290.27/3301.73 c 3302 35584 11564 1 946.0000 752.0009 25.80%
3295.26/3306.75 c 3307 35635 11583 1 946.0000 752.0439 25.79%
3300.54/3312.05 c 3312 35714 11588 1 946.0000 752.0439 25.79%
3306.12/3317.67 c 3318 35832 11594 1 946.0000 752.0439 25.79%
3311.51/3323.05 c 3323 35905 11605 1 946.0000 752.0801 25.78%
3317.49/3329.10 c 3329 36015 11625 1 946.0000 752.0833 25.78%
3323.07/3334.63 c 3335 36095 11637 1 946.0000 752.1069 25.78%
3328.15/3339.79 c 3340 36133 11663 1 946.0000 752.1216 25.78%
3333.44/3345.03 c 3345 36195 11683 1 946.0000 752.1515 25.77%
3339.01/3350.62 c 3351 36280 11690 1 946.0000 752.1515 25.77%
3344.51/3356.15 c 3356 36324 11720 1 946.0000 752.2118 25.76%
3349.88/3361.53 c 3362 36359 11751 1 946.0000 752.2977 25.75%
3355.86/3367.59 c 3368 36430 11770 1 946.0000 752.3464 25.74%
3360.95/3372.62 c 3373 36465 11803 1 946.0000 752.4025 25.73%
3366.43/3378.17 c 3378 36495 11831 1 946.0000 752.4518 25.72%
3371.81/3383.53 c 3384 36534 11870 1 946.0000 752.4743 25.72%
3377.20/3388.98 c 3389 36579 11891 1 946.0000 752.4981 25.71%
3382.39/3394.13 c 3394 36634 11922 1 946.0000 752.5351 25.71%
3387.86/3399.62 c 3400 36685 11931 1 946.0000 752.5412 25.71%
3393.74/3405.55 c 3406 36830 11942 1 946.0000 752.5782 25.70%
3399.12/3410.99 c 3411 36925 11953 1 946.0000 752.5867 25.70%
3404.51/3416.36 c 3416 36964 11990 1 946.0000 752.6927 25.68%
3409.59/3421.46 c 3421 37032 12004 1 946.0000 752.7157 25.68%
3414.87/3426.77 c 3427 37135 12011 1 946.0000 752.7569 25.67%
3420.16/3432.05 c 3432 37192 12032 1 946.0000 752.7630 25.67%
3425.34/3437.27 c 3437 37278 12052 1 946.0000 752.7755 25.67%
3430.72/3442.62 c 3443 37365 12069 1 946.0000 752.7945 25.67%
3435.90/3447.86 c 3448 37500 12072 1 946.0000 752.7945 25.67%
3441.89/3453.83 c 3454 37610 12098 1 946.0000 752.8210 25.66%
3447.57/3459.56 c 3460 37717 12109 1 946.0000 752.8331 25.66%
3453.16/3465.16 c 3465 37840 12122 1 946.0000 752.8497 25.66%
3458.83/3470.85 c 3471 37985 12143 1 946.0000 752.8655 25.65%
3463.81/3475.89 c 3476 38095 12147 1 946.0000 752.8964 25.65%
3469.00/3481.05 c 3481 38175 12155 1 946.0000 752.9079 25.65%
3474.28/3486.36 c 3486 38277 12179 1 946.0000 752.9080 25.65%
3479.37/3491.46 c 3491 38341 12199 1 946.0000 752.9096 25.65%
3485.05/3497.14 c 3497 38411 12211 1 946.0000 752.9161 25.64%
3490.23/3502.35 c 3502 38494 12218 1 946.0000 752.9320 25.64%
3496.32/3508.41 c 3508 38564 12228 1 946.0000 752.9320 25.64%
3501.80/3513.97 c 3514 38635 12237 1 946.0000 752.9338 25.64%
3507.28/3519.46 c 3519 38729 12255 1 946.0000 752.9338 25.64%
3512.36/3524.54 c 3525 38855 12273 1 946.0000 752.9507 25.64%
3517.44/3529.69 c 3530 38925 12291 1 946.0000 752.9507 25.64%
3522.63/3534.80 c 3535 39001 12305 1 946.0000 752.9597 25.64%
3528.31/3540.55 c 3541 39099 12311 1 946.0000 752.9597 25.64%
3533.90/3546.15 c 3546 39204 12324 1 946.0000 752.9927 25.63%
3539.67/3551.99 c 3552 39337 12335 1 946.0000 753.0125 25.63%
3544.86/3557.13 c 3557 39387 12353 1 946.0000 753.0215 25.63%
3550.63/3562.97 c 3563 39484 12374 1 946.0000 753.0307 25.63%
3556.32/3568.68 c 3569 39568 12392 1 946.0000 753.0684 25.62%
3562.39/3574.76 c 3575 39598 12404 1 946.0000 753.0743 25.62%
3567.78/3580.12 c 3580 39711 12407 1 946.0000 753.0743 25.62%
3573.07/3585.44 c 3585 39811 12407 1 946.0000 753.0743 25.62%
3578.45/3590.81 c 3591 39891 12415 1 946.0000 753.0743 25.62%
3583.63/3596.06 c 3596 39973 12419 1 946.0000 753.0743 25.62%
3585.92/3598.31 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.92/3598.31 c Total Time : 3598.31
3585.92/3598.31 c solving : 3598.31
3585.92/3598.31 c presolving : 1.59 (included in solving)
3585.92/3598.31 c B&B Tree :
3585.92/3598.31 c nodes (total) : 1
3585.92/3598.31 c Solution :
3585.92/3598.31 c Solutions found : 20
3585.92/3598.31 c Primal Bound : +9.46000000000000e+02
3585.92/3598.31 c Dual Bound : +7.53079612585229e+02
3585.92/3598.31 c Gap : 25.61753 %
3585.92/3598.31 c * Warning: final gap: 2.56175e-01 is greater than SCIPepsilon: 1.00000e-09
3585.92/3598.32 o 946
3585.92/3598.32 s SATISFIABLE
3585.92/3598.32 v x2460 -x2459 x2458 -x2457 x2456 -x2455 x2454 -x2453 x2452 -x2451 -x2450 -x2449 x2448 -x2447 x2446 -x2445 -x2444 x2443 x2442 -x2441
3585.92/3598.32 v x2440 -x2439 x2438 -x2437 -x2436 -x2435 x2434 -x2433 -x2432 x2431 x2430 -x2429 -x2428 -x2427 -x2426 -x2425 x2424 -x2423 -x2422
3585.92/3598.32 v -x2421 -x2420 x2419 x2418 -x2417 x2416 -x2415 x2414 -x2413 x2412 -x2411 x2410 -x2409 x2408 -x2407 x2406 -x2405 x2404 -x2403
3585.92/3598.32 v x2402 -x2401 x2400 -x2399 x2398 -x2397 -x2396 x2395 x2394 -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385
3585.92/3598.32 v x2384 -x2383 -x2382 -x2381 x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 x2371 x2370 -x2369 -x2368 -x2367 -x2366
3585.92/3598.32 v -x2365 x2364 -x2363 -x2362 -x2361 x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 -x2349 -x2348
3585.92/3598.32 v x2347 -x2346 -x2345 x2344 -x2343 -x2342 -x2341 x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 x2331 x2330 -x2329
3585.92/3598.32 v -x2328 -x2327 -x2326 -x2325 x2324 -x2323 -x2322 -x2321 x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311
3585.92/3598.32 v x2310 -x2309 -x2308 -x2307 -x2306 -x2305 x2304 -x2303 -x2302 -x2301 x2300 -x2299 x2298 -x2297 -x2296 -x2295 x2294 -x2293 -x2292
3585.92/3598.32 v x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274
3585.92/3598.32 v -x2273 -x2272 x2271 x2270 -x2269 -x2268 -x2267 -x2266 -x2265 x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258 -x2257 -x2256
3585.92/3598.32 v -x2255 -x2254 -x2253 -x2252 x2251 x2250 -x2249 -x2248 -x2247 -x2246 -x2245 x2244 -x2243 -x2242 -x2241 x2240 -x2239 x2238 -x2237
3585.92/3598.32 v x2236 -x2235 x2234 -x2233 x2232 -x2231 -x2230 -x2229 x2228 -x2227 x2226 -x2225 -x2224 x2223 x2222 -x2221 x2220 -x2219 x2218
3585.92/3598.32 v -x2217 x2216 -x2215 x2214 -x2213 x2212 -x2211 -x2210 -x2209 x2208 -x2207 x2206 -x2205 -x2204 x2203 x2202 -x2201 x2200 -x2199
3585.92/3598.32 v x2198 -x2197 -x2196 x2195 x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 -x2182 -x2181
3585.92/3598.32 v x2180 -x2179 x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172 -x2171 x2170 -x2169 -x2168 x2167 -x2166 -x2165 x2164 -x2163 -x2162
3585.92/3598.32 v -x2161 -x2160 x2159 x2158 -x2157 x2156 -x2155 x2154 -x2153 x2152 -x2151 x2150 -x2149 x2148 -x2147 x2146 -x2145 x2144 -x2143
3585.92/3598.32 v x2142 -x2141 x2140 -x2139 x2138 -x2137 x2136 -x2135 x2134 -x2133 x2132 -x2131 -x2130 x2129 x2128 -x2127 x2126 -x2125 -x2124
3585.92/3598.32 v -x2123 x2122 -x2121 x2120 -x2119 x2118 -x2117 -x2116 -x2115 x2114 -x2113 -x2112 x2111 x2110 -x2109 -x2108 -x2107 -x2106 -x2105
3585.92/3598.32 v x2104 -x2103 -x2102 -x2101 x2100 -x2099 x2098 -x2097 -x2096 -x2095 x2094 -x2093 -x2092 x2091 x2090 -x2089 -x2088 -x2087 -x2086
3585.92/3598.32 v -x2085 x2084 -x2083 -x2082 -x2081 x2080 -x2079 x2078 -x2077 x2076 -x2075 x2074 -x2073 x2072 -x2071 -x2070 -x2069 x2068 -x2067
3585.92/3598.32 v x2066 -x2065 -x2064 x2063 x2062 -x2061 x2060 -x2059 x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 x2051 x2050 -x2049 -x2048
3585.92/3598.32 v -x2047 -x2046 -x2045 x2044 -x2043 -x2042 -x2041 x2040 -x2039 x2038 -x2037 -x2036 -x2035 x2034 -x2033 -x2032 -x2031 x2030
3585.92/3598.32 v -x2029 -x2028 -x2027 -x2026 x2025 x2024 -x2023 -x2022 -x2021 -x2020 x2019 x2018 -x2017 x2016 -x2015 x2014 -x2013 x2012 -x2011
3585.92/3598.32 v x2010 -x2009 x2008 -x2007 x2006 -x2005 x2004 -x2003 x2002 -x2001 x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992
3585.92/3598.32 v x1991 x1990 -x1989 -x1988 -x1987 -x1986 -x1985 x1984 -x1983 -x1982 -x1981 x1980 -x1979 -x1978 -x1977 x1976 -x1975 -x1974
3585.92/3598.32 v x1973 x1972 -x1971 x1970 -x1969 x1968 -x1967 x1966 -x1965 x1964 -x1963 x1962 -x1961 x1960 -x1959 x1958 -x1957 -x1956 x1955 x1954
3585.92/3598.32 v -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 -x1946 -x1945 x1944 -x1943 -x1942 -x1941 -x1940 x1939 x1938 -x1937 x1936
3585.92/3598.32 v -x1935 x1934 -x1933 x1932 -x1931 x1930 -x1929 x1928 -x1927 x1926 -x1925 x1924 -x1923 x1922 -x1921 -x1920 -x1919 x1918 -x1917
3585.92/3598.32 v x1916 -x1915 x1914 -x1913 x1912 -x1911 -x1910 -x1909 x1908 -x1907 x1906 -x1905 -x1904 x1903 x1902 -x1901 x1900 -x1899 -x1898
3585.92/3598.32 v x1897 x1896 -x1895 -x1894 -x1893 x1892 -x1891 x1890 -x1889 x1888 -x1887 x1886 -x1885 x1884 -x1883 x1882 -x1881 x1880 -x1879 x1878
3585.92/3598.32 v -x1877 -x1876 x1875 x1874 -x1873 -x1872 -x1871 x1870 -x1869 -x1868 -x1867 -x1866 -x1865 x1864 -x1863 -x1862 -x1861 x1860
3585.92/3598.32 v -x1859 -x1858 x1857 x1856 -x1855 -x1854 -x1853 x1852 -x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841
3585.92/3598.32 v x1840 -x1839 -x1838 x1837 x1836 -x1835 -x1834 -x1833 x1832 -x1831 x1830 -x1829 x1828 -x1827 x1826 -x1825 x1824 -x1823 x1822
3585.92/3598.32 v -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 x1814 -x1813 -x1812 -x1811 x1810 -x1809 -x1808 -x1807 -x1806 -x1805 x1804 -x1803
3585.92/3598.32 v -x1802 -x1801 x1800 -x1799 x1798 -x1797 x1796 -x1795 x1794 -x1793 x1792 -x1791 -x1790 -x1789 x1788 -x1787 x1786 -x1785 -x1784
3585.92/3598.32 v x1783 x1782 -x1781 x1780 -x1779 x1778 -x1777 -x1776 x1775 x1774 -x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 -x1765
3585.92/3598.32 v x1764 -x1763 -x1762 -x1761 x1760 -x1759 x1758 -x1757 -x1756 x1755 x1754 -x1753 -x1752 -x1751 x1750 -x1749 -x1748 -x1747 -x1746
3585.92/3598.32 v -x1745 x1744 -x1743 -x1742 -x1741 x1740 -x1739 x1738 -x1737 -x1736 x1735 x1734 -x1733 -x1732 -x1731 x1730 -x1729 -x1728
3585.92/3598.32 v -x1727 -x1726 -x1725 x1724 -x1723 -x1722 -x1721 x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 x1711 x1710 -x1709
3585.92/3598.32 v -x1708 -x1707 -x1706 -x1705 x1704 -x1703 -x1702 -x1701 x1700 -x1699 x1698 -x1697 -x1696 -x1695 x1694 -x1693 -x1692 x1691
3585.92/3598.32 v x1690 -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 -x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 -x1673 x1672
3585.92/3598.32 v -x1671 -x1670 -x1669 x1668 -x1667 x1666 -x1665 -x1664 -x1663 x1662 -x1661 x1660 -x1659 x1658 -x1657 -x1656 x1655 x1654 -x1653
3585.92/3598.32 v -x1652 -x1651 x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 -x1641 x1640 -x1639 x1638 -x1637 -x1636 x1635
3585.92/3598.32 v x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628 -x1627 -x1626 -x1625 x1624 -x1623 -x1622 -x1621 x1620 -x1619 x1618 -x1617 -x1616
3585.92/3598.32 v -x1615 x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608 -x1607 -x1606 x1605 x1604 -x1603 -x1602 -x1601 x1600 -x1599 x1598 -x1597
3585.92/3598.32 v x1596 -x1595 x1594 -x1593 x1592 -x1591 -x1590 x1589 x1588 -x1587 x1586 -x1585 -x1584 -x1583 x1582 -x1581 x1580 -x1579 x1578
3585.92/3598.32 v -x1577 -x1576 x1575 x1574 -x1573 -x1572 -x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 -x1563 -x1562 -x1561 x1560
3585.92/3598.32 v -x1559 -x1558 x1557 x1556 -x1555 -x1554 -x1553 x1552 -x1551 x1550 -x1549 x1548 -x1547 x1546 -x1545 x1544 -x1543 x1542 -x1541
3585.92/3598.32 v x1540 -x1539 x1538 -x1537 x1536 -x1535 x1534 -x1533 x1532 -x1531 -x1530 x1529 x1528 -x1527 x1526 -x1525 -x1524 -x1523 x1522 -x1521
3585.92/3598.32 v x1520 -x1519 x1518 -x1517 -x1516 -x1515 x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503
3585.92/3598.32 v -x1502 x1501 x1500 -x1499 x1498 -x1497 -x1496 x1495 x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484
3585.92/3598.32 v -x1483 -x1482 -x1481 x1480 -x1479 x1478 -x1477 -x1476 x1475 x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 -x1466 -x1465
3585.92/3598.32 v x1464 -x1463 -x1462 -x1461 x1460 -x1459 x1458 -x1457 x1456 -x1455 x1454 -x1453 x1452 -x1451 -x1450 x1449 x1448 -x1447 x1446
3585.92/3598.32 v -x1445 -x1444 -x1443 x1442 -x1441 x1440 -x1439 x1438 -x1437 -x1436 x1435 x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428
3585.92/3598.32 v -x1427 -x1426 -x1425 x1424 -x1423 -x1422 -x1421 x1420 -x1419 x1418 -x1417 -x1416 -x1415 x1414 -x1413 -x1412 -x1411 x1410 -x1409
3585.92/3598.32 v -x1408 -x1407 -x1406 x1405 x1404 -x1403 -x1402 -x1401 -x1400 -x1399 x1398 -x1397 -x1396 x1395 x1394 -x1393 -x1392 -x1391 -x1390
3585.92/3598.32 v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 x1377 x1376 -x1375 -x1374 -x1373 x1372
3585.92/3598.32 v -x1371 x1370 -x1369 x1368 -x1367 x1366 -x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 -x1358 x1357 x1356 -x1355 -x1354 -x1353
3585.92/3598.32 v x1352 -x1351 -x1350 -x1349 x1348 -x1347 x1346 -x1345 -x1344 -x1343 x1342 -x1341 x1340 -x1339 -x1338 x1337 x1336 -x1335 -x1334
3585.92/3598.32 v -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 -x1325 x1324 -x1323 x1322 -x1321 x1320 -x1319 x1318 -x1317 -x1316 -x1315
3585.92/3598.32 v x1314 -x1313 -x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 x1298 -x1297
3585.92/3598.32 v x1296 -x1295 x1294 -x1293 x1292 -x1291 -x1290 -x1289 x1288 -x1287 x1286 -x1285 -x1284 x1283 x1282 -x1281 x1280 -x1279 x1278
3585.92/3598.32 v -x1277 -x1276 x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259
3585.92/3598.32 v x1258 -x1257 x1256 -x1255 x1254 -x1253 x1252 -x1251 -x1250 x1249 x1248 -x1247 x1246 -x1245 -x1244 -x1243 x1242 -x1241 x1240
3585.92/3598.32 v -x1239 x1238 -x1237 -x1236 x1235 x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222
3585.92/3598.32 v -x1221 x1220 -x1219 -x1218 x1217 x1216 -x1215 -x1214 -x1213 x1212 -x1211 x1210 -x1209 x1208 -x1207 x1206 -x1205 x1204 -x1203
3585.92/3598.32 v x1202 -x1201 x1200 -x1199 x1198 -x1197 -x1196 x1195 x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184
3585.92/3598.32 v -x1183 -x1182 -x1181 x1180 -x1179 x1178 -x1177 x1176 -x1175 x1174 -x1173 x1172 -x1171 -x1170 -x1169 x1168 -x1167 x1166 -x1165
3585.92/3598.32 v -x1164 x1163 x1162 -x1161 x1160 -x1159 x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146
3585.92/3598.32 v -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 x1138 -x1137 -x1136 x1135 x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128
3585.92/3598.32 v -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 x1110 -x1109
3585.92/3598.32 v -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 x1100 -x1099 x1098 -x1097 x1096 -x1095 x1094 -x1093 x1092 -x1091 -x1090
3585.92/3598.32 v x1089 x1088 -x1087 x1086 -x1085 -x1084 -x1083 x1082 -x1081 x1080 -x1079 x1078 -x1077 -x1076 -x1075 x1074 -x1073 -x1072
3585.92/3598.32 v x1071 x1070 -x1069 -x1068 -x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 -x1060 x1059 x1058 -x1057 x1056 -x1055 x1054 -x1053
3585.92/3598.32 v x1052 -x1051 x1050 -x1049 x1048 -x1047 x1046 -x1045 x1044 -x1043 x1042 -x1041 x1040 -x1039 x1038 -x1037 -x1036 x1035 x1034 -x1033
3585.92/3598.32 v -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 x1020 -x1019 x1018 -x1017 x1016 -x1015
3585.92/3598.32 v x1014 -x1013 x1012 -x1011 -x1010 -x1009 x1008 -x1007 x1006 -x1005 -x1004 x1003 x1002 -x1001 x1000 -x999 x998 -x997 -x996 -x995
3585.92/3598.32 v x994 -x993 -x992 x991 x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 x980 -x979 x978 -x977 -x976 x975 x974 -x973
3585.92/3598.32 v -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952
3585.92/3598.32 v x951 x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 x940 -x939 x938 -x937 -x936 -x935 x934 -x933 -x932 x931 x930
3585.92/3598.32 v -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 x920 -x919 -x918 x917 x916 -x915 -x914 -x913 x912 -x911 x910 -x909 x908
3585.92/3598.32 v -x907 x906 -x905 x904 -x903 x902 -x901 -x900 -x899 x898 -x897 x896 -x895 x894 -x893 x892 -x891 -x890 -x889 x888 -x887 x886 -x885
3585.92/3598.32 v -x884 x883 x882 -x881 x880 -x879 x878 -x877 -x876 -x875 x874 -x873 -x872 x871 x870 -x869 -x868 -x867 -x866 -x865 x864 -x863
3585.92/3598.32 v -x862 -x861 x860 -x859 x858 -x857 -x856 x855 x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841
3585.92/3598.32 v -x840 -x839 x838 -x837 x836 -x835 x834 -x833 x832 -x831 -x830 -x829 x828 -x827 x826 -x825 -x824 x823 x822 -x821 x820 -x819
3585.92/3598.32 v x818 -x817 x816 -x815 x814 -x813 x812 -x811 -x810 -x809 x808 -x807 x806 -x805 -x804 x803 x802 -x801 -x800 x799 x798 -x797 x796
3585.92/3598.32 v -x795 x794 -x793 x792 -x791 x790 -x789 x788 -x787 x786 -x785 x784 -x783 x782 -x781 x780 -x779 x778 -x777 -x776 -x775 x774
3585.92/3598.32 v -x773 -x772 x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 x758 -x757 x756 -x755 x754 -x753 x752
3585.92/3598.32 v -x751 -x750 -x749 x748 -x747 x746 -x745 -x744 x743 x742 -x741 x740 -x739 -x738 -x737 x736 -x735 -x734 x733 x732 -x731 x730
3585.92/3598.32 v -x729 x728 -x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717 -x716 -x715 x714 -x713 -x712 x711 x710 -x709 -x708 -x707
3585.92/3598.32 v -x706 -x705 x704 -x703 -x702 -x701 x700 -x699 x698 -x697 x696 -x695 x694 -x693 x692 -x691 -x690 x689 x688 -x687 x686 -x685
3585.92/3598.32 v -x684 -x683 x682 -x681 x680 -x679 x678 -x677 -x676 x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 x664 -x663
3585.92/3598.32 v -x662 -x661 x660 -x659 x658 -x657 -x656 x655 x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641
3585.92/3598.32 v -x640 x639 x638 -x637 -x636 x635 -x634 x633 -x632 x631 -x630 x629 -x628 x627 -x626 x625 -x624 x623 -x622 x621 -x620 x619 -x618
3585.92/3598.32 v x617 x616 -x615 -x614 x613 -x612 x611 -x610 x609 x608 -x607 -x606 x605 -x604 x603 -x602 x601 -x600 x599 -x598 x597 x596
3585.92/3598.34 v -x595 -x594 x593 -x592 x591 -x590 x589 -x588 x587 -x586 x585 -x584 x583 -x582 x581 -x580 x579 -x578 x577 x576 -x575 -x574 x573
3585.92/3598.34 v -x572 x571 -x570 x569 -x568 x567 -x566 x565 -x564 x563 -x562 x561 x560 -x559 -x558 x557 -x556 x555 -x554 x553 -x552 x551 -x550
3585.92/3598.34 v x549 -x548 x547 -x546 x545 -x544 x543 -x542 x541 -x540 x539 -x538 x537 -x536 x535 -x534 x533 -x532 x531 -x530 x529 -x528
3585.92/3598.34 v x527 -x526 x525 -x524 x523 -x522 x521 x520 -x519 -x518 x517 -x516 x515 -x514 x513 -x512 x511 -x510 x509 -x508 x507 -x506 x505
3585.92/3598.34 v -x504 x503 -x502 x501 -x500 x499 -x498 x497 x496 -x495 -x494 x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 -x484 x483 -x482
3585.92/3598.34 v x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 -x472 x471 -x470 x469 -x468 x467 -x466 x465 -x464 x463 -x462 x461 -x460 x459
3585.92/3598.34 v -x458 x457 -x456 x455 -x454 x453 x452 -x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437
3585.92/3598.34 v -x436 x435 -x434 x433 x432 -x431 -x430 x429 -x428 x427 -x426 x425 -x424 x423 -x422 x421 -x420 x419 -x418 x417 -x416 x415 -x414
3585.92/3598.34 v x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400 x399 -x398 x397 -x396 x395 -x394 x393 x392 -x391
3585.92/3598.34 v -x390 x389 -x388 x387 -x386 x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 x368
3585.92/3598.34 v -x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346
3585.92/3598.34 v x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 x324 -x323
3585.92/3598.34 v -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300
3585.92/3598.34 v x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 x278 -x277
3585.92/3598.34 v x276 -x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 x266 -x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255
3585.92/3598.34 v -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 x240 -x239 -x238 x237 -x236 x235 -x234 x233 -x232
3585.92/3598.34 v x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209
3585.92/3598.34 v -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 x196 -x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187
3585.92/3598.34 v -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 x176 -x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164
3585.92/3598.34 v x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141
3585.92/3598.34 v -x140 x139 -x138 x137 -x136 x135 -x134 x133 x132 -x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118
3585.92/3598.34 v x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95
3585.92/3598.34 v -x94 x93 -x92 x91 -x90 x89 -x88 x87 x86 -x85 x84 -x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 x74 -x73 -x72 x71 -x70 x69 -x68 x67
3585.92/3598.34 v -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39
3585.92/3598.34 v -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12
3585.92/3598.34 v 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: 63968 MiB (60910 MiB free)
memory of node 1: 64473 MiB (61991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463934-1722378594/watcher-4463934-1722378594 -o /tmp/evaluation-result-4463934-1722378594/solver-4463934-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30204 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463934-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30255, runsolver pid=30247
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.15 0.11 0.09 6/262 30272
/proc/meminfo: memFree=125752284/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=68456 memory=57468 CPUtime=0.1 cores=0,2
/proc/30255/stat : 30255 (fscip) R 30247 30255 30194 0 -1 4194304 13162 0 0 0 8 2 0 0 20 0 1 0 4459624 70098944 14367 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 17114 14367 2678 3035 0 13510 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68456 KiB
Current children cumulated memory: 57468 KiB
[startup+0.205978 s]*
/proc/loadavg: 0.15 0.11 0.09 5/260 30274
/proc/meminfo: memFree=125732916/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=72924 memory=61108 CPUtime=0.2 cores=0,2
/proc/30255/stat : 30255 (fscip) R 30247 30255 30194 0 -1 4194304 15969 0 0 0 18 2 0 0 20 0 1 0 4459624 74674176 15277 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 18231 15277 2726 3035 0 14627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72924 KiB
Current children cumulated memory: 61108 KiB
[startup+0.305932 s]*
/proc/loadavg: 0.15 0.11 0.09 4/253 30282
/proc/meminfo: memFree=125760988/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=72924 memory=61108 CPUtime=0.3 cores=0,2
/proc/30255/stat : 30255 (fscip) R 30247 30255 30194 0 -1 4194304 15971 0 0 0 28 2 0 0 20 0 1 0 4459624 74674176 15277 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 18231 15277 2726 3035 0 14627 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72924 KiB
Current children cumulated memory: 61108 KiB
[startup+0.700153 s]
/proc/loadavg: 0.15 0.11 0.09 4/250 30290
/proc/meminfo: memFree=125748368/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=73876 memory=62284 CPUtime=0.68 cores=0,2
/proc/30255/stat : 30255 (fscip) R 30247 30255 30194 0 -1 4194304 16203 0 0 0 66 2 0 0 20 0 1 0 4459624 75649024 15571 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 18469 15571 2758 3035 0 14865 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 62284 KiB
[startup+1.50022 s]
/proc/loadavg: 0.15 0.11 0.09 5/253 30332
/proc/meminfo: memFree=125725048/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=75760 memory=64132 CPUtime=1.48 cores=0,2
/proc/30255/stat : 30255 (fscip) R 30247 30255 30194 0 -1 4194304 16673 0 0 0 146 2 0 0 20 0 1 0 4459624 77578240 16033 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 18940 16033 2758 3035 0 15336 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75760 KiB
Current children cumulated memory: 64132 KiB
[startup+3.1066 s]
/proc/loadavg: 0.46 0.18 0.11 6/266 30372
/proc/meminfo: memFree=125484012/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=230192 memory=177196 CPUtime=3.07 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 49583 0 0 0 300 7 0 0 20 0 3 0 4459624 235716608 44299 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 57548 44299 2790 3035 0 51076 0
[pid=30255/tid=30371] ppid=30247 vsize=230192 memory=0 CPUtime=1.41 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 18756 0 0 0 139 2 0 0 20 0 3 0 4459788 235716608 44299 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=230192 memory=0 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4459792 235716608 44299 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 230192 KiB
Current children cumulated memory: 177196 KiB
[startup+6.30061 s]
/proc/loadavg: 0.46 0.18 0.11 6/266 30372
/proc/meminfo: memFree=125353208/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=361264 memory=236200 CPUtime=6.24 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 70395 0 0 0 615 9 0 0 20 0 3 0 4459624 369934336 59050 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 90316 59050 2998 3035 0 70784 0
[pid=30255/tid=30371] ppid=30247 vsize=361264 memory=104768 CPUtime=4.57 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 39077 0 0 0 454 3 0 0 20 0 3 0 4459788 369934336 59050 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=361264 memory=12340 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4459792 369934336 59050 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 361264 KiB
Current children cumulated memory: 236200 KiB
[startup+12.7002 s]
/proc/loadavg: 0.74 0.24 0.14 6/266 30374
/proc/meminfo: memFree=125227404/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=361264 memory=244760 CPUtime=12.61 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 101871 0 0 0 1250 11 0 0 20 0 3 0 4459624 369934336 61190 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 90316 61190 2998 3035 0 76155 0
[pid=30255/tid=30371] ppid=30247 vsize=361264 memory=0 CPUtime=10.94 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 70549 0 0 0 1089 5 0 0 20 0 3 0 4459788 369934336 61190 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=361264 memory=243556 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4459792 369934336 61190 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 361264 KiB
Current children cumulated memory: 244760 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.42 0.20 6/266 30375
/proc/meminfo: memFree=125157820/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=361264 memory=266072 CPUtime=25.36 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 132069 0 0 0 2522 14 0 0 20 0 3 0 4459624 369934336 66518 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 90316 66518 2998 3035 0 83450 0
[pid=30255/tid=30371] ppid=30247 vsize=361264 memory=12340 CPUtime=23.7 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 100658 0 0 0 2361 9 0 0 20 0 3 0 4459788 369934336 66518 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=361264 memory=236200 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4459792 369934336 66518 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 361264 KiB
Current children cumulated memory: 266072 KiB
[startup+51.1061 s]
/proc/loadavg: 2.33 0.71 0.30 6/268 30439
/proc/meminfo: memFree=125009980/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=427824 memory=290908 CPUtime=50.88 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 194212 0 0 0 5068 20 0 0 20 0 3 0 4459624 438091776 72727 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 106956 72727 2998 3035 0 90641 0
[pid=30255/tid=30371] ppid=30247 vsize=427824 memory=290872 CPUtime=49.21 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 162214 0 0 0 4907 14 0 0 20 0 3 0 4459788 438091776 72727 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=427824 memory=1952 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4459792 438091776 72727 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 427824 KiB
Current children cumulated memory: 290908 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.26 0.51 6/268 30449
/proc/meminfo: memFree=124835632/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=558896 memory=393512 CPUtime=101.9 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 287534 0 0 0 10163 27 0 0 20 0 3 0 4459624 572309504 98378 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 139724 98378 3014 3035 0 128590 0
[pid=30255/tid=30371] ppid=30247 vsize=558896 memory=365284 CPUtime=100.24 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 254037 0 0 0 10002 22 0 0 20 0 3 0 4459788 572309504 98378 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=558896 memory=365284 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4459792 572309504 98378 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 558896 KiB
Current children cumulated memory: 393512 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.78 0.74 6/268 30459
/proc/meminfo: memFree=124621852/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=690588 memory=443800 CPUtime=161.7 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 354111 0 0 0 16137 33 0 0 20 0 3 0 4459624 707162112 110950 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 172647 110950 3014 3035 0 160586 0
[pid=30255/tid=30371] ppid=30247 vsize=690588 memory=12560 CPUtime=160.02 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 320070 0 0 0 15975 27 0 0 20 0 3 0 4459788 707162112 110950 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=690588 memory=12340 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4459792 707162112 110950 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 690588 KiB
Current children cumulated memory: 443800 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 2.23 0.96 6/269 30470
/proc/meminfo: memFree=124515476/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=693028 memory=469100 CPUtime=221.49 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 394612 0 0 0 22112 37 0 0 20 0 3 0 4459624 709660672 117275 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 173257 117275 3014 3035 0 167106 0
[pid=30255/tid=30371] ppid=30247 vsize=693028 memory=444248 CPUtime=219.82 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 360522 0 0 0 21950 32 0 0 20 0 3 0 4459788 709660672 117275 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=693028 memory=469100 CPUtime=0 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4459792 709660672 117275 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 693028 KiB
Current children cumulated memory: 469100 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.56 1.15 6/268 30481
/proc/meminfo: memFree=124465092/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=758564 memory=498976 CPUtime=281.29 cores=0,2
################
# More data... #
################
/proc/30255/statm: 630692 549993 3318 3035 0 623683 0
[pid=30255/tid=30371] ppid=30247 vsize=2522768 memory=2190348 CPUtime=3448.47 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1718055 0 0 0 344635 212 0 0 20 0 3 0 4459788 2583314432 549993 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2522768 memory=2195396 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 138 0 0 0 1 2 0 0 20 0 3 0 4459792 2583314432 549993 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 2522768 KiB
Current children cumulated memory: 2199972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.08 6/266 32189
/proc/meminfo: memFree=121966132/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2553256 memory=2210032 CPUtime=3510.17 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1782125 0 0 0 350787 230 0 0 20 0 3 0 4459624 2614534144 552508 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 638314 552508 3318 3035 0 632335 0
[pid=30255/tid=30371] ppid=30247 vsize=2553256 memory=12560 CPUtime=3508.27 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1745704 0 0 0 350611 216 0 0 20 0 3 0 4459788 2614534144 552508 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2553256 memory=2205808 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 4459792 2614534144 552508 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3510.17 s
Current children cumulated vsize: 2553256 KiB
Current children cumulated memory: 2210032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.08 6/266 32199
/proc/meminfo: memFree=121952284/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224320 CPUtime=3569.98 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1811166 0 0 0 356765 233 0 0 20 0 3 0 4459624 2692345856 556080 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556080 3318 3035 0 641472 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=2218892 CPUtime=3568.08 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1774724 0 0 0 356589 219 0 0 20 0 3 0 4459788 2692345856 556080 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=-7524507294014463868 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556080 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3569.98 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224320 KiB
[startup+3598.36 s]
# the end of solver process 30255 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.62 s, system=2.375 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.12 4.08 6/266 32199
/proc/meminfo: memFree=121952216/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224320 CPUtime=3571.68 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1812105 0 0 0 356935 233 0 0 20 0 3 0 4459624 2692345856 556080 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556080 3318 3035 0 641472 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=-7452449699976537210 CPUtime=3569.78 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1775663 0 0 0 356759 219 0 0 20 0 3 0 4459788 2692345856 556080 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=12340 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556080 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224320 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.12 4.08 6/266 32201
/proc/meminfo: memFree=121952204/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224332 CPUtime=3578.05 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1812399 0 0 0 357572 233 0 0 20 0 3 0 4459624 2692345856 556083 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556083 3318 3035 0 642790 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=2224320 CPUtime=3576.15 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1775954 0 0 0 357396 219 0 0 20 0 3 0 4459788 2692345856 556083 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=12680 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556083 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3578.05 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224332 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.08 6/266 32201
/proc/meminfo: memFree=121943684/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224356 CPUtime=3581.24 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1813404 0 0 0 357891 233 0 0 20 0 3 0 4459624 2692345856 556089 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556089 3318 3035 0 642790 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=2224332 CPUtime=3579.34 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1776938 0 0 0 357715 219 0 0 20 0 3 0 4459788 2692345856 556089 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=-7524507294014463868 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556089 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3581.24 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224356 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.08 6/266 32201
/proc/meminfo: memFree=121943664/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224364 CPUtime=3584.43 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1814087 0 0 0 358210 233 0 0 20 0 3 0 4459624 2692345856 556091 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556091 3318 3035 0 643304 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=801 CPUtime=3582.52 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1777621 0 0 0 358033 219 0 0 20 0 3 0 4459788 2692345856 556091 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=2224324 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556091 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3584.43 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224364 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.12 4.08 6/266 32202
/proc/meminfo: memFree=121943688/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224440 CPUtime=3585.22 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1815730 0 0 0 358289 233 0 0 20 0 3 0 4459624 2692345856 556110 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556110 3318 3035 0 643321 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=12340 CPUtime=3583.32 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1779264 0 0 0 358113 219 0 0 20 0 3 0 4459788 2692345856 556110 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=12680 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556110 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224440 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.12 4.08 6/266 32202
/proc/meminfo: memFree=121943360/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224576 CPUtime=3585.63 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1816163 0 0 0 358330 233 0 0 20 0 3 0 4459624 2692345856 556144 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556144 3318 3035 0 643391 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=-7452449699976537210 CPUtime=3583.73 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1779697 0 0 0 358154 219 0 0 20 0 3 0 4459788 2692345856 556144 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=4714027033234665119 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556144 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3585.63 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224576 KiB
[startup+3598.2 s]
/proc/loadavg: 4.08 4.12 4.08 6/266 32202
/proc/meminfo: memFree=121943360/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2629244 memory=2224580 CPUtime=3585.82 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1834855 0 0 0 358348 234 0 0 20 0 3 0 4459624 2692345856 556145 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 657311 556145 3318 3035 0 643391 0
[pid=30255/tid=30371] ppid=30247 vsize=2629244 memory=13828 CPUtime=3583.93 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1798394 0 0 0 358172 221 0 0 20 0 3 0 4459788 2692345856 556145 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2629244 memory=11240 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4459792 2692345856 556145 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 2629244 KiB
Current children cumulated memory: 2224580 KiB
[startup+3598.3 s]
/proc/loadavg: 4.08 4.12 4.08 6/266 32202
/proc/meminfo: memFree=121943360/131524600 swapFree=131071996/131071996
[pid=30255] ppid=30247 vsize=2625704 memory=2221040 CPUtime=3585.92 cores=0,2
/proc/30255/stat : 30255 (fscip) S 30247 30255 30194 0 -1 1077936128 1837673 0 0 0 358358 234 0 0 20 0 3 0 4459624 2688720896 555260 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
/proc/30255/statm: 656426 555260 3318 3035 0 642506 0
[pid=30255/tid=30371] ppid=30247 vsize=2625704 memory=2214820 CPUtime=3584.02 cores=0,2
/proc/30255/task/30371/stat : 30371 (fscip) R 30247 30255 30194 0 -1 4194368 1801206 0 0 0 358181 221 0 0 20 0 3 0 4459788 2688720896 555260 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
[pid=30255/tid=30372] ppid=30247 vsize=2625704 memory=12340 CPUtime=0.03 cores=0,2
/proc/30255/task/30372/stat : 30372 (fscip) S 30247 30255 30194 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 4459792 2688720896 555260 134679101440 4194304 16623229 140724342989632 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25403392 140724342998038 140724342998154 140724342998154 140724343005168 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 2625704 KiB
Current children cumulated memory: 2221040 KiB
Child status: 0
Real time (s): 3598.36
CPU time (s): 3585.99
CPU user time (s): 3583.62
CPU system time (s): 2.375
CPU usage (%): 99.6563
Max. virtual memory (cumulated for all children) (KiB): 2629244
Max. memory (cumulated for all children) (KiB): 2228724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.62
system time used= 2.375
maximum resident set size= 2228724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1840149
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= 10445
involuntary context switches= 24639
# summary of solver processes directly reported to runsolver:
# pid: 30255
# total CPU time (s): 3585.99
# total CPU user time (s): 3583.62
# total CPU system time (s): 2.375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40869 second user time and 18.9603 second system time
The end
Begin job on nodeC026 at 2024-07-31 00:29:54
IDJOB=4463934
IDBENCH=147037
IDSOLVER=3092
FILE ID=nodeC026/4463934-1722378594
RUNJOBID= nodeC026-1722378594-30204
SLURM_JOB_ID= 8249849
Free space on /tmp= 890072 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.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-4463934-1722378594/watcher-4463934-1722378594 -o /tmp/evaluation-result-4463934-1722378594/solver-4463934-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30204 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463934-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=1497379858
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3493.716
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3329.007
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3580.151
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.327
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3622.269
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3610.195
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3298.907
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3587.366
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125861844 kB
MemAvailable: 129870100 kB
Buffers: 87344 kB
Cached: 4738692 kB
SwapCached: 0 kB
Active: 257356 kB
Inactive: 4895004 kB
Active(anon): 1392 kB
Inactive(anon): 346288 kB
Active(file): 255964 kB
Inactive(file): 4548716 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113240 kB
Writeback: 20 kB
AnonPages: 326356 kB
Mapped: 88356 kB
Shmem: 21336 kB
KReclaimable: 86796 kB
Slab: 170928 kB
SReclaimable: 86796 kB
SUnreclaim: 84132 kB
KernelStack: 3792 kB
PageTables: 8992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 608504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 204800 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: 205524 kB
DirectMap2M: 16345088 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC026 at 2024-07-31 01:29:53