0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.30/0.33 c Default LC presolving (default).
0.30/0.34 c ** Before presolving: virtualMemUsedAtLc = 273272155, getVmSize() = 180789248, SCIPgetMemUsed() = 134871805, SCIPgetMemTotal() = 150341509, SCIPgetMemExternEstim() = 122930646
0.30/0.34 c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
2.88/2.91 c ** Estimated virtualMemUsedAtSolver = 405536321, getVmSize() = 527974400, SCIPgetMemUsed() = 309401636, SCIPgetMemTotal() = 485373836, SCIPgetMemExternEstim() = 122930646
2.88/2.91 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
2.88/2.91 c Original Problem :
2.88/2.91 c Problem name : instance-4464051-1722378594
2.88/2.91 c Variables : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
2.88/2.91 c Constraints : 126163
2.88/2.91 c Objective sense : minimize
2.88/2.91 c Presolved Problem :
2.88/2.91 c Variables : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
2.88/2.91 c Constraints : 126163
2.88/2.91 c Constraints : Number
2.88/2.91 c setppc : 126163
2.88/2.91 c ** Instance transfer method used: 0
2.98/3.08 c ** ParaScipInstance copy does not increase the number of variables. **
3.18/3.20 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.18/3.20 c Nodes Active
3.18/3.20 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.17/6.29 c * 6 0 1 1 -36.0000 - -
6.17/6.29 c 6 0 1 1 -36.0000 - -
6.37/6.41 c * 6 0 1 1 -37.0000 - -
6.87/6.97 c * 7 0 1 1 -38.0000 - -
65.49/65.75 c * 66 0 1 1 -40.0000 - -
65.49/65.75 c 66 0 1 1 -40.0000 - -
65.89/66.18 c * 66 0 1 1 -43.0000 - -
74.46/74.71 c 75 2 1 1 -43.0000 -59.0000 37.21%
84.94/85.28 c 85 15 14 1 -43.0000 -59.0000 37.21%
85.44/85.77 c * 86 15 14 1 -45.0000 -59.0000 31.11%
90.22/90.53 c 91 26 25 1 -45.0000 -59.0000 31.11%
95.90/96.26 c 96 32 31 1 -45.0000 -59.0000 31.11%
96.30/96.64 c * 97 32 31 1 -48.0000 -59.0000 22.92%
102.29/102.63 c 103 43 42 1 -48.0000 -59.0000 22.92%
107.97/108.31 c 108 47 46 1 -48.0000 -59.0000 22.92%
114.16/114.55 c 115 49 48 1 -48.0000 -59.0000 22.92%
119.94/120.34 c 120 53 52 1 -48.0000 -59.0000 22.92%
125.13/125.55 c 126 57 56 1 -48.0000 -59.0000 22.92%
132.40/132.84 c 133 61 60 1 -48.0000 -59.0000 22.92%
139.29/139.70 c 140 69 68 1 -48.0000 -59.0000 22.92%
144.97/145.48 c 145 75 74 1 -48.0000 -59.0000 22.92%
151.84/152.33 c 152 86 77 1 -48.0000 -59.0000 22.92%
156.82/157.36 c 157 92 83 1 -48.0000 -59.0000 22.92%
162.40/162.90 c 163 102 87 1 -48.0000 -59.0000 22.92%
168.49/169.05 c 169 110 91 1 -48.0000 -59.0000 22.92%
174.27/174.82 c 175 153 124 1 -48.0000 -59.0000 22.92%
180.05/180.64 c 181 167 138 1 -48.0000 -59.0000 22.92%
192.81/193.43 c 193 225 174 1 -48.0000 -59.0000 22.92%
198.39/199.09 c 199 251 194 1 -48.0000 -59.0000 22.92%
203.98/204.67 c 205 286 225 1 -48.0000 -59.0000 22.92%
209.16/209.85 c 210 372 285 1 -48.0000 -59.0000 22.92%
215.13/215.87 c 216 447 338 1 -48.0000 -59.0000 22.92%
222.02/222.72 c 223 466 357 1 -48.0000 -59.0000 22.92%
227.10/227.81 c 228 483 374 1 -48.0000 -59.0000 22.92%
232.98/233.74 c 234 506 397 1 -48.0000 -59.0000 22.92%
236.47/237.26 c * 237 515 406 1 -49.0000 -59.0000 20.41%
237.97/238.78 c 239 526 385 1 -49.0000 -59.0000 20.41%
243.65/244.40 c 244 543 402 1 -49.0000 -59.0000 20.41%
248.83/249.63 c 250 558 417 1 -49.0000 -59.0000 20.41%
254.01/254.84 c 255 609 468 1 -49.0000 -59.0000 20.41%
259.60/260.43 c 260 657 516 1 -49.0000 -59.0000 20.41%
266.77/267.63 c 268 675 534 1 -49.0000 -59.0000 20.41%
272.16/273.00 c 273 696 555 1 -49.0000 -59.0000 20.41%
277.64/278.54 c 279 715 574 1 -49.0000 -59.0000 20.41%
282.92/283.83 c 284 734 593 1 -49.0000 -59.0000 20.41%
295.89/296.83 c 297 763 622 1 -49.0000 -59.0000 20.41%
301.77/302.74 c 303 803 662 1 -49.0000 -59.0000 20.41%
307.56/308.53 c 309 848 707 1 -49.0000 -59.0000 20.41%
313.15/314.15 c 314 904 763 1 -49.0000 -59.0000 20.41%
313.94/314.99 c * 315 904 763 1 -50.0000 -59.0000 18.00%
318.83/319.87 c 320 949 784 1 -50.0000 -59.0000 18.00%
324.71/325.73 c 326 983 818 1 -50.0000 -59.0000 18.00%
330.49/331.59 c 332 1033 868 1 -50.0000 -59.0000 18.00%
335.99/337.03 c 337 1067 902 1 -50.0000 -59.0000 18.00%
341.07/342.11 c 342 1094 929 1 -50.0000 -59.0000 18.00%
346.45/347.52 c 348 1119 954 1 -50.0000 -59.0000 18.00%
352.43/353.50 c 354 1170 1005 1 -50.0000 -59.0000 18.00%
358.02/359.12 c 359 1215 1050 1 -50.0000 -59.0000 18.00%
363.40/364.54 c 365 1269 1104 1 -50.0000 -59.0000 18.00%
369.09/370.22 c 370 1316 1151 1 -50.0000 -59.0000 18.00%
377.36/378.51 c 379 1326 1161 1 -50.0000 -59.0000 18.00%
382.86/384.09 c 384 1354 1189 1 -50.0000 -59.0000 18.00%
389.23/390.45 c 390 1378 1213 1 -50.0000 -59.0000 18.00%
395.51/396.76 c 397 1415 1250 1 -50.0000 -59.0000 18.00%
402.30/403.50 c 404 1435 1270 1 -50.0000 -59.0000 18.00%
407.48/408.77 c 409 1466 1301 1 -50.0000 -59.0000 18.00%
413.36/414.66 c 415 1509 1342 1 -50.0000 -59.0000 18.00%
418.64/419.94 c 420 1541 1374 1 -50.0000 -59.0000 18.00%
424.83/426.13 c 426 1550 1383 1 -50.0000 -59.0000 18.00%
429.81/431.19 c 431 1574 1407 1 -50.0000 -59.0000 18.00%
435.79/437.12 c 437 1614 1447 1 -50.0000 -59.0000 18.00%
441.17/442.50 c 442 1635 1468 1 -50.0000 -59.0000 18.00%
449.54/450.99 c 451 1646 1479 1 -50.0000 -59.0000 18.00%
455.32/456.71 c 457 1674 1507 1 -50.0000 -59.0000 18.00%
460.50/461.96 c 462 1711 1544 1 -50.0000 -59.0000 18.00%
467.28/468.76 c 469 1749 1582 1 -50.0000 -59.0000 18.00%
472.46/473.93 c 474 1774 1607 1 -50.0000 -59.0000 18.00%
478.75/480.27 c 480 1841 1670 1 -50.0000 -59.0000 18.00%
484.73/486.22 c 486 1874 1703 1 -50.0000 -59.0000 18.00%
489.71/491.24 c 491 1914 1743 1 -50.0000 -59.0000 18.00%
495.19/496.75 c 497 1961 1790 1 -50.0000 -59.0000 18.00%
500.87/502.40 c 502 2001 1830 1 -50.0000 -59.0000 18.00%
506.57/508.18 c 508 2024 1853 1 -50.0000 -59.0000 18.00%
514.64/516.28 c 516 2029 1858 1 -50.0000 -59.0000 18.00%
521.03/522.60 c 523 2069 1896 1 -50.0000 -59.0000 18.00%
526.71/528.37 c 528 2105 1932 1 -50.0000 -59.0000 18.00%
538.08/539.73 c 540 2131 1958 1 -50.0000 -59.0000 18.00%
544.16/545.87 c 546 2175 2002 1 -50.0000 -59.0000 18.00%
549.25/550.92 c 551 2212 2037 1 -50.0000 -59.0000 18.00%
554.93/556.62 c 557 2254 2079 1 -50.0000 -59.0000 18.00%
560.42/562.17 c 562 2309 2134 1 -50.0000 -59.0000 18.00%
566.41/568.15 c 568 2364 2189 1 -50.0000 -59.0000 18.00%
572.49/574.21 c 574 2414 2239 1 -50.0000 -59.0000 18.00%
578.57/580.38 c 580 2461 2286 1 -50.0000 -59.0000 18.00%
585.15/586.95 c 587 2498 2323 1 -50.0000 -59.0000 18.00%
596.22/598.03 c 598 2532 2357 1 -50.0000 -59.0000 18.00%
602.00/603.89 c 604 2575 2400 1 -50.0000 -59.0000 18.00%
608.09/609.92 c 610 2608 2433 1 -50.0000 -59.0000 18.00%
614.08/615.91 c 616 2624 2449 1 -50.0000 -59.0000 18.00%
619.96/621.87 c 622 2669 2494 1 -50.0000 -59.0000 18.00%
625.64/627.54 c 628 2724 2549 1 -50.0000 -59.0000 18.00%
631.03/632.94 c 633 2748 2573 1 -50.0000 -59.0000 18.00%
637.11/639.06 c 639 2778 2603 1 -50.0000 -59.0000 18.00%
643.30/645.22 c 645 2810 2635 1 -50.0000 -59.0000 18.00%
648.88/650.87 c 651 2864 2689 1 -50.0000 -59.0000 18.00%
663.15/665.19 c 665 2893 2718 1 -50.0000 -59.0000 18.00%
671.03/673.05 c 673 2929 2754 1 -50.0000 -59.0000 18.00%
676.61/678.64 c 679 2972 2795 1 -50.0000 -59.0000 18.00%
682.40/684.44 c 684 3003 2826 1 -50.0000 -59.0000 18.00%
695.37/697.42 c 697 3012 2835 1 -50.0000 -59.0000 18.00%
701.25/703.34 c 703 3068 2891 1 -50.0000 -59.0000 18.00%
713.43/715.53 c 716 3104 2927 1 -50.0000 -59.0000 18.00%
718.71/720.87 c 721 3163 2984 1 -50.0000 -59.0000 18.00%
724.30/726.43 c 726 3212 3033 1 -50.0000 -59.0000 18.00%
729.78/731.96 c 732 3262 3083 1 -50.0000 -59.0000 18.00%
735.07/737.27 c 737 3305 3126 1 -50.0000 -59.0000 18.00%
745.44/747.69 c 748 3333 3154 1 -50.0000 -59.0000 18.00%
750.94/753.14 c 753 3364 3181 1 -50.0000 -59.0000 18.00%
756.52/758.78 c 759 3380 3197 1 -50.0000 -59.0000 18.00%
762.40/764.61 c 765 3424 3241 1 -50.0000 -59.0000 18.00%
767.80/770.01 c 770 3470 3287 1 -50.0000 -59.0000 18.00%
773.28/775.54 c 776 3529 3344 1 -50.0000 -59.0000 18.00%
779.26/781.54 c 782 3562 3375 1 -50.0000 -59.0000 18.00%
784.55/786.81 c 787 3621 3434 1 -50.0000 -59.0000 18.00%
790.33/792.61 c 793 3676 3487 1 -50.0000 -59.0000 18.00%
795.72/798.02 c 798 3719 3528 1 -50.0000 -59.0000 18.00%
801.41/803.73 c 804 3767 3574 1 -50.0000 -59.0000 18.00%
806.89/809.27 c 809 3813 3618 1 -50.0000 -59.0000 18.00%
812.68/815.02 c 815 3842 3647 1 -50.0000 -59.0000 18.00%
818.46/820.83 c 821 3892 3697 1 -50.0000 -59.0000 18.00%
825.15/827.59 c 828 3959 3760 1 -50.0000 -59.0000 18.00%
831.13/833.58 c 834 4000 3801 1 -50.0000 -59.0000 18.00%
836.21/838.69 c 839 4038 3839 1 -50.0000 -59.0000 18.00%
849.28/851.80 c 852 4063 3862 1 -50.0000 -59.0000 18.00%
854.58/857.04 c 857 4116 3913 1 -50.0000 -59.0000 18.00%
860.26/862.70 c 863 4173 3970 1 -50.0000 -59.0000 18.00%
865.55/868.05 c 868 4236 4033 1 -50.0000 -59.0000 18.00%
870.64/873.18 c 873 4274 4071 1 -50.0000 -59.0000 18.00%
876.41/878.90 c 879 4334 4127 1 -50.0000 -59.0000 18.00%
882.20/884.72 c 885 4385 4178 1 -50.0000 -59.0000 18.00%
887.69/890.25 c 890 4425 4214 1 -50.0000 -59.0000 18.00%
893.57/896.16 c 896 4485 4274 1 -50.0000 -59.0000 18.00%
898.65/901.29 c 901 4528 4315 1 -50.0000 -59.0000 18.00%
916.61/919.28 c 919 4590 4373 1 -50.0000 -59.0000 18.00%
926.79/929.43 c 929 4644 4427 1 -50.0000 -59.0000 18.00%
932.08/934.78 c 935 4695 4476 1 -50.0000 -59.0000 18.00%
940.06/942.79 c 943 4772 4549 1 -50.0000 -59.0000 18.00%
945.94/948.67 c 949 4836 4613 1 -50.0000 -59.0000 18.00%
952.43/955.11 c 955 4888 4665 1 -50.0000 -59.0000 18.00%
958.21/960.97 c 961 4928 4705 1 -50.0000 -59.0000 18.00%
963.40/966.14 c 966 4987 4758 1 -50.0000 -59.0000 18.00%
968.49/971.22 c 971 5000 4771 1 -50.0000 -59.0000 18.00%
974.28/977.00 c 977 5032 4803 1 -50.0000 -59.0000 18.00%
979.75/982.54 c 983 5102 4873 1 -50.0000 -59.0000 18.00%
984.84/987.66 c 988 5140 4911 1 -50.0000 -59.0000 18.00%
990.03/992.84 c 993 5179 4950 1 -50.0000 -59.0000 18.00%
995.32/998.13 c 998 5238 5007 1 -50.0000 -59.0000 18.00%
1000.50/1003.34 c 1003 5317 5082 1 -50.0000 -59.0000 18.00%
1005.70/1008.50 c 1008 5383 5146 1 -50.0000 -59.0000 18.00%
1010.88/1013.73 c 1014 5447 5210 1 -50.0000 -59.0000 18.00%
1016.77/1019.67 c 1020 5488 5251 1 -50.0000 -59.0000 18.00%
1025.94/1028.87 c 1029 5525 5288 1 -50.0000 -59.0000 18.00%
1032.03/1034.92 c 1035 5588 5349 1 -50.0000 -59.0000 18.00%
1037.51/1040.47 c 1040 5640 5399 1 -50.0000 -59.0000 18.00%
1043.50/1046.49 c 1046 5698 5455 1 -50.0000 -59.0000 18.00%
1049.58/1052.55 c 1053 5729 5486 1 -50.0000 -59.0000 18.00%
1055.47/1058.49 c 1058 5788 5545 1 -50.0000 -59.0000 18.00%
1061.46/1064.45 c 1064 5833 5590 1 -50.0000 -59.0000 18.00%
1067.84/1070.80 c 1071 5886 5643 1 -50.0000 -59.0000 18.00%
1073.53/1076.55 c 1077 5894 5651 1 -50.0000 -59.0000 18.00%
1084.01/1087.09 c 1087 5932 5685 1 -50.0000 -59.0000 18.00%
1089.29/1092.38 c 1092 5998 5751 1 -50.0000 -59.0000 18.00%
1095.27/1098.39 c 1098 6071 5820 1 -50.0000 -59.0000 18.00%
1100.66/1103.70 c 1104 6128 5875 1 -50.0000 -59.0000 18.00%
1106.15/1109.20 c 1109 6188 5931 1 -50.0000 -59.0000 18.00%
1111.74/1114.82 c 1115 6225 5966 1 -50.0000 -59.0000 18.00%
1117.32/1120.47 c 1120 6275 6014 1 -50.0000 -59.0000 18.00%
1122.41/1125.57 c 1126 6329 6064 1 -50.0000 -59.0000 18.00%
1127.79/1130.93 c 1131 6381 6116 1 -50.0000 -59.0000 18.00%
1133.38/1136.56 c 1137 6437 6166 1 -50.0000 -59.0000 18.00%
1139.07/1142.25 c 1142 6467 6196 1 -50.0000 -59.0000 18.00%
1144.96/1148.11 c 1148 6523 6252 1 -50.0000 -59.0000 18.00%
1150.54/1153.74 c 1154 6568 6295 1 -50.0000 -59.0000 18.00%
1156.43/1159.62 c 1160 6612 6337 1 -50.0000 -59.0000 18.00%
1166.40/1169.60 c 1170 6645 6370 1 -50.0000 -59.0000 18.00%
1171.49/1174.76 c 1175 6709 6432 1 -50.0000 -59.0000 18.00%
1177.08/1180.38 c 1180 6757 6478 1 -50.0000 -59.0000 18.00%
1182.67/1185.97 c 1186 6821 6538 1 -50.0000 -59.0000 18.00%
1189.45/1192.76 c 1193 6858 6569 1 -50.0000 -59.0000 18.00%
1195.34/1198.67 c 1199 6911 6620 1 -50.0000 -59.0000 18.00%
1201.02/1204.35 c 1204 6959 6668 1 -50.0000 -59.0000 18.00%
1206.31/1209.66 c 1210 7029 6734 1 -50.0000 -59.0000 18.00%
1211.90/1215.21 c 1215 7071 6774 1 -50.0000 -59.0000 18.00%
1224.06/1227.49 c 1227 7111 6814 1 -50.0000 -59.0000 18.00%
1229.24/1232.69 c 1233 7172 6875 1 -50.0000 -59.0000 18.00%
1234.33/1237.73 c 1238 7229 6932 1 -50.0000 -59.0000 18.00%
1239.51/1242.95 c 1243 7290 6993 1 -50.0000 -59.0000 18.00%
1245.30/1248.71 c 1249 7361 7058 1 -50.0000 -59.0000 18.00%
1254.27/1257.70 c 1258 7396 7093 1 -50.0000 -59.0000 18.00%
1260.25/1263.71 c 1264 7447 7142 1 -50.0000 -59.0000 18.00%
1265.74/1269.28 c 1269 7509 7204 1 -50.0000 -59.0000 18.00%
1271.72/1275.26 c 1275 7565 7258 1 -50.0000 -59.0000 18.00%
1277.20/1280.70 c 1281 7632 7319 1 -50.0000 -59.0000 18.00%
1282.58/1286.18 c 1286 7702 7385 1 -50.0000 -59.0000 18.00%
1288.07/1291.69 c 1292 7742 7425 1 -50.0000 -59.0000 18.00%
1295.15/1298.70 c 1299 7783 7466 1 -50.0000 -59.0000 18.00%
1300.54/1304.19 c 1304 7844 7523 1 -50.0000 -59.0000 18.00%
1309.30/1312.94 c 1313 7915 7594 1 -50.0000 -59.0000 18.00%
1315.09/1318.78 c 1319 7971 7650 1 -50.0000 -59.0000 18.00%
1320.38/1324.10 c 1324 8039 7718 1 -50.0000 -59.0000 18.00%
1325.76/1329.45 c 1329 8132 7805 1 -50.0000 -59.0000 18.00%
1330.94/1334.62 c 1335 8218 7887 1 -50.0000 -59.0000 18.00%
1336.33/1340.08 c 1340 8265 7932 1 -50.0000 -59.0000 18.00%
1342.31/1346.06 c 1346 8268 7935 1 -50.0000 -59.0000 18.00%
1347.59/1351.30 c 1351 8312 7979 1 -50.0000 -59.0000 18.00%
1353.27/1357.02 c 1357 8346 8013 1 -50.0000 -59.0000 18.00%
1360.55/1364.30 c 1364 8358 8025 1 -50.0000 -59.0000 18.00%
1366.25/1370.06 c 1370 8420 8083 1 -50.0000 -59.0000 18.00%
1376.22/1380.08 c 1380 8469 8132 1 -50.0000 -59.0000 18.00%
1381.70/1385.52 c 1386 8548 8207 1 -50.0000 -59.0000 18.00%
1388.48/1392.31 c 1392 8585 8240 1 -50.0000 -59.0000 18.00%
1393.67/1397.55 c 1398 8637 8288 1 -50.0000 -59.0000 18.00%
1399.16/1403.03 c 1403 8717 8362 1 -50.0000 -59.0000 18.00%
1404.54/1408.42 c 1408 8796 8439 1 -50.0000 -59.0000 18.00%
1411.62/1415.55 c 1416 8870 8511 1 -50.0000 -59.0000 18.00%
1418.41/1422.36 c 1422 8933 8568 1 -50.0000 -59.0000 18.00%
1424.29/1428.23 c 1428 9003 8638 1 -50.0000 -59.0000 18.00%
1429.88/1433.83 c 1434 9063 8694 1 -50.0000 -59.0000 18.00%
1435.26/1439.29 c 1439 9100 8731 1 -50.0000 -59.0000 18.00%
1440.85/1444.90 c 1445 9177 8804 1 -50.0000 -59.0000 18.00%
1446.44/1450.45 c 1450 9239 8866 1 -50.0000 -59.0000 18.00%
1453.82/1457.80 c 1458 9306 8931 1 -50.0000 -59.0000 18.00%
1459.30/1463.37 c 1463 9385 9008 1 -50.0000 -59.0000 18.00%
1468.48/1472.55 c 1473 9408 9031 1 -50.0000 -59.0000 18.00%
1473.86/1477.94 c 1478 9473 9094 1 -50.0000 -59.0000 18.00%
1479.55/1483.60 c 1484 9541 9162 1 -50.0000 -59.0000 18.00%
1484.64/1488.74 c 1489 9613 9232 1 -50.0000 -59.0000 18.00%
1491.22/1495.31 c 1495 9681 9294 1 -50.0000 -59.0000 18.00%
1496.70/1500.84 c 1501 9737 9346 1 -50.0000 -59.0000 18.00%
1502.60/1506.75 c 1507 9808 9415 1 -50.0000 -59.0000 18.00%
1508.58/1512.75 c 1513 9860 9467 1 -50.0000 -59.0000 18.00%
1518.55/1522.78 c 1523 9897 9504 1 -50.0000 -59.0000 18.00%
1524.24/1528.40 c 1528 9956 9557 1 -50.0000 -59.0000 18.00%
1529.32/1533.52 c 1534 9975 9576 1 -50.0000 -59.0000 18.00%
1534.71/1538.94 c 1539 10015 9616 1 -50.0000 -59.0000 18.00%
1540.40/1544.65 c 1545 10028 9629 1 -50.0000 -59.0000 18.00%
1545.69/1549.90 c 1550 10061 9662 1 -50.0000 -59.0000 18.00%
1551.57/1555.84 c 1556 10088 9689 1 -50.0000 -59.0000 18.00%
1556.66/1560.94 c 1561 10123 9724 1 -50.0000 -59.0000 18.00%
1558.46/1562.78 c * 1563 10135 9736 1 -51.0000 -59.0000 15.69%
1569.53/1573.81 c 1574 10155 9421 1 -51.0000 -59.0000 15.69%
1575.31/1579.67 c 1580 10227 9481 1 -51.0000 -59.0000 15.69%
1581.00/1585.34 c 1585 10304 9548 1 -51.0000 -59.0000 15.69%
1587.09/1591.42 c 1591 10326 9570 1 -51.0000 -59.0000 15.69%
1592.97/1597.34 c 1597 10376 9616 1 -51.0000 -59.0000 15.69%
1598.05/1602.49 c 1602 10440 9678 1 -51.0000 -59.0000 15.69%
1603.54/1607.97 c 1608 10502 9740 1 -51.0000 -59.0000 15.69%
1608.63/1613.08 c 1613 10551 9783 1 -51.0000 -59.0000 15.69%
1614.12/1618.51 c 1619 10622 9842 1 -51.0000 -59.0000 15.69%
1619.90/1624.39 c 1624 10693 9907 1 -51.0000 -59.0000 15.69%
1625.39/1629.84 c 1630 10748 9956 1 -51.0000 -59.0000 15.69%
1630.77/1635.20 c 1635 10758 9966 1 -51.0000 -59.0000 15.69%
1637.46/1641.92 c 1642 10791 9997 1 -51.0000 -59.0000 15.69%
1642.85/1647.37 c 1647 10847 10049 1 -51.0000 -59.0000 15.69%
1648.03/1652.54 c 1653 10910 10110 1 -51.0000 -59.0000 15.69%
1653.62/1658.12 c 1658 10979 10171 1 -51.0000 -59.0000 15.69%
1659.20/1663.79 c 1664 11027 10219 1 -51.0000 -59.0000 15.69%
1671.87/1676.40 c 1676 11052 10244 1 -51.0000 -59.0000 15.69%
1680.05/1684.61 c 1685 11079 10265 1 -51.0000 -59.0000 15.69%
1685.45/1690.00 c 1690 11133 10317 1 -51.0000 -59.0000 15.69%
1692.73/1697.39 c 1697 11165 10347 1 -51.0000 -59.0000 15.69%
1698.11/1702.78 c 1703 11216 10394 1 -51.0000 -59.0000 15.69%
1703.70/1708.32 c 1708 11278 10448 1 -51.0000 -59.0000 15.69%
1709.18/1713.89 c 1714 11329 10493 1 -51.0000 -59.0000 15.69%
1714.88/1719.53 c 1720 11378 10538 1 -51.0000 -59.0000 15.69%
1720.47/1725.17 c 1725 11433 10587 1 -51.0000 -59.0000 15.69%
1725.94/1730.68 c 1731 11490 10640 1 -51.0000 -59.0000 15.69%
1734.73/1739.43 c 1739 11513 10663 1 -51.0000 -59.0000 15.69%
1740.42/1745.10 c 1745 11556 10706 1 -51.0000 -59.0000 15.69%
1745.80/1750.59 c 1751 11613 10763 1 -51.0000 -59.0000 15.69%
1750.99/1755.79 c 1756 11659 10809 1 -51.0000 -59.0000 15.69%
1756.68/1761.41 c 1761 11712 10858 1 -51.0000 -59.0000 15.69%
1762.06/1766.84 c 1767 11777 10921 1 -51.0000 -59.0000 15.69%
1767.75/1772.56 c 1773 11819 10963 1 -51.0000 -59.0000 15.69%
1773.34/1778.16 c 1778 11888 11028 1 -51.0000 -59.0000 15.69%
1778.62/1783.47 c 1783 11948 11084 1 -51.0000 -59.0000 15.69%
1784.11/1788.91 c 1789 11999 11135 1 -51.0000 -59.0000 15.69%
1789.49/1794.34 c 1794 12024 11160 1 -51.0000 -59.0000 15.69%
1794.59/1799.42 c 1799 12080 11210 1 -51.0000 -59.0000 15.69%
1799.77/1804.68 c 1805 12159 11285 1 -51.0000 -59.0000 15.69%
1805.46/1810.31 c 1810 12237 11361 1 -51.0000 -59.0000 15.69%
1810.64/1815.50 c 1816 12304 11426 1 -51.0000 -59.0000 15.69%
1816.33/1821.25 c 1821 12366 11488 1 -51.0000 -59.0000 15.69%
1822.12/1827.05 c 1827 12427 11547 1 -51.0000 -59.0000 15.69%
1827.31/1832.24 c 1832 12513 11625 1 -51.0000 -59.0000 15.69%
1833.39/1838.37 c 1838 12584 11690 1 -51.0000 -59.0000 15.69%
1840.88/1845.83 c 1846 12632 11734 1 -51.0000 -59.0000 15.69%
1846.46/1851.43 c 1851 12707 11805 1 -51.0000 -59.0000 15.69%
1851.65/1856.68 c 1857 12776 11870 1 -51.0000 -59.0000 15.69%
1857.44/1862.41 c 1862 12842 11932 1 -51.0000 -59.0000 15.69%
1862.72/1867.71 c 1868 12904 11994 1 -51.0000 -59.0000 15.69%
1868.02/1873.03 c 1873 12970 12056 1 -51.0000 -59.0000 15.69%
1875.30/1880.37 c 1880 13018 12104 1 -51.0000 -59.0000 15.69%
1881.18/1886.24 c 1886 13100 12180 1 -51.0000 -59.0000 15.69%
1887.07/1892.13 c 1892 13163 12239 1 -51.0000 -59.0000 15.69%
1892.35/1897.49 c 1897 13244 12314 1 -51.0000 -59.0000 15.69%
1898.14/1903.23 c 1903 13314 12382 1 -51.0000 -59.0000 15.69%
1903.72/1908.85 c 1909 13364 12422 1 -51.0000 -59.0000 15.69%
1910.41/1915.51 c 1916 13390 12448 1 -51.0000 -59.0000 15.69%
1915.80/1920.98 c 1921 13460 12514 1 -51.0000 -59.0000 15.69%
1921.38/1926.58 c 1927 13496 12548 1 -51.0000 -59.0000 15.69%
1926.58/1931.73 c 1932 13526 12576 1 -51.0000 -59.0000 15.69%
1932.16/1937.37 c 1937 13581 12629 1 -51.0000 -59.0000 15.69%
1939.54/1944.75 c 1945 13612 12654 1 -51.0000 -59.0000 15.69%
1945.13/1950.38 c 1950 13658 12696 1 -51.0000 -59.0000 15.69%
1950.82/1956.04 c 1956 13743 12779 1 -51.0000 -59.0000 15.69%
1956.00/1961.23 c 1961 13825 12851 1 -51.0000 -59.0000 15.69%
1961.99/1967.24 c 1967 13882 12906 1 -51.0000 -59.0000 15.69%
1967.27/1972.59 c 1973 13965 12975 1 -51.0000 -59.0000 15.69%
1973.36/1978.61 c 1979 14025 13035 1 -51.0000 -59.0000 15.69%
1978.76/1984.06 c 1984 14093 13103 1 -51.0000 -59.0000 15.69%
1986.03/1991.33 c 1991 14151 13161 1 -51.0000 -59.0000 15.69%
1991.42/1996.72 c 1997 14181 13191 1 -51.0000 -59.0000 15.69%
1997.10/2002.42 c 2002 14264 13272 1 -51.0000 -59.0000 15.69%
2002.79/2008.15 c 2008 14297 13305 1 -51.0000 -59.0000 15.69%
2008.18/2013.54 c 2014 14382 13386 1 -51.0000 -59.0000 15.69%
2013.67/2019.06 c 2019 14437 13439 1 -51.0000 -59.0000 15.69%
2023.94/2029.38 c 2029 14442 13444 1 -51.0000 -59.0000 15.69%
2029.03/2034.44 c 2034 14446 13448 1 -51.0000 -59.0000 15.69%
2036.62/2042.09 c 2042 14454 13456 1 -51.0000 -59.0000 15.69%
2043.90/2049.35 c 2049 14471 13473 1 -51.0000 -59.0000 15.69%
2049.70/2055.17 c 2055 14484 13484 1 -51.0000 -59.0000 15.69%
2058.77/2064.28 c 2064 14488 13488 1 -51.0000 -59.0000 15.69%
2065.36/2070.87 c 2071 14497 13497 1 -51.0000 -59.0000 15.69%
2072.04/2077.59 c 2078 14501 13501 1 -51.0000 -59.0000 15.69%
2077.43/2082.94 c 2083 14507 13505 1 -51.0000 -59.0000 15.69%
2089.51/2095.07 c 2095 14550 13546 1 -51.0000 -59.0000 15.69%
2099.59/2105.18 c 2105 14575 13567 1 -51.0000 -59.0000 15.69%
2106.16/2111.79 c 2112 14591 13577 1 -51.0000 -59.0000 15.69%
2114.84/2120.42 c 2120 14606 13592 1 -51.0000 -59.0000 15.69%
2119.93/2125.55 c 2126 14628 13612 1 -51.0000 -59.0000 15.69%
2125.72/2131.32 c 2131 14701 13679 1 -51.0000 -59.0000 15.69%
2131.71/2137.31 c 2137 14756 13728 1 -51.0000 -59.0000 15.69%
2137.40/2143.06 c 2143 14808 13778 1 -51.0000 -59.0000 15.69%
2144.27/2149.96 c 2150 14829 13799 1 -51.0000 -59.0000 15.69%
2154.16/2159.85 c 2160 14868 13836 1 -51.0000 -59.0000 15.69%
2165.83/2171.52 c 2172 14888 13856 1 -51.0000 -59.0000 15.69%
2183.09/2188.86 c 2189 14901 13869 1 -51.0000 -59.0000 15.69%
2190.57/2196.37 c 2196 14922 13890 1 -51.0000 -59.0000 15.69%
2202.26/2208.05 c 2208 14933 13901 1 -51.0000 -59.0000 15.69%
2209.53/2215.39 c 2215 14952 13920 1 -51.0000 -59.0000 15.69%
2214.82/2220.60 c 2221 14984 13952 1 -51.0000 -59.0000 15.69%
2220.01/2225.85 c 2226 15053 14015 1 -51.0000 -59.0000 15.69%
2225.70/2231.52 c 2232 15096 14058 1 -51.0000 -59.0000 15.69%
2231.38/2237.23 c 2237 15145 14105 1 -51.0000 -59.0000 15.69%
2236.57/2242.42 c 2242 15180 14138 1 -51.0000 -59.0000 15.69%
2242.56/2248.47 c 2248 15228 14186 1 -51.0000 -59.0000 15.69%
2247.64/2253.59 c 2254 15281 14235 1 -51.0000 -59.0000 15.69%
2253.33/2259.23 c 2259 15343 14295 1 -51.0000 -59.0000 15.69%
2258.72/2264.63 c 2265 15411 14351 1 -51.0000 -59.0000 15.69%
2264.51/2270.49 c 2270 15456 14396 1 -51.0000 -59.0000 15.69%
2269.89/2275.88 c 2276 15510 14442 1 -51.0000 -59.0000 15.69%
2275.78/2281.72 c 2282 15563 14495 1 -51.0000 -59.0000 15.69%
2281.26/2287.28 c 2287 15619 14539 1 -51.0000 -59.0000 15.69%
2286.85/2292.85 c 2293 15645 14563 1 -51.0000 -59.0000 15.69%
2292.53/2298.54 c 2299 15661 14579 1 -51.0000 -59.0000 15.69%
2298.03/2304.06 c 2304 15727 14641 1 -51.0000 -59.0000 15.69%
2305.40/2311.40 c 2311 15767 14671 1 -51.0000 -59.0000 15.69%
2310.90/2316.90 c 2317 15805 14707 1 -51.0000 -59.0000 15.69%
2316.38/2322.49 c 2322 15858 14756 1 -51.0000 -59.0000 15.69%
2321.67/2327.77 c 2328 15936 14832 1 -51.0000 -59.0000 15.69%
2328.75/2334.84 c 2335 15998 14888 1 -51.0000 -59.0000 15.69%
2334.14/2340.30 c 2340 16048 14936 1 -51.0000 -59.0000 15.69%
2339.43/2345.59 c 2346 16113 14997 1 -51.0000 -59.0000 15.69%
2353.30/2359.43 c 2359 16137 15021 1 -51.0000 -59.0000 15.69%
2358.38/2364.54 c 2365 16202 15086 1 -51.0000 -59.0000 15.69%
2365.56/2371.79 c 2372 16207 15091 1 -51.0000 -59.0000 15.69%
2374.14/2380.36 c 2380 16237 15117 1 -51.0000 -59.0000 15.69%
2379.52/2385.78 c 2386 16279 15159 1 -51.0000 -59.0000 15.69%
2384.81/2391.06 c 2391 16316 15196 1 -51.0000 -59.0000 15.69%
2390.29/2396.58 c 2397 16363 15243 1 -51.0000 -59.0000 15.69%
2396.17/2402.47 c 2402 16401 15281 1 -51.0000 -59.0000 15.69%
2401.55/2407.87 c 2408 16449 15329 1 -51.0000 -59.0000 15.69%
2406.85/2413.18 c 2413 16504 15384 1 -51.0000 -59.0000 15.69%
2412.12/2418.43 c 2418 16571 15451 1 -51.0000 -59.0000 15.69%
2417.31/2423.65 c 2424 16633 15513 1 -51.0000 -59.0000 15.69%
2422.70/2429.09 c 2429 16686 15566 1 -51.0000 -59.0000 15.69%
2428.78/2435.12 c 2435 16723 15603 1 -51.0000 -59.0000 15.69%
2433.96/2440.33 c 2440 16763 15643 1 -51.0000 -59.0000 15.69%
2439.85/2446.20 c 2446 16781 15661 1 -51.0000 -59.0000 15.69%
2449.22/2455.68 c 2456 16790 15670 1 -51.0000 -59.0000 15.69%
2455.30/2461.76 c 2462 16808 15688 1 -51.0000 -59.0000 15.69%
2468.67/2475.15 c 2475 16830 15710 1 -51.0000 -59.0000 15.69%
2476.84/2483.36 c 2483 16848 15728 1 -51.0000 -59.0000 15.69%
2483.72/2490.23 c 2490 16880 15760 1 -51.0000 -59.0000 15.69%
2493.09/2499.64 c 2500 16889 15769 1 -51.0000 -59.0000 15.69%
2498.98/2505.50 c 2506 16927 15807 1 -51.0000 -59.0000 15.69%
2504.36/2510.96 c 2511 16961 15841 1 -51.0000 -59.0000 15.69%
2510.34/2516.96 c 2517 17023 15903 1 -51.0000 -59.0000 15.69%
2516.63/2523.20 c 2523 17065 15945 1 -51.0000 -59.0000 15.69%
2521.71/2528.37 c 2528 17129 16009 1 -51.0000 -59.0000 15.69%
2526.90/2533.58 c 2534 17193 16073 1 -51.0000 -59.0000 15.69%
2536.98/2543.68 c 2544 17275 16155 1 -51.0000 -59.0000 15.69%
2547.25/2553.92 c 2554 17289 16169 1 -51.0000 -59.0000 15.69%
2552.44/2559.13 c 2559 17300 16180 1 -51.0000 -59.0000 15.69%
2561.71/2568.44 c 2568 17320 16200 1 -51.0000 -59.0000 15.69%
2567.11/2573.81 c 2574 17347 16227 1 -51.0000 -59.0000 15.69%
2572.19/2578.94 c 2579 17360 16240 1 -51.0000 -59.0000 15.69%
2580.47/2587.28 c 2587 17379 16259 1 -51.0000 -59.0000 15.69%
2592.04/2598.83 c 2599 17398 16278 1 -51.0000 -59.0000 15.69%
2602.52/2609.38 c 2609 17409 16289 1 -51.0000 -59.0000 15.69%
2611.31/2618.11 c 2618 17427 16305 1 -51.0000 -59.0000 15.69%
2624.47/2631.37 c 2631 17439 16317 1 -51.0000 -59.0000 15.69%
2634.35/2641.29 c 2641 17450 16328 1 -51.0000 -59.0000 15.69%
2642.33/2649.28 c 2649 17459 16337 1 -51.0000 -59.0000 15.69%
2648.71/2655.65 c 2656 17468 16346 1 -51.0000 -59.0000 15.69%
2654.89/2661.80 c 2662 17488 16366 1 -51.0000 -59.0000 15.69%
2660.28/2667.25 c 2667 17526 16404 1 -51.0000 -59.0000 15.69%
2667.67/2674.68 c 2675 17528 16406 1 -51.0000 -59.0000 15.69%
2673.35/2680.36 c 2680 17549 16427 1 -51.0000 -59.0000 15.69%
2678.84/2685.83 c 2686 17609 16487 1 -51.0000 -59.0000 15.69%
2684.03/2691.07 c 2691 17617 16495 1 -51.0000 -59.0000 15.69%
2689.81/2696.84 c 2697 17636 16514 1 -51.0000 -59.0000 15.69%
2694.89/2701.90 c 2702 17652 16530 1 -51.0000 -59.0000 15.69%
2704.57/2711.66 c 2712 17672 16550 1 -51.0000 -59.0000 15.69%
2724.33/2731.43 c 2731 17675 16553 1 -51.0000 -59.0000 15.69%
2731.11/2738.22 c 2738 17681 16559 1 -51.0000 -59.0000 15.69%
2736.59/2743.73 c 2744 17722 16600 1 -51.0000 -59.0000 15.69%
2742.99/2750.17 c 2750 17781 16659 1 -51.0000 -59.0000 15.69%
2748.17/2755.32 c 2755 17789 16667 1 -51.0000 -59.0000 15.69%
2755.06/2762.23 c 2762 17798 16676 1 -51.0000 -59.0000 15.69%
2765.23/2772.43 c 2772 17823 16701 1 -51.0000 -59.0000 15.69%
2771.02/2778.21 c 2778 17828 16706 1 -51.0000 -59.0000 15.69%
2776.21/2783.40 c 2783 17851 16729 1 -51.0000 -59.0000 15.69%
2794.86/2802.15 c 2802 17869 16747 1 -51.0000 -59.0000 15.69%
2801.24/2808.51 c 2809 17876 16754 1 -51.0000 -59.0000 15.69%
2806.23/2813.56 c 2814 17889 16765 1 -51.0000 -59.0000 15.69%
2814.21/2821.55 c 2822 17898 16774 1 -51.0000 -59.0000 15.69%
2821.19/2828.56 c 2829 17937 16813 1 -51.0000 -59.0000 15.69%
2828.97/2836.36 c 2836 17961 16835 1 -51.0000 -59.0000 15.69%
2838.45/2845.89 c 2846 17971 16845 1 -51.0000 -59.0000 15.69%
2849.33/2856.72 c 2857 18020 16894 1 -51.0000 -59.0000 15.69%
2858.61/2866.05 c 2866 18051 16923 1 -51.0000 -59.0000 15.69%
2865.48/2872.94 c 2873 18088 16960 1 -51.0000 -59.0000 15.69%
2876.25/2883.78 c 2884 18112 16984 1 -51.0000 -59.0000 15.69%
2886.04/2893.56 c 2894 18118 16990 1 -51.0000 -59.0000 15.69%
2892.82/2900.38 c 2900 18123 16995 1 -51.0000 -59.0000 15.69%
2901.59/2909.19 c 2909 18166 17038 1 -51.0000 -59.0000 15.69%
2907.07/2914.61 c 2915 18203 17075 1 -51.0000 -59.0000 15.69%
2912.36/2919.99 c 2920 18230 17102 1 -51.0000 -59.0000 15.69%
2918.14/2925.75 c 2926 18293 17161 1 -51.0000 -59.0000 15.69%
2923.84/2931.48 c 2931 18351 17219 1 -51.0000 -59.0000 15.69%
2929.22/2936.89 c 2937 18420 17288 1 -51.0000 -59.0000 15.69%
2936.70/2944.33 c 2944 18430 17298 1 -51.0000 -59.0000 15.69%
2946.58/2954.27 c 2954 18435 17303 1 -51.0000 -59.0000 15.69%
2952.56/2960.24 c 2960 18441 17307 1 -51.0000 -59.0000 15.69%
2957.75/2965.42 c 2965 18512 17378 1 -51.0000 -59.0000 15.69%
2963.03/2970.73 c 2971 18590 17452 1 -51.0000 -59.0000 15.69%
2968.33/2976.03 c 2976 18653 17515 1 -51.0000 -59.0000 15.69%
2984.78/2992.57 c 2993 18680 17542 1 -51.0000 -59.0000 15.69%
2990.26/2998.05 c 2998 18698 17560 1 -51.0000 -59.0000 15.69%
2995.45/3003.27 c 3003 18767 17629 1 -51.0000 -59.0000 15.69%
3003.63/3011.48 c 3011 18800 17660 1 -51.0000 -59.0000 15.69%
3015.49/3023.36 c 3023 18857 17713 1 -51.0000 -59.0000 15.69%
3015.59/3023.44 c * 3023 18857 17713 1 -53.0000 -59.0000 11.32%
3050.49/3058.47 c 3058 18859 0 1 -53.0000 -59.0000 11.32%
3056.37/3064.34 c 3064 18860 1 1 -53.0000 -59.0000 11.32%
3062.55/3070.51 c 3071 18889 30 1 -53.0000 -59.0000 11.32%
3067.94/3075.99 c 3076 18894 35 1 -53.0000 -59.0000 11.32%
3073.62/3081.64 c 3082 18900 41 1 -53.0000 -59.0000 11.32%
3078.80/3086.89 c 3087 18907 48 1 -53.0000 -59.0000 11.32%
3084.29/3092.38 c 3092 18911 52 1 -53.0000 -59.0000 11.32%
3089.98/3098.01 c 3098 18915 56 1 -53.0000 -59.0000 11.32%
3095.86/3103.94 c 3104 18922 63 1 -53.0000 -59.0000 11.32%
3101.44/3109.54 c 3110 18930 71 1 -53.0000 -59.0000 11.32%
3108.93/3117.00 c 3117 18932 71 1 -53.0000 -59.0000 11.32%
3123.98/3132.12 c 3132 18933 70 1 -53.0000 -59.0000 11.32%
3129.76/3137.97 c 3138 18938 73 1 -53.0000 -59.0000 11.32%
3136.54/3144.78 c 3145 18948 83 1 -53.0000 -59.0000 11.32%
3144.12/3152.30 c 3152 18956 91 1 -53.0000 -59.0000 11.32%
3150.80/3159.07 c 3159 18965 100 1 -53.0000 -59.0000 11.32%
3155.98/3164.25 c 3164 18971 102 1 -53.0000 -59.0000 11.32%
3161.88/3170.10 c 3170 18978 105 1 -53.0000 -59.0000 11.32%
3167.35/3175.65 c 3176 19001 118 1 -53.0000 -59.0000 11.32%
3173.43/3181.75 c 3182 19036 137 1 -53.0000 -59.0000 11.32%
3179.12/3187.47 c 3187 19066 155 1 -53.0000 -59.0000 11.32%
3184.10/3192.47 c 3192 19098 165 1 -53.0000 -59.0000 11.32%
3189.49/3197.89 c 3198 19144 187 1 -53.0000 -59.0000 11.32%
3194.78/3203.11 c 3203 19163 204 1 -53.0000 -59.0000 11.32%
3200.46/3208.80 c 3209 19220 225 1 -53.0000 -59.0000 11.32%
3206.34/3214.77 c 3215 19229 232 1 -53.0000 -59.0000 11.32%
3212.63/3221.06 c 3221 19242 245 1 -53.0000 -59.0000 11.32%
3218.01/3226.42 c 3226 19257 254 1 -53.0000 -59.0000 11.32%
3223.19/3231.63 c 3232 19275 262 1 -53.0000 -59.0000 11.32%
3228.18/3236.64 c 3237 19316 281 1 -53.0000 -59.0000 11.32%
3234.96/3243.48 c 3243 19345 290 1 -53.0000 -59.0000 11.32%
3240.25/3248.79 c 3249 19354 291 1 -53.0000 -59.0000 11.32%
3246.04/3254.59 c 3255 19379 300 1 -53.0000 -59.0000 11.32%
3257.22/3265.73 c 3266 19392 311 1 -53.0000 -59.0000 11.32%
3263.40/3271.96 c 3272 19399 314 1 -53.0000 -59.0000 11.32%
3272.48/3281.09 c 3281 19407 316 1 -53.0000 -59.0000 11.32%
3277.96/3286.54 c 3287 19414 319 1 -53.0000 -59.0000 11.32%
3284.45/3293.01 c 3293 19425 324 1 -53.0000 -59.0000 11.32%
3296.81/3305.49 c 3306 19432 325 1 -53.0000 -59.0000 11.32%
3304.30/3312.96 c 3313 19440 327 1 -53.0000 -59.0000 11.32%
3312.18/3320.82 c 3321 19452 331 1 -53.0000 -59.0000 11.32%
3319.96/3328.60 c 3329 19458 331 1 -53.0000 -59.0000 11.32%
3325.15/3333.80 c 3334 19466 333 1 -53.0000 -59.0000 11.32%
3330.54/3339.23 c 3339 19512 359 1 -53.0000 -59.0000 11.32%
3335.62/3344.30 c 3344 19549 382 1 -53.0000 -59.0000 11.32%
3341.61/3350.33 c 3350 19600 419 1 -53.0000 -59.0000 11.32%
3348.59/3357.31 c 3357 19631 444 1 -53.0000 -59.0000 11.32%
3355.77/3364.57 c 3365 19642 447 1 -53.0000 -59.0000 11.32%
3362.15/3370.92 c 3371 19655 454 1 -53.0000 -59.0000 11.32%
3368.44/3377.26 c 3377 19659 456 1 -53.0000 -59.0000 11.32%
3373.82/3382.68 c 3383 19667 464 1 -53.0000 -59.0000 11.32%
3379.11/3387.98 c 3388 19681 474 1 -53.0000 -59.0000 11.32%
3385.31/3394.11 c 3394 19696 487 1 -53.0000 -59.0000 11.32%
3390.39/3399.23 c 3399 19725 510 1 -53.0000 -59.0000 11.32%
3396.18/3405.02 c 3405 19762 533 1 -53.0000 -59.0000 11.32%
3401.46/3410.39 c 3410 19793 554 1 -53.0000 -59.0000 11.32%
3415.63/3424.55 c 3425 19816 561 1 -53.0000 -59.0000 11.32%
3422.12/3431.09 c 3431 19822 563 1 -53.0000 -59.0000 11.32%
3429.80/3438.75 c 3439 19838 565 1 -53.0000 -59.0000 11.32%
3438.78/3447.79 c 3448 19839 566 1 -53.0000 -59.0000 11.32%
3449.75/3458.72 c 3459 19847 570 1 -53.0000 -59.0000 11.32%
3455.63/3464.64 c 3465 19855 572 1 -53.0000 -59.0000 11.32%
3463.02/3472.00 c 3472 19885 592 1 -53.0000 -59.0000 11.32%
3469.60/3478.62 c 3479 19903 602 1 -53.0000 -59.0000 11.32%
3477.38/3486.42 c 3486 19911 608 1 -53.0000 -59.0000 11.32%
3488.15/3497.28 c 3497 19918 613 1 -53.0000 -59.0000 11.32%
3496.74/3505.83 c 3506 19933 618 1 -53.0000 -59.0000 11.32%
3504.42/3513.55 c 3514 19943 624 1 -53.0000 -59.0000 11.32%
3510.51/3519.63 c 3520 19967 632 1 -53.0000 -59.0000 11.32%
3517.60/3526.76 c 3527 19968 631 1 -53.0000 -59.0000 11.32%
3522.89/3532.00 c 3532 20003 654 1 -53.0000 -59.0000 11.32%
3533.05/3542.20 c 3542 20076 701 1 -53.0000 -59.0000 11.32%
3541.23/3550.46 c 3550 20095 710 1 -53.0000 -59.0000 11.32%
3549.33/3558.56 c 3559 20099 710 1 -53.0000 -59.0000 11.32%
3562.80/3572.01 c 3572 20106 715 1 -53.0000 -59.0000 11.32%
3571.37/3580.60 c 3581 20118 719 1 -53.0000 -59.0000 11.32%
3577.16/3586.49 c 3586 20143 726 1 -53.0000 -59.0000 11.32%
3585.74/3595.03 c 3595 20161 736 1 -53.0000 -59.0000 11.32%
3588.93/3598.29 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.93/3598.29 c Total Time : 3598.29
3588.93/3598.29 c solving : 3598.29
3588.93/3598.29 c presolving : 2.57 (included in solving)
3588.93/3598.29 c B&B Tree :
3588.93/3598.29 c nodes (total) : 1
3588.93/3598.29 c Solution :
3588.93/3598.29 c Solutions found : 12
3588.93/3598.29 c Primal Bound : -5.30000000000000e+01
3588.93/3598.29 c Dual Bound : -5.90000000000000e+01
3588.93/3598.29 c Gap : 11.32075 %
3588.93/3598.29 c * Warning: final gap: 1.13208e-01 is greater than SCIPepsilon: 1.00000e-09
3589.04/3598.31 o -53
3589.04/3598.31 s SATISFIABLE
3589.04/3598.31 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.04/3598.31 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.04/3598.31 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.04/3598.31 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.04/3598.31 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3589.04/3598.31 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3589.04/3598.31 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
3589.04/3598.31 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
3589.04/3598.31 v -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
3589.04/3598.31 v -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
3589.04/3598.31 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
3589.04/3598.31 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
3589.04/3598.31 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
3589.04/3598.31 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312
3589.04/3598.31 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
3589.04/3598.31 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
3589.04/3598.31 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3589.04/3598.31 v -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3589.04/3598.31 v -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3589.04/3598.31 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3589.04/3598.31 v x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3589.04/3598.31 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3589.04/3598.31 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501
3589.04/3598.31 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3589.04/3598.31 v -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3589.04/3598.31 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3589.04/3598.31 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3589.04/3598.31 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
3589.04/3598.31 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
3589.04/3598.31 v -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
3589.04/3598.31 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
3589.04/3598.31 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690
3589.04/3598.31 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
3589.04/3598.31 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
3589.04/3598.31 v -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
3589.04/3598.31 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773
3589.04/3598.31 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
3589.04/3598.31 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
3589.04/3598.31 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3589.04/3598.31 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
3589.04/3598.31 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3589.04/3598.31 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
3589.04/3598.31 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3589.04/3598.31 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941
3589.04/3598.31 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
3589.04/3598.31 v -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3589.04/3598.31 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
3589.04/3598.31 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
3589.04/3598.31 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
3589.04/3598.31 v -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
3589.04/3598.31 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075
3589.04/3598.31 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3589.04/3598.31 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
3589.04/3598.31 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129
3589.04/3598.31 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3589.04/3598.31 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165
3589.04/3598.31 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
3589.04/3598.31 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
3589.04/3598.31 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
3589.04/3598.31 v -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
3589.04/3598.31 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
3589.04/3598.31 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
3589.04/3598.31 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
3589.04/3598.31 v -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
3589.13/3598.43 v -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
3589.13/3598.43 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
3589.13/3598.43 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
3589.13/3598.43 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
3589.13/3598.43 v -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
3589.13/3598.43 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
3589.13/3598.43 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
3589.13/3598.43 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
3589.13/3598.43 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
3589.13/3598.43 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
3589.13/3598.43 v x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
3589.13/3598.43 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
3589.13/3598.43 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534
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: 63931 MiB (62546 MiB free)
memory of node 1: 64510 MiB (62784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464051-1722378594/watcher-4464051-1722378594 -o /tmp/evaluation-result-4464051-1722378594/solver-4464051-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30699 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464051-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=30755, runsolver pid=30744
[startup+0.10095 s]*
/proc/loadavg: 0.16 0.13 0.09 7/260 30763
/proc/meminfo: memFree=128097720/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=60540 memory=48308 CPUtime=0.09 cores=5,7
/proc/30755/stat : 30755 (fscip) R 30744 30755 30686 0 -1 4194304 9956 0 0 0 8 1 0 0 20 0 1 0 4456826 61992960 12077 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 15135 12077 2347 3035 0 11531 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60540 KiB
Current children cumulated memory: 48308 KiB
[startup+0.205306 s]*
/proc/loadavg: 0.16 0.13 0.09 5/260 30763
/proc/meminfo: memFree=128010316/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=99732 memory=88860 CPUtime=0.2 cores=5,7
/proc/30755/stat : 30755 (fscip) R 30744 30755 30686 0 -1 4194304 20662 0 0 0 17 3 0 0 20 0 1 0 4456826 102125568 22215 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 24933 22215 2555 3035 0 21329 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99732 KiB
Current children cumulated memory: 88860 KiB
[startup+0.306132 s]*
/proc/loadavg: 0.16 0.13 0.09 6/260 30765
/proc/meminfo: memFree=128030432/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=158988 memory=147996 CPUtime=0.3 cores=5,7
/proc/30755/stat : 30755 (fscip) R 30744 30755 30686 0 -1 4194304 35433 0 0 0 25 5 0 0 20 0 1 0 4456826 162803712 36999 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 39747 36999 2555 3035 0 36143 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 158988 KiB
Current children cumulated memory: 147996 KiB
[startup+0.700233 s]
/proc/loadavg: 0.16 0.13 0.09 5/257 30773
/proc/meminfo: memFree=127882744/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=263896 memory=250260 CPUtime=0.68 cores=5,7
/proc/30755/stat : 30755 (fscip) R 30744 30755 30686 0 -1 4194304 57674 0 0 0 59 9 0 0 20 0 1 0 4456826 270229504 62565 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 65974 62565 2678 3035 0 62370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 263896 KiB
Current children cumulated memory: 250260 KiB
[startup+1.50025 s]
/proc/loadavg: 0.47 0.20 0.12 5/257 30773
/proc/meminfo: memFree=127685300/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=267324 memory=253556 CPUtime=1.48 cores=5,7
/proc/30755/stat : 30755 (fscip) R 30744 30755 30686 0 -1 4194304 71893 0 0 0 137 11 0 0 20 0 1 0 4456826 273739776 63389 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 66831 63389 2710 3035 0 63227 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 267324 KiB
Current children cumulated memory: 253556 KiB
[startup+3.10597 s]
/proc/loadavg: 0.47 0.20 0.12 6/265 30814
/proc/meminfo: memFree=127322520/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=596460 memory=484212 CPUtime=3.09 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 103410 0 0 0 289 20 0 0 20 0 2 0 4456826 610775040 121053 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 149115 121053 2774 3035 0 134620 0
[pid=30755/tid=30814] ppid=30744 vsize=596460 memory=0 CPUtime=0.01 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 4921 0 0 0 1 0 0 0 20 0 2 0 4457118 610775040 121053 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 596460 KiB
Current children cumulated memory: 484212 KiB
[startup+6.30022 s]
/proc/loadavg: 0.75 0.26 0.14 6/266 30817
/proc/meminfo: memFree=126851140/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1175920 memory=992576 CPUtime=6.27 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 232829 0 0 0 587 40 0 0 20 0 3 0 4456826 1204142080 248144 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 293980 248144 2950 3035 0 276430 0
[pid=30755/tid=30814] ppid=30744 vsize=1175920 memory=17983 CPUtime=3.2 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 134041 0 0 0 300 20 0 0 20 0 3 0 4457118 1204142080 248144 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=1175920 memory=911356 CPUtime=0 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4457147 1204142080 248144 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1175920 KiB
Current children cumulated memory: 992576 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 0.34 0.16 6/266 30817
/proc/meminfo: memFree=126718076/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1241456 memory=1040832 CPUtime=12.65 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 257482 0 0 0 1223 42 0 0 20 0 3 0 4456826 1271250944 260208 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 310364 260208 2998 3035 0 293719 0
[pid=30755/tid=30814] ppid=30744 vsize=1241456 memory=11360 CPUtime=9.58 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 158653 0 0 0 935 23 0 0 20 0 3 0 4457118 1271250944 260208 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=1241456 memory=993580 CPUtime=0 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4457147 1271250944 260208 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1241456 KiB
Current children cumulated memory: 1040832 KiB
[startup+25.5002 s]
/proc/loadavg: 1.61 0.48 0.21 6/271 30881
/proc/meminfo: memFree=126300660/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1241456 memory=1046272 CPUtime=25.41 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 327838 0 0 0 2494 47 0 0 20 0 3 0 4456826 1271250944 261568 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 310364 261568 2998 3035 0 300990 0
[pid=30755/tid=30814] ppid=30744 vsize=1241456 memory=1046272 CPUtime=22.35 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 229001 0 0 0 2207 28 0 0 20 0 3 0 4457118 1271250944 261568 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=1241456 memory=132 CPUtime=0 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4457147 1271250944 261568 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1241456 KiB
Current children cumulated memory: 1046272 KiB
[startup+51.106 s]
/proc/loadavg: 2.55 0.81 0.33 6/271 30884
/proc/meminfo: memFree=126049120/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1437532 memory=1058636 CPUtime=50.94 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 445321 0 0 0 5039 55 0 0 20 0 3 0 4456826 1472032768 264659 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 359383 264659 2998 3035 0 352907 0
[pid=30755/tid=30814] ppid=30744 vsize=1437532 memory=33 CPUtime=47.88 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 346473 0 0 0 4752 36 0 0 20 0 3 0 4457118 1472032768 264659 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=1437532 memory=1040832 CPUtime=0 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4457147 1472032768 264659 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1437532 KiB
Current children cumulated memory: 1058636 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.32 0.53 5/269 31037
/proc/meminfo: memFree=118588804/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1704128 memory=1204868 CPUtime=101.99 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 632132 0 0 0 10129 70 0 0 20 0 3 0 4456826 1745027072 301217 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 426032 301217 2998 3035 0 414304 0
[pid=30755/tid=30814] ppid=30744 vsize=1704128 memory=11360 CPUtime=98.92 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 532698 0 0 0 9841 51 0 0 20 0 3 0 4457118 1745027072 301217 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=1704128 memory=-7164219323824824956 CPUtime=0 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4457147 1745027072 301217 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1704128 KiB
Current children cumulated memory: 1204868 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 1.87 0.77 5/267 31092
/proc/meminfo: memFree=117281120/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1769664 memory=1253376 CPUtime=161.8 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 752312 0 0 0 16101 79 0 0 20 0 3 0 4456826 1812135936 313344 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 442416 313344 2998 3035 0 426296 0
[pid=30755/tid=30814] ppid=30744 vsize=1769664 memory=12640 CPUtime=158.74 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 652820 0 0 0 15814 60 0 0 20 0 3 0 4457118 1812135936 313344 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=1769664 memory=1224900 CPUtime=0 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4457147 1812135936 313344 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1769664 KiB
Current children cumulated memory: 1253376 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.28 0.98 5/268 31105
/proc/meminfo: memFree=110300036/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1835200 memory=1331864 CPUtime=221.62 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 859489 0 0 0 22074 88 0 0 20 0 3 0 4456826 1879244800 332966 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 458800 332966 2998 3035 0 451158 0
[pid=30755/tid=30814] ppid=30744 vsize=1835200 memory=1293556 CPUtime=218.54 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 759963 0 0 0 21786 68 0 0 20 0 3 0 4457118 1879244800 332966 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=1835200 memory=1331864 CPUtime=0 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4457147 1879244800 332966 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1835200 KiB
Current children cumulated memory: 1331864 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.62 1.18 5/270 31118
/proc/meminfo: memFree=104150548/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=1933784 memory=1393132 CPUtime=281.43 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 964775 0 0 0 28046 97 0 0 20 0 3 0 4456826 1980194816 348283 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 483446 348283 2998 3035 0 471146 0
################
# More data... #
################
[pid=30755] ppid=30744 vsize=3594840 memory=2608552 CPUtime=3393.48 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3051168 0 0 0 339021 327 0 0 20 0 3 0 4456826 3681116160 652138 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 898710 652138 3302 3035 0 889744 0
[pid=30755/tid=30814] ppid=30744 vsize=3594840 memory=2608544 CPUtime=3390.24 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2949569 0 0 0 338724 300 0 0 20 0 3 0 4457118 3681116160 652138 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3594840 memory=2608544 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 175 0 0 0 1 2 0 0 20 0 3 0 4457147 3681116160 652138 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 3594840 KiB
Current children cumulated memory: 2608552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/266 33235
/proc/meminfo: memFree=123543000/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3606684 memory=2608560 CPUtime=3453.34 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3053010 0 0 0 345007 327 0 0 20 0 3 0 4456826 3693244416 652140 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 901671 652140 3302 3035 0 892705 0
[pid=30755/tid=30814] ppid=30744 vsize=3606684 memory=2608560 CPUtime=3450.1 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2951374 0 0 0 344710 300 0 0 20 0 3 0 4457118 3693244416 652140 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3606684 memory=11360 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457147 3693244416 652140 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 3606684 KiB
Current children cumulated memory: 2608560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/267 33416
/proc/meminfo: memFree=123521028/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3606684 memory=2608580 CPUtime=3513.21 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3056754 0 0 0 350993 328 0 0 20 0 3 0 4456826 3693244416 652145 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 901671 652145 3302 3035 0 892705 0
[pid=30755/tid=30814] ppid=30744 vsize=3606684 memory=2608580 CPUtime=3509.95 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2955112 0 0 0 350695 300 0 0 20 0 3 0 4457118 3693244416 652145 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3606684 memory=2608580 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 4457147 3693244416 652145 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 3606684 KiB
Current children cumulated memory: 2608580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/268 33428
/proc/meminfo: memFree=123469136/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3573.07 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3094120 0 0 0 356977 330 0 0 20 0 3 0 4456826 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 919148 661060 3302 3035 0 910182 0
[pid=30755/tid=30814] ppid=30744 vsize=3676592 memory=2608580 CPUtime=3569.82 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2992444 0 0 0 356679 303 0 0 20 0 3 0 4457118 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3676592 memory=2644240 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4457147 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 3676592 KiB
Current children cumulated memory: 2644240 KiB
[startup+3598.44 s]
# the end of solver process 30755 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.86 s, system=3.33021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.13 4.05 5/268 33428
/proc/meminfo: memFree=123468808/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3574.77 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3094239 0 0 0 357147 330 0 0 20 0 3 0 4456826 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 919148 661060 3302 3035 0 910182 0
[pid=30755/tid=30814] ppid=30744 vsize=3676592 memory=6756 CPUtime=3571.52 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2992563 0 0 0 356849 303 0 0 20 0 3 0 4457118 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3676592 memory=7392 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4457147 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3574.77 s
Current children cumulated vsize: 3676592 KiB
Current children cumulated memory: 2644240 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.13 4.05 5/268 33429
/proc/meminfo: memFree=123467016/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3581.15 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3094686 0 0 0 357785 330 0 0 20 0 3 0 4456826 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 919148 661060 3302 3035 0 910182 0
[pid=30755/tid=30814] ppid=30744 vsize=3676592 memory=2644236 CPUtime=3577.9 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2993010 0 0 0 357487 303 0 0 20 0 3 0 4457118 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3676592 memory=-7163937848848114048 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4457147 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3581.15 s
Current children cumulated vsize: 3676592 KiB
Current children cumulated memory: 2644240 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.14 4.05 5/268 33429
/proc/meminfo: memFree=123465776/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3584.34 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3094690 0 0 0 358104 330 0 0 20 0 3 0 4456826 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 919148 661060 3302 3035 0 910182 0
[pid=30755/tid=30814] ppid=30744 vsize=3676592 memory=-7164219323824824956 CPUtime=3581.09 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2993014 0 0 0 357806 303 0 0 20 0 3 0 4457118 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3676592 memory=2644240 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 4457147 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3584.34 s
Current children cumulated vsize: 3676592 KiB
Current children cumulated memory: 2644240 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.14 4.05 5/268 33431
/proc/meminfo: memFree=123465644/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3587.54 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3095064 0 0 0 358424 330 0 0 20 0 3 0 4456826 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 919148 661060 3302 3035 0 910182 0
[pid=30755/tid=30814] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3584.29 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2993386 0 0 0 358126 303 0 0 20 0 3 0 4457118 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3676592 memory=11360 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 3 0 4457147 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 3676592 KiB
Current children cumulated memory: 2644240 KiB
[startup+3597.6 s]
/proc/loadavg: 4.19 4.14 4.05 5/268 33431
/proc/meminfo: memFree=123465120/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3588.33 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3095064 0 0 0 358503 330 0 0 20 0 3 0 4456826 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 919148 661060 3302 3035 0 910182 0
[pid=30755/tid=30814] ppid=30744 vsize=3676592 memory=5560 CPUtime=3585.09 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2993386 0 0 0 358206 303 0 0 20 0 3 0 4457118 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3676592 memory=16008 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 3 0 4457147 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3588.33 s
Current children cumulated vsize: 3676592 KiB
Current children cumulated memory: 2644240 KiB
[startup+3598 s]*
/proc/loadavg: 4.19 4.14 4.05 5/268 33431
/proc/meminfo: memFree=123464980/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=3676592 memory=2644240 CPUtime=3588.74 cores=5,7
/proc/30755/stat : 30755 (fscip) S 30744 30755 30686 0 -1 1077936128 3095064 0 0 0 358544 330 0 0 20 0 3 0 4456826 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 919148 661060 3302 3035 0 910182 0
[pid=30755/tid=30814] ppid=30744 vsize=3676592 memory=-7163937848848114048 CPUtime=3585.49 cores=5,7
/proc/30755/task/30814/stat : 30814 (fscip) R 30744 30755 30686 0 -1 4194368 2993386 0 0 0 358246 303 0 0 20 0 3 0 4457118 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
[pid=30755/tid=30815] ppid=30744 vsize=3676592 memory=11644 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 3 0 4457147 3764830208 661060 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 3676592 KiB
Current children cumulated memory: 2644240 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.14 4.05 5/268 33431
/proc/meminfo: memFree=123464980/131524600 swapFree=131071996/131071996
[pid=30755] ppid=30744 vsize=2175276 memory=1896528 CPUtime=3589.13 cores=5,7
/proc/30755/stat : 30755 (fscip) R 30744 30755 30686 0 -1 4194304 3104003 0 0 0 358582 331 0 0 20 0 2 0 4456826 2227482624 474132 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
/proc/30755/statm: 543819 474132 3302 3035 0 535723 0
[pid=30755/tid=30815] ppid=30744 vsize=2175276 memory=12760 CPUtime=0.03 cores=5,7
/proc/30755/task/30815/stat : 30815 (fscip) S 30744 30755 30686 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 2 0 4457147 2227482624 474132 134679101440 4194304 16623229 140728897642848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 48545792 140728897651734 140728897651850 140728897651850 140728897658864 0
Current children cumulated CPU time: 3589.13 s
Current children cumulated vsize: 2175276 KiB
Current children cumulated memory: 1896528 KiB
Child status: 0
Real time (s): 3598.44
CPU time (s): 3589.19
CPU user time (s): 3585.86
CPU system time (s): 3.33021
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 3676592
Max. memory (cumulated for all children) (KiB): 2644240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.86
system time used= 3.33021
maximum resident set size= 2646284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3104198
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= 7887
involuntary context switches= 2355
# summary of solver processes directly reported to runsolver:
# pid: 30755
# total CPU time (s): 3589.19
# total CPU user time (s): 3585.86
# total CPU system time (s): 3.33021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16971 second user time and 16.4939 second system time
The end
Begin job on nodeC018 at 2024-07-31 00:29:54
IDJOB=4464051
IDBENCH=146702
IDSOLVER=3092
FILE ID=nodeC018/4464051-1722378594
RUNJOBID= nodeC018-1722378594-30699
SLURM_JOB_ID= 8249831
Free space on /tmp= 890048 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-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-4464051-1722378594/watcher-4464051-1722378594 -o /tmp/evaluation-result-4464051-1722378594/solver-4464051-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30699 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464051-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13efe7890d7fc5aab9247ea9860b6d53
RANDOM SEED=1497379858
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3702.705
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3702.695
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.659
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3799.960
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3649.411
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3629.374
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3733.294
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3738.597
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128341180 kB
MemAvailable: 129838584 kB
Buffers: 92868 kB
Cached: 2225104 kB
SwapCached: 0 kB
Active: 263088 kB
Inactive: 2415080 kB
Active(anon): 1428 kB
Inactive(anon): 380428 kB
Active(file): 261660 kB
Inactive(file): 2034652 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 125396 kB
Writeback: 0 kB
AnonPages: 359880 kB
Mapped: 87592 kB
Shmem: 21336 kB
KReclaimable: 81476 kB
Slab: 165908 kB
SReclaimable: 81476 kB
SUnreclaim: 84432 kB
KernelStack: 3952 kB
PageTables: 9512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 749296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8480 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889940 MiB
End job on nodeC018 at 2024-07-31 01:29:53