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.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 39604224, getVmSize() = 39604224, SCIPgetMemUsed() = 14276467, SCIPgetMemTotal() = 17720171, SCIPgetMemExternEstim() = 7505937
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.38/2.46 c ** Estimated virtualMemUsedAtSolver = 48178922, getVmSize() = 88780800, SCIPgetMemUsed() = 44205847, SCIPgetMemTotal() = 64762447, SCIPgetMemExternEstim() = 7505937
2.38/2.46 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.38/2.46 c Original Problem :
2.38/2.46 c Problem name : instance-4447190-1721347762
2.38/2.46 c Variables : 3850 (3850 binary, 0 integer, 0 implicit integer, 0 continuous)
2.38/2.46 c Constraints : 3992
2.38/2.46 c Objective sense : minimize
2.38/2.46 c Presolved Problem :
2.38/2.46 c Variables : 3048 (3048 binary, 0 integer, 0 implicit integer, 0 continuous)
2.38/2.46 c Constraints : 3165
2.38/2.46 c Constraints : Number
2.38/2.46 c setppc : 648
2.38/2.46 c logicor : 2517
2.38/2.46 c ** Instance transfer method used: 0
2.38/2.47 c ** ParaScipInstance copy does not increase the number of variables. **
2.38/2.48 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.38/2.48 c Nodes Active
2.38/2.48 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
26.90/27.09 c 27 2 1 1 - 0.0000 -
33.89/34.05 c 34 5 4 1 - 0.0000 -
41.46/41.68 c 42 6 5 1 - 0.0000 -
48.34/48.51 c 49 8 7 1 - 0.0000 -
55.52/55.74 c 56 9 8 1 - 0.0000 -
71.89/72.18 c 72 12 11 1 - 0.0000 -
151.77/152.22 c 152 13 12 1 - 0.0000 -
164.94/165.43 c 165 23 18 1 - 0.0000 -
170.02/170.59 c 171 48 31 1 - 0.0000 -
175.10/175.60 c 176 74 33 1 - 0.0000 -
180.68/181.28 c 181 118 31 1 - 0.0000 -
186.37/186.96 c 187 167 30 1 - 0.0000 -
191.95/192.52 c 193 192 31 1 - 0.0000 -
196.93/197.53 c 198 201 36 1 - 0.0000 -
202.61/203.24 c 203 237 32 1 - 0.0000 -
207.90/208.54 c 209 287 38 1 - 0.0000 -
213.18/213.81 c 214 329 34 1 - 0.0000 -
218.96/219.64 c 220 427 34 1 - 0.0000 -
224.15/224.88 c 225 498 31 1 - 0.0000 -
229.43/230.15 c 230 573 35 1 - 0.0000 -
234.61/235.33 c 235 643 37 1 - 0.0000 -
240.00/240.72 c 241 697 35 1 - 0.0000 -
245.29/246.06 c 246 782 36 1 - 0.0000 -
250.68/251.45 c 251 849 35 1 - 0.0000 -
255.96/256.77 c 257 933 35 1 - 0.0000 -
261.44/262.23 c 262 1005 43 1 - 0.0000 -
266.63/267.46 c 267 1085 39 1 - 0.0000 -
271.82/272.60 c 273 1172 38 1 - 0.0000 -
277.10/277.95 c 278 1294 36 1 - 0.0000 -
297.35/298.27 c 298 1307 1 1 - 0.0000 -
302.65/303.50 c 304 1322 16 1 - 0.0000 -
311.42/312.39 c 312 1339 19 1 - 0.0000 -
317.71/318.68 c 319 1359 23 1 - 0.0000 -
324.49/325.43 c 325 1389 27 1 - 0.0000 -
331.08/332.05 c 332 1429 31 1 - 0.0000 -
336.46/337.47 c 337 1483 35 1 - 0.0000 -
341.75/342.71 c 343 1539 35 1 - 0.0000 -
347.03/348.01 c 348 1606 36 1 - 0.0000 -
352.21/353.25 c 353 1664 34 1 - 0.0000 -
357.49/358.58 c 359 1722 34 1 - 0.0000 -
362.88/363.91 c 364 1780 36 1 - 0.0000 -
368.16/369.20 c 369 1835 33 1 - 0.0000 -
373.34/374.49 c 374 1881 33 1 - 0.0000 -
378.93/380.06 c 380 1942 34 1 - 0.0000 -
384.11/385.24 c 385 2007 35 1 - 0.0000 -
389.50/390.66 c 391 2070 35 1 - 0.0000 -
394.78/395.93 c 396 2147 34 1 - 0.0000 -
400.06/401.26 c 401 2212 38 1 - 0.0000 -
405.15/406.39 c 406 2294 37 1 - 0.0000 -
410.43/411.69 c 412 2356 35 1 - 0.0000 -
415.62/416.89 c 417 2409 33 1 - 0.0000 -
421.50/422.78 c 423 2448 34 1 - 0.0000 -
426.78/428.01 c 428 2499 35 1 - 0.0000 -
432.06/433.33 c 433 2565 29 1 - 0.0000 -
437.55/438.89 c 439 2611 33 1 - 0.0000 -
442.93/444.27 c 444 2657 34 1 - 0.0000 -
448.62/449.91 c 450 2714 35 1 - 0.0000 -
454.00/455.31 c 455 2754 38 1 - 0.0000 -
459.29/460.64 c 461 2806 38 1 - 0.0000 -
464.58/465.97 c 466 2853 39 1 - 0.0000 -
469.97/471.34 c 471 2904 36 1 - 0.0000 -
475.35/476.71 c 477 2950 34 1 - 0.0000 -
480.75/482.19 c 482 3001 37 1 - 0.0000 -
486.42/487.84 c 488 3046 38 1 - 0.0000 -
491.81/493.25 c 493 3088 38 1 - 0.0000 -
497.39/498.85 c 499 3135 37 1 - 0.0000 -
502.78/504.27 c 504 3176 34 1 - 0.0000 -
508.27/509.71 c 510 3210 32 1 - 0.0000 -
513.86/515.37 c 515 3245 33 1 - 0.0000 -
519.24/520.78 c 521 3294 34 1 - 0.0000 -
524.53/526.01 c 526 3341 31 1 - 0.0000 -
530.32/531.82 c 532 3385 35 1 - 0.0000 -
536.10/537.63 c 538 3422 34 1 - 0.0000 -
541.39/542.94 c 543 3466 34 1 - 0.0000 -
546.77/548.30 c 548 3501 33 1 - 0.0000 -
552.46/554.03 c 554 3534 30 1 - 0.0000 -
558.05/559.67 c 560 3575 31 1 - 0.0000 -
563.44/565.00 c 565 3615 37 1 - 0.0000 -
568.82/570.41 c 570 3654 34 1 - 0.0000 -
574.40/576.03 c 576 3683 33 1 - 0.0000 -
579.89/581.53 c 582 3727 33 1 - 0.0000 -
585.28/586.90 c 587 3788 33 1 - 0.0000 -
590.66/592.36 c 592 3851 30 1 - 0.0000 -
596.05/597.75 c 598 3890 35 1 - 0.0000 -
601.53/603.26 c 603 3962 33 1 - 0.0000 -
607.22/608.91 c 609 4011 42 1 - 0.0000 -
612.31/614.10 c 614 4097 42 1 - 0.0000 -
617.59/619.38 c 619 4163 40 1 - 0.0000 -
622.99/624.79 c 625 4236 39 1 - 0.0000 -
628.38/630.12 c 630 4320 41 1 - 0.0000 -
634.16/635.96 c 636 4387 42 1 - 0.0000 -
640.04/641.87 c 642 4443 42 1 - 0.0000 -
645.62/647.47 c 647 4497 42 1 - 0.0000 -
651.21/653.09 c 653 4558 41 1 - 0.0000 -
656.69/658.55 c 659 4634 37 1 - 0.0000 -
662.19/664.07 c 664 4688 41 1 - 0.0000 -
667.77/669.61 c 670 4748 41 1 - 0.0000 -
673.16/675.00 c 675 4814 41 1 - 0.0000 -
678.24/680.19 c 680 4860 41 1 - 0.0000 -
683.42/685.39 c 685 4914 40 1 - 0.0000 -
689.01/690.91 c 691 4964 42 1 - 0.0000 -
694.30/696.22 c 696 5028 38 1 - 0.0000 -
699.48/701.49 c 701 5083 41 1 - 0.0000 -
704.87/706.89 c 707 5145 37 1 - 0.0000 -
710.45/712.44 c 712 5198 38 1 - 0.0000 -
715.74/717.75 c 718 5253 35 1 - 0.0000 -
721.23/723.22 c 723 5294 35 1 - 0.0000 -
726.72/728.70 c 729 5332 33 1 - 0.0000 -
732.50/734.56 c 735 5367 30 1 - 0.0000 -
737.89/739.97 c 740 5396 29 1 - 0.0000 -
743.27/745.33 c 745 5448 31 1 - 0.0000 -
748.46/750.55 c 751 5492 37 1 - 0.0000 -
753.84/755.90 c 756 5565 36 1 - 0.0000 -
759.42/761.51 c 762 5615 36 1 - 0.0000 -
764.70/766.84 c 767 5683 36 1 - 0.0000 -
769.99/772.18 c 772 5745 36 1 - 0.0000 -
775.17/777.38 c 777 5802 37 1 - 0.0000 -
780.55/782.78 c 783 5859 36 1 - 0.0000 -
785.84/788.08 c 788 5910 34 1 - 0.0000 -
791.42/793.63 c 794 5966 34 1 - 0.0000 -
796.61/798.88 c 799 6025 35 1 - 0.0000 -
801.89/804.11 c 804 6085 37 1 - 0.0000 -
807.17/809.45 c 809 6142 34 1 - 0.0000 -
812.56/814.87 c 815 6190 34 1 - 0.0000 -
818.05/820.30 c 820 6241 33 1 - 0.0000 -
823.43/825.77 c 826 6294 32 1 - 0.0000 -
829.21/831.58 c 832 6350 36 1 - 0.0000 -
834.70/837.03 c 837 6399 35 1 - 0.0000 -
839.98/842.39 c 842 6461 37 1 - 0.0000 -
845.56/847.99 c 848 6514 36 1 - 0.0000 -
851.25/853.69 c 854 6559 39 1 - 0.0000 -
856.83/859.20 c 859 6612 38 1 - 0.0000 -
862.01/864.49 c 864 6657 37 1 - 0.0000 -
867.60/870.09 c 870 6710 36 1 - 0.0000 -
872.78/875.24 c 875 6757 33 1 - 0.0000 -
878.06/880.52 c 881 6807 36 1 - 0.0000 -
883.74/886.27 c 886 6854 37 1 - 0.0000 -
889.13/891.63 c 892 6889 36 1 - 0.0000 -
894.81/897.32 c 897 6938 39 1 - 0.0000 -
900.09/902.69 c 903 6984 37 1 - 0.0000 -
905.77/908.30 c 908 7015 36 1 - 0.0000 -
910.96/913.52 c 914 7059 36 1 - 0.0000 -
916.24/918.88 c 919 7092 35 1 - 0.0000 -
921.82/924.42 c 924 7139 34 1 - 0.0000 -
927.21/929.80 c 930 7178 33 1 - 0.0000 -
933.09/935.75 c 936 7219 34 1 - 0.0000 -
938.57/941.29 c 941 7260 33 1 - 0.0000 -
944.37/947.08 c 947 7294 35 1 - 0.0000 -
950.15/952.87 c 953 7315 32 1 - 0.0000 -
955.53/958.22 c 958 7357 32 1 - 0.0000 -
960.91/963.62 c 964 7387 32 1 - 0.0000 -
966.40/969.19 c 969 7420 29 1 - 0.0000 -
971.98/974.76 c 975 7457 26 1 - 0.0000 -
977.86/980.60 c 981 7496 31 1 - 0.0000 -
983.25/986.09 c 986 7542 33 1 - 0.0000 -
988.92/991.73 c 992 7581 28 1 - 0.0000 -
994.41/997.24 c 997 7625 28 1 - 0.0000 -
999.79/1002.67 c 1003 7668 29 1 - 0.0000 -
1005.37/1008.28 c 1008 7710 29 1 - 0.0000 -
1010.86/1013.76 c 1014 7743 32 1 - 0.0000 -
1016.34/1019.21 c 1019 7784 29 1 - 0.0000 -
1021.82/1024.75 c 1025 7824 31 1 - 0.0000 -
1027.21/1030.17 c 1030 7878 32 1 - 0.0000 -
1032.49/1035.43 c 1035 7924 31 1 - 0.0000 -
1038.08/1041.00 c 1041 7973 30 1 - 0.0000 -
1043.75/1046.73 c 1047 8025 30 1 - 0.0000 -
1049.14/1052.14 c 1052 8077 30 1 - 0.0000 -
1054.92/1057.92 c 1058 8120 31 1 - 0.0000 -
1060.40/1063.40 c 1063 8155 32 1 - 0.0000 -
1065.89/1068.94 c 1069 8192 30 1 - 0.0000 -
1071.17/1074.27 c 1074 8234 30 1 - 0.0000 -
1076.76/1079.81 c 1080 8268 29 1 - 0.0000 -
1082.64/1085.71 c 1086 8306 29 1 - 0.0000 -
1088.23/1091.30 c 1091 8337 30 1 - 0.0000 -
1093.71/1096.80 c 1097 8370 31 1 - 0.0000 -
1099.49/1102.66 c 1103 8403 30 1 - 0.0000 -
1105.37/1108.51 c 1109 8432 27 1 - 0.0000 -
1110.66/1113.89 c 1114 8489 26 1 - 0.0000 -
1116.04/1119.27 c 1119 8522 29 1 - 0.0000 -
1121.42/1124.61 c 1125 8558 29 1 - 0.0000 -
1127.01/1130.28 c 1130 8600 27 1 - 0.0000 -
1132.69/1135.98 c 1136 8628 29 1 - 0.0000 -
1138.78/1142.01 c 1142 8664 29 1 - 0.0000 -
1144.35/1147.66 c 1148 8708 29 1 - 0.0000 -
1150.14/1153.49 c 1153 8744 31 1 - 0.0000 -
1156.72/1160.05 c 1160 8767 30 1 - 0.0000 -
1162.20/1165.51 c 1166 8813 28 1 - 0.0000 -
1167.79/1171.19 c 1171 8858 31 1 - 0.0000 -
1173.46/1176.85 c 1177 8908 29 1 - 0.0000 -
1179.24/1182.68 c 1183 8938 31 1 - 0.0000 -
1184.63/1188.10 c 1188 8977 32 1 - 0.0000 -
1190.01/1193.41 c 1193 9020 31 1 - 0.0000 -
1195.89/1199.36 c 1199 9055 30 1 - 0.0000 -
1201.69/1205.17 c 1205 9088 31 1 - 0.0000 -
1207.37/1210.80 c 1211 9122 31 1 - 0.0000 -
1212.95/1216.44 c 1216 9162 31 1 - 0.0000 -
1218.43/1221.94 c 1222 9199 30 1 - 0.0000 -
1226.61/1230.11 c 1230 9227 30 1 - 0.0000 -
1232.59/1236.12 c 1236 9258 29 1 - 0.0000 -
1237.97/1241.52 c 1242 9300 29 1 - 0.0000 -
1243.25/1246.86 c 1247 9337 32 1 - 0.0000 -
1248.84/1252.46 c 1252 9382 31 1 - 0.0000 -
1254.32/1257.96 c 1258 9434 31 1 - 0.0000 -
1260.10/1263.77 c 1264 9486 33 1 - 0.0000 -
1265.88/1269.58 c 1270 9524 31 1 - 0.0000 -
1271.37/1275.01 c 1275 9570 29 1 - 0.0000 -
1276.75/1280.42 c 1280 9618 31 1 - 0.0000 -
1282.13/1285.83 c 1286 9671 34 1 - 0.0000 -
1287.92/1291.66 c 1292 9709 30 1 - 0.0000 -
1293.70/1297.45 c 1297 9747 30 1 - 0.0000 -
1299.49/1303.20 c 1303 9779 32 1 - 0.0000 -
1304.87/1308.66 c 1309 9817 30 1 - 0.0000 -
1310.55/1314.34 c 1314 9858 31 1 - 0.0000 -
1315.84/1319.66 c 1320 9902 31 1 - 0.0000 -
1321.22/1325.02 c 1325 9937 30 1 - 0.0000 -
1326.70/1330.59 c 1331 9971 34 1 - 0.0000 -
1332.48/1336.36 c 1336 10006 33 1 - 0.0000 -
1338.36/1342.24 c 1342 10047 30 1 - 0.0000 -
1344.15/1348.07 c 1348 10082 31 1 - 0.0000 -
1349.73/1353.61 c 1354 10117 30 1 - 0.0000 -
1355.81/1359.79 c 1360 10140 31 1 - 0.0000 -
1361.00/1364.98 c 1365 10159 30 1 - 0.0000 -
1365.98/1369.99 c 1370 10178 29 1 - 0.0000 -
1371.56/1375.52 c 1376 10205 28 1 - 0.0000 -
1377.65/1381.63 c 1382 10236 27 1 - 0.0000 -
1383.03/1387.09 c 1387 10269 26 1 - 0.0000 -
1388.71/1392.73 c 1393 10296 27 1 - 0.0000 -
1394.59/1398.62 c 1399 10330 31 1 - 0.0000 -
1400.27/1404.33 c 1404 10381 30 1 - 0.0000 -
1405.87/1409.95 c 1410 10432 31 1 - 0.0000 -
1411.35/1415.41 c 1415 10467 30 1 - 0.0000 -
1416.94/1421.05 c 1421 10497 26 1 - 0.0000 -
1422.61/1426.78 c 1427 10522 27 1 - 0.0000 -
1428.20/1432.35 c 1432 10546 27 1 - 0.0000 -
1433.98/1438.17 c 1438 10573 28 1 - 0.0000 -
1439.87/1444.08 c 1444 10601 28 1 - 0.0000 -
1445.44/1449.62 c 1450 10632 27 1 - 0.0000 -
1451.23/1455.47 c 1455 10661 26 1 - 0.0000 -
1456.41/1460.60 c 1461 10681 26 1 - 0.0000 -
1462.19/1466.45 c 1466 10714 27 1 - 0.0000 -
1467.28/1471.57 c 1472 10740 28 1 - 0.0000 -
1472.96/1477.29 c 1477 10779 29 1 - 0.0000 -
1478.85/1483.13 c 1483 10818 28 1 - 0.0000 -
1484.13/1488.44 c 1488 10877 27 1 - 0.0000 -
1489.51/1493.87 c 1494 10924 26 1 - 0.0000 -
1495.09/1499.45 c 1499 10958 32 1 - 0.0000 -
1500.68/1505.00 c 1505 11023 27 1 - 0.0000 -
1505.96/1510.31 c 1510 11062 28 1 - 0.0000 -
1511.15/1515.59 c 1516 11114 28 1 - 0.0000 -
1517.03/1521.46 c 1521 11146 28 1 - 0.0000 -
1522.82/1527.20 c 1527 11179 29 1 - 0.0000 -
1529.00/1533.44 c 1533 11211 27 1 - 0.0000 -
1534.89/1539.35 c 1539 11244 28 1 - 0.0000 -
1540.27/1544.74 c 1545 11279 27 1 - 0.0000 -
1546.06/1550.59 c 1551 11321 31 1 - 0.0000 -
1551.65/1556.19 c 1556 11357 29 1 - 0.0000 -
1557.03/1561.57 c 1562 11397 29 1 - 0.0000 -
1562.62/1567.12 c 1567 11431 27 1 - 0.0000 -
1568.60/1573.18 c 1573 11459 27 1 - 0.0000 -
1573.88/1578.46 c 1578 11495 29 1 - 0.0000 -
1579.37/1583.99 c 1584 11536 26 1 - 0.0000 -
1584.86/1589.47 c 1589 11587 29 1 - 0.0000 -
1590.34/1594.91 c 1595 11637 29 1 - 0.0000 -
1596.23/1600.81 c 1601 11678 29 1 - 0.0000 -
1602.02/1606.68 c 1607 11726 31 1 - 0.0000 -
1607.52/1612.19 c 1612 11768 31 1 - 0.0000 -
1612.90/1617.58 c 1618 11828 29 1 - 0.0000 -
1618.29/1622.98 c 1623 11872 31 1 - 0.0000 -
1623.77/1628.42 c 1628 11912 27 1 - 0.0000 -
1628.96/1633.67 c 1634 11954 29 1 - 0.0000 -
1634.35/1639.06 c 1639 11999 28 1 - 0.0000 -
1639.63/1644.36 c 1644 12030 29 1 - 0.0000 -
1645.22/1649.92 c 1650 12066 29 1 - 0.0000 -
1651.01/1655.70 c 1656 12102 27 1 - 0.0000 -
1656.29/1661.05 c 1661 12141 30 1 - 0.0000 -
1662.17/1666.95 c 1667 12189 28 1 - 0.0000 -
1667.66/1672.44 c 1672 12232 29 1 - 0.0000 -
1673.25/1678.08 c 1678 12266 27 1 - 0.0000 -
1678.83/1683.66 c 1684 12308 29 1 - 0.0000 -
1684.52/1689.36 c 1689 12345 28 1 - 0.0000 -
1690.11/1694.95 c 1695 12381 28 1 - 0.0000 -
1695.49/1700.37 c 1700 12416 27 1 - 0.0000 -
1701.08/1705.97 c 1706 12452 27 1 - 0.0000 -
1706.17/1711.00 c 1711 12475 28 1 - 0.0000 -
1711.65/1716.52 c 1717 12507 26 1 - 0.0000 -
1717.44/1722.30 c 1722 12547 26 1 - 0.0000 -
1723.02/1727.95 c 1728 12585 28 1 - 0.0000 -
1728.41/1733.36 c 1733 12637 28 1 - 0.0000 -
1733.90/1738.83 c 1739 12697 28 1 - 0.0000 -
1739.38/1744.38 c 1744 12740 25 1 - 0.0000 -
1744.67/1749.65 c 1750 12791 28 1 - 0.0000 -
1750.36/1755.35 c 1755 12837 26 1 - 0.0000 -
1755.94/1760.96 c 1761 12872 25 1 - 0.0000 -
1761.33/1766.32 c 1766 12929 26 1 - 0.0000 -
1767.02/1772.09 c 1772 12973 28 1 - 0.0000 -
1772.30/1777.36 c 1777 13019 26 1 - 0.0000 -
1778.09/1783.13 c 1783 13061 26 1 - 0.0000 -
1783.77/1788.84 c 1789 13092 25 1 - 0.0000 -
1789.66/1794.77 c 1795 13130 25 1 - 0.0000 -
1795.05/1800.13 c 1800 13171 26 1 - 0.0000 -
1800.63/1805.76 c 1806 13217 28 1 - 0.0000 -
1806.12/1811.27 c 1811 13260 25 1 - 0.0000 -
1811.91/1817.10 c 1817 13290 25 1 - 0.0000 -
1817.89/1823.03 c 1823 13321 26 1 - 0.0000 -
1823.57/1828.70 c 1829 13363 28 1 - 0.0000 -
1829.16/1834.31 c 1834 13403 30 1 - 0.0000 -
1834.85/1840.06 c 1840 13441 28 1 - 0.0000 -
1840.33/1845.58 c 1846 13493 28 1 - 0.0000 -
1846.11/1851.39 c 1851 13531 28 1 - 0.0000 -
1851.60/1856.86 c 1857 13573 24 1 - 0.0000 -
1856.99/1862.27 c 1862 13612 25 1 - 0.0000 -
1862.47/1867.71 c 1868 13675 26 1 - 0.0000 -
1867.87/1873.11 c 1873 13727 26 1 - 0.0000 -
1873.16/1878.42 c 1878 13768 25 1 - 0.0000 -
1878.85/1884.15 c 1884 13791 28 1 - 0.0000 -
1884.33/1889.65 c 1890 13824 25 1 - 0.0000 -
1889.61/1894.92 c 1895 13867 26 1 - 0.0000 -
1895.00/1900.39 c 1900 13907 24 1 - 0.0000 -
1900.69/1906.05 c 1906 13943 22 1 - 0.0000 -
1906.27/1911.60 c 1912 13979 24 1 - 0.0000 -
1912.06/1917.48 c 1917 14020 29 1 - 0.0000 -
1917.35/1922.74 c 1923 14091 28 1 - 0.0000 -
1922.83/1928.25 c 1928 14140 33 1 - 0.0000 -
1928.12/1933.50 c 1934 14185 34 1 - 0.0000 -
1933.81/1939.23 c 1939 14223 32 1 - 0.0000 -
1939.60/1945.05 c 1945 14263 32 1 - 0.0000 -
1945.08/1950.55 c 1951 14309 32 1 - 0.0000 -
1950.86/1956.38 c 1956 14340 33 1 - 0.0000 -
1956.45/1961.91 c 1962 14377 38 1 - 0.0000 -
1961.84/1967.31 c 1967 14423 38 1 - 0.0000 -
1967.22/1972.77 c 1973 14463 36 1 - 0.0000 -
1972.91/1978.48 c 1978 14512 37 1 - 0.0000 -
1978.30/1983.85 c 1984 14567 38 1 - 0.0000 -
1983.69/1989.28 c 1989 14607 36 1 - 0.0000 -
1989.17/1994.73 c 1995 14665 34 1 - 0.0000 -
1994.57/2000.11 c 2000 14706 39 1 - 0.0000 -
2000.25/2005.88 c 2006 14753 32 1 - 0.0000 -
2005.73/2011.32 c 2011 14799 34 1 - 0.0000 -
2011.12/2016.71 c 2017 14835 36 1 - 0.0000 -
2016.51/2022.16 c 2022 14875 34 1 - 0.0000 -
2021.69/2027.34 c 2027 14927 32 1 - 0.0000 -
2026.98/2032.62 c 2033 14961 34 1 - 0.0000 -
2032.47/2038.15 c 2038 14993 36 1 - 0.0000 -
2038.05/2043.70 c 2044 15036 33 1 - 0.0000 -
2043.64/2049.32 c 2049 15077 38 1 - 0.0000 -
2049.12/2054.80 c 2055 15123 36 1 - 0.0000 -
2054.21/2059.98 c 2060 15162 35 1 - 0.0000 -
2060.00/2065.79 c 2066 15207 32 1 - 0.0000 -
2065.58/2071.39 c 2071 15248 33 1 - 0.0000 -
2071.37/2077.17 c 2077 15282 37 1 - 0.0000 -
2076.96/2082.78 c 2083 15321 35 1 - 0.0000 -
2082.44/2088.27 c 2088 15360 34 1 - 0.0000 -
2087.93/2093.71 c 2094 15403 31 1 - 0.0000 -
2093.51/2099.36 c 2099 15436 28 1 - 0.0000 -
2099.00/2104.81 c 2105 15483 31 1 - 0.0000 -
2104.79/2110.69 c 2111 15534 34 1 - 0.0000 -
2110.18/2116.00 c 2116 15573 33 1 - 0.0000 -
2115.66/2121.52 c 2122 15619 35 1 - 0.0000 -
2121.15/2127.01 c 2127 15666 34 1 - 0.0000 -
2126.53/2132.45 c 2132 15716 32 1 - 0.0000 -
2132.02/2137.97 c 2138 15765 31 1 - 0.0000 -
2137.80/2143.73 c 2144 15805 33 1 - 0.0000 -
2143.20/2149.13 c 2149 15852 34 1 - 0.0000 -
2148.89/2154.80 c 2155 15894 34 1 - 0.0000 -
2154.27/2160.22 c 2160 15943 31 1 - 0.0000 -
2159.66/2165.61 c 2166 15979 31 1 - 0.0000 -
2165.44/2171.44 c 2171 16022 32 1 - 0.0000 -
2170.83/2176.88 c 2177 16061 29 1 - 0.0000 -
2176.52/2182.57 c 2183 16103 37 1 - 0.0000 -
2182.01/2188.02 c 2188 16150 32 1 - 0.0000 -
2187.29/2193.37 c 2193 16186 36 1 - 0.0000 -
2193.08/2199.11 c 2199 16225 33 1 - 0.0000 -
2198.36/2204.44 c 2204 16270 36 1 - 0.0000 -
2203.95/2210.08 c 2210 16312 34 1 - 0.0000 -
2209.43/2215.51 c 2216 16355 35 1 - 0.0000 -
2214.82/2220.92 c 2221 16401 37 1 - 0.0000 -
2220.21/2226.34 c 2226 16446 36 1 - 0.0000 -
2225.49/2231.62 c 2232 16494 34 1 - 0.0000 -
2231.08/2237.29 c 2237 16540 34 1 - 0.0000 -
2236.65/2242.80 c 2243 16588 34 1 - 0.0000 -
2241.74/2247.97 c 2248 16630 38 1 - 0.0000 -
2247.03/2253.28 c 2253 16680 32 1 - 0.0000 -
2252.71/2258.95 c 2259 16716 28 1 - 0.0000 -
2258.30/2264.55 c 2265 16719 31 1 - 0.0000 -
2263.69/2269.92 c 2270 16767 33 1 - 0.0000 -
2268.98/2275.20 c 2275 16812 32 1 - 0.0000 -
2274.26/2280.53 c 2281 16858 38 1 - 0.0000 -
2279.75/2286.04 c 2286 16900 38 1 - 0.0000 -
2285.04/2291.36 c 2291 16965 37 1 - 0.0000 -
2290.52/2296.80 c 2297 17005 35 1 - 0.0000 -
2296.01/2302.33 c 2302 17038 36 1 - 0.0000 -
2301.49/2307.82 c 2308 17088 37 1 - 0.0000 -
2306.79/2313.11 c 2313 17138 37 1 - 0.0000 -
2312.17/2318.54 c 2319 17175 40 1 - 0.0000 -
2317.85/2324.24 c 2324 17214 39 1 - 0.0000 -
2323.44/2329.83 c 2330 17261 35 1 - 0.0000 -
2329.23/2335.69 c 2336 17304 37 1 - 0.0000 -
2334.72/2341.12 c 2341 17355 42 1 - 0.0000 -
2340.00/2346.45 c 2346 17399 38 1 - 0.0000 -
2345.59/2352.01 c 2352 17441 34 1 - 0.0000 -
2351.08/2357.53 c 2358 17489 33 1 - 0.0000 -
2356.47/2362.97 c 2363 17534 32 1 - 0.0000 -
2362.05/2368.53 c 2369 17582 30 1 - 0.0000 -
2367.64/2374.16 c 2374 17620 32 1 - 0.0000 -
2373.22/2379.73 c 2380 17663 33 1 - 0.0000 -
2379.01/2385.51 c 2386 17703 28 1 - 0.0000 -
2384.79/2391.32 c 2391 17744 27 1 - 0.0000 -
2391.08/2397.63 c 2398 17776 29 1 - 0.0000 -
2396.76/2403.35 c 2403 17814 29 1 - 0.0000 -
2402.45/2409.00 c 2409 17848 27 1 - 0.0000 -
2408.23/2414.82 c 2415 17894 29 1 - 0.0000 -
2413.82/2420.46 c 2420 17943 28 1 - 0.0000 -
2419.51/2426.11 c 2426 17973 30 1 - 0.0000 -
2424.79/2431.43 c 2431 18022 28 1 - 0.0000 -
2430.28/2436.93 c 2437 18079 31 1 - 0.0000 -
2435.37/2442.03 c 2442 18114 28 1 - 0.0000 -
2441.15/2447.81 c 2448 18141 27 1 - 0.0000 -
2446.74/2453.41 c 2453 18167 29 1 - 0.0000 -
2452.14/2458.85 c 2459 18209 32 1 - 0.0000 -
2458.02/2464.76 c 2465 18241 29 1 - 0.0000 -
2463.81/2470.59 c 2471 18265 26 1 - 0.0000 -
2469.59/2476.38 c 2476 18309 27 1 - 0.0000 -
2475.38/2482.15 c 2482 18341 29 1 - 0.0000 -
2481.27/2488.01 c 2488 18374 26 1 - 0.0000 -
2486.75/2493.56 c 2494 18405 27 1 - 0.0000 -
2492.34/2499.19 c 2499 18446 26 1 - 0.0000 -
2498.62/2505.45 c 2505 18471 33 1 - 0.0000 -
2505.21/2512.05 c 2512 18507 33 1 - 0.0000 -
2511.29/2518.13 c 2518 18536 36 1 - 0.0000 -
2517.28/2524.16 c 2524 18570 36 1 - 0.0000 -
2522.66/2529.50 c 2530 18624 32 1 - 0.0000 -
2528.54/2535.41 c 2535 18684 32 1 - 0.0000 -
2533.53/2540.43 c 2540 18714 33 1 - 0.0000 -
2539.22/2546.12 c 2546 18746 33 1 - 0.0000 -
2544.80/2551.72 c 2552 18772 33 1 - 0.0000 -
2549.78/2556.73 c 2557 18795 34 1 - 0.0000 -
2555.57/2562.59 c 2563 18828 31 1 - 0.0000 -
2561.46/2568.47 c 2568 18864 32 1 - 0.0000 -
2567.45/2574.40 c 2574 18894 34 1 - 0.0000 -
2573.24/2580.27 c 2580 18929 33 1 - 0.0000 -
2579.13/2586.15 c 2586 18961 32 1 - 0.0000 -
2584.91/2591.92 c 2592 19006 31 1 - 0.0000 -
2590.59/2597.68 c 2598 19043 32 1 - 0.0000 -
2596.28/2603.34 c 2603 19077 30 1 - 0.0000 -
2601.57/2608.67 c 2609 19095 30 1 - 0.0000 -
2607.55/2614.62 c 2615 19131 30 1 - 0.0000 -
2612.54/2619.63 c 2620 19154 31 1 - 0.0000 -
2618.22/2625.36 c 2625 19182 29 1 - 0.0000 -
2624.11/2631.24 c 2631 19210 29 1 - 0.0000 -
2629.39/2636.56 c 2637 19257 32 1 - 0.0000 -
2635.08/2642.23 c 2642 19294 31 1 - 0.0000 -
2640.87/2648.09 c 2648 19321 32 1 - 0.0000 -
2647.05/2654.25 c 2654 19373 36 1 - 0.0000 -
2653.23/2660.46 c 2660 19398 35 1 - 0.0000 -
2658.32/2665.56 c 2666 19411 36 1 - 0.0000 -
2664.21/2671.49 c 2671 19441 34 1 - 0.0000 -
2669.70/2676.95 c 2677 19480 33 1 - 0.0000 -
2675.29/2682.56 c 2683 19521 34 1 - 0.0000 -
2680.97/2688.25 c 2688 19563 31 1 - 0.0000 -
2686.46/2693.74 c 2694 19594 34 1 - 0.0000 -
2691.94/2699.27 c 2699 19658 32 1 - 0.0000 -
2697.63/2704.97 c 2705 19700 33 1 - 0.0000 -
2703.22/2710.54 c 2711 19741 29 1 - 0.0000 -
2709.40/2716.71 c 2717 19782 28 1 - 0.0000 -
2715.09/2722.44 c 2722 19824 28 1 - 0.0000 -
2720.78/2728.11 c 2728 19854 28 1 - 0.0000 -
2726.76/2734.17 c 2734 19899 31 1 - 0.0000 -
2732.65/2740.02 c 2740 19944 30 1 - 0.0000 -
2737.64/2745.04 c 2745 19980 34 1 - 0.0000 -
2743.22/2750.62 c 2751 20022 34 1 - 0.0000 -
2748.61/2756.10 c 2756 20073 33 1 - 0.0000 -
2754.30/2761.79 c 2762 20129 37 1 - 0.0000 -
2760.08/2767.57 c 2768 20187 32 1 - 0.0000 -
2766.06/2773.50 c 2774 20229 32 1 - 0.0000 -
2771.45/2778.95 c 2779 20278 31 1 - 0.0000 -
2776.93/2784.46 c 2784 20311 33 1 - 0.0000 -
2782.92/2790.44 c 2790 20342 32 1 - 0.0000 -
2788.41/2795.93 c 2796 20390 32 1 - 0.0000 -
2793.99/2801.58 c 2802 20429 30 1 - 0.0000 -
2799.59/2807.16 c 2807 20460 29 1 - 0.0000 -
2805.17/2812.74 c 2813 20492 28 1 - 0.0000 -
2811.15/2818.75 c 2819 20550 36 1 - 0.0000 -
2817.34/2824.93 c 2825 20583 33 1 - 0.0000 -
2822.62/2830.27 c 2830 20626 34 1 - 0.0000 -
2828.90/2836.50 c 2836 20680 32 1 - 0.0000 -
2834.29/2841.99 c 2842 20716 34 1 - 0.0000 -
2839.58/2847.27 c 2847 20762 33 1 - 0.0000 -
2845.27/2852.98 c 2853 20799 32 1 - 0.0000 -
2851.15/2858.88 c 2859 20828 37 1 - 0.0000 -
2856.64/2864.38 c 2864 20898 35 1 - 0.0000 -
2862.63/2870.32 c 2870 20929 36 1 - 0.0000 -
2868.22/2875.97 c 2876 20970 33 1 - 0.0000 -
2873.60/2881.37 c 2881 21005 34 1 - 0.0000 -
2879.69/2887.48 c 2887 21049 32 1 - 0.0000 -
2885.47/2893.21 c 2893 21089 38 1 - 0.0000 -
2891.46/2899.20 c 2899 21145 38 1 - 0.0000 -
2896.94/2904.74 c 2905 21181 35 1 - 0.0000 -
2902.93/2910.77 c 2911 21215 35 1 - 0.0000 -
2908.41/2916.27 c 2916 21256 35 1 - 0.0000 -
2914.10/2921.94 c 2922 21301 35 1 - 0.0000 -
2919.59/2927.41 c 2927 21357 35 1 - 0.0000 -
2925.07/2932.97 c 2933 21391 34 1 - 0.0000 -
2930.56/2938.46 c 2938 21422 33 1 - 0.0000 -
2936.34/2944.29 c 2944 21464 33 1 - 0.0000 -
2941.93/2949.83 c 2950 21515 33 1 - 0.0000 -
2947.72/2955.63 c 2956 21578 35 1 - 0.0000 -
2953.22/2961.16 c 2961 21634 34 1 - 0.0000 -
2958.60/2966.59 c 2967 21686 34 1 - 0.0000 -
2964.09/2972.10 c 2972 21751 35 1 - 0.0000 -
2969.67/2977.63 c 2978 21826 34 1 - 0.0000 -
2975.45/2983.48 c 2983 21876 32 1 - 0.0000 -
2981.24/2989.23 c 2989 21935 33 1 - 0.0000 -
2986.93/2994.96 c 2995 21982 32 1 - 0.0000 -
2992.41/3000.42 c 3000 22033 33 1 - 0.0000 -
2997.60/3005.63 c 3006 22076 34 1 - 0.0000 -
3003.29/3011.35 c 3011 22127 35 1 - 0.0000 -
3008.87/3016.99 c 3017 22174 34 1 - 0.0000 -
3014.66/3022.73 c 3023 22221 35 1 - 0.0000 -
3020.05/3028.16 c 3028 22262 36 1 - 0.0000 -
3025.53/3033.62 c 3034 22311 35 1 - 0.0000 -
3030.82/3038.91 c 3039 22353 33 1 - 0.0000 -
3036.41/3044.50 c 3044 22395 33 1 - 0.0000 -
3042.00/3050.12 c 3050 22439 35 1 - 0.0000 -
3048.08/3056.24 c 3056 22478 34 1 - 0.0000 -
3053.87/3062.08 c 3062 22522 38 1 - 0.0000 -
3059.25/3067.42 c 3067 22562 36 1 - 0.0000 -
3064.74/3072.95 c 3073 22601 39 1 - 0.0000 -
3069.93/3078.16 c 3078 22637 39 1 - 0.0000 -
3075.81/3084.06 c 3084 22680 42 1 - 0.0000 -
3081.10/3089.38 c 3089 22733 37 1 - 0.0000 -
3086.79/3095.00 c 3095 22763 35 1 - 0.0000 -
3092.47/3100.75 c 3101 22826 36 1 - 0.0000 -
3097.55/3105.83 c 3106 22857 35 1 - 0.0000 -
3103.44/3111.72 c 3112 22900 38 1 - 0.0000 -
3109.33/3117.62 c 3118 22942 38 1 - 0.0000 -
3115.32/3123.60 c 3124 22979 37 1 - 0.0000 -
3121.01/3129.32 c 3129 23020 38 1 - 0.0000 -
3126.89/3135.20 c 3135 23060 36 1 - 0.0000 -
3132.78/3141.13 c 3141 23094 38 1 - 0.0000 -
3138.26/3146.66 c 3147 23130 38 1 - 0.0000 -
3144.05/3152.42 c 3152 23169 39 1 - 0.0000 -
3149.54/3157.96 c 3158 23220 38 1 - 0.0000 -
3155.02/3163.43 c 3163 23261 37 1 - 0.0000 -
3160.61/3169.10 c 3169 23299 37 1 - 0.0000 -
3165.90/3174.30 c 3174 23338 40 1 - 0.0000 -
3171.28/3179.70 c 3180 23376 36 1 - 0.0000 -
3176.57/3185.09 c 3185 23411 35 1 - 0.0000 -
3182.46/3190.92 c 3191 23451 35 1 - 0.0000 -
3187.44/3195.93 c 3196 23474 36 1 - 0.0000 -
3192.53/3201.01 c 3201 23497 35 1 - 0.0000 -
3197.92/3206.42 c 3206 23530 38 1 - 0.0000 -
3203.51/3212.09 c 3212 23568 40 1 - 0.0000 -
3209.09/3217.67 c 3218 23605 41 1 - 0.0000 -
3214.77/3223.35 c 3223 23650 40 1 - 0.0000 -
3219.86/3228.50 c 3228 23679 39 1 - 0.0000 -
3226.15/3234.76 c 3235 23705 39 1 - 0.0000 -
3231.33/3239.90 c 3240 23726 38 1 - 0.0000 -
3237.02/3245.61 c 3246 23757 37 1 - 0.0000 -
3242.81/3251.42 c 3251 23780 38 1 - 0.0000 -
3248.89/3257.56 c 3258 23818 38 1 - 0.0000 -
3254.68/3263.37 c 3263 23852 36 1 - 0.0000 -
3261.06/3269.75 c 3270 23884 38 1 - 0.0000 -
3266.75/3275.44 c 3275 23910 38 1 - 0.0000 -
3272.44/3281.11 c 3281 23932 38 1 - 0.0000 -
3278.62/3287.33 c 3287 23958 38 1 - 0.0000 -
3284.11/3292.89 c 3293 23994 42 1 - 0.0000 -
3289.30/3298.10 c 3298 24030 38 1 - 0.0000 -
3295.08/3303.84 c 3304 24048 36 1 - 0.0000 -
3300.37/3309.18 c 3309 24074 38 1 - 0.0000 -
3306.16/3314.90 c 3315 24100 38 1 - 0.0000 -
3311.25/3320.09 c 3320 24123 37 1 - 0.0000 -
3317.24/3326.05 c 3326 24144 36 1 - 0.0000 -
3323.12/3331.97 c 3332 24170 33 1 - 0.0000 -
3329.00/3337.80 c 3338 24207 35 1 - 0.0000 -
3334.39/3343.23 c 3343 24270 36 1 - 0.0000 -
3339.77/3348.65 c 3349 24333 35 1 - 0.0000 -
3345.46/3354.33 c 3354 24380 34 1 - 0.0000 -
3351.15/3360.08 c 3360 24432 40 1 - 0.0000 -
3356.43/3365.30 c 3365 24488 38 1 - 0.0000 -
3362.02/3370.91 c 3371 24534 40 1 - 0.0000 -
3367.30/3376.20 c 3376 24587 35 1 - 0.0000 -
3372.69/3381.64 c 3382 24646 36 1 - 0.0000 -
3378.47/3387.47 c 3387 24684 32 1 - 0.0000 -
3384.06/3393.07 c 3393 24721 38 1 - 0.0000 -
3389.35/3398.38 c 3398 24780 35 1 - 0.0000 -
3395.43/3404.48 c 3404 24811 36 1 - 0.0000 -
3401.32/3410.37 c 3410 24876 37 1 - 0.0000 -
3407.01/3416.06 c 3416 24920 35 1 - 0.0000 -
3413.00/3422.05 c 3422 24952 35 1 - 0.0000 -
3418.88/3427.91 c 3428 24978 35 1 - 0.0000 -
3424.37/3433.49 c 3433 25010 33 1 - 0.0000 -
3429.76/3438.85 c 3439 25069 36 1 - 0.0000 -
3435.34/3444.40 c 3444 25133 36 1 - 0.0000 -
3440.73/3449.85 c 3450 25174 39 1 - 0.0000 -
3446.31/3455.42 c 3455 25228 39 1 - 0.0000 -
3451.90/3461.00 c 3461 25286 37 1 - 0.0000 -
3457.28/3466.43 c 3466 25358 37 1 - 0.0000 -
3462.88/3472.03 c 3472 25419 38 1 - 0.0000 -
3468.06/3477.27 c 3477 25483 38 1 - 0.0000 -
3473.24/3482.43 c 3482 25534 37 1 - 0.0000 -
3478.83/3488.00 c 3488 25597 36 1 - 0.0000 -
3484.12/3493.35 c 3493 25669 36 1 - 0.0000 -
3489.30/3498.52 c 3499 25738 37 1 - 0.0000 -
3494.69/3503.96 c 3504 25805 40 1 - 0.0000 -
3500.17/3509.43 c 3509 25879 42 1 - 0.0000 -
3505.26/3514.58 c 3515 25942 43 1 - 0.0000 -
3510.55/3519.85 c 3520 26015 42 1 - 0.0000 -
3515.94/3525.25 c 3525 26078 41 1 - 0.0000 -
3521.32/3530.63 c 3531 26153 42 1 - 0.0000 -
3526.52/3535.84 c 3536 26219 42 1 - 0.0000 -
3531.90/3541.24 c 3541 26286 41 1 - 0.0000 -
3537.39/3546.75 c 3547 26350 39 1 - 0.0000 -
3542.78/3552.15 c 3552 26399 36 1 - 0.0000 -
3548.77/3558.19 c 3558 26443 36 1 - 0.0000 -
3554.15/3563.59 c 3564 26495 38 1 - 0.0000 -
3559.43/3568.84 c 3569 26549 40 1 - 0.0000 -
3565.42/3574.89 c 3575 26604 43 1 - 0.0000 -
3570.81/3580.21 c 3580 26670 41 1 - 0.0000 -
3576.09/3585.51 c 3586 26716 43 1 - 0.0000 -
3581.28/3590.74 c 3591 26784 45 1 - 0.0000 -
3586.67/3596.15 c 3596 26850 41 1 - 0.0000 -
3590.56/3600.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.56/3600.03 c Total Time : 3600.0200
3590.56/3600.03 c solving : 3600.0200
3590.56/3600.03 c presolving : 2.4387 (included in solving)
3590.56/3600.03 c B&B Tree :
3590.56/3600.03 c nodes (total) : 1
3590.56/3600.03 c Solution :
3590.56/3600.03 c Solutions found : 0
3590.56/3600.03 c Primal Bound : -
3590.56/3600.03 c Dual Bound : +0.00000000000000e+00
3590.56/3600.03 c Gap : -
3590.56/3600.03 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: 63931 MiB (61981 MiB free)
memory of node 1: 64510 MiB (63262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447190-1721347762/watcher-4447190-1721347762 -o /tmp/evaluation-result-4447190-1721347762/solver-4447190-1721347762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980430 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447190-1721347762.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=984845, runsolver pid=984842
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.05 4.11 4.09 5/254 984846
/proc/meminfo: memFree=128224016/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=45596 memory=34620 CPUtime=0.1 cores=1,3
/proc/984845/stat : 984845 (fscip) R 984842 984845 980418 0 -1 4194304 6670 0 0 0 9 1 0 0 20 0 1 0 186936465 46690304 8655 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 11399 8655 2638 3032 0 7799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 34620 KiB
[startup+0.20552 s]*
/proc/loadavg: 4.05 4.11 4.09 5/254 984846
/proc/meminfo: memFree=128223476/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=45596 memory=34620 CPUtime=0.2 cores=1,3
/proc/984845/stat : 984845 (fscip) R 984842 984845 980418 0 -1 4194304 6670 0 0 0 19 1 0 0 20 0 1 0 186936465 46690304 8655 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 11399 8655 2638 3032 0 7799 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 34620 KiB
[startup+0.305452 s]*
/proc/loadavg: 4.05 4.11 4.09 5/254 984846
/proc/meminfo: memFree=128220956/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=48156 memory=37316 CPUtime=0.3 cores=1,3
/proc/984845/stat : 984845 (fscip) R 984842 984845 980418 0 -1 4194304 7523 0 0 0 29 1 0 0 20 0 1 0 186936465 49311744 9329 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 12039 9329 2718 3032 0 8439 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48156 KiB
Current children cumulated memory: 37316 KiB
[startup+0.700245 s]
/proc/loadavg: 4.05 4.11 4.09 5/254 984846
/proc/meminfo: memFree=128211744/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=58952 memory=46688 CPUtime=0.69 cores=1,3
/proc/984845/stat : 984845 (fscip) R 984842 984845 980418 0 -1 4194304 9840 0 0 0 68 1 0 0 20 0 1 0 186936465 60366848 11672 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 14738 11672 2734 3032 0 11138 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 46688 KiB
[startup+1.50024 s]
/proc/loadavg: 4.05 4.11 4.09 5/254 984846
/proc/meminfo: memFree=128209392/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=60660 memory=48008 CPUtime=1.48 cores=1,3
/proc/984845/stat : 984845 (fscip) R 984842 984845 980418 0 -1 4194304 10230 0 0 0 147 1 0 0 20 0 1 0 186936465 62115840 12002 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 15165 12002 2734 3032 0 11565 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60660 KiB
Current children cumulated memory: 48008 KiB
[startup+3.10605 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 984848
/proc/meminfo: memFree=128149588/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=183876 memory=103812 CPUtime=3.08 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 24312 0 0 0 305 3 0 0 20 0 3 0 186936465 188289024 25953 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 45969 25953 2782 3032 0 32178 0
[pid=984845/tid=984847] ppid=984842 vsize=183876 memory=103548 CPUtime=0.62 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 8093 0 0 0 61 1 0 0 20 0 3 0 186936711 188289024 25953 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=183876 memory=0 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 186936713 188289024 25953 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 183876 KiB
Current children cumulated memory: 103812 KiB
[startup+6.30106 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 984852
/proc/meminfo: memFree=127955316/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=184904 memory=118288 CPUtime=6.25 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 32459 0 0 0 621 4 0 0 20 0 3 0 186936465 189341696 29572 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 46226 29572 2910 3032 0 35982 0
[pid=984845/tid=984847] ppid=984842 vsize=184904 memory=0 CPUtime=3.78 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 16239 0 0 0 376 2 0 0 20 0 3 0 186936711 189341696 29572 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=184904 memory=48008 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 186936713 189341696 29572 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 184904 KiB
Current children cumulated memory: 118288 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 984855
/proc/meminfo: memFree=127733028/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=252952 memory=154736 CPUtime=12.63 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 51009 0 0 0 1256 7 0 0 20 0 3 0 186936465 259022848 38684 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 63238 38684 2926 3032 0 45438 0
[pid=984845/tid=984847] ppid=984842 vsize=252952 memory=0 CPUtime=10.16 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 34779 0 0 0 1012 4 0 0 20 0 3 0 186936711 259022848 38684 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=252952 memory=118440 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 186936713 259022848 38684 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 252952 KiB
Current children cumulated memory: 154736 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 984857
/proc/meminfo: memFree=127725324/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=252952 memory=156588 CPUtime=25.39 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 77754 0 0 0 2531 8 0 0 20 0 3 0 186936465 259022848 39147 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 63238 39147 2926 3032 0 45438 0
[pid=984845/tid=984847] ppid=984842 vsize=252952 memory=155172 CPUtime=22.93 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 61518 0 0 0 2287 6 0 0 20 0 3 0 186936711 259022848 39147 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=252952 memory=155172 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 186936713 259022848 39147 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 252952 KiB
Current children cumulated memory: 156588 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 984865
/proc/meminfo: memFree=127489232/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=252952 memory=156796 CPUtime=50.94 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 96243 0 0 0 5085 9 0 0 20 0 3 0 186936465 259022848 39199 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 63238 39199 2974 3032 0 45438 0
[pid=984845/tid=984847] ppid=984842 vsize=252952 memory=156796 CPUtime=48.48 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 79908 0 0 0 4841 7 0 0 20 0 3 0 186936711 259022848 39199 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=252952 memory=11400 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 186936713 259022848 39199 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 252952 KiB
Current children cumulated memory: 156796 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 984875
/proc/meminfo: memFree=127391524/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=252952 memory=156796 CPUtime=102.01 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 108214 0 0 0 10191 10 0 0 20 0 3 0 186936465 259022848 39199 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 63238 39199 2974 3032 0 45438 0
[pid=984845/tid=984847] ppid=984842 vsize=252952 memory=156796 CPUtime=99.54 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 91817 0 0 0 9947 7 0 0 20 0 3 0 186936711 259022848 39199 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=252952 memory=156796 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 186936713 259022848 39199 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 252952 KiB
Current children cumulated memory: 156796 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 984885
/proc/meminfo: memFree=127379480/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=252952 memory=160248 CPUtime=161.85 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 123399 0 0 0 16174 11 0 0 20 0 3 0 186936465 259022848 40062 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 63238 40062 2974 3032 0 47661 0
[pid=984845/tid=984847] ppid=984842 vsize=252952 memory=156796 CPUtime=159.37 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 106965 0 0 0 15929 8 0 0 20 0 3 0 186936711 259022848 40062 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=252952 memory=11400 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 186936713 259022848 40062 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 252952 KiB
Current children cumulated memory: 160248 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 984895
/proc/meminfo: memFree=127364464/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=252952 memory=164940 CPUtime=221.66 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 141819 0 0 0 22153 13 0 0 20 0 3 0 186936465 259022848 41235 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 63238 41235 2974 3032 0 48050 0
[pid=984845/tid=984847] ppid=984842 vsize=252952 memory=164908 CPUtime=219.18 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 125331 0 0 0 21908 10 0 0 20 0 3 0 186936711 259022848 41235 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=252952 memory=164908 CPUtime=0 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 186936713 259022848 41235 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 252952 KiB
Current children cumulated memory: 164940 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 984908
/proc/meminfo: memFree=127350164/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=251464 memory=167020 CPUtime=281.49 cores=1,3
################
# More data... #
################
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=44432 CPUtime=3390.68 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 296032 0 0 0 339030 38 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=247320 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 128 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 986665
/proc/meminfo: memFree=126983388/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3453.19 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 314720 0 0 0 345271 48 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=44432 CPUtime=3450.53 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 296940 0 0 0 345015 38 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=247320 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 129 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 986676
/proc/meminfo: memFree=126982020/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3513.04 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 315636 0 0 0 351256 48 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=12740 CPUtime=3510.38 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 297833 0 0 0 350999 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=247320 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 130 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980884/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3572.9 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 316553 0 0 0 357241 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=6720662147288023662 CPUtime=3570.23 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 298728 0 0 0 356984 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=247320 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 131 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3600.04 s]
# the end of solver process 984845 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.1 s, system=0.501806 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980884/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3574.6 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 316553 0 0 0 357411 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=6435740012107032689 CPUtime=3571.93 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 298728 0 0 0 357154 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=140073177862689 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 131 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3574.6 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980572/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3580.98 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 316554 0 0 0 358049 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=247320 CPUtime=3578.3 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 298729 0 0 0 357791 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=16160 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 131 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3580.98 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980572/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3587.36 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 317281 0 0 0 358687 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=247320 CPUtime=3584.69 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 299438 0 0 0 358430 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=44432 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980244/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3588.96 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 317332 0 0 0 358847 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=247320 CPUtime=3586.28 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 299489 0 0 0 358589 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=6720662147288023662 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3588.96 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.09 4.09 2/237 986784
/proc/meminfo: memFree=128357652/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3589.75 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 317334 0 0 0 358926 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=44432 CPUtime=3587.08 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 299491 0 0 0 358669 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=12740 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3589.75 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.09 4.09 2/237 986784
/proc/meminfo: memFree=128357652/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3590.15 cores=1,3
/proc/984845/stat : 984845 (fscip) S 984842 984845 980418 0 -1 1077936128 317335 0 0 0 358966 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=44432 CPUtime=3587.48 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 299491 0 0 0 358709 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=5448 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3590.15 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
[startup+3600 s]*
/proc/loadavg: 3.86 4.04 4.07 2/237 986784
/proc/meminfo: memFree=128358824/131524600 swapFree=131071996/131071996
[pid=984845] ppid=984842 vsize=317000 memory=247320 CPUtime=3590.56 cores=1,3
/proc/984845/stat : 984845 (fscip) R 984842 984845 980418 0 -1 1077936128 317424 0 0 0 359007 49 0 0 20 0 3 0 186936465 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
/proc/984845/statm: 79250 61830 3294 3032 0 63940 0
[pid=984845/tid=984847] ppid=984842 vsize=317000 memory=-5155634780447454526 CPUtime=3587.88 cores=1,3
/proc/984845/task/984847/stat : 984847 (fscip) R 984842 984845 980418 0 -1 4194368 299581 0 0 0 358749 39 0 0 20 0 3 0 186936711 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
[pid=984845/tid=984848] ppid=984842 vsize=317000 memory=-9044459746194447340 CPUtime=0.02 cores=1,3
/proc/984845/task/984848/stat : 984848 (fscip) S 984842 984845 980418 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 186936713 324608000 61830 134679101440 4194304 16613245 140735569447664 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50540544 140735569454100 140735569454216 140735569454216 140735569461232 0
Current children cumulated CPU time: 3590.56 s
Current children cumulated vsize: 317000 KiB
Current children cumulated memory: 247320 KiB
Child status: 0
Real time (s): 3600.04
CPU time (s): 3590.61
CPU user time (s): 3590.1
CPU system time (s): 0.501806
CPU usage (%): 99.7379
Max. virtual memory (cumulated for all children) (KiB): 317000
Max. memory (cumulated for all children) (KiB): 247320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.1
system time used= 0.501806
maximum resident set size= 247320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318578
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= 9832
involuntary context switches= 1683
# summary of solver processes directly reported to runsolver:
# pid: 984845
# total CPU time (s): 3590.61
# total CPU user time (s): 3590.1
# total CPU system time (s): 0.501806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65901 second user time and 16.0022 second system time
The end
Begin job on nodeC015 at 2024-07-19 02:09:35
IDJOB=4447190
IDBENCH=158370
IDSOLVER=3064
FILE ID=nodeC015/4447190-1721347762
RUNJOBID= nodeC015-1721340572-980430
SLURM_JOB_ID= 7542724
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.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-4447190-1721347762/watcher-4447190-1721347762 -o /tmp/evaluation-result-4447190-1721347762/solver-4447190-1721347762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980430 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447190-1721347762.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32
RANDOM SEED=2128500327
nodeC015.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 : 3669.118
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3664.506
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 : 7006.25
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 : 3599.914
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3673.412
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 : 7006.25
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 : 3669.163
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3670.585
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 : 7006.25
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.167
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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.091
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128250100 kB
MemAvailable: 129478180 kB
Buffers: 512876 kB
Cached: 1542196 kB
SwapCached: 0 kB
Active: 1649188 kB
Inactive: 991684 kB
Active(anon): 1540 kB
Inactive(anon): 621984 kB
Active(file): 1647648 kB
Inactive(file): 369700 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85612 kB
Writeback: 48 kB
AnonPages: 584488 kB
Mapped: 139068 kB
Shmem: 37720 kB
KReclaimable: 100756 kB
Slab: 213392 kB
SReclaimable: 100756 kB
SUnreclaim: 112636 kB
KernelStack: 4092 kB
PageTables: 10396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 833596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC015 at 2024-07-19 03:09:35