0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 32149504, getVmSize() = 32149504, SCIPgetMemUsed() = 7349443, SCIPgetMemTotal() = 10231795, SCIPgetMemExternEstim() = 5187808
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.10 c ** Estimated virtualMemUsedAtSolver = 25169920, getVmSize() = 43360256, SCIPgetMemUsed() = 10243273, SCIPgetMemTotal() = 19938585, SCIPgetMemExternEstim() = 5187808
0.09/0.10 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.10 c Original Problem :
0.09/0.10 c Problem name : instance-4463965-1722378594
0.09/0.10 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.10 c Constraints : 4476
0.09/0.10 c Objective sense : minimize
0.09/0.10 c Presolved Problem :
0.09/0.10 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.10 c Constraints : 4476
0.09/0.10 c Constraints : Number
0.09/0.10 c knapsack : 1734
0.09/0.10 c setppc : 840
0.09/0.10 c logicor : 1902
0.09/0.10 c ** Instance transfer method used: 0
0.09/0.11 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.12 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.12 c Nodes Active
0.09/0.12 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.20/0.23 c * 0 0 1 1 34197.0000 - -
5.98/6.03 c 6 6 5 1 34197.0000 17422.0000 96.29%
12.06/12.17 c 12 13 12 1 34197.0000 17422.0000 96.29%
12.06/12.19 c * 12 13 12 1 29977.0000 17422.0000 72.06%
12.16/12.29 c * 12 13 12 1 29542.0000 17422.0000 69.57%
12.56/12.60 c * 13 13 12 1 29178.0000 17422.0000 67.48%
18.14/18.20 c 18 71 62 1 29178.0000 17422.0000 67.48%
23.72/23.84 c 24 158 140 1 29178.0000 17422.0000 67.48%
29.11/29.21 c * 29 233 199 1 28975.0000 17422.0000 66.31%
29.11/29.21 c 29 233 199 1 28975.0000 17422.0000 66.31%
34.09/34.23 c 34 283 249 1 28975.0000 17422.0000 66.31%
39.89/40.05 c 40 334 300 1 28975.0000 17422.0000 66.31%
44.97/45.11 c 45 376 342 1 28975.0000 17422.0000 66.31%
50.75/50.94 c 51 429 395 1 28975.0000 17422.0000 66.31%
54.85/55.00 c * 55 462 428 1 28570.0000 17422.0000 63.99%
56.24/56.41 c 56 484 450 1 28570.0000 17422.0000 63.99%
62.22/62.50 c 62 545 509 1 28570.0000 17422.0000 63.99%
64.42/64.66 c * 65 557 521 1 28383.0000 17422.0000 62.91%
67.50/67.79 c 68 594 558 1 28383.0000 17422.0000 62.91%
73.10/73.35 c 73 668 623 1 28383.0000 17422.0000 62.91%
78.68/78.97 c 79 730 679 1 28383.0000 17422.0000 62.91%
84.37/84.64 c 85 817 760 1 28383.0000 17422.0000 62.91%
90.05/90.32 c 90 904 840 1 28383.0000 17422.0000 62.91%
95.43/95.70 c 96 1011 940 1 28383.0000 17422.0000 62.91%
101.12/101.44 c 101 1104 1017 1 28383.0000 17422.0000 62.91%
106.61/106.98 c 107 1111 3 1 28383.0000 17422.0000 62.91%
111.80/112.14 c 112 1145 37 1 28383.0000 17422.0000 62.91%
117.57/117.97 c 118 1184 76 1 28383.0000 17422.0000 62.91%
123.36/123.72 c 124 1240 132 1 28383.0000 17422.0000 62.91%
128.95/129.35 c 129 1283 175 1 28383.0000 17422.0000 62.91%
133.04/133.45 c * 133 1309 201 1 27749.0000 17440.5968 59.11%
134.14/134.55 c 135 1332 224 1 27749.0000 17440.5968 59.11%
139.63/140.03 c 140 1377 269 1 27749.0000 17443.4297 59.08%
145.31/145.74 c * 146 1428 320 1 27138.0000 17443.4297 55.58%
145.31/145.74 c 146 1428 320 1 27138.0000 17443.4297 55.58%
150.69/151.18 c 151 1491 383 1 27138.0000 17455.1000 55.47%
156.08/156.54 c 157 1545 437 1 27138.0000 17489.2141 55.17%
159.07/159.60 c * 160 1565 457 1 26594.0000 17496.8264 51.99%
161.46/161.90 c 162 1594 484 1 26594.0000 17496.8264 51.99%
167.05/167.57 c 168 1632 522 1 26594.0000 17496.8264 51.99%
172.83/173.38 c 173 1685 573 1 26594.0000 17499.0946 51.97%
178.32/178.82 c 179 1739 627 1 26594.0000 17499.0946 51.97%
184.00/184.53 c 185 1791 677 1 26594.0000 17499.0946 51.97%
189.19/189.70 c 190 1842 728 1 26594.0000 17499.0946 51.97%
194.18/194.72 c 195 1898 784 1 26594.0000 17507.4000 51.90%
199.96/200.59 c 201 1958 844 1 26594.0000 17507.4000 51.90%
205.75/206.31 c 206 2024 910 1 26594.0000 17536.0908 51.65%
211.44/212.05 c 212 2088 974 1 26594.0000 17536.0908 51.65%
216.61/217.24 c 217 2144 1030 1 26594.0000 17549.2059 51.54%
222.01/222.61 c 223 2219 1105 1 26594.0000 17580.9333 51.27%
227.19/227.86 c 228 2307 1193 1 26594.0000 17594.1446 51.15%
232.49/233.17 c 233 2373 1259 1 26594.0000 17601.2117 51.09%
238.07/238.75 c 239 2456 1342 1 26594.0000 17610.1029 51.02%
243.65/244.34 c 244 2537 1423 1 26594.0000 17615.6833 50.97%
248.73/249.48 c 249 2612 1498 1 26594.0000 17624.6778 50.89%
254.02/254.78 c 255 2699 1585 1 26594.0000 17641.8428 50.74%
260.10/260.89 c 261 2766 1652 1 26594.0000 17647.9722 50.69%
265.18/265.99 c 266 2833 1719 1 26594.0000 17647.9722 50.69%
271.17/271.93 c 272 2893 1779 1 26594.0000 17651.7166 50.66%
276.95/277.74 c 278 2977 1863 1 26594.0000 17672.1444 50.49%
282.24/283.00 c 283 3039 1925 1 26594.0000 17677.3571 50.44%
287.62/288.44 c 288 3099 1985 1 26594.0000 17686.0416 50.37%
293.41/294.23 c 294 3177 2063 1 26594.0000 17696.2222 50.28%
299.09/299.95 c 300 3252 2138 1 26594.0000 17705.8355 50.20%
304.37/305.23 c 305 3319 2203 1 26594.0000 17710.5000 50.16%
310.36/311.23 c 311 3407 2291 1 26594.0000 17717.0000 50.10%
315.94/316.88 c 317 3478 2362 1 26594.0000 17717.0000 50.10%
322.02/322.95 c 323 3555 2437 1 26594.0000 17725.7511 50.03%
327.11/328.05 c 328 3637 2519 1 26594.0000 17727.3069 50.02%
332.30/333.22 c 333 3715 2595 1 26594.0000 17727.4370 50.02%
337.49/338.40 c 338 3809 2689 1 26594.0000 17735.0208 49.95%
342.77/343.74 c 344 3899 2779 1 26594.0000 17747.3333 49.85%
348.76/349.73 c 350 4005 2883 1 26594.0000 17757.0577 49.77%
353.94/354.98 c 355 4101 2977 1 26594.0000 17757.0577 49.77%
359.13/360.18 c 360 4185 3061 1 26594.0000 17757.0577 49.77%
364.61/365.60 c 366 4282 3154 1 26594.0000 17757.0577 49.77%
369.70/370.75 c 371 4370 3236 1 26594.0000 17757.0577 49.77%
374.99/376.10 c 376 4446 3310 1 26594.0000 17757.0577 49.77%
380.47/381.52 c 382 4536 3397 1 26594.0000 17757.0577 49.77%
385.97/387.01 c 387 4636 3495 1 26594.0000 17757.0577 49.77%
391.45/392.53 c 393 4722 3581 1 26594.0000 17757.0577 49.77%
396.53/397.68 c 398 4829 3686 1 26594.0000 17757.0577 49.77%
402.12/403.20 c 403 4955 3812 1 26594.0000 17757.0577 49.77%
408.20/409.33 c 409 5101 3944 1 26594.0000 17761.2778 49.73%
413.39/414.54 c 415 5216 4049 1 26594.0000 17761.2778 49.73%
418.58/419.77 c 420 5324 4153 1 26594.0000 17761.2778 49.73%
423.86/425.08 c 425 5406 4229 1 26594.0000 17761.2778 49.73%
429.14/430.31 c 430 5509 4324 1 26594.0000 17770.0064 49.66%
434.62/435.87 c 436 5589 4402 1 26594.0000 17776.0817 49.61%
440.01/441.20 c 441 5695 4504 1 26594.0000 17776.0817 49.61%
445.40/446.60 c 447 5819 4618 1 26594.0000 17776.0817 49.61%
450.49/451.71 c 452 5909 4704 1 26594.0000 17776.0817 49.61%
455.57/456.86 c 457 6026 4811 1 26594.0000 17776.0817 49.61%
460.66/461.96 c 462 6119 4900 1 26594.0000 17779.0477 49.58%
465.94/467.28 c 467 6209 4988 1 26594.0000 17791.6158 49.47%
471.83/473.10 c 473 6313 5090 1 26594.0000 17803.2593 49.38%
476.92/478.26 c 478 6430 5199 1 26594.0000 17803.2593 49.38%
482.10/483.42 c 483 6546 5311 1 26594.0000 17803.2593 49.38%
487.29/488.67 c 489 6641 5404 1 26594.0000 17803.2593 49.38%
492.47/493.85 c 494 6748 5511 1 26594.0000 17803.2593 49.38%
497.66/499.10 c 499 6862 5621 1 26594.0000 17803.2593 49.38%
503.04/504.44 c 504 7004 5755 1 26594.0000 17803.2593 49.38%
508.23/509.69 c 510 7118 5867 1 26594.0000 17803.2593 49.38%
509.03/510.46 c * 510 7118 5867 1 26063.0000 17803.2593 46.39%
513.42/514.89 c 515 7238 5958 1 26063.0000 17803.2593 46.39%
518.61/520.04 c 520 7379 6089 1 26063.0000 17803.2593 46.39%
523.70/525.18 c 525 7509 6207 1 26063.0000 17803.2593 46.39%
529.68/531.15 c 531 7638 6328 1 26063.0000 17803.6470 46.39%
534.76/536.29 c 536 7763 6449 1 26063.0000 17803.6470 46.39%
539.95/541.44 c 541 7900 6581 1 26063.0000 17803.6470 46.39%
545.23/546.78 c 547 8021 6696 1 26063.0000 17803.6470 46.39%
550.82/552.31 c 552 8139 6808 1 26063.0000 17825.8750 46.21%
556.00/557.58 c 558 8229 6896 1 26063.0000 17835.2924 46.13%
561.09/562.63 c 563 8339 7004 1 26063.0000 17852.2606 45.99%
566.28/567.87 c 568 8442 7099 1 26063.0000 17865.3452 45.89%
571.47/573.00 c 573 8534 7187 1 26063.0000 17865.3452 45.89%
576.75/578.31 c 578 8644 7295 1 26063.0000 17865.3452 45.89%
581.94/583.51 c 584 8765 7408 1 26063.0000 17865.3452 45.89%
587.43/589.01 c 589 8912 7536 1 26063.0000 17865.3452 45.89%
592.61/594.21 c 594 9026 7648 1 26063.0000 17865.3452 45.89%
597.80/599.43 c 599 9162 7768 1 26063.0000 17865.3452 45.89%
602.99/604.69 c 605 9280 7876 1 26063.0000 17865.3452 45.89%
608.17/609.87 c 610 9414 8002 1 26063.0000 17865.3452 45.89%
613.36/615.10 c 615 9530 8110 1 26063.0000 17865.3452 45.89%
618.64/620.30 c 620 9629 8209 1 26063.0000 17869.5744 45.85%
624.23/625.99 c 626 9767 8335 1 26063.0000 17871.4855 45.84%
629.32/631.08 c 631 9899 8459 1 26063.0000 17873.3739 45.82%
635.00/636.71 c 637 10003 8557 1 26063.0000 17879.6451 45.77%
640.08/641.81 c 642 10144 8690 1 26063.0000 17879.6451 45.77%
645.18/646.99 c 647 10286 8826 1 26063.0000 17879.6451 45.77%
650.27/652.02 c 652 10369 8907 1 26063.0000 17902.1282 45.59%
655.75/657.51 c 658 10487 9021 1 26063.0000 17910.1231 45.52%
661.13/662.93 c 663 10599 9121 1 26063.0000 17919.7338 45.44%
666.42/668.23 c 668 10689 9211 1 26063.0000 17936.7043 45.31%
671.61/673.40 c 673 10815 9323 1 26063.0000 17936.7043 45.31%
677.20/679.08 c 679 10939 9439 1 26063.0000 17939.2094 45.29%
682.68/684.58 c 685 11039 9537 1 26063.0000 17956.7000 45.14%
687.86/689.72 c 690 11149 9641 1 26063.0000 17972.8066 45.01%
693.35/695.27 c 695 11273 9757 1 26063.0000 17989.7276 44.88%
698.54/700.48 c 700 11413 9889 1 26063.0000 17989.7276 44.88%
703.82/705.73 c 706 11534 10006 1 26063.0000 17989.7276 44.88%
709.01/710.91 c 711 11679 10133 1 26063.0000 17989.7276 44.88%
714.39/716.32 c 716 11826 10267 1 26063.0000 17989.7276 44.88%
719.78/721.79 c 722 11965 10398 1 26063.0000 17990.2268 44.87%
725.07/727.06 c 727 12118 10547 1 26063.0000 17990.2268 44.87%
730.75/732.78 c 733 12256 10679 1 26063.0000 17994.8855 44.84%
735.94/737.93 c 738 12395 10806 1 26063.0000 17994.8855 44.84%
741.32/743.36 c 743 12516 10925 1 26063.0000 17994.8855 44.84%
746.41/748.40 c 748 12629 11030 1 26063.0000 18000.5139 44.79%
751.40/753.47 c 753 12719 11118 1 26063.0000 18015.9286 44.67%
756.59/758.61 c 759 12819 11218 1 26063.0000 18027.0389 44.58%
761.78/763.88 c 764 12909 11304 1 26063.0000 18041.3034 44.46%
767.66/769.77 c 770 13039 11426 1 26063.0000 18041.9053 44.46%
772.85/774.96 c 775 13162 11537 1 26063.0000 18044.9712 44.43%
778.03/780.11 c 780 13303 11653 1 26063.0000 18044.9712 44.43%
783.11/785.26 c 785 13447 11786 1 26063.0000 18044.9712 44.43%
788.30/790.47 c 790 13564 11882 1 26063.0000 18044.9712 44.43%
793.48/795.69 c 796 13711 12021 1 26063.0000 18044.9712 44.43%
798.77/800.98 c 801 13819 12121 1 26063.0000 18053.5009 44.37%
804.06/806.20 c 806 13935 12235 1 26063.0000 18060.1706 44.31%
809.15/811.30 c 811 14094 12378 1 26063.0000 18060.1706 44.31%
814.14/816.32 c 816 14229 12501 1 26063.0000 18066.0000 44.27%
819.52/821.71 c 822 14377 12631 1 26063.0000 18069.3722 44.24%
824.91/827.18 c 827 14479 12725 1 26063.0000 18082.3651 44.13%
830.09/832.30 c 832 14589 12825 1 26063.0000 18095.2903 44.03%
835.08/837.39 c 837 14679 12913 1 26063.0000 18104.9998 43.95%
840.47/842.77 c 843 14799 13031 1 26063.0000 18118.3594 43.85%
846.15/848.40 c 848 14947 13169 1 26063.0000 18125.9974 43.79%
851.24/853.51 c 854 15109 13303 1 26063.0000 18125.9974 43.79%
857.02/859.30 c 859 15271 13444 1 26063.0000 18131.9490 43.74%
862.21/864.51 c 865 15429 13566 1 26063.0000 18142.0149 43.66%
867.59/869.99 c 870 15539 13676 1 26063.0000 18159.5054 43.52%
872.88/875.21 c 875 15671 13799 1 26063.0000 18159.5054 43.52%
877.97/880.30 c 880 15822 13940 1 26063.0000 18159.5054 43.52%
883.16/885.54 c 886 15970 14068 1 26063.0000 18159.5054 43.52%
888.25/890.65 c 891 16103 14187 1 26063.0000 18159.5054 43.52%
893.43/895.86 c 896 16246 14318 1 26063.0000 18161.5037 43.51%
898.52/900.91 c 901 16399 14453 1 26063.0000 18165.2315 43.48%
903.51/905.99 c 906 16499 14551 1 26063.0000 18176.0363 43.39%
909.09/911.57 c 912 16638 14672 1 26063.0000 18178.2308 43.37%
914.58/917.08 c 917 16751 14775 1 26063.0000 18181.7878 43.35%
919.86/922.37 c 922 16894 14900 1 26063.0000 18181.7878 43.35%
925.55/928.09 c 928 17054 15038 1 26063.0000 18183.5698 43.33%
931.13/933.60 c 934 17199 15177 1 26063.0000 18195.9538 43.24%
936.22/938.76 c 939 17328 15290 1 26063.0000 18195.9538 43.24%
941.31/943.85 c 944 17459 15405 1 26063.0000 18197.8779 43.22%
946.40/948.91 c 949 17599 15523 1 26063.0000 18205.1234 43.16%
952.08/954.61 c 955 17723 15639 1 26063.0000 18208.6239 43.14%
957.57/960.17 c 960 17873 15773 1 26063.0000 18208.6239 43.14%
963.05/965.66 c 966 17999 15891 1 26063.0000 18221.0000 43.04%
968.34/970.97 c 971 18123 15997 1 26063.0000 18221.0000 43.04%
974.02/976.68 c 977 18277 16132 1 26063.0000 18223.9769 43.01%
979.11/981.73 c 982 18378 16229 1 26063.0000 18226.6667 42.99%
984.19/986.84 c 987 18509 16348 1 26063.0000 18227.4494 42.99%
989.38/992.04 c 992 18649 16474 1 26063.0000 18229.4761 42.97%
994.57/997.25 c 997 18760 16577 1 26063.0000 18232.4164 42.95%
999.96/1002.60 c 1003 18889 16688 1 26063.0000 18234.4875 42.93%
1005.14/1007.82 c 1008 18989 16784 1 26063.0000 18242.3614 42.87%
1010.73/1013.48 c 1013 19115 16904 1 26063.0000 18251.2592 42.80%
1015.91/1018.61 c 1019 19279 17056 1 26063.0000 18251.2592 42.80%
1021.01/1023.74 c 1024 19438 17191 1 26063.0000 18251.2592 42.80%
1026.19/1028.93 c 1029 19574 17315 1 26063.0000 18251.2592 42.80%
1031.28/1034.02 c 1034 19721 17448 1 26063.0000 18251.2592 42.80%
1036.56/1039.39 c 1039 19839 17554 1 26063.0000 18257.4919 42.75%
1042.05/1044.87 c 1045 19969 17680 1 26063.0000 18261.6145 42.72%
1047.73/1050.59 c 1051 20101 17796 1 26063.0000 18263.8660 42.70%
1053.02/1055.88 c 1056 20239 17921 1 26063.0000 18267.2851 42.68%
1058.81/1061.67 c 1062 20402 18054 1 26063.0000 18269.1831 42.66%
1064.09/1066.90 c 1067 20559 18199 1 26063.0000 18270.0380 42.65%
1069.28/1072.16 c 1072 20698 18316 1 26063.0000 18271.8955 42.64%
1074.66/1077.52 c 1078 20835 18449 1 26063.0000 18276.1732 42.61%
1080.35/1083.21 c 1083 21009 18587 1 26063.0000 18278.1857 42.59%
1085.43/1088.32 c 1088 21129 18703 1 26063.0000 18284.1621 42.54%
1090.93/1093.86 c 1094 21259 18823 1 26063.0000 18293.5000 42.47%
1096.61/1099.51 c 1100 21419 18965 1 26063.0000 18295.3082 42.46%
1102.40/1105.30 c 1105 21562 19092 1 26063.0000 18297.6308 42.44%
1107.58/1110.59 c 1111 21699 19219 1 26063.0000 18297.6308 42.44%
1112.77/1115.72 c 1116 21809 19317 1 26063.0000 18302.8479 42.40%
1118.65/1121.65 c 1122 21932 19430 1 26063.0000 18309.1667 42.35%
1123.93/1126.95 c 1127 22069 19549 1 26063.0000 18313.6883 42.31%
1129.42/1132.45 c 1132 22189 19667 1 26063.0000 18320.2340 42.26%
1135.21/1138.21 c 1138 22376 19818 1 26063.0000 18320.3197 42.26%
1140.50/1143.51 c 1144 22532 19954 1 26063.0000 18321.3083 42.26%
1145.48/1148.56 c * 1149 22663 20067 1 25978.0000 18324.4904 41.77%
1145.48/1148.56 c 1149 22663 20067 1 25978.0000 18324.4904 41.77%
1145.48/1148.58 c * 1149 22663 20067 1 25821.0000 18324.4904 40.91%
1150.77/1153.86 c 1154 22829 20065 1 25821.0000 18326.5266 40.89%
1156.26/1159.34 c 1159 22991 20193 1 25821.0000 18329.1222 40.87%
1161.64/1164.71 c 1165 23139 20329 1 25821.0000 18330.6511 40.86%
1166.73/1169.86 c 1170 23295 20473 1 25821.0000 18330.6511 40.86%
1172.01/1175.13 c 1175 23477 20633 1 25821.0000 18330.6511 40.86%
1177.79/1180.95 c 1181 23654 20780 1 25821.0000 18333.8465 40.84%
1183.68/1186.88 c 1187 23838 20932 1 25821.0000 18334.0000 40.84%
1188.87/1192.03 c 1192 23949 21033 1 25821.0000 18336.2303 40.82%
1194.46/1197.69 c 1198 24078 21140 1 25821.0000 18336.4708 40.82%
1200.14/1203.39 c 1203 24214 21255 1 25821.0000 18339.6424 40.79%
1205.43/1208.66 c 1209 24352 21373 1 25821.0000 18340.5231 40.79%
1210.51/1213.77 c 1214 24499 21492 1 25821.0000 18341.8168 40.78%
1215.60/1218.88 c 1219 24629 21608 1 25821.0000 18344.5000 40.76%
1221.39/1224.64 c 1225 24764 21731 1 25821.0000 18345.3651 40.75%
1226.97/1230.22 c 1230 24947 21872 1 25821.0000 18346.5741 40.74%
1232.26/1235.53 c 1236 25109 22008 1 25821.0000 18349.1896 40.72%
1237.24/1240.59 c 1241 25229 22118 1 25821.0000 18357.8141 40.65%
1242.43/1245.75 c 1246 25379 22252 1 25821.0000 18362.3326 40.62%
1248.02/1251.30 c 1251 25511 22376 1 25821.0000 18362.6201 40.62%
1253.11/1256.44 c 1256 25685 22532 1 25821.0000 18362.6201 40.62%
1258.89/1262.24 c 1262 25878 22683 1 25821.0000 18362.6556 40.62%
1263.97/1267.36 c 1267 26027 22804 1 25821.0000 18362.6556 40.62%
1269.46/1272.80 c 1273 26172 22935 1 25821.0000 18362.6556 40.62%
1273.46/1276.89 c * 1277 26309 23040 1 25629.0000 18362.7592 39.57%
1275.35/1278.75 c 1279 26373 22941 1 25629.0000 18362.7592 39.57%
1280.84/1284.26 c 1284 26540 23078 1 25629.0000 18363.6783 39.56%
1286.62/1290.02 c 1290 26679 23189 1 25629.0000 18366.0680 39.55%
1291.71/1295.15 c 1295 26819 23314 1 25629.0000 18366.8474 39.54%
1296.99/1300.48 c 1300 26985 23450 1 25629.0000 18367.4212 39.54%
1302.08/1305.60 c 1306 27114 23565 1 25629.0000 18369.5333 39.52%
1307.17/1310.65 c 1311 27249 23686 1 25629.0000 18371.8051 39.50%
1312.16/1315.68 c 1316 27379 23782 1 25629.0000 18375.9296 39.47%
1317.65/1321.15 c 1321 27538 23923 1 25629.0000 18379.2214 39.45%
1322.63/1326.16 c 1326 27679 24042 1 25629.0000 18380.0218 39.44%
1327.71/1331.28 c 1331 27799 24156 1 25629.0000 18383.9836 39.41%
1332.91/1336.43 c 1336 27969 24298 1 25629.0000 18384.8351 39.40%
1338.60/1342.18 c 1342 28103 24424 1 25629.0000 18387.5934 39.38%
1344.48/1348.08 c 1348 28274 24567 1 25629.0000 18389.6667 39.37%
1347.16/1350.71 c * 1351 28328 24605 1 25451.0000 18389.6667 38.40%
1349.65/1353.25 c 1353 28437 24506 1 25451.0000 18389.6667 38.40%
1355.34/1358.95 c 1359 28599 24634 1 25451.0000 18392.1310 38.38%
1360.53/1364.16 c 1364 28727 24748 1 25451.0000 18393.5621 38.37%
1365.62/1369.27 c 1369 28871 24882 1 25451.0000 18393.5621 38.37%
1370.81/1374.42 c 1374 29027 25024 1 25451.0000 18393.5621 38.37%
1375.80/1379.48 c 1379 29167 25142 1 25451.0000 18393.8154 38.37%
1381.58/1385.28 c 1385 29303 25250 1 25451.0000 18394.5036 38.36%
1387.17/1390.89 c 1391 29461 25386 1 25451.0000 18396.3512 38.35%
1392.35/1396.01 c 1396 29635 25524 1 25451.0000 18396.3512 38.35%
1397.44/1401.11 c 1401 29825 25671 1 25451.0000 18396.3512 38.35%
1402.92/1406.60 c 1407 30001 25811 1 25451.0000 18397.5784 38.34%
1408.80/1412.54 c 1413 30185 25967 1 25451.0000 18397.8017 38.34%
1413.90/1417.60 c 1418 30319 26089 1 25451.0000 18401.4670 38.31%
1418.98/1422.75 c 1423 30409 26179 1 25451.0000 18405.5770 38.28%
1424.07/1427.85 c 1428 30556 26304 1 25451.0000 18408.2477 38.26%
1429.26/1433.01 c 1433 30696 26422 1 25451.0000 18408.2477 38.26%
1434.64/1438.47 c 1438 30873 26551 1 25451.0000 18408.4252 38.26%
1439.92/1443.78 c 1444 31046 26680 1 25451.0000 18408.4252 38.26%
1445.91/1449.70 c 1450 31229 26817 1 25451.0000 18409.0035 38.25%
1450.89/1454.75 c 1455 31379 26951 1 25451.0000 18409.0880 38.25%
1456.19/1460.03 c 1460 31559 27091 1 25451.0000 18409.3539 38.25%
1461.87/1465.73 c 1466 31701 27217 1 25451.0000 18412.2851 38.23%
1467.56/1471.41 c 1471 31872 27354 1 25451.0000 18413.0775 38.22%
1472.94/1476.82 c 1477 32057 27479 1 25451.0000 18414.0424 38.22%
1478.72/1482.64 c 1483 32199 27593 1 25451.0000 18416.7284 38.20%
1483.81/1487.77 c 1488 32349 27717 1 25451.0000 18417.2030 38.19%
1489.60/1493.51 c 1494 32529 27845 1 25451.0000 18418.1280 38.18%
1495.48/1499.43 c 1499 32688 27968 1 25451.0000 18418.9754 38.18%
1500.57/1504.59 c 1505 32823 28079 1 25451.0000 18418.9754 38.18%
1505.95/1509.98 c 1510 32999 28211 1 25451.0000 18420.0653 38.17%
1511.64/1515.61 c 1516 33179 28358 1 25451.0000 18421.4730 38.16%
1517.62/1521.63 c 1522 33344 28493 1 25451.0000 18422.3003 38.15%
1522.62/1526.65 c 1527 33489 28614 1 25451.0000 18424.0322 38.14%
1528.50/1532.55 c 1533 33666 28737 1 25451.0000 18424.5313 38.14%
1534.09/1538.16 c 1538 33839 28864 1 25451.0000 18425.0577 38.13%
1539.17/1543.20 c 1543 33988 28989 1 25451.0000 18426.3243 38.12%
1544.85/1548.99 c 1549 34210 29143 1 25451.0000 18426.6231 38.12%
1550.54/1554.62 c 1555 34374 29285 1 25451.0000 18429.8394 38.10%
1556.23/1560.38 c 1560 34590 29431 1 25451.0000 18431.0685 38.09%
1562.11/1566.25 c 1566 34846 29595 1 25451.0000 18431.5993 38.08%
1567.79/1571.94 c 1572 35039 29734 1 25451.0000 18432.7621 38.07%
1572.78/1576.95 c 1577 35173 29850 1 25451.0000 18433.3136 38.07%
1577.87/1582.08 c 1582 35352 29981 1 25451.0000 18433.7934 38.07%
1583.15/1587.37 c 1587 35529 30120 1 25451.0000 18435.5853 38.05%
1588.74/1592.91 c 1593 35705 30260 1 25451.0000 18438.6581 38.03%
1594.02/1598.27 c 1598 35867 30412 1 25451.0000 18439.2287 38.03%
1599.61/1603.85 c 1604 36062 30549 1 25451.0000 18440.3652 38.02%
1604.90/1609.16 c 1609 36245 30690 1 25451.0000 18442.0352 38.01%
1610.18/1614.47 c 1614 36534 30844 1 25451.0000 18442.2169 38.00%
1615.57/1619.83 c 1620 36727 30974 1 25451.0000 18443.4167 38.00%
1620.66/1624.98 c 1625 36917 31128 1 25451.0000 18444.3182 37.99%
1625.75/1630.09 c 1630 37081 31250 1 25451.0000 18445.5422 37.98%
1631.53/1635.85 c 1636 37291 31404 1 25451.0000 18446.0089 37.98%
1636.61/1640.99 c 1641 37479 31520 1 25451.0000 18446.5723 37.97%
1642.30/1646.63 c 1647 37636 31641 1 25451.0000 18446.6210 37.97%
1648.19/1652.53 c 1653 37853 31797 1 25451.0000 18447.9872 37.96%
1653.37/1657.79 c 1658 38025 31931 1 25451.0000 18448.1324 37.96%
1658.95/1663.30 c 1663 38193 32048 1 25451.0000 18448.4097 37.96%
1664.55/1668.97 c 1669 38384 32177 1 25451.0000 18449.8318 37.95%
1669.93/1674.36 c 1674 38604 32297 1 25451.0000 18450.0137 37.95%
1675.91/1680.35 c 1680 38847 32443 1 25451.0000 18450.7383 37.94%
1681.10/1685.54 c 1686 39019 32571 1 25451.0000 18451.0312 37.94%
1686.58/1691.02 c 1691 39189 32701 1 25451.0000 18451.6843 37.93%
1691.57/1696.09 c 1696 39369 32797 1 25451.0000 18453.5402 37.92%
1697.45/1701.98 c 1702 39575 32947 1 25451.0000 18453.8204 37.92%
1702.65/1707.11 c 1707 39782 33080 1 25451.0000 18454.1491 37.91%
1708.32/1712.86 c 1713 40004 33238 1 25451.0000 18454.4607 37.91%
1713.91/1718.45 c 1718 40203 33383 1 25451.0000 18454.8091 37.91%
1718.90/1723.49 c 1723 40379 33501 1 25451.0000 18456.1333 37.90%
1724.48/1729.04 c 1729 40549 33616 1 25451.0000 18456.2969 37.90%
1730.26/1734.84 c 1735 40799 33777 1 25451.0000 18456.4834 37.90%
1736.15/1740.79 c 1741 41019 33949 1 25451.0000 18457.2433 37.89%
1741.23/1745.84 c 1746 41236 34091 1 25451.0000 18457.5976 37.89%
1746.63/1751.22 c 1751 41489 34240 1 25451.0000 18458.1120 37.89%
1751.91/1756.58 c 1757 41699 34384 1 25451.0000 18460.3179 37.87%
1757.90/1762.56 c 1763 41919 34544 1 25451.0000 18461.8910 37.86%
1763.88/1768.59 c 1769 42137 34701 1 25451.0000 18462.6504 37.85%
1769.96/1774.64 c 1775 42355 34846 1 25451.0000 18463.3250 37.85%
1775.85/1780.59 c 1781 42528 34955 1 25451.0000 18464.4220 37.84%
1781.83/1786.53 c 1787 42710 35081 1 25451.0000 18465.6794 37.83%
1787.42/1792.16 c 1792 42844 35203 1 25451.0000 18467.3452 37.82%
1792.80/1797.53 c 1798 43074 35357 1 25451.0000 18467.8875 37.81%
1798.49/1803.22 c 1803 43289 35488 1 25451.0000 18469.7412 37.80%
1804.38/1809.13 c 1809 43510 35631 1 25451.0000 18470.8413 37.79%
1810.06/1814.81 c 1815 43689 35772 1 25451.0000 18472.0004 37.78%
1816.04/1820.80 c 1821 43878 35925 1 25451.0000 18472.4722 37.78%
1821.33/1826.19 c 1826 44083 36050 1 25451.0000 18472.7343 37.78%
1826.71/1831.57 c 1832 44279 36200 1 25451.0000 18474.3184 37.76%
1832.20/1837.06 c 1837 44462 36343 1 25451.0000 18474.7571 37.76%
1837.28/1842.18 c 1842 44689 36486 1 25451.0000 18475.5723 37.75%
1842.66/1847.54 c 1848 44881 36614 1 25451.0000 18476.3785 37.75%
1848.45/1853.34 c 1853 45115 36772 1 25451.0000 18476.9873 37.74%
1853.73/1858.68 c 1859 45310 36911 1 25451.0000 18477.8656 37.74%
1859.63/1864.55 c 1865 45531 37035 1 25451.0000 18478.3055 37.73%
1865.51/1870.46 c 1870 45764 37184 1 25451.0000 18480.3716 37.72%
1871.10/1876.02 c 1876 45957 37300 1 25451.0000 18481.1760 37.71%
1876.88/1881.88 c 1882 46144 37431 1 25451.0000 18481.5983 37.71%
1882.76/1887.73 c 1888 46349 37574 1 25451.0000 18481.9000 37.71%
1888.85/1893.83 c 1894 46566 37725 1 25451.0000 18482.7485 37.70%
1894.43/1899.47 c 1899 46729 37854 1 25451.0000 18483.3092 37.70%
1899.92/1904.99 c 1905 46927 37982 1 25451.0000 18483.9697 37.69%
1905.20/1910.21 c 1910 47118 38095 1 25451.0000 18485.0532 37.68%
1910.39/1915.45 c 1915 47282 38237 1 25451.0000 18485.8333 37.68%
1915.48/1920.53 c 1921 47400 38337 1 25451.0000 18486.0973 37.68%
1920.56/1925.62 c 1926 47572 38455 1 25451.0000 18486.0973 37.68%
1925.66/1930.76 c 1931 47753 38582 1 25451.0000 18486.9456 37.67%
1931.44/1936.55 c 1937 47959 38737 1 25451.0000 18487.8249 37.66%
1936.93/1942.03 c 1942 48149 38876 1 25451.0000 18489.2500 37.65%
1942.51/1947.61 c 1948 48339 38986 1 25451.0000 18489.9228 37.65%
1948.10/1953.23 c 1953 48562 39140 1 25451.0000 18490.8944 37.64%
1953.89/1959.02 c 1959 48794 39270 1 25451.0000 18491.6170 37.64%
1959.17/1964.30 c 1964 49009 39403 1 25451.0000 18494.5467 37.61%
1964.86/1970.05 c 1970 49173 39535 1 25451.0000 18496.0562 37.60%
1970.74/1975.95 c 1976 49396 39699 1 25451.0000 18496.7956 37.60%
1976.53/1981.78 c 1982 49607 39848 1 25451.0000 18497.3458 37.59%
1981.71/1986.91 c 1987 49764 39969 1 25451.0000 18498.6408 37.58%
1987.30/1992.51 c 1993 49969 40114 1 25451.0000 18501.6033 37.56%
1992.98/1998.26 c 1998 50200 40237 1 25451.0000 18502.0190 37.56%
1998.37/2003.66 c 2004 50408 40364 1 25451.0000 18502.5333 37.55%
2003.95/2009.25 c 2009 50644 40511 1 25451.0000 18503.4476 37.55%
2009.14/2014.49 c 2014 50853 40643 1 25451.0000 18504.5158 37.54%
2014.42/2019.71 c 2020 51069 40791 1 25451.0000 18504.7582 37.54%
2019.51/2024.82 c 2025 51215 40899 1 25451.0000 18504.9330 37.54%
2024.71/2030.02 c 2030 51399 41037 1 25451.0000 18508.1517 37.51%
2030.28/2035.63 c 2036 51642 41186 1 25451.0000 18509.4480 37.50%
2035.57/2040.94 c 2041 51819 41321 1 25451.0000 18509.8451 37.50%
2040.77/2046.14 c 2046 52020 41475 1 25451.0000 18511.2989 37.49%
2046.15/2051.59 c 2052 52260 41595 1 25451.0000 18511.6072 37.49%
2052.03/2057.48 c 2057 52429 41748 1 25451.0000 18513.3199 37.47%
2058.12/2063.50 c 2064 52612 41878 1 25451.0000 18514.0104 37.47%
2063.30/2068.79 c 2069 52770 41992 1 25451.0000 18514.4339 37.47%
2068.39/2073.82 c 2074 52966 42120 1 25451.0000 18515.6494 37.46%
2073.97/2079.43 c 2079 53113 42245 1 25451.0000 18517.2863 37.44%
2079.05/2084.58 c 2085 53309 42375 1 25451.0000 18518.2638 37.44%
2084.84/2090.38 c 2090 53511 42527 1 25451.0000 18518.4959 37.44%
2090.03/2095.54 c 2096 53673 42657 1 25451.0000 18519.0339 37.43%
2095.01/2100.58 c 2101 53897 42764 1 25451.0000 18519.3387 37.43%
2100.21/2105.73 c 2106 54085 42908 1 25451.0000 18519.4516 37.43%
2105.79/2111.36 c 2111 54255 43052 1 25451.0000 18520.2605 37.42%
2111.48/2117.02 c 2117 54479 43156 1 25451.0000 18522.5615 37.41%
2116.76/2122.39 c 2122 54626 43248 1 25451.0000 18522.8497 37.40%
2122.45/2128.03 c 2128 54818 43382 1 25451.0000 18523.3764 37.40%
2128.03/2133.62 c 2134 55073 43517 1 25451.0000 18524.2778 37.39%
2133.12/2138.72 c 2139 55257 43657 1 25451.0000 18525.2760 37.39%
2138.91/2144.53 c 2145 55499 43803 1 25451.0000 18525.5746 37.38%
2143.89/2149.54 c 2150 55698 43924 1 25451.0000 18526.3038 37.38%
2149.58/2155.27 c 2155 55891 44047 1 25451.0000 18527.7300 37.37%
2155.47/2161.12 c 2161 56111 44213 1 25451.0000 18528.4074 37.36%
2161.35/2167.07 c 2167 56332 44362 1 25451.0000 18528.5105 37.36%
2166.73/2172.40 c 2172 56555 44493 1 25451.0000 18528.8786 37.36%
2172.22/2177.90 c 2178 56799 44657 1 25451.0000 18529.0529 37.36%
2178.10/2183.89 c 2184 57038 44790 1 25451.0000 18530.0004 37.35%
2183.69/2189.40 c 2189 57278 44942 1 25451.0000 18530.2687 37.35%
2188.97/2194.76 c 2195 57469 45093 1 25451.0000 18532.4463 37.33%
2194.85/2200.62 c 2201 57669 45247 1 25451.0000 18533.1372 37.33%
2200.04/2205.84 c 2206 57799 45347 1 25451.0000 18533.6657 37.32%
2205.03/2210.88 c 2211 57978 45486 1 25451.0000 18534.4394 37.32%
2210.91/2216.79 c 2217 58187 45655 1 25451.0000 18535.5891 37.31%
2216.20/2222.09 c 2222 58403 45781 1 25451.0000 18535.5891 37.31%
2221.98/2227.87 c 2228 58684 45960 1 25451.0000 18535.6430 37.31%
2227.37/2233.25 c 2233 58899 46089 1 25451.0000 18538.2007 37.29%
2232.75/2238.68 c 2239 59129 46201 1 25451.0000 18538.4575 37.29%
2238.24/2244.11 c 2244 59317 46327 1 25451.0000 18539.5819 37.28%
2243.23/2249.16 c 2249 59539 46467 1 25451.0000 18541.0909 37.27%
2249.01/2254.90 c 2255 59732 46594 1 25451.0000 18542.2607 37.26%
2254.20/2260.12 c 2260 59929 46737 1 25451.0000 18543.4980 37.25%
2260.19/2266.13 c 2266 60127 46875 1 25451.0000 18543.6994 37.25%
2265.28/2271.21 c 2271 60319 47015 1 25451.0000 18544.0389 37.25%
2270.86/2276.85 c 2277 60494 47150 1 25451.0000 18545.2747 37.24%
2276.25/2282.23 c 2282 60645 47265 1 25451.0000 18546.5207 37.23%
2281.73/2287.76 c 2288 60834 47419 1 25451.0000 18547.2982 37.22%
2286.82/2292.87 c 2293 61025 47546 1 25451.0000 18548.4240 37.21%
2292.60/2298.62 c 2299 61225 47674 1 25451.0000 18549.3527 37.21%
2297.89/2303.99 c 2304 61404 47809 1 25451.0000 18550.4174 37.20%
2303.27/2309.32 c 2309 61577 47924 1 25451.0000 18550.4602 37.20%
2308.66/2314.77 c 2315 61779 48044 1 25451.0000 18551.4550 37.19%
2314.14/2320.29 c 2320 61954 48167 1 25451.0000 18551.7179 37.19%
2319.62/2325.75 c 2326 62124 48289 1 25451.0000 18551.8580 37.19%
2324.92/2331.08 c 2331 62283 48410 1 25451.0000 18551.9389 37.19%
2330.50/2336.61 c 2337 62462 48545 1 25451.0000 18551.9689 37.19%
2335.99/2342.14 c 2342 62709 48696 1 25451.0000 18553.1400 37.18%
2341.77/2347.93 c 2348 62960 48829 1 25451.0000 18554.3125 37.17%
2345.96/2352.16 c * 2352 63139 48930 1 25362.0000 18556.6120 36.67%
2346.06/2352.21 c * 2352 63139 48930 1 24576.0000 18556.6120 32.44%
2347.46/2353.62 c 2354 63226 44303 1 24576.0000 18556.6120 32.44%
2352.85/2359.00 c 2359 63416 44421 1 24576.0000 18557.4061 32.43%
2358.72/2364.96 c 2365 63646 44561 1 24576.0000 18557.6129 32.43%
2364.21/2370.47 c 2370 63869 44660 1 24576.0000 18559.9296 32.41%
2370.10/2376.34 c 2376 64112 44775 1 24576.0000 18560.6812 32.41%
2375.58/2381.84 c 2382 64261 44890 1 24576.0000 18562.2811 32.40%
2380.67/2386.90 c 2387 64449 44994 1 24576.0000 18562.6114 32.40%
2386.35/2392.67 c 2393 64663 45130 1 24576.0000 18563.0714 32.39%
2392.34/2398.61 c 2399 64905 45252 1 24576.0000 18563.2053 32.39%
2398.22/2404.56 c 2405 65052 45367 1 24576.0000 18563.8922 32.39%
2403.81/2410.12 c 2410 65260 45503 1 24576.0000 18565.5486 32.37%
2409.19/2415.55 c 2416 65464 45641 1 24576.0000 18565.9605 32.37%
2414.58/2420.98 c 2421 65647 45776 1 24576.0000 18567.4174 32.36%
2419.96/2426.31 c 2426 65865 45886 1 24576.0000 18568.9236 32.35%
2424.95/2431.37 c 2431 66049 46002 1 24576.0000 18571.3702 32.33%
2430.23/2436.69 c 2437 66249 46132 1 24576.0000 18572.7213 32.32%
2436.12/2442.52 c 2443 66458 46273 1 24576.0000 18573.7437 32.32%
2442.10/2448.51 c 2449 66725 46420 1 24576.0000 18575.3565 32.30%
2447.40/2453.81 c 2454 66923 46548 1 24576.0000 18575.4631 32.30%
2453.18/2459.65 c 2460 67119 46680 1 24576.0000 18577.1440 32.29%
2459.06/2465.59 c 2466 67352 46823 1 24576.0000 18578.3334 32.28%
2465.05/2471.52 c 2472 67660 46955 1 24576.0000 18580.0729 32.27%
2470.23/2476.72 c 2477 67919 47052 1 24576.0000 18581.3618 32.26%
2475.52/2482.02 c 2482 68149 47190 1 24576.0000 18583.0137 32.25%
2480.90/2487.40 c 2487 68319 47324 1 24576.0000 18584.2344 32.24%
2485.99/2492.59 c 2493 68509 47444 1 24576.0000 18585.3000 32.23%
2491.18/2497.70 c 2498 68719 47561 1 24576.0000 18585.9270 32.23%
2496.36/2502.97 c 2503 68919 47664 1 24576.0000 18586.9406 32.22%
2501.95/2508.52 c 2509 69108 47801 1 24576.0000 18587.1111 32.22%
2507.54/2514.10 c 2514 69317 47934 1 24576.0000 18587.5086 32.22%
2512.52/2519.15 c 2519 69552 48066 1 24576.0000 18587.9504 32.21%
2517.60/2524.27 c 2524 69795 48203 1 24576.0000 18588.8863 32.21%
2523.19/2529.89 c 2530 70053 48315 1 24576.0000 18589.3999 32.20%
2528.78/2535.44 c 2535 70277 48425 1 24576.0000 18589.5914 32.20%
2534.37/2541.08 c 2541 70591 48534 1 24576.0000 18590.2272 32.20%
2539.55/2546.29 c 2546 70839 48657 1 24576.0000 18591.8120 32.19%
2544.93/2551.63 c 2552 71057 48776 1 24576.0000 18592.4234 32.18%
2550.02/2556.75 c 2557 71239 48898 1 24576.0000 18592.8000 32.18%
2556.01/2562.75 c 2563 71470 49000 1 24576.0000 18594.2752 32.17%
2561.19/2567.95 c 2568 71659 49136 1 24576.0000 18594.6125 32.17%
2566.78/2573.55 c 2574 71866 49257 1 24576.0000 18594.8613 32.17%
2572.27/2579.05 c 2579 72071 49370 1 24576.0000 18595.5152 32.16%
2578.15/2584.99 c 2585 72328 49534 1 24576.0000 18597.8958 32.14%
2584.03/2590.86 c 2591 72568 49664 1 24576.0000 18599.0313 32.14%
2589.81/2596.61 c 2597 72806 49794 1 24576.0000 18600.4711 32.13%
2595.11/2601.97 c 2602 73009 49901 1 24576.0000 18600.8571 32.12%
2600.30/2607.19 c 2607 73229 50043 1 24576.0000 18601.3929 32.12%
2605.88/2612.74 c 2613 73457 50163 1 24576.0000 18602.1291 32.11%
2610.97/2617.89 c 2618 73684 50276 1 24576.0000 18602.1291 32.11%
2616.75/2623.66 c 2624 73965 50389 1 24576.0000 18602.4575 32.11%
2622.54/2629.45 c 2629 74211 50529 1 24576.0000 18602.7006 32.11%
2628.23/2635.16 c 2635 74494 50660 1 24576.0000 18603.0474 32.11%
2633.50/2640.40 c 2640 74749 50791 1 24576.0000 18603.3953 32.10%
2638.99/2645.92 c 2646 74929 50901 1 24576.0000 18604.0952 32.10%
2643.97/2650.97 c 2651 75161 51009 1 24576.0000 18604.0952 32.10%
2650.07/2657.00 c 2657 75402 51140 1 24576.0000 18604.6970 32.10%
2655.85/2662.80 c 2663 75597 51261 1 24576.0000 18605.0502 32.09%
2661.14/2668.16 c 2668 75803 51354 1 24576.0000 18605.4842 32.09%
2666.42/2673.42 c 2673 76039 51456 1 24576.0000 18606.9028 32.08%
2672.01/2679.06 c 2679 76232 51585 1 24576.0000 18607.1091 32.08%
2677.79/2684.89 c 2685 76479 51694 1 24576.0000 18607.8921 32.07%
2683.08/2690.11 c 2690 76751 51800 1 24576.0000 18608.1068 32.07%
2688.17/2695.27 c 2695 76965 51918 1 24576.0000 18608.2920 32.07%
2694.15/2701.21 c 2701 77153 52036 1 24576.0000 18609.5426 32.06%
2699.13/2706.29 c 2706 77359 52150 1 24576.0000 18610.8091 32.05%
2705.12/2712.25 c 2712 77608 52270 1 24576.0000 18612.0909 32.04%
2710.10/2717.28 c 2717 77789 52377 1 24576.0000 18612.3321 32.04%
2715.19/2722.31 c 2722 77968 52470 1 24576.0000 18612.8217 32.04%
2720.37/2727.54 c 2728 78199 52606 1 24576.0000 18614.1060 32.03%
2725.76/2732.91 c 2733 78398 52746 1 24576.0000 18614.3216 32.03%
2731.45/2738.64 c 2739 78650 52874 1 24576.0000 18614.7967 32.02%
2737.14/2744.33 c 2744 78898 53000 1 24576.0000 18615.1671 32.02%
2742.82/2750.01 c 2750 79116 53112 1 24576.0000 18616.1237 32.01%
2748.30/2755.50 c 2756 79329 53197 1 24576.0000 18618.2463 32.00%
2754.29/2761.51 c 2762 79619 53309 1 24576.0000 18619.4671 31.99%
2759.67/2766.98 c 2767 79779 53397 1 24576.0000 18619.8263 31.99%
2765.06/2772.34 c 2772 80023 53539 1 24576.0000 18620.2161 31.99%
2770.55/2777.88 c 2778 80227 53643 1 24576.0000 18620.4832 31.98%
2775.54/2782.89 c 2783 80433 53753 1 24576.0000 18621.1091 31.98%
2781.02/2788.38 c 2788 80625 53849 1 24576.0000 18623.3938 31.96%
2786.21/2793.53 c 2794 80815 53971 1 24576.0000 18624.5366 31.95%
2791.49/2798.88 c 2799 81049 54099 1 24576.0000 18626.4773 31.94%
2797.38/2804.70 c 2805 81234 54238 1 24576.0000 18627.7661 31.93%
2803.06/2810.43 c 2810 81483 54375 1 24576.0000 18628.7576 31.93%
2808.15/2815.52 c 2816 81702 54505 1 24576.0000 18628.9452 31.92%
2813.93/2821.30 c 2821 81929 54636 1 24576.0000 18629.1111 31.92%
2819.42/2826.82 c 2827 82190 54773 1 24576.0000 18629.6875 31.92%
2824.91/2832.36 c 2832 82399 54870 1 24576.0000 18630.0196 31.92%
2830.59/2838.02 c 2838 82639 54985 1 24576.0000 18631.4419 31.91%
2836.18/2843.67 c 2844 82868 55117 1 24576.0000 18632.3850 31.90%
2841.47/2848.94 c 2849 83076 55238 1 24576.0000 18633.0376 31.89%
2846.75/2854.29 c 2854 83326 55372 1 24576.0000 18633.8588 31.89%
2852.34/2859.88 c 2860 83551 55503 1 24576.0000 18633.9730 31.89%
2858.32/2865.84 c 2866 83762 55632 1 24576.0000 18635.4907 31.88%
2863.90/2871.42 c 2871 83997 55739 1 24576.0000 18635.5914 31.88%
2869.00/2876.59 c 2877 84239 55865 1 24576.0000 18636.7804 31.87%
2874.08/2881.63 c 2882 84501 55979 1 24576.0000 18637.4602 31.86%
2879.47/2887.07 c 2887 84729 56119 1 24576.0000 18638.6966 31.85%
2884.95/2892.57 c 2893 84915 56227 1 24576.0000 18639.4619 31.85%
2890.74/2898.39 c 2898 85183 56347 1 24576.0000 18642.3231 31.83%
2895.82/2903.42 c 2903 85399 56485 1 24576.0000 18643.0000 31.82%
2900.90/2908.50 c 2908 85622 56582 1 24576.0000 18643.0033 31.82%
2906.30/2913.91 c 2914 85894 56684 1 24576.0000 18643.4936 31.82%
2911.27/2918.96 c 2919 86131 56799 1 24576.0000 18644.6579 31.81%
2916.65/2924.37 c 2924 86380 56911 1 24576.0000 18645.5436 31.81%
2921.75/2929.42 c 2929 86579 56996 1 24576.0000 18647.3148 31.79%
2927.03/2934.73 c 2935 86796 57117 1 24576.0000 18648.1141 31.79%
2932.42/2940.17 c 2940 87007 57243 1 24576.0000 18648.7268 31.78%
2938.10/2945.87 c 2946 87182 57352 1 24576.0000 18650.5367 31.77%
2943.59/2951.35 c 2951 87399 57453 1 24576.0000 18651.2107 31.77%
2948.87/2956.63 c 2957 87599 57579 1 24576.0000 18651.3479 31.77%
2953.86/2961.68 c 2962 87848 57694 1 24576.0000 18651.5557 31.76%
2959.45/2967.23 c 2967 88036 57810 1 24576.0000 18651.6318 31.76%
2964.83/2972.67 c 2973 88213 57905 1 24576.0000 18652.4410 31.76%
2970.02/2977.88 c 2978 88439 58039 1 24576.0000 18654.4609 31.74%
2975.21/2983.06 c 2983 88651 58139 1 24576.0000 18655.7338 31.73%
2981.09/2988.99 c 2989 88921 58241 1 24576.0000 18656.0369 31.73%
2987.08/2994.96 c 2995 89163 58387 1 24576.0000 18656.5541 31.73%
2992.66/3000.51 c 3001 89413 58498 1 24576.0000 18657.5971 31.72%
2998.35/3006.24 c 3006 89693 58638 1 24576.0000 18658.7111 31.71%
3004.33/3012.24 c 3012 89952 58772 1 24576.0000 18658.9870 31.71%
3009.32/3017.28 c 3017 90159 58880 1 24576.0000 18659.2246 31.71%
3014.80/3022.78 c 3023 90359 58996 1 24576.0000 18659.7633 31.71%
3020.39/3028.37 c 3028 90593 59115 1 24576.0000 18660.2932 31.70%
3025.57/3033.56 c 3034 90816 59212 1 24576.0000 18660.7496 31.70%
3030.86/3038.83 c 3039 91049 59324 1 24576.0000 18661.1592 31.70%
3035.85/3043.86 c 3044 91299 59436 1 24576.0000 18661.7289 31.69%
3041.04/3049.04 c 3049 91503 59560 1 24576.0000 18662.0000 31.69%
3046.32/3054.32 c 3054 91651 59644 1 24576.0000 18662.0874 31.69%
3051.91/3059.94 c 3060 91872 59775 1 24576.0000 18662.4226 31.69%
3057.40/3065.42 c 3065 92079 59890 1 24576.0000 18663.8763 31.68%
3062.88/3070.96 c 3071 92290 60025 1 24576.0000 18664.4818 31.67%
3068.27/3076.35 c 3076 92529 60128 1 24576.0000 18665.0317 31.67%
3073.55/3081.64 c 3082 92769 60222 1 24576.0000 18665.9188 31.66%
3079.14/3087.21 c 3087 92964 60321 1 24576.0000 18667.1543 31.65%
3084.93/3093.06 c 3093 93167 60448 1 24576.0000 18668.0623 31.65%
3090.71/3098.80 c 3099 93355 60536 1 24576.0000 18668.5641 31.64%
3096.20/3104.32 c 3104 93558 60633 1 24576.0000 18669.5665 31.64%
3101.48/3109.69 c 3110 93789 60736 1 24576.0000 18669.8004 31.64%
3106.66/3114.81 c 3115 93979 60846 1 24576.0000 18670.6512 31.63%
3112.55/3120.79 c 3121 94229 60978 1 24576.0000 18671.2755 31.62%
3117.94/3126.19 c 3126 94454 61083 1 24576.0000 18672.0970 31.62%
3123.82/3132.06 c 3132 94740 61203 1 24576.0000 18673.5822 31.61%
3129.31/3137.54 c 3138 95000 61313 1 24576.0000 18673.7693 31.61%
3134.90/3143.11 c 3143 95208 61427 1 24576.0000 18673.9315 31.61%
3139.88/3148.16 c 3148 95426 61521 1 24576.0000 18674.4756 31.60%
3145.26/3153.58 c 3154 95659 61650 1 24576.0000 18675.2641 31.60%
3151.25/3159.55 c 3160 95897 61794 1 24576.0000 18675.4468 31.60%
3157.04/3165.34 c 3165 96099 61904 1 24576.0000 18675.8735 31.59%
3162.32/3170.66 c 3171 96319 62011 1 24576.0000 18677.0683 31.58%
3168.11/3176.44 c 3176 96544 62158 1 24576.0000 18678.5217 31.57%
3173.89/3182.28 c 3182 96770 62278 1 24576.0000 18678.8690 31.57%
3179.08/3187.41 c 3187 96949 62385 1 24576.0000 18679.2752 31.57%
3184.46/3192.82 c 3193 97169 62485 1 24576.0000 18680.5270 31.56%
3189.45/3197.84 c 3198 97387 62595 1 24576.0000 18681.3138 31.55%
3195.23/3203.65 c 3204 97627 62713 1 24576.0000 18682.2363 31.55%
3200.93/3209.38 c 3209 97820 62824 1 24576.0000 18684.4061 31.53%
3206.41/3214.84 c 3215 98049 62932 1 24576.0000 18685.2667 31.53%
3212.19/3220.67 c 3221 98256 63023 1 24576.0000 18685.4821 31.52%
3217.78/3226.24 c 3226 98442 63121 1 24576.0000 18686.1619 31.52%
3222.87/3231.31 c 3231 98659 63228 1 24576.0000 18686.4065 31.52%
3228.56/3237.10 c 3237 98882 63355 1 24576.0000 18686.8583 31.51%
3234.34/3242.81 c 3243 99094 63467 1 24576.0000 18687.4583 31.51%
3239.42/3247.93 c 3248 99286 63564 1 24576.0000 18688.8319 31.50%
3244.81/3253.39 c 3253 99533 63686 1 24576.0000 18689.1512 31.50%
3250.50/3259.04 c 3259 99713 63793 1 24576.0000 18689.6750 31.50%
3255.68/3264.24 c 3264 99874 63912 1 24576.0000 18690.8571 31.49%
3261.67/3270.23 c 3270 100138 64060 1 24576.0000 18691.1093 31.48%
3267.25/3275.81 c 3276 100339 64183 1 24576.0000 18693.2849 31.47%
3272.64/3281.28 c 3281 100531 64304 1 24576.0000 18693.8462 31.47%
3278.32/3286.99 c 3287 100694 64409 1 24576.0000 18694.1927 31.46%
3283.70/3292.30 c 3292 100881 64510 1 24576.0000 18695.0852 31.46%
3289.40/3298.03 c 3298 101058 64621 1 24576.0000 18695.3885 31.45%
3294.49/3303.18 c 3303 101240 64721 1 24576.0000 18695.8873 31.45%
3300.27/3308.96 c 3309 101479 64845 1 24576.0000 18697.2674 31.44%
3305.95/3314.62 c 3315 101719 64947 1 24576.0000 18698.1864 31.44%
3311.04/3319.75 c 3320 101907 65051 1 24576.0000 18698.5676 31.43%
3316.92/3325.61 c 3326 102187 65185 1 24576.0000 18698.7718 31.43%
3322.01/3330.74 c 3331 102381 65297 1 24576.0000 18699.9045 31.42%
3327.80/3336.54 c 3337 102613 65414 1 24576.0000 18700.6054 31.42%
3333.18/3341.94 c 3342 102867 65539 1 24576.0000 18700.6491 31.42%
3338.28/3347.00 c 3347 103068 65639 1 24576.0000 18701.7353 31.41%
3343.65/3352.49 c 3352 103282 65737 1 24576.0000 18702.4263 31.41%
3349.44/3358.25 c 3358 103512 65843 1 24576.0000 18702.6955 31.40%
3355.23/3364.01 c 3364 103751 65972 1 24576.0000 18704.0175 31.39%
3360.31/3369.15 c 3369 103969 66052 1 24576.0000 18704.8221 31.39%
3365.99/3374.84 c 3375 104239 66191 1 24576.0000 18706.0465 31.38%
3371.19/3380.10 c 3380 104431 66311 1 24576.0000 18706.5266 31.38%
3377.27/3386.11 c 3386 104761 66441 1 24576.0000 18707.2161 31.37%
3382.35/3391.20 c 3391 105049 66542 1 24576.0000 18707.2161 31.37%
3388.44/3397.33 c 3397 105284 66660 1 24576.0000 18707.7333 31.37%
3394.32/3403.21 c 3403 105520 66784 1 24576.0000 18708.3661 31.36%
3399.50/3408.44 c 3408 105757 66876 1 24576.0000 18708.4757 31.36%
3405.29/3414.26 c 3414 105972 66991 1 24576.0000 18708.9942 31.36%
3410.68/3419.69 c 3420 106212 67109 1 24576.0000 18709.9042 31.35%
3411.98/3420.90 c * 3421 106249 67124 1 24396.0000 18709.9962 30.39%
3412.08/3421.02 c * 3421 106249 67124 1 23978.0000 18709.9962 28.16%
3416.46/3425.49 c 3425 106445 59721 1 23978.0000 18710.6593 28.15%
3421.94/3430.99 c 3431 106739 59815 1 23978.0000 18711.5391 28.15%
3427.42/3436.46 c 3436 106929 59935 1 23978.0000 18712.2076 28.14%
3432.61/3441.60 c 3442 107153 60008 1 23978.0000 18713.2778 28.13%
3438.40/3447.45 c 3447 107379 60116 1 23978.0000 18713.5672 28.13%
3443.48/3452.55 c 3453 107577 60174 1 23978.0000 18713.5672 28.13%
3448.56/3457.62 c 3458 107745 60232 1 23978.0000 18714.1907 28.13%
3454.14/3463.25 c 3463 107962 60319 1 23978.0000 18714.4849 28.13%
3460.13/3469.26 c 3469 108213 60404 1 23978.0000 18716.6201 28.11%
3465.91/3475.08 c 3475 108451 60490 1 23978.0000 18716.8756 28.11%
3471.50/3480.60 c 3481 108699 60573 1 23978.0000 18718.3628 28.10%
3477.28/3486.42 c 3486 108973 60663 1 23978.0000 18718.5413 28.10%
3482.67/3491.83 c 3492 109235 60766 1 23978.0000 18719.0698 28.09%
3487.65/3496.86 c 3497 109449 60853 1 23978.0000 18719.8613 28.09%
3492.85/3502.08 c 3502 109664 60952 1 23978.0000 18720.1743 28.09%
3498.12/3507.39 c 3507 109840 61022 1 23978.0000 18721.0833 28.08%
3503.51/3512.71 c 3513 110049 61095 1 23978.0000 18721.7544 28.08%
3508.49/3517.75 c 3518 110219 61179 1 23978.0000 18722.7613 28.07%
3514.08/3523.33 c 3523 110396 61268 1 23978.0000 18723.9054 28.06%
3519.37/3528.63 c 3529 110576 61352 1 23978.0000 18724.2353 28.06%
3524.76/3534.02 c 3534 110834 61428 1 23978.0000 18724.7234 28.06%
3529.75/3539.07 c 3539 111109 61509 1 23978.0000 18725.0484 28.05%
3534.83/3544.17 c 3544 111369 61607 1 23978.0000 18725.1880 28.05%
3540.01/3549.34 c 3549 111613 61701 1 23978.0000 18725.9079 28.05%
3545.30/3554.69 c 3555 111859 61799 1 23978.0000 18726.8126 28.04%
3550.49/3559.89 c 3560 112099 61891 1 23978.0000 18727.4661 28.04%
3555.97/3565.39 c 3565 112285 61981 1 23978.0000 18727.7505 28.03%
3561.45/3570.87 c 3571 112539 62078 1 23978.0000 18728.9664 28.03%
3567.25/3576.61 c 3577 112759 62174 1 23978.0000 18729.3722 28.02%
3573.03/3582.49 c 3582 113035 62280 1 23978.0000 18729.9806 28.02%
3578.62/3588.00 c 3588 113309 62364 1 23978.0000 18730.3414 28.02%
3583.81/3593.20 c 3593 113539 62458 1 23978.0000 18731.8182 28.01%
3588.79/3598.26 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.79/3598.26 c Total Time : 3598.25
3588.79/3598.26 c solving : 3598.25
3588.79/3598.26 c presolving : 0.09 (included in solving)
3588.79/3598.26 c B&B Tree :
3588.79/3598.26 c nodes (total) : 1
3588.79/3598.26 c Solution :
3588.79/3598.26 c Solutions found : 19
3588.79/3598.26 c Primal Bound : +2.39780000000000e+04
3588.79/3598.26 c Dual Bound : +1.87328423378932e+04
3588.79/3598.26 c Gap : 27.99980 %
3588.79/3598.26 c * Warning: final gap: 2.79998e-01 is greater than SCIPepsilon: 1.00000e-09
3588.79/3598.26 o 23978
3588.79/3598.26 s SATISFIABLE
3588.79/3598.26 v x325 x289 x253 -x217 -x181 -x145 x109 x73 -x37 -x1 x360 x324 -x288 -x252 x216 x180 x144 -x108 -x72 -x36 -x353 -x317 x281 x245 -x209
3588.79/3598.26 v -x173 -x137 x101 x65 x29 x346 -x310 -x274 -x238 x202 x166 x130 -x94 -x58 x22 -x339 -x303 -x267 x231 x195 -x159 -x123 x87
3588.79/3598.26 v x51 x15 -x332 x296 x260 x224 -x188 x152 -x116 -x80 x44 -x8 -x359 -x323 -x287 x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 -x322
3588.79/3598.26 v -x286 -x250 -x214 -x178 -x142 -x106 -x70 x34 -x357 -x321 -x285 -x249 -x213 -x177 -x141 x105 -x69 -x33 -x356 -x320 -x284 -x248
3588.79/3598.26 v -x212 -x176 -x140 -x104 x68 -x32 -x355 -x319 x283 -x247 -x211 -x175 -x139 -x103 -x67 -x31 -x354 -x318 -x282 -x246 -x210
3588.79/3598.26 v -x174 x138 -x102 -x66 -x30 -x352 -x316 -x280 -x244 -x208 x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 x207 -x171 -x135
3588.79/3598.26 v -x99 -x63 -x27 -x350 x314 -x278 -x242 -x206 -x170 -x134 -x98 -x62 -x26 x349 -x313 -x277 -x241 -x205 -x169 -x133 -x97 -x61 -x25
3588.79/3598.26 v -x348 x312 -x276 -x240 -x204 -x168 -x132 -x96 -x60 -x24 -x347 -x311 -x275 -x239 -x203 -x167 -x131 -x95 x59 -x23 -x345 -x309
3588.79/3598.26 v -x273 x237 -x201 -x165 -x129 -x93 -x57 -x21 -x344 -x308 x272 -x236 -x200 -x164 -x128 -x92 -x56 -x20 -x343 -x307 -x271 -x235
3588.79/3598.26 v -x199 -x163 -x127 x91 -x55 -x19 x342 -x306 -x270 -x234 -x198 -x162 -x126 -x90 -x54 -x18 -x341 -x305 x269 -x233 -x197 -x161 -x125
3588.79/3598.26 v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 x124 -x88 -x52 -x16 -x338 -x302 -x266 -x230 -x194 x158 -x122 -x86 -x50
3588.79/3598.26 v -x14 -x337 x301 -x265 -x229 -x193 -x157 -x121 -x85 -x49 -x13 -x336 -x300 -x264 -x228 x192 -x156 -x120 -x84 -x48 -x12 -x335 -x299
3588.79/3598.26 v -x263 -x227 -x191 -x155 -x119 x83 -x47 -x11 x334 -x298 -x262 -x226 -x190 -x154 -x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225
3588.79/3598.26 v -x189 -x153 -x117 -x81 -x45 x9 -x331 -x295 -x259 -x223 -x187 -x151 x115 -x79 -x43 -x7 -x330 -x294 -x258 -x222 -x186 x150
3588.79/3598.26 v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 -x185 -x149 -x113 -x77 -x41 x5 -x328 -x292 -x256 -x220 x184 -x148 -x112 -x76 -x40
3588.79/3598.26 v -x4 -x327 -x291 -x255 -x219 -x183 -x147 -x111 -x75 x39 -x3 -x326 -x290 -x254 x218 -x182 -x146 -x110 -x74 -x38 -x2 x540 x539
3588.79/3598.26 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529 -x528 x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
3588.79/3598.26 v -x516 x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 x505 -x504 -x503 x502 -x501 -x500 -x499 x498 -x497 -x496 -x495
3588.79/3598.26 v x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474
3588.79/3598.26 v -x473 -x472 x471 -x470 x469 x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452
3588.79/3598.26 v -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435 x434 x433 -x432 -x431 -x430
3588.79/3598.26 v -x429 -x428 x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409
3588.79/3598.26 v -x408 x407 -x406 -x405 -x404 -x403 x402 -x401 x400 x399 x398 x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 x389 -x388 -x387
3588.79/3598.26 v -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 x365
3588.79/3598.26 v x364 -x363 -x362 -x361
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 (61992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463965-1722378594/watcher-4463965-1722378594 -o /tmp/evaluation-result-4463965-1722378594/solver-4463965-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30206 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463965-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=30251, runsolver pid=30248
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 0.15 0.11 0.09 5/262 30272
/proc/meminfo: memFree=125752956/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=41200 memory=29984 CPUtime=0.09 cores=1,3
/proc/30251/stat : 30251 (fscip) R 30248 30251 30194 0 -1 4194304 5601 0 0 0 9 0 0 0 20 0 1 0 4459624 42188800 7496 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 10300 7496 2774 3035 0 6696 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41200 KiB
Current children cumulated memory: 29984 KiB
[startup+0.206095 s]*
/proc/loadavg: 0.15 0.11 0.09 4/260 30274
/proc/meminfo: memFree=125734596/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=127928 memory=58536 CPUtime=0.2 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 13520 0 0 0 18 2 0 0 20 0 3 0 4459624 130998272 14634 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 31982 14634 2854 3035 0 18204 0
[pid=30251/tid=30273] ppid=30248 vsize=127928 memory=664970838410264707 CPUtime=0.08 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 6289 0 0 0 8 0 0 0 20 0 3 0 4459635 130998272 14634 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=127928 memory=572 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459636 130998272 14634 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 58536 KiB
[startup+0.306089 s]*
/proc/loadavg: 0.15 0.11 0.09 3/253 30282
/proc/meminfo: memFree=125760988/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=127928 memory=59740 CPUtime=0.3 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 13852 0 0 0 28 2 0 0 20 0 3 0 4459624 130998272 14935 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 31982 14935 2854 3035 0 18508 0
[pid=30251/tid=30273] ppid=30248 vsize=127928 memory=8039887049847965090 CPUtime=0.19 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 6621 0 0 0 18 1 0 0 20 0 3 0 4459635 130998272 14935 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=127928 memory=0 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459636 130998272 14935 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 59740 KiB
[startup+0.700221 s]
/proc/loadavg: 0.15 0.11 0.09 3/250 30290
/proc/meminfo: memFree=125748368/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=129976 memory=78844 CPUtime=0.68 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 18517 0 0 0 66 2 0 0 20 0 3 0 4459624 133095424 19711 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 32494 19711 2950 3035 0 23531 0
[pid=30251/tid=30273] ppid=30248 vsize=129976 memory=0 CPUtime=0.57 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 11288 0 0 0 56 1 0 0 20 0 3 0 4459635 133095424 19711 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=129976 memory=0 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4459636 133095424 19711 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129976 KiB
Current children cumulated memory: 78844 KiB
[startup+1.5002 s]
/proc/loadavg: 0.15 0.11 0.09 5/252 30331
/proc/meminfo: memFree=125725048/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=150328 memory=108060 CPUtime=1.49 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 35564 0 0 0 144 5 0 0 20 0 3 0 4459624 153935872 27015 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 37582 27015 2950 3035 0 32074 0
[pid=30251/tid=30273] ppid=30248 vsize=150328 memory=0 CPUtime=1.36 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 28327 0 0 0 133 3 0 0 20 0 3 0 4459635 153935872 27015 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=150328 memory=0 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4459636 153935872 27015 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 150328 KiB
Current children cumulated memory: 108060 KiB
[startup+3.1058 s]
/proc/loadavg: 0.46 0.18 0.11 5/266 30372
/proc/meminfo: memFree=125484012/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=215864 memory=119032 CPUtime=3.08 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 39038 0 0 0 303 5 0 0 20 0 3 0 4459624 221044736 29758 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 53966 29758 2966 3035 0 34909 0
[pid=30251/tid=30273] ppid=30248 vsize=215864 memory=0 CPUtime=2.97 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 31799 0 0 0 293 4 0 0 20 0 3 0 4459635 221044736 29758 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=215864 memory=108348 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4459636 221044736 29758 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 215864 KiB
Current children cumulated memory: 119032 KiB
[startup+6.30017 s]
/proc/loadavg: 0.46 0.18 0.11 5/266 30372
/proc/meminfo: memFree=125353208/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=215864 memory=119032 CPUtime=6.27 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 47140 0 0 0 621 6 0 0 20 0 3 0 4459624 221044736 29758 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 53966 29758 2966 3035 0 34909 0
[pid=30251/tid=30273] ppid=30248 vsize=215864 memory=0 CPUtime=6.16 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 39837 0 0 0 611 5 0 0 20 0 3 0 4459635 221044736 29758 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=215864 memory=108060 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4459636 221044736 29758 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 215864 KiB
Current children cumulated memory: 119032 KiB
[startup+12.7002 s]
/proc/loadavg: 0.74 0.24 0.14 5/266 30374
/proc/meminfo: memFree=125227404/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=215864 memory=119600 CPUtime=12.65 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 61931 0 0 0 1258 7 0 0 20 0 3 0 4459624 221044736 29900 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 53966 29900 3014 3035 0 34909 0
[pid=30251/tid=30273] ppid=30248 vsize=215864 memory=33 CPUtime=12.54 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 54453 0 0 0 1248 6 0 0 20 0 3 0 4459635 221044736 29900 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=215864 memory=0 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4459636 221044736 29900 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 215864 KiB
Current children cumulated memory: 119600 KiB
[startup+25.5002 s]
/proc/loadavg: 1.46 0.42 0.20 5/266 30375
/proc/meminfo: memFree=125157820/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=216892 memory=166456 CPUtime=25.41 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 119453 0 0 0 2530 11 0 0 20 0 3 0 4459624 222097408 41614 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 54223 41614 3014 3035 0 48451 0
[pid=30251/tid=30273] ppid=30248 vsize=216892 memory=12340 CPUtime=25.3 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 111887 0 0 0 2520 10 0 0 20 0 3 0 4459635 222097408 41614 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=216892 memory=4436 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4459636 222097408 41614 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 216892 KiB
Current children cumulated memory: 166456 KiB
[startup+51.1062 s]
/proc/loadavg: 2.33 0.71 0.30 5/268 30439
/proc/meminfo: memFree=125009980/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=282428 memory=179268 CPUtime=50.96 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 182591 0 0 0 5080 16 0 0 20 0 3 0 4459624 289206272 44817 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 70607 44817 3014 3035 0 51851 0
[pid=30251/tid=30273] ppid=30248 vsize=282428 memory=179268 CPUtime=50.84 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 174770 0 0 0 5069 15 0 0 20 0 3 0 4459635 289206272 44817 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=282428 memory=12340 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4459636 289206272 44817 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 282428 KiB
Current children cumulated memory: 179268 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.26 0.51 5/268 30449
/proc/meminfo: memFree=124835632/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=279356 memory=184572 CPUtime=102.02 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 246505 0 0 0 10181 21 0 0 20 0 3 0 4459624 286060544 46143 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 69839 46143 3318 3035 0 53347 0
[pid=30251/tid=30273] ppid=30248 vsize=279356 memory=185540 CPUtime=101.9 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 238298 0 0 0 10170 20 0 0 20 0 3 0 4459635 286060544 46143 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=279356 memory=184944 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4459636 286060544 46143 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 279356 KiB
Current children cumulated memory: 184572 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.78 0.74 5/268 30459
/proc/meminfo: memFree=124621852/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=347252 memory=241876 CPUtime=161.86 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 313203 0 0 0 16157 29 0 0 20 0 3 0 4459624 355586048 60469 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 86813 60469 3318 3035 0 70008 0
[pid=30251/tid=30273] ppid=30248 vsize=347252 memory=238552 CPUtime=161.73 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 304705 0 0 0 16146 27 0 0 20 0 3 0 4459635 355586048 60469 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=347252 memory=12340 CPUtime=0 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4459636 355586048 60469 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 347252 KiB
Current children cumulated memory: 241876 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 2.23 0.96 5/269 30470
################
# More data... #
################
/proc/30251/statm: 162106 144702 3318 3035 0 148556 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=578320 CPUtime=3393.04 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 875697 0 0 0 339196 108 0 0 20 0 3 0 4459635 663986176 144702 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=578680 CPUtime=0.01 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 156 0 0 0 0 1 0 0 20 0 3 0 4459636 663986176 144702 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 578808 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/264 32009
/proc/meminfo: memFree=121983340/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=584324 CPUtime=3453.24 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 916410 0 0 0 345205 119 0 0 20 0 3 0 4459624 663986176 146081 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 146081 3318 3035 0 149732 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=578320 CPUtime=3452.86 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 906411 0 0 0 345175 111 0 0 20 0 3 0 4459635 663986176 146081 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=-7524507294014463612 CPUtime=0.01 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 158 0 0 0 0 1 0 0 20 0 3 0 4459636 663986176 146081 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 584324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/266 32189
/proc/meminfo: memFree=121966132/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=585204 CPUtime=3513.09 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 934894 0 0 0 351187 122 0 0 20 0 3 0 4459624 663986176 146301 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 146301 3318 3035 0 149732 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=12340 CPUtime=3512.7 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 924876 0 0 0 351156 114 0 0 20 0 3 0 4459635 663986176 146301 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=584660 CPUtime=0.01 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 160 0 0 0 0 1 0 0 20 0 3 0 4459636 663986176 146301 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 585204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/266 32199
/proc/meminfo: memFree=121952284/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=585764 CPUtime=3572.93 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 952845 0 0 0 357169 124 0 0 20 0 3 0 4459624 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 146441 3318 3035 0 149732 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=5420 CPUtime=3572.53 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 942808 0 0 0 357137 116 0 0 20 0 3 0 4459635 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=279815107554976 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 585764 KiB
[startup+3598.27 s]
# the end of solver process 30251 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.58 s, system=1.28862 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 5/266 32199
/proc/meminfo: memFree=121952216/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=585764 CPUtime=3574.63 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 953030 0 0 0 357339 124 0 0 20 0 3 0 4459624 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 146441 3318 3035 0 149732 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=-7452449699976537210 CPUtime=3574.23 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 942993 0 0 0 357307 116 0 0 20 0 3 0 4459635 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=4714027033234665119 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3574.63 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 585764 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121952204/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=585764 CPUtime=3581.01 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 953380 0 0 0 357977 124 0 0 20 0 3 0 4459624 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 146441 3318 3035 0 149732 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=12340 CPUtime=3580.61 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 943343 0 0 0 357945 116 0 0 20 0 3 0 4459635 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=12400 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 663986176 146441 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3581.01 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 585764 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121943684/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=594272 CPUtime=3584.2 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 956690 0 0 0 358295 125 0 0 20 0 3 0 4459624 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 148568 3318 3035 0 151865 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=585764 CPUtime=3583.81 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 946653 0 0 0 358264 117 0 0 20 0 3 0 4459635 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=0 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3584.2 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 594272 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32201
/proc/meminfo: memFree=121943664/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=594272 CPUtime=3587.4 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 956918 0 0 0 358615 125 0 0 20 0 3 0 4459624 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 148568 3318 3035 0 151865 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=12340 CPUtime=3587 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 946881 0 0 0 358583 117 0 0 20 0 3 0 4459635 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=585764 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 594272 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32202
/proc/meminfo: memFree=121943688/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=594272 CPUtime=3588.19 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 957009 0 0 0 358694 125 0 0 20 0 3 0 4459624 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 148568 3318 3035 0 151865 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=12680 CPUtime=3587.8 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 946972 0 0 0 358663 117 0 0 20 0 3 0 4459635 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=12340 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 663986176 148568 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 594272 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.12 4.08 5/266 32202
/proc/meminfo: memFree=121943360/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=648424 memory=594288 CPUtime=3588.6 cores=1,3
/proc/30251/stat : 30251 (fscip) R 30248 30251 30194 0 -1 1077936128 957398 0 0 0 358735 125 0 0 20 0 3 0 4459624 663986176 148572 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 162106 148572 3318 3035 0 151865 0
[pid=30251/tid=30273] ppid=30248 vsize=648424 memory=20176 CPUtime=3588.2 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 947360 0 0 0 358703 117 0 0 20 0 3 0 4459635 663986176 148572 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=648424 memory=33324 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 663986176 148572 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3588.6 s
Current children cumulated vsize: 648424 KiB
Current children cumulated memory: 594288 KiB
[startup+3598.2 s]
/proc/loadavg: 4.08 4.12 4.08 5/266 32202
/proc/meminfo: memFree=121943360/131524600 swapFree=131071996/131071996
[pid=30251] ppid=30248 vsize=646368 memory=592232 CPUtime=3588.79 cores=1,3
/proc/30251/stat : 30251 (fscip) S 30248 30251 30194 0 -1 1077936128 982410 0 0 0 358752 127 0 0 20 0 3 0 4459624 661880832 148058 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
/proc/30251/statm: 161592 148058 3318 3035 0 151351 0
[pid=30251/tid=30273] ppid=30248 vsize=646368 memory=4714027033234665119 CPUtime=3588.39 cores=1,3
/proc/30251/task/30273/stat : 30273 (fscip) R 30248 30251 30194 0 -1 4194368 972424 0 0 0 358720 119 0 0 20 0 3 0 4459635 661880832 148058 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
[pid=30251/tid=30274] ppid=30248 vsize=646368 memory=8280 CPUtime=0.02 cores=1,3
/proc/30251/task/30274/stat : 30274 (fscip) S 30248 30251 30194 0 -1 1077936192 162 0 0 0 1 1 0 0 20 0 3 0 4459636 661880832 148058 134679101440 4194304 16623229 140734071725776 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41525248 140734071731222 140734071731338 140734071731338 140734071738352 0
Current children cumulated CPU time: 3588.79 s
Current children cumulated vsize: 646368 KiB
Current children cumulated memory: 592232 KiB
Child status: 0
Real time (s): 3598.27
CPU time (s): 3588.87
CPU user time (s): 3587.58
CPU system time (s): 1.28862
CPU usage (%): 99.7387
Max. virtual memory (cumulated for all children) (KiB): 648424
Max. memory (cumulated for all children) (KiB): 594288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.58
system time used= 1.28862
maximum resident set size= 594288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 984702
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= 12762
involuntary context switches= 4184
# summary of solver processes directly reported to runsolver:
# pid: 30251
# total CPU time (s): 3588.87
# total CPU user time (s): 3587.58
# total CPU system time (s): 1.28862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66647 second user time and 18.1488 second system time
The end
Begin job on nodeC026 at 2024-07-31 00:29:54
IDJOB=4463965
IDBENCH=147022
IDSOLVER=3092
FILE ID=nodeC026/4463965-1722378594
RUNJOBID= nodeC026-1722378594-30206
SLURM_JOB_ID= 8249849
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.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-4463965-1722378594/watcher-4463965-1722378594 -o /tmp/evaluation-result-4463965-1722378594/solver-4463965-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30206 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463965-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
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