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.20/0.28 c Default LC presolving (default).
0.20/0.28 c ** Before presolving: virtualMemUsedAtLc = 176187445, getVmSize() = 124919808, SCIPgetMemUsed() = 86330564, SCIPgetMemTotal() = 97065508, SCIPgetMemExternEstim() = 79121937
0.20/0.28 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
2.09/2.11 c ** Estimated virtualMemUsedAtSolver = 293193016, getVmSize() = 397197312, SCIPgetMemUsed() = 205559420, SCIPgetMemTotal() = 360667588, SCIPgetMemExternEstim() = 79121937
2.09/2.11 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.09/2.11 c Original Problem :
2.09/2.11 c Problem name : instance-4434716-1721056069
2.09/2.11 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
2.09/2.11 c Constraints : 81068
2.09/2.11 c Objective sense : minimize
2.09/2.11 c Presolved Problem :
2.09/2.11 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
2.09/2.11 c Constraints : 81068
2.09/2.11 c Constraints : Number
2.09/2.11 c setppc : 81068
2.09/2.11 c ** Instance transfer method used: 0
2.17/2.24 c ** ParaScipInstance copy does not increase the number of variables. **
2.38/2.45 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.38/2.45 c Nodes Active
2.38/2.45 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.35/5.49 c * 6 0 1 1 -33.0000 - -
5.35/5.49 c 6 0 1 1 -33.0000 - -
5.85/5.91 c * 6 0 1 1 -37.0000 - -
29.77/29.99 c 30 2 1 1 -37.0000 -50.0000 35.14%
36.75/36.98 c 37 12 11 1 -37.0000 -50.0000 35.14%
42.23/42.40 c 42 14 13 1 -37.0000 -50.0000 35.14%
48.21/48.46 c 48 22 21 1 -37.0000 -50.0000 35.14%
54.48/54.77 c 55 28 27 1 -37.0000 -50.0000 35.14%
60.95/61.20 c 61 32 31 1 -37.0000 -50.0000 35.14%
68.42/68.74 c 69 39 38 1 -37.0000 -50.0000 35.14%
69.11/69.46 c * 69 39 38 1 -38.0000 -50.0000 31.58%
74.19/74.50 c 75 48 47 1 -38.0000 -50.0000 31.58%
79.96/80.31 c 80 56 55 1 -38.0000 -50.0000 31.58%
87.44/87.84 c 88 74 73 1 -38.0000 -50.0000 31.58%
93.02/93.44 c 93 84 85 1 -38.0000 -50.0000 31.58%
99.39/99.85 c 100 94 93 1 -38.0000 -50.0000 31.58%
105.27/105.77 c 106 104 103 1 -38.0000 -50.0000 31.58%
108.66/109.12 c * 109 109 108 1 -39.0000 -50.0000 28.21%
110.44/111.01 c 111 120 116 1 -39.0000 -50.0000 28.21%
116.52/117.07 c 117 126 122 1 -39.0000 -50.0000 28.21%
124.88/125.42 c 125 140 134 1 -39.0000 -50.0000 28.21%
132.74/133.31 c 133 157 149 1 -39.0000 -50.0000 28.21%
140.02/140.66 c 141 167 159 1 -39.0000 -50.0000 28.21%
145.10/145.73 c 146 182 174 1 -39.0000 -50.0000 28.21%
152.38/153.07 c 153 220 208 1 -39.0000 -50.0000 28.21%
159.54/160.30 c 160 234 222 1 -39.0000 -50.0000 28.21%
164.92/165.66 c 166 245 233 1 -39.0000 -50.0000 28.21%
173.90/174.67 c 175 270 258 1 -39.0000 -50.0000 28.21%
177.29/178.06 c * 178 288 276 1 -42.0000 -50.0000 19.05%
177.40/178.11 c * 178 288 276 1 -43.0000 -50.0000 16.28%
177.68/178.44 c * 178 312 246 1 -44.0000 -50.0000 13.64%
180.97/181.73 c 182 327 230 1 -44.0000 -50.0000 13.64%
186.36/187.14 c 187 384 263 1 -44.0000 -50.0000 13.64%
192.13/193.01 c 193 417 276 1 -44.0000 -50.0000 13.64%
198.41/199.27 c 199 446 293 1 -44.0000 -50.0000 13.64%
205.58/206.46 c 206 470 311 1 -44.0000 -50.0000 13.64%
210.75/211.61 c 212 577 372 1 -44.0000 -50.0000 13.64%
216.33/217.21 c 217 636 403 1 -44.0000 -50.0000 13.64%
221.72/222.65 c 223 802 457 1 -44.0000 -50.0000 13.64%
226.80/227.72 c 228 853 470 1 -44.0000 -50.0000 13.64%
232.07/233.09 c 233 1005 534 1 -44.0000 -50.0000 13.64%
238.64/239.60 c 240 1069 592 1 -44.0000 -50.0000 13.64%
245.31/246.34 c 246 1073 596 1 -44.0000 -50.0000 13.64%
251.39/252.48 c 252 1081 602 1 -44.0000 -50.0000 13.64%
258.68/259.79 c 260 1106 623 1 -44.0000 -50.0000 13.64%
265.06/266.18 c 266 1187 700 1 -44.0000 -50.0000 13.64%
271.04/272.20 c 272 1204 711 1 -44.0000 -50.0000 13.64%
276.11/277.21 c 277 1248 747 1 -44.0000 -50.0000 13.64%
281.68/282.81 c 283 1307 800 1 -44.0000 -50.0000 13.64%
288.56/289.73 c 290 1341 832 1 -44.0000 -50.0000 13.64%
293.96/295.12 c 295 1346 837 1 -44.0000 -50.0000 13.64%
301.61/302.82 c 303 1390 877 1 -44.0000 -50.0000 13.64%
307.59/308.80 c 309 1473 960 1 -44.0000 -50.0000 13.64%
315.56/316.84 c 317 1525 1012 1 -44.0000 -50.0000 13.64%
321.94/323.29 c 323 1543 1030 1 -44.0000 -50.0000 13.64%
327.32/328.60 c 329 1575 1060 1 -44.0000 -50.0000 13.64%
332.60/334.01 c 334 1699 1184 1 -44.0000 -50.0000 13.64%
345.24/346.69 c 347 1824 1309 1 -44.0000 -50.0000 13.64%
352.12/353.56 c 354 1862 1343 1 -44.0000 -50.0000 13.64%
357.50/358.94 c 359 1975 1456 1 -44.0000 -50.0000 13.64%
365.47/366.93 c 367 2064 1541 1 -44.0000 -50.0000 13.64%
370.56/372.06 c 372 2203 1660 1 -44.0000 -50.0000 13.64%
381.42/382.96 c 383 2219 1676 1 -44.0000 -50.0000 13.64%
388.51/390.01 c 390 2303 1752 1 -44.0000 -50.0000 13.64%
394.59/396.11 c 396 2307 1754 1 -44.0000 -50.0000 13.64%
400.35/402.00 c 402 2374 1815 1 -44.0000 -50.0000 13.64%
405.55/407.17 c 407 2446 1879 1 -44.0000 -50.0000 13.64%
411.21/412.85 c 413 2499 1926 1 -44.0000 -50.0000 13.64%
417.50/419.18 c 419 2520 1943 1 -44.0000 -50.0000 13.64%
425.66/427.37 c 427 2559 1982 1 -44.0000 -50.0000 13.64%
433.93/435.62 c 436 2613 2028 1 -44.0000 -50.0000 13.64%
439.91/441.63 c 442 2645 2058 1 -44.0000 -50.0000 13.64%
445.00/446.79 c 447 2664 2077 1 -44.0000 -50.0000 13.64%
451.67/453.40 c 453 2680 2093 1 -44.0000 -50.0000 13.64%
457.06/458.85 c 459 2702 2115 1 -44.0000 -50.0000 13.64%
464.83/466.62 c 467 2752 2163 1 -44.0000 -50.0000 13.64%
470.52/472.31 c 472 2767 2178 1 -44.0000 -50.0000 13.64%
475.50/477.39 c 477 2828 2235 1 -44.0000 -50.0000 13.64%
481.29/483.12 c 483 2878 2283 1 -44.0000 -50.0000 13.64%
488.45/490.37 c 490 2964 2351 1 -44.0000 -50.0000 13.64%
495.52/497.41 c 497 2982 2369 1 -44.0000 -50.0000 13.64%
501.00/502.91 c 503 3018 2403 1 -44.0000 -50.0000 13.64%
510.56/512.54 c 513 3043 2422 1 -44.0000 -50.0000 13.64%
516.74/518.70 c 519 3061 2440 1 -44.0000 -50.0000 13.64%
524.82/526.82 c 527 3102 2477 1 -44.0000 -50.0000 13.64%
532.10/534.18 c 534 3111 2486 1 -44.0000 -50.0000 13.64%
537.57/539.62 c 540 3135 2508 1 -44.0000 -50.0000 13.64%
543.85/545.94 c 546 3138 2511 1 -44.0000 -50.0000 13.64%
551.22/553.38 c 553 3144 2515 1 -44.0000 -50.0000 13.64%
558.70/560.83 c 561 3164 2527 1 -44.0000 -50.0000 13.64%
564.38/566.53 c 567 3173 2536 1 -44.0000 -50.0000 13.64%
569.57/571.74 c 572 3190 2553 1 -44.0000 -50.0000 13.64%
576.04/578.28 c 578 3249 2604 1 -44.0000 -50.0000 13.64%
582.02/584.27 c 584 3260 2615 1 -44.0000 -50.0000 13.64%
587.51/589.73 c 590 3315 2660 1 -44.0000 -50.0000 13.64%
594.29/596.58 c 597 3348 2693 1 -44.0000 -50.0000 13.64%
602.56/604.89 c 605 3379 2720 1 -44.0000 -50.0000 13.64%
608.33/610.64 c 611 3402 2741 1 -44.0000 -50.0000 13.64%
613.53/615.81 c 616 3420 2759 1 -44.0000 -50.0000 13.64%
619.72/622.04 c 622 3431 2768 1 -44.0000 -50.0000 13.64%
626.38/628.77 c 629 3471 2800 1 -44.0000 -50.0000 13.64%
632.16/634.58 c 635 3533 2856 1 -44.0000 -50.0000 13.64%
638.04/640.46 c 640 3550 2873 1 -44.0000 -50.0000 13.64%
643.53/645.99 c 646 3625 2942 1 -44.0000 -50.0000 13.64%
649.30/651.75 c 652 3660 2971 1 -44.0000 -50.0000 13.64%
656.70/659.15 c 659 3688 2993 1 -44.0000 -50.0000 13.64%
663.75/666.29 c 666 3739 3040 1 -44.0000 -50.0000 13.64%
671.83/674.30 c 674 3786 3087 1 -44.0000 -50.0000 13.64%
680.31/682.85 c 683 3836 3131 1 -44.0000 -50.0000 13.64%
688.28/690.86 c 691 3866 3159 1 -44.0000 -50.0000 13.64%
694.15/696.72 c 697 3894 3185 1 -44.0000 -50.0000 13.64%
702.23/704.89 c 705 3899 3190 1 -44.0000 -50.0000 13.64%
708.12/710.74 c 711 3913 3204 1 -44.0000 -50.0000 13.64%
714.00/716.66 c 717 3948 3237 1 -44.0000 -50.0000 13.64%
720.77/723.42 c 723 4043 3320 1 -44.0000 -50.0000 13.64%
727.35/730.07 c 730 4083 3358 1 -44.0000 -50.0000 13.64%
734.82/737.57 c 738 4127 3402 1 -44.0000 -50.0000 13.64%
740.60/743.30 c 743 4176 3441 1 -44.0000 -50.0000 13.64%
747.18/750.01 c 750 4195 3460 1 -44.0000 -50.0000 13.64%
752.85/755.69 c 756 4271 3528 1 -44.0000 -50.0000 13.64%
759.92/762.71 c 763 4345 3590 1 -44.0000 -50.0000 13.64%
768.31/771.16 c 771 4354 3599 1 -44.0000 -50.0000 13.64%
774.07/777.00 c 777 4374 0 1 -44.0000 -50.0000 13.64%
785.33/788.24 c 788 4374 0 1 -44.0000 -50.0000 13.64%
798.48/801.49 c 801 4375 1 1 -44.0000 -50.0000 13.64%
804.07/807.06 c 807 4392 18 1 -44.0000 -50.0000 13.64%
809.74/812.73 c 813 4419 45 1 -44.0000 -50.0000 13.64%
815.82/818.88 c 819 4442 68 1 -44.0000 -50.0000 13.64%
821.40/824.44 c 824 4457 83 1 -44.0000 -50.0000 13.64%
826.58/829.68 c 830 4471 97 1 -44.0000 -50.0000 13.64%
833.46/836.50 c 836 4480 106 1 -44.0000 -50.0000 13.64%
839.54/842.63 c 843 4486 112 1 -44.0000 -50.0000 13.64%
847.02/850.19 c 850 4495 121 1 -44.0000 -50.0000 13.64%
856.18/859.32 c 859 4503 129 1 -44.0000 -50.0000 13.64%
861.26/864.45 c 864 4516 142 1 -44.0000 -50.0000 13.64%
866.65/869.83 c 870 4526 152 1 -44.0000 -50.0000 13.64%
872.22/875.48 c 875 4578 200 1 -44.0000 -50.0000 13.64%
877.50/880.71 c 881 4634 252 1 -44.0000 -50.0000 13.64%
882.97/886.25 c 886 4677 293 1 -44.0000 -50.0000 13.64%
891.95/895.29 c 895 4756 360 1 -44.0000 -50.0000 13.64%
898.73/902.06 c 902 4779 381 1 -44.0000 -50.0000 13.64%
904.00/907.34 c 907 4856 450 1 -44.0000 -50.0000 13.64%
909.80/913.15 c 913 4955 537 1 -44.0000 -50.0000 13.64%
915.67/919.02 c 919 5036 602 1 -44.0000 -50.0000 13.64%
921.64/925.06 c 925 5149 685 1 -44.0000 -50.0000 13.64%
928.51/931.93 c 932 5216 728 1 -44.0000 -50.0000 13.64%
938.69/942.17 c 942 5229 739 1 -44.0000 -50.0000 13.64%
948.05/951.52 c 952 5241 747 1 -44.0000 -50.0000 13.64%
954.44/957.97 c 958 5253 753 1 -44.0000 -50.0000 13.64%
961.41/964.92 c 965 5256 752 1 -44.0000 -50.0000 13.64%
966.40/969.95 c 970 5286 766 1 -44.0000 -50.0000 13.64%
976.86/980.41 c 980 5322 786 1 -44.0000 -50.0000 13.64%
985.14/988.78 c 989 5362 808 1 -44.0000 -50.0000 13.64%
993.01/996.61 c 997 5382 822 1 -44.0000 -50.0000 13.64%
1007.05/1010.78 c 1011 5495 905 1 -44.0000 -50.0000 13.64%
1014.13/1017.85 c 1018 5503 907 1 -44.0000 -50.0000 13.64%
1020.21/1023.96 c 1024 5516 916 1 -44.0000 -50.0000 13.64%
1028.39/1032.14 c 1032 5538 926 1 -44.0000 -50.0000 13.64%
1033.96/1037.70 c 1038 5542 928 1 -44.0000 -50.0000 13.64%
1041.24/1045.07 c 1045 5557 933 1 -44.0000 -50.0000 13.64%
1050.59/1054.41 c 1054 5584 940 1 -44.0000 -50.0000 13.64%
1055.96/1059.82 c 1060 5666 1012 1 -44.0000 -50.0000 13.64%
1065.15/1069.04 c 1069 5693 1039 1 -44.0000 -50.0000 13.64%
1073.11/1077.08 c 1077 5714 1056 1 -44.0000 -50.0000 13.64%
1079.19/1083.20 c 1083 5727 1067 1 -44.0000 -50.0000 13.64%
1085.85/1089.82 c 1090 5744 1084 1 -44.0000 -50.0000 13.64%
1094.13/1098.14 c 1098 5774 1100 1 -44.0000 -50.0000 13.64%
1099.12/1103.20 c 1103 5781 1103 1 -44.0000 -50.0000 13.64%
1107.47/1111.53 c 1112 5794 1106 1 -44.0000 -50.0000 13.64%
1115.24/1119.35 c 1119 5813 1125 1 -44.0000 -50.0000 13.64%
1122.22/1126.38 c 1126 5817 1129 1 -44.0000 -50.0000 13.64%
1128.09/1132.22 c 1132 5837 1137 1 -44.0000 -50.0000 13.64%
1135.66/1139.80 c 1140 5872 1152 1 -44.0000 -50.0000 13.64%
1142.63/1146.85 c 1147 5916 1190 1 -44.0000 -50.0000 13.64%
1147.70/1152.00 c 1152 6005 1257 1 -44.0000 -50.0000 13.64%
1154.98/1159.28 c 1159 6035 1283 1 -44.0000 -50.0000 13.64%
1162.86/1167.15 c 1167 6053 1299 1 -44.0000 -50.0000 13.64%
1169.74/1174.05 c 1174 6070 1312 1 -44.0000 -50.0000 13.64%
1177.72/1182.10 c 1182 6091 1331 1 -44.0000 -50.0000 13.64%
1183.70/1188.10 c 1188 6120 1352 1 -44.0000 -50.0000 13.64%
1192.26/1196.65 c 1197 6145 1375 1 -44.0000 -50.0000 13.64%
1198.05/1202.44 c 1202 6175 1399 1 -44.0000 -50.0000 13.64%
1205.63/1210.03 c 1210 6188 1410 1 -44.0000 -50.0000 13.64%
1211.62/1216.04 c 1216 6209 1425 1 -44.0000 -50.0000 13.64%
1217.29/1221.73 c 1222 6317 1503 1 -44.0000 -50.0000 13.64%
1222.36/1226.83 c 1227 6441 1573 1 -44.0000 -50.0000 13.64%
1228.15/1232.64 c 1233 6501 1615 1 -44.0000 -50.0000 13.64%
1233.23/1237.78 c 1238 6541 1629 1 -44.0000 -50.0000 13.64%
1238.81/1243.34 c 1243 6611 1667 1 -44.0000 -50.0000 13.64%
1243.89/1248.49 c 1248 6730 1732 1 -44.0000 -50.0000 13.64%
1250.47/1255.09 c 1255 6753 1747 1 -44.0000 -50.0000 13.64%
1258.45/1263.09 c 1263 6783 1767 1 -44.0000 -50.0000 13.64%
1264.31/1268.94 c 1269 6817 1785 1 -44.0000 -50.0000 13.64%
1269.90/1274.56 c 1275 6844 1804 1 -44.0000 -50.0000 13.64%
1275.57/1280.23 c 1280 6934 1850 1 -44.0000 -50.0000 13.64%
1280.94/1285.65 c 1286 6998 1882 1 -44.0000 -50.0000 13.64%
1286.33/1291.07 c 1291 7159 1957 1 -44.0000 -50.0000 13.64%
1292.51/1297.28 c 1297 7206 1974 1 -44.0000 -50.0000 13.64%
1298.68/1303.47 c 1303 7256 2002 1 -44.0000 -50.0000 13.64%
1303.87/1308.60 c 1309 7262 2004 1 -44.0000 -50.0000 13.64%
1309.15/1313.97 c 1314 7279 2011 1 -44.0000 -50.0000 13.64%
1317.81/1322.63 c 1323 7432 2074 1 -44.0000 -50.0000 13.64%
1324.88/1329.72 c 1330 7485 2105 1 -44.0000 -50.0000 13.64%
1331.86/1336.78 c 1337 7497 2111 1 -44.0000 -50.0000 13.64%
1337.04/1341.96 c 1342 7539 2131 1 -44.0000 -50.0000 13.64%
1344.61/1349.55 c 1350 7554 2142 1 -44.0000 -50.0000 13.64%
1350.88/1355.88 c 1356 7676 2228 1 -44.0000 -50.0000 13.64%
1356.95/1361.91 c 1362 7747 2263 1 -44.0000 -50.0000 13.64%
1364.42/1369.43 c 1369 7863 2327 1 -44.0000 -50.0000 13.64%
1371.00/1376.03 c 1376 7864 2328 1 -44.0000 -50.0000 13.64%
1375.99/1381.04 c 1381 7941 2375 1 -44.0000 -50.0000 13.64%
1387.63/1392.72 c 1393 7956 2380 1 -44.0000 -50.0000 13.64%
1394.71/1399.82 c 1400 7957 2381 1 -44.0000 -50.0000 13.64%
1401.89/1407.02 c 1407 7986 2394 1 -44.0000 -50.0000 13.64%
1407.75/1412.90 c 1413 8018 2410 1 -44.0000 -50.0000 13.64%
1412.85/1418.07 c 1418 8120 2474 1 -44.0000 -50.0000 13.64%
1419.92/1425.14 c 1425 8121 2475 1 -44.0000 -50.0000 13.64%
1430.17/1435.47 c 1435 8136 2486 1 -44.0000 -50.0000 13.64%
1435.45/1440.76 c 1441 8175 2503 1 -44.0000 -50.0000 13.64%
1441.32/1446.64 c 1447 8285 2567 1 -44.0000 -50.0000 13.64%
1446.49/1451.84 c 1452 8448 2654 1 -44.0000 -50.0000 13.64%
1451.57/1456.93 c 1457 8542 2702 1 -44.0000 -50.0000 13.64%
1457.14/1462.51 c 1463 8642 2752 1 -44.0000 -50.0000 13.64%
1462.22/1467.62 c 1468 8791 2831 1 -44.0000 -50.0000 13.64%
1468.89/1474.31 c 1474 8808 2834 1 -44.0000 -50.0000 13.64%
1475.76/1481.27 c 1481 8818 2838 1 -44.0000 -50.0000 13.64%
1483.33/1488.85 c 1489 8885 2869 1 -44.0000 -50.0000 13.64%
1489.91/1495.46 c 1495 8900 2876 1 -44.0000 -50.0000 13.64%
1499.07/1504.69 c 1505 8984 2912 1 -44.0000 -50.0000 13.64%
1504.25/1509.89 c 1510 9052 2948 1 -44.0000 -50.0000 13.64%
1512.01/1517.67 c 1518 9157 3003 1 -44.0000 -50.0000 13.64%
1522.39/1528.05 c 1528 9192 3012 1 -44.0000 -50.0000 13.64%
1528.05/1533.74 c 1534 9242 3038 1 -44.0000 -50.0000 13.64%
1533.12/1538.84 c 1539 9442 3120 1 -44.0000 -50.0000 13.64%
1540.09/1545.83 c 1546 9514 3160 1 -44.0000 -50.0000 13.64%
1545.17/1550.91 c 1551 9612 3212 1 -44.0000 -50.0000 13.64%
1551.95/1557.77 c 1558 9635 3225 1 -44.0000 -50.0000 13.64%
1557.83/1563.69 c 1564 9663 3245 1 -44.0000 -50.0000 13.64%
1563.70/1569.56 c 1570 9747 3281 1 -44.0000 -50.0000 13.64%
1569.87/1575.78 c 1576 9847 3345 1 -44.0000 -50.0000 13.64%
1575.55/1581.41 c 1581 9882 3362 1 -44.0000 -50.0000 13.64%
1580.53/1586.46 c 1586 9931 3395 1 -44.0000 -50.0000 13.64%
1586.50/1592.48 c 1592 9977 3425 1 -44.0000 -50.0000 13.64%
1592.27/1598.25 c 1598 10119 3491 1 -44.0000 -50.0000 13.64%
1598.45/1604.40 c 1604 10136 3500 1 -44.0000 -50.0000 13.64%
1604.15/1610.14 c 1610 10153 3509 1 -44.0000 -50.0000 13.64%
1614.11/1620.15 c 1620 10268 3570 1 -44.0000 -50.0000 13.64%
1619.27/1625.38 c 1625 10277 3573 1 -44.0000 -50.0000 13.64%
1626.05/1632.16 c 1632 10325 3591 1 -44.0000 -50.0000 13.64%
1632.62/1638.78 c 1639 10330 3594 1 -44.0000 -50.0000 13.64%
1639.50/1645.60 c 1646 10346 3600 1 -44.0000 -50.0000 13.64%
1644.78/1650.93 c 1651 10383 3611 1 -44.0000 -50.0000 13.64%
1654.13/1660.37 c 1660 10403 3621 1 -44.0000 -50.0000 13.64%
1659.72/1666.01 c 1666 10413 3625 1 -44.0000 -50.0000 13.64%
1665.18/1671.41 c 1671 10499 3675 1 -44.0000 -50.0000 13.64%
1673.97/1680.22 c 1680 10521 3685 1 -44.0000 -50.0000 13.64%
1679.15/1685.46 c 1685 10584 3714 1 -44.0000 -50.0000 13.64%
1684.63/1690.93 c 1691 10726 3818 1 -44.0000 -50.0000 13.64%
1692.81/1699.18 c 1699 10820 3890 1 -44.0000 -50.0000 13.64%
1698.58/1704.96 c 1705 10850 3908 1 -44.0000 -50.0000 13.64%
1704.26/1710.61 c 1711 10888 3929 1 -44.0000 -50.0000 13.64%
1709.66/1716.01 c 1716 10928 3953 1 -44.0000 -50.0000 13.64%
1715.52/1722.01 c 1722 11039 4014 1 -44.0000 -50.0000 13.64%
1722.20/1728.62 c 1729 11057 4028 1 -44.0000 -50.0000 13.64%
1732.26/1738.74 c 1739 11131 4088 1 -44.0000 -50.0000 13.64%
1740.33/1746.87 c 1747 11241 4156 1 -44.0000 -50.0000 13.64%
1750.52/1757.01 c 1757 11333 4202 1 -44.0000 -50.0000 13.64%
1755.60/1762.13 c 1762 11367 4228 1 -44.0000 -50.0000 13.64%
1760.59/1767.15 c 1767 11382 4241 1 -44.0000 -50.0000 13.64%
1767.35/1774.01 c 1774 11447 4276 1 -44.0000 -50.0000 13.64%
1773.32/1779.96 c 1780 11473 4298 1 -44.0000 -50.0000 13.64%
1781.60/1788.24 c 1788 11506 4321 1 -44.0000 -50.0000 13.64%
1786.98/1793.64 c 1794 11521 4334 1 -44.0000 -50.0000 13.64%
1796.05/1802.72 c 1803 11540 4345 1 -44.0000 -50.0000 13.64%
1801.04/1807.78 c 1808 11548 4351 1 -44.0000 -50.0000 13.64%
1806.62/1813.38 c 1813 11570 4359 1 -44.0000 -50.0000 13.64%
1812.61/1819.33 c 1819 11610 4379 1 -44.0000 -50.0000 13.64%
1818.69/1825.47 c 1825 11626 4387 1 -44.0000 -50.0000 13.64%
1823.97/1830.73 c 1831 11660 4409 1 -44.0000 -50.0000 13.64%
1835.24/1842.07 c 1842 11731 4466 1 -44.0000 -50.0000 13.64%
1842.81/1849.66 c 1850 11817 4516 1 -44.0000 -50.0000 13.64%
1848.49/1855.32 c 1855 11881 4548 1 -44.0000 -50.0000 13.64%
1855.57/1862.40 c 1862 11917 4572 1 -44.0000 -50.0000 13.64%
1865.83/1872.71 c 1873 11982 4605 1 -44.0000 -50.0000 13.64%
1871.61/1878.57 c 1879 11989 4612 1 -44.0000 -50.0000 13.64%
1879.28/1886.24 c 1886 12043 4658 1 -44.0000 -50.0000 13.64%
1884.57/1891.51 c 1892 12085 4688 1 -44.0000 -50.0000 13.64%
1892.05/1899.05 c 1899 12117 4712 1 -44.0000 -50.0000 13.64%
1897.31/1904.32 c 1904 12186 4771 1 -44.0000 -50.0000 13.64%
1905.00/1912.08 c 1912 12253 4824 1 -44.0000 -50.0000 13.64%
1910.37/1917.47 c 1917 12282 4851 1 -44.0000 -50.0000 13.64%
1915.65/1922.71 c 1923 12438 4961 1 -44.0000 -50.0000 13.64%
1920.94/1928.06 c 1928 12541 5040 1 -44.0000 -50.0000 13.64%
1927.10/1934.29 c 1934 12631 5114 1 -44.0000 -50.0000 13.64%
1933.78/1940.92 c 1941 12639 5120 1 -44.0000 -50.0000 13.64%
1939.47/1946.69 c 1947 12661 5138 1 -44.0000 -50.0000 13.64%
1946.75/1953.96 c 1954 12687 5160 1 -44.0000 -50.0000 13.64%
1951.94/1959.19 c 1959 12695 5166 1 -44.0000 -50.0000 13.64%
1959.20/1966.41 c 1966 12725 5184 1 -44.0000 -50.0000 13.64%
1966.47/1973.71 c 1974 12728 5187 1 -44.0000 -50.0000 13.64%
1971.87/1979.13 c 1979 12770 5215 1 -44.0000 -50.0000 13.64%
1977.03/1984.34 c 1984 12866 5289 1 -44.0000 -50.0000 13.64%
1982.51/1989.82 c 1990 12993 5390 1 -44.0000 -50.0000 13.64%
1987.80/1995.15 c 1995 13005 5398 1 -44.0000 -50.0000 13.64%
1994.95/2002.36 c 2002 13035 5418 1 -44.0000 -50.0000 13.64%
2002.83/2010.20 c 2010 13051 5428 1 -44.0000 -50.0000 13.64%
2009.61/2017.05 c 2017 13086 5441 1 -44.0000 -50.0000 13.64%
2014.97/2022.44 c 2022 13093 5442 1 -44.0000 -50.0000 13.64%
2019.96/2027.46 c 2027 13097 5446 1 -44.0000 -50.0000 13.64%
2027.13/2034.65 c 2035 13104 5447 1 -44.0000 -50.0000 13.64%
2032.11/2039.68 c 2040 13111 5448 1 -44.0000 -50.0000 13.64%
2037.60/2045.13 c 2045 13213 5528 1 -44.0000 -50.0000 13.64%
2044.66/2052.22 c 2052 13249 5556 1 -44.0000 -50.0000 13.64%
2050.63/2058.27 c 2058 13257 5560 1 -44.0000 -50.0000 13.64%
2056.81/2064.48 c 2064 13273 5570 1 -44.0000 -50.0000 13.64%
2063.98/2071.62 c 2072 13293 5582 1 -44.0000 -50.0000 13.64%
2071.47/2079.19 c 2079 13344 5621 1 -44.0000 -50.0000 13.64%
2079.13/2086.87 c 2087 13380 5643 1 -44.0000 -50.0000 13.64%
2086.41/2094.18 c 2094 13396 5653 1 -44.0000 -50.0000 13.64%
2095.77/2103.58 c 2104 13468 5695 1 -44.0000 -50.0000 13.64%
2104.52/2112.34 c 2112 13489 5712 1 -44.0000 -50.0000 13.64%
2110.31/2118.14 c 2118 13504 5721 1 -44.0000 -50.0000 13.64%
2118.29/2126.15 c 2126 13590 5775 1 -44.0000 -50.0000 13.64%
2125.16/2133.10 c 2133 13701 5858 1 -44.0000 -50.0000 13.64%
2130.24/2138.14 c 2138 13716 5871 1 -44.0000 -50.0000 13.64%
2138.11/2146.07 c 2146 13760 5899 1 -44.0000 -50.0000 13.64%
2146.09/2154.05 c 2154 13799 5914 1 -44.0000 -50.0000 13.64%
2151.18/2159.18 c 2159 13805 5918 1 -44.0000 -50.0000 13.64%
2157.45/2165.43 c 2165 13831 5930 1 -44.0000 -50.0000 13.64%
2162.92/2170.91 c 2171 13870 5959 1 -44.0000 -50.0000 13.64%
2169.91/2177.94 c 2178 13895 5970 1 -44.0000 -50.0000 13.64%
2175.48/2183.59 c 2184 13933 6002 1 -44.0000 -50.0000 13.64%
2182.56/2190.68 c 2191 13967 6024 1 -44.0000 -50.0000 13.64%
2188.95/2197.07 c 2197 14000 6049 1 -44.0000 -50.0000 13.64%
2194.42/2202.54 c 2203 14059 6088 1 -44.0000 -50.0000 13.64%
2204.69/2212.82 c 2213 14093 6110 1 -44.0000 -50.0000 13.64%
2210.57/2218.79 c 2219 14108 6125 1 -44.0000 -50.0000 13.64%
2222.43/2230.68 c 2231 14137 6152 1 -44.0000 -50.0000 13.64%
2229.31/2237.51 c 2238 14171 6180 1 -44.0000 -50.0000 13.64%
2235.80/2244.02 c 2244 14222 6203 1 -44.0000 -50.0000 13.64%
2240.97/2249.29 c 2249 14250 6217 1 -44.0000 -50.0000 13.64%
2249.64/2257.93 c 2258 14302 6247 1 -44.0000 -50.0000 13.64%
2256.13/2264.41 c 2264 14329 6266 1 -44.0000 -50.0000 13.64%
2262.01/2270.38 c 2270 14365 6298 1 -44.0000 -50.0000 13.64%
2270.38/2278.73 c 2279 14400 6321 1 -44.0000 -50.0000 13.64%
2276.06/2284.43 c 2284 14461 6360 1 -44.0000 -50.0000 13.64%
2282.84/2291.24 c 2291 14512 6389 1 -44.0000 -50.0000 13.64%
2291.81/2300.29 c 2300 14564 6423 1 -44.0000 -50.0000 13.64%
2297.71/2306.14 c 2306 14576 6427 1 -44.0000 -50.0000 13.64%
2302.78/2311.25 c 2311 14586 6433 1 -44.0000 -50.0000 13.64%
2309.45/2318.01 c 2318 14609 6448 1 -44.0000 -50.0000 13.64%
2316.43/2324.91 c 2325 14665 6478 1 -44.0000 -50.0000 13.64%
2322.62/2331.17 c 2331 14691 6500 1 -44.0000 -50.0000 13.64%
2327.79/2336.32 c 2336 14820 6579 1 -44.0000 -50.0000 13.64%
2332.97/2341.50 c 2342 14947 6684 1 -44.0000 -50.0000 13.64%
2338.56/2347.12 c 2347 14956 6693 1 -44.0000 -50.0000 13.64%
2343.55/2352.15 c 2352 14965 6700 1 -44.0000 -50.0000 13.64%
2352.91/2361.54 c 2362 14988 6719 1 -44.0000 -50.0000 13.64%
2359.99/2368.67 c 2369 15018 6739 1 -44.0000 -50.0000 13.64%
2367.86/2376.56 c 2377 15034 6747 1 -44.0000 -50.0000 13.64%
2373.46/2382.11 c 2382 15047 6756 1 -44.0000 -50.0000 13.64%
2380.34/2389.07 c 2389 15074 6779 1 -44.0000 -50.0000 13.64%
2388.49/2397.21 c 2397 15103 6792 1 -44.0000 -50.0000 13.64%
2394.08/2402.89 c 2403 15129 6806 1 -44.0000 -50.0000 13.64%
2399.16/2407.93 c 2408 15146 6821 1 -44.0000 -50.0000 13.64%
2406.14/2415.01 c 2415 15191 6850 1 -44.0000 -50.0000 13.64%
2411.91/2420.72 c 2421 15208 6855 1 -44.0000 -50.0000 13.64%
2417.09/2425.99 c 2426 15262 6893 1 -44.0000 -50.0000 13.64%
2422.77/2431.62 c 2432 15301 6912 1 -44.0000 -50.0000 13.64%
2430.04/2438.99 c 2439 15360 6949 1 -44.0000 -50.0000 13.64%
2435.03/2444.01 c 2444 15378 6963 1 -44.0000 -50.0000 13.64%
2440.31/2449.25 c 2449 15413 6990 1 -44.0000 -50.0000 13.64%
2445.79/2454.73 c 2455 15432 7005 1 -44.0000 -50.0000 13.64%
2451.08/2460.03 c 2460 15456 7027 1 -44.0000 -50.0000 13.64%
2457.95/2467.01 c 2467 15561 7098 1 -44.0000 -50.0000 13.64%
2465.81/2474.88 c 2475 15572 7101 1 -44.0000 -50.0000 13.64%
2472.49/2481.53 c 2482 15589 7108 1 -44.0000 -50.0000 13.64%
2480.46/2489.51 c 2490 15614 7119 1 -44.0000 -50.0000 13.64%
2485.75/2494.85 c 2495 15636 7127 1 -44.0000 -50.0000 13.64%
2492.53/2501.63 c 2502 15653 7136 1 -44.0000 -50.0000 13.64%
2497.61/2506.77 c 2507 15672 7149 1 -44.0000 -50.0000 13.64%
2508.28/2517.40 c 2517 15678 7153 1 -44.0000 -50.0000 13.64%
2513.65/2522.84 c 2523 15706 7165 1 -44.0000 -50.0000 13.64%
2519.94/2529.11 c 2529 15740 7183 1 -44.0000 -50.0000 13.64%
2525.52/2534.73 c 2535 15820 7233 1 -44.0000 -50.0000 13.64%
2531.91/2541.17 c 2541 15848 7241 1 -44.0000 -50.0000 13.64%
2538.68/2548.01 c 2548 15885 7264 1 -44.0000 -50.0000 13.64%
2545.65/2554.99 c 2555 15902 7277 1 -44.0000 -50.0000 13.64%
2552.23/2561.51 c 2562 15911 7280 1 -44.0000 -50.0000 13.64%
2557.51/2566.84 c 2567 15923 7286 1 -44.0000 -50.0000 13.64%
2567.18/2576.57 c 2577 15953 7300 1 -44.0000 -50.0000 13.64%
2572.96/2582.31 c 2582 16027 7352 1 -44.0000 -50.0000 13.64%
2578.66/2588.04 c 2588 16075 7384 1 -44.0000 -50.0000 13.64%
2584.02/2593.42 c 2593 16128 7419 1 -44.0000 -50.0000 13.64%
2591.72/2601.14 c 2601 16176 7441 1 -44.0000 -50.0000 13.64%
2597.59/2607.10 c 2607 16203 7452 1 -44.0000 -50.0000 13.64%
2603.06/2612.57 c 2613 16239 7472 1 -44.0000 -50.0000 13.64%
2610.24/2619.77 c 2620 16286 7491 1 -44.0000 -50.0000 13.64%
2616.72/2626.26 c 2626 16396 7553 1 -44.0000 -50.0000 13.64%
2622.51/2632.09 c 2632 16426 7583 1 -44.0000 -50.0000 13.64%
2627.88/2637.49 c 2638 16552 7693 1 -44.0000 -50.0000 13.64%
2633.65/2643.27 c 2643 16691 7786 1 -44.0000 -50.0000 13.64%
2638.93/2648.55 c 2649 16836 7877 1 -44.0000 -50.0000 13.64%
2644.42/2654.10 c 2654 16957 7968 1 -44.0000 -50.0000 13.64%
2649.89/2659.52 c 2660 17070 8049 1 -44.0000 -50.0000 13.64%
2654.86/2664.59 c 2665 17177 8130 1 -44.0000 -50.0000 13.64%
2660.14/2669.82 c 2670 17296 8201 1 -44.0000 -50.0000 13.64%
2666.33/2676.10 c 2676 17450 8299 1 -44.0000 -50.0000 13.64%
2672.31/2682.07 c 2682 17459 8308 1 -44.0000 -50.0000 13.64%
2677.39/2687.14 c 2687 17520 8349 1 -44.0000 -50.0000 13.64%
2682.56/2692.30 c 2692 17682 8441 1 -44.0000 -50.0000 13.64%
2689.54/2699.30 c 2699 17749 8480 1 -44.0000 -50.0000 13.64%
2695.32/2705.19 c 2705 17827 8518 1 -44.0000 -50.0000 13.64%
2700.90/2710.77 c 2711 17868 8539 1 -44.0000 -50.0000 13.64%
2706.67/2716.50 c 2716 18026 8623 1 -44.0000 -50.0000 13.64%
2713.95/2723.81 c 2724 18086 8671 1 -44.0000 -50.0000 13.64%
2719.03/2728.92 c 2729 18243 8768 1 -44.0000 -50.0000 13.64%
2724.61/2734.57 c 2735 18379 8854 1 -44.0000 -50.0000 13.64%
2730.19/2740.17 c 2740 18535 8962 1 -44.0000 -50.0000 13.64%
2735.37/2745.31 c 2745 18718 9065 1 -44.0000 -50.0000 13.64%
2740.75/2750.72 c 2751 18744 9077 1 -44.0000 -50.0000 13.64%
2745.93/2755.97 c 2756 18818 9119 1 -44.0000 -50.0000 13.64%
2751.21/2761.21 c 2761 18975 9222 1 -44.0000 -50.0000 13.64%
2756.69/2766.76 c 2767 18994 9237 1 -44.0000 -50.0000 13.64%
2766.26/2776.39 c 2776 19057 9278 1 -44.0000 -50.0000 13.64%
2771.85/2781.93 c 2782 19064 9285 1 -44.0000 -50.0000 13.64%
2780.32/2790.41 c 2790 19100 9305 1 -44.0000 -50.0000 13.64%
2785.59/2795.77 c 2796 19179 9350 1 -44.0000 -50.0000 13.64%
2790.78/2801.01 c 2801 19312 9429 1 -44.0000 -50.0000 13.64%
2796.26/2806.43 c 2806 19322 9437 1 -44.0000 -50.0000 13.64%
2801.95/2812.16 c 2812 19330 9443 1 -44.0000 -50.0000 13.64%
2807.84/2818.05 c 2818 19431 9502 1 -44.0000 -50.0000 13.64%
2814.81/2825.02 c 2825 19505 9544 1 -44.0000 -50.0000 13.64%
2826.16/2836.49 c 2836 19602 9609 1 -44.0000 -50.0000 13.64%
2831.24/2841.56 c 2842 19726 9677 1 -44.0000 -50.0000 13.64%
2837.12/2847.42 c 2847 19827 9720 1 -44.0000 -50.0000 13.64%
2843.20/2853.54 c 2854 19912 9767 1 -44.0000 -50.0000 13.64%
2850.47/2860.85 c 2861 19934 9781 1 -44.0000 -50.0000 13.64%
2855.85/2866.22 c 2866 20005 9824 1 -44.0000 -50.0000 13.64%
2861.13/2871.52 c 2872 20175 9928 1 -44.0000 -50.0000 13.64%
2870.00/2880.44 c 2880 20217 9958 1 -44.0000 -50.0000 13.64%
2875.79/2886.22 c 2886 20286 9987 1 -44.0000 -50.0000 13.64%
2884.67/2895.15 c 2895 20332 10003 1 -44.0000 -50.0000 13.64%
2890.14/2900.60 c 2901 20336 10005 1 -44.0000 -50.0000 13.64%
2895.73/2906.29 c 2906 20371 10020 1 -44.0000 -50.0000 13.64%
2901.11/2911.63 c 2912 20404 10047 1 -44.0000 -50.0000 13.64%
2910.07/2920.67 c 2921 20541 10116 1 -44.0000 -50.0000 13.64%
2915.36/2925.94 c 2926 20601 10150 1 -44.0000 -50.0000 13.64%
2921.23/2931.88 c 2932 20675 10194 1 -44.0000 -50.0000 13.64%
2926.91/2937.58 c 2938 20712 10215 1 -44.0000 -50.0000 13.64%
2936.40/2947.07 c 2947 20750 10237 1 -44.0000 -50.0000 13.64%
2944.46/2955.19 c 2955 20878 10307 1 -44.0000 -50.0000 13.64%
2949.63/2960.31 c 2960 20977 10358 1 -44.0000 -50.0000 13.64%
2954.62/2965.31 c 2965 21044 10395 1 -44.0000 -50.0000 13.64%
2960.41/2971.13 c 2971 21085 10414 1 -44.0000 -50.0000 13.64%
2970.28/2981.08 c 2981 21155 10456 1 -44.0000 -50.0000 13.64%
2979.35/2990.15 c 2990 21162 10459 1 -44.0000 -50.0000 13.64%
2984.62/2995.42 c 2995 21301 10538 1 -44.0000 -50.0000 13.64%
2992.48/3003.33 c 3003 21331 10564 1 -44.0000 -50.0000 13.64%
2998.96/3009.82 c 3010 21332 10565 1 -44.0000 -50.0000 13.64%
3005.94/3016.84 c 3017 21398 10595 1 -44.0000 -50.0000 13.64%
3011.41/3022.32 c 3022 21411 10604 1 -44.0000 -50.0000 13.64%
3019.10/3030.08 c 3030 21459 10624 1 -44.0000 -50.0000 13.64%
3025.76/3036.76 c 3037 21543 10669 1 -44.0000 -50.0000 13.64%
3034.25/3045.22 c 3045 21547 10673 1 -44.0000 -50.0000 13.64%
3039.62/3050.67 c 3051 21667 10743 1 -44.0000 -50.0000 13.64%
3044.79/3055.84 c 3056 21795 10855 1 -44.0000 -50.0000 13.64%
3052.37/3063.40 c 3063 21804 10864 1 -44.0000 -50.0000 13.64%
3058.86/3069.93 c 3070 21825 10883 1 -44.0000 -50.0000 13.64%
3065.73/3076.89 c 3077 21849 10901 1 -44.0000 -50.0000 13.64%
3071.02/3082.15 c 3082 21917 10961 1 -44.0000 -50.0000 13.64%
3076.19/3087.39 c 3087 21963 11005 1 -44.0000 -50.0000 13.64%
3087.05/3098.21 c 3098 22023 11061 1 -44.0000 -50.0000 13.64%
3092.33/3103.51 c 3104 22053 11087 1 -44.0000 -50.0000 13.64%
3097.31/3108.59 c 3109 22093 11121 1 -44.0000 -50.0000 13.64%
3103.39/3114.62 c 3115 22140 11160 1 -44.0000 -50.0000 13.64%
3111.95/3123.28 c 3123 22155 11173 1 -44.0000 -50.0000 13.64%
3122.61/3133.99 c 3134 22175 11181 1 -44.0000 -50.0000 13.64%
3134.78/3146.17 c 3146 22236 11238 1 -44.0000 -50.0000 13.64%
3140.44/3151.81 c 3152 22263 11261 1 -44.0000 -50.0000 13.64%
3147.33/3158.71 c 3159 22302 11298 1 -44.0000 -50.0000 13.64%
3155.99/3167.40 c 3167 22344 11340 1 -44.0000 -50.0000 13.64%
3161.37/3172.87 c 3173 22426 11398 1 -44.0000 -50.0000 13.64%
3167.14/3178.67 c 3179 22490 11460 1 -44.0000 -50.0000 13.64%
3172.23/3183.77 c 3184 22577 11543 1 -44.0000 -50.0000 13.64%
3182.51/3194.05 c 3194 22635 11601 1 -44.0000 -50.0000 13.64%
3187.49/3199.06 c 3199 22651 11609 1 -44.0000 -50.0000 13.64%
3192.66/3204.26 c 3204 22714 11662 1 -44.0000 -50.0000 13.64%
3198.46/3210.05 c 3210 22747 11689 1 -44.0000 -50.0000 13.64%
3206.32/3217.93 c 3218 22772 11708 1 -44.0000 -50.0000 13.64%
3213.79/3225.49 c 3225 22818 11742 1 -44.0000 -50.0000 13.64%
3220.48/3232.12 c 3232 22839 11751 1 -44.0000 -50.0000 13.64%
3226.14/3237.89 c 3238 22912 11810 1 -44.0000 -50.0000 13.64%
3233.92/3245.67 c 3246 22943 11835 1 -44.0000 -50.0000 13.64%
3241.59/3253.32 c 3253 22957 11849 1 -44.0000 -50.0000 13.64%
3247.86/3259.68 c 3260 22975 11867 1 -44.0000 -50.0000 13.64%
3253.54/3265.34 c 3265 23019 11903 1 -44.0000 -50.0000 13.64%
3263.80/3275.64 c 3276 23072 11946 1 -44.0000 -50.0000 13.64%
3269.48/3281.37 c 3281 23161 12029 1 -44.0000 -50.0000 13.64%
3281.75/3293.69 c 3294 23213 12069 1 -44.0000 -50.0000 13.64%
3287.14/3299.03 c 3299 23232 12088 1 -44.0000 -50.0000 13.64%
3294.60/3306.53 c 3307 23271 12117 1 -44.0000 -50.0000 13.64%
3300.19/3312.13 c 3312 23318 12162 1 -44.0000 -50.0000 13.64%
3306.85/3318.84 c 3319 23398 12234 1 -44.0000 -50.0000 13.64%
3317.02/3329.09 c 3329 23462 12286 1 -44.0000 -50.0000 13.64%
3322.40/3334.48 c 3334 23509 12327 1 -44.0000 -50.0000 13.64%
3328.09/3340.13 c 3340 23529 12343 1 -44.0000 -50.0000 13.64%
3333.57/3345.60 c 3346 23544 12358 1 -44.0000 -50.0000 13.64%
3342.84/3354.93 c 3355 23567 12377 1 -44.0000 -50.0000 13.64%
3350.12/3362.25 c 3362 23589 12399 1 -44.0000 -50.0000 13.64%
3357.01/3369.17 c 3369 23622 12430 1 -44.0000 -50.0000 13.64%
3366.46/3378.67 c 3379 23641 12443 1 -44.0000 -50.0000 13.64%
3372.44/3384.63 c 3385 23657 12449 1 -44.0000 -50.0000 13.64%
3377.84/3390.05 c 3390 23741 12523 1 -44.0000 -50.0000 13.64%
3384.01/3396.22 c 3396 23831 12601 1 -44.0000 -50.0000 13.64%
3389.59/3401.83 c 3402 23853 12621 1 -44.0000 -50.0000 13.64%
3394.67/3406.94 c 3407 23878 12640 1 -44.0000 -50.0000 13.64%
3400.95/3413.24 c 3413 23902 12662 1 -44.0000 -50.0000 13.64%
3407.62/3419.97 c 3420 23933 12681 1 -44.0000 -50.0000 13.64%
3414.20/3426.55 c 3427 23947 12693 1 -44.0000 -50.0000 13.64%
3420.98/3433.36 c 3433 23961 12705 1 -44.0000 -50.0000 13.64%
3426.57/3438.99 c 3439 24040 12766 1 -44.0000 -50.0000 13.64%
3432.44/3444.81 c 3445 24082 12808 1 -44.0000 -50.0000 13.64%
3439.12/3451.56 c 3452 24136 12844 1 -44.0000 -50.0000 13.64%
3446.49/3458.94 c 3459 24228 12902 1 -44.0000 -50.0000 13.64%
3455.47/3467.95 c 3468 24272 12934 1 -44.0000 -50.0000 13.64%
3465.93/3478.48 c 3478 24362 12986 1 -44.0000 -50.0000 13.64%
3471.02/3483.51 c 3484 24394 13008 1 -44.0000 -50.0000 13.64%
3476.10/3488.66 c 3489 24446 13040 1 -44.0000 -50.0000 13.64%
3481.78/3494.37 c 3494 24480 13058 1 -44.0000 -50.0000 13.64%
3487.17/3499.77 c 3500 24540 13108 1 -44.0000 -50.0000 13.64%
3492.95/3505.55 c 3506 24567 13125 1 -44.0000 -50.0000 13.64%
3498.54/3511.19 c 3511 24646 13182 1 -44.0000 -50.0000 13.64%
3506.11/3518.74 c 3519 24668 13204 1 -44.0000 -50.0000 13.64%
3512.09/3524.71 c 3525 24727 13241 1 -44.0000 -50.0000 13.64%
3518.87/3531.50 c 3532 24799 13295 1 -44.0000 -50.0000 13.64%
3527.74/3540.44 c 3540 24847 13323 1 -44.0000 -50.0000 13.64%
3534.33/3547.11 c 3547 24921 13369 1 -44.0000 -50.0000 13.64%
3543.79/3556.53 c 3557 24937 13379 1 -44.0000 -50.0000 13.64%
3549.67/3562.49 c 3562 24964 13398 1 -44.0000 -50.0000 13.64%
3558.65/3571.40 c 3571 24975 13403 1 -44.0000 -50.0000 13.64%
3564.63/3577.41 c 3577 25045 13439 1 -44.0000 -50.0000 13.64%
3570.22/3583.10 c 3583 25113 13497 1 -44.0000 -50.0000 13.64%
3576.99/3589.83 c 3590 25149 13527 1 -44.0000 -50.0000 13.64%
3583.07/3595.96 c 3596 25184 13548 1 -44.0000 -50.0000 13.64%
3587.45/3600.31 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.45/3600.31 c Total Time : 3600.31
3587.45/3600.31 c solving : 3600.31
3587.45/3600.31 c presolving : 1.83 (included in solving)
3587.45/3600.31 c B&B Tree :
3587.45/3600.31 c nodes (total) : 1
3587.45/3600.31 c Solution :
3587.45/3600.31 c Solutions found : 8
3587.45/3600.31 c Primal Bound : -4.40000000000000e+01
3587.45/3600.31 c Dual Bound : -5.00000000000000e+01
3587.45/3600.31 c Gap : 13.63636 %
3587.45/3600.31 c * Warning: final gap: 1.36364e-01 is greater than SCIPepsilon: 1.00000e-09
3587.45/3600.33 o -44
3587.45/3600.33 s SATISFIABLE
3587.45/3600.33 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
3587.45/3600.33 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
3587.45/3600.33 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
3587.45/3600.33 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
3587.45/3600.33 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3587.45/3600.33 v -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145
3587.45/3600.33 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166
3587.45/3600.33 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3587.45/3600.33 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3587.45/3600.33 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3587.45/3600.33 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
3587.45/3600.33 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270
3587.45/3600.33 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291
3587.45/3600.33 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
3587.45/3600.33 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333
3587.45/3600.33 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354
3587.45/3600.33 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375
3587.45/3600.33 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3587.45/3600.33 v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3587.45/3600.33 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438
3587.45/3600.33 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3587.45/3600.33 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3587.45/3600.33 v -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3587.45/3600.33 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3587.45/3600.33 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3587.45/3600.33 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3587.45/3600.33 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3587.45/3600.33 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
3587.45/3600.33 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
3587.45/3600.33 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
3587.45/3600.33 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669
3587.45/3600.33 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690
3587.65/3600.50 v -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
3587.65/3600.50 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
3587.65/3600.50 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
3587.65/3600.50 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
3587.65/3600.50 v -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795
3587.65/3600.50 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
3587.65/3600.50 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3587.65/3600.50 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 x854 -x855 -x856 -x857 -x858
3587.65/3600.50 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3587.65/3600.50 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
3587.65/3600.50 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920
3587.65/3600.50 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
3587.65/3600.50 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962
3587.65/3600.50 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3587.65/3600.50 v -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004
3587.65/3600.50 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
3587.65/3600.50 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040
3587.65/3600.50 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
3587.65/3600.50 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
3587.65/3600.50 v -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3587.65/3600.50 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
3587.65/3600.50 v x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129
3587.65/3600.50 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3587.65/3600.50 v -x1148 -x1149 -x1150
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61976 MiB free)
memory of node 1: 64510 MiB (62788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434716-1721056069/watcher-4434716-1721056069 -o /tmp/evaluation-result-4434716-1721056069/solver-4434716-1721056069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800072 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434716-1721056069.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=800334, runsolver pid=800331
[startup+0.100345 s]*
/proc/loadavg: 1.77 2.46 2.90 5/250 800335
/proc/meminfo: memFree=127699180/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=39324 memory=27224 CPUtime=0.1 cores=0,2
/proc/800334/stat : 800334 (fscip) R 800331 800334 795049 0 -1 4194304 4691 0 0 0 9 1 0 0 20 0 1 0 157763630 40267776 6806 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 9831 6806 2318 3032 0 6231 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 27224 KiB
[startup+0.213275 s]*
/proc/loadavg: 1.77 2.46 2.90 5/250 800335
/proc/meminfo: memFree=127643720/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=88132 memory=76804 CPUtime=0.2 cores=0,2
/proc/800334/stat : 800334 (fscip) R 800331 800334 795049 0 -1 4194304 17247 0 0 0 17 3 0 0 20 0 1 0 157763630 90247168 19201 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 22033 19201 2558 3032 0 18433 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88132 KiB
Current children cumulated memory: 76804 KiB
[startup+0.313068 s]*
/proc/loadavg: 1.77 2.46 2.90 5/251 800336
/proc/meminfo: memFree=127549592/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=125960 memory=113884 CPUtime=0.31 cores=0,2
/proc/800334/stat : 800334 (fscip) R 800331 800334 795049 0 -1 4194304 26460 0 0 0 26 5 0 0 20 0 1 0 157763630 128983040 28471 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 31490 28471 2606 3032 0 27890 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 125960 KiB
Current children cumulated memory: 113884 KiB
[startup+0.700355 s]
/proc/loadavg: 1.77 2.46 2.90 5/251 800336
/proc/meminfo: memFree=127460964/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=177656 memory=165456 CPUtime=0.68 cores=0,2
/proc/800334/stat : 800334 (fscip) R 800331 800334 795049 0 -1 4194304 38838 0 0 0 61 7 0 0 20 0 1 0 157763630 181919744 41364 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 44414 41364 2654 3032 0 40814 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 177656 KiB
Current children cumulated memory: 165456 KiB
[startup+1.50037 s]
/proc/loadavg: 1.77 2.46 2.90 5/252 800337
/proc/meminfo: memFree=127349608/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=194648 memory=176972 CPUtime=1.48 cores=0,2
/proc/800334/stat : 800334 (fscip) R 800331 800334 795049 0 -1 4194304 50910 0 0 0 138 10 0 0 20 0 1 0 157763630 199319552 44243 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 48662 44243 2734 3032 0 45062 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 194648 KiB
Current children cumulated memory: 176972 KiB
[startup+3.10923 s]
/proc/loadavg: 1.77 2.46 2.90 6/254 800341
/proc/meminfo: memFree=126516128/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=604976 memory=508712 CPUtime=3.07 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 109523 0 0 0 280 27 0 0 20 0 3 0 157763630 619495424 127178 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 151244 127178 2782 3032 0 138161 0
[pid=800334/tid=800338] ppid=800331 vsize=604976 memory=442432 CPUtime=0.85 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 35989 0 0 0 74 11 0 0 20 0 3 0 157763842 619495424 127178 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=604976 memory=0 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 157763876 619495424 127178 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 604976 KiB
Current children cumulated memory: 508712 KiB
[startup+6.30032 s]
/proc/loadavg: 1.95 2.49 2.91 6/254 800341
/proc/meminfo: memFree=126107632/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=864704 memory=754428 CPUtime=6.25 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 168542 0 0 0 586 39 0 0 20 0 3 0 157763630 885456896 188607 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 216176 188607 2942 3032 0 206926 0
[pid=800334/tid=800338] ppid=800331 vsize=864704 memory=0 CPUtime=4.02 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 94771 0 0 0 379 23 0 0 20 0 3 0 157763842 885456896 188607 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=864704 memory=251148 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 157763876 885456896 188607 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 864704 KiB
Current children cumulated memory: 754428 KiB
[startup+12.7003 s]
/proc/loadavg: 2.12 2.51 2.92 6/254 800341
/proc/meminfo: memFree=125993316/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=930240 memory=786540 CPUtime=12.63 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 186278 0 0 0 1222 41 0 0 20 0 3 0 157763630 952565760 196635 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 232560 196635 2958 3032 0 221217 0
[pid=800334/tid=800338] ppid=800331 vsize=930240 memory=0 CPUtime=10.4 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 112503 0 0 0 1015 25 0 0 20 0 3 0 157763842 952565760 196635 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=930240 memory=164 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 157763876 952565760 196635 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 930240 KiB
Current children cumulated memory: 786540 KiB
[startup+25.5004 s]
/proc/loadavg: 2.70 2.62 2.94 7/254 800344
/proc/meminfo: memFree=125949308/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1049248 memory=798320 CPUtime=25.39 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 234519 0 0 0 2495 44 0 0 20 0 3 0 157763630 1074429952 199580 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 262312 199580 2958 3032 0 256229 0
[pid=800334/tid=800338] ppid=800331 vsize=1049248 memory=139958421701073 CPUtime=23.16 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 160738 0 0 0 2288 28 0 0 20 0 3 0 157763842 1074429952 199580 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=1049248 memory=-6514294607153642347 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 157763876 1074429952 199580 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1049248 KiB
Current children cumulated memory: 798320 KiB
[startup+51.1128 s]
/proc/loadavg: 3.20 2.75 2.98 6/254 800347
/proc/meminfo: memFree=125591212/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1187512 memory=897784 CPUtime=50.91 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 292997 0 0 0 5041 50 0 0 20 0 3 0 157763630 1216012288 224446 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 296878 224446 2958 3032 0 282040 0
[pid=800334/tid=800338] ppid=800331 vsize=1187512 memory=897780 CPUtime=48.68 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 219127 0 0 0 4834 34 0 0 20 0 3 0 157763842 1216012288 224446 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=1187512 memory=786528 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 157763876 1216012288 224446 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1187512 KiB
Current children cumulated memory: 897784 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 2.96 3.04 6/254 800404
/proc/meminfo: memFree=125203080/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1253048 memory=937552 CPUtime=101.88 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 391389 0 0 0 10131 57 0 0 20 0 3 0 157763630 1283121152 234388 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 313262 234388 2958 3032 0 305102 0
[pid=800334/tid=800338] ppid=800331 vsize=1253048 memory=6720664367701965423 CPUtime=99.64 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 317187 0 0 0 9924 40 0 0 20 0 3 0 157763842 1283121152 234388 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=1253048 memory=937552 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 157763876 1283121152 234388 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1253048 KiB
Current children cumulated memory: 937552 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.18 3.11 6/256 800418
/proc/meminfo: memFree=124988012/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1318584 memory=944260 CPUtime=161.63 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 480969 0 0 0 16099 64 0 0 20 0 3 0 157763630 1350230016 236065 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 329646 236065 2958 3032 0 307930 0
[pid=800334/tid=800338] ppid=800331 vsize=1318584 memory=2248 CPUtime=159.39 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 406425 0 0 0 15892 47 0 0 20 0 3 0 157763842 1350230016 236065 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=1318584 memory=11408 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 157763876 1350230016 236065 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 1318584 KiB
Current children cumulated memory: 944260 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.38 3.19 6/256 800429
/proc/meminfo: memFree=124807476/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1384120 memory=995472 CPUtime=221.42 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 555765 0 0 0 22072 70 0 0 20 0 3 0 157763630 1417338880 248868 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 346030 248868 2958 3032 0 328356 0
[pid=800334/tid=800338] ppid=800331 vsize=1384120 memory=944304 CPUtime=219.16 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 480924 0 0 0 21864 52 0 0 20 0 3 0 157763842 1417338880 248868 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=1384120 memory=40676 CPUtime=0 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 157763876 1417338880 248868 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 1384120 KiB
Current children cumulated memory: 995472 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.51 3.25 6/256 800440
/proc/meminfo: memFree=124568488/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1545408 memory=1069968 CPUtime=281.18 cores=0,2
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.09 6/250 802203
/proc/meminfo: memFree=119334696/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2889536 memory=2286652 CPUtime=3449.88 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 4868142 0 0 0 344606 382 0 0 20 0 3 0 157763630 2958884864 571663 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 722384 571663 3278 3032 0 708238 0
[pid=800334/tid=800338] ppid=800331 vsize=2889536 memory=5620 CPUtime=3447.45 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4791376 0 0 0 344389 356 0 0 20 0 3 0 157763842 2958884864 571663 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2889536 memory=11408 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 157763876 2958884864 571663 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3449.88 s
Current children cumulated vsize: 2889536 KiB
Current children cumulated memory: 2286652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.17 4.11 6/250 802213
/proc/meminfo: memFree=119243376/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2889536 memory=2305552 CPUtime=3509.69 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 4968740 0 0 0 350581 388 0 0 20 0 3 0 157763630 2958884864 576388 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 722384 576388 3278 3032 0 709517 0
[pid=800334/tid=800338] ppid=800331 vsize=2889536 memory=2296848 CPUtime=3507.25 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4891972 0 0 0 350364 361 0 0 20 0 3 0 157763842 2958884864 576388 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2889536 memory=2286652 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 157763876 2958884864 576388 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3509.69 s
Current children cumulated vsize: 2889536 KiB
Current children cumulated memory: 2305552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.54 4.27 4.15 6/250 802223
/proc/meminfo: memFree=119179376/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2934440 memory=2333732 CPUtime=3569.52 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 5068937 0 0 0 356556 396 0 0 20 0 3 0 157763630 3004866560 583433 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 733610 583433 3278 3032 0 722520 0
[pid=800334/tid=800338] ppid=800331 vsize=2934440 memory=2317184 CPUtime=3567.06 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4992141 0 0 0 356338 368 0 0 20 0 3 0 157763842 3004866560 583433 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2934440 memory=2317048 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 170 0 0 0 1 4 0 0 20 0 3 0 157763876 3004866560 583433 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3569.52 s
Current children cumulated vsize: 2934440 KiB
Current children cumulated memory: 2333732 KiB
[startup+3600.53 s]
# the end of solver process 800334 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.67 s, system=4.02777 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.54 4.27 4.15 7/250 802224
/proc/meminfo: memFree=119154132/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2934440 memory=2334336 CPUtime=3571.22 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 5069218 0 0 0 356726 396 0 0 20 0 3 0 157763630 3004866560 583584 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 733610 583584 3278 3032 0 722520 0
[pid=800334/tid=800338] ppid=800331 vsize=2934440 memory=2314680 CPUtime=3568.77 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4992422 0 0 0 356509 368 0 0 20 0 3 0 157763842 3004866560 583584 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2934440 memory=-4421386504838080871 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 170 0 0 0 1 4 0 0 20 0 3 0 157763876 3004866560 583584 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 2934440 KiB
Current children cumulated memory: 2334336 KiB
[startup+3590.4 s]
/proc/loadavg: 4.46 4.26 4.15 7/250 802224
/proc/meminfo: memFree=119152084/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2934440 memory=2335288 CPUtime=3577.59 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 5069915 0 0 0 357363 396 0 0 20 0 3 0 157763630 3004866560 583822 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 733610 583822 3278 3032 0 723026 0
[pid=800334/tid=800338] ppid=800331 vsize=2934440 memory=40676 CPUtime=3575.15 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4993119 0 0 0 357146 369 0 0 20 0 3 0 157763842 3004866560 583822 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2934440 memory=12724 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 170 0 0 0 1 4 0 0 20 0 3 0 157763876 3004866560 583822 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3577.59 s
Current children cumulated vsize: 2934440 KiB
Current children cumulated memory: 2335288 KiB
[startup+3596.8 s]
/proc/loadavg: 4.58 4.29 4.16 7/250 802226
/proc/meminfo: memFree=119151420/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2934440 memory=2335668 CPUtime=3583.97 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 5070651 0 0 0 358001 396 0 0 20 0 3 0 157763630 3004866560 583917 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 733610 583917 3278 3032 0 723027 0
[pid=800334/tid=800338] ppid=800331 vsize=2934440 memory=2334336 CPUtime=3581.53 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4993853 0 0 0 357784 369 0 0 20 0 3 0 157763842 3004866560 583917 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2934440 memory=2335604 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 172 0 0 0 1 4 0 0 20 0 3 0 157763876 3004866560 583917 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3583.97 s
Current children cumulated vsize: 2934440 KiB
Current children cumulated memory: 2335668 KiB
[startup+3598.4 s]
/proc/loadavg: 4.58 4.29 4.16 7/245 802240
/proc/meminfo: memFree=121611384/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2934440 memory=2335964 CPUtime=3585.56 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 5070938 0 0 0 358160 396 0 0 20 0 3 0 157763630 3004866560 583991 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 733610 583991 3278 3032 0 723027 0
[pid=800334/tid=800338] ppid=800331 vsize=2934440 memory=2335964 CPUtime=3583.12 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4994140 0 0 0 357943 369 0 0 20 0 3 0 157763842 3004866560 583991 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2934440 memory=16212 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 172 0 0 0 1 4 0 0 20 0 3 0 157763876 3004866560 583991 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 2934440 KiB
Current children cumulated memory: 2335964 KiB
[startup+3599.2 s]
/proc/loadavg: 4.58 4.29 4.16 5/237 802271
/proc/meminfo: memFree=124122128/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2934440 memory=2335964 CPUtime=3586.36 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 5070943 0 0 0 358240 396 0 0 20 0 3 0 157763630 3004866560 583991 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 733610 583991 3278 3032 0 723027 0
[pid=800334/tid=800338] ppid=800331 vsize=2934440 memory=11408 CPUtime=3583.92 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4994145 0 0 0 358023 369 0 0 20 0 3 0 157763842 3004866560 583991 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2934440 memory=40676 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 172 0 0 0 1 4 0 0 20 0 3 0 157763876 3004866560 583991 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 2934440 KiB
Current children cumulated memory: 2335964 KiB
[startup+3600 s]*
/proc/loadavg: 4.38 4.25 4.15 3/232 802288
/proc/meminfo: memFree=124154460/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=2934440 memory=2336112 CPUtime=3587.17 cores=0,2
/proc/800334/stat : 800334 (fscip) S 800331 800334 795049 0 -1 1077936128 5071042 0 0 0 358321 396 0 0 20 0 3 0 157763630 3004866560 584028 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 733610 584028 3278 3032 0 723027 0
[pid=800334/tid=800338] ppid=800331 vsize=2934440 memory=6720664367701965423 CPUtime=3584.73 cores=0,2
/proc/800334/task/800338/stat : 800338 (fscip) R 800331 800334 795049 0 -1 4194368 4994245 0 0 0 358104 369 0 0 20 0 3 0 157763842 3004866560 584028 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
[pid=800334/tid=800339] ppid=800331 vsize=2934440 memory=-4421386504838080871 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 172 0 0 0 1 4 0 0 20 0 3 0 157763876 3004866560 584028 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 2934440 KiB
Current children cumulated memory: 2336112 KiB
[startup+3600.4 s]
/proc/loadavg: 4.38 4.25 4.15 3/232 802288
/proc/meminfo: memFree=124154460/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1912996 memory=1454612 CPUtime=3587.56 cores=0,2
/proc/800334/stat : 800334 (fscip) R 800331 800334 795049 0 -1 4194304 5097731 0 0 0 358357 399 0 0 20 0 2 0 157763630 1958907904 363653 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 478249 363653 3278 3032 0 467666 0
[pid=800334/tid=800339] ppid=800331 vsize=1912996 memory=2248 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 172 0 0 0 1 4 0 0 20 0 2 0 157763876 1958907904 363653 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 1912996 KiB
Current children cumulated memory: 1454612 KiB
[startup+3600.5 s]
/proc/loadavg: 4.38 4.25 4.15 3/232 802288
/proc/meminfo: memFree=124154460/131655788 swapFree=131071996/131071996
[pid=800334] ppid=800331 vsize=1747512 memory=1314684 CPUtime=3587.65 cores=0,2
/proc/800334/stat : 800334 (fscip) R 800331 800334 795049 0 -1 4194304 5099308 0 0 0 358366 399 0 0 20 0 2 0 157763630 1789452288 328671 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
/proc/800334/statm: 436878 328671 3278 3032 0 426295 0
[pid=800334/tid=800339] ppid=800331 vsize=1747512 memory=2334908 CPUtime=0.05 cores=0,2
/proc/800334/task/800339/stat : 800339 (fscip) S 800331 800334 795049 0 -1 1077936192 172 0 0 0 1 4 0 0 20 0 2 0 157763876 1789452288 328671 134679101440 4194304 16613245 140723428529488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38866944 140723428537365 140723428537481 140723428537481 140723428544496 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 1747512 KiB
Current children cumulated memory: 1314684 KiB
Child status: 0
Real time (s): 3600.53
CPU time (s): 3587.7
CPU user time (s): 3583.67
CPU system time (s): 4.02777
CPU usage (%): 99.6435
Max. virtual memory (cumulated for all children) (KiB): 2934440
Max. memory (cumulated for all children) (KiB): 2336112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.67
system time used= 4.02777
maximum resident set size= 2336112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5099328
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= 7176
involuntary context switches= 25121
# summary of solver processes directly reported to runsolver:
# pid: 800334
# total CPU time (s): 3587.7
# total CPU user time (s): 3583.67
# total CPU system time (s): 4.02777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7412 second user time and 35.7019 second system time
The end
Begin job on nodeC007 at 2024-07-15 17:08:02
IDJOB=4434716
IDBENCH=146677
IDSOLVER=3064
FILE ID=nodeC007/4434716-1721056069
RUNJOBID= nodeC007-1721056075-800072
SLURM_JOB_ID= 7505467
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434716-1721056069/watcher-4434716-1721056069 -o /tmp/evaluation-result-4434716-1721056069/solver-4434716-1721056069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800072 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434716-1721056069.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=140447234
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.634
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.628
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.304
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.630
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3521.527
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.387
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127808732 kB
MemAvailable: 128967920 kB
Buffers: 367780 kB
Cached: 1623984 kB
SwapCached: 0 kB
Active: 617004 kB
Inactive: 2684888 kB
Active(anon): 1460 kB
Inactive(anon): 1346352 kB
Active(file): 615544 kB
Inactive(file): 1338536 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 119940 kB
Writeback: 0 kB
AnonPages: 1310296 kB
Mapped: 137044 kB
Shmem: 37704 kB
KReclaimable: 90276 kB
Slab: 186012 kB
SReclaimable: 90276 kB
SUnreclaim: 95736 kB
KernelStack: 3984 kB
PageTables: 12220 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1647716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 344064 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC007 at 2024-07-15 18:08:03