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 = 24477696, getVmSize() = 24477696, SCIPgetMemUsed() = 2312445, SCIPgetMemTotal() = 2906565, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 17954133, getVmSize() = 29384704, SCIPgetMemUsed() = 3283282, SCIPgetMemTotal() = 6438202, SCIPgetMemExternEstim() = 1048576
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4463980-1722378596
0.00/0.06 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 472
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 543
0.00/0.06 c Constraints : Number
0.00/0.06 c knapsack : 418
0.00/0.06 c setppc : 104
0.00/0.06 c logicor : 21
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.08 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08 c Nodes Active
0.00/0.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.11/0.14 c * 0 0 1 1 219.0000 - -
0.11/0.14 c * 0 0 1 1 209.0000 - -
5.76/5.87 c 6 2 1 1 209.0000 160.7777 29.99%
10.85/11.01 c 11 7 6 1 209.0000 160.8740 29.92%
16.53/16.64 c 17 12 11 1 209.0000 160.8740 29.92%
18.63/18.77 c * 19 14 13 1 205.0000 160.8740 27.43%
18.63/18.77 c * 19 14 13 1 203.0000 160.8740 26.19%
18.63/18.77 c * 19 14 13 1 202.0000 160.8740 25.56%
18.63/18.77 c * 19 14 13 1 198.0000 160.8740 23.08%
19.42/19.53 c * 20 25 24 1 197.0000 160.8740 22.46%
19.42/19.53 c * 20 25 24 1 196.0000 160.8740 21.83%
21.71/21.82 c 22 63 62 1 196.0000 160.8740 21.83%
26.91/27.05 c 27 146 145 1 196.0000 160.8740 21.83%
32.58/32.79 c 33 254 253 1 196.0000 161.0534 21.70%
37.67/37.82 c * 38 302 301 1 195.0000 161.1128 21.03%
37.67/37.82 c 38 302 301 1 195.0000 161.1128 21.03%
37.67/37.82 c * 38 302 301 1 194.0000 161.1128 20.41%
37.67/37.82 c * 38 302 301 1 192.0000 161.1128 19.17%
37.67/37.82 c * 38 302 301 1 190.0000 161.1128 17.93%
43.25/43.44 c 43 382 381 1 190.0000 161.2261 17.85%
49.32/49.53 c 50 433 432 1 190.0000 161.3177 17.78%
54.61/54.84 c 55 502 501 1 190.0000 161.4323 17.70%
60.28/60.53 c 61 577 576 1 190.0000 161.4613 17.68%
65.27/65.56 c 66 642 641 1 190.0000 161.4864 17.66%
70.46/70.73 c 71 722 721 1 190.0000 161.5737 17.59%
76.23/76.57 c 77 822 821 1 190.0000 161.6469 17.54%
81.73/82.07 c 82 917 916 1 190.0000 161.7173 17.49%
87.49/87.82 c 88 1001 1000 1 190.0000 161.7387 17.47%
95.47/95.83 c 96 1051 1 1 190.0000 161.7591 17.46%
101.45/101.80 c 102 1059 9 1 190.0000 161.7591 17.46%
106.53/106.96 c 107 1086 36 1 190.0000 161.7591 17.46%
111.52/111.97 c 112 1254 204 1 190.0000 161.7591 17.46%
116.80/117.25 c 117 1562 290 1 190.0000 161.7591 17.46%
123.17/123.61 c 124 1742 352 1 190.0000 161.7591 17.46%
129.67/130.15 c 130 1819 383 1 190.0000 161.7591 17.46%
135.54/136.09 c 136 1961 425 1 190.0000 161.7591 17.46%
141.11/141.61 c 142 2083 473 1 190.0000 161.7591 17.46%
146.50/147.09 c 147 2193 501 1 190.0000 161.7591 17.46%
152.37/152.97 c 153 2454 552 1 190.0000 161.7591 17.46%
157.86/158.43 c 158 2670 598 1 190.0000 161.7591 17.46%
163.14/163.76 c 164 2747 625 1 190.0000 161.7591 17.46%
168.82/169.47 c 169 2897 663 1 190.0000 161.7591 17.46%
174.20/174.89 c 175 2965 697 1 190.0000 161.7591 17.46%
179.68/180.35 c 180 3062 742 1 190.0000 161.7591 17.46%
184.77/185.44 c 185 3144 778 1 190.0000 161.7591 17.46%
190.55/191.21 c 191 3275 821 1 190.0000 161.7591 17.46%
195.63/196.31 c 196 3355 863 1 190.0000 161.7591 17.46%
201.11/201.83 c 202 3553 911 1 190.0000 161.7591 17.46%
206.49/207.30 c 207 3722 950 1 190.0000 161.7591 17.46%
211.77/212.52 c 213 3913 993 1 190.0000 161.7591 17.46%
217.46/218.28 c 218 4101 1005 1 190.0000 161.7591 17.46%
223.44/224.22 c 224 4222 1046 1 190.0000 161.7591 17.46%
228.82/229.69 c 230 4333 1077 1 190.0000 161.7591 17.46%
234.21/235.02 c 235 4483 1209 1 190.0000 161.7591 17.46%
239.88/240.75 c 241 4603 1267 1 190.0000 161.7591 17.46%
245.86/246.78 c 247 4813 1359 1 190.0000 161.7591 17.46%
251.64/252.59 c 253 5095 1475 1 190.0000 161.7591 17.46%
257.92/258.84 c 259 5245 1543 1 190.0000 161.7591 17.46%
263.89/264.84 c 265 5401 1589 1 190.0000 161.7591 17.46%
269.19/270.14 c 270 5656 1636 1 190.0000 161.7591 17.46%
275.07/276.11 c 276 5791 1679 1 190.0000 161.7591 17.46%
280.54/281.54 c 282 5942 1718 1 190.0000 161.7591 17.46%
285.92/286.95 c 287 6053 1747 1 190.0000 161.7591 17.46%
291.30/292.37 c 292 6187 1795 1 190.0000 161.7591 17.46%
296.48/297.58 c 298 6392 1844 1 190.0000 161.7591 17.46%
302.76/303.83 c 304 6621 1887 1 190.0000 161.7591 17.46%
308.74/309.81 c 310 6924 1942 1 190.0000 161.7591 17.46%
314.03/315.19 c 315 7063 1989 1 190.0000 161.7591 17.46%
320.20/321.31 c 321 7345 2071 1 190.0000 161.7591 17.46%
326.18/327.30 c 327 7514 2144 1 190.0000 161.7591 17.46%
331.87/333.07 c 333 7693 2187 1 190.0000 161.7591 17.46%
337.64/338.88 c 339 7994 2242 1 190.0000 161.7591 17.46%
343.02/344.21 c 344 8215 2277 1 190.0000 161.7591 17.46%
348.00/349.25 c 349 8311 2327 1 190.0000 161.7591 17.46%
353.39/354.64 c 355 8494 2376 1 190.0000 161.7591 17.46%
358.78/360.05 c 360 8693 2417 1 190.0000 161.7591 17.46%
364.77/366.08 c 366 8852 2468 1 190.0000 161.7679 17.45%
370.63/371.98 c 372 9071 2507 1 190.0000 161.7752 17.45%
376.21/377.59 c 378 9213 2547 1 190.0000 161.7813 17.44%
381.89/383.23 c 383 9382 2610 1 190.0000 161.7851 17.44%
387.07/388.44 c 388 9551 2677 1 190.0000 161.7897 17.44%
392.56/393.94 c 394 9773 2779 1 190.0000 161.7900 17.44%
397.94/399.39 c 399 9943 2829 1 190.0000 161.7934 17.43%
403.02/404.46 c 404 10071 2879 1 190.0000 161.8022 17.43%
408.01/409.47 c 409 10123 2917 1 190.0000 161.8052 17.43%
414.08/415.52 c 416 10221 2961 1 190.0000 161.8159 17.42%
419.76/421.22 c 421 10341 2997 1 190.0000 161.8191 17.42%
425.75/427.23 c 427 10516 3048 1 190.0000 161.8208 17.41%
431.43/432.99 c 433 10688 3124 1 190.0000 161.8297 17.41%
436.71/438.21 c 438 10971 3189 1 190.0000 161.8329 17.41%
441.79/443.31 c 443 11051 3229 1 190.0000 161.8358 17.40%
447.07/448.61 c 449 11153 3255 1 190.0000 161.8402 17.40%
453.25/454.84 c 455 11363 3301 1 190.0000 161.8437 17.40%
459.64/461.24 c 461 11663 3341 1 190.0000 161.8498 17.39%
464.91/466.58 c 467 11773 3377 1 190.0000 161.8541 17.39%
470.29/471.94 c 472 11930 3400 1 190.0000 161.8594 17.39%
475.78/477.44 c 477 12123 3435 1 190.0000 161.8631 17.38%
480.95/482.62 c 483 12311 3475 1 190.0000 161.8686 17.38%
486.52/488.30 c 488 12401 3509 1 190.0000 161.8770 17.37%
491.71/493.42 c 493 12591 3567 1 190.0000 161.8800 17.37%
497.40/499.16 c 499 12681 3601 1 190.0000 161.8844 17.37%
502.67/504.45 c 504 12751 3627 1 190.0000 161.8879 17.37%
508.26/510.10 c 510 12864 3670 1 190.0000 161.8909 17.36%
514.35/516.12 c 516 13002 3720 1 190.0000 161.8938 17.36%
519.42/521.21 c 521 13180 3792 1 190.0000 161.8949 17.36%
524.70/526.54 c 527 13582 3924 1 190.0000 161.8974 17.36%
529.98/531.89 c 532 13673 3973 1 190.0000 161.8985 17.36%
535.47/537.39 c 537 13841 4039 1 190.0000 161.9045 17.35%
540.95/542.86 c 543 13923 4095 1 190.0000 161.9089 17.35%
546.82/548.76 c 549 14123 4137 1 190.0000 161.9113 17.35%
551.90/553.87 c 554 14324 4170 1 190.0000 161.9144 17.35%
556.99/558.98 c 559 14470 4198 1 190.0000 161.9169 17.34%
562.67/564.62 c 565 14632 4258 1 190.0000 161.9194 17.34%
568.75/570.70 c 571 14913 4353 1 190.0000 161.9210 17.34%
574.72/576.77 c 577 15053 4405 1 190.0000 161.9246 17.34%
579.90/581.92 c 582 15201 4469 1 190.0000 161.9291 17.34%
585.28/587.32 c 587 15263 4511 1 190.0000 161.9307 17.33%
590.66/592.76 c 593 15393 4565 1 190.0000 161.9338 17.33%
595.84/597.97 c 598 15561 4597 1 190.0000 161.9377 17.33%
601.13/603.23 c 603 15783 4701 1 190.0000 161.9388 17.33%
606.20/608.33 c 608 15913 4745 1 190.0000 161.9432 17.33%
611.49/613.64 c 614 16133 4799 1 190.0000 161.9473 17.32%
616.77/618.93 c 619 16243 4829 1 190.0000 161.9483 17.32%
621.86/624.10 c 624 16383 4853 1 190.0000 161.9509 17.32%
626.94/629.18 c 629 16533 4901 1 190.0000 161.9534 17.32%
632.02/634.22 c 634 16602 4944 1 190.0000 161.9588 17.31%
637.11/639.38 c 639 16801 4973 1 190.0000 161.9645 17.31%
642.48/644.72 c 645 16983 5009 1 190.0000 161.9663 17.31%
647.87/650.18 c 650 17183 5059 1 190.0000 161.9687 17.31%
653.64/655.93 c 656 17401 5099 1 190.0000 161.9747 17.30%
659.91/662.20 c 662 17603 5167 1 190.0000 161.9776 17.30%
665.40/667.73 c 668 17773 5201 1 190.0000 161.9800 17.30%
671.08/673.49 c 673 17883 5255 1 190.0000 161.9828 17.30%
676.96/679.34 c 679 18092 5282 1 190.0000 161.9900 17.29%
682.54/684.93 c 685 18301 5305 1 190.0000 161.9946 17.29%
687.62/690.10 c 690 18433 5337 1 190.0000 162.0019 17.28%
692.89/695.36 c 695 18711 5393 1 190.0000 162.0039 17.28%
698.37/700.85 c 701 18865 5435 1 190.0000 162.0058 17.28%
703.96/706.40 c 706 19012 5484 1 190.0000 162.0072 17.28%
709.14/711.60 c 712 19113 5525 1 190.0000 162.0086 17.28%
714.82/717.39 c 717 19296 5588 1 190.0000 162.0101 17.28%
721.00/723.59 c 724 19403 5639 1 190.0000 162.0141 17.27%
726.88/729.47 c 729 19521 5679 1 190.0000 162.0167 17.27%
733.06/735.61 c 736 19623 5721 1 190.0000 162.0211 17.27%
739.46/742.05 c 742 19823 5763 1 190.0000 162.0239 17.27%
745.12/747.77 c 748 20151 5843 1 190.0000 162.0258 17.27%
751.30/753.92 c 754 20303 5895 1 190.0000 162.0315 17.26%
756.88/759.54 c 760 20433 5951 1 190.0000 162.0347 17.26%
762.97/765.64 c 766 20673 6015 1 190.0000 162.0347 17.26%
768.05/770.75 c 771 20793 6059 1 190.0000 162.0429 17.25%
773.35/776.05 c 776 20967 6127 1 190.0000 162.0438 17.25%
778.82/781.56 c 782 21196 6176 1 190.0000 162.0445 17.25%
783.80/786.60 c 787 21363 6247 1 190.0000 162.0479 17.25%
789.58/792.37 c 792 21711 6307 1 190.0000 162.0554 17.24%
795.27/798.03 c 798 22062 6406 1 190.0000 162.0575 17.24%
801.26/804.05 c 804 22253 6477 1 190.0000 162.0619 17.24%
807.72/810.59 c 811 22393 6527 1 190.0000 162.0652 17.24%
813.40/816.20 c 816 22533 6575 1 190.0000 162.0688 17.23%
819.30/822.19 c 822 22790 6638 1 190.0000 162.0725 17.23%
825.06/827.90 c 828 22903 6693 1 190.0000 162.0754 17.23%
830.15/833.03 c 833 23159 6743 1 190.0000 162.0769 17.23%
836.23/839.15 c 839 23321 6787 1 190.0000 162.0785 17.23%
841.59/844.58 c 845 23563 6899 1 190.0000 162.0789 17.23%
847.67/850.68 c 851 23751 6959 1 190.0000 162.0834 17.22%
853.36/856.35 c 856 23940 7020 1 190.0000 162.0857 17.22%
859.16/862.17 c 862 24063 7069 1 190.0000 162.0882 17.22%
864.73/867.73 c 868 24213 7135 1 190.0000 162.0895 17.22%
871.50/874.51 c 875 24373 7181 1 190.0000 162.0933 17.22%
877.28/880.31 c 880 24571 7213 1 190.0000 162.0986 17.21%
882.66/885.72 c 886 24693 7253 1 190.0000 162.0999 17.21%
887.85/890.92 c 891 24852 7304 1 190.0000 162.1035 17.21%
893.42/896.51 c 897 25207 7375 1 190.0000 162.1057 17.21%
899.20/902.38 c 902 25415 7443 1 190.0000 162.1068 17.21%
904.39/907.52 c 908 25513 7505 1 190.0000 162.1085 17.21%
910.08/913.25 c 913 25691 7573 1 190.0000 162.1131 17.20%
915.46/918.64 c 919 25863 7613 1 190.0000 162.1142 17.20%
920.74/923.92 c 924 26191 7723 1 190.0000 162.1157 17.20%
926.22/929.48 c 929 26328 7788 1 190.0000 162.1198 17.20%
931.60/934.88 c 935 26424 7832 1 190.0000 162.1217 17.20%
936.80/940.09 c 940 26521 7863 1 190.0000 162.1249 17.19%
942.67/945.98 c 946 26661 7917 1 190.0000 162.1273 17.19%
947.94/951.26 c 951 26883 7967 1 190.0000 162.1289 17.19%
953.32/956.60 c 957 26991 8029 1 190.0000 162.1343 17.19%
958.72/962.04 c 962 27101 8087 1 190.0000 162.1354 17.19%
963.89/967.23 c 967 27251 8153 1 190.0000 162.1387 17.18%
969.57/972.94 c 973 27453 8197 1 190.0000 162.1401 17.18%
974.77/978.17 c 978 27561 8253 1 190.0000 162.1430 17.18%
980.14/983.53 c 984 27721 8293 1 190.0000 162.1447 17.18%
986.21/989.67 c 990 27833 8347 1 190.0000 162.1471 17.18%
991.40/994.88 c 995 28131 8419 1 190.0000 162.1489 17.18%
997.48/1000.97 c 1001 28263 8501 1 190.0000 162.1504 17.18%
1003.36/1006.83 c 1007 28489 8563 1 190.0000 162.1510 17.17%
1008.66/1012.16 c 1012 28641 8625 1 190.0000 162.1540 17.17%
1014.92/1018.50 c 1018 28783 8697 1 190.0000 162.1575 17.17%
1020.21/1023.72 c 1024 28981 8791 1 190.0000 162.1584 17.17%
1025.60/1029.13 c 1029 29091 8851 1 190.0000 162.1630 17.17%
1031.67/1035.21 c 1035 29193 8905 1 190.0000 162.1639 17.17%
1037.75/1041.31 c 1041 29483 9005 1 190.0000 162.1674 17.16%
1043.63/1047.20 c 1047 29613 9047 1 190.0000 162.1716 17.16%
1049.43/1053.08 c 1053 29862 9132 1 190.0000 162.1750 17.16%
1055.00/1058.63 c 1059 30061 9219 1 190.0000 162.1787 17.15%
1060.58/1064.28 c 1064 30249 9297 1 190.0000 162.1819 17.15%
1066.86/1070.55 c 1071 30381 9371 1 190.0000 162.1855 17.15%
1072.04/1075.76 c 1076 30521 9415 1 190.0000 162.1881 17.15%
1077.82/1081.53 c 1082 30641 9445 1 190.0000 162.1898 17.15%
1083.31/1087.04 c 1087 30756 9498 1 190.0000 162.1914 17.15%
1089.48/1093.24 c 1093 30903 9557 1 190.0000 162.1954 17.14%
1094.96/1098.78 c 1099 31040 9618 1 190.0000 162.1958 17.14%
1101.13/1104.97 c 1105 31161 9661 1 190.0000 162.1998 17.14%
1106.61/1110.48 c 1110 31382 9722 1 190.0000 162.2028 17.14%
1111.70/1115.56 c 1116 31501 9745 1 190.0000 162.2048 17.14%
1117.48/1121.39 c 1121 31651 9817 1 190.0000 162.2055 17.14%
1122.57/1126.45 c 1126 31872 9886 1 190.0000 162.2073 17.13%
1128.16/1132.09 c 1132 32171 9963 1 190.0000 162.2088 17.13%
1133.33/1137.28 c 1137 32308 10004 1 190.0000 162.2107 17.13%
1138.81/1142.77 c 1143 32401 10037 1 190.0000 162.2136 17.13%
1144.99/1148.98 c 1149 32651 10081 1 190.0000 162.2141 17.13%
1150.08/1154.06 c 1154 32811 10125 1 190.0000 162.2199 17.12%
1155.45/1159.48 c 1159 32991 10185 1 190.0000 162.2234 17.12%
1160.54/1164.59 c 1165 33123 10229 1 190.0000 162.2261 17.12%
1166.52/1170.51 c 1171 33333 10291 1 190.0000 162.2287 17.12%
1171.90/1175.95 c 1176 33571 10361 1 190.0000 162.2314 17.12%
1177.00/1181.05 c 1181 33875 10475 1 190.0000 162.2314 17.12%
1182.66/1186.71 c 1187 34033 10529 1 190.0000 162.2361 17.11%
1188.06/1192.13 c 1192 34253 10595 1 190.0000 162.2381 17.11%
1193.53/1197.62 c 1198 34423 10637 1 190.0000 162.2383 17.11%
1200.03/1204.12 c 1204 34811 10733 1 190.0000 162.2419 17.11%
1205.80/1209.93 c 1210 35001 10791 1 190.0000 162.2448 17.11%
1211.38/1215.54 c 1216 35198 10832 1 190.0000 162.2467 17.11%
1217.76/1221.93 c 1222 35333 10871 1 190.0000 162.2495 17.10%
1223.14/1227.40 c 1227 35513 10915 1 190.0000 162.2509 17.10%
1229.22/1233.47 c 1233 35731 10973 1 190.0000 162.2526 17.10%
1234.91/1239.17 c 1239 35911 11027 1 190.0000 162.2546 17.10%
1240.28/1244.59 c 1245 36061 11071 1 190.0000 162.2565 17.10%
1245.66/1249.94 c 1250 36236 11134 1 190.0000 162.2585 17.10%
1251.64/1255.94 c 1256 36521 11207 1 190.0000 162.2590 17.10%
1256.84/1261.16 c 1261 36643 11243 1 190.0000 162.2611 17.10%
1262.21/1266.54 c 1267 36731 11293 1 190.0000 162.2632 17.09%
1267.99/1272.30 c 1272 36851 11341 1 190.0000 162.2643 17.09%
1273.78/1278.13 c 1278 37023 11399 1 190.0000 162.2664 17.09%
1279.77/1284.12 c 1284 37183 11451 1 190.0000 162.2723 17.09%
1285.65/1290.07 c 1290 37363 11497 1 190.0000 162.2729 17.09%
1291.22/1295.69 c 1296 37468 11548 1 190.0000 162.2748 17.09%
1297.00/1301.48 c 1301 37601 11579 1 190.0000 162.2783 17.08%
1302.69/1307.16 c 1307 37801 11679 1 190.0000 162.2824 17.08%
1308.26/1312.78 c 1313 37997 11741 1 190.0000 162.2861 17.08%
1313.66/1318.13 c 1318 38123 11793 1 190.0000 162.2884 17.08%
1319.02/1323.50 c 1324 38233 11835 1 190.0000 162.2892 17.07%
1324.80/1329.32 c 1329 38391 11895 1 190.0000 162.2927 17.07%
1330.98/1335.56 c 1336 38483 11949 1 190.0000 162.2930 17.07%
1337.26/1341.81 c 1342 38781 12007 1 190.0000 162.2941 17.07%
1342.34/1346.91 c 1347 38891 12049 1 190.0000 162.2953 17.07%
1347.62/1352.29 c 1352 39043 12113 1 190.0000 162.2976 17.07%
1352.81/1357.40 c 1357 39201 12177 1 190.0000 162.3002 17.07%
1358.98/1363.61 c 1364 39333 12227 1 190.0000 162.3018 17.07%
1364.57/1369.24 c 1369 39463 12261 1 190.0000 162.3030 17.07%
1369.85/1374.55 c 1375 39601 12309 1 190.0000 162.3049 17.06%
1375.34/1380.02 c 1380 39843 12399 1 190.0000 162.3055 17.06%
1380.82/1385.59 c 1386 39994 12452 1 190.0000 162.3079 17.06%
1385.90/1390.62 c 1391 40264 12504 1 190.0000 162.3098 17.06%
1391.17/1395.95 c 1396 40458 12552 1 190.0000 162.3119 17.06%
1396.66/1401.43 c 1401 40661 12611 1 190.0000 162.3185 17.05%
1401.64/1406.46 c 1406 40843 12669 1 190.0000 162.3193 17.05%
1406.62/1411.50 c 1412 41011 12725 1 190.0000 162.3210 17.05%
1413.31/1418.13 c 1418 41183 12773 1 190.0000 162.3224 17.05%
1418.89/1423.76 c 1424 41403 12813 1 190.0000 162.3230 17.05%
1423.97/1428.87 c 1429 41611 12863 1 190.0000 162.3292 17.05%
1429.55/1434.46 c 1434 41723 12913 1 190.0000 162.3296 17.05%
1434.74/1439.69 c 1440 41871 12951 1 190.0000 162.3322 17.04%
1440.32/1445.26 c 1445 41953 12997 1 190.0000 162.3412 17.04%
1445.50/1450.45 c 1450 42189 13035 1 190.0000 162.3451 17.03%
1452.09/1457.03 c 1457 42361 13097 1 190.0000 162.3465 17.03%
1457.76/1462.71 c 1463 42533 13157 1 190.0000 162.3471 17.03%
1463.95/1468.97 c 1469 42731 13193 1 190.0000 162.3513 17.03%
1469.43/1474.49 c 1474 42883 13265 1 190.0000 162.3515 17.03%
1475.02/1480.09 c 1480 43001 13319 1 190.0000 162.3532 17.03%
1480.10/1485.16 c 1485 43143 13383 1 190.0000 162.3558 17.03%
1485.77/1490.88 c 1491 43313 13427 1 190.0000 162.3592 17.02%
1491.45/1496.59 c 1497 43561 13477 1 190.0000 162.3653 17.02%
1497.23/1502.32 c 1502 43768 13518 1 190.0000 162.3684 17.02%
1503.21/1508.31 c 1508 43903 13571 1 190.0000 162.3719 17.02%
1508.80/1513.92 c 1514 44101 13613 1 190.0000 162.3734 17.01%
1513.78/1518.96 c 1519 44231 13663 1 190.0000 162.3791 17.01%
1518.87/1524.01 c 1524 44391 13701 1 190.0000 162.3803 17.01%
1524.24/1529.44 c 1529 44521 13741 1 190.0000 162.3850 17.01%
1529.84/1535.08 c 1535 44846 13784 1 190.0000 162.3863 17.00%
1535.21/1540.41 c 1540 45101 13853 1 190.0000 162.3889 17.00%
1540.50/1545.70 c 1546 45354 13930 1 190.0000 162.3902 17.00%
1545.79/1551.10 c 1551 45523 13965 1 190.0000 162.3924 17.00%
1551.36/1556.65 c 1557 45651 14027 1 190.0000 162.3952 17.00%
1557.44/1562.71 c 1563 45723 14081 1 190.0000 162.3975 17.00%
1563.73/1569.09 c 1569 45951 14133 1 190.0000 162.4002 16.99%
1568.90/1574.25 c 1574 46051 14175 1 190.0000 162.4026 16.99%
1574.38/1579.73 c 1580 46191 14209 1 190.0000 162.4052 16.99%
1579.68/1585.07 c 1585 46366 14282 1 190.0000 162.4054 16.99%
1585.54/1591.01 c 1591 46611 14349 1 190.0000 162.4076 16.99%
1591.32/1596.73 c 1597 46781 14429 1 190.0000 162.4136 16.99%
1596.71/1602.11 c 1602 47015 14487 1 190.0000 162.4155 16.98%
1602.29/1607.76 c 1608 47356 14588 1 190.0000 162.4159 16.98%
1607.47/1612.98 c 1613 47711 14657 1 190.0000 162.4183 16.98%
1613.56/1619.01 c 1619 47883 14715 1 190.0000 162.4218 16.98%
1619.03/1624.52 c 1625 48076 14778 1 190.0000 162.4296 16.97%
1625.01/1630.53 c 1631 48341 14821 1 190.0000 162.4349 16.97%
1629.99/1635.55 c 1636 48442 14876 1 190.0000 162.4374 16.97%
1635.37/1640.90 c 1641 48601 14939 1 190.0000 162.4405 16.97%
1641.46/1647.05 c 1647 48712 14992 1 190.0000 162.4420 16.96%
1647.34/1652.95 c 1653 48811 15055 1 190.0000 162.4436 16.96%
1653.61/1659.23 c 1659 49021 15143 1 190.0000 162.4478 16.96%
1659.10/1664.79 c 1665 49201 15203 1 190.0000 162.4491 16.96%
1664.39/1670.09 c 1670 49332 15272 1 190.0000 162.4520 16.96%
1669.48/1675.16 c 1675 49501 15323 1 190.0000 162.4556 16.96%
1674.95/1680.69 c 1681 49573 15371 1 190.0000 162.4566 16.95%
1681.03/1686.77 c 1687 49703 15429 1 190.0000 162.4592 16.95%
1686.21/1691.99 c 1692 49941 15511 1 190.0000 162.4652 16.95%
1692.09/1697.88 c 1698 50197 15579 1 190.0000 162.4656 16.95%
1697.57/1703.34 c 1703 50341 15609 1 190.0000 162.4686 16.95%
1703.46/1709.27 c 1709 50561 15669 1 190.0000 162.4727 16.94%
1709.04/1714.89 c 1715 50741 15703 1 190.0000 162.4752 16.94%
1714.42/1720.27 c 1720 50873 15763 1 190.0000 162.4762 16.94%
1719.50/1725.38 c 1725 50968 15816 1 190.0000 162.4791 16.94%
1725.57/1731.41 c 1731 51291 15847 1 190.0000 162.4819 16.94%
1730.86/1736.73 c 1737 51501 15893 1 190.0000 162.4837 16.93%
1736.94/1742.87 c 1743 51711 15937 1 190.0000 162.4865 16.93%
1742.82/1748.73 c 1749 51831 15993 1 190.0000 162.4889 16.93%
1748.40/1754.37 c 1754 52021 16041 1 190.0000 162.4934 16.93%
1754.89/1760.84 c 1761 52341 16087 1 190.0000 162.4959 16.93%
1759.96/1766.01 c 1766 52521 16133 1 190.0000 162.4998 16.92%
1765.06/1771.08 c 1771 52701 16225 1 190.0000 162.5022 16.92%
1770.53/1776.53 c 1777 52901 16273 1 190.0000 162.5033 16.92%
1775.51/1781.60 c 1782 53021 16317 1 190.0000 162.5058 16.92%
1781.10/1787.19 c 1787 53391 16383 1 190.0000 162.5065 16.92%
1786.27/1792.33 c 1792 53556 16452 1 190.0000 162.5077 16.92%
1791.26/1797.39 c 1797 53671 16499 1 190.0000 162.5112 16.92%
1797.05/1803.13 c 1803 53901 16543 1 190.0000 162.5127 16.91%
1802.93/1809.02 c 1809 54111 16611 1 190.0000 162.5145 16.91%
1807.92/1814.10 c 1814 54198 16674 1 190.0000 162.5166 16.91%
1814.08/1820.26 c 1820 54443 16723 1 190.0000 162.5191 16.91%
1819.76/1825.96 c 1826 54703 16799 1 190.0000 162.5203 16.91%
1824.87/1831.06 c 1831 54871 16835 1 190.0000 162.5243 16.91%
1830.43/1836.63 c 1837 55093 16909 1 190.0000 162.5250 16.91%
1836.11/1842.41 c 1842 55298 16974 1 190.0000 162.5277 16.90%
1841.80/1848.01 c 1848 55538 17076 1 190.0000 162.5293 16.90%
1847.37/1853.69 c 1854 55728 17124 1 190.0000 162.5320 16.90%
1853.15/1859.43 c 1859 55933 17175 1 190.0000 162.5365 16.90%
1859.03/1865.38 c 1865 56131 17241 1 190.0000 162.5415 16.89%
1864.61/1870.91 c 1871 56420 17324 1 190.0000 162.5423 16.89%
1869.60/1876.01 c 1876 56626 17380 1 190.0000 162.5431 16.89%
1874.69/1881.06 c 1881 56841 17433 1 190.0000 162.5459 16.89%
1879.86/1886.20 c 1886 57041 17489 1 190.0000 162.5465 16.89%
1884.84/1891.24 c 1891 57141 17539 1 190.0000 162.5484 16.89%
1890.13/1896.51 c 1897 57311 17599 1 190.0000 162.5521 16.89%
1895.21/1901.61 c 1902 57451 17649 1 190.0000 162.5539 16.88%
1900.89/1907.32 c 1907 57641 17723 1 190.0000 162.5589 16.88%
1907.27/1913.75 c 1914 57781 17779 1 190.0000 162.5595 16.88%
1913.25/1919.70 c 1920 57953 17841 1 190.0000 162.5612 16.88%
1918.54/1925.05 c 1925 58067 17891 1 190.0000 162.5621 16.88%
1923.64/1930.14 c 1930 58241 17933 1 190.0000 162.5655 16.88%
1929.90/1936.43 c 1936 58391 17983 1 190.0000 162.5678 16.87%
1935.78/1942.36 c 1942 58600 18046 1 190.0000 162.5717 16.87%
1941.36/1947.91 c 1948 58731 18093 1 190.0000 162.5730 16.87%
1946.56/1953.19 c 1953 58981 18183 1 190.0000 162.5782 16.87%
1952.03/1958.64 c 1959 59091 18241 1 190.0000 162.5800 16.87%
1957.21/1963.85 c 1964 59221 18305 1 190.0000 162.5830 16.86%
1962.69/1969.37 c 1969 59331 18361 1 190.0000 162.5863 16.86%
1968.07/1974.77 c 1975 59483 18429 1 190.0000 162.5869 16.86%
1973.15/1979.86 c 1980 59640 18486 1 190.0000 162.5882 16.86%
1978.15/1984.89 c 1985 59863 18543 1 190.0000 162.5901 16.86%
1983.23/1989.97 c 1990 60143 18587 1 190.0000 162.5904 16.86%
1988.71/1995.43 c 1995 60321 18639 1 190.0000 162.5919 16.86%
1993.79/2000.57 c 2001 60423 18687 1 190.0000 162.5934 16.86%
1999.87/2006.68 c 2007 60561 18733 1 190.0000 162.5961 16.85%
2005.55/2012.37 c 2012 60756 18816 1 190.0000 162.5979 16.85%
2011.13/2017.95 c 2018 60925 18885 1 190.0000 162.6002 16.85%
2016.72/2023.55 c 2024 61177 18933 1 190.0000 162.6019 16.85%
2022.22/2029.09 c 2029 61431 18989 1 190.0000 162.6028 16.85%
2027.59/2034.46 c 2034 61675 19051 1 190.0000 162.6032 16.85%
2032.67/2039.57 c 2040 61821 19105 1 190.0000 162.6058 16.85%
2038.05/2044.94 c 2045 61981 19167 1 190.0000 162.6077 16.85%
2043.63/2050.50 c 2051 62171 19223 1 190.0000 162.6093 16.84%
2049.31/2056.25 c 2056 62331 19279 1 190.0000 162.6108 16.84%
2056.10/2063.10 c 2063 62603 19331 1 190.0000 162.6130 16.84%
2061.28/2068.21 c 2068 62767 19393 1 190.0000 162.6141 16.84%
2066.76/2073.70 c 2074 62961 19431 1 190.0000 162.6154 16.84%
2072.24/2079.24 c 2079 63123 19515 1 190.0000 162.6174 16.84%
2077.82/2084.85 c 2085 63351 19575 1 190.0000 162.6190 16.84%
2083.20/2090.27 c 2090 63597 19645 1 190.0000 162.6214 16.84%
2088.99/2096.10 c 2096 63851 19693 1 190.0000 162.6248 16.83%
2094.86/2101.98 c 2102 63973 19759 1 190.0000 162.6262 16.83%
2100.84/2107.96 c 2108 64202 19816 1 190.0000 162.6295 16.83%
2106.04/2113.12 c 2113 64323 19871 1 190.0000 162.6310 16.83%
2111.02/2118.16 c 2118 64593 19925 1 190.0000 162.6319 16.83%
2116.01/2123.19 c 2123 64781 19969 1 190.0000 162.6340 16.83%
2121.89/2129.06 c 2129 65062 20038 1 190.0000 162.6353 16.83%
2127.65/2134.87 c 2135 65191 20095 1 190.0000 162.6386 16.82%
2132.95/2140.15 c 2140 65325 20139 1 190.0000 162.6405 16.82%
2138.62/2145.82 c 2146 65551 20223 1 190.0000 162.6476 16.82%
2143.61/2150.84 c 2151 65711 20281 1 190.0000 162.6498 16.82%
2148.69/2156.01 c 2156 65911 20347 1 190.0000 162.6509 16.81%
2154.46/2161.74 c 2162 66203 20409 1 190.0000 162.6541 16.81%
2160.34/2167.61 c 2168 66650 20458 1 190.0000 162.6576 16.81%
2166.22/2173.56 c 2174 66831 20509 1 190.0000 162.6604 16.81%
2171.82/2179.15 c 2179 67003 20565 1 190.0000 162.6614 16.81%
2178.08/2185.46 c 2185 67203 20609 1 190.0000 162.6625 16.81%
2184.16/2191.50 c 2192 67403 20671 1 190.0000 162.6649 16.80%
2189.95/2197.33 c 2197 67680 20752 1 190.0000 162.6689 16.80%
2195.53/2202.91 c 2203 67846 20830 1 190.0000 162.6718 16.80%
2201.21/2208.67 c 2209 68053 20905 1 190.0000 162.6736 16.80%
2206.29/2213.79 c 2214 68291 20975 1 190.0000 162.6748 16.80%
2211.58/2219.02 c 2219 68451 21013 1 190.0000 162.6780 16.80%
2216.76/2224.28 c 2224 68691 21067 1 190.0000 162.6804 16.79%
2223.04/2230.55 c 2231 68941 21129 1 190.0000 162.6818 16.79%
2228.42/2235.99 c 2236 69161 21183 1 190.0000 162.6831 16.79%
2233.70/2241.29 c 2241 69344 21224 1 190.0000 162.6845 16.79%
2238.98/2246.50 c 2246 69541 21311 1 190.0000 162.6860 16.79%
2244.36/2252.01 c 2252 69685 21389 1 190.0000 162.6887 16.79%
2250.64/2258.22 c 2258 69903 21463 1 190.0000 162.6903 16.79%
2255.63/2263.27 c 2263 70127 21533 1 190.0000 162.6916 16.79%
2261.31/2268.97 c 2269 70361 21581 1 190.0000 162.6929 16.78%
2266.59/2274.25 c 2274 70507 21649 1 190.0000 162.6943 16.78%
2271.77/2279.47 c 2279 70633 21713 1 190.0000 162.6953 16.78%
2277.36/2285.06 c 2285 70938 21788 1 190.0000 162.6965 16.78%
2283.24/2290.91 c 2291 71196 21878 1 190.0000 162.6999 16.78%
2289.43/2297.14 c 2297 71391 21951 1 190.0000 162.7025 16.78%
2295.41/2303.13 c 2303 71631 22017 1 190.0000 162.7034 16.78%
2301.17/2308.96 c 2309 71801 22083 1 190.0000 162.7058 16.78%
2306.37/2314.12 c 2314 71991 22171 1 190.0000 162.7076 16.77%
2312.04/2319.83 c 2320 72205 22233 1 190.0000 162.7091 16.77%
2317.02/2324.85 c 2325 72347 22293 1 190.0000 162.7120 16.77%
2322.00/2329.87 c 2330 72671 22337 1 190.0000 162.7138 16.77%
2327.68/2335.57 c 2336 72798 22410 1 190.0000 162.7175 16.77%
2333.19/2341.06 c 2341 73043 22497 1 190.0000 162.7196 16.77%
2338.95/2346.86 c 2347 73381 22545 1 190.0000 162.7215 16.76%
2344.53/2352.50 c 2352 73631 22611 1 190.0000 162.7236 16.76%
2350.22/2358.13 c 2358 73844 22672 1 190.0000 162.7250 16.76%
2355.89/2363.85 c 2364 74133 22731 1 190.0000 162.7265 16.76%
2361.38/2369.32 c 2369 74441 22805 1 190.0000 162.7267 16.76%
2367.26/2375.26 c 2375 74789 22897 1 190.0000 162.7288 16.76%
2372.44/2380.47 c 2380 75054 22958 1 190.0000 162.7295 16.76%
2378.03/2386.04 c 2386 75386 23006 1 190.0000 162.7305 16.76%
2383.90/2391.97 c 2392 75612 23078 1 190.0000 162.7329 16.76%
2389.28/2397.36 c 2397 75784 23142 1 190.0000 162.7362 16.75%
2394.36/2402.41 c 2402 75931 23197 1 190.0000 162.7392 16.75%
2399.65/2407.78 c 2408 76174 23248 1 190.0000 162.7401 16.75%
2405.23/2413.32 c 2413 76436 23346 1 190.0000 162.7426 16.75%
2410.31/2418.48 c 2418 76571 23405 1 190.0000 162.7450 16.75%
2415.70/2423.84 c 2424 76781 23477 1 190.0000 162.7474 16.75%
2420.78/2428.91 c 2429 76976 23548 1 190.0000 162.7487 16.74%
2426.36/2434.59 c 2435 77202 23638 1 190.0000 162.7494 16.74%
2431.34/2439.59 c 2440 77481 23715 1 190.0000 162.7514 16.74%
2437.13/2445.37 c 2445 77871 23779 1 190.0000 162.7526 16.74%
2443.01/2451.23 c 2451 78138 23850 1 190.0000 162.7544 16.74%
2447.99/2456.27 c 2456 78321 23901 1 190.0000 162.7556 16.74%
2453.37/2461.66 c 2462 78551 23953 1 190.0000 162.7573 16.74%
2458.46/2466.74 c 2467 78781 24017 1 190.0000 162.7578 16.74%
2464.23/2472.53 c 2473 78943 24097 1 190.0000 162.7591 16.74%
2470.12/2478.45 c 2478 79205 24191 1 190.0000 162.7631 16.73%
2475.10/2483.48 c 2483 79283 24241 1 190.0000 162.7648 16.73%
2481.48/2489.89 c 2490 79613 24327 1 190.0000 162.7661 16.73%
2486.77/2495.14 c 2495 79771 24389 1 190.0000 162.7669 16.73%
2492.34/2500.73 c 2501 80037 24513 1 190.0000 162.7680 16.73%
2497.33/2505.75 c 2506 80451 24581 1 190.0000 162.7705 16.73%
2503.11/2511.58 c 2512 80770 24656 1 190.0000 162.7714 16.73%
2508.39/2516.86 c 2517 80971 24719 1 190.0000 162.7727 16.73%
2510.29/2518.77 c * 2519 80992 24730 1 189.0000 162.7727 16.11%
2513.97/2522.48 c 2522 81211 23468 1 189.0000 162.7747 16.11%
2519.85/2528.32 c 2528 81463 23560 1 189.0000 162.7750 16.11%
2525.14/2533.61 c 2534 81711 23626 1 189.0000 162.7775 16.11%
2530.63/2539.18 c 2539 81971 23696 1 189.0000 162.7782 16.11%
2536.20/2544.70 c 2545 82164 23775 1 189.0000 162.7790 16.11%
2541.98/2550.52 c 2551 82363 23828 1 189.0000 162.7793 16.11%
2547.57/2556.18 c 2556 82628 23893 1 189.0000 162.7806 16.11%
2553.35/2561.90 c 2562 82943 23946 1 189.0000 162.7818 16.11%
2558.73/2567.33 c 2567 83213 23998 1 189.0000 162.7828 16.11%
2564.70/2573.30 c 2573 83491 24076 1 189.0000 162.7848 16.10%
2569.69/2578.31 c 2578 83641 24132 1 189.0000 162.7866 16.10%
2575.17/2583.85 c 2584 83811 24206 1 189.0000 162.7889 16.10%
2580.25/2588.96 c 2589 83940 24275 1 189.0000 162.7898 16.10%
2586.13/2594.82 c 2595 84231 24348 1 189.0000 162.7919 16.10%
2591.52/2600.29 c 2600 84472 24425 1 189.0000 162.7937 16.10%
2596.90/2605.65 c 2606 84641 24474 1 189.0000 162.7954 16.10%
2602.88/2611.60 c 2612 84883 24554 1 189.0000 162.7970 16.10%
2608.38/2617.17 c 2617 85303 24638 1 189.0000 162.7984 16.09%
2613.45/2622.25 c 2622 85571 24696 1 189.0000 162.7998 16.09%
2618.64/2627.42 c 2627 85821 24762 1 189.0000 162.8005 16.09%
2624.33/2633.14 c 2633 86045 24824 1 189.0000 162.8015 16.09%
2630.10/2638.91 c 2639 86293 24882 1 189.0000 162.8032 16.09%
2635.58/2644.49 c 2644 86489 24944 1 189.0000 162.8047 16.09%
2641.36/2650.22 c 2650 86781 24978 1 189.0000 162.8059 16.09%
2646.94/2655.85 c 2656 86961 25054 1 189.0000 162.8089 16.09%
2652.42/2661.32 c 2661 87180 25169 1 189.0000 162.8098 16.09%
2657.61/2666.56 c 2667 87461 25284 1 189.0000 162.8119 16.08%
2662.59/2671.58 c 2672 87653 25340 1 189.0000 162.8134 16.08%
2668.19/2677.14 c 2677 87945 25406 1 189.0000 162.8150 16.08%
2673.55/2682.57 c 2683 88151 25466 1 189.0000 162.8164 16.08%
2679.44/2688.40 c 2688 88323 25528 1 189.0000 162.8173 16.08%
2685.42/2694.45 c 2694 88513 25610 1 189.0000 162.8196 16.08%
2690.60/2699.61 c 2700 88791 25682 1 189.0000 162.8202 16.08%
2695.59/2704.68 c 2705 89033 25756 1 189.0000 162.8205 16.08%
2701.47/2710.58 c 2711 89361 25806 1 189.0000 162.8213 16.08%
2707.25/2716.37 c 2716 89598 25873 1 189.0000 162.8223 16.08%
2712.43/2721.53 c 2722 89800 25915 1 189.0000 162.8227 16.08%
2717.52/2726.61 c 2727 90030 25973 1 189.0000 162.8242 16.08%
2723.20/2732.34 c 2732 90240 26039 1 189.0000 162.8249 16.08%
2728.18/2737.39 c 2737 90443 26072 1 189.0000 162.8258 16.07%
2733.97/2743.16 c 2743 90661 26162 1 189.0000 162.8267 16.07%
2739.86/2749.07 c 2749 90987 26242 1 189.0000 162.8280 16.07%
2745.42/2754.65 c 2755 91231 26340 1 189.0000 162.8289 16.07%
2750.61/2759.84 c 2760 91424 26395 1 189.0000 162.8303 16.07%
2755.69/2765.01 c 2765 91651 26454 1 189.0000 162.8313 16.07%
2761.26/2770.59 c 2771 91941 26502 1 189.0000 162.8317 16.07%
2766.64/2775.97 c 2776 92194 26537 1 189.0000 162.8320 16.07%
2772.33/2781.67 c 2782 92376 26609 1 189.0000 162.8330 16.07%
2777.61/2786.95 c 2787 92581 26680 1 189.0000 162.8350 16.07%
2783.49/2792.80 c 2793 92832 26761 1 189.0000 162.8356 16.07%
2789.27/2798.60 c 2799 93172 26847 1 189.0000 162.8369 16.07%
2794.67/2804.02 c 2804 93601 26892 1 189.0000 162.8387 16.07%
2799.83/2809.24 c 2809 93771 26960 1 189.0000 162.8393 16.07%
2806.12/2815.59 c 2816 93931 27042 1 189.0000 162.8405 16.06%
2812.00/2821.42 c 2821 94149 27138 1 189.0000 162.8410 16.06%
2817.70/2827.14 c 2827 94448 27227 1 189.0000 162.8426 16.06%
2823.16/2832.60 c 2833 94820 27305 1 189.0000 162.8437 16.06%
2828.34/2837.89 c 2838 94991 27368 1 189.0000 162.8453 16.06%
2833.63/2843.16 c 2843 95243 27416 1 189.0000 162.8456 16.06%
2839.52/2849.04 c 2849 95549 27488 1 189.0000 162.8468 16.06%
2845.19/2854.74 c 2855 95821 27556 1 189.0000 162.8475 16.06%
2850.58/2860.17 c 2860 96008 27619 1 189.0000 162.8484 16.06%
2855.75/2865.39 c 2865 96221 27676 1 189.0000 162.8490 16.06%
2860.93/2870.50 c 2870 96457 27764 1 189.0000 162.8494 16.06%
2866.42/2876.05 c 2876 96803 27846 1 189.0000 162.8502 16.06%
2872.00/2881.63 c 2882 97101 27942 1 189.0000 162.8519 16.06%
2877.28/2886.97 c 2887 97325 28020 1 189.0000 162.8532 16.06%
2882.66/2892.33 c 2892 97561 28100 1 189.0000 162.8542 16.05%
2887.74/2897.41 c 2897 97811 28172 1 189.0000 162.8544 16.05%
2892.82/2902.55 c 2903 97993 28228 1 189.0000 162.8563 16.05%
2898.20/2907.96 c 2908 98223 28304 1 189.0000 162.8580 16.05%
2903.48/2913.25 c 2913 98464 28361 1 189.0000 162.8582 16.05%
2909.17/2918.93 c 2919 98781 28420 1 189.0000 162.8592 16.05%
2914.27/2924.05 c 2924 99038 28509 1 189.0000 162.8609 16.05%
2920.13/2930.01 c 2930 99278 28555 1 189.0000 162.8618 16.05%
2926.41/2936.23 c 2936 99513 28632 1 189.0000 162.8641 16.05%
2932.09/2941.96 c 2942 99765 28690 1 189.0000 162.8652 16.05%
2937.67/2947.57 c 2948 100011 28760 1 189.0000 162.8664 16.05%
2942.85/2952.71 c 2953 100141 28832 1 189.0000 162.8668 16.05%
2948.25/2958.16 c 2958 100323 28900 1 189.0000 162.8677 16.05%
2953.42/2963.34 c 2963 100588 28941 1 189.0000 162.8687 16.04%
2959.29/2969.28 c 2969 100749 29028 1 189.0000 162.8700 16.04%
2964.88/2974.90 c 2975 101041 29068 1 189.0000 162.8705 16.04%
2970.08/2980.02 c 2980 101393 29106 1 189.0000 162.8708 16.04%
2976.05/2986.05 c 2986 101613 29174 1 189.0000 162.8719 16.04%
2981.14/2991.12 c 2991 101911 29240 1 189.0000 162.8721 16.04%
2986.80/2996.85 c 2997 102161 29308 1 189.0000 162.8731 16.04%
2992.78/3002.82 c 3003 102453 29362 1 189.0000 162.8738 16.04%
2998.27/3008.36 c 3008 102705 29452 1 189.0000 162.8746 16.04%
3004.07/3014.19 c 3014 103024 29513 1 189.0000 162.8758 16.04%
3009.34/3019.48 c 3019 103261 29582 1 189.0000 162.8768 16.04%
3014.72/3024.87 c 3025 103403 29646 1 189.0000 162.8772 16.04%
3019.80/3029.92 c 3030 103711 29698 1 189.0000 162.8776 16.04%
3024.78/3034.96 c 3035 103831 29758 1 189.0000 162.8793 16.04%
3029.77/3039.98 c 3040 104061 29842 1 189.0000 162.8805 16.04%
3034.86/3045.09 c 3045 104348 29897 1 189.0000 162.8812 16.04%
3040.34/3050.58 c 3051 104621 29944 1 189.0000 162.8824 16.03%
3045.72/3055.90 c 3056 104754 30005 1 189.0000 162.8834 16.03%
3051.20/3061.45 c 3061 105001 30076 1 189.0000 162.8840 16.03%
3057.18/3067.46 c 3067 105170 30141 1 189.0000 162.8850 16.03%
3062.56/3072.80 c 3073 105430 30195 1 189.0000 162.8857 16.03%
3067.64/3077.90 c 3078 105584 30265 1 189.0000 162.8865 16.03%
3072.74/3083.07 c 3083 105801 30298 1 189.0000 162.8883 16.03%
3076.21/3086.53 c * 3087 105874 30331 1 188.0000 162.8885 15.42%
3078.01/3088.30 c 3088 105941 27438 1 188.0000 162.8889 15.42%
3083.71/3094.05 c 3094 106121 27498 1 188.0000 162.8901 15.42%
3089.58/3099.99 c 3100 106291 27558 1 188.0000 162.8903 15.42%
3094.86/3105.22 c 3105 106451 27582 1 188.0000 162.8919 15.41%
3100.04/3110.47 c 3110 106591 27626 1 188.0000 162.8934 15.41%
3105.82/3116.25 c 3116 106751 27666 1 188.0000 162.8954 15.41%
3111.20/3121.68 c 3122 106901 27712 1 188.0000 162.8971 15.41%
3116.88/3127.32 c 3127 107182 27749 1 188.0000 162.8979 15.41%
3121.97/3132.47 c 3132 107461 27786 1 188.0000 162.8992 15.41%
3127.25/3137.77 c 3138 107811 27914 1 188.0000 162.8998 15.41%
3132.33/3142.84 c 3143 108091 27988 1 188.0000 162.9005 15.41%
3137.43/3147.99 c 3148 108291 28052 1 188.0000 162.9008 15.41%
3142.61/3153.17 c 3153 108501 28104 1 188.0000 162.9018 15.41%
3147.78/3158.32 c 3158 108661 28178 1 188.0000 162.9032 15.41%
3152.76/3163.37 c 3163 108871 28236 1 188.0000 162.9042 15.41%
3152.96/3163.57 c * 3164 108871 28236 1 187.0000 162.9042 14.79%
3153.06/3163.63 c * 3164 108871 28236 1 186.0000 162.9042 14.18%
3158.65/3169.28 c 3169 109122 26071 1 186.0000 162.9048 14.18%
3163.83/3174.48 c 3174 109351 26130 1 186.0000 162.9056 14.18%
3169.71/3180.34 c 3180 109637 26180 1 186.0000 162.9063 14.18%
3175.40/3186.03 c 3186 109875 26228 1 186.0000 162.9070 14.18%
3181.18/3191.82 c 3192 110155 26304 1 186.0000 162.9076 14.18%
3186.26/3196.90 c 3197 110581 26374 1 186.0000 162.9085 14.17%
3191.24/3201.95 c 3202 110701 26420 1 186.0000 162.9092 14.17%
3196.22/3207.01 c 3207 110891 26502 1 186.0000 162.9104 14.17%
3201.90/3212.65 c 3213 111131 26596 1 186.0000 162.9108 14.17%
3207.09/3217.82 c 3218 111342 26677 1 186.0000 162.9112 14.17%
3212.38/3223.12 c 3223 111571 26738 1 186.0000 162.9119 14.17%
3218.15/3228.92 c 3229 111781 26806 1 186.0000 162.9130 14.17%
3223.64/3234.44 c 3234 111991 26876 1 186.0000 162.9136 14.17%
3229.33/3240.15 c 3240 112211 26970 1 186.0000 162.9142 14.17%
3234.50/3245.33 c 3245 112420 27041 1 186.0000 162.9145 14.17%
3239.59/3250.47 c 3250 112681 27098 1 186.0000 162.9156 14.17%
3245.07/3255.93 c 3256 112861 27176 1 186.0000 162.9173 14.17%
3250.27/3261.17 c 3261 113101 27234 1 186.0000 162.9176 14.17%
3255.53/3266.43 c 3266 113273 27282 1 186.0000 162.9179 14.17%
3260.92/3271.89 c 3272 113468 27375 1 186.0000 162.9192 14.17%
3266.60/3277.54 c 3278 113761 27448 1 186.0000 162.9203 14.17%
3272.29/3283.21 c 3283 113973 27524 1 186.0000 162.9206 14.17%
3277.47/3288.43 c 3288 114179 27604 1 186.0000 162.9217 14.17%
3282.85/3293.80 c 3294 114371 27686 1 186.0000 162.9225 14.16%
3288.63/3299.69 c 3300 114621 27752 1 186.0000 162.9230 14.16%
3294.03/3305.10 c 3305 114841 27834 1 186.0000 162.9236 14.16%
3299.89/3310.98 c 3311 115053 27912 1 186.0000 162.9239 14.16%
3304.99/3316.06 c 3316 115281 27960 1 186.0000 162.9251 14.16%
3310.76/3321.88 c 3322 115593 28056 1 186.0000 162.9259 14.16%
3316.23/3327.37 c 3327 115921 28130 1 186.0000 162.9267 14.16%
3322.32/3333.46 c 3333 116263 28200 1 186.0000 162.9273 14.16%
3327.80/3338.95 c 3339 116601 28256 1 186.0000 162.9292 14.16%
3332.90/3344.05 c 3344 116861 28300 1 186.0000 162.9303 14.16%
3338.27/3349.43 c 3349 117054 28375 1 186.0000 162.9307 14.16%
3343.75/3354.99 c 3355 117301 28452 1 186.0000 162.9321 14.16%
3349.63/3360.89 c 3361 117469 28544 1 186.0000 162.9331 14.16%
3354.92/3366.16 c 3366 117682 28593 1 186.0000 162.9336 14.16%
3360.08/3371.32 c 3371 117991 28636 1 186.0000 162.9346 14.16%
3365.56/3376.84 c 3377 118271 28688 1 186.0000 162.9348 14.16%
3370.65/3381.93 c 3382 118501 28746 1 186.0000 162.9353 14.16%
3376.23/3387.58 c 3388 118775 28814 1 186.0000 162.9359 14.16%
3382.01/3393.35 c 3393 119081 28888 1 186.0000 162.9373 14.15%
3387.59/3398.92 c 3399 119321 28972 1 186.0000 162.9379 14.15%
3393.57/3404.90 c 3405 119544 29035 1 186.0000 162.9388 14.15%
3398.56/3409.96 c 3410 119911 29060 1 186.0000 162.9398 14.15%
3404.44/3415.89 c 3416 120111 29144 1 186.0000 162.9403 14.15%
3410.22/3421.68 c 3422 120298 29229 1 186.0000 162.9407 14.15%
3415.51/3426.99 c 3427 120573 29282 1 186.0000 162.9411 14.15%
3420.70/3432.18 c 3432 120841 29332 1 186.0000 162.9414 14.15%
3426.17/3437.69 c 3438 121074 29411 1 186.0000 162.9418 14.15%
3431.85/3443.34 c 3443 121331 29464 1 186.0000 162.9420 14.15%
3437.65/3449.15 c 3449 121559 29524 1 186.0000 162.9427 14.15%
3443.22/3454.78 c 3455 121848 29559 1 186.0000 162.9431 14.15%
3448.30/3459.84 c 3460 122111 29598 1 186.0000 162.9436 14.15%
3453.29/3464.86 c 3465 122391 29658 1 186.0000 162.9441 14.15%
3458.77/3470.32 c 3470 122701 29714 1 186.0000 162.9446 14.15%
3463.85/3475.42 c 3475 123010 29773 1 186.0000 162.9447 14.15%
3469.13/3480.77 c 3481 123201 29848 1 186.0000 162.9453 14.15%
3474.22/3485.80 c 3486 123341 29902 1 186.0000 162.9461 14.15%
3480.00/3491.62 c 3492 123601 29978 1 186.0000 162.9468 14.15%
3485.39/3497.04 c 3497 123841 30052 1 186.0000 162.9475 14.15%
3490.37/3502.10 c 3502 124021 30104 1 186.0000 162.9481 14.15%
3495.54/3507.22 c 3507 124231 30134 1 186.0000 162.9487 14.15%
3501.02/3512.78 c 3513 124501 30196 1 186.0000 162.9491 14.15%
3506.81/3518.59 c 3519 124731 30256 1 186.0000 162.9496 14.15%
3511.89/3523.63 c 3524 124877 30330 1 186.0000 162.9498 14.15%
3517.77/3529.54 c 3530 125151 30438 1 186.0000 162.9506 14.15%
3522.95/3534.79 c 3535 125421 30492 1 186.0000 162.9510 14.14%
3528.93/3540.77 c 3541 125683 30556 1 186.0000 162.9517 14.14%
3534.51/3546.34 c 3546 125981 30612 1 186.0000 162.9523 14.14%
3539.60/3551.40 c 3551 126160 30683 1 186.0000 162.9530 14.14%
3544.58/3556.44 c 3556 126351 30738 1 186.0000 162.9543 14.14%
3550.46/3562.39 c 3562 126571 30826 1 186.0000 162.9545 14.14%
3555.64/3567.56 c 3568 126763 30892 1 186.0000 162.9551 14.14%
3560.73/3572.62 c 3573 127051 30934 1 186.0000 162.9558 14.14%
3566.61/3578.54 c 3579 127281 31018 1 186.0000 162.9571 14.14%
3571.69/3583.66 c 3584 127491 31082 1 186.0000 162.9583 14.14%
3577.57/3589.57 c 3590 127800 31145 1 186.0000 162.9594 14.14%
3583.16/3595.12 c 3595 128001 31226 1 186.0000 162.9603 14.14%
3586.15/3598.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.15/3598.20 c Total Time : 3598.19
3586.15/3598.20 c solving : 3598.19
3586.15/3598.20 c presolving : 0.05 (included in solving)
3586.15/3598.20 c B&B Tree :
3586.15/3598.20 c nodes (total) : 1
3586.15/3598.20 c Solution :
3586.15/3598.20 c Solutions found : 17
3586.15/3598.20 c Primal Bound : +1.86000000000000e+02
3586.15/3598.20 c Dual Bound : +1.62960330808861e+02
3586.15/3598.20 c Gap : 14.13821 %
3586.15/3598.20 c * Warning: final gap: 1.41382e-01 is greater than SCIPepsilon: 1.00000e-09
3586.15/3598.20 o 186
3586.15/3598.20 s SATISFIABLE
3586.15/3598.20 v x473 -x472 x471 -x470 x469 -x468 -x467 -x466 x465 x464 x463 -x462 -x461 -x460 x459 x458 -x457 -x456 x455 x454 -x453 x452 -x451
3586.15/3598.20 v x450 -x449 -x448 -x447 -x446 x445 x444 -x443 x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 x430 x429 x428
3586.15/3598.20 v x427 -x426 x425 x424 -x423 x422 x421 -x420 -x419 -x418 x417 -x416 x415 -x414 x413 x412 -x411 x410 x409 x408 -x407 -x406 x405
3586.15/3598.20 v -x404 -x403 -x402 -x401 -x400 x399 -x398 x397 x396 x395 -x394 x393 -x392 x391 -x390 -x389 -x388 -x387 x386 x385 -x384 x383
3586.15/3598.20 v -x382 -x381 -x380 x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 x370 x369 -x368 x367 -x366 -x365 -x364 -x363 x362 -x361
3586.15/3598.20 v -x360 -x359 x358 -x357 x356 x355 -x354 -x353 -x352 x351 -x350 x349 -x348 x347 x346 -x345 x344 -x343 -x342 -x341 -x340 -x339
3586.15/3598.20 v -x338 x337 -x336 x335 -x334 x333 x332 -x331 x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 x317 x316
3586.15/3598.20 v x315 -x314 -x313 -x312 x311 x310 x309 -x308 x307 x306 x305 x304 -x303 -x302 -x301 x300 x299 x298 x297 x296 -x295 -x294 -x293
3586.15/3598.20 v -x292 x291 x290 x289 -x288 x287 -x286 x285 x284 -x283 -x282 x281 -x280 x279 -x278 -x277 -x276 -x275 x274 x273 -x272 -x271
3586.15/3598.20 v x270 -x269 -x268 -x267 -x266 x265 x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
3586.15/3598.20 v x248 -x247 -x246 -x245 -x244 x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 x227
3586.15/3598.20 v x226 x225 x224 x223 x222 -x221 x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 x211 x210 -x209 x208 x207 -x206 x205 -x204
3586.15/3598.20 v x203 x202 x201 -x200 -x199 x198 x197 -x196 x195 x194 -x193 -x192 x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
3586.15/3598.20 v -x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 x172 -x171 x170 x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160
3586.15/3598.20 v -x159 x158 -x157 -x156 x155 x154 x153 -x152 -x151 -x150 x149 x148 -x147 -x146 -x145 x144 -x143 x142 x141 -x140 x139 -x138 -x137
3586.15/3598.20 v -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 x117 -x116
3586.15/3598.20 v x115 -x114 x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 x99 -x98 x97 x96 x95 -x94 x93 x92
3586.15/3598.20 v -x91 x90 -x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 x71 -x70 -x69 x68 x67 x66 -x65
3586.15/3598.20 v x64 -x63 -x62 -x61 x60 x59 -x58 x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 x44 -x43 x42 x41 x40 x39 x38
3586.15/3598.20 v -x37 x36 -x35 -x34 -x33 -x32 x31 -x30 x29 -x28 -x27 -x26 x25 x24 -x23 x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11
3586.15/3598.20 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (54614 MiB free)
memory of node 1: 64473 MiB (60867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463980-1722378596/watcher-4463980-1722378596 -o /tmp/evaluation-result-4463980-1722378596/solver-4463980-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463980-1722378596.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28817, runsolver pid=28810
[startup+0.100088 s]*
/proc/loadavg: 0.13 0.12 0.09 6/251 28822
/proc/meminfo: memFree=118226588/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=112408 memory=25156 CPUtime=0.11 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 3801 0 0 0 10 1 0 0 20 0 3 0 4457243 115105792 6289 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 28102 6289 2806 3035 0 9748 0
[pid=28817/tid=28819] ppid=28810 vsize=112408 memory=4026561586 CPUtime=0.03 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 1372 0 0 0 3 0 0 0 20 0 3 0 4457250 115105792 6289 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=112408 memory=232851243367 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 115105792 6289 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 112408 KiB
Current children cumulated memory: 25156 KiB
[startup+0.213813 s]*
/proc/loadavg: 0.13 0.12 0.09 5/251 28822
/proc/meminfo: memFree=118219268/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=112408 memory=28524 CPUtime=0.22 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 4512 0 0 0 21 1 0 0 20 0 3 0 4457243 115105792 7131 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 28102 7131 2934 3035 0 10459 0
[pid=28817/tid=28819] ppid=28810 vsize=112408 memory=8026368251766898819 CPUtime=0.14 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 2083 0 0 0 14 0 0 0 20 0 3 0 4457250 115105792 7131 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=112408 memory=3617 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 115105792 7131 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 112408 KiB
Current children cumulated memory: 28524 KiB
[startup+0.313572 s]*
/proc/loadavg: 0.13 0.12 0.09 7/251 28822
/proc/meminfo: memFree=118218384/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=112408 memory=28788 CPUtime=0.32 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 4543 0 0 0 31 1 0 0 20 0 3 0 4457243 115105792 7197 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 28102 7197 2934 3035 0 10508 0
[pid=28817/tid=28819] ppid=28810 vsize=112408 memory=-5155635708196842629 CPUtime=0.23 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 2114 0 0 0 23 0 0 0 20 0 3 0 4457250 115105792 7197 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=112408 memory=0 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 115105792 7197 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 112408 KiB
Current children cumulated memory: 28788 KiB
[startup+0.700394 s]
/proc/loadavg: 0.13 0.12 0.09 6/252 28823
/proc/meminfo: memFree=118169716/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=112408 memory=29052 CPUtime=0.69 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 4610 0 0 0 68 1 0 0 20 0 3 0 4457243 115105792 7263 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 28102 7263 2934 3035 0 10591 0
[pid=28817/tid=28819] ppid=28810 vsize=112408 memory=0 CPUtime=0.61 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 2181 0 0 0 61 0 0 0 20 0 3 0 4457250 115105792 7263 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=112408 memory=0 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 115105792 7263 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112408 KiB
Current children cumulated memory: 29052 KiB
[startup+1.50043 s]
/proc/loadavg: 0.13 0.12 0.09 6/253 28826
/proc/meminfo: memFree=118074108/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=117668 memory=45700 CPUtime=1.48 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 10296 0 0 0 146 2 0 0 20 0 3 0 4457243 120492032 11425 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 29417 11425 2950 3035 0 14759 0
[pid=28817/tid=28819] ppid=28810 vsize=117668 memory=0 CPUtime=1.4 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 7867 0 0 0 139 1 0 0 20 0 3 0 4457250 120492032 11425 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=117668 memory=0 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457252 120492032 11425 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117668 KiB
Current children cumulated memory: 45700 KiB
[startup+3.11334 s]
/proc/loadavg: 0.44 0.18 0.11 6/253 28826
/proc/meminfo: memFree=117730588/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=206028 memory=156396 CPUtime=3.09 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 39222 0 0 0 302 7 0 0 20 0 3 0 4457243 210972672 39099 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 51507 39099 2950 3035 0 43242 0
[pid=28817/tid=28819] ppid=28810 vsize=206028 memory=0 CPUtime=3.01 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 36791 0 0 0 295 6 0 0 20 0 3 0 4457250 210972672 39099 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=206028 memory=4417 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4457252 210972672 39099 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 206028 KiB
Current children cumulated memory: 156396 KiB
[startup+6.30031 s]
/proc/loadavg: 0.44 0.18 0.11 6/253 28826
/proc/meminfo: memFree=117721628/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=206028 memory=160360 CPUtime=6.26 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 43450 0 0 0 619 7 0 0 20 0 3 0 4457243 210972672 40090 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 51507 40090 2950 3035 0 44367 0
[pid=28817/tid=28819] ppid=28810 vsize=206028 memory=159324 CPUtime=6.19 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 40980 0 0 0 612 7 0 0 20 0 3 0 4457250 210972672 40090 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=206028 memory=0 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4457252 210972672 40090 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 206028 KiB
Current children cumulated memory: 160360 KiB
[startup+12.7003 s]
/proc/loadavg: 0.98 0.31 0.15 6/253 28827
/proc/meminfo: memFree=117680580/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=206028 memory=160632 CPUtime=12.64 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 46943 0 0 0 1257 7 0 0 20 0 3 0 4457243 210972672 40158 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 51507 40158 2998 3035 0 44367 0
[pid=28817/tid=28819] ppid=28810 vsize=206028 memory=160632 CPUtime=12.57 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 44428 0 0 0 1250 7 0 0 20 0 3 0 4457250 210972672 40158 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=206028 memory=0 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4457252 210972672 40158 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 206028 KiB
Current children cumulated memory: 160632 KiB
[startup+25.5004 s]
/proc/loadavg: 1.52 0.45 0.20 6/257 28889
/proc/meminfo: memFree=117575872/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=267940 memory=209652 CPUtime=25.4 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 110606 0 0 0 2528 12 0 0 20 0 3 0 4457243 274370560 52413 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 66985 52413 2998 3035 0 56685 0
[pid=28817/tid=28819] ppid=28810 vsize=267940 memory=209336 CPUtime=25.32 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 107831 0 0 0 2521 11 0 0 20 0 3 0 4457250 274370560 52413 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=267940 memory=12160 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4457252 274370560 52413 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 267940 KiB
Current children cumulated memory: 209652 KiB
[startup+51.1138 s]
/proc/loadavg: 2.45 0.75 0.31 6/257 28893
/proc/meminfo: memFree=117511424/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=267940 memory=209660 CPUtime=50.93 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 142234 0 0 0 5079 14 0 0 20 0 3 0 4457243 274370560 52415 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 66985 52415 2998 3035 0 56685 0
[pid=28817/tid=28819] ppid=28810 vsize=267940 memory=209660 CPUtime=50.84 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 139212 0 0 0 5071 13 0 0 20 0 3 0 4457250 274370560 52415 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=267940 memory=209656 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4457252 274370560 52415 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 267940 KiB
Current children cumulated memory: 209660 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.31 0.53 6/257 28902
/proc/meminfo: memFree=117435176/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=265892 memory=231244 CPUtime=101.94 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 212628 0 0 0 10174 20 0 0 20 0 3 0 4457243 272273408 57811 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 66473 57811 2998 3035 0 61772 0
[pid=28817/tid=28819] ppid=28810 vsize=265892 memory=12160 CPUtime=101.86 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 209506 0 0 0 10167 19 0 0 20 0 3 0 4457250 272273408 57811 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=265892 memory=207640 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4457252 272273408 57811 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 265892 KiB
Current children cumulated memory: 231244 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.83 0.76 6/257 28914
/proc/meminfo: memFree=117288408/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=331428 memory=284708 CPUtime=161.75 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 277931 0 0 0 16148 27 0 0 20 0 3 0 4457243 339382272 71177 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 82857 71177 2998 3035 0 75012 0
[pid=28817/tid=28819] ppid=28810 vsize=331428 memory=284696 CPUtime=161.64 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 274741 0 0 0 16139 25 0 0 20 0 3 0 4457250 339382272 71177 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=331428 memory=284708 CPUtime=0 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4457252 339382272 71177 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 331428 KiB
################
# More data... #
################
/proc/28817/statm: 118488 98586 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=394344 CPUtime=3450.32 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 665111 0 0 0 344926 106 0 0 20 0 3 0 4457250 485326848 98586 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=394344 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 145 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98586 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.33 4.19 6/250 30711
/proc/meminfo: memFree=116718772/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394344 CPUtime=3510.59 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 672637 0 0 0 350935 124 0 0 20 0 3 0 4457243 485326848 98586 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98586 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=394344 CPUtime=3510.12 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 668737 0 0 0 350905 107 0 0 20 0 3 0 4457250 485326848 98586 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=12660 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 147 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98586 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3510.59 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394344 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.28 4.18 6/250 30722
/proc/meminfo: memFree=116715540/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3570.39 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 676201 0 0 0 356914 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=2248 CPUtime=3569.9 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 672292 0 0 0 356883 107 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=394364 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 149 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3570.39 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3598.2 s]
# the end of solver process 28817 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.99 s, system=1.26366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.28 4.18 6/250 30723
/proc/meminfo: memFree=116715232/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3572.1 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 676207 0 0 0 357085 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=-7668622482090321278 CPUtime=3571.61 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 672298 0 0 0 357054 107 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=2732 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 149 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.27 4.18 6/250 30723
/proc/meminfo: memFree=116715500/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3578.47 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 676400 0 0 0 357722 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=394364 CPUtime=3577.98 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 672487 0 0 0 357691 107 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=4138689981814828702 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3578.47 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.27 4.18 6/250 30724
/proc/meminfo: memFree=116715480/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3581.66 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 678810 0 0 0 358041 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=394364 CPUtime=3581.17 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 674897 0 0 0 358009 108 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=394364 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.27 4.18 6/250 30724
/proc/meminfo: memFree=116715484/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3583.25 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 678821 0 0 0 358200 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=12952 CPUtime=3582.77 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 674908 0 0 0 358169 108 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=12660 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.27 4.18 6/250 30724
/proc/meminfo: memFree=116715460/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3584.84 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 678842 0 0 0 358359 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=280446063857424 CPUtime=3584.36 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 674929 0 0 0 358328 108 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=358245 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3584.84 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.27 4.18 6/244 30732
/proc/meminfo: memFree=116728348/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3585.64 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 678842 0 0 0 358439 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=5412 CPUtime=3585.16 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 674929 0 0 0 358408 108 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=16076 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.26 4.18 6/251 30772
/proc/meminfo: memFree=116715144/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3586.05 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 678845 0 0 0 358480 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=-5155629089669540741 CPUtime=3585.57 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 674931 0 0 0 358449 108 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=4712 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
[startup+3598.11 s]
/proc/loadavg: 4.12 4.26 4.18 6/251 30772
/proc/meminfo: memFree=116715144/131655788 swapFree=131071996/131071996
[pid=28817] ppid=28810 vsize=473952 memory=394364 CPUtime=3586.15 cores=0,2
/proc/28817/stat : 28817 (fscip) S 28810 28817 28645 0 -1 1077936128 679921 0 0 0 358490 125 0 0 20 0 3 0 4457243 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
/proc/28817/statm: 118488 98591 2998 3035 0 101173 0
[pid=28817/tid=28819] ppid=28810 vsize=473952 memory=394364 CPUtime=3585.67 cores=0,2
/proc/28817/task/28819/stat : 28819 (fscip) R 28810 28817 28645 0 -1 4194368 676007 0 0 0 358459 108 0 0 20 0 3 0 4457250 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
[pid=28817/tid=28821] ppid=28810 vsize=473952 memory=12160 CPUtime=0.05 cores=0,2
/proc/28817/task/28821/stat : 28821 (fscip) S 28810 28817 28645 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 4457252 485326848 98591 134679101440 4194304 16623229 140728330000640 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56475648 140728330007574 140728330007690 140728330007690 140728330014704 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 473952 KiB
Current children cumulated memory: 394364 KiB
Child status: 0
Real time (s): 3598.2
CPU time (s): 3586.26
CPU user time (s): 3584.99
CPU system time (s): 1.26366
CPU usage (%): 99.668
Max. virtual memory (cumulated for all children) (KiB): 473952
Max. memory (cumulated for all children) (KiB): 394364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.99
system time used= 1.26366
maximum resident set size= 394364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680130
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= 12073
involuntary context switches= 25058
# summary of solver processes directly reported to runsolver:
# pid: 28817
# total CPU time (s): 3586.26
# total CPU user time (s): 3584.99
# total CPU system time (s): 1.26366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8948 second user time and 36.3797 second system time
The end
Begin job on nodeC009 at 2024-07-31 00:29:56
IDJOB=4463980
IDBENCH=147539
IDSOLVER=3092
FILE ID=nodeC009/4463980-1722378596
RUNJOBID= nodeC009-1722378594-28655
SLURM_JOB_ID= 8249839
Free space on /tmp= 723724 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463980-1722378596/watcher-4463980-1722378596 -o /tmp/evaluation-result-4463980-1722378596/solver-4463980-1722378596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722378594-28655 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463980-1722378596.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=1453536771
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.259
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.307
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.262
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2494.284
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2893.369
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.442
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.457
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 118254836 kB
MemAvailable: 129861504 kB
Buffers: 86264 kB
Cached: 12325664 kB
SwapCached: 0 kB
Active: 251128 kB
Inactive: 12651908 kB
Active(anon): 1464 kB
Inactive(anon): 510960 kB
Active(file): 249664 kB
Inactive(file): 12140948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 117188 kB
Writeback: 0 kB
AnonPages: 490640 kB
Mapped: 108892 kB
Shmem: 21320 kB
KReclaimable: 112508 kB
Slab: 193256 kB
SReclaimable: 112508 kB
SUnreclaim: 80748 kB
KernelStack: 3868 kB
PageTables: 9904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 844420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6880 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 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: 265032 kB
DirectMap2M: 12222464 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC009 at 2024-07-31 01:29:55