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.69/0.74 c Default LC presolving (default).
0.69/0.74 c ** Before presolving: virtualMemUsedAtLc = 336432679, getVmSize() = 219869184, SCIPgetMemUsed() = 178929885, SCIPgetMemTotal() = 188635709, SCIPgetMemExternEstim() = 147796970
0.69/0.74 c ** set memory limit for presolving in LC to 8.79599e+12 for SCIP **
4.27/4.33 c ** Estimated virtualMemUsedAtSolver = 446183886, getVmSize() = 563892224, SCIPgetMemUsed() = 339672979, SCIPgetMemTotal() = 521478859, SCIPgetMemExternEstim() = 147796970
4.27/4.33 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
4.27/4.33 c Original Problem :
4.27/4.33 c Problem name : instance-4426822-1720906603
4.27/4.33 c Variables : 54241 (54241 binary, 0 integer, 0 implicit integer, 0 continuous)
4.27/4.33 c Constraints : 106338
4.27/4.33 c Objective sense : minimize
4.27/4.33 c Presolved Problem :
4.27/4.33 c Variables : 47836 (24475 binary, 0 integer, 23361 implicit integer, 0 continuous)
4.27/4.33 c Constraints : 75846
4.27/4.33 c Constraints : Number
4.27/4.33 c knapsack : 1
4.27/4.33 c setppc : 29073
4.27/4.33 c linear : 23386
4.27/4.33 c indicator : 23386
4.27/4.33 c ** Instance transfer method used: 0
4.47/4.53 c ** ParaScipInstance copy increased the number of variables. **
4.87/4.91 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.87/4.91 c Nodes Active
4.87/4.91 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
45.92/46.16 c 46 2 1 1 - 0.0000 -
52.08/52.38 c 52 5 4 1 - 0.0000 -
58.45/58.75 c 59 5 6 1 - 0.0000 -
63.75/64.06 c 64 6 5 1 - 0.0000 -
69.61/69.91 c 70 7 6 1 - 0.0000 -
75.99/76.39 c 76 9 8 1 - 0.0000 -
82.36/82.78 c 83 11 10 1 - 0.0000 -
91.42/91.82 c 92 12 11 1 - 0.0000 -
98.70/99.11 c 99 14 11 1 - 0.0000 -
104.86/105.32 c 105 18 11 1 - 0.0000 -
111.54/112.04 c 112 20 13 1 - 0.0000 -
123.28/123.83 c 124 27 14 1 - 0.0000 -
129.47/130.07 c 130 31 16 1 - 0.0000 -
141.31/141.94 c 142 35 20 1 - 0.0000 -
146.69/147.38 c 147 41 23 1 - 0.0000 -
154.66/155.31 c 155 62 40 1 - 0.0000 -
161.35/162.06 c 162 82 51 1 - 0.0000 -
169.60/170.39 c 170 100 67 1 - 0.0000 -
177.77/178.58 c 179 124 77 1 - 0.0000 -
184.54/185.36 c 185 154 99 1 - 0.0000 -
190.34/191.17 c 191 169 107 1 - 0.0000 -
196.00/196.81 c 197 202 122 1 - 0.0000 -
202.19/203.03 c 203 244 137 1 - 0.0000 -
207.45/208.37 c 208 301 166 1 - 0.0000 -
212.73/213.65 c 214 369 191 1 - 0.0000 -
219.31/220.21 c 220 447 228 1 - 0.0000 -
225.38/226.38 c 226 506 250 1 - 0.0000 -
230.46/231.44 c 231 600 277 1 - 0.0000 -
235.93/236.92 c 237 656 284 1 - 0.0000 -
241.61/242.65 c 243 690 300 1 - 0.0000 -
249.99/251.08 c 251 739 313 1 - 0.0000 -
256.26/257.32 c 257 777 329 1 - 0.0000 -
261.83/263.01 c 263 808 347 1 - 0.0000 -
268.50/269.62 c 270 849 369 1 - 0.0000 -
273.98/275.12 c 275 882 386 1 - 0.0000 -
279.56/280.70 c 281 935 394 1 - 0.0000 -
284.53/285.71 c 286 977 414 1 - 0.0000 -
289.82/291.10 c 291 1037 433 1 - 0.0000 -
295.48/296.77 c 297 1078 454 1 - 0.0000 -
301.96/303.27 c 303 1110 472 1 - 0.0000 -
310.43/311.73 c 312 1164 488 1 - 0.0000 -
316.20/317.55 c 318 1168 489 1 - 0.0000 -
322.38/323.71 c 324 1202 505 1 - 0.0000 -
328.05/329.44 c 329 1271 537 1 - 0.0000 -
334.74/336.17 c 336 1308 551 1 - 0.0000 -
340.30/341.74 c 342 1353 578 1 - 0.0000 -
345.48/346.94 c 347 1460 604 1 - 0.0000 -
350.95/352.48 c 352 1535 638 1 - 0.0000 -
352.15/353.67 c * 354 1535 638 1 885.0000 0.0000 -
379.59/381.12 c 381 1542 1 1 885.0000 0.0000 -
385.06/386.62 c 387 1568 27 1 885.0000 0.0000 -
390.74/392.30 c 392 1594 45 1 885.0000 0.0000 -
401.19/402.83 c 403 1638 61 1 885.0000 0.0000 -
409.05/410.78 c 411 1688 100 1 885.0000 0.0000 -
416.34/418.01 c 418 1702 108 1 885.0000 0.0000 -
422.20/423.93 c 424 1715 115 1 885.0000 0.0000 -
427.88/429.63 c 430 1745 125 1 885.0000 0.0000 -
432.96/434.75 c 435 1765 129 1 885.0000 0.0000 -
439.25/441.02 c 441 1773 133 1 885.0000 0.0000 -
446.81/448.61 c 449 1788 140 1 885.0000 0.0000 -
451.89/453.76 c 454 1826 156 1 885.0000 0.0000 -
457.46/459.30 c 459 1864 172 1 885.0000 0.0000 -
464.15/466.10 c 466 1884 178 1 885.0000 0.0000 -
469.91/471.88 c 472 1926 190 1 885.0000 0.0000 -
477.48/479.40 c 479 1974 216 1 885.0000 0.0000 -
484.46/486.41 c 486 1982 222 1 885.0000 0.0000 -
491.54/493.59 c 494 1989 227 1 885.0000 0.0000 -
498.70/500.79 c 501 2008 240 1 885.0000 0.0000 -
504.28/506.35 c 506 2055 259 1 885.0000 0.0000 -
512.25/514.30 c 514 2087 267 1 885.0000 0.0000 -
518.81/520.99 c 521 2120 284 1 885.0000 0.0000 -
526.78/528.92 c 529 2154 306 1 885.0000 0.0000 -
532.26/534.48 c 534 2199 329 1 885.0000 0.0000 -
547.91/550.13 c 550 2227 345 1 885.0000 0.0000 -
553.68/556.01 c 556 2262 360 1 885.0000 0.0000 -
559.56/561.81 c 562 2288 376 1 885.0000 0.0000 -
571.03/573.39 c 573 2311 389 1 885.0000 0.0000 -
586.27/588.65 c 589 2346 408 1 885.0000 0.0000 -
596.65/599.07 c 599 2359 417 1 885.0000 0.0000 -
602.52/604.98 c 605 2388 434 1 885.0000 0.0000 -
608.70/611.14 c 611 2415 443 1 885.0000 0.0000 -
618.57/621.09 c 621 2426 446 1 885.0000 0.0000 -
623.74/626.29 c 626 2455 459 1 885.0000 0.0000 -
629.21/631.71 c 632 2515 485 1 885.0000 0.0000 -
635.89/638.46 c 638 2536 489 1 885.0000 0.0000 -
641.67/644.25 c 644 2573 516 1 885.0000 0.0000 -
648.14/650.76 c 651 2607 538 1 885.0000 0.0000 -
654.03/656.62 c 657 2631 562 1 885.0000 0.0000 -
660.01/662.61 c 663 2670 571 1 885.0000 0.0000 -
665.68/668.34 c 668 2720 585 1 885.0000 0.0000 -
671.66/674.35 c 674 2757 604 1 885.0000 0.0000 -
677.74/680.44 c 680 2805 616 1 885.0000 0.0000 -
683.42/686.18 c 686 2849 632 1 885.0000 0.0000 -
689.18/691.91 c 692 2889 654 1 885.0000 0.0000 -
694.86/697.63 c 698 2936 675 1 885.0000 0.0000 -
700.64/703.42 c 703 2967 690 1 885.0000 0.0000 -
707.91/710.76 c 711 2978 693 1 885.0000 0.0000 -
714.39/717.23 c 717 3033 716 1 885.0000 0.0000 -
721.96/724.82 c 725 3057 732 1 885.0000 0.0000 -
729.54/732.45 c 732 3067 738 1 885.0000 0.0000 -
735.32/738.29 c 738 3125 754 1 885.0000 0.0000 -
746.28/749.25 c 749 3187 780 1 885.0000 0.0000 -
752.75/755.74 c 756 3227 796 1 885.0000 0.0000 -
761.93/764.92 c 765 3251 802 1 885.0000 0.0000 -
767.51/770.59 c 771 3270 809 1 885.0000 0.0000 -
770.72/773.70 c * 774 3279 814 1 636.0000 0.0000 -
772.82/775.83 c 776 3316 518 1 636.0000 0.0000 -
778.59/781.65 c 782 3357 539 1 636.0000 0.0000 -
784.26/787.30 c 787 3448 561 1 636.0000 0.0000 -
790.14/793.24 c 793 3503 582 1 636.0000 0.0000 -
795.52/798.67 c 799 3528 591 1 636.0000 0.0000 -
801.00/804.15 c 804 3566 598 1 636.0000 0.0000 -
806.18/809.39 c 809 3592 604 1 636.0000 0.0000 -
812.34/815.50 c 816 3671 629 1 636.0000 0.0000 -
817.32/820.52 c 821 3722 649 1 636.0000 0.0000 -
822.50/825.72 c 826 3768 666 1 636.0000 0.0000 -
828.97/832.24 c 832 3800 675 1 636.0000 0.0000 -
834.76/838.01 c 838 3813 682 1 636.0000 0.0000 -
839.93/843.25 c 843 3863 694 1 636.0000 0.0000 -
845.21/848.56 c 849 3943 727 1 636.0000 0.0000 -
850.80/854.13 c 854 4029 750 1 636.0000 0.0000 -
856.46/859.87 c 860 4102 768 1 636.0000 0.0000 -
861.76/865.15 c 865 4165 794 1 636.0000 0.0000 -
867.12/870.50 c 870 4199 801 1 636.0000 0.0000 -
872.40/875.89 c 876 4227 813 1 636.0000 0.0000 -
878.58/882.05 c 882 4281 821 1 636.0000 0.0000 -
884.25/887.72 c 888 4297 827 1 636.0000 0.0000 -
889.83/893.39 c 893 4312 835 1 636.0000 0.0000 -
898.39/901.92 c 902 4362 839 1 636.0000 0.0000 -
906.35/909.91 c 910 4415 851 1 636.0000 0.0000 -
912.03/915.67 c 916 4439 853 1 636.0000 0.0000 -
918.41/922.04 c 922 4480 869 1 636.0000 0.0000 -
924.07/927.73 c 928 4563 888 1 636.0000 0.0000 -
929.74/933.47 c 933 4591 897 1 636.0000 0.0000 -
935.13/938.80 c 939 4611 902 1 636.0000 0.0000 -
940.80/944.59 c 945 4663 912 1 636.0000 0.0000 -
946.38/950.15 c 950 4722 930 1 636.0000 0.0000 -
952.55/956.31 c 956 4746 938 1 636.0000 0.0000 -
958.12/961.90 c 962 4782 956 1 636.0000 0.0000 -
965.09/968.93 c 969 4832 971 1 636.0000 0.0000 -
970.18/974.06 c 974 4860 981 1 636.0000 0.0000 -
975.95/979.81 c 980 4928 1013 1 636.0000 0.0000 -
981.14/985.10 c 985 4997 1033 1 636.0000 0.0000 -
987.11/991.03 c 991 5028 1044 1 636.0000 0.0000 -
993.09/997.05 c 997 5092 1067 1 636.0000 0.0000 -
998.66/1002.62 c 1003 5153 1093 1 636.0000 0.0000 -
1004.42/1008.49 c 1008 5215 1113 1 636.0000 0.0000 -
1009.70/1013.79 c 1014 5281 1138 1 636.0000 0.0000 -
1015.77/1019.80 c 1020 5334 1143 1 636.0000 0.0000 -
1021.07/1025.18 c 1025 5355 1150 1 636.0000 0.0000 -
1027.04/1031.18 c 1031 5386 1163 1 636.0000 0.0000 -
1032.80/1037.01 c 1037 5434 1177 1 636.0000 0.0000 -
1038.07/1042.26 c 1042 5497 1192 1 636.0000 0.0000 -
1043.14/1047.36 c 1047 5525 1200 1 636.0000 0.0000 -
1048.83/1053.04 c 1053 5585 1216 1 636.0000 0.0000 -
1056.19/1060.47 c 1060 5601 1222 1 636.0000 0.0000 -
1063.25/1067.51 c 1068 5629 1228 1 636.0000 0.0000 -
1068.44/1072.74 c 1073 5662 1244 1 636.0000 0.0000 -
1077.50/1081.85 c 1082 5684 1256 1 636.0000 0.0000 -
1083.28/1087.67 c 1088 5727 1263 1 636.0000 0.0000 -
1089.16/1093.60 c 1094 5756 1274 1 636.0000 0.0000 -
1094.54/1098.99 c 1099 5776 1278 1 636.0000 0.0000 -
1099.92/1104.35 c 1104 5813 1280 1 636.0000 0.0000 -
1106.39/1110.88 c 1111 5824 1284 1 636.0000 0.0000 -
1114.56/1119.04 c 1119 5862 1295 1 636.0000 0.0000 -
1120.02/1124.52 c 1125 5922 1313 1 636.0000 0.0000 -
1124.99/1129.54 c 1130 5979 1325 1 636.0000 0.0000 -
1130.58/1135.17 c 1135 6022 1342 1 636.0000 0.0000 -
1138.13/1142.72 c 1143 6063 1350 1 636.0000 0.0000 -
1143.21/1147.83 c 1148 6101 1357 1 636.0000 0.0000 -
1148.50/1153.11 c 1153 6142 1361 1 636.0000 0.0000 -
1156.07/1160.73 c 1161 6189 1370 1 636.0000 0.0000 -
1161.85/1166.55 c 1167 6243 1383 1 636.0000 0.0000 -
1167.23/1171.97 c * 1172 6282 1389 1 578.0000 0.0000 -
1167.23/1171.97 c 1172 6282 1389 1 578.0000 0.0000 -
1174.04/1178.71 c 1179 6292 1204 1 578.0000 0.0000 -
1179.32/1184.08 c 1184 6346 1217 1 578.0000 0.0000 -
1184.89/1189.66 c 1190 6401 1228 1 578.0000 0.0000 -
1190.06/1194.87 c 1195 6458 1241 1 578.0000 0.0000 -
1196.35/1201.19 c 1201 6486 1249 1 578.0000 0.0000 -
1202.23/1207.04 c 1207 6530 1265 1 578.0000 0.0000 -
1208.79/1213.64 c 1214 6563 1278 1 578.0000 0.0000 -
1214.87/1219.72 c 1220 6582 1285 1 578.0000 0.0000 -
1219.94/1224.84 c 1225 6592 1285 1 578.0000 0.0000 -
1225.03/1230.01 c 1230 6635 1299 1 578.0000 0.0000 -
1230.71/1235.67 c 1236 6705 1318 1 578.0000 0.0000 -
1236.09/1241.07 c 1241 6738 1326 1 578.0000 0.0000 -
1241.95/1246.91 c 1247 6769 1337 1 578.0000 0.0000 -
1247.04/1252.07 c 1252 6820 1350 1 578.0000 0.0000 -
1253.50/1258.53 c 1259 6863 1352 1 578.0000 0.0000 -
1259.17/1264.28 c 1264 6888 1361 1 578.0000 0.0000 -
1264.76/1269.85 c * 1270 6923 1375 1 485.0000 0.0000 -
1264.76/1269.85 c 1270 6923 1375 1 485.0000 0.0000 -
1270.26/1275.30 c 1275 6954 1027 1 485.0000 0.0000 -
1275.73/1280.88 c 1281 6980 1033 1 485.0000 0.0000 -
1282.70/1287.80 c 1288 7017 1041 1 485.0000 0.0000 -
1288.28/1293.46 c 1293 7048 1054 1 485.0000 0.0000 -
1296.56/1301.71 c 1302 7081 1060 1 485.0000 0.0000 -
1302.03/1307.29 c 1307 7107 1067 1 485.0000 0.0000 -
1307.62/1312.83 c 1313 7156 1082 1 485.0000 0.0000 -
1313.49/1318.76 c 1319 7192 1093 1 485.0000 0.0000 -
1319.06/1324.31 c 1324 7207 1096 1 485.0000 0.0000 -
1324.43/1329.79 c 1330 7262 1109 1 485.0000 0.0000 -
1330.21/1335.56 c 1336 7315 1118 1 485.0000 0.0000 -
1337.17/1342.50 c 1342 7340 1124 1 485.0000 0.0000 -
1343.16/1348.59 c 1349 7370 1133 1 485.0000 0.0000 -
1348.93/1354.37 c 1354 7384 1132 1 485.0000 0.0000 -
1354.90/1360.35 c 1360 7397 1137 1 485.0000 0.0000 -
1361.18/1366.60 c 1367 7450 1150 1 485.0000 0.0000 -
1366.58/1372.10 c 1372 7488 1161 1 485.0000 0.0000 -
1372.54/1378.07 c 1378 7521 1168 1 485.0000 0.0000 -
1378.80/1384.39 c 1384 7541 1172 1 485.0000 0.0000 -
1385.28/1390.80 c 1391 7566 1177 1 485.0000 0.0000 -
1390.36/1395.93 c 1396 7601 1188 1 485.0000 0.0000 -
1395.63/1401.27 c 1401 7649 1202 1 485.0000 0.0000 -
1401.01/1406.65 c 1407 7702 1217 1 485.0000 0.0000 -
1406.68/1412.34 c 1412 7743 1224 1 485.0000 0.0000 -
1411.86/1417.56 c 1418 7813 1232 1 485.0000 0.0000 -
1417.23/1422.97 c 1423 7847 1237 1 485.0000 0.0000 -
1422.51/1428.21 c 1428 7880 1247 1 485.0000 0.0000 -
1428.08/1433.85 c 1434 7938 1259 1 485.0000 0.0000 -
1433.95/1439.78 c 1440 8020 1272 1 485.0000 0.0000 -
1439.43/1445.22 c 1445 8094 1277 1 485.0000 0.0000 -
1444.51/1450.38 c 1450 8157 1291 1 485.0000 0.0000 -
1449.68/1455.51 c 1456 8207 1299 1 485.0000 0.0000 -
1454.96/1460.86 c 1461 8253 1308 1 485.0000 0.0000 -
1461.24/1467.13 c 1467 8287 1319 1 485.0000 0.0000 -
1467.22/1473.18 c 1473 8332 1330 1 485.0000 0.0000 -
1472.69/1478.62 c 1479 8355 1335 1 485.0000 0.0000 -
1478.40/1484.30 c * 1484 8380 1346 1 356.0000 0.0000 -
1478.40/1484.30 c 1484 8380 1346 1 356.0000 0.0000 -
1483.47/1489.44 c 1489 8420 958 1 356.0000 0.0000 -
1488.84/1494.82 c 1495 8462 964 1 356.0000 0.0000 -
1494.22/1500.20 c 1500 8519 983 1 356.0000 0.0000 -
1499.30/1505.33 c 1505 8590 994 1 356.0000 0.0000 -
1504.99/1511.07 c 1511 8622 999 1 356.0000 0.0000 -
1510.08/1516.17 c 1516 8643 1001 1 356.0000 0.0000 -
1515.95/1522.04 c 1522 8737 1015 1 356.0000 0.0000 -
1521.72/1527.83 c 1528 8789 1024 1 356.0000 0.0000 -
1527.10/1533.23 c 1533 8848 1038 1 356.0000 0.0000 -
1532.47/1538.61 c 1539 8954 1053 1 356.0000 0.0000 -
1537.76/1544.00 c 1544 9047 1069 1 356.0000 0.0000 -
1543.13/1549.33 c 1549 9145 1087 1 356.0000 0.0000 -
1548.60/1554.81 c 1555 9229 1104 1 356.0000 0.0000 -
1554.27/1560.50 c 1561 9327 1124 1 356.0000 0.0000 -
1559.24/1565.55 c 1566 9388 1135 1 356.0000 0.0000 -
1565.03/1571.30 c 1571 9389 1134 1 356.0000 0.0000 -
1570.11/1576.48 c 1576 9475 1147 1 356.0000 0.0000 -
1575.27/1581.69 c 1582 9559 1165 1 356.0000 0.0000 -
1580.76/1587.17 c 1587 9668 1178 1 356.0000 0.0000 -
1586.12/1592.53 c 1593 9732 1185 1 356.0000 0.0000 -
1591.61/1598.10 c 1598 9809 1196 1 356.0000 0.0000 -
1597.16/1603.68 c 1604 9886 1201 1 356.0000 0.0000 -
1602.34/1608.86 c 1609 9959 1211 1 356.0000 0.0000 -
1608.20/1614.72 c 1615 10057 1227 1 356.0000 0.0000 -
1613.68/1620.22 c 1620 10147 1240 1 356.0000 0.0000 -
1618.96/1625.59 c 1626 10225 1255 1 356.0000 0.0000 -
1624.33/1630.98 c 1631 10305 1269 1 356.0000 0.0000 -
1629.61/1636.28 c 1636 10383 1290 1 356.0000 0.0000 -
1634.98/1641.68 c 1642 10455 1307 1 356.0000 0.0000 -
1640.16/1646.81 c 1647 10533 1322 1 356.0000 0.0000 -
1645.35/1652.08 c 1652 10638 1338 1 356.0000 0.0000 -
1650.81/1657.51 c 1658 10702 1353 1 356.0000 0.0000 -
1656.08/1662.82 c 1663 10822 1372 1 356.0000 0.0000 -
1661.27/1668.08 c 1668 10930 1384 1 356.0000 0.0000 -
1666.43/1673.26 c 1673 11009 1396 1 356.0000 0.0000 -
1671.80/1678.64 c 1679 11095 1407 1 356.0000 0.0000 -
1677.37/1684.29 c 1684 11181 1425 1 356.0000 0.0000 -
1682.66/1689.50 c 1690 11255 1449 1 356.0000 0.0000 -
1687.93/1694.88 c 1695 11340 1471 1 356.0000 0.0000 -
1693.31/1700.22 c 1700 11424 1489 1 356.0000 0.0000 -
1698.49/1705.47 c 1705 11492 1504 1 356.0000 0.0000 -
1704.47/1711.44 c 1711 11521 1508 1 356.0000 0.0000 -
1710.44/1717.43 c 1717 11579 1518 1 356.0000 0.0000 -
1715.92/1722.93 c 1723 11662 1542 1 356.0000 0.0000 -
1717.54/1724.52 c * 1725 11662 1542 1 279.0000 0.0000 -
1721.22/1728.23 c 1728 11723 1206 1 279.0000 0.0000 -
1726.49/1733.50 c 1734 11835 1220 1 279.0000 0.0000 -
1731.97/1739.01 c 1739 11943 1233 1 279.0000 0.0000 -
1737.24/1744.38 c 1744 12028 1247 1 279.0000 0.0000 -
1742.31/1749.47 c 1749 12136 1254 1 279.0000 0.0000 -
1747.78/1754.99 c 1755 12219 1265 1 279.0000 0.0000 -
1752.98/1760.15 c 1760 12312 1279 1 279.0000 0.0000 -
1758.33/1765.51 c 1766 12396 1291 1 279.0000 0.0000 -
1763.51/1770.75 c 1771 12502 1315 1 279.0000 0.0000 -
1768.70/1775.95 c 1776 12559 1322 1 279.0000 0.0000 -
1775.37/1782.65 c 1783 12623 1330 1 279.0000 0.0000 -
1780.54/1787.81 c 1788 12667 1334 1 279.0000 0.0000 -
1788.22/1795.58 c 1796 12703 1339 1 279.0000 0.0000 -
1795.29/1802.60 c 1803 12764 1351 1 279.0000 0.0000 -
1801.17/1808.55 c 1809 12802 1362 1 279.0000 0.0000 -
1807.05/1814.45 c 1814 12888 1379 1 279.0000 0.0000 -
1812.22/1819.64 c 1820 12944 1396 1 279.0000 0.0000 -
1818.61/1826.03 c 1826 12991 1404 1 279.0000 0.0000 -
1824.17/1831.67 c 1832 13071 1421 1 279.0000 0.0000 -
1829.45/1836.96 c 1837 13137 1438 1 279.0000 0.0000 -
1835.22/1842.76 c 1843 13156 1443 1 279.0000 0.0000 -
1840.61/1848.12 c 1848 13184 1451 1 279.0000 0.0000 -
1846.08/1853.64 c 1854 13219 1458 1 279.0000 0.0000 -
1851.95/1859.53 c 1860 13244 1463 1 279.0000 0.0000 -
1857.63/1865.26 c 1865 13310 1477 1 279.0000 0.0000 -
1863.01/1870.69 c 1871 13361 1493 1 279.0000 0.0000 -
1870.18/1877.88 c 1878 13381 1495 1 279.0000 0.0000 -
1875.56/1883.25 c 1883 13475 1509 1 279.0000 0.0000 -
1880.94/1888.64 c 1889 13566 1521 1 279.0000 0.0000 -
1886.12/1893.89 c 1894 13606 1528 1 279.0000 0.0000 -
1893.41/1901.17 c 1901 13642 1531 1 279.0000 0.0000 -
1898.47/1906.24 c 1906 13666 1537 1 279.0000 0.0000 -
1903.85/1911.60 c 1912 13759 1554 1 279.0000 0.0000 -
1909.02/1916.83 c 1917 13887 1573 1 279.0000 0.0000 -
1914.40/1922.29 c 1922 13982 1596 1 279.0000 0.0000 -
1919.68/1927.57 c 1928 14102 1610 1 279.0000 0.0000 -
1924.86/1932.78 c 1933 14172 1624 1 279.0000 0.0000 -
1930.33/1938.29 c 1938 14240 1634 1 279.0000 0.0000 -
1935.80/1943.78 c 1944 14323 1650 1 279.0000 0.0000 -
1940.98/1948.98 c 1949 14443 1661 1 279.0000 0.0000 -
1946.26/1954.28 c 1954 14555 1675 1 279.0000 0.0000 -
1952.24/1960.26 c 1960 14604 1679 1 279.0000 0.0000 -
1957.51/1965.57 c 1966 14629 1684 1 279.0000 0.0000 -
1962.59/1970.66 c 1971 14680 1693 1 279.0000 0.0000 -
1970.16/1978.22 c 1978 14725 1701 1 279.0000 0.0000 -
1976.63/1984.76 c 1985 14770 1709 1 279.0000 0.0000 -
1983.20/1991.38 c 1991 14801 1712 1 279.0000 0.0000 -
1992.36/2000.56 c 2001 14837 1720 1 279.0000 0.0000 -
1997.34/2005.59 c 2006 14847 1721 1 279.0000 0.0000 -
2002.84/2011.04 c 2011 14931 1731 1 279.0000 0.0000 -
2009.19/2017.47 c 2017 14953 1734 1 279.0000 0.0000 -
2014.78/2023.03 c 2023 14998 1738 1 279.0000 0.0000 -
2022.75/2031.04 c 2031 15022 1741 1 279.0000 0.0000 -
2028.02/2036.34 c 2036 15023 1742 1 279.0000 0.0000 -
2033.40/2041.75 c 2042 15093 1750 1 279.0000 0.0000 -
2039.37/2047.78 c 2048 15156 1755 1 279.0000 0.0000 -
2047.25/2055.63 c 2056 15198 1753 1 279.0000 0.0000 -
2052.52/2061.01 c 2061 15312 1773 1 279.0000 0.0000 -
2058.09/2066.52 c 2067 15384 1782 1 279.0000 0.0000 -
2063.47/2071.92 c 2072 15489 1805 1 279.0000 0.0000 -
2070.65/2079.15 c 2079 15524 1814 1 279.0000 0.0000 -
2075.92/2084.44 c 2084 15607 1831 1 279.0000 0.0000 -
2081.18/2089.70 c 2090 15667 1837 1 279.0000 0.0000 -
2086.35/2094.97 c 2095 15760 1846 1 279.0000 0.0000 -
2095.22/2103.86 c 2104 15790 1849 1 279.0000 0.0000 -
2101.29/2109.97 c 2110 15831 1853 1 279.0000 0.0000 -
2109.06/2117.72 c 2118 15883 1862 1 279.0000 0.0000 -
2114.93/2123.67 c 2124 15906 1867 1 279.0000 0.0000 -
2120.42/2129.15 c 2129 15928 1866 1 279.0000 0.0000 -
2127.18/2135.90 c 2136 16002 1879 1 279.0000 0.0000 -
2132.45/2141.21 c 2141 16058 1890 1 279.0000 0.0000 -
2137.54/2146.39 c 2146 16160 1910 1 279.0000 0.0000 -
2143.52/2152.30 c 2152 16198 1917 1 279.0000 0.0000 -
2150.50/2159.33 c 2159 16262 1930 1 279.0000 0.0000 -
2157.57/2166.45 c 2166 16310 1937 1 279.0000 0.0000 -
2163.54/2172.46 c 2172 16330 1938 1 279.0000 0.0000 -
2169.31/2178.26 c 2178 16390 1946 1 279.0000 0.0000 -
2174.69/2183.67 c 2184 16404 1950 1 279.0000 0.0000 -
2180.87/2189.80 c 2190 16452 1953 1 279.0000 0.0000 -
2186.16/2195.11 c 2195 16462 1957 1 279.0000 0.0000 -
2191.32/2200.33 c 2200 16559 1966 1 279.0000 0.0000 -
2196.59/2205.68 c 2206 16640 1984 1 279.0000 0.0000 -
2202.37/2211.45 c 2211 16685 1994 1 279.0000 0.0000 -
2207.45/2216.52 c 2217 16712 1999 1 279.0000 0.0000 -
2214.52/2223.66 c 2224 16742 2004 1 279.0000 0.0000 -
2223.10/2232.25 c 2232 16777 2012 1 279.0000 0.0000 -
2229.07/2238.27 c 2238 16821 2018 1 279.0000 0.0000 -
2234.65/2243.86 c 2244 16859 2026 1 279.0000 0.0000 -
2235.74/2244.92 c * 2245 16859 2026 1 228.0000 0.0000 -
2239.65/2248.88 c 2249 16872 1604 1 228.0000 0.0000 -
2244.73/2253.90 c 2254 16932 1616 1 228.0000 0.0000 -
2252.50/2261.74 c 2262 16972 1622 1 228.0000 0.0000 -
2258.97/2268.29 c 2268 16984 1622 1 228.0000 0.0000 -
2267.34/2276.62 c 2277 17051 1626 1 228.0000 0.0000 -
2272.84/2282.18 c 2282 17075 1628 1 228.0000 0.0000 -
2278.30/2287.68 c 2288 17170 1637 1 228.0000 0.0000 -
2283.58/2292.93 c 2293 17271 1642 1 228.0000 0.0000 -
2288.96/2298.33 c 2298 17330 1649 1 228.0000 0.0000 -
2294.04/2303.43 c 2303 17365 1652 1 228.0000 0.0000 -
2299.51/2308.91 c 2309 17459 1667 1 228.0000 0.0000 -
2304.88/2314.34 c 2314 17552 1683 1 228.0000 0.0000 -
2310.15/2319.65 c 2320 17658 1695 1 228.0000 0.0000 -
2315.33/2324.85 c 2325 17777 1709 1 228.0000 0.0000 -
2320.71/2330.23 c 2330 17878 1728 1 228.0000 0.0000 -
2326.59/2336.15 c 2336 17947 1739 1 228.0000 0.0000 -
2331.85/2341.47 c 2341 18055 1754 1 228.0000 0.0000 -
2337.12/2346.75 c 2347 18182 1769 1 228.0000 0.0000 -
2342.30/2351.97 c 2352 18290 1785 1 228.0000 0.0000 -
2347.40/2357.10 c 2357 18422 1794 1 228.0000 0.0000 -
2352.76/2362.41 c 2362 18536 1812 1 228.0000 0.0000 -
2358.03/2367.73 c 2368 18640 1827 1 228.0000 0.0000 -
2363.32/2373.10 c 2373 18726 1836 1 228.0000 0.0000 -
2368.69/2378.48 c 2378 18829 1857 1 228.0000 0.0000 -
2373.87/2383.63 c 2384 18934 1885 1 228.0000 0.0000 -
2378.96/2388.76 c 2389 19052 1904 1 228.0000 0.0000 -
2384.13/2393.91 c 2394 19179 1920 1 228.0000 0.0000 -
2389.50/2399.31 c 2399 19296 1948 1 228.0000 0.0000 -
2394.78/2404.67 c 2405 19390 1966 1 228.0000 0.0000 -
2399.95/2409.82 c 2410 19501 1978 1 228.0000 0.0000 -
2405.03/2414.99 c 2415 19615 1998 1 228.0000 0.0000 -
2408.02/2417.91 c * 2418 19635 2000 1 175.0000 0.0000 -
2410.14/2420.03 c 2420 19691 1405 1 175.0000 0.0000 -
2415.29/2425.27 c 2425 19817 1413 1 175.0000 0.0000 -
2421.67/2431.61 c 2432 19851 1418 1 175.0000 0.0000 -
2426.85/2436.85 c 2437 19978 1432 1 175.0000 0.0000 -
2432.03/2442.06 c 2442 20097 1452 1 175.0000 0.0000 -
2437.70/2447.72 c 2448 20181 1464 1 175.0000 0.0000 -
2446.56/2456.68 c 2457 20285 1472 1 175.0000 0.0000 -
2454.13/2464.21 c 2464 20392 1482 1 175.0000 0.0000 -
2459.61/2469.76 c 2470 20501 1505 1 175.0000 0.0000 -
2465.20/2475.38 c 2475 20608 1513 1 175.0000 0.0000 -
2470.67/2480.80 c 2481 20718 1521 1 175.0000 0.0000 -
2475.85/2486.08 c 2486 20795 1528 1 175.0000 0.0000 -
2481.82/2492.08 c 2492 20884 1529 1 175.0000 0.0000 -
2487.59/2497.86 c 2498 20977 1543 1 175.0000 0.0000 -
2492.97/2503.29 c 2503 21066 1552 1 175.0000 0.0000 -
2500.34/2510.63 c 2511 21141 1558 1 175.0000 0.0000 -
2505.83/2516.14 c 2516 21228 1571 1 175.0000 0.0000 -
2511.39/2521.75 c 2522 21340 1581 1 175.0000 0.0000 -
2517.17/2527.57 c 2528 21390 1591 1 175.0000 0.0000 -
2521.35/2531.75 c * 2532 21463 1598 1 152.0000 0.0000 -
2522.46/2532.81 c 2533 21483 1430 1 152.0000 0.0000 -
2527.93/2538.30 c 2538 21577 1443 1 152.0000 0.0000 -
2534.11/2544.51 c 2545 21623 1447 1 152.0000 0.0000 -
2539.19/2549.64 c 2550 21733 1459 1 152.0000 0.0000 -
2546.45/2556.91 c 2557 21822 1466 1 152.0000 0.0000 -
2552.33/2562.84 c 2563 21940 1481 1 152.0000 0.0000 -
2558.31/2568.80 c 2569 21993 1489 1 152.0000 0.0000 -
2564.96/2575.56 c 2576 22094 1496 1 152.0000 0.0000 -
2570.23/2580.81 c 2581 22156 1509 1 152.0000 0.0000 -
2577.42/2588.10 c 2588 22232 1520 1 152.0000 0.0000 -
2582.87/2593.57 c 2594 22277 1525 1 152.0000 0.0000 -
2588.94/2599.62 c 2600 22333 1528 1 152.0000 0.0000 -
2595.00/2605.75 c 2606 22402 1534 1 152.0000 0.0000 -
2602.28/2613.01 c 2613 22463 1541 1 152.0000 0.0000 -
2609.24/2620.05 c 2620 22490 1544 1 152.0000 0.0000 -
2615.60/2626.43 c 2626 22594 1553 1 152.0000 0.0000 -
2621.07/2631.90 c 2632 22674 1560 1 152.0000 0.0000 -
2626.33/2637.25 c 2637 22776 1563 1 152.0000 0.0000 -
2631.40/2642.32 c 2642 22841 1568 1 152.0000 0.0000 -
2636.48/2647.42 c 2647 22866 1570 1 152.0000 0.0000 -
2643.06/2654.05 c 2654 22916 1576 1 152.0000 0.0000 -
2648.32/2659.33 c 2659 22935 1578 1 152.0000 0.0000 -
2653.88/2664.97 c 2665 23013 1588 1 152.0000 0.0000 -
2659.06/2670.12 c 2670 23129 1604 1 152.0000 0.0000 -
2664.41/2675.53 c 2676 23234 1621 1 152.0000 0.0000 -
2669.68/2680.83 c 2681 23355 1633 1 152.0000 0.0000 -
2674.75/2686.01 c 2686 23457 1648 1 152.0000 0.0000 -
2680.02/2691.21 c 2691 23548 1657 1 152.0000 0.0000 -
2685.39/2696.66 c 2697 23616 1668 1 152.0000 0.0000 -
2690.86/2702.16 c 2702 23694 1675 1 152.0000 0.0000 -
2696.32/2707.65 c 2708 23828 1684 1 152.0000 0.0000 -
2701.58/2712.97 c 2713 23917 1695 1 152.0000 0.0000 -
2706.77/2718.13 c 2718 24027 1701 1 152.0000 0.0000 -
2712.13/2723.50 c 2724 24127 1718 1 152.0000 0.0000 -
2717.20/2728.61 c 2729 24233 1730 1 152.0000 0.0000 -
2722.36/2733.88 c 2734 24314 1740 1 152.0000 0.0000 -
2727.65/2739.12 c 2739 24455 1752 1 152.0000 0.0000 -
2733.11/2744.67 c 2745 24537 1763 1 152.0000 0.0000 -
2738.37/2750.01 c 2750 24604 1771 1 152.0000 0.0000 -
2743.84/2755.40 c 2755 24636 1776 1 152.0000 0.0000 -
2748.92/2760.57 c 2761 24726 1784 1 152.0000 0.0000 -
2754.21/2765.82 c 2766 24849 1802 1 152.0000 0.0000 -
2759.40/2771.09 c 2771 24966 1804 1 152.0000 0.0000 -
2764.57/2776.20 c 2776 25109 1817 1 152.0000 0.0000 -
2769.74/2781.47 c 2781 25213 1828 1 152.0000 0.0000 -
2774.92/2786.60 c 2787 25334 1843 1 152.0000 0.0000 -
2780.00/2791.78 c 2792 25460 1861 1 152.0000 0.0000 -
2785.29/2797.11 c 2797 25583 1876 1 152.0000 0.0000 -
2790.75/2802.50 c 2802 25718 1886 1 152.0000 0.0000 -
2796.03/2807.81 c 2808 25856 1902 1 152.0000 0.0000 -
2801.51/2813.34 c 2813 25977 1915 1 152.0000 0.0000 -
2806.79/2818.63 c 2819 26097 1927 1 152.0000 0.0000 -
2811.87/2823.78 c 2824 26229 1944 1 152.0000 0.0000 -
2818.34/2830.29 c 2830 26312 1952 1 152.0000 0.0000 -
2823.72/2835.66 c 2836 26441 1965 1 152.0000 0.0000 -
2828.90/2840.80 c 2841 26543 1971 1 152.0000 0.0000 -
2834.19/2846.18 c 2846 26653 1980 1 152.0000 0.0000 -
2839.55/2851.52 c 2852 26752 1991 1 152.0000 0.0000 -
2844.73/2856.78 c 2857 26858 1999 1 152.0000 0.0000 -
2850.03/2862.03 c 2862 26954 2009 1 152.0000 0.0000 -
2855.20/2867.27 c 2867 27069 2026 1 152.0000 0.0000 -
2860.48/2872.57 c 2873 27166 2034 1 152.0000 0.0000 -
2865.75/2877.85 c 2878 27251 2046 1 152.0000 0.0000 -
2871.04/2883.12 c 2883 27366 2061 1 152.0000 0.0000 -
2876.41/2888.52 c 2889 27454 2073 1 152.0000 0.0000 -
2881.90/2894.08 c 2894 27590 2096 1 152.0000 0.0000 -
2887.76/2899.91 c 2900 27696 2111 1 152.0000 0.0000 -
2893.34/2905.50 c 2906 27826 2126 1 152.0000 0.0000 -
2898.72/2911.01 c 2911 27942 2138 1 152.0000 0.0000 -
2904.00/2916.24 c 2916 28015 2149 1 152.0000 0.0000 -
2909.28/2921.52 c 2922 28120 2156 1 152.0000 0.0000 -
2914.45/2926.78 c 2927 28222 2162 1 152.0000 0.0000 -
2919.85/2932.11 c 2932 28324 2160 1 152.0000 0.0000 -
2925.31/2937.60 c 2938 28423 2175 1 152.0000 0.0000 -
2930.49/2942.89 c 2943 28510 2186 1 152.0000 0.0000 -
2935.87/2948.23 c 2948 28581 2194 1 152.0000 0.0000 -
2947.52/2959.98 c 2960 28597 2193 1 152.0000 0.0000 -
2952.80/2965.24 c 2965 28712 2218 1 152.0000 0.0000 -
2957.98/2970.44 c 2970 28821 2230 1 152.0000 0.0000 -
2963.58/2976.02 c 2976 28916 2243 1 152.0000 0.0000 -
2968.74/2981.27 c 2981 29014 2256 1 152.0000 0.0000 -
2973.92/2986.41 c 2986 29115 2264 1 152.0000 0.0000 -
2979.10/2991.62 c 2992 29244 2278 1 152.0000 0.0000 -
2981.39/2994.02 c * 2994 29268 2282 1 151.0000 0.0000 -
2984.61/2997.16 c 2997 29348 2222 1 151.0000 0.0000 -
2990.08/3002.60 c 3003 29460 2233 1 151.0000 0.0000 -
2995.36/3007.94 c 3008 29572 2246 1 151.0000 0.0000 -
3001.34/3013.96 c 3014 29668 2257 1 151.0000 0.0000 -
3006.53/3019.18 c 3019 29800 2280 1 151.0000 0.0000 -
3012.19/3024.81 c 3025 29907 2299 1 151.0000 0.0000 -
3017.48/3030.17 c 3030 30026 2320 1 151.0000 0.0000 -
3022.75/3035.48 c 3035 30130 2331 1 151.0000 0.0000 -
3028.03/3040.71 c 3041 30228 2334 1 151.0000 0.0000 -
3033.20/3045.90 c 3046 30329 2341 1 151.0000 0.0000 -
3038.29/3051.09 c 3051 30442 2346 1 151.0000 0.0000 -
3043.76/3056.51 c 3057 30540 2361 1 151.0000 0.0000 -
3048.94/3061.78 c 3062 30652 2369 1 151.0000 0.0000 -
3054.02/3066.90 c 3067 30770 2379 1 151.0000 0.0000 -
3059.21/3072.07 c 3072 30897 2381 1 151.0000 0.0000 -
3064.29/3077.16 c 3077 31018 2394 1 151.0000 0.0000 -
3065.68/3078.58 c * 3079 31018 2394 1 107.0000 0.0000 -
3070.08/3082.92 c 3083 31091 1570 1 107.0000 0.0000 -
3075.05/3088.01 c 3088 31156 1569 1 107.0000 0.0000 -
3080.73/3093.67 c 3094 31260 1573 1 107.0000 0.0000 -
3085.91/3098.83 c 3099 31382 1574 1 107.0000 0.0000 -
3091.09/3104.05 c 3104 31500 1581 1 107.0000 0.0000 -
3096.36/3109.36 c 3109 31630 1593 1 107.0000 0.0000 -
3101.74/3114.75 c 3115 31780 1600 1 107.0000 0.0000 -
3106.92/3119.98 c 3120 31928 1622 1 107.0000 0.0000 -
3112.30/3125.38 c 3125 32064 1637 1 107.0000 0.0000 -
3117.48/3130.57 c 3131 32221 1641 1 107.0000 0.0000 -
3122.75/3135.84 c 3136 32362 1654 1 107.0000 0.0000 -
3128.13/3141.25 c 3141 32532 1660 1 107.0000 0.0000 -
3133.71/3146.80 c 3147 32671 1671 1 107.0000 0.0000 -
3138.78/3152.01 c 3152 32820 1684 1 107.0000 0.0000 -
3143.98/3157.15 c 3157 32973 1703 1 107.0000 0.0000 -
3145.97/3159.15 c * 3159 32973 1703 1 54.0000 0.0000 -
3149.07/3162.29 c 3162 33105 971 1 54.0000 0.0000 -
3154.25/3167.40 c 3167 33221 976 1 54.0000 0.0000 -
3160.02/3173.20 c 3173 33369 966 1 54.0000 0.0000 -
3165.19/3178.48 c 3178 33503 964 1 54.0000 0.0000 -
3170.57/3183.83 c 3184 33678 977 1 54.0000 0.0000 -
3175.87/3189.19 c 3189 33809 984 1 54.0000 0.0000 -
3180.93/3194.28 c 3194 33973 1004 1 54.0000 0.0000 -
3186.11/3199.44 c 3199 34147 1015 1 54.0000 0.0000 -
3191.49/3204.89 c 3205 34291 1019 1 54.0000 0.0000 -
3196.57/3210.01 c 3210 34439 1032 1 54.0000 0.0000 -
3202.24/3215.60 c 3216 34594 1051 1 54.0000 0.0000 -
3207.33/3220.75 c 3221 34736 1061 1 54.0000 0.0000 -
3212.50/3225.97 c 3226 34915 1071 1 54.0000 0.0000 -
3217.60/3231.09 c 3231 35086 1082 1 54.0000 0.0000 -
3222.76/3236.21 c 3236 35282 1078 1 54.0000 0.0000 -
3227.84/3241.37 c 3241 35468 1090 1 54.0000 0.0000 -
3233.12/3246.66 c 3247 35660 1088 1 54.0000 0.0000 -
3238.30/3251.87 c 3252 35832 1100 1 54.0000 0.0000 -
3243.67/3257.25 c 3257 35993 1102 1 54.0000 0.0000 -
3248.76/3262.37 c 3262 36042 1103 1 54.0000 0.0000 -
3254.54/3268.19 c 3268 36197 1110 1 54.0000 0.0000 -
3260.81/3274.48 c 3274 36247 1110 1 54.0000 0.0000 -
3266.59/3280.26 c 3280 36255 1107 1 54.0000 0.0000 -
3275.07/3288.77 c 3289 36316 1109 1 54.0000 0.0000 -
3281.95/3295.61 c 3296 36366 1112 1 54.0000 0.0000 -
3288.13/3301.87 c 3302 36402 1115 1 54.0000 0.0000 -
3294.41/3308.16 c 3308 36513 1117 1 54.0000 0.0000 -
3300.39/3314.16 c 3314 36526 1116 1 54.0000 0.0000 -
3305.76/3319.51 c 3320 36671 1129 1 54.0000 0.0000 -
3310.94/3324.74 c 3325 36802 1131 1 54.0000 0.0000 -
3319.33/3333.14 c 3333 36850 1128 1 54.0000 0.0000 -
3324.50/3338.33 c 3338 36952 1132 1 54.0000 0.0000 -
3329.98/3343.88 c 3344 36994 1136 1 54.0000 0.0000 -
3335.36/3349.28 c 3349 37052 1140 1 54.0000 0.0000 -
3341.83/3355.79 c 3356 37209 1153 1 54.0000 0.0000 -
3347.01/3360.95 c 3361 37364 1166 1 54.0000 0.0000 -
3352.10/3366.03 c 3366 37394 1168 1 54.0000 0.0000 -
3358.57/3372.50 c 3372 37497 1170 1 54.0000 0.0000 -
3363.75/3377.79 c 3378 37663 1179 1 54.0000 0.0000 -
3369.14/3383.12 c 3383 37832 1189 1 54.0000 0.0000 -
3374.20/3388.27 c 3388 38006 1197 1 54.0000 0.0000 -
3379.48/3393.53 c 3394 38168 1207 1 54.0000 0.0000 -
3384.76/3398.84 c 3399 38337 1224 1 54.0000 0.0000 -
3389.95/3404.02 c 3404 38525 1242 1 54.0000 0.0000 -
3395.03/3409.13 c 3409 38711 1247 1 54.0000 0.0000 -
3400.10/3414.25 c 3414 38904 1247 1 54.0000 0.0000 -
3405.68/3419.84 c 3420 38944 1247 1 54.0000 0.0000 -
3411.26/3425.43 c 3425 38977 1242 1 54.0000 0.0000 -
3416.43/3430.69 c 3431 39134 1237 1 54.0000 0.0000 -
3421.62/3435.84 c 3436 39300 1258 1 54.0000 0.0000 -
3426.69/3440.94 c 3441 39467 1263 1 54.0000 0.0000 -
3431.88/3446.16 c 3446 39649 1267 1 54.0000 0.0000 -
3437.15/3451.41 c 3451 39785 1277 1 54.0000 0.0000 -
3442.74/3457.08 c 3457 39905 1255 1 54.0000 0.0000 -
3447.90/3462.23 c 3462 40051 1227 1 54.0000 0.0000 -
3453.18/3467.54 c 3468 40189 1236 1 54.0000 0.0000 -
3459.06/3473.44 c 3473 40295 1239 1 54.0000 0.0000 -
3464.14/3478.55 c 3479 40392 1241 1 54.0000 0.0000 -
3469.22/3483.62 c 3484 40570 1247 1 54.0000 0.0000 -
3474.39/3488.85 c 3489 40735 1264 1 54.0000 0.0000 -
3479.87/3494.35 c 3494 40906 1260 1 54.0000 0.0000 -
3485.45/3500.01 c 3500 41021 1265 1 54.0000 0.0000 -
3490.63/3505.14 c 3505 41099 1277 1 54.0000 0.0000 -
3495.70/3510.26 c 3510 41253 1293 1 54.0000 0.0000 -
3500.77/3515.38 c 3515 41395 1302 1 54.0000 0.0000 -
3505.85/3520.49 c 3520 41553 1329 1 54.0000 0.0000 -
3510.92/3525.57 c 3526 41729 1346 1 54.0000 0.0000 -
3516.20/3530.85 c 3531 41929 1360 1 54.0000 0.0000 -
3521.28/3535.97 c 3536 42113 1370 1 54.0000 0.0000 -
3526.56/3541.24 c 3541 42246 1377 1 54.0000 0.0000 -
3531.73/3546.47 c 3546 42422 1393 1 54.0000 0.0000 -
3537.01/3551.71 c 3552 42594 1406 1 54.0000 0.0000 -
3542.08/3556.85 c 3557 42761 1427 1 54.0000 0.0000 -
3547.16/3561.97 c 3562 42935 1433 1 54.0000 0.0000 -
3552.35/3567.12 c 3567 43101 1439 1 54.0000 0.0000 -
3557.51/3572.33 c 3572 43276 1452 1 54.0000 0.0000 -
3562.59/3577.48 c 3577 43450 1467 1 54.0000 0.0000 -
3567.86/3582.71 c 3583 43631 1480 1 54.0000 0.0000 -
3572.95/3587.83 c 3588 43801 1502 1 54.0000 0.0000 -
3578.02/3592.98 c 3593 43989 1518 1 54.0000 0.0000 -
3583.10/3598.10 c 3598 44156 1535 1 54.0000 0.0000 -
3586.38/3601.32 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.38/3601.33 c Total Time : 3601.3300
3586.38/3601.33 c solving : 3601.3300
3586.38/3601.33 c presolving : 3.5900 (included in solving)
3586.38/3601.33 c B&B Tree :
3586.38/3601.33 c nodes (total) : 1
3586.38/3601.33 c Solution :
3586.38/3601.33 c Solutions found : 12
3586.38/3601.33 c Primal Bound : +5.40000000000000e+01
3586.38/3601.33 c Dual Bound : +0.00000000000000e+00
3586.38/3601.33 c Gap : infinite
3586.38/3601.33 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3586.48/3601.43 o 54
3586.48/3601.43 s SATISFIABLE
3586.48/3601.43 v -x1089 -x1088 -x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
3586.48/3601.43 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053
3586.48/3601.43 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
3586.48/3601.43 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
3586.48/3601.43 v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
3586.48/3601.43 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979
3586.48/3601.43 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
3586.48/3601.43 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
3586.48/3601.43 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
3586.48/3601.43 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
3586.48/3601.43 v -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
3586.48/3601.43 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853
3586.48/3601.43 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
3586.48/3601.43 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811
3586.48/3601.43 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
3586.48/3601.43 v -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
3586.48/3601.43 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
3586.48/3601.43 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
3586.48/3601.43 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706
3586.48/3601.43 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
3586.48/3601.43 v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
3586.48/3601.43 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
3586.48/3601.43 v -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
3586.48/3601.43 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
3586.48/3601.43 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
3586.48/3601.43 v -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
3586.48/3601.43 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
3586.48/3601.43 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518
3586.48/3601.43 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497
3586.48/3601.43 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
3586.48/3601.43 v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
3586.48/3601.43 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
3586.98/3601.95 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
3586.98/3601.95 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
3586.98/3601.95 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
3586.98/3601.95 v x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
3586.98/3601.95 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330
3586.98/3601.95 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
3586.98/3601.95 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
3586.98/3601.95 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
3586.98/3601.95 v x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
3586.98/3601.95 v -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
3586.98/3601.95 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
3586.98/3601.95 v x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
3586.98/3601.95 v x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
3586.98/3601.95 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
3586.98/3601.95 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
3586.98/3601.95 v x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
3586.98/3601.95 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74
3586.98/3601.95 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
3586.98/3601.95 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3586.98/3601.95 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61876 MiB free)
memory of node 1: 64473 MiB (59977 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426822-1720906603/watcher-4426822-1720906603 -o /tmp/evaluation-result-4426822-1720906603/solver-4426822-1720906603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720905497-717721 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426822-1720906603.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=719464, runsolver pid=719461
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.58 4.22 4.07 5/247 719465
/proc/meminfo: memFree=124756496/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=43244 memory=31480 CPUtime=0.1 cores=0,2
/proc/719464/stat : 719464 (fscip) R 719461 719464 715511 0 -1 4194304 5805 0 0 0 9 1 0 0 20 0 1 0 142816241 44281856 7870 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 10811 7870 2318 3032 0 7211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43244 KiB
Current children cumulated memory: 31480 KiB
[startup+0.213007 s]*
/proc/loadavg: 4.58 4.22 4.07 5/247 719465
/proc/meminfo: memFree=124737812/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=61712 memory=50116 CPUtime=0.21 cores=0,2
/proc/719464/stat : 719464 (fscip) R 719461 719464 715511 0 -1 4194304 10442 0 0 0 18 3 0 0 20 0 1 0 142816241 63193088 12529 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 15428 12529 2318 3032 0 11828 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61712 KiB
Current children cumulated memory: 50116 KiB
[startup+0.3128 s]*
/proc/loadavg: 4.58 4.22 4.07 6/247 719465
/proc/meminfo: memFree=124721412/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=79600 memory=67912 CPUtime=0.31 cores=0,2
/proc/719464/stat : 719464 (fscip) R 719461 719464 715511 0 -1 4194304 14941 0 0 0 27 4 0 0 20 0 1 0 142816241 81510400 16978 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 19900 16978 2318 3032 0 16300 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 79600 KiB
Current children cumulated memory: 67912 KiB
[startup+0.700365 s]
/proc/loadavg: 4.58 4.22 4.07 5/247 719465
/proc/meminfo: memFree=124680924/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=202488 memory=190860 CPUtime=0.69 cores=0,2
/proc/719464/stat : 719464 (fscip) R 719461 719464 715511 0 -1 4194304 45840 0 0 0 58 11 0 0 20 0 1 0 142816241 207347712 47715 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 50622 47715 2558 3032 0 47022 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 202488 KiB
Current children cumulated memory: 190860 KiB
[startup+1.50033 s]
/proc/loadavg: 4.58 4.22 4.07 5/247 719465
/proc/meminfo: memFree=124514268/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=408916 memory=391404 CPUtime=1.48 cores=0,2
/proc/719464/stat : 719464 (fscip) R 719461 719464 715511 0 -1 4194304 98704 0 0 0 127 21 0 0 20 0 1 0 142816241 418729984 97851 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 102229 97851 2622 3032 0 98629 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 408916 KiB
Current children cumulated memory: 391404 KiB
[startup+3.11304 s]
/proc/loadavg: 4.58 4.22 4.07 5/247 719465
/proc/meminfo: memFree=124355588/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=450772 memory=431316 CPUtime=3.09 cores=0,2
/proc/719464/stat : 719464 (fscip) R 719461 719464 715511 0 -1 4194304 112711 0 0 0 286 23 0 0 20 0 1 0 142816241 461590528 107829 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 112693 107829 2654 3032 0 109093 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 450772 KiB
Current children cumulated memory: 431316 KiB
[startup+6.3004 s]
/proc/loadavg: 4.61 4.24 4.07 5/249 719468
/proc/meminfo: memFree=123903600/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1006080 memory=882316 CPUtime=6.25 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 231718 0 0 0 580 45 0 0 20 0 3 0 142816241 1030225920 220579 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 251520 220579 2718 3032 0 245282 0
[pid=719464/tid=719466] ppid=719461 vsize=1006080 memory=-6297830450180307819 CPUtime=1.73 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 77963 0 0 0 158 15 0 0 20 0 3 0 142816675 1030225920 220579 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1006080 memory=824444 CPUtime=0 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 142816733 1030225920 220579 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1006080 KiB
Current children cumulated memory: 882316 KiB
[startup+12.7004 s]
/proc/loadavg: 4.65 4.25 4.08 5/249 719468
/proc/meminfo: memFree=123750676/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1216836 memory=1035384 CPUtime=12.62 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 316757 0 0 0 1209 53 0 0 20 0 3 0 142816241 1246040064 258846 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 304209 258846 2862 3032 0 286596 0
[pid=719464/tid=719466] ppid=719461 vsize=1216836 memory=12712 CPUtime=8.11 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 162997 0 0 0 788 23 0 0 20 0 3 0 142816675 1246040064 258846 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1216836 memory=1035384 CPUtime=0 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 142816733 1246040064 258846 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1216836 KiB
Current children cumulated memory: 1035384 KiB
[startup+25.5004 s]
/proc/loadavg: 4.73 4.29 4.10 5/249 719471
/proc/meminfo: memFree=123726048/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1224832 memory=1059724 CPUtime=25.38 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 407490 0 0 0 2481 57 0 0 20 0 3 0 142816241 1254227968 264931 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 306208 264931 2862 3032 0 302341 0
[pid=719464/tid=719466] ppid=719461 vsize=1224832 memory=1052540 CPUtime=20.87 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 253715 0 0 0 2060 27 0 0 20 0 3 0 142816675 1254227968 264931 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1224832 memory=1049636 CPUtime=0 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 142816733 1254227968 264931 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1224832 KiB
Current children cumulated memory: 1059724 KiB
[startup+51.1133 s]
/proc/loadavg: 4.55 4.28 4.10 5/247 719617
/proc/meminfo: memFree=124647992/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1540160 memory=1298228 CPUtime=50.9 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 639220 0 0 0 5012 78 0 0 20 0 3 0 142816241 1577123840 324557 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 385040 324557 2990 3032 0 373514 0
[pid=719464/tid=719466] ppid=719461 vsize=1540160 memory=12712 CPUtime=46.38 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 485407 0 0 0 4590 48 0 0 20 0 3 0 142816675 1577123840 324557 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1540160 memory=1035384 CPUtime=0 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 142816733 1577123840 324557 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1540160 KiB
Current children cumulated memory: 1298228 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.25 4.09 5/249 719626
/proc/meminfo: memFree=124346860/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1605696 memory=1360348 CPUtime=101.87 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 858558 0 0 0 10095 92 0 0 20 0 3 0 142816241 1644232704 340087 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 401424 340087 2990 3032 0 394430 0
[pid=719464/tid=719466] ppid=719461 vsize=1605696 memory=12712 CPUtime=97.36 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 704664 0 0 0 9674 62 0 0 20 0 3 0 142816675 1644232704 340087 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1605696 memory=1360336 CPUtime=0 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142816733 1644232704 340087 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1605696 KiB
Current children cumulated memory: 1360348 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.22 4.09 5/249 719780
/proc/meminfo: memFree=120847300/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1605696 memory=1362724 CPUtime=161.63 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 1007556 0 0 0 16061 102 0 0 20 0 3 0 142816241 1644232704 340681 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 401424 340681 2990 3032 0 394430 0
[pid=719464/tid=719466] ppid=719461 vsize=1605696 memory=1362528 CPUtime=157.11 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 853606 0 0 0 15639 72 0 0 20 0 3 0 142816675 1644232704 340681 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1605696 memory=1362724 CPUtime=0 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 142816733 1644232704 340681 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 1605696 KiB
Current children cumulated memory: 1362724 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.22 4.10 5/248 719792
/proc/meminfo: memFree=120601908/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1867840 memory=1605108 CPUtime=221.4 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 1177405 0 0 0 22021 119 0 0 20 0 3 0 142816241 1912668160 401277 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 466960 401277 2990 3032 0 454932 0
[pid=719464/tid=719466] ppid=719461 vsize=1867840 memory=12712 CPUtime=216.86 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 1023433 0 0 0 21598 88 0 0 20 0 3 0 142816675 1912668160 401277 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1867840 memory=12712 CPUtime=0 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 142816733 1912668160 401277 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 1867840 KiB
Current children cumulated memory: 1605108 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.19 4.09 5/248 719802
/proc/meminfo: memFree=120600388/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=1867840 memory=1606256 CPUtime=281.15 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 1262755 0 0 0 27989 126 0 0 20 0 3 0 142816241 1912668160 401564 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 466960 401564 2990 3032 0 454932 0
[pid=719464/tid=719466] ppid=719461 vsize=1867840 memory=1605416 CPUtime=276.61 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 1108754 0 0 0 27566 95 0 0 20 0 3 0 142816675 1912668160 401564 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=1867840 memory=5496 CPUtime=0 cores=0,2
################
# More data... #
################
[pid=719464] ppid=719461 vsize=5763144 memory=5456288 CPUtime=3388.24 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8442150 0 0 0 338018 806 0 0 20 0 3 0 142816241 5901459456 1364072 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1440786 1364072 3310 3032 0 1431151 0
[pid=719464/tid=719466] ppid=719461 vsize=5763144 memory=5421316 CPUtime=3383.16 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8176966 0 0 0 337566 750 0 0 20 0 3 0 142816675 5901459456 1364072 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5763144 memory=5456288 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 187 0 0 0 2 4 0 0 20 0 3 0 142816733 5901459456 1364072 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3388.24 s
Current children cumulated vsize: 5763144 KiB
Current children cumulated memory: 5456288 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.26 3.64 4/240 722312
/proc/meminfo: memFree=117461832/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5763144 memory=5456288 CPUtime=3448 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8517608 0 0 0 343988 812 0 0 20 0 3 0 142816241 5901459456 1364072 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1440786 1364072 3310 3032 0 1431151 0
[pid=719464/tid=719466] ppid=719461 vsize=5763144 memory=5421316 CPUtime=3442.92 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8252397 0 0 0 343536 756 0 0 20 0 3 0 142816675 5901459456 1364072 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5763144 memory=5456288 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 191 0 0 0 2 4 0 0 20 0 3 0 142816733 5901459456 1364072 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3448 s
Current children cumulated vsize: 5763144 KiB
Current children cumulated memory: 5456288 KiB
[startup+3522.3 s]
/proc/loadavg: 2.57 3.09 3.56 3/231 722353
/proc/meminfo: memFree=119853188/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5763144 memory=5410680 CPUtime=3507.74 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8632633 0 0 0 349952 822 0 0 20 0 3 0 142816241 5901459456 1352670 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1440786 1352670 3310 3032 0 1431151 0
[pid=719464/tid=719466] ppid=719461 vsize=5763144 memory=5456288 CPUtime=3502.64 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8367401 0 0 0 349499 765 0 0 20 0 3 0 142816675 5901459456 1352670 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5763144 memory=12720 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 193 0 0 0 2 4 0 0 20 0 3 0 142816733 5901459456 1352670 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3507.74 s
Current children cumulated vsize: 5763144 KiB
Current children cumulated memory: 5410680 KiB
[startup+3582.3 s]
/proc/loadavg: 2.38 2.93 3.47 3/231 722364
/proc/meminfo: memFree=119815756/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5770392 memory=5417324 CPUtime=3567.47 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8728842 0 0 0 355916 831 0 0 20 0 3 0 142816241 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1442598 1354331 3310 3032 0 1432963 0
[pid=719464/tid=719466] ppid=719461 vsize=5770392 memory=12720 CPUtime=3562.37 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8463585 0 0 0 355463 774 0 0 20 0 3 0 142816675 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5770392 memory=38220 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 195 0 0 0 2 4 0 0 20 0 3 0 142816733 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3567.47 s
Current children cumulated vsize: 5770392 KiB
Current children cumulated memory: 5417324 KiB
[startup+3602.15 s]
# the end of solver process 719464 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.47 s, system=8.75676 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.35 2.92 3.47 3/231 722364
/proc/meminfo: memFree=119814300/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5770392 memory=5417324 CPUtime=3569.17 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8730134 0 0 0 356086 831 0 0 20 0 3 0 142816241 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1442598 1354331 3310 3032 0 1432963 0
[pid=719464/tid=719466] ppid=719461 vsize=5770392 memory=3300 CPUtime=3564.07 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8464877 0 0 0 355633 774 0 0 20 0 3 0 142816675 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5770392 memory=2220 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 195 0 0 0 2 4 0 0 20 0 3 0 142816733 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3569.17 s
Current children cumulated vsize: 5770392 KiB
Current children cumulated memory: 5417324 KiB
[startup+3590.4 s]
/proc/loadavg: 2.32 2.90 3.46 3/231 722366
/proc/meminfo: memFree=119808964/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5770392 memory=5417324 CPUtime=3575.53 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8735809 0 0 0 356721 832 0 0 20 0 3 0 142816241 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1442598 1354331 3310 3032 0 1432963 0
[pid=719464/tid=719466] ppid=719461 vsize=5770392 memory=12320 CPUtime=3570.43 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8470552 0 0 0 356268 775 0 0 20 0 3 0 142816675 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5770392 memory=6720661060644846443 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 195 0 0 0 2 4 0 0 20 0 3 0 142816733 5908881408 1354331 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3575.53 s
Current children cumulated vsize: 5770392 KiB
Current children cumulated memory: 5417324 KiB
[startup+3596.8 s]
/proc/loadavg: 2.29 2.89 3.45 3/231 722368
/proc/meminfo: memFree=119693272/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5835928 memory=5529440 CPUtime=3581.9 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8813297 0 0 0 357350 840 0 0 20 0 3 0 142816241 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1458982 1382360 3310 3032 0 1449281 0
[pid=719464/tid=719466] ppid=719461 vsize=5835928 memory=5417324 CPUtime=3576.8 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8548040 0 0 0 356897 783 0 0 20 0 3 0 142816675 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5835928 memory=0 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 195 0 0 0 2 4 0 0 20 0 3 0 142816733 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3581.9 s
Current children cumulated vsize: 5835928 KiB
Current children cumulated memory: 5529440 KiB
[startup+3600 s]*
/proc/loadavg: 2.27 2.87 3.44 3/231 722368
/proc/meminfo: memFree=119690880/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5835928 memory=5529440 CPUtime=3585.09 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8820883 0 0 0 357669 840 0 0 20 0 3 0 142816241 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1458982 1382360 3310 3032 0 1449281 0
[pid=719464/tid=719466] ppid=719461 vsize=5835928 memory=13924 CPUtime=3579.99 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8556329 0 0 0 357216 783 0 0 20 0 3 0 142816675 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5835928 memory=11560 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 197 0 0 0 2 4 0 0 20 0 3 0 142816733 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 5835928 KiB
Current children cumulated memory: 5529440 KiB
[startup+3600.8 s]
/proc/loadavg: 2.27 2.87 3.44 3/231 722368
/proc/meminfo: memFree=119690880/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5835928 memory=5529440 CPUtime=3585.88 cores=0,2
/proc/719464/stat : 719464 (fscip) S 719461 719464 715511 0 -1 1077936128 8832532 0 0 0 357748 840 0 0 20 0 3 0 142816241 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1458982 1382360 3310 3032 0 1449281 0
[pid=719464/tid=719466] ppid=719461 vsize=5835928 memory=6720661056299547499 CPUtime=3580.78 cores=0,2
/proc/719464/task/719466/stat : 719466 (fscip) R 719461 719464 715511 0 -1 4194368 8567273 0 0 0 357295 783 0 0 20 0 3 0 142816675 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
[pid=719464/tid=719468] ppid=719461 vsize=5835928 memory=12320 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 197 0 0 0 2 4 0 0 20 0 3 0 142816733 5975990272 1382360 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 5835928 KiB
Current children cumulated memory: 5529440 KiB
[startup+3601.6 s]
/proc/loadavg: 2.27 2.87 3.44 3/231 722368
/proc/meminfo: memFree=119690180/131655788 swapFree=131071996/131071996
[pid=719464] ppid=719461 vsize=5673192 memory=5310164 CPUtime=3586.68 cores=0,2
/proc/719464/stat : 719464 (fscip) R 719461 719464 715511 0 -1 4194304 8938073 0 0 0 357818 850 0 0 20 0 2 0 142816241 5809348608 1327541 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
/proc/719464/statm: 1418298 1327541 3310 3032 0 1408663 0
[pid=719464/tid=719468] ppid=719461 vsize=5673192 memory=5529440 CPUtime=0.06 cores=0,2
/proc/719464/task/719468/stat : 719468 (fscip) S 719461 719464 715511 0 -1 1077936192 197 0 0 0 2 4 0 0 20 0 2 0 142816733 5809348608 1327541 134679101440 4194304 16613245 140729727934128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 49238016 140729727935457 140729727935573 140729727935573 140729727942640 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 5673192 KiB
Current children cumulated memory: 5310164 KiB
[startup+3602 s]*
/proc/loadavg: 2.27 2.87 3.44 3/230 722368
/proc/meminfo: memFree=121411768/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3602.11 s]
/proc/loadavg: 2.27 2.87 3.44 3/230 722368
/proc/meminfo: memFree=121411768/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): 3602.15
CPU time (s): 3587.23
CPU user time (s): 3578.47
CPU system time (s): 8.75676
CPU usage (%): 99.5859
Max. virtual memory (cumulated for all children) (KiB): 5901464
Max. memory (cumulated for all children) (KiB): 5556572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.47
system time used= 8.75676
maximum resident set size= 5556572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8973709
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= 8859
involuntary context switches= 25361
# summary of solver processes directly reported to runsolver:
# pid: 719464
# total CPU time (s): 3587.23
# total CPU user time (s): 3578.47
# total CPU system time (s): 8.75676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0744 second user time and 37.3507 second system time
The end
Begin job on nodeC004 at 2024-07-13 23:36:56
IDJOB=4426822
IDBENCH=143901
IDSOLVER=3044
FILE ID=nodeC004/4426822-1720906603
RUNJOBID= nodeC004-1720905497-717721
SLURM_JOB_ID= 7486070
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426822-1720906603/watcher-4426822-1720906603 -o /tmp/evaluation-result-4426822-1720906603/solver-4426822-1720906603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720905497-717721 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426822-1720906603.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1e83745c12c7ec680c949b5ab02beb5
RANDOM SEED=1390750246
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
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 : 6984.29
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 : 3667.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.309
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 : 6984.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.481
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.267
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 : 6984.29
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 : 3492.147
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.503
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 : 6984.29
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.526
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124778664 kB
MemAvailable: 124864284 kB
Buffers: 334296 kB
Cached: 598196 kB
SwapCached: 0 kB
Active: 538196 kB
Inactive: 5827256 kB
Active(anon): 3352 kB
Inactive(anon): 5467032 kB
Active(file): 534844 kB
Inactive(file): 360224 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29552 kB
Writeback: 48 kB
AnonPages: 5432332 kB
Mapped: 136156 kB
Shmem: 37700 kB
KReclaimable: 61500 kB
Slab: 151348 kB
SReclaimable: 61500 kB
SUnreclaim: 89848 kB
KernelStack: 3984 kB
PageTables: 19728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4322728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 46592 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2125824 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: 166728 kB
DirectMap2M: 7077888 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC004 at 2024-07-14 00:36:59