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 = 41177088, getVmSize() = 41177088, SCIPgetMemUsed() = 15601049, SCIPgetMemTotal() = 19069121, SCIPgetMemExternEstim() = 8257006
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.48/2.59 c ** Estimated virtualMemUsedAtSolver = 53643094, getVmSize() = 96325632, SCIPgetMemUsed() = 48806428, SCIPgetMemTotal() = 72207636, SCIPgetMemExternEstim() = 8257006
2.48/2.59 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.48/2.59 c Original Problem :
2.48/2.59 c Problem name : instance-4447250-1721349379
2.48/2.59 c Variables : 4235 (4235 binary, 0 integer, 0 implicit integer, 0 continuous)
2.48/2.59 c Constraints : 4391
2.48/2.59 c Objective sense : minimize
2.48/2.59 c Presolved Problem :
2.48/2.59 c Variables : 3426 (3426 binary, 0 integer, 0 implicit integer, 0 continuous)
2.48/2.59 c Constraints : 3550
2.48/2.59 c Constraints : Number
2.48/2.59 c setppc : 718
2.48/2.59 c logicor : 2832
2.48/2.59 c ** Instance transfer method used: 0
2.57/2.60 c ** ParaScipInstance copy does not increase the number of variables. **
2.57/2.61 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.57/2.61 c Nodes Active
2.57/2.61 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
35.17/35.37 c 35 2 1 1 - 0.0000 -
41.46/41.60 c 42 14 13 1 - 0.0000 -
47.45/47.60 c 48 33 16 1 - 0.0000 -
56.83/57.01 c 57 44 19 1 - 0.0000 -
62.01/62.22 c 62 57 20 1 - 0.0000 -
68.49/68.74 c 69 64 25 1 - 0.0000 -
92.93/93.23 c 93 67 28 1 - 0.0000 -
99.21/99.56 c 100 73 34 1 - 0.0000 -
106.90/107.27 c 107 86 41 1 - 0.0000 -
115.28/115.63 c 116 92 47 1 - 0.0000 -
121.86/122.22 c 122 95 50 1 - 0.0000 -
127.25/127.68 c 128 100 55 1 - 0.0000 -
133.93/134.38 c 134 105 60 1 - 0.0000 -
142.81/143.21 c 143 108 63 1 - 0.0000 -
149.20/149.62 c 150 114 69 1 - 0.0000 -
156.58/157.07 c 157 118 73 1 - 0.0000 -
163.76/164.23 c 164 122 77 1 - 0.0000 -
174.24/174.70 c 175 133 82 1 - 0.0000 -
179.23/179.73 c 180 147 84 1 - 0.0000 -
185.52/186.07 c 186 166 91 1 - 0.0000 -
190.70/191.28 c 191 182 91 1 - 0.0000 -
195.89/196.48 c 196 235 94 1 - 0.0000 -
201.17/201.74 c 202 286 95 1 - 0.0000 -
206.76/207.33 c 207 292 97 1 - 0.0000 -
214.75/215.36 c 215 329 98 1 - 0.0000 -
220.73/221.39 c 221 378 101 1 - 0.0000 -
227.12/227.78 c 228 416 105 1 - 0.0000 -
233.70/234.34 c 234 446 111 1 - 0.0000 -
238.79/239.40 c 239 460 115 1 - 0.0000 -
243.97/244.64 c 245 470 121 1 - 0.0000 -
249.26/249.99 c 250 528 127 1 - 0.0000 -
254.85/255.56 c 256 585 129 1 - 0.0000 -
260.73/261.40 c 261 655 135 1 - 0.0000 -
265.93/266.63 c 267 739 131 1 - 0.0000 -
271.11/271.85 c 272 804 128 1 - 0.0000 -
276.49/277.26 c 277 842 130 1 - 0.0000 -
281.77/282.52 c 283 917 137 1 - 0.0000 -
286.96/287.75 c 288 984 135 1 - 0.0000 -
292.44/293.29 c 293 1063 133 1 - 0.0000 -
297.83/298.60 c 299 1132 134 1 - 0.0000 -
303.01/303.87 c 304 1192 134 1 - 0.0000 -
308.20/309.04 c 309 1264 134 1 - 0.0000 -
313.38/314.28 c 314 1331 133 1 - 0.0000 -
318.57/319.48 c 319 1393 139 1 - 0.0000 -
323.86/324.73 c 325 1468 136 1 - 0.0000 -
329.25/330.15 c 330 1531 135 1 - 0.0000 -
334.63/335.51 c 336 1593 133 1 - 0.0000 -
339.91/340.88 c 341 1656 136 1 - 0.0000 -
345.29/346.23 c 346 1723 139 1 - 0.0000 -
350.78/351.74 c 352 1789 133 1 - 0.0000 -
356.17/357.13 c 357 1834 133 1 - 0.0000 -
361.55/362.50 c 362 1891 132 1 - 0.0000 -
366.83/367.82 c 368 1951 134 1 - 0.0000 -
372.12/373.17 c 373 2005 132 1 - 0.0000 -
377.60/378.65 c 379 2071 134 1 - 0.0000 -
382.88/383.98 c 384 2143 132 1 - 0.0000 -
388.07/389.18 c 389 2193 132 1 - 0.0000 -
393.45/394.53 c 395 2246 131 1 - 0.0000 -
398.63/399.79 c 400 2305 132 1 - 0.0000 -
404.12/405.29 c 405 2374 129 1 - 0.0000 -
410.10/411.23 c 411 2412 133 1 - 0.0000 -
436.32/437.57 c 438 2472 1 1 - 0.0000 -
442.31/443.53 c 444 2489 18 1 - 0.0000 -
447.89/449.15 c 449 2503 20 1 - 0.0000 -
456.66/457.96 c 458 2504 21 1 - 0.0000 -
462.05/463.31 c 463 2555 27 1 - 0.0000 -
502.43/503.87 c 504 2576 26 1 - 0.0000 -
507.91/509.30 c 509 2620 29 1 - 0.0000 -
513.19/514.60 c 515 2664 33 1 - 0.0000 -
519.87/521.32 c 521 2676 35 1 - 0.0000 -
525.06/526.52 c 527 2730 35 1 - 0.0000 -
530.24/531.78 c 532 2787 32 1 - 0.0000 -
535.82/537.31 c 537 2831 34 1 - 0.0000 -
541.61/543.14 c 543 2882 35 1 - 0.0000 -
547.59/549.10 c 549 2917 38 1 - 0.0000 -
553.17/554.71 c 555 2960 40 1 - 0.0000 -
558.76/560.31 c 560 3014 46 1 - 0.0000 -
564.25/565.89 c 566 3060 41 1 - 0.0000 -
569.93/571.53 c 572 3099 43 1 - 0.0000 -
575.21/576.81 c 577 3156 44 1 - 0.0000 -
580.40/582.04 c 582 3201 42 1 - 0.0000 -
585.98/587.63 c 588 3249 41 1 - 0.0000 -
591.56/593.21 c 593 3297 43 1 - 0.0000 -
596.64/598.34 c 598 3336 42 1 - 0.0000 -
602.23/603.98 c 604 3375 41 1 - 0.0000 -
607.71/609.49 c 610 3411 47 1 - 0.0000 -
613.59/615.35 c 615 3458 46 1 - 0.0000 -
618.88/620.65 c 621 3511 44 1 - 0.0000 -
624.28/626.08 c 626 3556 41 1 - 0.0000 -
629.95/631.77 c 632 3593 44 1 - 0.0000 -
635.94/637.76 c 638 3626 47 1 - 0.0000 -
641.92/643.71 c 644 3656 49 1 - 0.0000 -
647.50/649.39 c 649 3696 49 1 - 0.0000 -
652.89/654.74 c 655 3741 50 1 - 0.0000 -
657.97/659.85 c 660 3796 52 1 - 0.0000 -
663.16/665.04 c 665 3843 57 1 - 0.0000 -
668.74/670.62 c 671 3890 54 1 - 0.0000 -
674.02/675.99 c 676 3927 51 1 - 0.0000 -
679.41/681.36 c 681 3972 52 1 - 0.0000 -
684.69/686.63 c 687 4016 54 1 - 0.0000 -
690.18/692.16 c 692 4060 56 1 - 0.0000 -
695.46/697.42 c 697 4107 53 1 - 0.0000 -
700.84/702.89 c 703 4152 50 1 - 0.0000 -
706.43/708.45 c 708 4197 50 1 - 0.0000 -
711.81/713.85 c 714 4229 50 1 - 0.0000 -
717.29/719.39 c 719 4277 50 1 - 0.0000 -
722.78/724.88 c 725 4316 49 1 - 0.0000 -
728.36/730.45 c 730 4351 50 1 - 0.0000 -
733.95/736.02 c 736 4391 52 1 - 0.0000 -
739.33/741.42 c 741 4438 49 1 - 0.0000 -
745.11/747.22 c 747 4477 48 1 - 0.0000 -
750.80/752.90 c 753 4514 49 1 - 0.0000 -
756.19/758.31 c 758 4559 48 1 - 0.0000 -
761.88/764.06 c 764 4601 44 1 - 0.0000 -
767.26/769.41 c 769 4639 46 1 - 0.0000 -
772.95/775.11 c 775 4680 47 1 - 0.0000 -
778.34/780.54 c 781 4723 46 1 - 0.0000 -
783.72/785.99 c 786 4770 49 1 - 0.0000 -
789.11/791.30 c 791 4814 45 1 - 0.0000 -
794.40/796.66 c 797 4863 44 1 - 0.0000 -
799.69/801.95 c 802 4907 44 1 - 0.0000 -
805.58/807.87 c 808 4948 43 1 - 0.0000 -
811.07/813.37 c 813 4988 45 1 - 0.0000 -
817.05/819.35 c 819 5019 44 1 - 0.0000 -
822.24/824.58 c 825 5059 44 1 - 0.0000 -
827.73/830.09 c 830 5119 48 1 - 0.0000 -
833.21/835.52 c 836 5161 44 1 - 0.0000 -
839.00/841.35 c 841 5208 47 1 - 0.0000 -
844.59/846.93 c 847 5246 45 1 - 0.0000 -
849.87/852.27 c 852 5290 43 1 - 0.0000 -
856.06/858.42 c 858 5325 44 1 - 0.0000 -
861.35/863.76 c 864 5356 45 1 - 0.0000 -
867.03/869.40 c 869 5400 45 1 - 0.0000 -
872.22/874.63 c 875 5447 42 1 - 0.0000 -
877.81/880.20 c 880 5487 48 1 - 0.0000 -
883.19/885.63 c 886 5539 46 1 - 0.0000 -
888.78/891.24 c 891 5581 46 1 - 0.0000 -
894.07/896.57 c 897 5645 48 1 - 0.0000 -
899.46/901.98 c 902 5690 49 1 - 0.0000 -
905.04/907.51 c 908 5748 47 1 - 0.0000 -
910.53/913.05 c 913 5802 47 1 - 0.0000 -
916.02/918.59 c 919 5863 48 1 - 0.0000 -
921.80/924.33 c 924 5911 47 1 - 0.0000 -
927.19/929.71 c 930 5962 46 1 - 0.0000 -
932.59/935.13 c 935 6013 45 1 - 0.0000 -
937.87/940.45 c 940 6062 44 1 - 0.0000 -
943.26/945.88 c 946 6108 44 1 - 0.0000 -
948.85/951.41 c 951 6155 47 1 - 0.0000 -
954.44/957.04 c 957 6200 44 1 - 0.0000 -
959.92/962.54 c 963 6247 45 1 - 0.0000 -
965.31/968.00 c 968 6282 46 1 - 0.0000 -
971.09/973.72 c 974 6319 47 1 - 0.0000 -
976.58/979.25 c 979 6375 43 1 - 0.0000 -
982.27/984.96 c 985 6416 46 1 - 0.0000 -
987.85/990.50 c 990 6462 44 1 - 0.0000 -
993.74/996.41 c 996 6502 44 1 - 0.0000 -
999.43/1002.11 c 1002 6539 43 1 - 0.0000 -
1005.01/1007.74 c 1008 6590 44 1 - 0.0000 -
1010.50/1013.21 c 1013 6631 43 1 - 0.0000 -
1015.68/1018.41 c 1018 6667 45 1 - 0.0000 -
1021.38/1024.17 c 1024 6710 40 1 - 0.0000 -
1026.76/1029.54 c 1030 6760 44 1 - 0.0000 -
1032.25/1035.07 c 1035 6806 46 1 - 0.0000 -
1037.53/1040.38 c 1040 6866 44 1 - 0.0000 -
1043.12/1045.97 c 1046 6897 45 1 - 0.0000 -
1049.11/1051.92 c 1052 6941 59 1 - 0.0000 -
1054.59/1057.42 c 1057 7003 55 1 - 0.0000 -
1059.68/1062.58 c 1063 7053 53 1 - 0.0000 -
1064.97/1067.83 c 1068 7111 55 1 - 0.0000 -
1070.45/1073.37 c 1073 7153 55 1 - 0.0000 -
1076.64/1079.50 c 1080 7202 58 1 - 0.0000 -
1081.93/1084.87 c 1085 7247 57 1 - 0.0000 -
1087.51/1090.40 c 1090 7289 57 1 - 0.0000 -
1093.30/1096.29 c 1096 7330 54 1 - 0.0000 -
1098.89/1101.83 c 1102 7374 54 1 - 0.0000 -
1104.28/1107.24 c 1107 7414 58 1 - 0.0000 -
1109.77/1112.72 c 1113 7456 54 1 - 0.0000 -
1115.26/1118.22 c 1118 7498 56 1 - 0.0000 -
1120.44/1123.46 c 1123 7541 57 1 - 0.0000 -
1126.03/1129.03 c 1129 7581 53 1 - 0.0000 -
1131.81/1134.80 c 1135 7618 54 1 - 0.0000 -
1137.20/1140.22 c 1140 7657 57 1 - 0.0000 -
1142.89/1145.93 c 1146 7697 53 1 - 0.0000 -
1148.08/1151.15 c 1151 7737 55 1 - 0.0000 -
1153.46/1156.59 c 1157 7781 53 1 - 0.0000 -
1159.06/1162.15 c 1162 7824 52 1 - 0.0000 -
1164.54/1167.63 c 1168 7872 54 1 - 0.0000 -
1169.93/1173.06 c 1173 7912 54 1 - 0.0000 -
1175.41/1178.57 c 1179 7952 52 1 - 0.0000 -
1181.10/1184.23 c 1184 7992 50 1 - 0.0000 -
1186.39/1189.57 c 1190 8033 53 1 - 0.0000 -
1192.37/1195.59 c 1196 8067 55 1 - 0.0000 -
1197.66/1200.89 c 1201 8103 53 1 - 0.0000 -
1203.44/1206.64 c 1207 8138 54 1 - 0.0000 -
1209.02/1212.20 c 1212 8175 51 1 - 0.0000 -
1214.41/1217.61 c 1218 8225 57 1 - 0.0000 -
1219.60/1222.87 c 1223 8272 56 1 - 0.0000 -
1225.09/1228.32 c 1228 8328 55 1 - 0.0000 -
1230.47/1233.74 c 1234 8367 54 1 - 0.0000 -
1235.86/1239.15 c 1239 8415 54 1 - 0.0000 -
1241.45/1244.71 c 1245 8466 53 1 - 0.0000 -
1246.74/1250.06 c 1250 8515 54 1 - 0.0000 -
1251.92/1255.21 c 1255 8553 52 1 - 0.0000 -
1257.21/1260.57 c 1261 8592 51 1 - 0.0000 -
1263.19/1266.55 c 1267 8633 54 1 - 0.0000 -
1268.58/1271.92 c 1272 8675 56 1 - 0.0000 -
1274.07/1277.42 c 1277 8728 59 1 - 0.0000 -
1279.67/1283.06 c 1283 8778 61 1 - 0.0000 -
1285.15/1288.53 c 1289 8829 54 1 - 0.0000 -
1290.84/1294.27 c 1294 8872 53 1 - 0.0000 -
1296.52/1299.94 c 1300 8913 52 1 - 0.0000 -
1301.72/1305.13 c 1305 8961 52 1 - 0.0000 -
1307.40/1310.82 c 1311 9010 57 1 - 0.0000 -
1312.98/1316.45 c 1316 9060 55 1 - 0.0000 -
1318.58/1322.02 c 1322 9099 52 1 - 0.0000 -
1324.06/1327.57 c 1328 9144 53 1 - 0.0000 -
1329.65/1333.17 c 1333 9188 50 1 - 0.0000 -
1334.93/1338.43 c 1338 9227 53 1 - 0.0000 -
1340.52/1344.02 c 1344 9261 51 1 - 0.0000 -
1345.90/1349.44 c 1349 9305 51 1 - 0.0000 -
1351.39/1354.95 c 1355 9350 54 1 - 0.0000 -
1356.78/1360.38 c 1360 9392 52 1 - 0.0000 -
1362.36/1365.92 c 1366 9428 56 1 - 0.0000 -
1368.15/1371.71 c 1372 9467 51 1 - 0.0000 -
1373.54/1377.15 c 1377 9505 49 1 - 0.0000 -
1379.02/1382.67 c 1383 9549 51 1 - 0.0000 -
1384.52/1388.14 c 1388 9591 51 1 - 0.0000 -
1390.10/1393.76 c 1394 9627 51 1 - 0.0000 -
1395.29/1398.98 c 1399 9660 50 1 - 0.0000 -
1400.88/1404.51 c 1405 9697 51 1 - 0.0000 -
1406.47/1410.17 c 1410 9738 50 1 - 0.0000 -
1411.85/1415.58 c 1416 9772 48 1 - 0.0000 -
1417.14/1420.86 c 1421 9815 47 1 - 0.0000 -
1422.43/1426.12 c 1426 9867 49 1 - 0.0000 -
1427.92/1431.62 c 1432 9917 51 1 - 0.0000 -
1433.90/1437.68 c 1438 9961 47 1 - 0.0000 -
1439.49/1443.24 c 1443 10005 49 1 - 0.0000 -
1444.98/1448.70 c 1449 10050 48 1 - 0.0000 -
1450.37/1454.13 c 1454 10081 47 1 - 0.0000 -
1455.65/1459.47 c 1459 10138 50 1 - 0.0000 -
1461.44/1465.21 c 1465 10183 49 1 - 0.0000 -
1467.23/1471.02 c 1471 10218 50 1 - 0.0000 -
1472.41/1476.28 c 1476 10288 52 1 - 0.0000 -
1477.70/1481.54 c 1482 10337 53 1 - 0.0000 -
1482.99/1486.88 c 1487 10411 53 1 - 0.0000 -
1488.77/1492.65 c 1493 10471 53 1 - 0.0000 -
1494.56/1498.49 c 1498 10514 54 1 - 0.0000 -
1500.15/1504.03 c 1504 10556 52 1 - 0.0000 -
1505.83/1509.74 c 1510 10602 56 1 - 0.0000 -
1511.22/1515.11 c 1515 10668 60 1 - 0.0000 -
1516.50/1520.49 c 1520 10744 59 1 - 0.0000 -
1521.89/1525.81 c 1526 10822 57 1 - 0.0000 -
1527.08/1531.09 c 1531 10887 54 1 - 0.0000 -
1532.86/1536.82 c 1537 10946 52 1 - 0.0000 -
1538.25/1542.27 c 1542 11019 54 1 - 0.0000 -
1543.84/1547.81 c 1548 11083 52 1 - 0.0000 -
1549.03/1553.05 c 1553 11163 54 1 - 0.0000 -
1554.71/1558.70 c 1559 11227 54 1 - 0.0000 -
1560.49/1564.50 c 1565 11275 52 1 - 0.0000 -
1565.88/1569.94 c 1570 11322 51 1 - 0.0000 -
1571.67/1575.77 c 1576 11367 52 1 - 0.0000 -
1577.46/1581.59 c 1582 11398 53 1 - 0.0000 -
1582.96/1587.07 c 1587 11442 57 1 - 0.0000 -
1588.64/1592.79 c 1593 11493 53 1 - 0.0000 -
1594.72/1598.84 c 1599 11529 51 1 - 0.0000 -
1600.51/1604.69 c 1605 11580 52 1 - 0.0000 -
1606.69/1610.83 c 1611 11619 53 1 - 0.0000 -
1612.38/1616.55 c 1617 11666 54 1 - 0.0000 -
1618.37/1622.53 c 1623 11714 50 1 - 0.0000 -
1623.96/1628.11 c 1628 11772 48 1 - 0.0000 -
1629.44/1633.69 c 1634 11836 50 1 - 0.0000 -
1635.53/1639.74 c 1640 11878 50 1 - 0.0000 -
1640.82/1645.07 c 1645 11941 49 1 - 0.0000 -
1646.30/1650.56 c 1651 11983 49 1 - 0.0000 -
1651.99/1656.20 c 1656 12027 51 1 - 0.0000 -
1657.97/1662.27 c 1662 12068 51 1 - 0.0000 -
1663.26/1667.53 c 1668 12179 54 1 - 0.0000 -
1668.55/1672.86 c 1673 12240 53 1 - 0.0000 -
1674.03/1678.37 c 1678 12312 57 1 - 0.0000 -
1679.62/1683.91 c 1684 12379 50 1 - 0.0000 -
1684.81/1689.19 c 1689 12432 49 1 - 0.0000 -
1689.99/1694.38 c 1694 12491 50 1 - 0.0000 -
1695.48/1699.86 c 1700 12544 51 1 - 0.0000 -
1705.36/1709.75 c 1710 12602 53 1 - 0.0000 -
1710.54/1714.97 c 1715 12656 51 1 - 0.0000 -
1716.23/1720.64 c 1721 12716 53 1 - 0.0000 -
1721.82/1726.23 c 1726 12774 53 1 - 0.0000 -
1727.30/1731.79 c 1732 12836 51 1 - 0.0000 -
1733.09/1737.55 c 1738 12873 50 1 - 0.0000 -
1738.68/1743.17 c 1743 12925 50 1 - 0.0000 -
1744.26/1748.74 c 1749 12978 49 1 - 0.0000 -
1749.85/1754.34 c 1754 13039 50 1 - 0.0000 -
1755.24/1759.77 c 1760 13085 49 1 - 0.0000 -
1761.32/1765.83 c 1766 13126 50 1 - 0.0000 -
1766.61/1771.18 c 1771 13208 50 1 - 0.0000 -
1772.10/1776.67 c 1777 13263 49 1 - 0.0000 -
1777.50/1782.09 c 1782 13322 52 1 - 0.0000 -
1782.88/1787.49 c 1787 13383 50 1 - 0.0000 -
1788.57/1793.18 c 1793 13438 49 1 - 0.0000 -
1794.35/1798.95 c 1799 13497 52 1 - 0.0000 -
1799.94/1804.58 c 1805 13545 51 1 - 0.0000 -
1805.43/1810.01 c 1810 13594 50 1 - 0.0000 -
1810.61/1815.20 c 1815 13643 51 1 - 0.0000 -
1816.00/1820.62 c 1821 13697 53 1 - 0.0000 -
1821.19/1825.89 c 1826 13762 52 1 - 0.0000 -
1826.58/1831.24 c 1831 13837 51 1 - 0.0000 -
1831.96/1836.68 c 1837 13892 50 1 - 0.0000 -
1837.55/1842.26 c 1842 13941 49 1 - 0.0000 -
1842.94/1847.67 c 1848 13999 49 1 - 0.0000 -
1848.43/1853.17 c 1853 14037 49 1 - 0.0000 -
1854.11/1858.80 c 1859 14089 51 1 - 0.0000 -
1859.79/1864.57 c 1865 14146 52 1 - 0.0000 -
1865.88/1870.68 c 1871 14198 48 1 - 0.0000 -
1871.46/1876.21 c 1876 14238 50 1 - 0.0000 -
1876.85/1881.62 c 1882 14310 52 1 - 0.0000 -
1882.74/1887.51 c 1888 14363 51 1 - 0.0000 -
1888.62/1893.46 c 1893 14419 57 1 - 0.0000 -
1894.42/1899.21 c 1899 14461 57 1 - 0.0000 -
1900.20/1905.09 c 1905 14513 53 1 - 0.0000 -
1905.68/1910.56 c 1911 14563 53 1 - 0.0000 -
1911.57/1916.47 c 1916 14622 50 1 - 0.0000 -
1917.26/1922.16 c 1922 14671 51 1 - 0.0000 -
1923.25/1928.11 c 1928 14727 52 1 - 0.0000 -
1928.83/1933.71 c 1934 14786 51 1 - 0.0000 -
1934.52/1939.40 c 1939 14841 49 1 - 0.0000 -
1939.90/1944.82 c 1945 14900 52 1 - 0.0000 -
1945.29/1950.22 c 1950 14941 49 1 - 0.0000 -
1950.58/1955.54 c 1956 14993 51 1 - 0.0000 -
1956.07/1961.03 c 1961 15039 49 1 - 0.0000 -
1961.65/1966.65 c 1967 15096 48 1 - 0.0000 -
1967.14/1972.13 c 1972 15156 48 1 - 0.0000 -
1972.72/1977.72 c 1978 15199 49 1 - 0.0000 -
1978.21/1983.26 c 1983 15250 48 1 - 0.0000 -
1983.60/1988.67 c 1989 15292 54 1 - 0.0000 -
1988.89/1993.97 c 1994 15341 51 1 - 0.0000 -
1994.37/1999.40 c 1999 15412 54 1 - 0.0000 -
1999.66/2004.70 c 2005 15474 52 1 - 0.0000 -
2004.95/2010.05 c 2010 15516 52 1 - 0.0000 -
2010.53/2015.65 c 2016 15578 58 1 - 0.0000 -
2016.03/2021.19 c 2021 15634 52 1 - 0.0000 -
2021.41/2026.54 c 2027 15696 52 1 - 0.0000 -
2026.69/2031.89 c 2032 15746 52 1 - 0.0000 -
2031.89/2037.07 c 2037 15810 52 1 - 0.0000 -
2037.17/2042.34 c 2042 15870 50 1 - 0.0000 -
2042.46/2047.64 c 2048 15929 53 1 - 0.0000 -
2047.85/2053.05 c 2053 15983 55 1 - 0.0000 -
2053.13/2058.38 c 2058 16033 51 1 - 0.0000 -
2058.42/2063.66 c 2064 16088 54 1 - 0.0000 -
2063.71/2068.99 c 2069 16141 49 1 - 0.0000 -
2069.09/2074.33 c 2074 16189 49 1 - 0.0000 -
2074.48/2079.71 c 2080 16235 47 1 - 0.0000 -
2080.37/2085.65 c 2086 16275 51 1 - 0.0000 -
2085.77/2091.07 c 2091 16329 49 1 - 0.0000 -
2091.25/2096.51 c 2097 16372 50 1 - 0.0000 -
2096.64/2101.92 c 2102 16423 49 1 - 0.0000 -
2102.12/2107.43 c 2107 16487 49 1 - 0.0000 -
2107.51/2112.87 c 2113 16526 50 1 - 0.0000 -
2113.00/2118.36 c 2118 16569 53 1 - 0.0000 -
2118.58/2123.96 c 2124 16607 50 1 - 0.0000 -
2123.97/2129.39 c 2129 16648 49 1 - 0.0000 -
2129.26/2134.66 c 2135 16698 49 1 - 0.0000 -
2134.44/2139.85 c 2140 16740 47 1 - 0.0000 -
2139.64/2145.02 c 2145 16799 46 1 - 0.0000 -
2145.02/2150.46 c 2150 16865 49 1 - 0.0000 -
2150.21/2155.67 c 2156 16921 51 1 - 0.0000 -
2155.49/2160.92 c 2161 16968 50 1 - 0.0000 -
2160.78/2166.23 c 2166 17024 52 1 - 0.0000 -
2165.76/2171.29 c 2171 17065 53 1 - 0.0000 -
2171.56/2177.00 c 2177 17117 51 1 - 0.0000 -
2177.24/2182.79 c 2183 17168 54 1 - 0.0000 -
2183.12/2188.60 c 2189 17207 49 1 - 0.0000 -
2188.81/2194.36 c 2194 17245 51 1 - 0.0000 -
2194.20/2199.77 c 2200 17298 52 1 - 0.0000 -
2199.68/2205.26 c 2205 17360 50 1 - 0.0000 -
2205.17/2210.71 c 2211 17409 51 1 - 0.0000 -
2210.46/2216.07 c 2216 17476 48 1 - 0.0000 -
2216.14/2221.76 c 2222 17531 51 1 - 0.0000 -
2221.83/2227.45 c 2227 17577 49 1 - 0.0000 -
2227.31/2232.94 c 2233 17622 49 1 - 0.0000 -
2233.10/2238.74 c 2239 17670 51 1 - 0.0000 -
2238.28/2243.97 c 2244 17722 48 1 - 0.0000 -
2243.67/2249.39 c 2249 17774 52 1 - 0.0000 -
2249.05/2254.75 c 2255 17844 50 1 - 0.0000 -
2254.23/2259.97 c 2260 17888 52 1 - 0.0000 -
2259.71/2265.43 c 2265 17932 50 1 - 0.0000 -
2265.40/2271.17 c 2271 17982 49 1 - 0.0000 -
2270.98/2276.77 c 2277 18023 50 1 - 0.0000 -
2276.57/2282.31 c 2282 18059 48 1 - 0.0000 -
2282.27/2288.06 c 2288 18102 47 1 - 0.0000 -
2287.65/2293.45 c 2293 18137 48 1 - 0.0000 -
2293.04/2298.82 c 2299 18180 53 1 - 0.0000 -
2298.42/2304.24 c 2304 18230 51 1 - 0.0000 -
2304.11/2309.97 c 2310 18271 52 1 - 0.0000 -
2309.60/2315.47 c 2315 18321 56 1 - 0.0000 -
2315.08/2320.90 c 2321 18378 53 1 - 0.0000 -
2320.37/2326.28 c 2326 18433 50 1 - 0.0000 -
2325.85/2331.72 c 2332 18479 52 1 - 0.0000 -
2331.04/2336.99 c 2337 18524 54 1 - 0.0000 -
2336.63/2342.55 c 2343 18577 55 1 - 0.0000 -
2342.12/2348.10 c 2348 18627 51 1 - 0.0000 -
2347.50/2353.46 c 2353 18674 54 1 - 0.0000 -
2352.99/2358.93 c 2359 18716 52 1 - 0.0000 -
2358.78/2364.71 c 2365 18760 54 1 - 0.0000 -
2364.17/2370.17 c 2370 18803 49 1 - 0.0000 -
2369.85/2375.89 c 2376 18845 47 1 - 0.0000 -
2375.83/2381.85 c 2382 18883 53 1 - 0.0000 -
2381.62/2387.68 c 2388 18920 50 1 - 0.0000 -
2387.20/2393.20 c 2393 18960 50 1 - 0.0000 -
2392.59/2398.64 c 2399 19017 49 1 - 0.0000 -
2397.88/2403.94 c 2404 19068 50 1 - 0.0000 -
2403.37/2409.42 c 2409 19115 49 1 - 0.0000 -
2408.65/2414.73 c 2415 19163 51 1 - 0.0000 -
2414.14/2420.22 c 2420 19205 53 1 - 0.0000 -
2419.82/2425.95 c 2426 19256 50 1 - 0.0000 -
2424.91/2431.09 c 2431 19281 51 1 - 0.0000 -
2430.29/2436.42 c 2436 19322 50 1 - 0.0000 -
2435.47/2441.62 c 2442 19370 52 1 - 0.0000 -
2440.75/2446.93 c 2447 19411 53 1 - 0.0000 -
2446.14/2452.36 c 2452 19449 51 1 - 0.0000 -
2451.62/2457.89 c 2458 19482 50 1 - 0.0000 -
2457.21/2463.42 c 2463 19527 53 1 - 0.0000 -
2462.99/2469.27 c 2469 19569 54 1 - 0.0000 -
2468.48/2474.77 c 2475 19616 53 1 - 0.0000 -
2474.16/2480.41 c 2480 19660 51 1 - 0.0000 -
2479.54/2485.81 c 2486 19732 51 1 - 0.0000 -
2485.12/2491.48 c 2491 19813 52 1 - 0.0000 -
2490.81/2497.11 c 2497 19866 53 1 - 0.0000 -
2496.19/2502.57 c 2503 19925 52 1 - 0.0000 -
2501.57/2507.93 c 2508 19978 57 1 - 0.0000 -
2506.76/2513.19 c 2513 20051 56 1 - 0.0000 -
2512.34/2518.77 c 2519 20133 58 1 - 0.0000 -
2517.73/2524.19 c 2524 20213 60 1 - 0.0000 -
2523.01/2529.43 c 2529 20288 62 1 - 0.0000 -
2528.49/2534.90 c 2535 20359 61 1 - 0.0000 -
2533.58/2540.06 c 2540 20432 62 1 - 0.0000 -
2538.86/2545.36 c 2545 20508 65 1 - 0.0000 -
2544.15/2550.68 c 2551 20581 62 1 - 0.0000 -
2549.54/2556.02 c 2556 20648 61 1 - 0.0000 -
2554.62/2561.13 c 2561 20735 63 1 - 0.0000 -
2560.11/2566.61 c 2567 20798 59 1 - 0.0000 -
2565.29/2571.86 c 2572 20876 63 1 - 0.0000 -
2570.67/2577.24 c 2577 20942 61 1 - 0.0000 -
2575.95/2582.55 c 2583 21005 61 1 - 0.0000 -
2581.24/2587.86 c 2588 21065 61 1 - 0.0000 -
2586.54/2593.15 c 2593 21133 61 1 - 0.0000 -
2592.02/2598.62 c 2599 21191 58 1 - 0.0000 -
2597.20/2603.86 c 2604 21262 59 1 - 0.0000 -
2602.58/2609.20 c 2609 21324 59 1 - 0.0000 -
2608.17/2614.89 c 2615 21384 59 1 - 0.0000 -
2613.55/2620.26 c 2620 21448 61 1 - 0.0000 -
2618.83/2625.59 c 2626 21508 57 1 - 0.0000 -
2624.12/2630.82 c 2631 21562 57 1 - 0.0000 -
2629.20/2635.93 c 2636 21608 59 1 - 0.0000 -
2634.49/2641.21 c 2641 21656 57 1 - 0.0000 -
2639.77/2646.54 c 2647 21713 56 1 - 0.0000 -
2645.06/2651.88 c 2652 21763 56 1 - 0.0000 -
2650.54/2657.37 c 2657 21803 54 1 - 0.0000 -
2656.02/2662.85 c 2663 21857 56 1 - 0.0000 -
2661.51/2668.33 c 2668 21904 53 1 - 0.0000 -
2666.99/2673.83 c 2674 21954 57 1 - 0.0000 -
2672.29/2679.15 c 2679 22018 61 1 - 0.0000 -
2677.47/2684.34 c 2684 22105 64 1 - 0.0000 -
2682.85/2689.76 c 2690 22177 63 1 - 0.0000 -
2688.14/2695.06 c 2695 22224 62 1 - 0.0000 -
2693.42/2700.31 c 2700 22284 64 1 - 0.0000 -
2698.90/2705.83 c 2706 22333 61 1 - 0.0000 -
2704.38/2711.33 c 2711 22406 60 1 - 0.0000 -
2709.87/2716.85 c 2717 22456 60 1 - 0.0000 -
2715.75/2722.74 c 2723 22520 54 1 - 0.0000 -
2721.04/2728.06 c 2728 22579 57 1 - 0.0000 -
2726.22/2733.29 c 2733 22657 57 1 - 0.0000 -
2731.60/2738.67 c 2739 22747 57 1 - 0.0000 -
2737.28/2744.36 c 2744 22789 60 1 - 0.0000 -
2743.57/2750.61 c 2751 22835 60 1 - 0.0000 -
2749.06/2756.11 c 2756 22871 64 1 - 0.0000 -
2754.64/2761.75 c 2762 22909 64 1 - 0.0000 -
2760.22/2767.31 c 2767 22953 64 1 - 0.0000 -
2765.61/2772.79 c 2773 22989 66 1 - 0.0000 -
2771.39/2778.51 c 2779 23031 66 1 - 0.0000 -
2776.47/2783.67 c 2784 23070 65 1 - 0.0000 -
2781.86/2789.07 c 2789 23104 67 1 - 0.0000 -
2787.74/2794.93 c 2795 23137 64 1 - 0.0000 -
2793.12/2800.39 c 2800 23178 65 1 - 0.0000 -
2798.71/2805.95 c 2806 23209 66 1 - 0.0000 -
2803.90/2811.12 c 2811 23237 66 1 - 0.0000 -
2809.38/2816.60 c 2817 23274 67 1 - 0.0000 -
2814.87/2822.17 c 2822 23310 63 1 - 0.0000 -
2820.44/2827.76 c 2828 23360 63 1 - 0.0000 -
2826.23/2833.50 c 2834 23419 64 1 - 0.0000 -
2831.51/2838.84 c 2839 23486 69 1 - 0.0000 -
2836.90/2844.20 c 2844 23555 68 1 - 0.0000 -
2842.28/2849.60 c 2850 23625 69 1 - 0.0000 -
2847.57/2854.92 c 2855 23680 69 1 - 0.0000 -
2852.66/2860.10 c 2860 23744 69 1 - 0.0000 -
2858.43/2865.88 c 2866 23801 68 1 - 0.0000 -
2863.81/2871.21 c 2871 23845 70 1 - 0.0000 -
2869.30/2876.71 c 2877 23902 69 1 - 0.0000 -
2875.18/2882.62 c 2883 23953 70 1 - 0.0000 -
2881.07/2888.50 c 2888 24015 68 1 - 0.0000 -
2886.46/2893.90 c 2894 24078 69 1 - 0.0000 -
2891.55/2899.10 c 2899 24125 67 1 - 0.0000 -
2897.03/2904.59 c 2905 24195 67 1 - 0.0000 -
2902.61/2910.18 c 2910 24250 66 1 - 0.0000 -
2907.79/2915.39 c 2915 24303 67 1 - 0.0000 -
2913.08/2920.69 c 2921 24352 66 1 - 0.0000 -
2918.66/2926.28 c 2926 24420 68 1 - 0.0000 -
2924.45/2932.00 c 2932 24461 65 1 - 0.0000 -
2930.23/2937.85 c 2938 24515 65 1 - 0.0000 -
2935.71/2943.38 c 2943 24579 67 1 - 0.0000 -
2941.19/2948.84 c 2949 24620 65 1 - 0.0000 -
2946.67/2954.36 c 2954 24675 68 1 - 0.0000 -
2952.06/2959.70 c 2960 24741 72 1 - 0.0000 -
2957.54/2965.23 c 2965 24826 77 1 - 0.0000 -
2962.83/2970.59 c 2971 24884 79 1 - 0.0000 -
2968.42/2976.17 c 2976 24953 80 1 - 0.0000 -
2973.70/2981.46 c 2981 25017 81 1 - 0.0000 -
2979.18/2986.92 c 2987 25062 78 1 - 0.0000 -
2984.57/2992.35 c 2992 25109 75 1 - 0.0000 -
2990.25/2998.00 c 2998 25162 74 1 - 0.0000 -
2995.43/3003.27 c 3003 25221 73 1 - 0.0000 -
3001.02/3008.82 c 3009 25282 70 1 - 0.0000 -
3006.31/3014.14 c 3014 25328 76 1 - 0.0000 -
3011.69/3019.55 c 3020 25386 70 1 - 0.0000 -
3016.97/3024.80 c 3025 25442 72 1 - 0.0000 -
3022.26/3030.18 c 3030 25504 75 1 - 0.0000 -
3027.44/3035.39 c 3035 25564 71 1 - 0.0000 -
3032.72/3040.66 c 3041 25634 75 1 - 0.0000 -
3037.81/3045.78 c 3046 25718 71 1 - 0.0000 -
3043.00/3050.90 c 3051 25776 71 1 - 0.0000 -
3048.19/3056.19 c 3056 25838 72 1 - 0.0000 -
3053.57/3061.57 c 3062 25891 71 1 - 0.0000 -
3059.06/3067.01 c 3067 25955 73 1 - 0.0000 -
3064.44/3072.47 c 3072 26008 71 1 - 0.0000 -
3069.82/3077.80 c 3078 26060 73 1 - 0.0000 -
3075.01/3083.06 c 3083 26127 72 1 - 0.0000 -
3080.69/3088.72 c 3089 26182 73 1 - 0.0000 -
3086.08/3094.16 c 3094 26225 72 1 - 0.0000 -
3091.85/3099.93 c 3100 26275 71 1 - 0.0000 -
3097.04/3105.18 c 3105 26332 75 1 - 0.0000 -
3102.72/3110.80 c 3111 26380 74 1 - 0.0000 -
3108.21/3116.31 c 3116 26438 78 1 - 0.0000 -
3113.70/3121.82 c 3122 26499 77 1 - 0.0000 -
3118.99/3127.11 c 3127 26564 82 1 - 0.0000 -
3124.37/3132.57 c 3133 26634 82 1 - 0.0000 -
3129.75/3137.90 c 3138 26693 79 1 - 0.0000 -
3134.94/3143.11 c 3143 26759 74 1 - 0.0000 -
3140.72/3148.95 c 3149 26805 75 1 - 0.0000 -
3146.39/3154.69 c 3155 26842 76 1 - 0.0000 -
3152.18/3160.48 c 3160 26905 75 1 - 0.0000 -
3157.86/3166.14 c 3166 26946 78 1 - 0.0000 -
3163.54/3171.84 c 3172 26997 79 1 - 0.0000 -
3168.94/3177.28 c 3177 27048 79 1 - 0.0000 -
3174.22/3182.53 c 3183 27108 79 1 - 0.0000 -
3179.41/3187.79 c 3188 27160 75 1 - 0.0000 -
3184.89/3193.20 c 3193 27218 76 1 - 0.0000 -
3190.57/3198.90 c 3199 27260 76 1 - 0.0000 -
3196.06/3204.42 c 3204 27304 74 1 - 0.0000 -
3201.94/3210.36 c 3210 27345 75 1 - 0.0000 -
3207.52/3215.95 c 3216 27391 72 1 - 0.0000 -
3213.01/3221.44 c 3221 27441 73 1 - 0.0000 -
3218.39/3226.80 c 3227 27498 71 1 - 0.0000 -
3223.97/3232.44 c 3232 27535 70 1 - 0.0000 -
3229.56/3238.09 c 3238 27581 70 1 - 0.0000 -
3235.24/3243.70 c 3244 27628 69 1 - 0.0000 -
3240.53/3249.01 c 3249 27691 70 1 - 0.0000 -
3245.81/3254.38 c 3254 27744 69 1 - 0.0000 -
3251.79/3260.30 c 3260 27800 69 1 - 0.0000 -
3257.07/3265.66 c 3266 27854 69 1 - 0.0000 -
3263.16/3271.75 c 3272 27898 67 1 - 0.0000 -
3268.24/3276.80 c 3277 27925 66 1 - 0.0000 -
3273.92/3282.52 c 3283 27970 65 1 - 0.0000 -
3279.51/3288.17 c 3288 28023 66 1 - 0.0000 -
3285.09/3293.79 c 3294 28059 68 1 - 0.0000 -
3291.18/3299.83 c 3300 28112 65 1 - 0.0000 -
3296.57/3305.25 c 3305 28164 66 1 - 0.0000 -
3301.95/3310.65 c 3311 28211 69 1 - 0.0000 -
3307.34/3316.04 c 3316 28263 67 1 - 0.0000 -
3313.02/3321.71 c 3322 28312 66 1 - 0.0000 -
3318.50/3327.28 c 3327 28361 67 1 - 0.0000 -
3324.19/3332.98 c 3333 28422 68 1 - 0.0000 -
3329.47/3338.28 c 3338 28466 68 1 - 0.0000 -
3335.26/3344.05 c 3344 28502 70 1 - 0.0000 -
3340.64/3349.40 c 3349 28559 71 1 - 0.0000 -
3345.82/3354.67 c 3355 28615 73 1 - 0.0000 -
3351.31/3360.11 c 3360 28676 74 1 - 0.0000 -
3356.39/3365.27 c 3365 28750 74 1 - 0.0000 -
3361.77/3370.60 c 3371 28814 76 1 - 0.0000 -
3366.96/3375.86 c 3376 28896 74 1 - 0.0000 -
3372.45/3381.30 c 3381 28960 74 1 - 0.0000 -
3377.73/3386.66 c 3387 29031 75 1 - 0.0000 -
3383.22/3392.14 c 3392 29102 76 1 - 0.0000 -
3388.40/3397.34 c 3397 29162 72 1 - 0.0000 -
3393.98/3402.92 c 3403 29219 75 1 - 0.0000 -
3399.27/3408.26 c 3408 29278 80 1 - 0.0000 -
3404.65/3413.62 c 3414 29356 78 1 - 0.0000 -
3410.23/3419.26 c 3419 29426 78 1 - 0.0000 -
3415.82/3424.81 c 3425 29483 75 1 - 0.0000 -
3421.01/3430.07 c 3430 29547 75 1 - 0.0000 -
3426.49/3435.57 c 3436 29598 72 1 - 0.0000 -
3431.77/3440.87 c 3441 29670 72 1 - 0.0000 -
3437.25/3446.30 c 3446 29726 70 1 - 0.0000 -
3442.44/3451.54 c 3452 29790 72 1 - 0.0000 -
3447.52/3456.69 c 3457 29847 71 1 - 0.0000 -
3452.91/3462.09 c 3462 29918 70 1 - 0.0000 -
3458.29/3467.48 c 3467 29974 74 1 - 0.0000 -
3463.77/3472.96 c 3473 30027 71 1 - 0.0000 -
3469.16/3478.35 c 3478 30088 82 1 - 0.0000 -
3474.44/3483.67 c 3484 30143 77 1 - 0.0000 -
3479.73/3488.91 c 3489 30210 72 1 - 0.0000 -
3485.21/3494.43 c 3494 30268 74 1 - 0.0000 -
3490.70/3499.95 c 3500 30319 75 1 - 0.0000 -
3495.98/3505.20 c 3505 30384 72 1 - 0.0000 -
3501.36/3510.67 c 3511 30452 70 1 - 0.0000 -
3506.55/3515.85 c 3516 30525 69 1 - 0.0000 -
3512.03/3521.31 c 3521 30592 70 1 - 0.0000 -
3517.92/3527.23 c 3527 30634 70 1 - 0.0000 -
3523.10/3532.48 c 3532 30681 71 1 - 0.0000 -
3528.58/3537.92 c 3538 30730 70 1 - 0.0000 -
3533.88/3543.22 c 3543 30787 77 1 - 0.0000 -
3539.06/3548.43 c 3548 30853 75 1 - 0.0000 -
3544.25/3553.61 c 3554 30926 76 1 - 0.0000 -
3549.33/3558.79 c 3559 30985 75 1 - 0.0000 -
3554.72/3564.16 c 3564 31041 71 1 - 0.0000 -
3560.00/3569.49 c 3569 31095 75 1 - 0.0000 -
3565.28/3574.74 c 3575 31158 76 1 - 0.0000 -
3570.86/3580.34 c 3580 31210 76 1 - 0.0000 -
3576.35/3585.86 c 3586 31263 77 1 - 0.0000 -
3581.83/3591.31 c 3591 31306 78 1 - 0.0000 -
3587.22/3596.77 c 3597 31373 75 1 - 0.0000 -
3590.51/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.51/3600.05 c Total Time : 3600.0400
3590.51/3600.05 c solving : 3600.0400
3590.51/3600.05 c presolving : 2.5710 (included in solving)
3590.51/3600.05 c B&B Tree :
3590.51/3600.05 c nodes (total) : 1
3590.51/3600.05 c Solution :
3590.51/3600.05 c Solutions found : 0
3590.51/3600.05 c Primal Bound : -
3590.51/3600.05 c Dual Bound : +0.00000000000000e+00
3590.51/3600.05 c Gap : -
3590.51/3600.05 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 (61668 MiB free)
memory of node 1: 64510 MiB (61038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447250-1721349379/watcher-4447250-1721349379 -o /tmp/evaluation-result-4447250-1721349379/solver-4447250-1721349379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000736 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447250-1721349379.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1004847, runsolver pid=1004844
[startup+0.100897 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125575712/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=47600 memory=36444 CPUtime=0.09 cores=4,6
/proc/1004847/stat : 1004847 (fscip) R 1004844 1004847 1000725 0 -1 4194304 7212 0 0 0 9 0 0 0 20 0 1 0 187105305 48742400 9111 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 11900 9111 2638 3032 0 8300 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47600 KiB
Current children cumulated memory: 36444 KiB
[startup+0.205898 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125568968/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=51560 memory=40780 CPUtime=0.19 cores=4,6
/proc/1004847/stat : 1004847 (fscip) R 1004844 1004847 1000725 0 -1 4194304 8434 0 0 0 18 1 0 0 20 0 1 0 187105305 52797440 10195 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 12890 10195 2718 3032 0 9290 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51560 KiB
Current children cumulated memory: 40780 KiB
[startup+0.30535 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125531200/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=63440 memory=51324 CPUtime=0.29 cores=4,6
/proc/1004847/stat : 1004847 (fscip) R 1004844 1004847 1000725 0 -1 4194304 11099 0 0 0 28 1 0 0 20 0 1 0 187105305 64962560 12831 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 15860 12831 2734 3032 0 12260 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63440 KiB
Current children cumulated memory: 51324 KiB
[startup+0.700219 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125522596/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=64468 memory=52380 CPUtime=0.67 cores=4,6
/proc/1004847/stat : 1004847 (fscip) R 1004844 1004847 1000725 0 -1 4194304 11380 0 0 0 66 1 0 0 20 0 1 0 187105305 66015232 13095 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 16117 13095 2734 3032 0 12517 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64468 KiB
Current children cumulated memory: 52380 KiB
[startup+1.50023 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125515332/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=65092 memory=52908 CPUtime=1.48 cores=4,6
/proc/1004847/stat : 1004847 (fscip) R 1004844 1004847 1000725 0 -1 4194304 11478 0 0 0 146 2 0 0 20 0 1 0 187105305 66654208 13227 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 16273 13227 2734 3032 0 12673 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65092 KiB
Current children cumulated memory: 52908 KiB
[startup+3.1053 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1004874
/proc/meminfo: memFree=125402164/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=193956 memory=110304 CPUtime=3.08 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 26537 0 0 0 304 4 0 0 20 0 3 0 187105305 198610944 27576 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 48489 27576 2782 3032 0 34662 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=193956 memory=74672 CPUtime=0.49 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 8633 0 0 0 48 1 0 0 20 0 3 0 187105565 198610944 27576 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=193956 memory=0 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187105567 198610944 27576 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 193956 KiB
Current children cumulated memory: 110304 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1004878
/proc/meminfo: memFree=125230052/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=194984 memory=125960 CPUtime=6.26 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 36570 0 0 0 621 5 0 0 20 0 3 0 187105305 199663616 31490 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 48746 31490 2910 3032 0 38765 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=194984 memory=0 CPUtime=3.67 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 18659 0 0 0 365 2 0 0 20 0 3 0 187105565 199663616 31490 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=194984 memory=52908 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 187105567 199663616 31490 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 194984 KiB
Current children cumulated memory: 125960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1004879
/proc/meminfo: memFree=125153996/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=194984 memory=126552 CPUtime=12.64 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 42111 0 0 0 1259 5 0 0 20 0 3 0 187105305 199663616 31638 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 48746 31638 2926 3032 0 38946 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=194984 memory=0 CPUtime=10.05 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 24180 0 0 0 1003 2 0 0 20 0 3 0 187105565 199663616 31638 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=194984 memory=11588 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 187105567 199663616 31638 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 194984 KiB
Current children cumulated memory: 126552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 1004881
/proc/meminfo: memFree=125067972/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=262404 memory=170100 CPUtime=25.4 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 78794 0 0 0 2531 9 0 0 20 0 3 0 187105305 268701696 42525 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 65601 42525 2942 3032 0 49738 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=262404 memory=0 CPUtime=22.81 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 60853 0 0 0 2275 6 0 0 20 0 3 0 187105565 268701696 42525 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=262404 memory=168344 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 187105567 268701696 42525 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 262404 KiB
Current children cumulated memory: 170100 KiB
[startup+51.1052 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1004884
/proc/meminfo: memFree=125053660/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=262404 memory=174080 CPUtime=50.94 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 114657 0 0 0 5083 11 0 0 20 0 3 0 187105305 268701696 43520 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 65601 43520 2942 3032 0 53172 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=262404 memory=180380 CPUtime=48.35 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 96668 0 0 0 4827 8 0 0 20 0 3 0 187105565 268701696 43520 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=262404 memory=172208 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 187105567 268701696 43520 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 262404 KiB
Current children cumulated memory: 174080 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1004897
/proc/meminfo: memFree=125028316/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=262404 memory=178364 CPUtime=102.01 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 127043 0 0 0 10189 12 0 0 20 0 3 0 187105305 268701696 44591 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 65601 44591 2990 3032 0 53172 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=262404 memory=-6808175748332031336 CPUtime=99.42 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 109002 0 0 0 9933 9 0 0 20 0 3 0 187105565 268701696 44591 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=262404 memory=178364 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 187105567 268701696 44591 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 262404 KiB
Current children cumulated memory: 178364 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 1004907
/proc/meminfo: memFree=124980644/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=262404 memory=196964 CPUtime=161.87 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 134227 0 0 0 16175 12 0 0 20 0 3 0 187105305 268701696 49241 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 65601 49241 2990 3032 0 53172 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=262404 memory=189028 CPUtime=159.27 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 116141 0 0 0 15918 9 0 0 20 0 3 0 187105565 268701696 49241 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=262404 memory=12508 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 187105567 268701696 49241 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 262404 KiB
Current children cumulated memory: 196964 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 1004921
/proc/meminfo: memFree=124962852/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=262404 memory=199536 CPUtime=221.73 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 143392 0 0 0 22160 13 0 0 20 0 3 0 187105305 268701696 49884 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 65601 49884 2990 3032 0 53194 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=262404 memory=196668 CPUtime=219.12 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 125272 0 0 0 21903 9 0 0 20 0 3 0 187105565 268701696 49884 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=262404 memory=198224 CPUtime=0 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 187105567 268701696 49884 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 262404 KiB
Current children cumulated memory: 199536 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1004980
/proc/meminfo: memFree=124955856/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=262404 memory=207232 CPUtime=281.58 cores=4,6
################
# More data... #
################
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=269460 CPUtime=3390.61 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 226254 0 0 0 339024 37 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=269460 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 218 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 1006743
/proc/meminfo: memFree=124665120/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3453.21 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 247649 0 0 0 345276 45 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=269460 CPUtime=3450.43 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 228418 0 0 0 345006 37 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=12508 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 222 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1006753
/proc/meminfo: memFree=124665200/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3513.03 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 249888 0 0 0 351258 45 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=12508 CPUtime=3510.25 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 230618 0 0 0 350988 37 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=269460 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 230 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664884/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3572.86 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 252248 0 0 0 357240 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=269460 CPUtime=3570.07 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 232944 0 0 0 356969 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=11588 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3600.06 s]
# the end of solver process 1004847 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.11 s, system=0.474254 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664916/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3574.56 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 252249 0 0 0 357410 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=-6736118154344238184 CPUtime=3571.77 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 232945 0 0 0 357139 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=1469371330315518081 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3574.56 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664944/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3580.93 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 252255 0 0 0 358047 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=44192 CPUtime=3578.15 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 232951 0 0 0 357777 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=269460 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3580.93 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1006764
/proc/meminfo: memFree=124664872/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3587.31 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 252310 0 0 0 358685 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=11588 CPUtime=3584.53 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 233006 0 0 0 358415 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=269460 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3587.31 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664856/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3588.91 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 253078 0 0 0 358845 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=2336 CPUtime=3586.13 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 233774 0 0 0 358575 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=3296 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3588.91 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3599.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664892/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3589.71 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 253364 0 0 0 358925 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=11588 CPUtime=3586.92 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 234053 0 0 0 358654 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=44192 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 236 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3589.71 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3599.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664892/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3590.11 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 253372 0 0 0 358965 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=-6808175748332031336 CPUtime=3587.32 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 234061 0 0 0 358694 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=1972 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 236 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3590.11 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664900/131524600 swapFree=131071996/131071996
[pid=1004847] ppid=1004844 vsize=326056 memory=269460 CPUtime=3590.51 cores=4,6
/proc/1004847/stat : 1004847 (fscip) S 1004844 1004847 1000725 0 -1 1077936128 253377 0 0 0 359005 46 0 0 20 0 3 0 187105305 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
/proc/1004847/statm: 81514 67365 2990 3032 0 70698 0
[pid=1004847/tid=1004871] ppid=1004844 vsize=326056 memory=2248 CPUtime=3587.73 cores=4,6
/proc/1004847/task/1004871/stat : 1004871 (fscip) R 1004844 1004847 1000725 0 -1 4194368 234066 0 0 0 358735 38 0 0 20 0 3 0 187105565 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
[pid=1004847/tid=1004872] ppid=1004844 vsize=326056 memory=3304 CPUtime=0.02 cores=4,6
/proc/1004847/task/1004872/stat : 1004872 (fscip) S 1004844 1004847 1000725 0 -1 1077936192 236 0 0 0 1 1 0 0 20 0 3 0 187105567 333881344 67365 134679101440 4194304 16613245 140725105329424 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 38285312 140725105333267 140725105333383 140725105333383 140725105340400 0
Current children cumulated CPU time: 3590.51 s
Current children cumulated vsize: 326056 KiB
Current children cumulated memory: 269460 KiB
Child status: 0
Real time (s): 3600.06
CPU time (s): 3590.58
CPU user time (s): 3590.11
CPU system time (s): 0.474254
CPU usage (%): 99.7366
Max. virtual memory (cumulated for all children) (KiB): 326056
Max. memory (cumulated for all children) (KiB): 269460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.11
system time used= 0.474254
maximum resident set size= 269460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254238
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= 9863
involuntary context switches= 1924
# summary of solver processes directly reported to runsolver:
# pid: 1004847
# total CPU time (s): 3590.58
# total CPU user time (s): 3590.11
# total CPU system time (s): 0.474254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47106 second user time and 15.9153 second system time
The end
Begin job on nodeC029 at 2024-07-19 02:36:32
IDJOB=4447250
IDBENCH=158374
IDSOLVER=3064
FILE ID=nodeC029/4447250-1721349379
RUNJOBID= nodeC029-1721342191-1000736
SLURM_JOB_ID= 7542739
Free space on /tmp= 890012 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.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-4447250-1721349379/watcher-4447250-1721349379 -o /tmp/evaluation-result-4447250-1721349379/solver-4447250-1721349379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000736 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447250-1721349379.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1befa42a441a3881696e6fa0e11864f5
RANDOM SEED=2111051887
nodeC029.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 : 3659.049
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.09
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 : 3665.724
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.98
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 : 3637.445
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.09
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 : 3663.848
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3649.194
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.09
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 : 3647.160
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.98
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 : 3603.934
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.09
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 : 3665.204
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125652336 kB
MemAvailable: 129654916 kB
Buffers: 501200 kB
Cached: 4292708 kB
SwapCached: 0 kB
Active: 961652 kB
Inactive: 4197484 kB
Active(anon): 1416 kB
Inactive(anon): 401524 kB
Active(file): 960236 kB
Inactive(file): 3795960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112932 kB
Writeback: 0 kB
AnonPages: 365316 kB
Mapped: 117340 kB
Shmem: 37720 kB
KReclaimable: 172060 kB
Slab: 293784 kB
SReclaimable: 172060 kB
SUnreclaim: 121724 kB
KernelStack: 3932 kB
PageTables: 9820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 813440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68768 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-19 03:36:32