0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.22/0.25 c Default LC presolving (default).
0.22/0.25 c ** Before presolving: virtualMemUsedAtLc = 201896203, getVmSize() = 139005952, SCIPgetMemUsed() = 99658228, SCIPgetMemTotal() = 109922876, SCIPgetMemExternEstim() = 91973327
0.22/0.25 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
2.18/2.28 c ** Estimated virtualMemUsedAtSolver = 327715541, getVmSize() = 438861824, SCIPgetMemUsed() = 242821777, SCIPgetMemTotal() = 399599985, SCIPgetMemExternEstim() = 91973327
2.18/2.28 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.18/2.28 c Original Problem :
2.18/2.28 c Problem name : instance-4434718-1721056067
2.18/2.28 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
2.18/2.28 c Constraints : 94289
2.18/2.28 c Objective sense : minimize
2.18/2.28 c Presolved Problem :
2.18/2.28 c Variables : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
2.18/2.28 c Constraints : 94289
2.18/2.28 c Constraints : Number
2.18/2.28 c setppc : 94289
2.18/2.28 c ** Instance transfer method used: 0
2.39/2.41 c ** ParaScipInstance copy does not increase the number of variables. **
2.58/2.64 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.58/2.64 c Nodes Active
2.58/2.64 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.98/5.10 c * 5 0 1 1 -33.0000 - -
4.98/5.10 c 5 0 1 1 -33.0000 - -
5.47/5.53 c * 6 0 1 1 -35.0000 - -
40.09/40.23 c 40 2 1 1 -35.0000 -53.0000 51.43%
46.67/46.87 c 47 12 11 1 -35.0000 -53.0000 51.43%
53.15/53.32 c 53 18 17 1 -35.0000 -53.0000 51.43%
59.53/59.79 c 60 31 30 1 -35.0000 -53.0000 51.43%
68.71/68.96 c 69 39 38 1 -35.0000 -53.0000 51.43%
75.29/75.57 c 76 54 53 1 -35.0000 -53.0000 51.43%
81.68/81.97 c 82 59 58 1 -35.0000 -53.0000 51.43%
87.15/87.42 c 87 72 71 1 -35.0000 -53.0000 51.43%
87.35/87.67 c * 88 72 71 1 -39.0000 -53.0000 35.90%
87.35/87.69 c * 88 72 71 1 -42.0000 -53.0000 26.19%
94.74/95.03 c 95 87 86 1 -42.0000 -53.0000 26.19%
101.10/101.45 c 101 92 91 1 -42.0000 -53.0000 26.19%
106.88/107.28 c 107 100 99 1 -42.0000 -53.0000 26.19%
112.16/112.52 c 113 110 109 1 -42.0000 -53.0000 26.19%
117.23/117.60 c 118 116 115 1 -42.0000 -53.0000 26.19%
122.61/123.04 c 123 126 125 1 -42.0000 -53.0000 26.19%
127.69/128.14 c 128 137 136 1 -42.0000 -53.0000 26.19%
133.34/133.84 c 134 161 152 1 -42.0000 -53.0000 26.19%
138.63/139.14 c 139 216 201 1 -42.0000 -53.0000 26.19%
144.19/144.75 c 145 273 242 1 -42.0000 -53.0000 26.19%
149.86/150.48 c 150 314 269 1 -42.0000 -53.0000 26.19%
155.46/156.09 c 156 348 299 1 -42.0000 -53.0000 26.19%
161.03/161.64 c 162 391 332 1 -42.0000 -53.0000 26.19%
161.93/162.55 c * 163 391 332 1 -43.0000 -53.0000 23.26%
166.42/167.09 c 167 487 364 1 -43.0000 -53.0000 23.26%
171.51/172.16 c * 172 604 431 1 -44.0000 -53.0000 20.45%
171.51/172.16 c 172 604 431 1 -44.0000 -53.0000 20.45%
177.77/178.40 c 178 764 454 1 -44.0000 -53.0000 20.45%
184.85/185.58 c 186 782 472 1 -44.0000 -53.0000 20.45%
189.93/190.62 c 191 866 546 1 -44.0000 -53.0000 20.45%
195.51/196.21 c 196 919 599 1 -44.0000 -53.0000 20.45%
201.90/202.69 c 203 944 624 1 -44.0000 -53.0000 20.45%
207.18/207.90 c 208 1031 711 1 -44.0000 -53.0000 20.45%
213.66/214.48 c 214 1048 728 1 -44.0000 -53.0000 20.45%
217.26/218.02 c * 218 1080 760 1 -46.0000 -53.0000 15.22%
218.94/219.79 c 220 1090 665 1 -46.0000 -53.0000 15.22%
226.34/227.13 c 227 1125 700 1 -46.0000 -53.0000 15.22%
232.22/233.05 c 233 1188 763 1 -46.0000 -53.0000 15.22%
237.21/238.07 c 238 1212 787 1 -46.0000 -53.0000 15.22%
245.68/246.53 c 247 1282 857 1 -46.0000 -53.0000 15.22%
251.46/252.36 c 252 1317 890 1 -46.0000 -53.0000 15.22%
256.84/257.77 c 258 1364 935 1 -46.0000 -53.0000 15.22%
262.33/263.29 c 263 1436 1005 1 -46.0000 -53.0000 15.22%
267.81/268.70 c 269 1508 1077 1 -46.0000 -53.0000 15.22%
273.39/274.37 c 274 1540 1109 1 -46.0000 -53.0000 15.22%
279.20/280.15 c 280 1582 1149 1 -46.0000 -53.0000 15.22%
284.76/285.72 c 286 1638 1201 1 -46.0000 -53.0000 15.22%
290.17/291.19 c 291 1659 1222 1 -46.0000 -53.0000 15.22%
295.63/296.63 c 297 1723 1286 1 -46.0000 -53.0000 15.22%
301.22/302.26 c 302 1749 1312 1 -46.0000 -53.0000 15.22%
308.40/309.42 c 309 1817 1378 1 -46.0000 -53.0000 15.22%
314.69/315.71 c 316 1833 1394 1 -46.0000 -53.0000 15.22%
320.17/321.21 c 321 1871 1430 1 -46.0000 -53.0000 15.22%
328.15/329.24 c 329 1905 1462 1 -46.0000 -53.0000 15.22%
333.74/334.86 c 335 1961 1518 1 -46.0000 -53.0000 15.22%
339.72/340.84 c 341 2000 1557 1 -46.0000 -53.0000 15.22%
345.92/347.02 c 347 2031 1588 1 -46.0000 -53.0000 15.22%
351.69/352.85 c 353 2120 1673 1 -46.0000 -53.0000 15.22%
358.37/359.53 c 360 2132 1685 1 -46.0000 -53.0000 15.22%
363.66/364.84 c 365 2182 1733 1 -46.0000 -53.0000 15.22%
369.24/370.45 c 370 2260 1811 1 -46.0000 -53.0000 15.22%
374.62/375.84 c 376 2316 1867 1 -46.0000 -53.0000 15.22%
380.10/381.36 c 381 2374 1925 1 -46.0000 -53.0000 15.22%
387.48/388.77 c 389 2395 1946 1 -46.0000 -53.0000 15.22%
393.06/394.37 c 394 2418 1969 1 -46.0000 -53.0000 15.22%
399.86/401.13 c 401 2482 0 1 -46.0000 -53.0000 15.22%
424.47/425.80 c 426 2482 0 1 -46.0000 -53.0000 15.22%
431.14/432.55 c 433 2493 11 1 -46.0000 -53.0000 15.22%
436.74/438.13 c 438 2534 52 1 -46.0000 -53.0000 15.22%
441.90/443.36 c 443 2543 61 1 -46.0000 -53.0000 15.22%
447.37/448.82 c 449 2569 87 1 -46.0000 -53.0000 15.22%
452.76/454.25 c 454 2605 123 1 -46.0000 -53.0000 15.22%
462.23/463.73 c 464 2645 163 1 -46.0000 -53.0000 15.22%
471.00/472.55 c 473 2652 170 1 -46.0000 -53.0000 15.22%
476.38/477.90 c 478 2661 179 1 -46.0000 -53.0000 15.22%
487.45/489.08 c 489 2681 199 1 -46.0000 -53.0000 15.22%
495.02/496.68 c 497 2695 213 1 -46.0000 -53.0000 15.22%
503.40/505.04 c 505 2713 231 1 -46.0000 -53.0000 15.22%
512.66/514.38 c 514 2755 271 1 -46.0000 -53.0000 15.22%
519.04/520.78 c 521 2769 285 1 -46.0000 -53.0000 15.22%
524.12/525.86 c 526 2795 311 1 -46.0000 -53.0000 15.22%
529.60/531.31 c 531 2812 328 1 -46.0000 -53.0000 15.22%
538.08/539.87 c 540 2859 375 1 -46.0000 -53.0000 15.22%
546.45/548.26 c 548 2868 384 1 -46.0000 -53.0000 15.22%
551.83/553.65 c 554 2870 386 1 -46.0000 -53.0000 15.22%
557.42/559.29 c 559 2876 390 1 -46.0000 -53.0000 15.22%
564.40/566.29 c 566 2887 401 1 -46.0000 -53.0000 15.22%
569.88/571.77 c 572 2892 406 1 -46.0000 -53.0000 15.22%
574.96/576.85 c 577 2900 414 1 -46.0000 -53.0000 15.22%
585.15/587.10 c 587 2912 426 1 -46.0000 -53.0000 15.22%
595.90/597.87 c 598 2917 431 1 -46.0000 -53.0000 15.22%
604.77/606.76 c 607 2926 440 1 -46.0000 -53.0000 15.22%
617.15/619.18 c 619 2937 451 1 -46.0000 -53.0000 15.22%
626.61/628.63 c 629 2947 459 1 -46.0000 -53.0000 15.22%
633.29/635.30 c 635 2957 469 1 -46.0000 -53.0000 15.22%
639.27/641.39 c 641 3021 533 1 -46.0000 -53.0000 15.22%
646.05/648.14 c 648 3072 580 1 -46.0000 -53.0000 15.22%
653.32/655.46 c 655 3101 609 1 -46.0000 -53.0000 15.22%
658.40/660.59 c 661 3134 640 1 -46.0000 -53.0000 15.22%
668.87/671.01 c 671 3148 654 1 -46.0000 -53.0000 15.22%
675.64/677.88 c 678 3177 683 1 -46.0000 -53.0000 15.22%
685.52/687.70 c 688 3196 702 1 -46.0000 -53.0000 15.22%
692.59/694.82 c 695 3206 708 1 -46.0000 -53.0000 15.22%
699.37/701.63 c 702 3216 718 1 -46.0000 -53.0000 15.22%
705.35/707.64 c 708 3279 781 1 -46.0000 -53.0000 15.22%
711.02/713.30 c 713 3320 822 1 -46.0000 -53.0000 15.22%
719.60/721.91 c 722 3359 861 1 -46.0000 -53.0000 15.22%
724.57/726.97 c 727 3378 880 1 -46.0000 -53.0000 15.22%
730.36/732.71 c 733 3388 890 1 -46.0000 -53.0000 15.22%
737.83/740.23 c 740 3402 904 1 -46.0000 -53.0000 15.22%
743.41/745.88 c 746 3430 932 1 -46.0000 -53.0000 15.22%
749.10/751.58 c 752 3438 940 1 -46.0000 -53.0000 15.22%
754.69/757.16 c 757 3464 960 1 -46.0000 -53.0000 15.22%
762.75/765.25 c 765 3477 969 1 -46.0000 -53.0000 15.22%
770.64/773.17 c 773 3484 976 1 -46.0000 -53.0000 15.22%
783.17/785.77 c 786 3530 1020 1 -46.0000 -53.0000 15.22%
788.96/791.51 c 792 3551 1041 1 -46.0000 -53.0000 15.22%
801.81/804.46 c 804 3580 1070 1 -46.0000 -53.0000 15.22%
810.40/813.10 c 813 3584 1074 1 -46.0000 -53.0000 15.22%
819.66/822.39 c 822 3637 1125 1 -46.0000 -53.0000 15.22%
830.22/832.94 c 833 3658 1146 1 -46.0000 -53.0000 15.22%
835.32/838.04 c 838 3680 1166 1 -46.0000 -53.0000 15.22%
843.29/846.01 c 846 3716 1200 1 -46.0000 -53.0000 15.22%
853.04/855.83 c 856 3769 1253 1 -46.0000 -53.0000 15.22%
858.13/860.97 c 861 3807 1289 1 -46.0000 -53.0000 15.22%
863.61/866.40 c 866 3820 1300 1 -46.0000 -53.0000 15.22%
868.89/871.71 c 872 3832 1310 1 -46.0000 -53.0000 15.22%
877.86/880.72 c 881 3889 1365 1 -46.0000 -53.0000 15.22%
885.54/888.41 c 888 3942 1416 1 -46.0000 -53.0000 15.22%
899.88/902.82 c 903 3957 1431 1 -46.0000 -53.0000 15.22%
907.47/910.42 c 910 3960 1434 1 -46.0000 -53.0000 15.22%
918.04/921.09 c 921 3971 1445 1 -46.0000 -53.0000 15.22%
924.61/927.64 c 928 3980 1454 1 -46.0000 -53.0000 15.22%
930.59/933.65 c 934 3994 1466 1 -46.0000 -53.0000 15.22%
936.17/939.22 c 939 4006 1478 1 -46.0000 -53.0000 15.22%
946.64/949.80 c 950 4027 1499 1 -46.0000 -53.0000 15.22%
955.92/959.04 c 959 4034 1502 1 -46.0000 -53.0000 15.22%
962.29/965.44 c 965 4053 1517 1 -46.0000 -53.0000 15.22%
968.06/971.21 c 971 4071 1535 1 -46.0000 -53.0000 15.22%
973.86/977.11 c 977 4081 1545 1 -46.0000 -53.0000 15.22%
983.83/987.06 c 987 4101 1565 1 -46.0000 -53.0000 15.22%
989.60/992.82 c 993 4129 1593 1 -46.0000 -53.0000 15.22%
1000.87/1004.12 c 1004 4176 1636 1 -46.0000 -53.0000 15.22%
1008.14/1011.41 c 1011 4189 1649 1 -46.0000 -53.0000 15.22%
1013.43/1016.71 c 1017 4210 1670 1 -46.0000 -53.0000 15.22%
1020.31/1023.63 c 1024 4232 1690 1 -46.0000 -53.0000 15.22%
1025.40/1028.79 c 1029 4260 1718 1 -46.0000 -53.0000 15.22%
1033.47/1036.83 c 1037 4305 1763 1 -46.0000 -53.0000 15.22%
1041.84/1045.23 c 1045 4316 1774 1 -46.0000 -53.0000 15.22%
1048.34/1051.78 c 1052 4329 1787 1 -46.0000 -53.0000 15.22%
1053.92/1057.30 c 1057 4390 1846 1 -46.0000 -53.0000 15.22%
1059.50/1062.96 c 1063 4419 1875 1 -46.0000 -53.0000 15.22%
1066.78/1070.29 c 1070 4449 1905 1 -46.0000 -53.0000 15.22%
1072.68/1076.12 c 1076 4468 1924 1 -46.0000 -53.0000 15.22%
1081.74/1085.25 c 1085 4484 1940 1 -46.0000 -53.0000 15.22%
1087.83/1091.35 c 1091 4492 1948 1 -46.0000 -53.0000 15.22%
1094.21/1097.77 c 1098 4517 1963 1 -46.0000 -53.0000 15.22%
1099.40/1102.97 c 1103 4534 1976 1 -46.0000 -53.0000 15.22%
1107.77/1111.31 c 1111 4578 2016 1 -46.0000 -53.0000 15.22%
1113.48/1117.10 c 1117 4605 2041 1 -46.0000 -53.0000 15.22%
1120.95/1124.53 c 1125 4639 2075 1 -46.0000 -53.0000 15.22%
1126.73/1130.39 c 1130 4652 2088 1 -46.0000 -53.0000 15.22%
1132.91/1136.52 c 1137 4663 2099 1 -46.0000 -53.0000 15.22%
1139.10/1142.71 c 1143 4680 2116 1 -46.0000 -53.0000 15.22%
1147.68/1151.30 c 1151 4711 2145 1 -46.0000 -53.0000 15.22%
1155.47/1159.13 c 1159 4735 2169 1 -46.0000 -53.0000 15.22%
1163.93/1167.61 c 1168 4744 2178 1 -46.0000 -53.0000 15.22%
1172.20/1175.90 c 1176 4784 2212 1 -46.0000 -53.0000 15.22%
1181.48/1185.23 c 1185 4812 2238 1 -46.0000 -53.0000 15.22%
1186.56/1190.33 c 1190 4871 2295 1 -46.0000 -53.0000 15.22%
1193.44/1197.29 c 1197 4935 2359 1 -46.0000 -53.0000 15.22%
1199.41/1203.24 c 1203 4948 2372 1 -46.0000 -53.0000 15.22%
1206.69/1210.57 c 1211 4960 2384 1 -46.0000 -53.0000 15.22%
1215.76/1219.63 c 1220 4971 2393 1 -46.0000 -53.0000 15.22%
1222.16/1226.09 c 1226 5038 2460 1 -46.0000 -53.0000 15.22%
1228.24/1232.13 c 1232 5058 2478 1 -46.0000 -53.0000 15.22%
1234.52/1238.40 c 1238 5093 2509 1 -46.0000 -53.0000 15.22%
1243.99/1247.90 c 1248 5112 2528 1 -46.0000 -53.0000 15.22%
1249.28/1253.20 c 1253 5138 2554 1 -46.0000 -53.0000 15.22%
1255.37/1259.33 c 1259 5146 2560 1 -46.0000 -53.0000 15.22%
1265.35/1269.35 c 1269 5167 2577 1 -46.0000 -53.0000 15.22%
1271.04/1275.09 c 1275 5187 2597 1 -46.0000 -53.0000 15.22%
1276.61/1280.68 c 1281 5198 2608 1 -46.0000 -53.0000 15.22%
1286.47/1290.51 c 1291 5206 2614 1 -46.0000 -53.0000 15.22%
1293.07/1297.16 c 1297 5245 2649 1 -46.0000 -53.0000 15.22%
1298.95/1303.07 c 1303 5252 2654 1 -46.0000 -53.0000 15.22%
1307.21/1311.39 c 1311 5283 2685 1 -46.0000 -53.0000 15.22%
1315.20/1319.37 c 1319 5306 2708 1 -46.0000 -53.0000 15.22%
1324.57/1328.75 c 1329 5329 2731 1 -46.0000 -53.0000 15.22%
1332.14/1336.34 c 1336 5338 2740 1 -46.0000 -53.0000 15.22%
1338.04/1342.28 c 1342 5349 2749 1 -46.0000 -53.0000 15.22%
1343.32/1347.54 c 1348 5377 2777 1 -46.0000 -53.0000 15.22%
1349.09/1353.36 c 1353 5419 2819 1 -46.0000 -53.0000 15.22%
1356.47/1360.71 c 1361 5474 2874 1 -46.0000 -53.0000 15.22%
1363.55/1367.84 c 1368 5488 2888 1 -46.0000 -53.0000 15.22%
1377.11/1381.46 c 1381 5525 2925 1 -46.0000 -53.0000 15.22%
1383.99/1388.39 c 1388 5528 2928 1 -46.0000 -53.0000 15.22%
1392.38/1396.74 c 1397 5551 2951 1 -46.0000 -53.0000 15.22%
1398.16/1402.55 c 1403 5561 2961 1 -46.0000 -53.0000 15.22%
1406.24/1410.68 c 1411 5588 2988 1 -46.0000 -53.0000 15.22%
1411.43/1415.87 c 1416 5598 2998 1 -46.0000 -53.0000 15.22%
1424.40/1428.81 c 1429 5625 3023 1 -46.0000 -53.0000 15.22%
1429.77/1434.27 c 1434 5677 3071 1 -46.0000 -53.0000 15.22%
1435.16/1439.67 c 1440 5710 3102 1 -46.0000 -53.0000 15.22%
1442.04/1446.51 c 1447 5719 3109 1 -46.0000 -53.0000 15.22%
1447.23/1451.73 c 1452 5745 3135 1 -46.0000 -53.0000 15.22%
1456.10/1460.64 c 1461 5782 3172 1 -46.0000 -53.0000 15.22%
1466.27/1470.82 c 1471 5791 3181 1 -46.0000 -53.0000 15.22%
1478.13/1482.77 c 1483 5844 3232 1 -46.0000 -53.0000 15.22%
1484.82/1489.44 c 1489 5880 3266 1 -46.0000 -53.0000 15.22%
1490.90/1495.51 c 1496 5887 3273 1 -46.0000 -53.0000 15.22%
1499.07/1503.78 c 1504 5897 3281 1 -46.0000 -53.0000 15.22%
1506.75/1511.48 c 1511 5906 3290 1 -46.0000 -53.0000 15.22%
1515.53/1520.21 c 1520 5916 3298 1 -46.0000 -53.0000 15.22%
1523.91/1528.69 c 1529 5927 3309 1 -46.0000 -53.0000 15.22%
1529.00/1533.76 c 1534 5946 3326 1 -46.0000 -53.0000 15.22%
1535.48/1540.27 c 1540 5956 3334 1 -46.0000 -53.0000 15.22%
1542.86/1547.68 c 1548 5972 3344 1 -46.0000 -53.0000 15.22%
1551.05/1555.85 c 1556 6001 3373 1 -46.0000 -53.0000 15.22%
1561.23/1566.06 c 1566 6011 3381 1 -46.0000 -53.0000 15.22%
1569.89/1574.70 c 1575 6016 3386 1 -46.0000 -53.0000 15.22%
1575.88/1580.73 c 1581 6028 3398 1 -46.0000 -53.0000 15.22%
1582.96/1587.84 c 1588 6069 3437 1 -46.0000 -53.0000 15.22%
1591.15/1596.09 c 1596 6085 3453 1 -46.0000 -53.0000 15.22%
1602.01/1606.93 c 1607 6095 3461 1 -46.0000 -53.0000 15.22%
1607.20/1612.19 c 1612 6118 3478 1 -46.0000 -53.0000 15.22%
1615.37/1620.32 c 1620 6151 3509 1 -46.0000 -53.0000 15.22%
1621.24/1626.27 c 1626 6236 3588 1 -46.0000 -53.0000 15.22%
1631.03/1636.01 c 1636 6250 3600 1 -46.0000 -53.0000 15.22%
1636.30/1641.35 c 1641 6274 3620 1 -46.0000 -53.0000 15.22%
1643.18/1648.24 c 1648 6279 3625 1 -46.0000 -53.0000 15.22%
1651.66/1656.76 c 1657 6301 3639 1 -46.0000 -53.0000 15.22%
1659.24/1664.30 c 1664 6342 3678 1 -46.0000 -53.0000 15.22%
1665.72/1670.81 c 1671 6370 3706 1 -46.0000 -53.0000 15.22%
1676.70/1681.86 c 1682 6384 3720 1 -46.0000 -53.0000 15.22%
1688.67/1693.84 c 1694 6409 3741 1 -46.0000 -53.0000 15.22%
1696.15/1701.30 c 1701 6435 3763 1 -46.0000 -53.0000 15.22%
1703.52/1708.79 c 1709 6468 3788 1 -46.0000 -53.0000 15.22%
1709.41/1714.62 c 1715 6507 3825 1 -46.0000 -53.0000 15.22%
1717.99/1723.30 c 1723 6520 3838 1 -46.0000 -53.0000 15.22%
1723.37/1728.68 c 1729 6524 3840 1 -46.0000 -53.0000 15.22%
1733.05/1738.33 c 1738 6551 3863 1 -46.0000 -53.0000 15.22%
1738.34/1743.66 c 1744 6581 3891 1 -46.0000 -53.0000 15.22%
1746.12/1751.46 c 1751 6596 3904 1 -46.0000 -53.0000 15.22%
1754.29/1759.61 c 1760 6599 3907 1 -46.0000 -53.0000 15.22%
1759.98/1765.31 c 1765 6645 3943 1 -46.0000 -53.0000 15.22%
1766.86/1772.28 c 1772 6694 3988 1 -46.0000 -53.0000 15.22%
1774.15/1779.56 c 1780 6716 4010 1 -46.0000 -53.0000 15.22%
1784.63/1790.02 c 1790 6732 4022 1 -46.0000 -53.0000 15.22%
1790.40/1795.85 c 1796 6790 4072 1 -46.0000 -53.0000 15.22%
1798.38/1803.87 c 1804 6829 4109 1 -46.0000 -53.0000 15.22%
1805.57/1811.09 c 1811 6847 4123 1 -46.0000 -53.0000 15.22%
1813.24/1818.73 c 1819 6868 4142 1 -46.0000 -53.0000 15.22%
1818.73/1824.27 c 1824 6888 4158 1 -46.0000 -53.0000 15.22%
1827.81/1833.36 c 1833 6917 4181 1 -46.0000 -53.0000 15.22%
1837.18/1842.71 c 1843 6923 4187 1 -46.0000 -53.0000 15.22%
1847.35/1852.94 c 1853 6968 4220 1 -46.0000 -53.0000 15.22%
1852.34/1857.95 c 1858 6988 4240 1 -46.0000 -53.0000 15.22%
1859.12/1864.74 c 1865 7013 4261 1 -46.0000 -53.0000 15.22%
1864.51/1870.12 c 1870 7028 4276 1 -46.0000 -53.0000 15.22%
1870.59/1876.24 c 1876 7079 4319 1 -46.0000 -53.0000 15.22%
1880.37/1886.09 c 1886 7103 4343 1 -46.0000 -53.0000 15.22%
1886.24/1891.92 c 1892 7115 4353 1 -46.0000 -53.0000 15.22%
1891.34/1897.03 c 1897 7131 4367 1 -46.0000 -53.0000 15.22%
1898.32/1904.09 c 1904 7157 4389 1 -46.0000 -53.0000 15.22%
1904.09/1909.80 c 1910 7189 4417 1 -46.0000 -53.0000 15.22%
1909.49/1915.20 c 1915 7214 4440 1 -46.0000 -53.0000 15.22%
1915.07/1920.85 c 1921 7217 4443 1 -46.0000 -53.0000 15.22%
1924.04/1929.85 c 1930 7240 4456 1 -46.0000 -53.0000 15.22%
1929.82/1935.68 c 1936 7267 4483 1 -46.0000 -53.0000 15.22%
1935.22/1941.05 c 1941 7372 4586 1 -46.0000 -53.0000 15.22%
1943.08/1948.97 c 1949 7414 4628 1 -46.0000 -53.0000 15.22%
1948.37/1954.29 c 1954 7431 4645 1 -46.0000 -53.0000 15.22%
1955.76/1961.65 c 1962 7454 4666 1 -46.0000 -53.0000 15.22%
1961.04/1966.96 c 1967 7481 4689 1 -46.0000 -53.0000 15.22%
1970.52/1976.41 c 1976 7490 4698 1 -46.0000 -53.0000 15.22%
1980.59/1986.59 c 1987 7511 4717 1 -46.0000 -53.0000 15.22%
1987.38/1993.34 c 1993 7512 4718 1 -46.0000 -53.0000 15.22%
1993.97/1999.94 c 2000 7529 4733 1 -46.0000 -53.0000 15.22%
2000.45/2006.43 c 2006 7577 4773 1 -46.0000 -53.0000 15.22%
2005.84/2011.86 c 2012 7590 4780 1 -46.0000 -53.0000 15.22%
2013.91/2019.99 c 2020 7609 4795 1 -46.0000 -53.0000 15.22%
2024.00/2030.02 c 2030 7648 4828 1 -46.0000 -53.0000 15.22%
2032.08/2038.11 c 2038 7658 4836 1 -46.0000 -53.0000 15.22%
2039.45/2045.54 c 2046 7697 4869 1 -46.0000 -53.0000 15.22%
2044.84/2050.91 c 2051 7728 4898 1 -46.0000 -53.0000 15.22%
2050.22/2056.37 c 2056 7794 4962 1 -46.0000 -53.0000 15.22%
2056.02/2062.12 c 2062 7851 5017 1 -46.0000 -53.0000 15.22%
2063.69/2069.88 c 2070 7891 5051 1 -46.0000 -53.0000 15.22%
2070.88/2077.07 c 2077 7916 5072 1 -46.0000 -53.0000 15.22%
2076.16/2082.36 c 2082 7961 5109 1 -46.0000 -53.0000 15.22%
2082.04/2088.26 c 2088 8000 5146 1 -46.0000 -53.0000 15.22%
2090.52/2096.78 c 2097 8017 5157 1 -46.0000 -53.0000 15.22%
2096.31/2102.59 c 2103 8038 5176 1 -46.0000 -53.0000 15.22%
2101.49/2107.79 c 2108 8114 5250 1 -46.0000 -53.0000 15.22%
2107.28/2113.51 c 2114 8207 5317 1 -46.0000 -53.0000 15.22%
2112.27/2118.58 c 2119 8224 5330 1 -46.0000 -53.0000 15.22%
2120.94/2127.25 c 2127 8230 5332 1 -46.0000 -53.0000 15.22%
2131.22/2137.55 c 2138 8237 5337 1 -46.0000 -53.0000 15.22%
2143.70/2150.04 c 2150 8253 5345 1 -46.0000 -53.0000 15.22%
2149.18/2155.51 c 2156 8266 5354 1 -46.0000 -53.0000 15.22%
2157.16/2163.51 c 2164 8351 5413 1 -46.0000 -53.0000 15.22%
2164.14/2170.51 c 2171 8368 5426 1 -46.0000 -53.0000 15.22%
2169.13/2175.57 c 2176 8373 5427 1 -46.0000 -53.0000 15.22%
2177.41/2183.87 c 2184 8387 5435 1 -46.0000 -53.0000 15.22%
2187.38/2193.85 c 2194 8409 5451 1 -46.0000 -53.0000 15.22%
2192.97/2199.48 c 2199 8438 5474 1 -46.0000 -53.0000 15.22%
2199.76/2206.24 c 2206 8471 5505 1 -46.0000 -53.0000 15.22%
2207.44/2213.93 c 2214 8501 5533 1 -46.0000 -53.0000 15.22%
2212.93/2219.42 c 2219 8523 5549 1 -46.0000 -53.0000 15.22%
2219.63/2226.13 c 2226 8524 5550 1 -46.0000 -53.0000 15.22%
2226.69/2233.25 c 2233 8563 5583 1 -46.0000 -53.0000 15.22%
2233.07/2239.68 c 2240 8610 5626 1 -46.0000 -53.0000 15.22%
2238.76/2245.39 c 2245 8639 5651 1 -46.0000 -53.0000 15.22%
2247.63/2254.25 c 2254 8642 5654 1 -46.0000 -53.0000 15.22%
2258.51/2265.18 c 2265 8655 5667 1 -46.0000 -53.0000 15.22%
2265.28/2271.97 c 2272 8672 5684 1 -46.0000 -53.0000 15.22%
2273.75/2280.46 c 2280 8701 5707 1 -46.0000 -53.0000 15.22%
2282.63/2289.32 c 2289 8717 5721 1 -46.0000 -53.0000 15.22%
2290.51/2297.28 c 2297 8747 5745 1 -46.0000 -53.0000 15.22%
2299.48/2306.21 c 2306 8753 5751 1 -46.0000 -53.0000 15.22%
2304.87/2311.61 c 2312 8792 5778 1 -46.0000 -53.0000 15.22%
2310.36/2317.15 c 2317 8821 5803 1 -46.0000 -53.0000 15.22%
2316.73/2323.58 c 2324 8846 5814 1 -46.0000 -53.0000 15.22%
2323.71/2330.58 c 2331 8862 5828 1 -46.0000 -53.0000 15.22%
2328.90/2335.74 c 2336 8871 5835 1 -46.0000 -53.0000 15.22%
2335.08/2341.92 c 2342 8908 5870 1 -46.0000 -53.0000 15.22%
2343.17/2350.04 c 2350 8917 5877 1 -46.0000 -53.0000 15.22%
2351.43/2358.35 c 2358 8969 5915 1 -46.0000 -53.0000 15.22%
2358.01/2364.94 c 2365 8996 5938 1 -46.0000 -53.0000 15.22%
2363.11/2370.11 c 2370 9002 5940 1 -46.0000 -53.0000 15.22%
2368.58/2375.56 c 2376 9061 5989 1 -46.0000 -53.0000 15.22%
2376.45/2383.47 c 2383 9067 5993 1 -46.0000 -53.0000 15.22%
2382.43/2389.47 c 2389 9105 6021 1 -46.0000 -53.0000 15.22%
2390.22/2397.29 c 2397 9125 6039 1 -46.0000 -53.0000 15.22%
2398.00/2405.08 c 2405 9169 6081 1 -46.0000 -53.0000 15.22%
2403.27/2410.35 c 2410 9194 6100 1 -46.0000 -53.0000 15.22%
2408.75/2415.86 c 2416 9212 6116 1 -46.0000 -53.0000 15.22%
2415.24/2422.38 c 2422 9227 6127 1 -46.0000 -53.0000 15.22%
2422.22/2429.34 c 2429 9273 6167 1 -46.0000 -53.0000 15.22%
2429.30/2436.43 c 2436 9293 6187 1 -46.0000 -53.0000 15.22%
2434.28/2441.49 c 2441 9322 6208 1 -46.0000 -53.0000 15.22%
2440.88/2448.11 c 2448 9347 6227 1 -46.0000 -53.0000 15.22%
2446.55/2453.78 c 2454 9358 6238 1 -46.0000 -53.0000 15.22%
2453.83/2461.10 c 2461 9369 6249 1 -46.0000 -53.0000 15.22%
2460.70/2467.99 c 2468 9399 6275 1 -46.0000 -53.0000 15.22%
2467.98/2475.29 c 2475 9403 6277 1 -46.0000 -53.0000 15.22%
2474.46/2481.75 c 2482 9414 6288 1 -46.0000 -53.0000 15.22%
2483.43/2490.79 c 2491 9446 6314 1 -46.0000 -53.0000 15.22%
2490.42/2497.79 c 2498 9540 6396 1 -46.0000 -53.0000 15.22%
2496.69/2504.10 c 2504 9610 6462 1 -46.0000 -53.0000 15.22%
2504.27/2511.64 c 2512 9676 6526 1 -46.0000 -53.0000 15.22%
2509.46/2516.84 c 2517 9686 6532 1 -46.0000 -53.0000 15.22%
2515.66/2523.06 c 2523 9706 6550 1 -46.0000 -53.0000 15.22%
2520.74/2528.12 c 2528 9758 6594 1 -46.0000 -53.0000 15.22%
2526.72/2534.17 c 2534 9788 6618 1 -46.0000 -53.0000 15.22%
2532.90/2540.30 c 2540 9809 6633 1 -46.0000 -53.0000 15.22%
2538.59/2546.10 c 2546 9810 6634 1 -46.0000 -53.0000 15.22%
2545.97/2553.49 c 2554 9848 6670 1 -46.0000 -53.0000 15.22%
2552.45/2559.98 c 2560 9851 6673 1 -46.0000 -53.0000 15.22%
2562.83/2570.32 c 2570 9887 6697 1 -46.0000 -53.0000 15.22%
2570.62/2578.18 c 2578 9912 6720 1 -46.0000 -53.0000 15.22%
2577.69/2585.26 c 2585 9949 6757 1 -46.0000 -53.0000 15.22%
2585.77/2593.32 c 2593 9973 6781 1 -46.0000 -53.0000 15.22%
2597.35/2604.91 c 2605 9994 6800 1 -46.0000 -53.0000 15.22%
2604.44/2612.06 c 2612 10002 6808 1 -46.0000 -53.0000 15.22%
2609.61/2617.26 c 2617 10117 6915 1 -46.0000 -53.0000 15.22%
2614.59/2622.29 c 2622 10156 6946 1 -46.0000 -53.0000 15.22%
2619.69/2627.30 c 2627 10180 6968 1 -46.0000 -53.0000 15.22%
2627.57/2635.22 c 2635 10200 6984 1 -46.0000 -53.0000 15.22%
2635.65/2643.35 c 2643 10246 7024 1 -46.0000 -53.0000 15.22%
2640.93/2648.66 c 2649 10258 7036 1 -46.0000 -53.0000 15.22%
2647.43/2655.15 c 2655 10272 7048 1 -46.0000 -53.0000 15.22%
2659.89/2667.60 c 2668 10323 7097 1 -46.0000 -53.0000 15.22%
2667.38/2675.14 c 2675 10332 7102 1 -46.0000 -53.0000 15.22%
2672.86/2680.69 c 2681 10339 7109 1 -46.0000 -53.0000 15.22%
2679.64/2687.47 c 2687 10366 7126 1 -46.0000 -53.0000 15.22%
2686.12/2693.92 c 2694 10367 7127 1 -46.0000 -53.0000 15.22%
2692.11/2699.98 c 2700 10398 7150 1 -46.0000 -53.0000 15.22%
2697.90/2705.70 c 2706 10425 7173 1 -46.0000 -53.0000 15.22%
2705.19/2713.05 c 2713 10430 7176 1 -46.0000 -53.0000 15.22%
2717.54/2725.49 c 2726 10476 7220 1 -46.0000 -53.0000 15.22%
2722.72/2730.62 c 2731 10486 7226 1 -46.0000 -53.0000 15.22%
2728.51/2736.46 c 2736 10503 7243 1 -46.0000 -53.0000 15.22%
2734.59/2742.51 c 2743 10525 7253 1 -46.0000 -53.0000 15.22%
2739.88/2747.81 c 2748 10542 7262 1 -46.0000 -53.0000 15.22%
2749.95/2757.93 c 2758 10590 7300 1 -46.0000 -53.0000 15.22%
2755.23/2763.25 c 2763 10614 7318 1 -46.0000 -53.0000 15.22%
2761.71/2769.71 c 2770 10648 7344 1 -46.0000 -53.0000 15.22%
2771.28/2779.37 c 2779 10675 7371 1 -46.0000 -53.0000 15.22%
2779.76/2787.89 c 2788 10712 7404 1 -46.0000 -53.0000 15.22%
2785.95/2794.03 c 2794 10739 7423 1 -46.0000 -53.0000 15.22%
2793.42/2801.51 c 2802 10744 7426 1 -46.0000 -53.0000 15.22%
2799.31/2807.42 c 2807 10766 7448 1 -46.0000 -53.0000 15.22%
2804.69/2812.85 c 2813 10829 7501 1 -46.0000 -53.0000 15.22%
2809.88/2818.04 c 2818 10950 7604 1 -46.0000 -53.0000 15.22%
2815.36/2823.52 c 2824 11034 7670 1 -46.0000 -53.0000 15.22%
2823.33/2831.57 c 2832 11136 7756 1 -46.0000 -53.0000 15.22%
2829.41/2837.61 c 2838 11168 7784 1 -46.0000 -53.0000 15.22%
2834.81/2843.02 c 2843 11252 7868 1 -46.0000 -53.0000 15.22%
2841.68/2849.93 c 2850 11295 7907 1 -46.0000 -53.0000 15.22%
2847.25/2855.59 c 2856 11394 8004 1 -46.0000 -53.0000 15.22%
2852.64/2860.94 c 2861 11510 8112 1 -46.0000 -53.0000 15.22%
2863.61/2871.94 c 2872 11582 8182 1 -46.0000 -53.0000 15.22%
2871.58/2879.98 c 2880 11611 8203 1 -46.0000 -53.0000 15.22%
2877.56/2885.98 c 2886 11694 8262 1 -46.0000 -53.0000 15.22%
2882.76/2891.14 c 2891 11746 8314 1 -46.0000 -53.0000 15.22%
2890.13/2898.53 c 2899 11764 8330 1 -46.0000 -53.0000 15.22%
2896.02/2904.41 c 2904 11815 8375 1 -46.0000 -53.0000 15.22%
2903.50/2912.01 c 2912 11844 8402 1 -46.0000 -53.0000 15.22%
2909.08/2917.55 c 2918 11896 8448 1 -46.0000 -53.0000 15.22%
2915.58/2924.06 c 2924 11959 8503 1 -46.0000 -53.0000 15.22%
2924.57/2933.10 c 2933 11991 8529 1 -46.0000 -53.0000 15.22%
2930.74/2939.24 c 2939 12020 8554 1 -46.0000 -53.0000 15.22%
2939.12/2947.67 c 2948 12057 8585 1 -46.0000 -53.0000 15.22%
2945.00/2953.56 c 2954 12095 8615 1 -46.0000 -53.0000 15.22%
2950.99/2959.58 c 2960 12157 8673 1 -46.0000 -53.0000 15.22%
2957.27/2965.88 c 2966 12188 8704 1 -46.0000 -53.0000 15.22%
2965.65/2974.26 c 2974 12220 8736 1 -46.0000 -53.0000 15.22%
2971.34/2979.99 c 2980 12262 8770 1 -46.0000 -53.0000 15.22%
2978.62/2987.29 c 2987 12290 8798 1 -46.0000 -53.0000 15.22%
2989.51/2998.18 c 2998 12318 8824 1 -46.0000 -53.0000 15.22%
2994.58/3003.27 c 3003 12373 8863 1 -46.0000 -53.0000 15.22%
3001.26/3009.96 c 3010 12378 8868 1 -46.0000 -53.0000 15.22%
3008.65/3017.31 c 3017 12437 8923 1 -46.0000 -53.0000 15.22%
3013.73/3022.47 c 3022 12529 9003 1 -46.0000 -53.0000 15.22%
3018.72/3027.47 c 3027 12602 9056 1 -46.0000 -53.0000 15.22%
3025.61/3034.33 c 3034 12630 9080 1 -46.0000 -53.0000 15.22%
3031.09/3039.81 c 3040 12706 9150 1 -46.0000 -53.0000 15.22%
3036.39/3045.18 c 3045 12791 9233 1 -46.0000 -53.0000 15.22%
3042.46/3051.29 c 3051 12809 9249 1 -46.0000 -53.0000 15.22%
3051.44/3060.26 c 3060 12819 9259 1 -46.0000 -53.0000 15.22%
3059.72/3068.55 c 3069 12836 9276 1 -46.0000 -53.0000 15.22%
3067.50/3076.34 c 3076 12863 9299 1 -46.0000 -53.0000 15.22%
3074.39/3083.27 c 3083 12869 9303 1 -46.0000 -53.0000 15.22%
3081.87/3090.78 c 3091 12874 9308 1 -46.0000 -53.0000 15.22%
3088.45/3097.32 c 3097 12890 9322 1 -46.0000 -53.0000 15.22%
3095.44/3104.34 c 3104 12911 9341 1 -46.0000 -53.0000 15.22%
3101.72/3110.68 c 3111 12927 9357 1 -46.0000 -53.0000 15.22%
3111.00/3119.91 c 3120 12941 9369 1 -46.0000 -53.0000 15.22%
3119.38/3128.38 c 3128 12946 9372 1 -46.0000 -53.0000 15.22%
3129.66/3138.67 c 3139 12956 9382 1 -46.0000 -53.0000 15.22%
3135.07/3144.06 c 3144 13011 9433 1 -46.0000 -53.0000 15.22%
3144.43/3153.49 c 3153 13016 9438 1 -46.0000 -53.0000 15.22%
3150.22/3159.27 c 3159 13032 9454 1 -46.0000 -53.0000 15.22%
3156.12/3165.14 c 3165 13061 9481 1 -46.0000 -53.0000 15.22%
3165.58/3174.65 c 3175 13083 9499 1 -46.0000 -53.0000 15.22%
3172.16/3181.24 c 3181 13093 9505 1 -46.0000 -53.0000 15.22%
3177.34/3186.44 c 3186 13108 9518 1 -46.0000 -53.0000 15.22%
3186.12/3195.25 c 3195 13191 9597 1 -46.0000 -53.0000 15.22%
3195.21/3204.33 c 3204 13196 9602 1 -46.0000 -53.0000 15.22%
3200.30/3209.46 c 3209 13304 9690 1 -46.0000 -53.0000 15.22%
3207.07/3216.25 c 3216 13449 9787 1 -46.0000 -53.0000 15.22%
3215.96/3225.16 c 3225 13503 9825 1 -46.0000 -53.0000 15.22%
3223.53/3232.71 c 3233 13516 9836 1 -46.0000 -53.0000 15.22%
3231.61/3240.82 c 3241 13528 9846 1 -46.0000 -53.0000 15.22%
3237.20/3246.42 c 3246 13604 9906 1 -46.0000 -53.0000 15.22%
3242.69/3251.94 c 3252 13704 9984 1 -46.0000 -53.0000 15.22%
3248.17/3257.41 c 3257 13720 9996 1 -46.0000 -53.0000 15.22%
3253.16/3262.44 c 3262 13782 10036 1 -46.0000 -53.0000 15.22%
3260.24/3269.51 c 3270 13784 10038 1 -46.0000 -53.0000 15.22%
3266.83/3276.18 c 3276 13859 10093 1 -46.0000 -53.0000 15.22%
3276.80/3286.17 c 3286 13874 10104 1 -46.0000 -53.0000 15.22%
3282.27/3291.63 c 3292 13889 10115 1 -46.0000 -53.0000 15.22%
3288.85/3298.28 c 3298 13902 10124 1 -46.0000 -53.0000 15.22%
3294.43/3303.88 c 3304 13966 10176 1 -46.0000 -53.0000 15.22%
3299.63/3309.07 c 3309 13990 10190 1 -46.0000 -53.0000 15.22%
3309.48/3318.98 c 3319 14001 10197 1 -46.0000 -53.0000 15.22%
3315.17/3324.68 c 3325 14064 10232 1 -46.0000 -53.0000 15.22%
3320.76/3330.20 c 3330 14106 10264 1 -46.0000 -53.0000 15.22%
3329.23/3338.72 c 3339 14125 10275 1 -46.0000 -53.0000 15.22%
3339.39/3348.98 c 3349 14183 10307 1 -46.0000 -53.0000 15.22%
3344.97/3354.51 c 3355 14211 10321 1 -46.0000 -53.0000 15.22%
3349.96/3359.55 c 3360 14212 10322 1 -46.0000 -53.0000 15.22%
3355.64/3365.29 c 3365 14224 10334 1 -46.0000 -53.0000 15.22%
3360.83/3370.47 c 3370 14251 10351 1 -46.0000 -53.0000 15.22%
3366.31/3375.99 c 3376 14264 10362 1 -46.0000 -53.0000 15.22%
3380.48/3390.14 c 3390 14296 10376 1 -46.0000 -53.0000 15.22%
3385.76/3395.46 c 3395 14408 10460 1 -46.0000 -53.0000 15.22%
3393.34/3403.07 c 3403 14452 10486 1 -46.0000 -53.0000 15.22%
3400.43/3410.19 c 3410 14554 10568 1 -46.0000 -53.0000 15.22%
3407.90/3417.67 c 3418 14562 10572 1 -46.0000 -53.0000 15.22%
3413.69/3423.41 c 3423 14584 10590 1 -46.0000 -53.0000 15.22%
3420.67/3430.49 c 3430 14590 10596 1 -46.0000 -53.0000 15.22%
3426.37/3436.14 c 3436 14601 10603 1 -46.0000 -53.0000 15.22%
3434.14/3443.91 c 3444 14619 10621 1 -46.0000 -53.0000 15.22%
3439.43/3449.27 c 3449 14621 10623 1 -46.0000 -53.0000 15.22%
3445.11/3454.93 c 3455 14636 10632 1 -46.0000 -53.0000 15.22%
3450.60/3460.48 c 3460 14659 10639 1 -46.0000 -53.0000 15.22%
3456.09/3465.97 c 3466 14707 10683 1 -46.0000 -53.0000 15.22%
3461.38/3471.22 c 3471 14718 10692 1 -46.0000 -53.0000 15.22%
3468.86/3478.77 c 3479 14738 10706 1 -46.0000 -53.0000 15.22%
3474.44/3484.36 c 3484 14749 10717 1 -46.0000 -53.0000 15.22%
3481.02/3490.92 c 3491 14762 10728 1 -46.0000 -53.0000 15.22%
3487.12/3497.01 c 3497 14768 10734 1 -46.0000 -53.0000 15.22%
3492.49/3502.47 c 3502 14774 10740 1 -46.0000 -53.0000 15.22%
3499.69/3509.68 c 3510 14793 10753 1 -46.0000 -53.0000 15.22%
3505.57/3515.57 c 3516 14819 10771 1 -46.0000 -53.0000 15.22%
3510.95/3520.92 c 3521 14852 10804 1 -46.0000 -53.0000 15.22%
3516.93/3526.93 c 3527 14960 10876 1 -46.0000 -53.0000 15.22%
3522.82/3532.84 c 3533 15045 10937 1 -46.0000 -53.0000 15.22%
3530.11/3540.14 c 3540 15114 10996 1 -46.0000 -53.0000 15.22%
3535.68/3545.78 c 3546 15127 11007 1 -46.0000 -53.0000 15.22%
3545.27/3555.31 c 3555 15151 11031 1 -46.0000 -53.0000 15.22%
3552.75/3562.89 c 3563 15157 11035 1 -46.0000 -53.0000 15.22%
3558.14/3568.21 c 3568 15174 11050 1 -46.0000 -53.0000 15.22%
3563.72/3573.82 c 3574 15180 11056 1 -46.0000 -53.0000 15.22%
3572.30/3582.46 c 3582 15200 11074 1 -46.0000 -53.0000 15.22%
3579.48/3589.66 c 3590 15231 11099 1 -46.0000 -53.0000 15.22%
3585.17/3595.36 c 3595 15248 11114 1 -46.0000 -53.0000 15.22%
3590.16/3600.35 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.16/3600.35 c Total Time : 3600.35
3590.16/3600.35 c solving : 3600.35
3590.16/3600.35 c presolving : 2.02 (included in solving)
3590.16/3600.35 c B&B Tree :
3590.16/3600.35 c nodes (total) : 1
3590.16/3600.35 c Solution :
3590.16/3600.35 c Solutions found : 8
3590.16/3600.35 c Primal Bound : -4.60000000000000e+01
3590.16/3600.35 c Dual Bound : -5.30000000000000e+01
3590.16/3600.35 c Gap : 15.21739 %
3590.16/3600.35 c * Warning: final gap: 1.52174e-01 is greater than SCIPepsilon: 1.00000e-09
3590.16/3600.39 o -46
3590.16/3600.39 s SATISFIABLE
3590.16/3600.39 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
3590.16/3600.39 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
3590.16/3600.39 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
3590.16/3600.39 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
3590.16/3600.39 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3590.16/3600.39 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3590.16/3600.39 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3590.16/3600.39 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187
3590.16/3600.39 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3590.16/3600.39 v -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3590.16/3600.39 v -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3590.16/3600.39 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3590.16/3600.39 v -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3590.16/3600.39 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
3590.16/3600.39 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
3590.16/3600.39 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
3590.16/3600.39 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3590.16/3600.39 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396
3590.16/3600.39 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3590.16/3600.39 v -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3590.16/3600.39 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459
3590.16/3600.39 v -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3590.16/3600.39 v x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3590.16/3600.39 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522
3590.16/3600.39 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3590.16/3600.39 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564
3590.16/3600.39 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3590.16/3600.39 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
3590.16/3600.39 v -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
3590.16/3600.39 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648
3590.16/3600.39 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
3590.16/3600.39 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
3590.36/3600.57 v -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
3590.36/3600.57 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732
3590.36/3600.57 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
3590.36/3600.57 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
3590.36/3600.57 v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
3590.36/3600.57 v -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
3590.36/3600.57 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3590.36/3600.57 v -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
3590.36/3600.57 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3590.36/3600.57 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
3590.36/3600.57 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3590.36/3600.57 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
3590.36/3600.57 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
3590.36/3600.57 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3590.36/3600.57 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
3590.36/3600.57 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
3590.36/3600.57 v -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039
3590.36/3600.57 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057
3590.36/3600.57 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
3590.36/3600.57 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3590.36/3600.57 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111
3590.36/3600.57 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3590.36/3600.57 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147
3590.36/3600.57 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165
3590.36/3600.57 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183
3590.36/3600.57 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
3590.36/3600.57 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219
3590.36/3600.57 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237
3590.36/3600.57 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255
3590.36/3600.57 v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62123 MiB free)
memory of node 1: 64510 MiB (63145 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434718-1721056067/watcher-4434718-1721056067 -o /tmp/evaluation-result-4434718-1721056067/solver-4434718-1721056067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800075 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434718-1721056067.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=800286, runsolver pid=800283
[startup+0.100102 s]*
/proc/loadavg: 1.58 2.43 2.90 5/250 800287
/proc/meminfo: memFree=128233200/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=60656 memory=48180 CPUtime=0.1 cores=5,7
/proc/800286/stat : 800286 (fscip) R 800283 800286 795049 0 -1 4194304 9986 0 0 0 9 1 0 0 20 0 1 0 157763429 62111744 12045 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 15164 12045 2318 3032 0 11564 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60656 KiB
Current children cumulated memory: 48180 KiB
[startup+0.213275 s]*
/proc/loadavg: 1.58 2.43 2.90 5/250 800287
/proc/meminfo: memFree=128197180/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=120316 memory=109340 CPUtime=0.22 cores=5,7
/proc/800286/stat : 800286 (fscip) R 800283 800286 795049 0 -1 4194304 25658 0 0 0 18 4 0 0 20 0 1 0 157763429 123203584 27335 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 30079 27335 2558 3032 0 26479 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 120316 KiB
Current children cumulated memory: 109340 KiB
[startup+0.313302 s]*
/proc/loadavg: 1.58 2.43 2.90 5/250 800287
/proc/meminfo: memFree=128151392/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=141592 memory=128944 CPUtime=0.32 cores=5,7
/proc/800286/stat : 800286 (fscip) R 800283 800286 795049 0 -1 4194304 30492 0 0 0 27 5 0 0 20 0 1 0 157763429 144990208 32236 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 35398 32236 2606 3032 0 31798 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 141592 KiB
Current children cumulated memory: 128944 KiB
[startup+0.700345 s]
/proc/loadavg: 1.58 2.43 2.90 5/250 800287
/proc/meminfo: memFree=128098212/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=199176 memory=185848 CPUtime=0.68 cores=5,7
/proc/800286/stat : 800286 (fscip) R 800283 800286 795049 0 -1 4194304 44443 0 0 0 61 7 0 0 20 0 1 0 157763429 203956224 46462 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 49794 46462 2654 3032 0 46194 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 199176 KiB
Current children cumulated memory: 185848 KiB
[startup+1.50037 s]
/proc/loadavg: 1.58 2.43 2.90 5/250 800287
/proc/meminfo: memFree=128101768/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=175144 memory=161248 CPUtime=1.49 cores=5,7
/proc/800286/stat : 800286 (fscip) R 800283 800286 795049 0 -1 4194304 54052 0 0 0 140 9 0 0 20 0 1 0 157763429 179347456 40312 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 43786 40312 2734 3032 0 40186 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 175144 KiB
Current children cumulated memory: 161248 KiB
[startup+3.11013 s]
/proc/loadavg: 1.77 2.46 2.90 5/252 800337
/proc/meminfo: memFree=127350952/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=646188 memory=524064 CPUtime=3.08 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 117683 0 0 0 284 24 0 0 20 0 3 0 157763429 661696512 131016 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 161547 131016 2782 3032 0 146301 0
[pid=800286/tid=800336] ppid=800283 vsize=646188 memory=422180 CPUtime=0.68 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 34993 0 0 0 60 8 0 0 20 0 3 0 157763657 661696512 131016 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=646188 memory=0 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 157763694 661696512 131016 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 646188 KiB
Current children cumulated memory: 524064 KiB
[startup+6.30042 s]
/proc/loadavg: 1.77 2.46 2.90 5/254 800341
/proc/meminfo: memFree=126411484/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=993904 memory=817164 CPUtime=6.27 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 190645 0 0 0 592 35 0 0 20 0 3 0 157763429 1017757696 204291 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 248476 204291 2942 3032 0 229624 0
[pid=800286/tid=800336] ppid=800283 vsize=993904 memory=0 CPUtime=3.87 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 107662 0 0 0 368 19 0 0 20 0 3 0 157763657 1017757696 204291 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=993904 memory=161248 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 157763694 1017757696 204291 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 993904 KiB
Current children cumulated memory: 817164 KiB
[startup+12.7004 s]
/proc/loadavg: 2.12 2.51 2.92 5/254 800341
/proc/meminfo: memFree=126066820/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=993904 memory=850068 CPUtime=12.65 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 228553 0 0 0 1227 38 0 0 20 0 3 0 157763429 1017757696 212517 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 248476 212517 2958 3032 0 243343 0
[pid=800286/tid=800336] ppid=800283 vsize=993904 memory=850068 CPUtime=10.25 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 145562 0 0 0 1003 22 0 0 20 0 3 0 157763657 1017757696 212517 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=993904 memory=11408 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 157763694 1017757696 212517 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 993904 KiB
Current children cumulated memory: 850068 KiB
[startup+25.5004 s]
/proc/loadavg: 2.41 2.56 2.93 5/254 800344
/proc/meminfo: memFree=125952760/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=1124976 memory=859888 CPUtime=25.43 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 292842 0 0 0 2500 43 0 0 20 0 3 0 157763429 1151975424 214972 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 281244 214972 2958 3032 0 264635 0
[pid=800286/tid=800336] ppid=800283 vsize=1124976 memory=5524 CPUtime=23.03 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 209846 0 0 0 2276 27 0 0 20 0 3 0 157763657 1151975424 214972 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=1124976 memory=852128 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 157763694 1151975424 214972 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1124976 KiB
Current children cumulated memory: 859888 KiB
[startup+51.1131 s]
/proc/loadavg: 3.13 2.72 2.97 5/254 800347
/proc/meminfo: memFree=125591204/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=1321584 memory=977020 CPUtime=50.97 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 383123 0 0 0 5048 49 0 0 20 0 3 0 157763429 1353302016 244255 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 330396 244255 2958 3032 0 313433 0
[pid=800286/tid=800336] ppid=800283 vsize=1321584 memory=11408 CPUtime=48.57 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 300053 0 0 0 4824 33 0 0 20 0 3 0 157763657 1353302016 244255 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=1321584 memory=850068 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 157763694 1353302016 244255 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1321584 KiB
Current children cumulated memory: 977020 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 2.96 3.04 6/254 800404
/proc/meminfo: memFree=125214868/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=1387120 memory=979112 CPUtime=102.01 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 470358 0 0 0 10145 56 0 0 20 0 3 0 157763429 1420410880 244778 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 346780 244778 2958 3032 0 326572 0
[pid=800286/tid=800336] ppid=800283 vsize=1387120 memory=40676 CPUtime=99.59 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 386911 0 0 0 9920 39 0 0 20 0 3 0 157763657 1420410880 244778 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=1387120 memory=977048 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 157763694 1420410880 244778 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1387120 KiB
Current children cumulated memory: 979112 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.18 3.11 5/256 800418
/proc/meminfo: memFree=124990128/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=1452656 memory=1062488 CPUtime=161.73 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 592963 0 0 0 16106 67 0 0 20 0 3 0 157763429 1487519744 265622 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 363164 265622 2958 3032 0 347184 0
[pid=800286/tid=800336] ppid=800283 vsize=1452656 memory=40676 CPUtime=159.31 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 509401 0 0 0 15881 50 0 0 20 0 3 0 157763657 1487519744 265622 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=1452656 memory=1904 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 157763694 1487519744 265622 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1452656 KiB
Current children cumulated memory: 1062488 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.38 3.19 5/256 800429
/proc/meminfo: memFree=124807496/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=1452656 memory=1092648 CPUtime=221.54 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 689588 0 0 0 22080 74 0 0 20 0 3 0 157763429 1487519744 273162 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 363164 273162 2958 3032 0 354892 0
[pid=800286/tid=800336] ppid=800283 vsize=1452656 memory=1092648 CPUtime=219.12 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 605434 0 0 0 21854 58 0 0 20 0 3 0 157763657 1487519744 273162 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=1452656 memory=11408 CPUtime=0 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 157763694 1487519744 273162 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1452656 KiB
Current children cumulated memory: 1092648 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.51 3.25 5/256 800440
/proc/meminfo: memFree=124607624/131655788 swapFree=131071996/131071996
################
# More data... #
################
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2422836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/253 802190
/proc/meminfo: memFree=119384768/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2451512 CPUtime=3392.63 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 4662736 0 0 0 338895 368 0 0 20 0 3 0 157763429 3243507712 612878 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 612878 3278 3032 0 770836 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=0 CPUtime=3390.05 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4577259 0 0 0 338661 344 0 0 20 0 3 0 157763657 3243507712 612878 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=2422836 CPUtime=0.05 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 180 0 0 0 1 4 0 0 20 0 3 0 157763694 3243507712 612878 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2451512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 802202
/proc/meminfo: memFree=119341116/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2459708 CPUtime=3452.5 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 4799677 0 0 0 344874 376 0 0 20 0 3 0 157763429 3243507712 614927 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 614927 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=0 CPUtime=3449.9 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4714181 0 0 0 344639 351 0 0 20 0 3 0 157763657 3243507712 614927 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=2422836 CPUtime=0.05 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 182 0 0 0 1 4 0 0 20 0 3 0 157763694 3243507712 614927 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2459708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/250 802213
/proc/meminfo: memFree=119247584/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2459708 CPUtime=3512.35 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 4937248 0 0 0 350852 383 0 0 20 0 3 0 157763429 3243507712 614927 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 614927 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=2453560 CPUtime=3509.75 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4851736 0 0 0 350617 358 0 0 20 0 3 0 157763657 3243507712 614927 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=11408 CPUtime=0.05 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 183 0 0 0 1 4 0 0 20 0 3 0 157763694 3243507712 614927 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2459708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.54 4.27 4.15 5/250 802223
/proc/meminfo: memFree=119180020/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3572.2 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 5074563 0 0 0 356830 390 0 0 20 0 3 0 157763429 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 621071 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3569.6 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4989033 0 0 0 356595 365 0 0 20 0 3 0 157763657 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=2484284 CPUtime=0.06 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 185 0 0 0 1 5 0 0 20 0 3 0 157763694 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2484284 KiB
[startup+3600.62 s]
# the end of solver process 800286 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.48 s, system=3.99612 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.54 4.27 4.15 5/250 802223
/proc/meminfo: memFree=119179712/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3573.91 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 5074907 0 0 0 357001 390 0 0 20 0 3 0 157763429 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 621071 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=6720664367701965423 CPUtime=3571.31 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4989377 0 0 0 356766 365 0 0 20 0 3 0 157763657 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=-4421386504838080871 CPUtime=0.06 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 185 0 0 0 1 5 0 0 20 0 3 0 157763694 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2484284 KiB
[startup+3590.4 s]
/proc/loadavg: 4.50 4.27 4.15 5/250 802224
/proc/meminfo: memFree=119152112/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3580.29 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 5075658 0 0 0 357638 391 0 0 20 0 3 0 157763429 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 621071 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3577.68 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4990128 0 0 0 357403 365 0 0 20 0 3 0 157763657 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=2453560 CPUtime=0.06 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 185 0 0 0 1 5 0 0 20 0 3 0 157763694 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3580.29 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2484284 KiB
[startup+3596.8 s]
/proc/loadavg: 4.46 4.26 4.15 5/250 802226
/proc/meminfo: memFree=119151636/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3586.67 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 5076685 0 0 0 358276 391 0 0 20 0 3 0 157763429 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 621071 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3584.06 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4991153 0 0 0 358041 365 0 0 20 0 3 0 157763657 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=2484284 CPUtime=0.06 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 187 0 0 0 1 5 0 0 20 0 3 0 157763694 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2484284 KiB
[startup+3598.4 s]
/proc/loadavg: 4.58 4.29 4.16 5/250 802226
/proc/meminfo: memFree=119151420/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3588.27 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 5076757 0 0 0 358436 391 0 0 20 0 3 0 157763429 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 621071 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=2464132 CPUtime=3585.66 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4991225 0 0 0 358201 365 0 0 20 0 3 0 157763657 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=2484284 CPUtime=0.06 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 187 0 0 0 1 5 0 0 20 0 3 0 157763694 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3588.27 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2484284 KiB
[startup+3600 s]*
/proc/loadavg: 4.58 4.29 4.16 4/245 802240
/proc/meminfo: memFree=121611384/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=3167488 memory=2484284 CPUtime=3589.87 cores=5,7
/proc/800286/stat : 800286 (fscip) S 800283 800286 795049 0 -1 1077936128 5076875 0 0 0 358596 391 0 0 20 0 3 0 157763429 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 791872 621071 3278 3032 0 773050 0
[pid=800286/tid=800336] ppid=800283 vsize=3167488 memory=-6170700483586260422 CPUtime=3587.27 cores=5,7
/proc/800286/task/800336/stat : 800336 (fscip) R 800283 800286 795049 0 -1 4194368 4991346 0 0 0 358362 365 0 0 20 0 3 0 157763657 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
[pid=800286/tid=800337] ppid=800283 vsize=3167488 memory=2656 CPUtime=0.06 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 187 0 0 0 1 5 0 0 20 0 3 0 157763694 3243507712 621071 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3589.87 s
Current children cumulated vsize: 3167488 KiB
Current children cumulated memory: 2484284 KiB
[startup+3600.4 s]
/proc/loadavg: 4.58 4.29 4.16 4/245 802240
/proc/meminfo: memFree=121611384/131655788 swapFree=131071996/131071996
[pid=800286] ppid=800283 vsize=2087980 memory=1546676 CPUtime=3590.26 cores=5,7
/proc/800286/stat : 800286 (fscip) R 800283 800286 795049 0 -1 4194304 5107615 0 0 0 358631 395 0 0 20 0 2 0 157763429 2138091520 386669 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
/proc/800286/statm: 521995 386669 3278 3032 0 508069 0
[pid=800286/tid=800337] ppid=800283 vsize=2087980 memory=2484284 CPUtime=0.06 cores=5,7
/proc/800286/task/800337/stat : 800337 (fscip) S 800283 800286 795049 0 -1 1077936192 187 0 0 0 1 5 0 0 20 0 2 0 157763694 2138091520 386669 134679101440 4194304 16613245 140726072172944 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 41902080 140726072177685 140726072177801 140726072177801 140726072184816 0
Current children cumulated CPU time: 3590.26 s
Current children cumulated vsize: 2087980 KiB
Current children cumulated memory: 1546676 KiB
[startup+3600.6 s]*
/proc/loadavg: 4.58 4.29 4.16 4/240 802257
/proc/meminfo: memFree=123214612/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.62
CPU time (s): 3590.47
CPU user time (s): 3586.48
CPU system time (s): 3.99612
CPU usage (%): 99.7182
Max. virtual memory (cumulated for all children) (KiB): 3167488
Max. memory (cumulated for all children) (KiB): 2484284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.48
system time used= 3.99612
maximum resident set size= 2484284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5110069
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= 6534
involuntary context switches= 2397
# summary of solver processes directly reported to runsolver:
# pid: 800286
# total CPU time (s): 3590.47
# total CPU user time (s): 3586.48
# total CPU system time (s): 3.99612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2947 second user time and 35.2601 second system time
The end
Begin job on nodeC007 at 2024-07-15 17:08:00
IDJOB=4434718
IDBENCH=146673
IDSOLVER=3064
FILE ID=nodeC007/4434718-1721056067
RUNJOBID= nodeC007-1721056075-800075
SLURM_JOB_ID= 7505467
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-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-4434718-1721056067/watcher-4434718-1721056067 -o /tmp/evaluation-result-4434718-1721056067/solver-4434718-1721056067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800075 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434718-1721056067.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=670910537
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3359.448
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1597.171
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.175
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1622.249
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2295.868
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3528.952
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.131
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128277956 kB
MemAvailable: 129435208 kB
Buffers: 367776 kB
Cached: 1622016 kB
SwapCached: 0 kB
Active: 615020 kB
Inactive: 2218768 kB
Active(anon): 1468 kB
Inactive(anon): 880228 kB
Active(file): 613552 kB
Inactive(file): 1338540 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 118080 kB
Writeback: 4 kB
AnonPages: 844092 kB
Mapped: 137332 kB
Shmem: 37704 kB
KReclaimable: 90380 kB
Slab: 186204 kB
SReclaimable: 90380 kB
SUnreclaim: 95824 kB
KernelStack: 4032 kB
PageTables: 10456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1189360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723692 MiB
End job on nodeC007 at 2024-07-15 18:08:01