0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.11 c Default LC presolving (default).
0.09/0.11 c ** Before presolving: virtualMemUsedAtLc = 108175843, getVmSize() = 102174720, SCIPgetMemUsed() = 75225366, SCIPgetMemTotal() = 79641134, SCIPgetMemExternEstim() = 28534709
0.09/0.11 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
0.68/0.74 c ** Estimated virtualMemUsedAtSolver = 276060839, getVmSize() = 414674944, SCIPgetMemUsed() = 305760726, SCIPgetMemTotal() = 385556550, SCIPgetMemExternEstim() = 28534709
0.68/0.74 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.68/0.74 c Original Problem :
0.68/0.74 c Problem name : instance-4464698-1722387696
0.68/0.74 c Variables : 31248 (31248 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.74 c Constraints : 354
0.68/0.74 c Objective sense : minimize
0.68/0.74 c Presolved Problem :
0.68/0.74 c Variables : 29568 (29568 binary, 0 integer, 0 implicit integer, 0 continuous)
0.68/0.74 c Constraints : 186
0.68/0.74 c Constraints : Number
0.68/0.74 c knapsack : 9
0.68/0.74 c linear : 168
0.68/0.74 c logicor : 9
0.68/0.74 c ** Instance transfer method used: 0
0.68/0.78 c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.82 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.82 c Nodes Active
0.79/0.82 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
47.89/48.41 c 48 2 1 1 - 0.0000 -
54.13/54.73 c 55 27 28 1 - 0.0000 -
59.56/60.20 c 60 32 31 1 - 0.0000 -
65.59/66.36 c 66 45 44 1 - 0.0000 -
77.96/78.83 c 79 48 47 1 - 0.0000 -
83.01/83.91 c 84 62 61 1 - 0.0000 -
89.15/90.18 c 90 72 71 1 - 0.0000 -
94.69/95.70 c 96 78 77 1 - 0.0000 -
100.92/102.01 c 102 92 91 1 - 0.0000 -
107.35/108.59 c 109 102 101 1 - 0.0000 -
112.59/113.86 c 114 108 107 1 - 0.0000 -
117.83/119.19 c 119 138 137 1 - 0.0000 -
123.86/125.25 c 125 187 184 1 - 0.0000 -
129.59/131.05 c 131 235 232 1 - 0.0000 -
138.09/139.67 c 140 280 275 1 - 0.0000 -
144.32/145.96 c 146 345 322 1 - 0.0000 -
149.85/151.51 c 152 436 381 1 - 0.0000 -
155.01/156.76 c 157 455 400 1 - 0.0000 -
160.83/162.66 c 163 476 419 1 - 0.0000 -
165.98/167.83 c 168 502 445 1 - 0.0000 -
170.93/172.84 c 173 528 471 1 - 0.0000 -
176.36/178.33 c 178 559 502 1 - 0.0000 -
182.30/184.39 c 184 594 533 1 - 0.0000 -
187.35/189.43 c 189 604 543 1 - 0.0000 -
192.99/195.13 c 195 609 548 1 - 0.0000 -
198.03/200.25 c 200 624 561 1 - 0.0000 -
204.16/206.49 c 206 648 583 1 - 0.0000 -
210.20/212.52 c 213 669 602 1 - 0.0000 -
215.93/218.38 c 218 687 620 1 - 0.0000 -
221.08/223.52 c 224 699 632 1 - 0.0000 -
226.42/228.92 c 229 749 669 1 - 0.0000 -
232.84/235.47 c 235 782 688 1 - 0.0000 -
240.65/243.37 c 243 803 709 1 - 0.0000 -
246.59/249.34 c 249 825 731 1 - 0.0000 -
252.02/254.87 c 255 875 779 1 - 0.0000 -
257.76/260.62 c 261 908 812 1 - 0.0000 -
262.70/265.68 c 266 925 829 1 - 0.0000 -
268.15/271.11 c 271 977 879 1 - 0.0000 -
273.49/276.50 c 276 1020 920 1 - 0.0000 -
278.53/281.68 c 282 1054 954 1 - 0.0000 -
284.56/287.79 c 288 1090 990 1 - 0.0000 -
289.91/293.12 c 293 1145 1021 1 - 0.0000 -
294.86/298.18 c 298 1163 1039 1 - 0.0000 -
300.19/303.56 c 304 1169 1045 1 - 0.0000 -
306.32/309.76 c 310 1229 1101 1 - 0.0000 -
311.96/315.47 c 315 1259 1131 1 - 0.0000 -
317.80/321.38 c 321 1303 1175 1 - 0.0000 -
324.23/327.88 c 328 1343 1207 1 - 0.0000 -
329.37/333.09 c 333 1371 1231 1 - 0.0000 -
334.51/338.27 c 338 1413 1272 1 - 0.0000 -
339.85/343.65 c 344 1434 1293 1 - 0.0000 -
346.09/349.97 c 350 1465 1324 1 - 0.0000 -
352.92/356.84 c 357 1512 1365 1 - 0.0000 -
358.65/362.68 c 363 1572 1415 1 - 0.0000 -
364.48/368.57 c 369 1619 1460 1 - 0.0000 -
369.63/373.79 c 374 1648 1489 1 - 0.0000 -
374.67/378.83 c 379 1683 1520 1 - 0.0000 -
380.51/384.75 c 385 1743 1568 1 - 0.0000 -
386.44/390.70 c 391 1748 1573 1 - 0.0000 -
391.49/395.85 c 396 1790 1607 1 - 0.0000 -
397.52/401.94 c 402 1829 1638 1 - 0.0000 -
403.05/407.57 c 408 1867 1665 1 - 0.0000 -
409.00/413.52 c 414 1919 1705 1 - 0.0000 -
414.03/418.68 c 419 1989 1769 1 - 0.0000 -
419.78/424.48 c 424 2033 1803 1 - 0.0000 -
425.02/429.71 c 430 2075 1835 1 - 0.0000 -
430.36/435.12 c 435 2133 1869 1 - 0.0000 -
436.00/440.87 c 441 2197 1919 1 - 0.0000 -
441.53/446.49 c 446 2250 1958 1 - 0.0000 -
447.27/452.20 c 452 2270 1978 1 - 0.0000 -
453.02/458.06 c 458 2339 2033 1 - 0.0000 -
458.16/463.20 c 463 2380 2070 1 - 0.0000 -
464.59/469.75 c 470 2393 2083 1 - 0.0000 -
469.73/474.95 c 475 2435 2106 1 - 0.0000 -
474.67/480.00 c 480 2481 2140 1 - 0.0000 -
480.01/485.37 c 485 2531 2172 1 - 0.0000 -
485.35/490.79 c 491 2574 2213 1 - 0.0000 -
491.19/496.63 c 497 2649 2276 1 - 0.0000 -
496.44/501.92 c 502 2714 2321 1 - 0.0000 -
501.67/507.24 c 507 2742 2341 1 - 0.0000 -
507.41/513.08 c 513 2780 2377 1 - 0.0000 -
513.26/518.90 c 519 2807 2402 1 - 0.0000 -
519.48/525.20 c 525 2841 2436 1 - 0.0000 -
524.82/530.69 c 531 2870 2465 1 - 0.0000 -
531.06/536.97 c 537 2899 2490 1 - 0.0000 -
537.29/543.21 c 543 2922 2511 1 - 0.0000 -
543.22/549.29 c 549 2967 2554 1 - 0.0000 -
548.86/554.94 c 555 3009 2596 1 - 0.0000 -
554.00/560.15 c 560 3047 2634 1 - 0.0000 -
559.94/566.16 c 566 3094 2681 1 - 0.0000 -
565.38/571.65 c 572 3137 2724 1 - 0.0000 -
570.62/576.95 c 577 3170 2757 1 - 0.0000 -
575.97/582.31 c 582 3205 2790 1 - 0.0000 -
582.00/588.47 c 588 3246 2829 1 - 0.0000 -
587.93/594.42 c 594 3295 2876 1 - 0.0000 -
593.47/600.03 c 600 3338 2915 1 - 0.0000 -
599.01/605.69 c 606 3382 2957 1 - 0.0000 -
604.16/610.88 c 611 3412 2985 1 - 0.0000 -
609.89/616.61 c 617 3449 3014 1 - 0.0000 -
615.74/622.59 c 623 3482 3047 1 - 0.0000 -
623.85/630.76 c 631 3489 3054 1 - 0.0000 -
629.18/636.10 c 636 3542 3097 1 - 0.0000 -
637.68/644.77 c 645 3573 3120 1 - 0.0000 -
643.43/650.51 c 651 3619 3164 1 - 0.0000 -
648.67/655.84 c 656 3652 3193 1 - 0.0000 -
655.40/662.61 c 663 3676 3217 1 - 0.0000 -
662.42/669.74 c 670 3702 3243 1 - 0.0000 -
668.46/675.86 c 676 3741 3282 1 - 0.0000 -
673.70/681.17 c 681 3788 3321 1 - 0.0000 -
679.54/687.01 c 687 3837 3364 1 - 0.0000 -
684.88/692.46 c 692 3865 3392 1 - 0.0000 -
690.32/697.92 c 698 3901 3428 1 - 0.0000 -
696.05/703.73 c 704 3943 3462 1 - 0.0000 -
701.20/708.93 c 709 3990 3509 1 - 0.0000 -
707.13/714.90 c 715 4029 3548 1 - 0.0000 -
712.77/720.68 c 721 4058 3577 1 - 0.0000 -
718.31/726.20 c 726 4119 3618 1 - 0.0000 -
724.55/732.51 c 733 4151 3650 1 - 0.0000 -
729.49/737.54 c 738 4185 3674 1 - 0.0000 -
734.74/742.88 c 743 4199 3688 1 - 0.0000 -
742.55/750.72 c 751 4220 3709 1 - 0.0000 -
747.80/756.07 c 756 4238 3727 1 - 0.0000 -
753.14/761.48 c 761 4276 3765 1 - 0.0000 -
758.18/766.59 c 767 4337 3791 1 - 0.0000 -
764.12/772.50 c 772 4366 3816 1 - 0.0000 -
769.96/778.49 c 778 4405 3851 1 - 0.0000 -
777.77/786.36 c 786 4435 3881 1 - 0.0000 -
783.21/791.82 c 792 4466 3912 1 - 0.0000 -
788.85/797.51 c 798 4493 3937 1 - 0.0000 -
794.09/802.85 c 803 4516 3960 1 - 0.0000 -
799.74/808.50 c 809 4553 3997 1 - 0.0000 -
805.18/814.04 c 814 4620 4033 1 - 0.0000 -
811.41/820.38 c 820 4642 4055 1 - 0.0000 -
817.44/826.40 c 826 4687 4098 1 - 0.0000 -
823.28/832.32 c 832 4733 4144 1 - 0.0000 -
832.08/841.22 c 841 4759 4170 1 - 0.0000 -
837.92/847.16 c 847 4797 4208 1 - 0.0000 -
843.76/853.01 c 853 4829 4236 1 - 0.0000 -
850.49/859.84 c 860 4847 4254 1 - 0.0000 -
856.42/865.83 c 866 4875 4282 1 - 0.0000 -
862.06/871.58 c 872 4908 4315 1 - 0.0000 -
867.80/877.30 c 877 4930 4337 1 - 0.0000 -
873.84/883.42 c 883 4976 4375 1 - 0.0000 -
879.58/889.22 c 889 5019 4414 1 - 0.0000 -
885.12/894.83 c 895 5046 4441 1 - 0.0000 -
890.27/900.06 c 900 5079 4470 1 - 0.0000 -
895.41/905.23 c 905 5115 4499 1 - 0.0000 -
900.75/910.60 c 911 5155 4524 1 - 0.0000 -
906.69/916.64 c 917 5180 4545 1 - 0.0000 -
912.43/922.49 c 922 5215 4578 1 - 0.0000 -
917.67/927.77 c 928 5266 4603 1 - 0.0000 -
922.81/932.96 c 933 5289 4624 1 - 0.0000 -
927.96/938.14 c 938 5318 4651 1 - 0.0000 -
933.70/943.96 c 944 5355 4686 1 - 0.0000 -
939.33/949.66 c 950 5381 4712 1 - 0.0000 -
944.37/954.79 c 955 5384 4715 1 - 0.0000 -
949.52/959.99 c 960 5406 4737 1 - 0.0000 -
954.95/965.42 c 965 5434 4761 1 - 0.0000 -
961.49/972.01 c 972 5479 4792 1 - 0.0000 -
967.53/978.17 c 978 5520 4831 1 - 0.0000 -
972.87/983.54 c 984 5557 4868 1 - 0.0000 -
977.81/988.54 c 989 5576 4887 1 - 0.0000 -
984.35/995.14 c 995 5594 4905 1 - 0.0000 -
989.69/1000.58 c 1001 5617 4928 1 - 0.0000 -
995.63/1006.55 c 1007 5625 4936 1 - 0.0000 -
1000.87/1011.81 c 1012 5658 4969 1 - 0.0000 -
1006.11/1017.12 c 1017 5687 4998 1 - 0.0000 -
1011.46/1022.52 c 1023 5723 5034 1 - 0.0000 -
1016.51/1027.61 c 1028 5744 5055 1 - 0.0000 -
1022.15/1033.34 c 1033 5780 5089 1 - 0.0000 -
1027.49/1038.72 c 1039 5817 5126 1 - 0.0000 -
1032.44/1043.75 c 1044 5834 5143 1 - 0.0000 -
1037.79/1049.13 c 1049 5853 5156 1 - 0.0000 -
1043.61/1055.06 c 1055 5856 5159 1 - 0.0000 -
1049.25/1060.75 c 1061 5882 5185 1 - 0.0000 -
1054.79/1066.32 c 1066 5903 5206 1 - 0.0000 -
1060.23/1071.87 c 1072 5930 5233 1 - 0.0000 -
1066.96/1078.64 c 1079 5963 5266 1 - 0.0000 -
1072.41/1084.12 c 1084 6009 5310 1 - 0.0000 -
1078.63/1090.42 c 1090 6057 5346 1 - 0.0000 -
1084.37/1096.23 c 1096 6080 5369 1 - 0.0000 -
1090.11/1102.07 c 1102 6117 5402 1 - 0.0000 -
1095.25/1107.27 c 1107 6148 5429 1 - 0.0000 -
1101.29/1113.39 c 1113 6188 5467 1 - 0.0000 -
1106.93/1119.00 c 1119 6220 5497 1 - 0.0000 -
1114.05/1126.22 c 1126 6246 5523 1 - 0.0000 -
1120.49/1132.79 c 1133 6262 5539 1 - 0.0000 -
1126.02/1138.31 c 1138 6306 5583 1 - 0.0000 -
1131.86/1144.21 c 1144 6339 5616 1 - 0.0000 -
1140.07/1152.52 c 1153 6363 5640 1 - 0.0000 -
1146.01/1158.56 c 1159 6388 5665 1 - 0.0000 -
1151.35/1163.96 c 1164 6424 5701 1 - 0.0000 -
1156.69/1169.33 c 1169 6452 5729 1 - 0.0000 -
1162.13/1174.84 c 1175 6473 5750 1 - 0.0000 -
1167.28/1180.08 c 1180 6500 5777 1 - 0.0000 -
1172.62/1185.48 c 1185 6537 5806 1 - 0.0000 -
1178.36/1191.20 c 1191 6563 5830 1 - 0.0000 -
1184.10/1197.04 c 1197 6613 5874 1 - 0.0000 -
1193.49/1206.55 c 1207 6627 5886 1 - 0.0000 -
1198.84/1211.93 c 1212 6666 5923 1 - 0.0000 -
1203.88/1217.07 c 1217 6705 5962 1 - 0.0000 -
1209.91/1223.13 c 1223 6749 6000 1 - 0.0000 -
1215.64/1229.00 c 1229 6796 6043 1 - 0.0000 -
1221.29/1234.62 c 1235 6834 6075 1 - 0.0000 -
1226.33/1239.79 c 1240 6860 6099 1 - 0.0000 -
1231.37/1244.81 c 1245 6884 6123 1 - 0.0000 -
1237.21/1250.74 c 1251 6907 6146 1 - 0.0000 -
1242.46/1256.01 c 1256 6929 6168 1 - 0.0000 -
1247.40/1261.04 c 1261 6945 6184 1 - 0.0000 -
1252.73/1266.49 c 1266 6950 6189 1 - 0.0000 -
1258.47/1272.22 c 1272 6979 6216 1 - 0.0000 -
1263.82/1277.62 c 1278 7003 6240 1 - 0.0000 -
1269.95/1283.80 c 1284 7030 6267 1 - 0.0000 -
1275.14/1289.10 c 1289 7048 6285 1 - 0.0000 -
1280.21/1294.18 c 1294 7059 6296 1 - 0.0000 -
1285.68/1299.69 c 1300 7091 6328 1 - 0.0000 -
1290.77/1304.72 c 1305 7118 6353 1 - 0.0000 -
1296.44/1310.49 c 1310 7152 6387 1 - 0.0000 -
1302.02/1316.02 c 1316 7176 6411 1 - 0.0000 -
1307.19/1321.25 c 1321 7214 6448 1 - 0.0000 -
1313.56/1327.63 c 1328 7250 6472 1 - 0.0000 -
1319.73/1333.85 c 1334 7269 6491 1 - 0.0000 -
1325.71/1339.80 c 1340 7300 6522 1 - 0.0000 -
1331.09/1345.25 c 1345 7324 6546 1 - 0.0000 -
1336.76/1350.95 c 1351 7366 6584 1 - 0.0000 -
1341.75/1355.98 c 1356 7388 6606 1 - 0.0000 -
1347.12/1361.37 c 1361 7399 6617 1 - 0.0000 -
1352.50/1366.70 c 1367 7441 6657 1 - 0.0000 -
1358.37/1372.68 c 1373 7474 6690 1 - 0.0000 -
1363.76/1378.04 c 1378 7509 6725 1 - 0.0000 -
1369.62/1383.92 c 1384 7530 6746 1 - 0.0000 -
1374.90/1389.21 c 1389 7555 6769 1 - 0.0000 -
1380.68/1395.07 c 1395 7583 6796 1 - 0.0000 -
1386.76/1401.18 c 1401 7605 6818 1 - 0.0000 -
1392.63/1407.03 c 1407 7649 6860 1 - 0.0000 -
1398.90/1413.36 c 1413 7688 6899 1 - 0.0000 -
1404.38/1418.82 c 1419 7705 6912 1 - 0.0000 -
1414.12/1428.64 c 1429 7732 6939 1 - 0.0000 -
1419.80/1434.34 c 1434 7765 6972 1 - 0.0000 -
1425.77/1440.36 c 1440 7792 6999 1 - 0.0000 -
1431.85/1446.47 c 1446 7822 7027 1 - 0.0000 -
1437.32/1451.98 c 1452 7840 7045 1 - 0.0000 -
1443.89/1458.54 c 1459 7860 7065 1 - 0.0000 -
1450.57/1465.27 c 1465 7873 7078 1 - 0.0000 -
1455.75/1470.49 c 1470 7900 7099 1 - 0.0000 -
1461.72/1476.41 c 1476 7951 7148 1 - 0.0000 -
1467.00/1481.74 c 1482 7990 7187 1 - 0.0000 -
1472.28/1487.08 c 1487 8027 7224 1 - 0.0000 -
1478.26/1493.03 c 1493 8081 7258 1 - 0.0000 -
1483.93/1498.74 c 1499 8115 7286 1 - 0.0000 -
1489.99/1504.84 c 1505 8206 7309 1 - 0.0000 -
1495.47/1510.34 c 1510 8329 7350 1 - 0.0000 -
1503.53/1518.44 c 1518 8396 7381 1 - 0.0000 -
1508.70/1523.66 c 1524 8452 7412 1 - 0.0000 -
1514.09/1529.06 c 1529 8469 7429 1 - 0.0000 -
1519.96/1534.94 c 1535 8502 7458 1 - 0.0000 -
1526.23/1541.27 c 1541 8575 7503 1 - 0.0000 -
1531.80/1546.89 c 1547 8611 7539 1 - 0.0000 -
1537.18/1552.29 c 1552 8686 7576 1 - 0.0000 -
1542.66/1557.71 c 1558 8730 7618 1 - 0.0000 -
1548.53/1563.64 c 1564 8765 7653 1 - 0.0000 -
1554.20/1569.35 c 1569 8809 7697 1 - 0.0000 -
1559.67/1574.89 c 1575 8845 7729 1 - 0.0000 -
1565.34/1580.55 c 1581 8889 7773 1 - 0.0000 -
1571.13/1586.39 c 1586 8938 7822 1 - 0.0000 -
1577.10/1592.30 c 1592 8975 7859 1 - 0.0000 -
1582.57/1597.87 c 1598 9003 7887 1 - 0.0000 -
1588.24/1603.58 c 1604 9042 7922 1 - 0.0000 -
1593.73/1609.10 c 1609 9079 7959 1 - 0.0000 -
1598.90/1614.27 c 1614 9114 7994 1 - 0.0000 -
1604.28/1619.65 c 1620 9149 8025 1 - 0.0000 -
1612.83/1628.23 c 1628 9178 8054 1 - 0.0000 -
1618.90/1634.39 c 1634 9230 8102 1 - 0.0000 -
1624.68/1640.15 c 1640 9270 8140 1 - 0.0000 -
1630.15/1645.63 c 1646 9332 8194 1 - 0.0000 -
1635.63/1651.19 c 1651 9357 8219 1 - 0.0000 -
1642.00/1657.57 c 1658 9369 8231 1 - 0.0000 -
1647.18/1662.74 c 1663 9404 8262 1 - 0.0000 -
1652.85/1668.45 c 1668 9454 8308 1 - 0.0000 -
1658.43/1674.06 c 1674 9492 8346 1 - 0.0000 -
1663.60/1679.21 c 1679 9520 8374 1 - 0.0000 -
1669.18/1684.87 c 1685 9559 8411 1 - 0.0000 -
1674.76/1690.46 c 1690 9606 8458 1 - 0.0000 -
1679.93/1695.69 c 1696 9639 8491 1 - 0.0000 -
1686.00/1701.79 c 1702 9659 8511 1 - 0.0000 -
1691.88/1707.60 c 1708 9698 8550 1 - 0.0000 -
1697.46/1713.24 c 1713 9762 8588 1 - 0.0000 -
1705.31/1721.14 c 1721 9793 8610 1 - 0.0000 -
1711.78/1727.62 c 1728 9814 8631 1 - 0.0000 -
1716.76/1732.69 c 1733 9836 8653 1 - 0.0000 -
1722.24/1738.15 c 1738 9874 8689 1 - 0.0000 -
1727.31/1743.28 c 1743 9909 8724 1 - 0.0000 -
1732.58/1748.59 c 1749 9939 8754 1 - 0.0000 -
1738.96/1754.99 c 1755 9972 8787 1 - 0.0000 -
1744.63/1760.66 c 1761 10016 8831 1 - 0.0000 -
1750.41/1766.43 c 1766 10046 8857 1 - 0.0000 -
1755.68/1771.73 c 1772 10128 8939 1 - 0.0000 -
1761.35/1777.42 c 1777 10295 9106 1 - 0.0000 -
1766.43/1782.55 c 1783 10398 9209 1 - 0.0000 -
1772.10/1788.28 c 1788 10458 9269 1 - 0.0000 -
1778.27/1794.41 c 1794 10504 9307 1 - 0.0000 -
1783.75/1799.91 c 1800 10559 9358 1 - 0.0000 -
1789.43/1805.60 c 1806 10601 9398 1 - 0.0000 -
1794.50/1810.71 c 1811 10738 9535 1 - 0.0000 -
1800.47/1816.73 c 1817 10869 9666 1 - 0.0000 -
1805.65/1821.93 c 1822 10952 9749 1 - 0.0000 -
1810.82/1827.19 c 1827 11021 9818 1 - 0.0000 -
1816.70/1833.08 c 1833 11073 9870 1 - 0.0000 -
1822.47/1838.80 c 1839 11117 9910 1 - 0.0000 -
1829.42/1845.84 c 1846 11133 9926 1 - 0.0000 -
1834.50/1850.96 c 1851 11169 9962 1 - 0.0000 -
1839.58/1856.07 c 1856 11221 10014 1 - 0.0000 -
1845.56/1862.09 c 1862 11275 10068 1 - 0.0000 -
1850.93/1867.42 c 1867 11307 10100 1 - 0.0000 -
1856.49/1873.01 c 1873 11346 10139 1 - 0.0000 -
1861.87/1878.48 c 1878 11393 10186 1 - 0.0000 -
1867.84/1884.41 c 1884 11441 10234 1 - 0.0000 -
1873.22/1889.83 c 1890 11486 10279 1 - 0.0000 -
1878.50/1895.13 c 1895 11534 10327 1 - 0.0000 -
1884.47/1901.15 c 1901 11574 10367 1 - 0.0000 -
1889.95/1906.65 c 1907 11623 10416 1 - 0.0000 -
1895.62/1912.32 c 1912 11672 10451 1 - 0.0000 -
1901.29/1918.07 c 1918 11717 10496 1 - 0.0000 -
1906.86/1923.61 c 1924 11766 10545 1 - 0.0000 -
1912.24/1929.09 c 1929 11813 10592 1 - 0.0000 -
1917.91/1934.76 c 1935 11871 10640 1 - 0.0000 -
1925.68/1942.52 c 1943 11914 10675 1 - 0.0000 -
1931.45/1948.34 c 1948 11944 10699 1 - 0.0000 -
1937.12/1954.05 c 1954 12004 10733 1 - 0.0000 -
1943.68/1960.63 c 1961 12018 10745 1 - 0.0000 -
1949.46/1966.41 c 1966 12064 10786 1 - 0.0000 -
1954.63/1971.63 c 1972 12188 10822 1 - 0.0000 -
1960.40/1977.43 c 1977 12272 10850 1 - 0.0000 -
1965.58/1982.66 c 1983 12310 10888 1 - 0.0000 -
1971.16/1988.21 c 1988 12347 10925 1 - 0.0000 -
1977.05/1994.17 c 1994 12395 10969 1 - 0.0000 -
1982.53/1999.68 c 2000 12445 11019 1 - 0.0000 -
1987.71/2004.90 c 2005 12469 11043 1 - 0.0000 -
1993.29/2010.48 c 2010 12512 11086 1 - 0.0000 -
1998.56/2015.78 c 2016 12569 11139 1 - 0.0000 -
2004.55/2021.71 c 2022 12617 11181 1 - 0.0000 -
2010.13/2027.34 c 2027 12655 11219 1 - 0.0000 -
2015.71/2032.90 c 2033 12685 11249 1 - 0.0000 -
2020.99/2038.23 c 2038 12724 11288 1 - 0.0000 -
2026.77/2044.07 c 2044 12765 11329 1 - 0.0000 -
2032.15/2049.41 c 2049 12797 11361 1 - 0.0000 -
2037.14/2054.46 c 2054 12828 11390 1 - 0.0000 -
2043.01/2060.31 c 2060 12883 11433 1 - 0.0000 -
2048.19/2065.50 c 2066 12918 11466 1 - 0.0000 -
2054.27/2071.63 c 2072 12930 11478 1 - 0.0000 -
2059.95/2077.30 c 2077 12978 11526 1 - 0.0000 -
2064.93/2082.32 c 2082 13013 11561 1 - 0.0000 -
2070.51/2087.97 c 2088 13074 11616 1 - 0.0000 -
2076.49/2093.93 c 2094 13112 11654 1 - 0.0000 -
2082.07/2099.53 c 2100 13159 11701 1 - 0.0000 -
2087.74/2105.20 c 2105 13193 11735 1 - 0.0000 -
2093.42/2110.99 c 2111 13218 11760 1 - 0.0000 -
2098.71/2116.21 c 2116 13266 11808 1 - 0.0000 -
2104.28/2121.86 c 2122 13306 11848 1 - 0.0000 -
2109.97/2127.55 c 2128 13345 11885 1 - 0.0000 -
2115.55/2133.15 c 2133 13378 11918 1 - 0.0000 -
2121.23/2138.86 c 2139 13430 11970 1 - 0.0000 -
2127.20/2144.87 c 2145 13483 12019 1 - 0.0000 -
2132.28/2149.95 c 2150 13525 12059 1 - 0.0000 -
2137.76/2155.47 c 2155 13592 12112 1 - 0.0000 -
2143.35/2161.06 c 2161 13650 12168 1 - 0.0000 -
2148.43/2166.15 c 2166 13681 12199 1 - 0.0000 -
2153.61/2171.35 c 2171 13710 12228 1 - 0.0000 -
2158.59/2176.36 c 2176 13747 12263 1 - 0.0000 -
2164.47/2182.26 c 2182 13790 12304 1 - 0.0000 -
2169.85/2187.66 c 2188 13827 12341 1 - 0.0000 -
2177.71/2195.59 c 2196 13855 12369 1 - 0.0000 -
2183.39/2201.21 c 2201 13906 12420 1 - 0.0000 -
2188.78/2206.60 c 2207 13952 12466 1 - 0.0000 -
2194.46/2212.39 c 2212 13999 12513 1 - 0.0000 -
2200.14/2218.00 c 2218 14049 12563 1 - 0.0000 -
2206.11/2224.06 c 2224 14099 12611 1 - 0.0000 -
2211.19/2229.13 c 2229 14126 12638 1 - 0.0000 -
2217.17/2235.14 c 2235 14171 12683 1 - 0.0000 -
2223.15/2241.16 c 2241 14218 12730 1 - 0.0000 -
2229.03/2247.04 c 2247 14277 12783 1 - 0.0000 -
2234.90/2252.96 c 2253 14308 12814 1 - 0.0000 -
2240.99/2259.01 c 2259 14374 12880 1 - 0.0000 -
2246.86/2264.98 c 2265 14421 12927 1 - 0.0000 -
2251.94/2270.08 c 2270 14462 12966 1 - 0.0000 -
2258.12/2276.23 c 2276 14498 13002 1 - 0.0000 -
2263.20/2281.36 c 2281 14528 13032 1 - 0.0000 -
2268.78/2286.90 c 2287 14576 13080 1 - 0.0000 -
2274.46/2292.62 c 2293 14616 13120 1 - 0.0000 -
2280.24/2298.46 c 2298 14649 13153 1 - 0.0000 -
2285.83/2304.03 c 2304 14700 13204 1 - 0.0000 -
2290.91/2309.16 c 2309 14736 13240 1 - 0.0000 -
2296.58/2314.85 c 2315 14775 13277 1 - 0.0000 -
2302.96/2321.21 c 2321 14819 13321 1 - 0.0000 -
2308.85/2327.14 c 2327 14861 13363 1 - 0.0000 -
2314.62/2332.90 c 2333 14900 13402 1 - 0.0000 -
2320.99/2339.38 c 2339 14920 13422 1 - 0.0000 -
2326.29/2344.64 c 2345 14965 13467 1 - 0.0000 -
2332.36/2350.76 c 2351 15011 13513 1 - 0.0000 -
2337.95/2356.35 c 2356 15058 13560 1 - 0.0000 -
2343.64/2362.02 c 2362 15094 13596 1 - 0.0000 -
2350.31/2368.74 c 2369 15134 13636 1 - 0.0000 -
2355.90/2374.37 c 2374 15174 13676 1 - 0.0000 -
2361.87/2380.32 c 2380 15230 13716 1 - 0.0000 -
2367.96/2386.40 c 2386 15284 13766 1 - 0.0000 -
2373.25/2391.78 c 2392 15350 13820 1 - 0.0000 -
2379.32/2397.85 c 2398 15383 13853 1 - 0.0000 -
2385.21/2403.72 c 2404 15427 13897 1 - 0.0000 -
2390.29/2408.86 c 2409 15485 13955 1 - 0.0000 -
2396.07/2414.64 c 2415 15508 13978 1 - 0.0000 -
2401.76/2420.32 c 2420 15552 14022 1 - 0.0000 -
2407.84/2426.40 c 2426 15602 14072 1 - 0.0000 -
2413.83/2432.45 c 2432 15636 14106 1 - 0.0000 -
2419.71/2438.31 c 2438 15676 14146 1 - 0.0000 -
2427.58/2446.22 c 2446 15704 14174 1 - 0.0000 -
2432.86/2451.55 c 2452 15738 14208 1 - 0.0000 -
2438.65/2457.34 c 2457 15786 14256 1 - 0.0000 -
2444.73/2463.46 c 2463 15840 14310 1 - 0.0000 -
2450.32/2469.06 c 2469 15877 14345 1 - 0.0000 -
2456.30/2475.06 c 2475 15913 14381 1 - 0.0000 -
2461.98/2480.70 c 2481 15947 14413 1 - 0.0000 -
2467.76/2486.51 c 2487 15995 14445 1 - 0.0000 -
2472.85/2491.68 c 2492 16036 14478 1 - 0.0000 -
2478.13/2496.91 c 2497 16061 14503 1 - 0.0000 -
2483.91/2502.72 c 2503 16094 14532 1 - 0.0000 -
2489.59/2508.42 c 2508 16147 14583 1 - 0.0000 -
2494.58/2513.48 c 2513 16207 14623 1 - 0.0000 -
2500.75/2519.63 c 2520 16298 14666 1 - 0.0000 -
2506.14/2525.06 c 2525 16404 14742 1 - 0.0000 -
2511.33/2530.27 c 2530 16436 14768 1 - 0.0000 -
2517.31/2536.28 c 2536 16480 14800 1 - 0.0000 -
2522.99/2541.91 c 2542 16528 14842 1 - 0.0000 -
2528.08/2547.08 c 2547 16589 14891 1 - 0.0000 -
2534.35/2553.38 c 2553 16626 14928 1 - 0.0000 -
2539.73/2558.79 c 2559 16727 14979 1 - 0.0000 -
2545.12/2564.18 c 2564 16760 15006 1 - 0.0000 -
2555.39/2574.44 c 2574 16782 15028 1 - 0.0000 -
2560.97/2580.08 c 2580 16895 15099 1 - 0.0000 -
2567.84/2586.93 c 2587 16933 15130 1 - 0.0000 -
2573.03/2592.19 c 2592 16971 15166 1 - 0.0000 -
2580.01/2599.12 c 2599 16995 15188 1 - 0.0000 -
2586.19/2605.32 c 2605 17014 15205 1 - 0.0000 -
2591.27/2610.49 c 2610 17032 15223 1 - 0.0000 -
2596.86/2616.05 c 2616 17053 15244 1 - 0.0000 -
2602.13/2621.30 c 2621 17090 15281 1 - 0.0000 -
2608.02/2627.22 c 2627 17138 15329 1 - 0.0000 -
2613.30/2632.56 c 2633 17183 15374 1 - 0.0000 -
2618.59/2637.85 c 2638 17234 15425 1 - 0.0000 -
2623.97/2643.24 c 2643 17277 15468 1 - 0.0000 -
2629.65/2648.93 c 2649 17306 15497 1 - 0.0000 -
2636.14/2655.46 c 2655 17354 15545 1 - 0.0000 -
2643.12/2662.46 c 2662 17405 15596 1 - 0.0000 -
2650.30/2669.64 c 2670 17435 15626 1 - 0.0000 -
2655.38/2674.70 c 2675 17475 15666 1 - 0.0000 -
2661.17/2680.54 c 2681 17522 15713 1 - 0.0000 -
2666.85/2686.27 c 2686 17568 15757 1 - 0.0000 -
2672.93/2692.30 c 2692 17620 15809 1 - 0.0000 -
2678.12/2697.59 c 2698 17665 15854 1 - 0.0000 -
2684.40/2703.85 c 2704 17704 15893 1 - 0.0000 -
2689.78/2709.26 c 2709 17752 15941 1 - 0.0000 -
2695.68/2715.16 c 2715 17798 15987 1 - 0.0000 -
2700.86/2720.30 c 2720 17841 16030 1 - 0.0000 -
2706.34/2725.88 c 2726 17883 16072 1 - 0.0000 -
2711.83/2731.36 c 2731 17938 16127 1 - 0.0000 -
2717.11/2736.63 c 2737 17981 16170 1 - 0.0000 -
2723.09/2742.68 c 2743 18021 16210 1 - 0.0000 -
2729.08/2748.69 c 2749 18060 16249 1 - 0.0000 -
2734.47/2754.05 c 2754 18108 16293 1 - 0.0000 -
2740.24/2759.85 c 2760 18119 16300 1 - 0.0000 -
2745.63/2765.25 c 2765 18176 16355 1 - 0.0000 -
2751.41/2771.06 c 2771 18222 16397 1 - 0.0000 -
2756.69/2776.33 c 2776 18302 16473 1 - 0.0000 -
2762.18/2781.82 c 2782 18349 16512 1 - 0.0000 -
2767.66/2787.30 c 2787 18390 16551 1 - 0.0000 -
2773.45/2793.18 c 2793 18414 16573 1 - 0.0000 -
2778.83/2798.51 c 2799 18478 16637 1 - 0.0000 -
2784.51/2804.23 c 2804 18540 16699 1 - 0.0000 -
2790.40/2810.13 c 2810 18577 16734 1 - 0.0000 -
2795.69/2815.41 c 2815 18618 16775 1 - 0.0000 -
2801.18/2820.96 c 2821 18662 16817 1 - 0.0000 -
2806.76/2826.57 c 2827 18749 16900 1 - 0.0000 -
2812.84/2832.67 c 2833 18790 16941 1 - 0.0000 -
2818.33/2838.18 c 2838 18824 16975 1 - 0.0000 -
2823.61/2843.49 c 2843 18860 17007 1 - 0.0000 -
2828.79/2848.60 c 2849 18989 17108 1 - 0.0000 -
2833.77/2853.69 c 2854 19079 17182 1 - 0.0000 -
2839.96/2859.81 c 2860 19132 17226 1 - 0.0000 -
2846.04/2865.98 c 2866 19161 17255 1 - 0.0000 -
2851.42/2871.33 c 2871 19295 17313 1 - 0.0000 -
2857.80/2877.75 c 2878 19392 17351 1 - 0.0000 -
2863.19/2883.12 c 2883 19435 17386 1 - 0.0000 -
2868.27/2888.29 c 2888 19477 17428 1 - 0.0000 -
2873.85/2893.80 c 2894 19480 17431 1 - 0.0000 -
2879.45/2899.41 c 2899 19510 17461 1 - 0.0000 -
2884.93/2904.92 c 2905 19558 17505 1 - 0.0000 -
2890.81/2910.85 c 2911 19607 17554 1 - 0.0000 -
2896.00/2916.06 c 2916 19645 17592 1 - 0.0000 -
2902.09/2922.11 c 2922 19685 17632 1 - 0.0000 -
2907.67/2927.76 c 2928 19750 17685 1 - 0.0000 -
2912.96/2933.02 c 2933 19807 17734 1 - 0.0000 -
2918.94/2939.08 c 2939 19876 17797 1 - 0.0000 -
2924.42/2944.56 c 2945 19949 17858 1 - 0.0000 -
2929.81/2949.91 c 2950 20055 17937 1 - 0.0000 -
2934.90/2955.02 c 2955 20172 18030 1 - 0.0000 -
2940.58/2960.74 c 2961 20279 18135 1 - 0.0000 -
2945.96/2966.16 c 2966 20344 18196 1 - 0.0000 -
2951.54/2971.76 c 2972 20376 18228 1 - 0.0000 -
2957.04/2977.28 c 2977 20416 18266 1 - 0.0000 -
2962.62/2982.88 c 2983 20500 18322 1 - 0.0000 -
2969.00/2989.24 c 2989 20602 18371 1 - 0.0000 -
2974.49/2994.79 c 2995 20708 18463 1 - 0.0000 -
2979.78/3000.04 c 3000 20803 18542 1 - 0.0000 -
2985.56/3005.80 c 3006 20854 18587 1 - 0.0000 -
2991.04/3011.32 c 3011 20943 18676 1 - 0.0000 -
2996.43/3016.71 c 3017 21015 18746 1 - 0.0000 -
3002.01/3022.37 c 3022 21140 18871 1 - 0.0000 -
3007.71/3028.08 c 3028 21238 18928 1 - 0.0000 -
3013.09/3033.40 c 3033 21296 18984 1 - 0.0000 -
3018.87/3039.23 c 3039 21346 19018 1 - 0.0000 -
3024.86/3045.29 c 3045 21404 19058 1 - 0.0000 -
3030.24/3050.62 c 3051 21408 19062 1 - 0.0000 -
3036.22/3056.69 c 3057 21432 19082 1 - 0.0000 -
3041.81/3062.20 c 3062 21494 19137 1 - 0.0000 -
3047.59/3068.00 c 3068 21549 19178 1 - 0.0000 -
3053.58/3074.09 c 3074 21643 19261 1 - 0.0000 -
3059.36/3079.86 c 3080 21702 19317 1 - 0.0000 -
3065.35/3085.86 c 3086 21733 19346 1 - 0.0000 -
3070.54/3091.04 c 3091 21757 19370 1 - 0.0000 -
3076.42/3096.95 c 3097 21801 19414 1 - 0.0000 -
3082.30/3102.89 c 3103 21862 19459 1 - 0.0000 -
3087.69/3108.22 c 3108 21962 19509 1 - 0.0000 -
3092.87/3113.42 c 3113 22090 19593 1 - 0.0000 -
3097.96/3118.53 c 3119 22287 19658 1 - 0.0000 -
3103.05/3123.65 c 3124 22486 19702 1 - 0.0000 -
3108.83/3129.44 c 3129 22667 19753 1 - 0.0000 -
3113.92/3134.58 c 3135 22846 19791 1 - 0.0000 -
3119.10/3139.73 c 3140 23058 19922 1 - 0.0000 -
3124.18/3144.87 c 3145 23244 19965 1 - 0.0000 -
3129.47/3150.19 c 3150 23390 20010 1 - 0.0000 -
3135.26/3155.95 c 3156 23638 20176 1 - 0.0000 -
3141.14/3161.88 c 3162 23729 20225 1 - 0.0000 -
3146.73/3167.40 c 3167 23832 20236 1 - 0.0000 -
3151.91/3172.68 c 3173 23975 20248 1 - 0.0000 -
3157.40/3178.14 c 3178 24090 20291 1 - 0.0000 -
3162.98/3183.75 c 3184 24223 20305 1 - 0.0000 -
3168.96/3189.74 c 3190 24328 20330 1 - 0.0000 -
3174.25/3195.04 c 3195 24452 20344 1 - 0.0000 -
3180.13/3200.96 c 3201 24542 20358 1 - 0.0000 -
3186.41/3207.26 c 3207 24582 20374 1 - 0.0000 -
3191.89/3212.71 c 3213 24716 20394 1 - 0.0000 -
3197.48/3218.30 c 3218 24842 20418 1 - 0.0000 -
3202.56/3223.46 c 3223 24974 20427 1 - 0.0000 -
3208.06/3228.95 c 3229 25123 20433 1 - 0.0000 -
3213.14/3234.08 c 3234 25227 20453 1 - 0.0000 -
3220.12/3241.00 c 3241 25362 20461 1 - 0.0000 -
3225.40/3246.39 c 3246 25493 20521 1 - 0.0000 -
3230.89/3251.86 c 3252 25549 20561 1 - 0.0000 -
3236.27/3257.25 c 3257 25614 20588 1 - 0.0000 -
3251.02/3272.08 c 3272 25726 20617 1 - 0.0000 -
3257.30/3278.34 c 3278 25822 20657 1 - 0.0000 -
3262.79/3283.88 c 3284 25956 20721 1 - 0.0000 -
3267.98/3289.07 c 3289 26100 20756 1 - 0.0000 -
3273.16/3294.25 c 3294 26241 20785 1 - 0.0000 -
3278.55/3299.69 c 3300 26343 20802 1 - 0.0000 -
3283.84/3304.99 c 3305 26444 20817 1 - 0.0000 -
3289.12/3310.27 c 3310 26578 20834 1 - 0.0000 -
3294.20/3315.38 c 3315 26696 20843 1 - 0.0000 -
3300.29/3321.41 c 3321 26825 20855 1 - 0.0000 -
3306.67/3327.83 c 3328 26926 20878 1 - 0.0000 -
3312.26/3333.40 c 3333 27011 20901 1 - 0.0000 -
3318.24/3339.43 c 3339 27165 20940 1 - 0.0000 -
3323.93/3345.14 c 3345 27276 20949 1 - 0.0000 -
3329.21/3350.42 c 3350 27386 20983 1 - 0.0000 -
3334.39/3355.64 c 3356 27481 21000 1 - 0.0000 -
3339.97/3361.25 c 3361 27591 21007 1 - 0.0000 -
3345.86/3367.15 c 3367 27679 21014 1 - 0.0000 -
3352.14/3373.44 c 3373 27789 21023 1 - 0.0000 -
3357.93/3379.26 c 3379 27905 21035 1 - 0.0000 -
3363.62/3384.92 c 3385 28056 21062 1 - 0.0000 -
3369.10/3390.41 c 3390 28150 21093 1 - 0.0000 -
3374.29/3395.63 c 3396 28246 21121 1 - 0.0000 -
3379.78/3401.10 c 3401 28339 21131 1 - 0.0000 -
3384.86/3406.24 c 3406 28462 21140 1 - 0.0000 -
3390.24/3411.61 c 3412 28575 21170 1 - 0.0000 -
3395.63/3417.07 c 3417 28659 21179 1 - 0.0000 -
3400.81/3422.28 c 3422 28792 21195 1 - 0.0000 -
3406.80/3428.23 c 3428 28900 21203 1 - 0.0000 -
3411.78/3433.29 c 3433 29006 21214 1 - 0.0000 -
3417.37/3438.80 c 3439 29035 21234 1 - 0.0000 -
3423.06/3444.53 c 3445 29181 21244 1 - 0.0000 -
3428.44/3449.95 c 3450 29321 21254 1 - 0.0000 -
3433.63/3455.16 c 3455 29435 21272 1 - 0.0000 -
3439.21/3460.75 c 3461 29583 21281 1 - 0.0000 -
3444.40/3465.98 c 3466 29735 21290 1 - 0.0000 -
3450.28/3471.82 c 3472 29845 21298 1 - 0.0000 -
3455.67/3477.26 c 3477 29946 21317 1 - 0.0000 -
3460.85/3482.49 c 3482 30077 21330 1 - 0.0000 -
3466.14/3487.78 c 3488 30211 21348 1 - 0.0000 -
3471.32/3492.91 c 3493 30357 21356 1 - 0.0000 -
3476.41/3498.07 c 3498 30494 21369 1 - 0.0000 -
3481.69/3503.32 c 3503 30621 21387 1 - 0.0000 -
3486.98/3508.67 c 3509 30754 21403 1 - 0.0000 -
3492.27/3513.92 c 3514 30883 21414 1 - 0.0000 -
3497.46/3519.14 c 3519 31014 21428 1 - 0.0000 -
3502.54/3524.23 c 3524 31141 21438 1 - 0.0000 -
3507.83/3529.59 c 3530 31241 21458 1 - 0.0000 -
3513.81/3535.55 c 3536 31342 21486 1 - 0.0000 -
3519.49/3541.28 c 3541 31433 21548 1 - 0.0000 -
3525.38/3547.15 c 3547 31541 21584 1 - 0.0000 -
3530.86/3552.65 c 3553 31661 21619 1 - 0.0000 -
3536.05/3557.82 c 3558 31778 21635 1 - 0.0000 -
3542.04/3563.84 c 3564 31895 21676 1 - 0.0000 -
3547.81/3569.68 c 3570 32017 21698 1 - 0.0000 -
3553.09/3574.98 c 3575 32120 21716 1 - 0.0000 -
3560.67/3582.54 c 3583 32156 21744 1 - 0.0000 -
3565.86/3587.76 c 3588 32305 21755 1 - 0.0000 -
3571.04/3592.94 c 3593 32446 21770 1 - 0.0000 -
3576.13/3598.00 c 3598 32551 21781 0 - 0.0000 -
3576.42/3598.35 c SCIP Status : c solving was interrupted [hard time limit reached]
3576.42/3598.35 c Total Time : 3598.3500
3576.42/3598.35 c solving : 3598.3500
3576.42/3598.35 c presolving : 0.6300 (included in solving)
3576.42/3598.35 c B&B Tree :
3576.42/3598.35 c nodes (total) : 1
3576.42/3598.35 c Solution :
3576.42/3598.35 c Solutions found : 0
3576.42/3598.35 c Primal Bound : -
3576.42/3598.35 c Dual Bound : +0.00000000000000e+00
3576.42/3598.35 c Gap : -
3576.42/3598.39 s UNKNOWN
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: 63968 MiB (42494 MiB free)
memory of node 1: 64473 MiB (60510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464698-1722387696/watcher-4464698-1722387696 -o /tmp/evaluation-result-4464698-1722387696/solver-4464698-1722387696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31126 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464698-1722387696.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=37427, runsolver pid=37424
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.24 4.20 4.14 5/263 37428
/proc/meminfo: memFree=105404048/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=97984 memory=86676 CPUtime=0.09 cores=0,2
/proc/37427/stat : 37427 (fscip) R 37424 37427 31114 0 -1 4194304 19523 0 0 0 8 1 0 0 20 0 1 0 5369487 100335616 21669 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 24496 21669 2539 3035 0 20892 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97984 KiB
Current children cumulated memory: 86676 KiB
[startup+0.20586 s]*
/proc/loadavg: 4.24 4.20 4.14 5/263 37428
/proc/meminfo: memFree=105385896/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=117084 memory=100944 CPUtime=0.2 cores=0,2
/proc/37427/stat : 37427 (fscip) R 37424 37427 31114 0 -1 4194304 26642 0 0 0 17 3 0 0 20 0 1 0 5369487 119894016 25236 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 29271 25236 2710 3035 0 25667 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 100944 KiB
[startup+0.30582 s]*
/proc/loadavg: 4.24 4.20 4.14 5/263 37428
/proc/meminfo: memFree=105360256/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=148024 memory=126708 CPUtime=0.3 cores=0,2
/proc/37427/stat : 37427 (fscip) R 37424 37427 31114 0 -1 4194304 32183 0 0 0 26 4 0 0 20 0 1 0 5369487 151576576 31677 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 37006 31677 2758 3035 0 33402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148024 KiB
Current children cumulated memory: 126708 KiB
[startup+0.700242 s]
/proc/loadavg: 4.24 4.20 4.14 5/263 37428
/proc/meminfo: memFree=105359444/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=390268 memory=279888 CPUtime=0.68 cores=0,2
/proc/37427/stat : 37427 (fscip) R 37424 37427 31114 0 -1 4194304 70483 0 0 0 59 9 0 0 20 0 1 0 5369487 399634432 69972 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 97567 69972 2774 3035 0 93963 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 390268 KiB
Current children cumulated memory: 279888 KiB
[startup+1.50051 s]
/proc/loadavg: 4.22 4.20 4.14 5/265 37430
/proc/meminfo: memFree=105088252/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=643832 memory=450184 CPUtime=1.47 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 120113 0 0 0 130 17 0 0 20 0 3 0 5369487 659283968 112546 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 160958 112546 2854 3035 0 143480 0
[pid=37427/tid=37429] ppid=37424 vsize=643832 memory=4416 CPUtime=0.69 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 38641 0 0 0 64 5 0 0 20 0 3 0 5369561 659283968 112546 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=643832 memory=2272 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5369570 659283968 112546 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 643832 KiB
Current children cumulated memory: 450184 KiB
[startup+3.10651 s]
/proc/loadavg: 4.22 4.20 4.14 5/265 37430
/proc/meminfo: memFree=104991084/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=643832 memory=493208 CPUtime=3.07 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 142952 0 0 0 288 19 0 0 20 0 3 0 5369487 659283968 123302 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 160958 123302 2950 3035 0 154620 0
[pid=37427/tid=37429] ppid=37424 vsize=643832 memory=2272 CPUtime=2.28 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 61476 0 0 0 221 7 0 0 20 0 3 0 5369561 659283968 123302 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=643832 memory=311284 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5369570 659283968 123302 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 643832 KiB
Current children cumulated memory: 493208 KiB
[startup+6.30051 s]
/proc/loadavg: 4.20 4.20 4.14 5/265 37430
/proc/meminfo: memFree=104938404/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=720084 memory=552612 CPUtime=6.22 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 161189 0 0 0 601 21 0 0 20 0 3 0 5369487 737366016 138153 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 180021 138153 2950 3035 0 169907 0
[pid=37427/tid=37429] ppid=37424 vsize=720084 memory=540384 CPUtime=5.44 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 79707 0 0 0 535 9 0 0 20 0 3 0 5369561 737366016 138153 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=720084 memory=12272 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 5369570 737366016 138153 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 720084 KiB
Current children cumulated memory: 552612 KiB
[startup+12.7005 s]
/proc/loadavg: 4.18 4.19 4.14 5/265 37432
/proc/meminfo: memFree=104884572/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=791656 memory=588316 CPUtime=12.56 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 204778 0 0 0 1231 25 0 0 20 0 3 0 5369487 810655744 147079 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 197914 147079 2950 3035 0 178918 0
[pid=37427/tid=37429] ppid=37424 vsize=791656 memory=588316 CPUtime=11.78 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 123289 0 0 0 1165 13 0 0 20 0 3 0 5369561 810655744 147079 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=791656 memory=132 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5369570 810655744 147079 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 791656 KiB
Current children cumulated memory: 588316 KiB
[startup+25.5005 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 37433
/proc/meminfo: memFree=104728864/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=862648 memory=706216 CPUtime=25.23 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 316487 0 0 0 2488 35 0 0 20 0 3 0 5369487 883351552 176554 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 215662 176554 2950 3035 0 210854 0
[pid=37427/tid=37429] ppid=37424 vsize=862648 memory=588316 CPUtime=24.44 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 234985 0 0 0 2421 23 0 0 20 0 3 0 5369561 883351552 176554 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=862648 memory=11436 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5369570 883351552 176554 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 862648 KiB
Current children cumulated memory: 706216 KiB
[startup+51.1065 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 37438
/proc/meminfo: memFree=104703024/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=862648 memory=706524 CPUtime=50.56 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 367813 0 0 0 5018 38 0 0 20 0 3 0 5369487 883351552 176631 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 215662 176631 2950 3035 0 210854 0
[pid=37427/tid=37429] ppid=37424 vsize=862648 memory=11436 CPUtime=49.78 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 286259 0 0 0 4952 26 0 0 20 0 3 0 5369561 883351552 176631 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=862648 memory=16140 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 5369570 883351552 176631 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 862648 KiB
Current children cumulated memory: 706524 KiB
[startup+102.301 s]
/proc/loadavg: 4.12 4.17 4.13 5/265 37447
/proc/meminfo: memFree=104611488/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=928184 memory=744844 CPUtime=101.22 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 492030 0 0 0 10074 48 0 0 20 0 3 0 5369487 950460416 186211 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 232046 186211 2998 3035 0 218453 0
[pid=37427/tid=37429] ppid=37424 vsize=928184 memory=744844 CPUtime=100.42 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 410404 0 0 0 10007 35 0 0 20 0 3 0 5369561 950460416 186211 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=928184 memory=744844 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 5369570 950460416 186211 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 101.22 s
Current children cumulated vsize: 928184 KiB
Current children cumulated memory: 744844 KiB
[startup+162.301 s]
/proc/loadavg: 4.08 4.15 4.13 5/264 37458
/proc/meminfo: memFree=104548632/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=928184 memory=746420 CPUtime=160.54 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 589733 0 0 0 15998 56 0 0 20 0 3 0 5369487 950460416 186605 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 232046 186605 2998 3035 0 218453 0
[pid=37427/tid=37429] ppid=37424 vsize=928184 memory=745708 CPUtime=159.75 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 508037 0 0 0 15931 44 0 0 20 0 3 0 5369561 950460416 186605 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=928184 memory=746420 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 5369570 950460416 186605 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 160.54 s
Current children cumulated vsize: 928184 KiB
Current children cumulated memory: 746420 KiB
[startup+222.301 s]
/proc/loadavg: 4.25 4.18 4.14 5/262 37469
/proc/meminfo: memFree=104483176/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=928184 memory=746420 CPUtime=219.89 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 658112 0 0 0 21927 62 0 0 20 0 3 0 5369487 950460416 186605 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 232046 186605 2998 3035 0 218453 0
[pid=37427/tid=37429] ppid=37424 vsize=928184 memory=139729849280225 CPUtime=219.09 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 576386 0 0 0 21860 49 0 0 20 0 3 0 5369561 950460416 186605 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=928184 memory=746420 CPUtime=0 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 5369570 950460416 186605 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 219.89 s
Current children cumulated vsize: 928184 KiB
Current children cumulated memory: 746420 KiB
################
# More data... #
################
Current children cumulated memory: 1084060 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.30 2.06 2/241 39349
/proc/meminfo: memFree=122662496/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3380.97 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2542841 0 0 0 337828 269 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3379.97 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2459824 0 0 0 337749 248 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=1084060 CPUtime=0.03 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 211 0 0 0 0 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3380.97 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3462.3 s]
/proc/loadavg: 1.04 1.25 1.99 2/240 39360
/proc/meminfo: memFree=122662360/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3440.81 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2545121 0 0 0 343811 270 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3439.82 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2462084 0 0 0 343732 250 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=1084060 CPUtime=0.03 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 212 0 0 0 0 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3440.81 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.23 1.93 2/238 39372
/proc/meminfo: memFree=122661664/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3500.65 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2547507 0 0 0 349794 271 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3499.64 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2464447 0 0 0 349714 250 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=1084060 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 213 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3500.65 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.22 1.88 2/238 39396
/proc/meminfo: memFree=122660708/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3560.47 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2550019 0 0 0 355775 272 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3559.47 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2466939 0 0 0 355696 251 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=11436 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 214 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3560.47 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3598.41 s]
# the end of solver process 37427 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.81 s, system=2.73458 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.16 1.22 1.88 2/238 39396
/proc/meminfo: memFree=122660708/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3562.17 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2550038 0 0 0 355945 272 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=7480 CPUtime=3561.16 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2466958 0 0 0 355865 251 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=28216 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 214 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3562.17 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3590.4 s]
/proc/loadavg: 1.15 1.21 1.88 2/238 39397
/proc/meminfo: memFree=122660724/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3568.55 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2550149 0 0 0 356583 272 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=12272 CPUtime=3567.55 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2467068 0 0 0 356503 252 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=1084060 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 214 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3568.55 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3593.6 s]
/proc/loadavg: 1.13 1.21 1.87 2/238 39397
/proc/meminfo: memFree=122660724/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3571.74 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2550154 0 0 0 356902 272 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=11436 CPUtime=3570.74 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2467072 0 0 0 356822 252 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=1084060 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 214 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3596.8 s]
/proc/loadavg: 1.13 1.21 1.87 2/238 39397
/proc/meminfo: memFree=122660724/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3574.93 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2550162 0 0 0 357221 272 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=0 CPUtime=3573.93 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2467080 0 0 0 357141 252 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=1084060 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 214 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3574.93 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3597.6 s]
/proc/loadavg: 1.12 1.21 1.87 2/238 39397
/proc/meminfo: memFree=122660724/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3575.73 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2550162 0 0 0 357301 272 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=15016 CPUtime=3574.73 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2467080 0 0 0 357221 252 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=11436 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 214 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3575.73 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3598 s]*
/proc/loadavg: 1.12 1.21 1.87 2/238 39399
/proc/meminfo: memFree=122660612/131524600 swapFree=131071996/131071996
[pid=37427] ppid=37424 vsize=1191908 memory=1084060 CPUtime=3576.13 cores=0,2
/proc/37427/stat : 37427 (fscip) S 37424 37427 31114 0 -1 1077936128 2550162 0 0 0 357341 272 0 0 20 0 3 0 5369487 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
/proc/37427/statm: 297977 271015 2998 3035 0 285050 0
[pid=37427/tid=37429] ppid=37424 vsize=1191908 memory=-7378421781101634174 CPUtime=3575.13 cores=0,2
/proc/37427/task/37429/stat : 37429 (fscip) R 37424 37427 31114 0 -1 4194368 2467080 0 0 0 357261 252 0 0 20 0 3 0 5369561 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
[pid=37427/tid=37430] ppid=37424 vsize=1191908 memory=7583010221921967636 CPUtime=0.04 cores=0,2
/proc/37427/task/37430/stat : 37430 (fscip) S 37424 37427 31114 0 -1 1077936192 214 0 0 0 1 3 0 0 20 0 3 0 5369570 1220513792 271015 134679101440 4194304 16623229 140728903889088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46284800 140728903898134 140728903898250 140728903898250 140728903905264 0
Current children cumulated CPU time: 3576.13 s
Current children cumulated vsize: 1191908 KiB
Current children cumulated memory: 1084060 KiB
[startup+3598.4 s]*
/proc/loadavg: 1.12 1.21 1.87 2/236 39399
/proc/meminfo: memFree=123735520/131524600 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): 3598.41
CPU time (s): 3576.54
CPU user time (s): 3573.81
CPU system time (s): 2.73458
CPU usage (%): 99.3923
Max. virtual memory (cumulated for all children) (KiB): 1191908
Max. memory (cumulated for all children) (KiB): 1084060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.81
system time used= 2.73458
maximum resident set size= 1084060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2554818
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= 9241
involuntary context switches= 31700
# summary of solver processes directly reported to runsolver:
# pid: 37427
# total CPU time (s): 3576.54
# total CPU user time (s): 3573.81
# total CPU system time (s): 2.73458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1067 second user time and 17.6836 second system time
The end
Begin job on nodeC025 at 2024-07-31 03:01:36
IDJOB=4464698
IDBENCH=164400
IDSOLVER=3092
FILE ID=nodeC025/4464698-1722387696
RUNJOBID= nodeC025-1722378594-31126
SLURM_JOB_ID= 8249848
Free space on /tmp= 889868 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.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-4464698-1722387696/watcher-4464698-1722387696 -o /tmp/evaluation-result-4464698-1722387696/solver-4464698-1722387696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31126 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464698-1722387696.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=2017193718
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.701
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.630
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.919
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.115
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.644
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.318
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.273
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 105477152 kB
MemAvailable: 111675020 kB
Buffers: 104728 kB
Cached: 6867944 kB
SwapCached: 0 kB
Active: 414112 kB
Inactive: 24990844 kB
Active(anon): 1564 kB
Inactive(anon): 18452072 kB
Active(file): 412548 kB
Inactive(file): 6538772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29196 kB
Writeback: 0 kB
AnonPages: 18431876 kB
Mapped: 124336 kB
Shmem: 21336 kB
KReclaimable: 172740 kB
Slab: 263780 kB
SReclaimable: 172740 kB
SUnreclaim: 91040 kB
KernelStack: 4208 kB
PageTables: 45184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 17914708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4300800 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: 248532 kB
DirectMap2M: 11059200 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC025 at 2024-07-31 04:01:34