0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.10 c Default LC presolving (default).
0.00/0.10 c ** Before presolving: virtualMemUsedAtLc = 90953797, getVmSize() = 75083776, SCIPgetMemUsed() = 44521196, SCIPgetMemTotal() = 50542140, SCIPgetMemExternEstim() = 40411657
0.00/0.10 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.88/0.98 c ** Estimated virtualMemUsedAtSolver = 144286366, getVmSize() = 205365248, SCIPgetMemUsed() = 92891261, SCIPgetMemTotal() = 176017893, SCIPgetMemExternEstim() = 40411657
0.88/0.98 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.88/0.98 c Original Problem :
0.88/0.98 c Problem name : instance-4434714-1721058315
0.88/0.98 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
0.88/0.98 c Constraints : 41263
0.88/0.98 c Objective sense : minimize
0.88/0.98 c Presolved Problem :
0.88/0.98 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
0.88/0.98 c Constraints : 41263
0.88/0.98 c Constraints : Number
0.88/0.98 c setppc : 41263
0.88/0.98 c ** Instance transfer method used: 0
1.00/1.04 c ** ParaScipInstance copy does not increase the number of variables. **
1.09/1.14 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.09/1.14 c Nodes Active
1.09/1.14 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2.88/2.91 c * 3 0 1 1 -28.0000 - -
2.88/2.96 c * 3 0 1 1 -29.0000 - -
3.09/3.18 c * 3 0 1 1 -30.0000 - -
15.34/15.45 c 15 2 1 1 -30.0000 -40.0000 33.33%
20.63/20.78 c 21 18 17 1 -30.0000 -40.0000 33.33%
26.80/26.99 c 27 37 36 1 -30.0000 -40.0000 33.33%
32.29/32.40 c 32 53 52 1 -30.0000 -40.0000 33.33%
36.89/37.01 c * 37 64 63 1 -31.0000 -40.0000 29.03%
36.89/37.03 c * 37 64 63 1 -32.0000 -40.0000 25.00%
37.88/38.03 c 38 68 58 1 -32.0000 -40.0000 25.00%
43.66/43.85 c 44 84 72 1 -32.0000 -40.0000 25.00%
47.64/47.82 c * 48 95 83 1 -35.0000 -40.0000 14.29%
50.64/50.87 c 51 102 70 1 -35.0000 -40.0000 14.29%
56.71/56.98 c 57 122 80 1 -35.0000 -40.0000 14.29%
62.81/63.04 c 63 152 100 1 -35.0000 -40.0000 14.29%
70.18/70.42 c 70 206 130 1 -35.0000 -40.0000 14.29%
75.77/76.06 c 76 258 164 1 -35.0000 -40.0000 14.29%
81.75/82.01 c 82 280 172 1 -35.0000 -40.0000 14.29%
88.74/89.10 c 89 322 191 1 -35.0000 -40.0000 14.29%
94.31/94.64 c 95 383 212 1 -35.0000 -40.0000 14.29%
100.80/101.15 c 101 443 242 1 -35.0000 -40.0000 14.29%
106.08/106.49 c 106 492 261 1 -35.0000 -40.0000 14.29%
112.56/112.92 c 113 559 292 1 -35.0000 -40.0000 14.29%
117.65/118.01 c 118 599 310 1 -35.0000 -40.0000 14.29%
122.82/123.23 c 123 665 348 1 -35.0000 -40.0000 14.29%
129.72/130.17 c 130 716 375 1 -35.0000 -40.0000 14.29%
134.80/135.23 c 135 842 447 1 -35.0000 -40.0000 14.29%
140.59/141.01 c 141 945 534 1 -35.0000 -40.0000 14.29%
146.26/146.71 c 147 1067 644 1 -35.0000 -40.0000 14.29%
151.44/151.95 c 152 1134 709 1 -35.0000 -40.0000 14.29%
156.53/157.10 c 157 1172 741 1 -35.0000 -40.0000 14.29%
161.81/162.38 c 162 1220 781 1 -35.0000 -40.0000 14.29%
170.38/170.95 c 171 1284 839 1 -35.0000 -40.0000 14.29%
181.85/182.42 c 182 1365 0 1 -35.0000 -40.0000 14.29%
187.84/188.49 c 188 1408 43 1 -35.0000 -40.0000 14.29%
193.43/194.04 c 194 1449 84 1 -35.0000 -40.0000 14.29%
199.69/200.30 c 200 1539 154 1 -35.0000 -40.0000 14.29%
204.78/205.49 c 205 1551 158 1 -35.0000 -40.0000 14.29%
210.47/211.11 c 211 1734 289 1 -35.0000 -40.0000 14.29%
216.04/216.73 c 217 1759 306 1 -35.0000 -40.0000 14.29%
221.12/221.90 c 222 1888 415 1 -35.0000 -40.0000 14.29%
226.80/227.56 c 228 2004 509 1 -35.0000 -40.0000 14.29%
232.39/233.16 c 233 2194 647 1 -35.0000 -40.0000 14.29%
237.56/238.39 c 238 2400 799 1 -35.0000 -40.0000 14.29%
243.84/244.64 c 245 2496 863 1 -35.0000 -40.0000 14.29%
249.13/249.91 c * 250 2627 956 1 -36.0000 -40.0000 11.11%
249.13/249.91 c 250 2627 956 1 -36.0000 -40.0000 11.11%
251.62/252.45 c * 252 2720 754 1 -37.0000 -40.0000 8.11%
255.10/255.94 c 256 2847 546 1 -37.0000 -40.0000 8.11%
260.49/261.35 c 261 3019 618 1 -37.0000 -40.0000 8.11%
265.67/266.53 c 267 3216 683 1 -37.0000 -40.0000 8.11%
271.55/272.49 c 272 3488 767 1 -37.0000 -40.0000 8.11%
276.63/277.52 c 278 3650 807 1 -37.0000 -40.0000 8.11%
281.71/282.66 c 283 3897 904 1 -37.0000 -40.0000 8.11%
286.80/287.72 c 288 4089 948 1 -37.0000 -40.0000 8.11%
293.97/294.92 c 295 4367 1036 1 -37.0000 -40.0000 8.11%
300.45/301.48 c 301 4451 1066 1 -37.0000 -40.0000 8.11%
305.64/306.67 c 307 4671 1150 1 -37.0000 -40.0000 8.11%
312.82/313.89 c 314 4728 1169 1 -37.0000 -40.0000 8.11%
318.11/319.19 c 319 4953 1262 1 -37.0000 -40.0000 8.11%
323.18/324.26 c 324 5247 1414 1 -37.0000 -40.0000 8.11%
328.26/329.35 c 329 5578 1535 1 -37.0000 -40.0000 8.11%
333.35/334.41 c 334 5935 1648 1 -37.0000 -40.0000 8.11%
338.94/340.10 c 340 6194 1753 1 -37.0000 -40.0000 8.11%
345.32/346.50 c 346 6338 1839 1 -37.0000 -40.0000 8.11%
351.70/352.84 c 353 6367 1852 1 -37.0000 -40.0000 8.11%
358.68/359.82 c 360 6471 1906 1 -37.0000 -40.0000 8.11%
365.35/366.58 c 367 6489 1912 1 -37.0000 -40.0000 8.11%
370.74/371.99 c 372 6623 1966 1 -37.0000 -40.0000 8.11%
376.32/377.51 c 378 6713 1995 1 -37.0000 -40.0000 8.11%
381.82/383.03 c 383 6840 2038 1 -37.0000 -40.0000 8.11%
386.80/388.10 c 388 6915 2063 1 -37.0000 -40.0000 8.11%
393.97/395.21 c 395 7146 2124 1 -37.0000 -40.0000 8.11%
399.35/400.60 c 401 7205 2135 1 -37.0000 -40.0000 8.11%
404.44/405.74 c 406 7268 2144 1 -37.0000 -40.0000 8.11%
409.53/410.85 c 411 7378 2186 1 -37.0000 -40.0000 8.11%
414.82/416.15 c 416 7488 2226 1 -37.0000 -40.0000 8.11%
419.99/421.31 c 421 7738 2326 1 -37.0000 -40.0000 8.11%
427.47/428.81 c 429 7866 2358 1 -37.0000 -40.0000 8.11%
434.15/435.58 c 436 7952 2392 1 -37.0000 -40.0000 8.11%
440.64/442.09 c 442 8087 2429 1 -37.0000 -40.0000 8.11%
446.01/447.48 c 447 8263 2497 1 -37.0000 -40.0000 8.11%
451.79/453.25 c 453 8383 2541 1 -37.0000 -40.0000 8.11%
457.77/459.20 c 459 8486 2554 1 -37.0000 -40.0000 8.11%
463.67/465.16 c 465 8675 2635 1 -37.0000 -40.0000 8.11%
468.85/470.35 c 470 8822 2681 1 -37.0000 -40.0000 8.11%
474.03/475.55 c 476 9009 2732 1 -37.0000 -40.0000 8.11%
479.41/480.91 c 481 9083 2750 1 -37.0000 -40.0000 8.11%
484.79/486.30 c 486 9215 2787 1 -37.0000 -40.0000 8.11%
489.88/491.48 c 491 9426 2840 1 -37.0000 -40.0000 8.11%
496.16/497.72 c 498 9573 2889 1 -37.0000 -40.0000 8.11%
501.34/502.99 c 503 9819 2941 1 -37.0000 -40.0000 8.11%
506.62/508.24 c 508 9982 2975 1 -37.0000 -40.0000 8.11%
512.80/514.40 c 514 10119 3002 1 -37.0000 -40.0000 8.11%
518.08/519.79 c 520 10140 3003 1 -37.0000 -40.0000 8.11%
523.27/524.92 c 525 10409 3136 1 -37.0000 -40.0000 8.11%
530.25/532.01 c 532 10689 3208 1 -37.0000 -40.0000 8.11%
536.72/538.41 c 538 10772 3229 1 -37.0000 -40.0000 8.11%
542.80/544.56 c 545 10996 3301 1 -37.0000 -40.0000 8.11%
548.58/550.30 c 550 11271 3376 1 -37.0000 -40.0000 8.11%
554.17/555.98 c 556 11612 3479 1 -37.0000 -40.0000 8.11%
559.64/561.50 c 562 11962 3562 1 -37.0000 -40.0000 8.11%
565.34/567.19 c 567 12323 3661 1 -37.0000 -40.0000 8.11%
571.22/573.02 c 573 12556 3736 1 -37.0000 -40.0000 8.11%
577.59/579.48 c 579 12726 3760 1 -37.0000 -40.0000 8.11%
582.89/584.76 c 585 12938 3822 1 -37.0000 -40.0000 8.11%
589.36/591.26 c 591 13127 3877 1 -37.0000 -40.0000 8.11%
595.45/597.38 c 597 13440 3946 1 -37.0000 -40.0000 8.11%
600.93/602.87 c 603 13521 3959 1 -37.0000 -40.0000 8.11%
607.31/609.29 c 609 13646 3986 1 -37.0000 -40.0000 8.11%
612.90/614.82 c 615 13870 4070 1 -37.0000 -40.0000 8.11%
618.59/620.50 c 621 14032 4116 1 -37.0000 -40.0000 8.11%
623.67/625.64 c 626 14273 4173 1 -37.0000 -40.0000 8.11%
629.46/631.48 c 631 14469 4215 1 -37.0000 -40.0000 8.11%
634.94/636.99 c 637 14800 4294 1 -37.0000 -40.0000 8.11%
641.03/643.06 c 643 14939 4323 1 -37.0000 -40.0000 8.11%
646.30/648.31 c 648 15168 4412 1 -37.0000 -40.0000 8.11%
651.69/653.75 c 654 15407 4476 1 -37.0000 -40.0000 8.11%
657.77/659.87 c 660 15674 4541 1 -37.0000 -40.0000 8.11%
662.97/665.09 c 665 15880 4581 1 -37.0000 -40.0000 8.11%
668.73/670.80 c 671 16127 4639 1 -37.0000 -40.0000 8.11%
673.83/675.97 c 676 16367 4691 1 -37.0000 -40.0000 8.11%
679.81/681.99 c 682 16524 4718 1 -37.0000 -40.0000 8.11%
685.29/687.41 c 687 16825 4807 1 -37.0000 -40.0000 8.11%
690.47/692.61 c 693 17053 4853 1 -37.0000 -40.0000 8.11%
695.56/697.79 c 698 17316 4908 1 -37.0000 -40.0000 8.11%
701.54/703.74 c 704 17414 4936 1 -37.0000 -40.0000 8.11%
708.41/710.66 c 711 17709 5015 1 -37.0000 -40.0000 8.11%
714.30/716.51 c 717 17950 5080 1 -37.0000 -40.0000 8.11%
720.27/722.58 c 723 18145 5105 1 -37.0000 -40.0000 8.11%
726.66/729.01 c 729 18401 5169 1 -37.0000 -40.0000 8.11%
731.84/734.13 c 734 18702 5240 1 -37.0000 -40.0000 8.11%
738.61/741.01 c 741 18756 5250 1 -37.0000 -40.0000 8.11%
744.19/746.57 c 747 19018 5290 1 -37.0000 -40.0000 8.11%
749.97/752.33 c 752 19242 5336 1 -37.0000 -40.0000 8.11%
755.95/758.31 c 758 19415 5377 1 -37.0000 -40.0000 8.11%
761.54/763.99 c 764 19707 5457 1 -37.0000 -40.0000 8.11%
767.32/769.75 c 770 19979 5521 1 -37.0000 -40.0000 8.11%
772.90/775.32 c 775 20358 5608 1 -37.0000 -40.0000 8.11%
778.39/780.89 c 781 20496 5646 1 -37.0000 -40.0000 8.11%
785.17/787.60 c 788 20665 5685 1 -37.0000 -40.0000 8.11%
791.06/793.52 c 794 20979 5757 1 -37.0000 -40.0000 8.11%
796.05/798.57 c 799 21360 5840 1 -37.0000 -40.0000 8.11%
801.23/803.71 c 804 21409 5843 1 -37.0000 -40.0000 8.11%
806.91/809.48 c 809 21613 5901 1 -37.0000 -40.0000 8.11%
812.00/814.57 c 815 21988 5998 1 -37.0000 -40.0000 8.11%
817.19/819.72 c 820 22331 6065 1 -37.0000 -40.0000 8.11%
822.58/825.18 c 825 22587 6113 1 -37.0000 -40.0000 8.11%
828.56/831.17 c 831 22953 6195 1 -37.0000 -40.0000 8.11%
833.64/836.27 c 836 23329 6331 1 -37.0000 -40.0000 8.11%
839.92/842.53 c 843 23568 6392 1 -37.0000 -40.0000 8.11%
845.21/847.81 c 848 23700 6420 1 -37.0000 -40.0000 8.11%
850.39/853.04 c 853 23947 6483 1 -37.0000 -40.0000 8.11%
855.86/858.53 c 859 24171 6528 1 -37.0000 -40.0000 8.11%
861.65/864.31 c 864 24421 6584 1 -37.0000 -40.0000 8.11%
866.73/869.49 c 870 24725 6623 1 -37.0000 -40.0000 8.11%
872.02/874.74 c 875 24895 6665 1 -37.0000 -40.0000 8.11%
877.90/880.60 c 881 25064 6706 1 -37.0000 -40.0000 8.11%
883.68/886.43 c 886 25292 6754 1 -37.0000 -40.0000 8.11%
888.77/891.55 c 892 25473 6791 1 -37.0000 -40.0000 8.11%
895.05/897.84 c 898 25794 6838 1 -37.0000 -40.0000 8.11%
900.24/903.02 c 903 26068 6876 1 -37.0000 -40.0000 8.11%
905.92/908.70 c 909 26295 6915 1 -37.0000 -40.0000 8.11%
911.31/914.19 c 914 26511 6985 1 -37.0000 -40.0000 8.11%
916.49/919.32 c 919 26678 7024 1 -37.0000 -40.0000 8.11%
924.28/927.17 c 927 26981 7081 1 -37.0000 -40.0000 8.11%
930.16/933.08 c 933 27300 7134 1 -37.0000 -40.0000 8.11%
935.63/938.52 c 939 27449 7171 1 -37.0000 -40.0000 8.11%
941.31/944.23 c 944 27704 7212 1 -37.0000 -40.0000 8.11%
947.89/950.82 c 951 27898 7252 1 -37.0000 -40.0000 8.11%
953.68/956.67 c 957 28200 7296 1 -37.0000 -40.0000 8.11%
959.55/962.51 c 963 28598 7418 1 -37.0000 -40.0000 8.11%
964.54/967.56 c 968 28998 7520 1 -37.0000 -40.0000 8.11%
969.62/972.65 c 973 29224 7545 1 -37.0000 -40.0000 8.11%
975.02/978.10 c 978 29444 7597 1 -37.0000 -40.0000 8.11%
982.00/985.07 c 985 29713 7614 1 -37.0000 -40.0000 8.11%
987.57/990.69 c 991 30102 7707 1 -37.0000 -40.0000 8.11%
993.06/996.13 c 996 30422 7771 1 -37.0000 -40.0000 8.11%
998.14/1001.27 c 1001 30743 7818 1 -37.0000 -40.0000 8.11%
1004.04/1007.15 c 1007 30873 7840 1 -37.0000 -40.0000 8.11%
1009.71/1012.83 c 1013 31151 7876 1 -37.0000 -40.0000 8.11%
1015.69/1018.82 c 1019 31484 7949 1 -37.0000 -40.0000 8.11%
1021.67/1024.82 c 1025 31737 7986 1 -37.0000 -40.0000 8.11%
1027.25/1030.45 c 1030 32061 8036 1 -37.0000 -40.0000 8.11%
1033.03/1036.24 c 1036 32489 8092 1 -37.0000 -40.0000 8.11%
1038.02/1041.26 c 1041 32756 8153 1 -37.0000 -40.0000 8.11%
1043.30/1046.51 c 1047 32951 8182 1 -37.0000 -40.0000 8.11%
1049.69/1052.93 c 1053 33071 8208 1 -37.0000 -40.0000 8.11%
1055.27/1058.57 c 1059 33198 8227 1 -37.0000 -40.0000 8.11%
1061.05/1064.33 c 1064 33521 8340 1 -37.0000 -40.0000 8.11%
1066.74/1070.05 c 1070 33626 8365 1 -37.0000 -40.0000 8.11%
1072.72/1076.05 c 1076 33858 8429 1 -37.0000 -40.0000 8.11%
1078.10/1081.46 c 1081 34046 8477 1 -37.0000 -40.0000 8.11%
1083.29/1086.68 c 1087 34174 8497 1 -37.0000 -40.0000 8.11%
1088.97/1092.31 c 1092 34460 8579 1 -37.0000 -40.0000 8.11%
1094.56/1098.01 c 1098 34669 8598 1 -37.0000 -40.0000 8.11%
1099.33/1102.79 c * 1103 34869 8620 1 -38.0000 -40.0000 5.26%
1099.65/1103.02 c 1103 34950 2803 1 -38.0000 -40.0000 5.26%
1104.73/1108.17 c 1108 35127 2814 1 -38.0000 -40.0000 5.26%
1109.80/1113.23 c 1113 35622 2821 1 -38.0000 -40.0000 5.26%
1115.08/1118.54 c 1119 35981 2864 1 -38.0000 -40.0000 5.26%
1120.97/1124.43 c 1124 36427 2940 1 -38.0000 -40.0000 5.26%
1126.56/1130.02 c 1130 36706 2991 1 -38.0000 -40.0000 5.26%
1131.54/1135.08 c 1135 37116 3027 1 -38.0000 -40.0000 5.26%
1136.63/1140.14 c 1140 37508 3131 1 -38.0000 -40.0000 5.26%
1141.80/1145.38 c 1145 37710 3215 1 -38.0000 -40.0000 5.26%
1148.49/1152.07 c 1152 37919 3244 1 -38.0000 -40.0000 5.26%
1154.17/1157.72 c 1158 38123 3246 1 -38.0000 -40.0000 5.26%
1160.05/1163.63 c 1164 38508 3243 1 -38.0000 -40.0000 5.26%
1165.55/1169.14 c 1169 38843 3268 1 -38.0000 -40.0000 5.26%
1170.92/1174.51 c 1175 39110 3271 1 -38.0000 -40.0000 5.26%
1176.30/1179.97 c 1180 39480 3307 1 -38.0000 -40.0000 5.26%
1182.28/1185.91 c 1186 39863 3310 1 -38.0000 -40.0000 5.26%
1187.48/1191.14 c 1191 40308 3351 1 -38.0000 -40.0000 5.26%
1193.15/1196.86 c 1197 40588 3385 1 -38.0000 -40.0000 5.26%
1198.63/1202.34 c 1202 40960 3431 1 -38.0000 -40.0000 5.26%
1204.11/1207.80 c 1208 41253 3466 1 -38.0000 -40.0000 5.26%
1209.40/1213.15 c 1213 41589 3510 1 -38.0000 -40.0000 5.26%
1215.07/1218.86 c 1219 41748 3533 1 -38.0000 -40.0000 5.26%
1220.46/1224.20 c 1224 42066 3569 1 -38.0000 -40.0000 5.26%
1225.64/1229.44 c 1229 42441 3578 1 -38.0000 -40.0000 5.26%
1230.73/1234.56 c 1235 42741 3584 1 -38.0000 -40.0000 5.26%
1235.81/1239.70 c 1240 43108 3615 1 -38.0000 -40.0000 5.26%
1240.89/1244.74 c 1245 43435 3654 1 -38.0000 -40.0000 5.26%
1246.08/1250.01 c 1250 43754 3675 1 -38.0000 -40.0000 5.26%
1251.26/1255.13 c 1255 44041 3676 1 -38.0000 -40.0000 5.26%
1256.43/1260.37 c 1260 44425 3706 1 -38.0000 -40.0000 5.26%
1261.61/1265.56 c 1266 44741 3710 1 -38.0000 -40.0000 5.26%
1266.69/1270.63 c 1271 45278 3753 1 -38.0000 -40.0000 5.26%
1271.77/1275.72 c 1276 45797 3794 1 -38.0000 -40.0000 5.26%
1276.76/1280.79 c 1281 46185 3849 1 -38.0000 -40.0000 5.26%
1281.95/1285.90 c 1286 46553 3867 1 -38.0000 -40.0000 5.26%
1287.14/1291.12 c 1291 46927 3865 1 -38.0000 -40.0000 5.26%
1292.81/1296.82 c 1297 47302 3879 1 -38.0000 -40.0000 5.26%
1297.79/1301.84 c 1302 47613 3882 1 -38.0000 -40.0000 5.26%
1302.98/1307.03 c 1307 48037 3927 1 -38.0000 -40.0000 5.26%
1308.07/1312.14 c 1312 48524 3950 1 -38.0000 -40.0000 5.26%
1313.14/1317.21 c 1317 48973 3999 1 -38.0000 -40.0000 5.26%
1318.12/1322.26 c 1322 49430 4044 1 -38.0000 -40.0000 5.26%
1323.21/1327.32 c 1327 49798 4104 1 -38.0000 -40.0000 5.26%
1328.29/1332.42 c 1332 50189 4165 1 -38.0000 -40.0000 5.26%
1333.27/1337.46 c 1337 50704 4235 1 -38.0000 -40.0000 5.26%
1338.76/1342.92 c 1343 51190 4257 1 -38.0000 -40.0000 5.26%
1343.85/1348.03 c 1348 51554 4293 1 -38.0000 -40.0000 5.26%
1348.94/1353.19 c 1353 51956 4363 1 -38.0000 -40.0000 5.26%
1354.01/1358.26 c 1358 52226 4407 1 -38.0000 -40.0000 5.26%
1359.09/1363.35 c 1363 52600 4437 1 -38.0000 -40.0000 5.26%
1364.57/1368.88 c 1369 52999 4512 1 -38.0000 -40.0000 5.26%
1369.86/1374.11 c 1374 53308 4579 1 -38.0000 -40.0000 5.26%
1375.53/1379.82 c 1380 53474 4627 1 -38.0000 -40.0000 5.26%
1381.73/1386.05 c 1386 53566 4643 1 -38.0000 -40.0000 5.26%
1386.91/1391.21 c 1391 53618 4653 1 -38.0000 -40.0000 5.26%
1392.28/1396.62 c 1397 53780 4666 1 -38.0000 -40.0000 5.26%
1397.37/1401.72 c 1402 54093 4693 1 -38.0000 -40.0000 5.26%
1402.35/1406.79 c 1407 54535 4741 1 -38.0000 -40.0000 5.26%
1407.93/1412.36 c 1412 54835 4787 1 -38.0000 -40.0000 5.26%
1413.01/1417.44 c 1417 55304 4838 1 -38.0000 -40.0000 5.26%
1418.89/1423.33 c 1423 55720 4844 1 -38.0000 -40.0000 5.26%
1423.98/1428.41 c 1428 56146 4912 1 -38.0000 -40.0000 5.26%
1429.16/1433.60 c 1434 56502 4934 1 -38.0000 -40.0000 5.26%
1434.24/1438.70 c 1439 56890 4994 1 -38.0000 -40.0000 5.26%
1439.22/1443.77 c 1444 57232 5026 1 -38.0000 -40.0000 5.26%
1444.52/1449.03 c 1449 57354 5042 1 -38.0000 -40.0000 5.26%
1449.78/1454.31 c 1454 57637 5071 1 -38.0000 -40.0000 5.26%
1455.48/1460.03 c 1460 58004 5108 1 -38.0000 -40.0000 5.26%
1460.56/1465.14 c 1465 58375 5163 1 -38.0000 -40.0000 5.26%
1466.44/1471.05 c 1471 58688 5166 1 -38.0000 -40.0000 5.26%
1471.81/1476.48 c 1476 59089 5189 1 -38.0000 -40.0000 5.26%
1476.99/1481.69 c 1482 59409 5187 1 -38.0000 -40.0000 5.26%
1482.08/1486.77 c 1487 59847 5207 1 -38.0000 -40.0000 5.26%
1487.56/1492.22 c 1492 60146 5220 1 -38.0000 -40.0000 5.26%
1493.45/1498.16 c 1498 60458 5268 1 -38.0000 -40.0000 5.26%
1498.72/1503.40 c 1503 60677 5297 1 -38.0000 -40.0000 5.26%
1504.61/1509.34 c 1509 61048 5316 1 -38.0000 -40.0000 5.26%
1509.79/1514.54 c 1515 61463 5377 1 -38.0000 -40.0000 5.26%
1515.07/1519.81 c 1520 61793 5414 1 -38.0000 -40.0000 5.26%
1520.37/1525.11 c 1525 62208 5487 1 -38.0000 -40.0000 5.26%
1525.44/1530.26 c 1530 62556 5483 1 -38.0000 -40.0000 5.26%
1530.42/1535.29 c 1535 62909 5514 1 -38.0000 -40.0000 5.26%
1537.32/1542.14 c 1542 63164 5527 1 -38.0000 -40.0000 5.26%
1542.39/1547.29 c 1547 63521 5574 1 -38.0000 -40.0000 5.26%
1548.17/1553.02 c 1553 63839 5592 1 -38.0000 -40.0000 5.26%
1553.84/1558.75 c 1559 64056 5631 1 -38.0000 -40.0000 5.26%
1558.92/1563.83 c 1564 64397 5670 1 -38.0000 -40.0000 5.26%
1565.60/1570.59 c 1571 64608 5721 1 -38.0000 -40.0000 5.26%
1570.78/1575.71 c 1576 64952 5774 1 -38.0000 -40.0000 5.26%
1575.87/1580.87 c 1581 65118 5794 1 -38.0000 -40.0000 5.26%
1581.55/1586.50 c 1587 65220 5802 1 -38.0000 -40.0000 5.26%
1587.24/1592.28 c 1592 65385 5807 1 -38.0000 -40.0000 5.26%
1592.32/1597.36 c 1597 65784 5815 1 -38.0000 -40.0000 5.26%
1597.51/1602.50 c 1603 66199 5876 1 -38.0000 -40.0000 5.26%
1603.00/1608.04 c 1608 66484 5921 1 -38.0000 -40.0000 5.26%
1608.08/1613.12 c 1613 66854 5979 1 -38.0000 -40.0000 5.26%
1613.15/1618.20 c 1618 67311 6048 1 -38.0000 -40.0000 5.26%
1618.70/1623.83 c 1624 67530 6097 1 -38.0000 -40.0000 5.26%
1624.66/1629.82 c 1630 67749 6134 1 -38.0000 -40.0000 5.26%
1629.64/1634.89 c 1635 67880 6145 1 -38.0000 -40.0000 5.26%
1634.94/1640.15 c 1640 67958 6167 1 -38.0000 -40.0000 5.26%
1641.81/1647.02 c 1647 68308 6219 1 -38.0000 -40.0000 5.26%
1647.28/1652.53 c 1653 68465 6220 1 -38.0000 -40.0000 5.26%
1653.07/1658.32 c 1658 68807 6278 1 -38.0000 -40.0000 5.26%
1658.65/1663.92 c 1664 69279 6336 1 -38.0000 -40.0000 5.26%
1663.64/1668.98 c 1669 69647 6408 1 -38.0000 -40.0000 5.26%
1668.83/1674.17 c 1674 69891 6424 1 -38.0000 -40.0000 5.26%
1674.90/1680.24 c 1680 70117 6420 1 -38.0000 -40.0000 5.26%
1680.69/1686.07 c 1686 70473 6470 1 -38.0000 -40.0000 5.26%
1686.06/1691.44 c 1691 70849 6524 1 -38.0000 -40.0000 5.26%
1691.44/1696.85 c 1697 71214 6545 1 -38.0000 -40.0000 5.26%
1696.73/1702.11 c 1702 71611 6588 1 -38.0000 -40.0000 5.26%
1701.72/1707.17 c 1707 72097 6594 1 -38.0000 -40.0000 5.26%
1707.29/1712.76 c 1713 72481 6638 1 -38.0000 -40.0000 5.26%
1713.46/1718.94 c 1719 72920 6687 1 -38.0000 -40.0000 5.26%
1718.45/1724.01 c 1724 73266 6739 1 -38.0000 -40.0000 5.26%
1724.43/1729.91 c 1730 73619 6776 1 -38.0000 -40.0000 5.26%
1729.63/1735.19 c 1735 74032 6815 1 -38.0000 -40.0000 5.26%
1735.70/1741.23 c 1741 74408 6823 1 -38.0000 -40.0000 5.26%
1741.37/1746.91 c 1747 74619 6822 1 -38.0000 -40.0000 5.26%
1746.57/1752.12 c 1752 74868 6851 1 -38.0000 -40.0000 5.26%
1751.64/1757.24 c 1757 75232 6863 1 -38.0000 -40.0000 5.26%
1756.82/1762.47 c 1762 75471 6902 1 -38.0000 -40.0000 5.26%
1762.80/1768.45 c 1768 75585 6913 1 -38.0000 -40.0000 5.26%
1768.40/1774.06 c 1774 75756 6936 1 -38.0000 -40.0000 5.26%
1773.57/1779.28 c 1779 76129 6981 1 -38.0000 -40.0000 5.26%
1779.47/1785.12 c 1785 76518 7049 1 -38.0000 -40.0000 5.26%
1784.54/1790.22 c 1790 76905 7070 1 -38.0000 -40.0000 5.26%
1789.63/1795.35 c 1795 77277 7134 1 -38.0000 -40.0000 5.26%
1794.81/1800.50 c 1801 77671 7198 1 -38.0000 -40.0000 5.26%
1800.89/1806.60 c 1807 78046 7228 1 -38.0000 -40.0000 5.26%
1807.17/1812.99 c 1813 78401 7281 1 -38.0000 -40.0000 5.26%
1812.44/1818.26 c 1818 78624 7275 1 -38.0000 -40.0000 5.26%
1817.53/1823.30 c 1823 79022 7303 1 -38.0000 -40.0000 5.26%
1822.61/1828.47 c 1828 79361 7330 1 -38.0000 -40.0000 5.26%
1827.70/1833.52 c 1834 79706 7377 1 -38.0000 -40.0000 5.26%
1833.30/1839.16 c 1839 79976 7398 1 -38.0000 -40.0000 5.26%
1839.07/1844.94 c 1845 80246 7419 1 -38.0000 -40.0000 5.26%
1845.16/1851.06 c 1851 80406 7453 1 -38.0000 -40.0000 5.26%
1850.93/1856.89 c 1857 80717 7502 1 -38.0000 -40.0000 5.26%
1856.22/1862.13 c 1862 81175 7582 1 -38.0000 -40.0000 5.26%
1861.21/1867.18 c 1867 81629 7608 1 -38.0000 -40.0000 5.26%
1866.48/1872.45 c 1872 81945 7664 1 -38.0000 -40.0000 5.26%
1871.57/1877.51 c 1878 82381 7706 1 -38.0000 -40.0000 5.26%
1876.75/1882.79 c 1883 82710 7741 1 -38.0000 -40.0000 5.26%
1881.94/1887.90 c 1888 83161 7796 1 -38.0000 -40.0000 5.26%
1887.92/1894.01 c 1894 83471 7850 1 -38.0000 -40.0000 5.26%
1894.30/1900.34 c 1900 83604 7891 1 -38.0000 -40.0000 5.26%
1899.88/1905.92 c 1906 83718 7919 1 -38.0000 -40.0000 5.26%
1906.86/1912.94 c 1913 83752 7927 1 -38.0000 -40.0000 5.26%
1911.84/1918.01 c 1918 83800 7935 1 -38.0000 -40.0000 5.26%
1917.94/1924.06 c 1924 83860 7947 1 -38.0000 -40.0000 5.26%
1923.61/1929.77 c 1930 83918 7949 1 -38.0000 -40.0000 5.26%
1928.80/1934.98 c 1935 83984 7943 1 -38.0000 -40.0000 5.26%
1934.28/1940.49 c 1940 84120 7939 1 -38.0000 -40.0000 5.26%
1939.37/1945.55 c 1946 84466 8023 1 -38.0000 -40.0000 5.26%
1945.05/1951.24 c 1951 84765 8042 1 -38.0000 -40.0000 5.26%
1951.33/1957.56 c 1958 84901 8054 1 -38.0000 -40.0000 5.26%
1957.31/1963.50 c 1964 85018 8065 1 -38.0000 -40.0000 5.26%
1963.70/1969.90 c 1970 85057 8074 1 -38.0000 -40.0000 5.26%
1968.90/1975.19 c 1975 85275 8092 1 -38.0000 -40.0000 5.26%
1973.96/1980.28 c 1980 85653 8138 1 -38.0000 -40.0000 5.26%
1979.94/1986.25 c 1986 86019 8190 1 -38.0000 -40.0000 5.26%
1985.43/1991.75 c 1992 86255 8220 1 -38.0000 -40.0000 5.26%
1990.61/1996.95 c 1997 86340 8221 1 -38.0000 -40.0000 5.26%
1996.29/2002.61 c 2003 86517 8234 1 -38.0000 -40.0000 5.26%
2002.57/2008.93 c 2009 86580 8239 1 -38.0000 -40.0000 5.26%
2007.94/2014.33 c 2014 86698 8233 1 -38.0000 -40.0000 5.26%
2013.43/2019.82 c 2020 86797 8228 1 -38.0000 -40.0000 5.26%
2019.10/2025.57 c 2026 87059 8252 1 -38.0000 -40.0000 5.26%
2024.88/2031.31 c 2031 87342 8268 1 -38.0000 -40.0000 5.26%
2030.47/2036.94 c 2037 87731 8295 1 -38.0000 -40.0000 5.26%
2035.66/2042.15 c 2042 88108 8303 1 -38.0000 -40.0000 5.26%
2040.82/2047.37 c 2047 88385 8346 1 -38.0000 -40.0000 5.26%
2045.91/2052.49 c 2052 88773 8360 1 -38.0000 -40.0000 5.26%
2050.99/2057.55 c 2058 89194 8388 1 -38.0000 -40.0000 5.26%
2056.07/2062.68 c 2063 89393 8393 1 -38.0000 -40.0000 5.26%
2061.15/2067.75 c 2068 89644 8414 1 -38.0000 -40.0000 5.26%
2066.73/2073.36 c 2073 89805 8415 1 -38.0000 -40.0000 5.26%
2072.22/2078.86 c 2079 89969 8425 1 -38.0000 -40.0000 5.26%
2077.31/2083.96 c 2084 90310 8448 1 -38.0000 -40.0000 5.26%
2083.98/2090.67 c 2091 90553 8481 1 -38.0000 -40.0000 5.26%
2089.06/2095.75 c 2096 90928 8516 1 -38.0000 -40.0000 5.26%
2094.46/2101.13 c 2101 91259 8529 1 -38.0000 -40.0000 5.26%
2099.52/2106.22 c 2106 91653 8535 1 -38.0000 -40.0000 5.26%
2105.60/2112.30 c 2112 92067 8518 1 -38.0000 -40.0000 5.26%
2110.59/2117.37 c 2117 92384 8567 1 -38.0000 -40.0000 5.26%
2115.66/2122.45 c 2122 92769 8574 1 -38.0000 -40.0000 5.26%
2120.75/2127.53 c 2128 93093 8616 1 -38.0000 -40.0000 5.26%
2125.72/2132.59 c 2133 93511 8638 1 -38.0000 -40.0000 5.26%
2130.81/2137.68 c 2138 93890 8687 1 -38.0000 -40.0000 5.26%
2136.08/2143.01 c 2143 94233 8747 1 -38.0000 -40.0000 5.26%
2141.18/2148.05 c 2148 94752 8846 1 -38.0000 -40.0000 5.26%
2146.26/2153.14 c 2153 95252 8912 1 -38.0000 -40.0000 5.26%
2151.33/2158.20 c 2158 95791 8941 1 -38.0000 -40.0000 5.26%
2156.41/2163.35 c 2163 96351 8983 1 -38.0000 -40.0000 5.26%
2161.49/2168.42 c 2168 96879 9005 1 -38.0000 -40.0000 5.26%
2166.78/2173.76 c 2174 97227 9051 1 -38.0000 -40.0000 5.26%
2171.86/2178.82 c 2179 97626 9102 1 -38.0000 -40.0000 5.26%
2176.93/2183.90 c 2184 98097 9211 1 -38.0000 -40.0000 5.26%
2182.03/2189.07 c 2189 98562 9272 1 -38.0000 -40.0000 5.26%
2187.12/2194.17 c 2194 99039 9371 1 -38.0000 -40.0000 5.26%
2192.18/2199.29 c 2199 99545 9423 1 -38.0000 -40.0000 5.26%
2197.37/2204.45 c 2204 99968 9502 1 -38.0000 -40.0000 5.26%
2203.15/2210.21 c 2210 100096 9542 1 -38.0000 -40.0000 5.26%
2208.14/2215.29 c 2215 100202 9562 1 -38.0000 -40.0000 5.26%
2213.42/2220.55 c 2221 100367 9563 1 -38.0000 -40.0000 5.26%
2218.49/2225.61 c 2226 100810 9620 1 -38.0000 -40.0000 5.26%
2225.08/2232.22 c 2232 101170 9659 1 -38.0000 -40.0000 5.26%
2232.15/2239.38 c 2239 101296 9667 1 -38.0000 -40.0000 5.26%
2238.14/2245.39 c 2245 101603 9673 1 -38.0000 -40.0000 5.26%
2243.82/2251.05 c 2251 101821 9687 1 -38.0000 -40.0000 5.26%
2249.49/2256.70 c 2257 102292 9728 1 -38.0000 -40.0000 5.26%
2254.48/2261.75 c 2262 102729 9755 1 -38.0000 -40.0000 5.26%
2259.56/2266.80 c 2267 103263 9791 1 -38.0000 -40.0000 5.26%
2265.14/2272.49 c 2272 103714 9820 1 -38.0000 -40.0000 5.26%
2271.92/2279.23 c 2279 103842 9834 1 -38.0000 -40.0000 5.26%
2277.71/2285.02 c 2285 103984 9846 1 -38.0000 -40.0000 5.26%
2283.08/2290.48 c 2290 104382 9856 1 -38.0000 -40.0000 5.26%
2288.16/2295.51 c 2296 104772 9882 1 -38.0000 -40.0000 5.26%
2293.15/2300.56 c 2301 105267 9925 1 -38.0000 -40.0000 5.26%
2298.22/2305.68 c 2306 105705 10015 1 -38.0000 -40.0000 5.26%
2303.41/2310.89 c 2311 106064 10112 1 -38.0000 -40.0000 5.26%
2308.49/2315.98 c 2316 106476 10186 1 -38.0000 -40.0000 5.26%
2313.68/2321.17 c 2321 106907 10220 1 -38.0000 -40.0000 5.26%
2320.35/2327.84 c 2328 107003 10236 1 -38.0000 -40.0000 5.26%
2325.92/2333.40 c 2333 107206 10257 1 -38.0000 -40.0000 5.26%
2331.10/2338.60 c 2339 107602 10285 1 -38.0000 -40.0000 5.26%
2336.09/2343.66 c 2344 108035 10354 1 -38.0000 -40.0000 5.26%
2341.17/2348.70 c 2349 108470 10407 1 -38.0000 -40.0000 5.26%
2346.16/2353.77 c 2354 108688 10415 1 -38.0000 -40.0000 5.26%
2351.25/2358.82 c 2359 109116 10497 1 -38.0000 -40.0000 5.26%
2356.23/2363.87 c 2364 109500 10556 1 -38.0000 -40.0000 5.26%
2362.12/2369.71 c 2370 109782 10572 1 -38.0000 -40.0000 5.26%
2368.01/2375.68 c 2376 110122 10624 1 -38.0000 -40.0000 5.26%
2373.29/2380.99 c 2381 110430 10640 1 -38.0000 -40.0000 5.26%
2378.38/2386.06 c 2386 110912 10708 1 -38.0000 -40.0000 5.26%
2383.47/2391.12 c 2391 111401 10785 1 -38.0000 -40.0000 5.26%
2389.45/2397.16 c 2397 111686 10810 1 -38.0000 -40.0000 5.26%
2394.62/2402.35 c 2402 112164 10882 1 -38.0000 -40.0000 5.26%
2399.71/2407.42 c 2407 112607 10935 1 -38.0000 -40.0000 5.26%
2404.69/2412.47 c 2412 113072 10966 1 -38.0000 -40.0000 5.26%
2411.07/2418.83 c 2419 113380 10996 1 -38.0000 -40.0000 5.26%
2417.16/2424.90 c 2425 113734 11033 1 -38.0000 -40.0000 5.26%
2422.25/2430.06 c 2430 114242 11087 1 -38.0000 -40.0000 5.26%
2427.52/2435.35 c 2435 114718 11125 1 -38.0000 -40.0000 5.26%
2432.61/2440.40 c 2440 115246 11203 1 -38.0000 -40.0000 5.26%
2439.20/2447.03 c 2447 115672 11227 1 -38.0000 -40.0000 5.26%
2444.48/2452.36 c 2452 116061 11242 1 -38.0000 -40.0000 5.26%
2450.37/2458.27 c 2458 116328 11265 1 -38.0000 -40.0000 5.26%
2455.36/2463.28 c 2463 116402 11271 1 -38.0000 -40.0000 5.26%
2461.44/2469.36 c 2469 116832 11288 1 -38.0000 -40.0000 5.26%
2466.52/2474.44 c 2474 117321 11363 1 -38.0000 -40.0000 5.26%
2471.52/2479.49 c 2480 117684 11432 1 -38.0000 -40.0000 5.26%
2477.21/2485.15 c 2485 118085 11449 1 -38.0000 -40.0000 5.26%
2483.28/2491.25 c 2491 118451 11485 1 -38.0000 -40.0000 5.26%
2488.67/2496.66 c 2497 118857 11541 1 -38.0000 -40.0000 5.26%
2493.75/2501.72 c 2502 119255 11647 1 -38.0000 -40.0000 5.26%
2498.84/2506.84 c 2507 119742 11760 1 -38.0000 -40.0000 5.26%
2504.42/2512.47 c 2512 120126 11846 1 -38.0000 -40.0000 5.26%
2509.60/2517.62 c 2518 120535 11947 1 -38.0000 -40.0000 5.26%
2515.20/2523.24 c 2523 121009 12009 1 -38.0000 -40.0000 5.26%
2520.38/2528.40 c 2528 121555 12049 1 -38.0000 -40.0000 5.26%
2525.46/2533.58 c 2534 122132 12102 1 -38.0000 -40.0000 5.26%
2531.25/2539.34 c 2539 122500 12155 1 -38.0000 -40.0000 5.26%
2537.13/2545.22 c 2545 122655 12176 1 -38.0000 -40.0000 5.26%
2542.62/2550.75 c 2551 122673 12178 1 -38.0000 -40.0000 5.26%
2549.60/2557.73 c 2558 122709 12180 1 -38.0000 -40.0000 5.26%
2556.79/2565.01 c 2565 122817 12193 1 -38.0000 -40.0000 5.26%
2562.56/2570.70 c 2571 122863 12199 1 -38.0000 -40.0000 5.26%
2569.14/2577.34 c 2577 122983 12213 1 -38.0000 -40.0000 5.26%
2574.24/2582.43 c 2582 123059 12223 1 -38.0000 -40.0000 5.26%
2579.93/2588.12 c 2588 123103 12231 1 -38.0000 -40.0000 5.26%
2585.81/2594.03 c 2594 123222 12252 1 -38.0000 -40.0000 5.26%
2591.48/2599.78 c 2600 123532 12280 1 -38.0000 -40.0000 5.26%
2596.57/2604.83 c 2605 123980 12325 1 -38.0000 -40.0000 5.26%
2601.64/2609.90 c 2610 124370 12377 1 -38.0000 -40.0000 5.26%
2606.84/2615.11 c 2615 124701 12436 1 -38.0000 -40.0000 5.26%
2611.91/2620.26 c 2620 125112 12477 1 -38.0000 -40.0000 5.26%
2617.20/2625.53 c 2626 125512 12535 1 -38.0000 -40.0000 5.26%
2622.98/2631.35 c 2631 125810 12570 1 -38.0000 -40.0000 5.26%
2628.86/2637.26 c 2637 126113 12581 1 -38.0000 -40.0000 5.26%
2634.54/2643.01 c 2643 126459 12621 1 -38.0000 -40.0000 5.26%
2640.52/2648.94 c 2649 126815 12665 1 -38.0000 -40.0000 5.26%
2646.40/2654.82 c 2655 127143 12687 1 -38.0000 -40.0000 5.26%
2651.38/2659.86 c 2660 127449 12705 1 -38.0000 -40.0000 5.26%
2656.48/2664.97 c 2665 127578 12710 1 -38.0000 -40.0000 5.26%
2661.56/2670.03 c 2670 128091 12749 1 -38.0000 -40.0000 5.26%
2666.55/2675.11 c 2675 128471 12769 1 -38.0000 -40.0000 5.26%
2671.72/2680.27 c 2680 128944 12818 1 -38.0000 -40.0000 5.26%
2677.00/2685.55 c 2686 129028 12832 1 -38.0000 -40.0000 5.26%
2681.98/2690.59 c 2691 129041 12831 1 -38.0000 -40.0000 5.26%
2688.37/2697.01 c 2697 129127 12841 1 -38.0000 -40.0000 5.26%
2694.24/2702.86 c 2703 129455 12862 1 -38.0000 -40.0000 5.26%
2700.13/2708.74 c 2709 129734 12883 1 -38.0000 -40.0000 5.26%
2705.71/2714.36 c 2714 130057 12894 1 -38.0000 -40.0000 5.26%
2711.70/2720.30 c 2720 130358 12915 1 -38.0000 -40.0000 5.26%
2717.58/2726.25 c 2726 130698 12939 1 -38.0000 -40.0000 5.26%
2723.57/2732.25 c 2732 131112 12980 1 -38.0000 -40.0000 5.26%
2728.75/2737.41 c 2737 131561 13026 1 -38.0000 -40.0000 5.26%
2733.73/2742.47 c 2742 132002 13087 1 -38.0000 -40.0000 5.26%
2739.03/2747.75 c 2748 132448 13139 1 -38.0000 -40.0000 5.26%
2744.11/2752.85 c 2753 133001 13202 1 -38.0000 -40.0000 5.26%
2749.20/2757.93 c 2758 133518 13253 1 -38.0000 -40.0000 5.26%
2754.18/2763.01 c 2763 133993 13292 1 -38.0000 -40.0000 5.26%
2759.28/2768.07 c 2768 134538 13313 1 -38.0000 -40.0000 5.26%
2764.75/2773.54 c 2774 134979 13360 1 -38.0000 -40.0000 5.26%
2771.63/2780.45 c 2780 135245 13380 1 -38.0000 -40.0000 5.26%
2776.81/2785.60 c 2786 135759 13415 1 -38.0000 -40.0000 5.26%
2783.20/2792.04 c 2792 136084 13444 1 -38.0000 -40.0000 5.26%
2788.98/2797.81 c 2798 136426 13474 1 -38.0000 -40.0000 5.26%
2794.56/2803.42 c 2803 136867 13493 1 -38.0000 -40.0000 5.26%
2799.55/2808.49 c 2808 137268 13545 1 -38.0000 -40.0000 5.26%
2804.63/2813.54 c 2814 137735 13600 1 -38.0000 -40.0000 5.26%
2810.62/2819.55 c 2820 138141 13648 1 -38.0000 -40.0000 5.26%
2815.70/2824.68 c 2825 138541 13688 1 -38.0000 -40.0000 5.26%
2820.99/2829.92 c 2830 138919 13762 1 -38.0000 -40.0000 5.26%
2826.58/2835.50 c 2836 139302 13815 1 -38.0000 -40.0000 5.26%
2831.67/2840.67 c 2841 139631 13877 1 -38.0000 -40.0000 5.26%
2837.17/2846.19 c 2846 139830 13932 1 -38.0000 -40.0000 5.26%
2842.24/2851.28 c 2851 139857 13935 1 -38.0000 -40.0000 5.26%
2847.82/2856.83 c 2857 140055 13977 1 -38.0000 -40.0000 5.26%
2853.31/2862.39 c 2862 140349 14028 1 -38.0000 -40.0000 5.26%
2858.60/2867.67 c 2868 140478 14043 1 -38.0000 -40.0000 5.26%
2864.19/2873.21 c 2873 140678 14051 1 -38.0000 -40.0000 5.26%
2869.37/2878.40 c 2878 141102 14103 1 -38.0000 -40.0000 5.26%
2874.36/2883.48 c 2883 141504 14135 1 -38.0000 -40.0000 5.26%
2879.45/2888.54 c 2889 141912 14153 1 -38.0000 -40.0000 5.26%
2884.93/2894.03 c 2894 142322 14173 1 -38.0000 -40.0000 5.26%
2890.01/2899.19 c 2899 142750 14223 1 -38.0000 -40.0000 5.26%
2895.20/2904.38 c 2904 143100 14319 1 -38.0000 -40.0000 5.26%
2900.89/2910.02 c 2910 143419 14376 1 -38.0000 -40.0000 5.26%
2905.97/2915.16 c 2915 143784 14431 1 -38.0000 -40.0000 5.26%
2911.15/2920.35 c 2920 144185 14490 1 -38.0000 -40.0000 5.26%
2916.94/2926.17 c 2926 144468 14545 1 -38.0000 -40.0000 5.26%
2922.03/2931.26 c 2931 144884 14637 1 -38.0000 -40.0000 5.26%
2927.41/2936.69 c 2937 145318 14705 1 -38.0000 -40.0000 5.26%
2933.20/2942.45 c 2942 145659 14756 1 -38.0000 -40.0000 5.26%
2938.28/2947.57 c 2948 145963 14788 1 -38.0000 -40.0000 5.26%
2943.96/2953.23 c 2953 146331 14822 1 -38.0000 -40.0000 5.26%
2949.66/2958.97 c 2959 146376 14821 1 -38.0000 -40.0000 5.26%
2954.75/2964.01 c 2964 146830 14901 1 -38.0000 -40.0000 5.26%
2960.02/2969.30 c 2969 147242 14995 1 -38.0000 -40.0000 5.26%
2965.01/2974.36 c 2974 147702 15055 1 -38.0000 -40.0000 5.26%
2970.70/2980.04 c 2980 148135 15132 1 -38.0000 -40.0000 5.26%
2976.38/2985.78 c 2986 148436 15169 1 -38.0000 -40.0000 5.26%
2981.97/2991.34 c 2991 148815 15190 1 -38.0000 -40.0000 5.26%
2987.25/2996.64 c 2997 149238 15199 1 -38.0000 -40.0000 5.26%
2993.03/3002.44 c 3002 149554 15225 1 -38.0000 -40.0000 5.26%
2999.12/3008.58 c 3009 149966 15247 1 -38.0000 -40.0000 5.26%
3004.20/3013.66 c 3014 150404 15277 1 -38.0000 -40.0000 5.26%
3009.70/3019.18 c 3019 150883 15336 1 -38.0000 -40.0000 5.26%
3015.07/3024.50 c 3024 151331 15390 1 -38.0000 -40.0000 5.26%
3020.85/3030.35 c 3030 151641 15434 1 -38.0000 -40.0000 5.26%
3025.95/3035.41 c 3035 151953 15460 1 -38.0000 -40.0000 5.26%
3031.73/3041.20 c 3041 152335 15496 1 -38.0000 -40.0000 5.26%
3036.81/3046.32 c 3046 152760 15535 1 -38.0000 -40.0000 5.26%
3042.62/3052.17 c 3052 153085 15548 1 -38.0000 -40.0000 5.26%
3047.68/3057.22 c 3057 153430 15589 1 -38.0000 -40.0000 5.26%
3053.48/3063.08 c 3063 153703 15604 1 -38.0000 -40.0000 5.26%
3059.26/3068.87 c 3069 154151 15660 1 -38.0000 -40.0000 5.26%
3064.34/3073.92 c 3074 154642 15705 1 -38.0000 -40.0000 5.26%
3069.33/3078.98 c 3079 155179 15750 1 -38.0000 -40.0000 5.26%
3074.42/3084.05 c 3084 155597 15804 1 -38.0000 -40.0000 5.26%
3079.51/3089.13 c 3089 156011 15868 1 -38.0000 -40.0000 5.26%
3084.89/3094.51 c 3095 156435 15904 1 -38.0000 -40.0000 5.26%
3089.97/3099.62 c 3100 156849 15988 1 -38.0000 -40.0000 5.26%
3094.95/3104.67 c 3105 157175 16050 1 -38.0000 -40.0000 5.26%
3100.04/3109.75 c 3110 157575 16138 1 -38.0000 -40.0000 5.26%
3105.22/3114.90 c 3115 157868 16183 1 -38.0000 -40.0000 5.26%
3110.51/3120.27 c 3120 157941 16192 1 -38.0000 -40.0000 5.26%
3115.60/3125.35 c 3125 158249 16231 1 -38.0000 -40.0000 5.26%
3121.08/3130.80 c 3131 158586 16256 1 -38.0000 -40.0000 5.26%
3126.06/3135.88 c 3136 158961 16313 1 -38.0000 -40.0000 5.26%
3132.15/3142.00 c 3142 159060 16342 1 -38.0000 -40.0000 5.26%
3137.63/3147.44 c 3147 159182 16366 1 -38.0000 -40.0000 5.26%
3144.61/3154.40 c 3154 159469 16389 1 -38.0000 -40.0000 5.26%
3150.40/3160.21 c 3160 159704 16414 1 -38.0000 -40.0000 5.26%
3155.38/3165.28 c 3165 160158 16462 1 -38.0000 -40.0000 5.26%
3160.47/3170.34 c 3170 160563 16475 1 -38.0000 -40.0000 5.26%
3165.85/3175.77 c 3176 160818 16478 1 -38.0000 -40.0000 5.26%
3170.93/3180.83 c 3181 161236 16514 1 -38.0000 -40.0000 5.26%
3176.83/3186.78 c 3187 161521 16555 1 -38.0000 -40.0000 5.26%
3182.61/3192.51 c 3193 161601 16559 1 -38.0000 -40.0000 5.26%
3189.29/3199.28 c 3199 161780 16574 1 -38.0000 -40.0000 5.26%
3194.97/3204.95 c 3205 162000 16596 1 -38.0000 -40.0000 5.26%
3200.26/3210.25 c 3210 162185 16623 1 -38.0000 -40.0000 5.26%
3206.05/3216.03 c 3216 162343 16629 1 -38.0000 -40.0000 5.26%
3211.73/3221.72 c 3222 162628 16640 1 -38.0000 -40.0000 5.26%
3217.41/3227.47 c 3227 163071 16649 1 -38.0000 -40.0000 5.26%
3223.01/3233.09 c 3233 163344 16668 1 -38.0000 -40.0000 5.26%
3228.39/3238.42 c 3238 163591 16653 1 -38.0000 -40.0000 5.26%
3233.87/3244.01 c 3244 163889 16679 1 -38.0000 -40.0000 5.26%
3239.75/3249.82 c 3250 164037 16693 1 -38.0000 -40.0000 5.26%
3244.73/3254.88 c 3255 164570 16748 1 -38.0000 -40.0000 5.26%
3250.41/3260.56 c 3261 164731 16771 1 -38.0000 -40.0000 5.26%
3255.50/3265.62 c 3266 165058 16796 1 -38.0000 -40.0000 5.26%
3261.28/3271.48 c 3271 165558 16838 1 -38.0000 -40.0000 5.26%
3266.66/3276.82 c 3277 165770 16860 1 -38.0000 -40.0000 5.26%
3271.64/3281.88 c 3282 166264 16930 1 -38.0000 -40.0000 5.26%
3277.12/3287.31 c 3287 166560 16972 1 -38.0000 -40.0000 5.26%
3283.41/3293.66 c 3294 166705 16977 1 -38.0000 -40.0000 5.26%
3288.48/3298.76 c 3299 166958 16996 1 -38.0000 -40.0000 5.26%
3294.16/3304.48 c 3304 167081 17015 1 -38.0000 -40.0000 5.26%
3299.35/3309.63 c 3310 167167 17023 1 -38.0000 -40.0000 5.26%
3304.54/3314.89 c 3315 167293 17047 1 -38.0000 -40.0000 5.26%
3309.92/3320.22 c 3320 167524 17068 1 -38.0000 -40.0000 5.26%
3315.90/3326.29 c 3326 167634 17088 1 -38.0000 -40.0000 5.26%
3321.49/3331.87 c 3332 167660 17092 1 -38.0000 -40.0000 5.26%
3326.80/3337.13 c 3337 167818 17110 1 -38.0000 -40.0000 5.26%
3333.56/3343.95 c 3344 168052 17126 1 -38.0000 -40.0000 5.26%
3340.04/3350.48 c 3350 168263 17129 1 -38.0000 -40.0000 5.26%
3345.04/3355.49 c 3356 168425 17143 1 -38.0000 -40.0000 5.26%
3350.22/3360.62 c 3361 168583 17147 1 -38.0000 -40.0000 5.26%
3355.30/3365.76 c 3366 168951 17181 1 -38.0000 -40.0000 5.26%
3360.99/3371.41 c 3371 169233 17213 1 -38.0000 -40.0000 5.26%
3365.97/3376.48 c 3376 169623 17289 1 -38.0000 -40.0000 5.26%
3371.35/3381.83 c 3382 170008 17360 1 -38.0000 -40.0000 5.26%
3376.75/3387.27 c 3387 170133 17387 1 -38.0000 -40.0000 5.26%
3383.03/3393.57 c 3394 170230 17412 1 -38.0000 -40.0000 5.26%
3388.22/3398.70 c 3399 170314 17428 1 -38.0000 -40.0000 5.26%
3393.61/3404.19 c 3404 170417 17443 1 -38.0000 -40.0000 5.26%
3399.09/3409.63 c 3410 170685 17497 1 -38.0000 -40.0000 5.26%
3404.67/3415.24 c 3415 170774 17518 1 -38.0000 -40.0000 5.26%
3411.05/3421.60 c 3422 170848 17540 1 -38.0000 -40.0000 5.26%
3416.74/3427.34 c 3427 170899 17545 1 -38.0000 -40.0000 5.26%
3422.13/3432.70 c 3433 171008 17568 1 -38.0000 -40.0000 5.26%
3429.01/3439.67 c 3440 171104 17584 1 -38.0000 -40.0000 5.26%
3434.29/3444.91 c 3445 171313 17581 1 -38.0000 -40.0000 5.26%
3439.28/3449.94 c 3450 171587 17619 1 -38.0000 -40.0000 5.26%
3444.38/3455.02 c 3455 171677 17621 1 -38.0000 -40.0000 5.26%
3449.95/3460.68 c 3461 171913 17661 1 -38.0000 -40.0000 5.26%
3455.63/3466.38 c 3466 172005 17675 1 -38.0000 -40.0000 5.26%
3461.91/3472.64 c 3473 172029 17677 1 -38.0000 -40.0000 5.26%
3467.20/3477.96 c 3478 172141 17705 1 -38.0000 -40.0000 5.26%
3472.78/3483.57 c 3484 172184 17714 1 -38.0000 -40.0000 5.26%
3478.97/3489.73 c 3490 172354 17772 1 -38.0000 -40.0000 5.26%
3485.06/3495.88 c 3496 172473 17805 1 -38.0000 -40.0000 5.26%
3492.44/3503.28 c 3503 172560 17830 1 -38.0000 -40.0000 5.26%
3497.92/3508.78 c 3509 172696 17864 1 -38.0000 -40.0000 5.26%
3503.11/3514.01 c 3514 172790 17888 1 -38.0000 -40.0000 5.26%
3510.48/3521.35 c 3521 172962 17934 1 -38.0000 -40.0000 5.26%
3516.97/3527.80 c 3528 173042 17954 1 -38.0000 -40.0000 5.26%
3522.05/3532.98 c 3533 173219 17991 1 -38.0000 -40.0000 5.26%
3528.03/3538.93 c 3539 173400 18018 1 -38.0000 -40.0000 5.26%
3533.91/3544.81 c 3545 173664 18086 1 -38.0000 -40.0000 5.26%
3539.80/3550.78 c 3551 173764 18110 1 -38.0000 -40.0000 5.26%
3545.20/3556.15 c 3556 174024 18180 1 -38.0000 -40.0000 5.26%
3550.26/3561.26 c 3561 174145 18207 1 -38.0000 -40.0000 5.26%
3556.94/3567.99 c 3568 174342 18242 1 -38.0000 -40.0000 5.26%
3563.32/3574.39 c 3574 174569 18297 1 -38.0000 -40.0000 5.26%
3569.21/3580.24 c 3580 174739 18319 1 -38.0000 -40.0000 5.26%
3574.89/3585.98 c 3586 175073 18399 1 -38.0000 -40.0000 5.26%
3580.78/3591.82 c 3592 175217 18441 1 -38.0000 -40.0000 5.26%
3586.36/3597.43 c 3597 175273 18451 1 -38.0000 -40.0000 5.26%
3589.35/3600.42 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.35/3600.42 c Total Time : 3600.41
3589.35/3600.42 c solving : 3600.41
3589.35/3600.42 c presolving : 0.87 (included in solving)
3589.35/3600.42 c B&B Tree :
3589.35/3600.42 c nodes (total) : 1
3589.35/3600.42 c Solution :
3589.35/3600.42 c Solutions found : 10
3589.35/3600.42 c Primal Bound : -3.80000000000000e+01
3589.35/3600.42 c Dual Bound : -4.00000000000000e+01
3589.35/3600.42 c Gap : 5.26316 %
3589.35/3600.42 c * Warning: final gap: 5.26316e-02 is greater than SCIPepsilon: 1.00000e-09
3589.35/3600.43 o -38
3589.35/3600.43 s SATISFIABLE
3589.35/3600.43 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3589.35/3600.43 v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53
3589.35/3600.43 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3589.35/3600.43 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3589.35/3600.43 v -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124
3589.35/3600.43 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3589.35/3600.43 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3589.35/3600.43 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3589.35/3600.43 v -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3589.35/3600.43 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3589.35/3600.43 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3589.35/3600.43 v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3589.35/3600.43 v -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3589.35/3600.43 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3589.35/3600.43 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3589.35/3600.43 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
3589.35/3600.43 v -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
3589.35/3600.43 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397
3589.35/3600.43 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
3589.35/3600.43 v -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3589.35/3600.43 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
3589.35/3600.43 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481
3589.35/3600.43 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
3589.35/3600.43 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
3589.35/3600.43 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544
3589.35/3600.43 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565
3589.35/3600.43 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
3589.35/3600.43 v x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607
3589.35/3600.43 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
3589.35/3600.43 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
3589.35/3600.43 v -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670
3589.35/3600.43 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
3589.45/3600.52 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
3589.45/3600.52 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
3589.45/3600.52 v -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
3589.45/3600.52 v x755 -x756 -x757 -x758 -x759 -x760
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 (59115 MiB free)
memory of node 1: 64473 MiB (58640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434714-1721058315/watcher-4434714-1721058315 -o /tmp/evaluation-result-4434714-1721058315/solver-4434714-1721058315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801072 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434714-1721058315.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=803694, runsolver pid=803691
[startup+0.100107 s]*
/proc/loadavg: 4.75 4.41 4.20 5/249 803695
/proc/meminfo: memFree=120533668/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=74680 memory=62456 CPUtime=0.1 cores=4,6
/proc/803694/stat : 803694 (fscip) R 803691 803694 797687 0 -1 4194304 13465 0 0 0 8 2 0 0 20 0 1 0 157988736 76472320 15614 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 18670 15614 2606 3032 0 15070 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74680 KiB
Current children cumulated memory: 62456 KiB
[startup+0.212859 s]*
/proc/loadavg: 4.75 4.41 4.20 5/248 803695
/proc/meminfo: memFree=120501772/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=102208 memory=90812 CPUtime=0.21 cores=4,6
/proc/803694/stat : 803694 (fscip) R 803691 803694 797687 0 -1 4194304 22080 0 0 0 18 3 0 0 20 0 1 0 157988736 104660992 22703 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 25552 22703 2654 3032 0 21952 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 102208 KiB
Current children cumulated memory: 90812 KiB
[startup+0.31284 s]*
/proc/loadavg: 4.75 4.41 4.20 5/248 803695
/proc/meminfo: memFree=120517496/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=85920 memory=73828 CPUtime=0.31 cores=4,6
/proc/803694/stat : 803694 (fscip) R 803691 803694 797687 0 -1 4194304 22205 0 0 0 28 3 0 0 20 0 1 0 157988736 87982080 18457 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 21480 18457 2686 3032 0 17880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85920 KiB
Current children cumulated memory: 73828 KiB
[startup+0.700388 s]
/proc/loadavg: 4.75 4.41 4.20 5/248 803695
/proc/meminfo: memFree=120505988/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=107640 memory=93004 CPUtime=0.69 cores=4,6
/proc/803694/stat : 803694 (fscip) R 803691 803694 797687 0 -1 4194304 28299 0 0 0 64 5 0 0 20 0 1 0 157988736 110223360 23185 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 26910 23185 2734 3032 0 23310 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107640 KiB
Current children cumulated memory: 93004 KiB
[startup+1.50106 s]
/proc/loadavg: 4.75 4.41 4.20 4/245 803698
/proc/meminfo: memFree=122350044/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=350836 memory=262636 CPUtime=1.49 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 62770 0 0 0 133 16 0 0 20 0 3 0 157988736 359256064 65659 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 87709 65659 2782 3032 0 71914 0
[pid=803694/tid=803696] ppid=803691 vsize=350836 memory=874552 CPUtime=0.45 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 19589 0 0 0 38 7 0 0 20 0 3 0 157988834 359256064 65659 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 350836 KiB
Current children cumulated memory: 262636 KiB
[startup+3.1129 s]
/proc/loadavg: 4.75 4.41 4.20 5/245 803721
/proc/meminfo: memFree=122087424/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=436928 memory=382008 CPUtime=3.09 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 100211 0 0 0 284 25 0 0 20 0 3 0 157988736 447414272 95502 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 109232 95502 2926 3032 0 103767 0
[pid=803694/tid=803696] ppid=803691 vsize=436928 memory=198340509722 CPUtime=2.05 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 56872 0 0 0 189 16 0 0 20 0 3 0 157988834 447414272 95502 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=436928 memory=0 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157988850 447414272 95502 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 436928 KiB
Current children cumulated memory: 382008 KiB
[startup+6.30037 s]
/proc/loadavg: 4.69 4.40 4.20 5/252 803745
/proc/meminfo: memFree=121685420/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=502464 memory=402888 CPUtime=6.27 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 121927 0 0 0 600 27 0 0 20 0 3 0 157988736 514523136 100722 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 125616 100722 2958 3032 0 112196 0
[pid=803694/tid=803696] ppid=803691 vsize=502464 memory=0 CPUtime=5.22 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 78547 0 0 0 504 18 0 0 20 0 3 0 157988834 514523136 100722 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=502464 memory=402868 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 157988850 514523136 100722 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 502464 KiB
Current children cumulated memory: 402888 KiB
[startup+12.7004 s]
/proc/loadavg: 4.71 4.41 4.20 5/252 803746
/proc/meminfo: memFree=121635272/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=571900 memory=417704 CPUtime=12.64 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 157374 0 0 0 1234 30 0 0 20 0 3 0 157988736 585625600 104426 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 142975 104426 2958 3032 0 131792 0
[pid=803694/tid=803696] ppid=803691 vsize=571900 memory=-6081101319461059435 CPUtime=11.61 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 113992 0 0 0 1139 22 0 0 20 0 3 0 157988834 585625600 104426 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=571900 memory=42444 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 157988850 585625600 104426 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 571900 KiB
Current children cumulated memory: 417704 KiB
[startup+25.5004 s]
/proc/loadavg: 4.55 4.39 4.20 5/252 803749
/proc/meminfo: memFree=121516404/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=637436 memory=466472 CPUtime=25.41 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 203912 0 0 0 2506 35 0 0 20 0 3 0 157988736 652734464 116618 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 159359 116618 2974 3032 0 143937 0
[pid=803694/tid=803696] ppid=803691 vsize=637436 memory=33096903 CPUtime=24.37 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 160438 0 0 0 2411 26 0 0 20 0 3 0 157988834 652734464 116618 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=637436 memory=25876 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 157988850 652734464 116618 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 637436 KiB
Current children cumulated memory: 466472 KiB
[startup+51.1124 s]
/proc/loadavg: 4.36 4.36 4.19 5/249 803753
/proc/meminfo: memFree=121482156/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=637436 memory=466584 CPUtime=50.95 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 268291 0 0 0 5054 41 0 0 20 0 3 0 157988736 652734464 116646 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 159359 116646 2974 3032 0 149705 0
[pid=803694/tid=803696] ppid=803691 vsize=637436 memory=16192 CPUtime=49.9 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 224334 0 0 0 4958 32 0 0 20 0 3 0 157988834 652734464 116646 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=637436 memory=466584 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 157988850 652734464 116646 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 637436 KiB
Current children cumulated memory: 466584 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.33 4.19 5/250 803763
/proc/meminfo: memFree=121373036/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=786156 memory=542316 CPUtime=101.99 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 358177 0 0 0 10149 50 0 0 20 0 3 0 157988736 805023744 135579 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 196539 135579 2974 3032 0 179965 0
[pid=803694/tid=803696] ppid=803691 vsize=786156 memory=527348 CPUtime=100.94 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 314031 0 0 0 10053 41 0 0 20 0 3 0 157988834 805023744 135579 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=786156 memory=11420 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 157988850 805023744 135579 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 786156 KiB
Current children cumulated memory: 542316 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.29 4.18 5/250 803773
/proc/meminfo: memFree=121206460/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=806496 memory=585988 CPUtime=161.81 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 430956 0 0 0 16123 58 0 0 20 0 3 0 157988736 825851904 146497 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 201624 146497 2974 3032 0 194194 0
[pid=803694/tid=803696] ppid=803691 vsize=806496 memory=42444 CPUtime=160.76 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 386748 0 0 0 16028 48 0 0 20 0 3 0 157988834 825851904 146497 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=806496 memory=558332 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 157988850 825851904 146497 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 806496 KiB
Current children cumulated memory: 585988 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.25 4.17 5/250 803784
/proc/meminfo: memFree=121051984/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=899024 memory=628464 CPUtime=221.62 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 492338 0 0 0 22099 63 0 0 20 0 3 0 157988736 920600576 157116 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 224756 157116 2974 3032 0 212808 0
[pid=803694/tid=803696] ppid=803691 vsize=899024 memory=3452 CPUtime=220.57 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 448035 0 0 0 22004 53 0 0 20 0 3 0 157988834 920600576 157116 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=899024 memory=12508 CPUtime=0 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 157988850 920600576 157116 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 899024 KiB
Current children cumulated memory: 628464 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.23 4.17 5/250 803794
################
# More data... #
################
[pid=803694] ppid=803691 vsize=2114708 memory=1870292 CPUtime=3451.64 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 4996713 0 0 0 344680 484 0 0 20 0 3 0 157988736 2165460992 467573 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 467573 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=1744700 CPUtime=3450.28 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 4950506 0 0 0 344569 459 0 0 20 0 3 0 157988834 2165460992 467573 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=1870112 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 154 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 467573 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1870292 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.13 3.37 4/244 805643
/proc/meminfo: memFree=118547832/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1887532 CPUtime=3511.48 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5131246 0 0 0 350654 494 0 0 20 0 3 0 157988736 2165460992 471883 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 471883 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=1887508 CPUtime=3510.1 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5085018 0 0 0 350542 468 0 0 20 0 3 0 157988834 2165460992 471883 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=1887532 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 158 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 471883 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1887532 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.12 3.35 4/244 805654
/proc/meminfo: memFree=118503240/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1905132 CPUtime=3571.31 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5267031 0 0 0 356629 502 0 0 20 0 3 0 157988736 2165460992 476283 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 476283 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=1905132 CPUtime=3569.93 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5220779 0 0 0 356517 476 0 0 20 0 3 0 157988834 2165460992 476283 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=11420 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 476283 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1905132 KiB
[startup+3600.56 s]
# the end of solver process 803694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.38 s, system=5.14435 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.08 3.12 3.35 4/244 805654
/proc/meminfo: memFree=118503016/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1905132 CPUtime=3573.01 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5267373 0 0 0 356799 502 0 0 20 0 3 0 157988736 2165460992 476283 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 476283 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=6720662164367227501 CPUtime=3571.63 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5221114 0 0 0 356687 476 0 0 20 0 3 0 157988834 2165460992 476283 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=-9044459746194447340 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 476283 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1905132 KiB
[startup+3590.4 s]
/proc/loadavg: 3.14 3.13 3.35 5/244 805656
/proc/meminfo: memFree=118502876/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1905200 CPUtime=3579.38 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5314377 0 0 0 357433 505 0 0 20 0 3 0 157988736 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 476300 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=11420 CPUtime=3578 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5268107 0 0 0 357321 479 0 0 20 0 3 0 157988834 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=1905164 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3579.38 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1905200 KiB
[startup+3596.8 s]
/proc/loadavg: 3.13 3.13 3.35 4/244 805656
/proc/meminfo: memFree=118502900/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1905200 CPUtime=3585.76 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5314554 0 0 0 358071 505 0 0 20 0 3 0 157988736 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 476300 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=1905132 CPUtime=3584.38 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5268283 0 0 0 357959 479 0 0 20 0 3 0 157988834 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=1905164 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1905200 KiB
[startup+3598.4 s]
/proc/loadavg: 3.13 3.13 3.35 4/244 805656
/proc/meminfo: memFree=118502840/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1905200 CPUtime=3587.36 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5315217 0 0 0 358231 505 0 0 20 0 3 0 157988736 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 476300 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=42444 CPUtime=3585.98 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5268946 0 0 0 358119 479 0 0 20 0 3 0 157988834 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=12508 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1905200 KiB
[startup+3599.2 s]
/proc/loadavg: 3.13 3.13 3.35 4/244 805657
/proc/meminfo: memFree=118502836/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1905200 CPUtime=3588.16 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5315218 0 0 0 358311 505 0 0 20 0 3 0 157988736 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 476300 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=1905200 CPUtime=3586.78 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5268947 0 0 0 358199 479 0 0 20 0 3 0 157988834 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=16192 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1905200 KiB
[startup+3600 s]*
/proc/loadavg: 3.12 3.13 3.35 4/244 805657
/proc/meminfo: memFree=118502784/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1905200 CPUtime=3588.97 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5315993 0 0 0 358392 505 0 0 20 0 3 0 157988736 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 528677 476300 3294 3032 0 513408 0
[pid=803694/tid=803696] ppid=803691 vsize=2114708 memory=4716 CPUtime=3587.58 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5269784 0 0 0 358279 479 0 0 20 0 3 0 157988834 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2114708 memory=-9044459746194447340 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2165460992 476300 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3588.97 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1905200 KiB
[startup+3600.4 s]
/proc/loadavg: 3.12 3.13 3.35 4/244 805657
/proc/meminfo: memFree=118502784/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=2114708 memory=1865324 CPUtime=3589.35 cores=4,6
/proc/803694/stat : 803694 (fscip) S 803691 803694 797687 0 -1 1077936128 5363443 0 0 0 358427 508 0 0 20 0 3 0 157988736 2165460992 467061 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 517399 466843 3294 3032 0 502130 0
[pid=803694/tid=803696] ppid=803691 vsize=2069596 memory=1905200 CPUtime=3587.97 cores=4,6
/proc/803694/task/803696/stat : 803696 (fscip) R 803691 803694 797687 0 -1 4194368 5317170 0 0 0 358315 482 0 0 20 0 3 0 157988834 2119266304 465307 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
[pid=803694/tid=803711] ppid=803691 vsize=2069596 memory=26652 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 3 0 157988850 2119266304 464795 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3589.35 s
Current children cumulated vsize: 2114708 KiB
Current children cumulated memory: 1865324 KiB
[startup+3600.5 s]
/proc/loadavg: 3.12 3.13 3.35 4/244 805657
/proc/meminfo: memFree=118502784/131655788 swapFree=131071996/131071996
[pid=803694] ppid=803691 vsize=1327676 memory=1176580 CPUtime=3589.45 cores=4,6
/proc/803694/stat : 803694 (fscip) R 803691 803694 797687 0 -1 4194304 5368949 0 0 0 358435 510 0 0 20 0 2 0 157988736 1359540224 294145 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
/proc/803694/statm: 331919 294145 3294 3032 0 316650 0
[pid=803694/tid=803711] ppid=803691 vsize=1327676 memory=16192 CPUtime=0.06 cores=4,6
/proc/803694/task/803711/stat : 803711 (fscip) S 803691 803694 797687 0 -1 1077936192 160 0 0 0 2 4 0 0 20 0 2 0 157988850 1359540224 294145 134679101440 4194304 16613245 140731392338752 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47349760 140731392345109 140731392345225 140731392345225 140731392352240 0
Current children cumulated CPU time: 3589.45 s
Current children cumulated vsize: 1327676 KiB
Current children cumulated memory: 1176580 KiB
Child status: 0
Real time (s): 3600.56
CPU time (s): 3589.52
CPU user time (s): 3584.38
CPU system time (s): 5.14435
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 2114708
Max. memory (cumulated for all children) (KiB): 1905200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.37
system time used= 5.14435
maximum resident set size= 1905200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5369043
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= 9671
involuntary context switches= 2502
# summary of solver processes directly reported to runsolver:
# pid: 803694
# total CPU time (s): 3589.52
# total CPU user time (s): 3584.38
# total CPU system time (s): 5.14435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7746 second user time and 35.1917 second system time
The end
Begin job on nodeC011 at 2024-07-15 17:45:28
IDJOB=4434714
IDBENCH=146695
IDSOLVER=3064
FILE ID=nodeC011/4434714-1721058315
RUNJOBID= nodeC011-1721054725-801072
SLURM_JOB_ID= 7505475
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.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-4434714-1721058315/watcher-4434714-1721058315 -o /tmp/evaluation-result-4434714-1721058315/solver-4434714-1721058315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801072 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434714-1721058315.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=158189902
nodeC011.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 : 3524.684
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.20
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 : 3665.835
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.31
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.129
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.20
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.222
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.31
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 : 3491.622
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.20
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 : 3619.644
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.31
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.122
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.20
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.310
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120582072 kB
MemAvailable: 125759584 kB
Buffers: 382352 kB
Cached: 5572772 kB
SwapCached: 0 kB
Active: 660464 kB
Inactive: 9738380 kB
Active(anon): 1428 kB
Inactive(anon): 4480012 kB
Active(file): 659036 kB
Inactive(file): 5258368 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29324 kB
Writeback: 0 kB
AnonPages: 4441324 kB
Mapped: 141836 kB
Shmem: 37704 kB
KReclaimable: 200612 kB
Slab: 310188 kB
SReclaimable: 200612 kB
SUnreclaim: 109576 kB
KernelStack: 3984 kB
PageTables: 18064 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2910384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2971648 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: 262984 kB
DirectMap2M: 33196032 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC011 at 2024-07-15 18:45:29