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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 47222784, getVmSize() = 47222784, SCIPgetMemUsed() = 21387361, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13422915
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.28 c ** Estimated virtualMemUsedAtSolver = 39258900, getVmSize() = 69808128, SCIPgetMemUsed() = 25004123, SCIPgetMemTotal() = 45465435, SCIPgetMemExternEstim() = 13422915
0.20/0.28 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.28 c Original Problem :
0.20/0.28 c Problem name : instance-4450600-1721414446
0.20/0.28 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 9536
0.20/0.28 c Objective sense : minimize
0.20/0.28 c Presolved Problem :
0.20/0.28 c Variables : 3303 (3303 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.28 c Constraints : 7718
0.20/0.28 c Constraints : Number
0.20/0.28 c and : 32
0.20/0.28 c linear : 1269
0.20/0.28 c logicor : 6417
0.20/0.28 c ** Instance transfer method used: 0
0.20/0.29 c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.31 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.31 c Nodes Active
0.29/0.31 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
33.32/33.59 c 34 2 1 1 - 0.0000 -
41.90/42.18 c 42 25 24 1 - 0.0000 -
47.18/47.46 c 47 28 27 1 - 0.0000 -
53.26/53.56 c 54 32 31 1 - 0.0000 -
58.45/58.74 c 59 35 34 1 - 0.0000 -
207.41/208.09 c 208 42 41 1 - 0.0000 -
213.50/214.13 c 214 48 47 1 - 0.0000 -
222.67/223.39 c 223 55 54 1 - 0.0000 -
231.45/232.10 c 232 65 64 1 - 0.0000 -
237.44/238.11 c 238 72 71 1 - 0.0000 -
244.52/245.23 c 245 75 74 1 - 0.0000 -
249.61/250.37 c 250 78 77 1 - 0.0000 -
255.09/255.82 c 256 82 81 1 - 0.0000 -
260.48/261.24 c 261 92 91 1 - 0.0000 -
268.56/269.37 c 269 98 97 1 - 0.0000 -
278.63/279.40 c 279 112 111 1 - 0.0000 -
286.11/286.90 c 287 125 124 1 - 0.0000 -
294.20/295.09 c 295 145 144 1 - 0.0000 -
303.66/304.58 c 305 152 151 1 - 0.0000 -
311.05/311.96 c 312 178 177 1 - 0.0000 -
318.73/319.63 c 320 185 184 1 - 0.0000 -
324.02/324.92 c 325 218 217 1 - 0.0000 -
330.40/331.31 c 331 265 264 1 - 0.0000 -
337.99/338.93 c 339 359 358 1 - 0.0000 -
348.07/349.05 c 349 384 383 1 - 0.0000 -
356.24/357.22 c 357 392 391 1 - 0.0000 -
363.03/364.04 c 364 408 407 1 - 0.0000 -
369.91/370.96 c 371 440 439 1 - 0.0000 -
375.70/376.72 c 377 444 443 1 - 0.0000 -
380.69/381.74 c 382 452 451 1 - 0.0000 -
388.97/390.09 c 390 492 491 1 - 0.0000 -
395.05/396.13 c 396 512 511 1 - 0.0000 -
401.23/402.30 c 402 536 535 1 - 0.0000 -
406.92/408.08 c 408 548 547 1 - 0.0000 -
412.60/413.76 c 414 556 555 1 - 0.0000 -
418.78/419.91 c 420 568 567 1 - 0.0000 -
425.98/427.15 c 427 588 587 1 - 0.0000 -
432.45/433.67 c 434 620 619 1 - 0.0000 -
440.13/441.36 c 441 628 627 1 - 0.0000 -
446.22/447.44 c 447 673 672 1 - 0.0000 -
453.20/454.45 c 454 676 675 1 - 0.0000 -
458.69/459.98 c 460 696 695 1 - 0.0000 -
466.88/468.13 c 468 708 707 1 - 0.0000 -
474.15/475.49 c 475 728 727 1 - 0.0000 -
479.33/480.62 c 481 757 756 1 - 0.0000 -
486.32/487.65 c 488 760 759 1 - 0.0000 -
493.90/495.29 c 495 784 783 1 - 0.0000 -
499.99/501.35 c 501 837 836 1 - 0.0000 -
505.48/506.84 c 507 871 870 1 - 0.0000 -
511.26/512.60 c 513 900 899 1 - 0.0000 -
517.14/518.53 c 519 958 957 1 - 0.0000 -
522.43/523.84 c 524 984 983 1 - 0.0000 -
528.12/529.57 c 530 1007 1006 1 - 0.0000 -
536.79/538.27 c 538 1020 1019 1 - 0.0000 -
582.69/584.23 c 584 1051 1 1 - 0.0000 -
588.18/589.70 c 590 1091 41 1 - 0.0000 -
598.15/599.74 c 600 1101 51 1 - 0.0000 -
603.35/605.00 c 605 1106 56 1 - 0.0000 -
612.22/613.83 c 614 1116 66 1 - 0.0000 -
618.51/620.12 c 620 1128 78 1 - 0.0000 -
624.29/625.96 c 626 1141 91 1 - 0.0000 -
629.58/631.29 c 631 1156 106 1 - 0.0000 -
634.87/636.51 c 637 1181 131 1 - 0.0000 -
641.65/643.37 c 643 1196 146 1 - 0.0000 -
647.83/649.50 c 650 1208 158 1 - 0.0000 -
653.62/655.32 c 655 1223 173 1 - 0.0000 -
659.91/661.62 c 662 1247 197 1 - 0.0000 -
666.49/668.22 c 668 1283 233 1 - 0.0000 -
672.37/674.18 c 674 1289 239 1 - 0.0000 -
678.95/680.71 c 681 1331 281 1 - 0.0000 -
686.34/688.12 c 688 1367 317 1 - 0.0000 -
692.02/693.86 c 694 1429 379 1 - 0.0000 -
697.51/699.35 c 699 1590 522 1 - 0.0000 -
704.08/705.91 c 706 1900 799 1 - 0.0000 -
711.96/713.82 c 714 1929 828 1 - 0.0000 -
718.35/720.20 c 720 2041 889 1 - 0.0000 -
723.44/725.39 c 725 2244 963 1 - 0.0000 -
729.32/731.24 c 731 2575 1010 1 - 0.0000 -
734.40/736.30 c 736 3167 1043 1 - 0.0000 -
739.39/741.37 c 741 3839 1040 1 - 0.0000 -
744.48/746.43 c 746 4244 1055 1 - 0.0000 -
749.57/751.54 c 752 4820 1016 1 - 0.0000 -
754.55/756.60 c 757 5511 1060 1 - 0.0000 -
759.64/761.64 c 762 6272 1028 1 - 0.0000 -
764.73/766.70 c 767 7100 1027 1 - 0.0000 -
769.71/771.77 c 772 7978 1035 1 - 0.0000 -
774.80/776.87 c 777 8692 1031 1 - 0.0000 -
779.89/781.92 c 782 9410 1032 1 - 0.0000 -
784.88/786.97 c 787 10172 1105 1 - 0.0000 -
789.97/792.03 c 792 10859 1123 1 - 0.0000 -
794.95/797.08 c 797 11611 1120 1 - 0.0000 -
800.04/802.16 c 802 12263 1123 1 - 0.0000 -
805.13/807.23 c 807 12892 1112 1 - 0.0000 -
810.11/812.29 c 812 13570 1114 1 - 0.0000 -
815.19/817.36 c 817 14246 1123 1 - 0.0000 -
820.29/822.46 c 822 14899 1109 1 - 0.0000 -
825.37/827.54 c 828 15506 1111 1 - 0.0000 -
830.36/832.59 c 833 16118 1122 1 - 0.0000 -
835.44/837.65 c 838 16918 1147 1 - 0.0000 -
840.53/842.70 c 843 17611 1112 1 - 0.0000 -
845.52/847.76 c 848 18275 1112 1 - 0.0000 -
850.61/852.83 c 853 18819 1113 1 - 0.0000 -
855.59/857.88 c 858 19432 1093 1 - 0.0000 -
860.67/862.96 c 863 20102 1117 1 - 0.0000 -
865.77/868.05 c 868 20726 1093 1 - 0.0000 -
870.86/873.12 c 873 21328 1095 1 - 0.0000 -
875.94/878.22 c 878 21971 1085 1 - 0.0000 -
880.93/883.29 c 883 22594 1094 1 - 0.0000 -
886.02/888.39 c 888 23164 1091 1 - 0.0000 -
891.10/893.46 c 893 23793 1083 1 - 0.0000 -
896.18/898.53 c 899 24398 1088 1 - 0.0000 -
901.17/903.58 c 904 25120 1103 1 - 0.0000 -
907.16/909.59 c 910 25242 1105 1 - 0.0000 -
912.24/914.65 c 915 25865 1080 1 - 0.0000 -
917.33/919.73 c 920 26484 1065 1 - 0.0000 -
922.32/924.78 c 925 27086 1072 1 - 0.0000 -
927.41/929.84 c 930 27641 1058 1 - 0.0000 -
932.49/934.94 c 935 28223 1040 1 - 0.0000 -
937.59/940.00 c 940 28859 1067 1 - 0.0000 -
943.27/945.70 c 946 29175 1055 1 - 0.0000 -
948.25/950.77 c 951 29728 1043 1 - 0.0000 -
953.34/955.84 c 956 30324 1015 1 - 0.0000 -
958.43/960.92 c 961 30925 1009 1 - 0.0000 -
963.42/965.97 c 966 31747 1099 1 - 0.0000 -
968.50/971.03 c 971 32401 1100 1 - 0.0000 -
973.49/976.08 c 976 33066 1120 1 - 0.0000 -
978.58/981.14 c 981 33647 1116 1 - 0.0000 -
983.57/986.19 c 986 34345 1112 1 - 0.0000 -
988.65/991.27 c 991 34957 1106 1 - 0.0000 -
993.73/996.33 c 996 35599 1123 1 - 0.0000 -
998.82/1001.40 c 1001 36192 1134 1 - 0.0000 -
1003.81/1006.49 c 1006 36845 1107 1 - 0.0000 -
1008.90/1011.55 c 1012 37375 1103 1 - 0.0000 -
1013.99/1016.63 c 1017 37975 1096 1 - 0.0000 -
1019.07/1021.72 c 1022 38644 1090 1 - 0.0000 -
1024.06/1026.77 c 1027 39230 1099 1 - 0.0000 -
1029.14/1031.82 c 1032 39942 1092 1 - 0.0000 -
1034.14/1036.88 c 1037 40565 1092 1 - 0.0000 -
1039.22/1041.93 c 1042 41119 1091 1 - 0.0000 -
1044.21/1046.98 c 1047 41676 1096 1 - 0.0000 -
1049.30/1052.05 c 1052 42296 1089 1 - 0.0000 -
1054.38/1057.12 c 1057 42785 1092 1 - 0.0000 -
1059.47/1062.26 c 1062 43357 1096 1 - 0.0000 -
1064.56/1067.31 c 1067 43850 1084 1 - 0.0000 -
1069.54/1072.37 c 1072 44729 1095 1 - 0.0000 -
1074.63/1077.46 c 1077 45279 1099 1 - 0.0000 -
1079.72/1082.55 c 1083 45850 1103 1 - 0.0000 -
1084.80/1087.67 c 1088 46400 1097 1 - 0.0000 -
1089.89/1092.78 c 1093 46944 1098 1 - 0.0000 -
1094.98/1097.88 c 1098 47651 1145 1 - 0.0000 -
1100.07/1102.94 c 1103 48506 1166 1 - 0.0000 -
1105.06/1107.99 c 1108 49092 1182 1 - 0.0000 -
1110.15/1113.06 c 1113 49548 1181 1 - 0.0000 -
1115.23/1118.14 c 1118 50158 1184 1 - 0.0000 -
1120.31/1123.24 c 1123 50765 1239 1 - 0.0000 -
1125.40/1128.30 c 1128 51272 1244 1 - 0.0000 -
1130.39/1133.37 c 1133 51779 1227 1 - 0.0000 -
1135.48/1138.46 c 1138 52260 1216 1 - 0.0000 -
1140.57/1143.52 c 1144 52811 1223 1 - 0.0000 -
1145.66/1148.60 c 1149 53325 1232 1 - 0.0000 -
1150.84/1153.87 c 1154 53737 1232 1 - 0.0000 -
1155.93/1158.93 c 1159 54188 1228 1 - 0.0000 -
1161.02/1164.01 c 1164 54696 1219 1 - 0.0000 -
1166.01/1169.06 c 1169 55244 1217 1 - 0.0000 -
1171.10/1174.14 c 1174 55802 1220 1 - 0.0000 -
1176.18/1179.21 c 1179 56351 1215 1 - 0.0000 -
1181.17/1184.27 c 1184 56889 1230 1 - 0.0000 -
1186.25/1189.33 c 1189 57429 1226 1 - 0.0000 -
1191.34/1194.41 c 1194 57905 1220 1 - 0.0000 -
1196.42/1199.52 c 1200 58439 1213 1 - 0.0000 -
1201.51/1204.61 c 1205 58935 1219 1 - 0.0000 -
1206.50/1209.69 c 1210 59461 1219 1 - 0.0000 -
1211.58/1214.76 c 1215 60006 1221 1 - 0.0000 -
1216.68/1219.85 c 1220 60497 1221 1 - 0.0000 -
1221.76/1224.92 c 1225 61028 1222 1 - 0.0000 -
1226.86/1230.03 c 1230 61511 1224 1 - 0.0000 -
1231.84/1235.10 c 1235 62087 1218 1 - 0.0000 -
1237.02/1240.21 c 1240 62564 1211 1 - 0.0000 -
1242.10/1245.33 c 1245 63115 1215 1 - 0.0000 -
1247.09/1250.37 c 1250 63629 1212 1 - 0.0000 -
1252.18/1255.42 c 1255 64140 1201 1 - 0.0000 -
1257.16/1260.47 c 1260 64674 1208 1 - 0.0000 -
1262.25/1265.55 c 1266 65337 1215 1 - 0.0000 -
1267.33/1270.62 c 1271 65983 1217 1 - 0.0000 -
1272.31/1275.68 c 1276 66554 1214 1 - 0.0000 -
1277.39/1280.74 c 1281 67103 1199 1 - 0.0000 -
1282.48/1285.85 c 1286 67594 1207 1 - 0.0000 -
1287.56/1290.90 c 1291 68139 1207 1 - 0.0000 -
1292.55/1295.97 c 1296 68643 1213 1 - 0.0000 -
1297.63/1301.06 c 1301 69209 1207 1 - 0.0000 -
1302.72/1306.12 c 1306 69756 1197 1 - 0.0000 -
1307.70/1311.19 c 1311 70218 1190 1 - 0.0000 -
1312.78/1316.26 c 1316 70748 1198 1 - 0.0000 -
1317.87/1321.32 c 1321 71323 1188 1 - 0.0000 -
1322.85/1326.38 c 1326 71838 1183 1 - 0.0000 -
1327.93/1331.44 c 1331 72286 1190 1 - 0.0000 -
1333.02/1336.52 c 1337 72811 1186 1 - 0.0000 -
1338.10/1341.60 c 1342 73345 1175 1 - 0.0000 -
1343.09/1346.67 c 1347 73837 1175 1 - 0.0000 -
1348.17/1351.72 c 1352 74530 1276 1 - 0.0000 -
1353.26/1356.80 c 1357 75052 1274 1 - 0.0000 -
1358.24/1361.87 c 1362 75628 1292 1 - 0.0000 -
1363.32/1366.97 c 1367 76047 1293 1 - 0.0000 -
1368.41/1372.05 c 1372 76529 1297 1 - 0.0000 -
1373.40/1377.10 c 1377 77113 1287 1 - 0.0000 -
1378.48/1382.15 c 1382 77659 1294 1 - 0.0000 -
1383.56/1387.24 c 1387 78174 1295 1 - 0.0000 -
1388.64/1392.30 c 1392 78715 1292 1 - 0.0000 -
1393.63/1397.36 c 1397 79272 1299 1 - 0.0000 -
1398.71/1402.43 c 1402 79856 1293 1 - 0.0000 -
1403.69/1407.49 c 1407 80455 1307 1 - 0.0000 -
1408.79/1412.54 c 1413 81000 1328 1 - 0.0000 -
1413.87/1417.61 c 1418 81576 1323 1 - 0.0000 -
1418.95/1422.71 c 1423 82104 1321 1 - 0.0000 -
1423.93/1427.76 c 1428 82619 1322 1 - 0.0000 -
1429.02/1432.86 c 1433 83206 1334 1 - 0.0000 -
1434.11/1437.98 c 1438 83809 1324 1 - 0.0000 -
1439.19/1443.04 c 1443 84373 1323 1 - 0.0000 -
1444.27/1448.11 c 1448 84996 1315 1 - 0.0000 -
1449.25/1453.18 c 1453 85579 1310 1 - 0.0000 -
1454.34/1458.25 c 1458 86156 1307 1 - 0.0000 -
1459.32/1463.29 c 1463 86703 1339 1 - 0.0000 -
1464.51/1468.42 c 1468 87098 1335 1 - 0.0000 -
1469.59/1473.50 c 1474 87558 1348 1 - 0.0000 -
1474.57/1478.57 c 1479 88019 1353 1 - 0.0000 -
1479.66/1483.62 c 1484 88544 1344 1 - 0.0000 -
1484.74/1488.70 c 1489 89048 1326 1 - 0.0000 -
1489.82/1493.81 c 1494 89527 1333 1 - 0.0000 -
1494.81/1498.86 c 1499 90064 1336 1 - 0.0000 -
1499.89/1503.93 c 1504 90636 1335 1 - 0.0000 -
1504.88/1508.97 c 1509 91150 1331 1 - 0.0000 -
1509.96/1514.05 c 1514 91702 1338 1 - 0.0000 -
1515.05/1519.11 c 1519 92222 1316 1 - 0.0000 -
1520.04/1524.17 c 1524 92725 1318 1 - 0.0000 -
1525.12/1529.28 c 1529 93248 1312 1 - 0.0000 -
1530.20/1534.34 c 1534 93727 1326 1 - 0.0000 -
1535.28/1539.41 c 1539 94272 1321 1 - 0.0000 -
1540.37/1544.52 c 1545 94766 1297 1 - 0.0000 -
1545.45/1549.61 c 1550 95256 1300 1 - 0.0000 -
1550.54/1554.71 c 1555 95760 1292 1 - 0.0000 -
1555.52/1559.79 c 1560 96332 1278 1 - 0.0000 -
1560.60/1564.85 c 1565 96884 1313 1 - 0.0000 -
1565.69/1569.90 c 1570 97410 1310 1 - 0.0000 -
1570.67/1574.96 c 1575 97901 1310 1 - 0.0000 -
1575.76/1580.03 c 1580 98382 1301 1 - 0.0000 -
1580.75/1585.09 c 1585 98873 1290 1 - 0.0000 -
1585.84/1590.16 c 1590 99378 1295 1 - 0.0000 -
1590.92/1595.21 c 1595 99975 1282 1 - 0.0000 -
1595.91/1600.28 c 1600 100495 1284 1 - 0.0000 -
1600.99/1605.36 c 1605 101012 1289 1 - 0.0000 -
1606.08/1610.44 c 1610 101486 1290 1 - 0.0000 -
1611.17/1615.53 c 1616 102002 1288 1 - 0.0000 -
1616.25/1620.63 c 1621 102540 1283 1 - 0.0000 -
1621.24/1625.67 c 1626 103060 1294 1 - 0.0000 -
1626.33/1630.72 c 1631 103531 1293 1 - 0.0000 -
1631.31/1635.78 c 1636 104053 1308 1 - 0.0000 -
1636.39/1640.85 c 1641 104515 1301 1 - 0.0000 -
1641.49/1645.93 c 1646 104949 1285 1 - 0.0000 -
1646.47/1650.98 c 1651 105628 1325 1 - 0.0000 -
1651.56/1656.05 c 1656 106282 1309 1 - 0.0000 -
1656.65/1661.13 c 1661 106823 1301 1 - 0.0000 -
1661.73/1666.22 c 1666 107624 1345 1 - 0.0000 -
1666.72/1671.28 c 1671 108135 1344 1 - 0.0000 -
1671.81/1676.35 c 1676 108623 1348 1 - 0.0000 -
1676.90/1681.41 c 1681 109120 1339 1 - 0.0000 -
1681.89/1686.47 c 1686 109799 1387 1 - 0.0000 -
1686.97/1691.53 c 1692 110349 1381 1 - 0.0000 -
1691.96/1696.58 c 1697 110983 1414 1 - 0.0000 -
1697.04/1701.66 c 1702 111653 1430 1 - 0.0000 -
1702.13/1706.74 c 1707 112194 1463 1 - 0.0000 -
1707.22/1711.81 c 1712 112678 1484 1 - 0.0000 -
1712.20/1716.89 c 1717 113206 1496 1 - 0.0000 -
1717.29/1721.95 c 1722 113772 1496 1 - 0.0000 -
1722.39/1727.03 c 1727 114283 1498 1 - 0.0000 -
1727.37/1732.10 c 1732 114796 1490 1 - 0.0000 -
1732.46/1737.15 c 1737 115340 1504 1 - 0.0000 -
1737.54/1742.22 c 1742 115933 1525 1 - 0.0000 -
1742.52/1747.27 c 1747 116657 1527 1 - 0.0000 -
1747.62/1752.35 c 1752 117197 1534 1 - 0.0000 -
1752.71/1757.42 c 1757 117737 1532 1 - 0.0000 -
1757.69/1762.47 c 1762 118324 1534 1 - 0.0000 -
1762.78/1767.53 c 1768 118867 1532 1 - 0.0000 -
1767.76/1772.59 c 1773 119514 1544 1 - 0.0000 -
1772.86/1777.65 c 1778 120213 1537 1 - 0.0000 -
1777.94/1782.70 c 1783 120762 1528 1 - 0.0000 -
1782.93/1787.79 c 1788 121355 1552 1 - 0.0000 -
1788.01/1792.85 c 1793 121885 1542 1 - 0.0000 -
1793.10/1797.91 c 1798 122513 1576 1 - 0.0000 -
1798.19/1803.01 c 1803 123016 1552 1 - 0.0000 -
1803.18/1808.07 c 1808 123561 1538 1 - 0.0000 -
1808.27/1813.12 c 1813 124145 1550 1 - 0.0000 -
1813.35/1818.21 c 1818 124677 1545 1 - 0.0000 -
1818.34/1823.28 c 1823 125230 1640 1 - 0.0000 -
1823.42/1828.37 c 1828 125711 1620 1 - 0.0000 -
1828.51/1833.44 c 1833 126235 1592 1 - 0.0000 -
1833.60/1838.50 c 1839 126742 1582 1 - 0.0000 -
1838.59/1843.55 c 1844 127313 1576 1 - 0.0000 -
1843.68/1848.61 c 1849 127845 1591 1 - 0.0000 -
1848.66/1853.67 c 1854 128318 1560 1 - 0.0000 -
1853.75/1858.76 c 1859 128767 1575 1 - 0.0000 -
1858.84/1863.85 c 1864 129253 1571 1 - 0.0000 -
1863.93/1868.95 c 1869 129752 1563 1 - 0.0000 -
1869.02/1874.01 c 1874 130247 1576 1 - 0.0000 -
1874.11/1879.11 c 1879 130685 1570 1 - 0.0000 -
1879.19/1884.20 c 1884 131181 1573 1 - 0.0000 -
1884.17/1889.26 c 1889 131654 1572 1 - 0.0000 -
1889.26/1894.32 c 1894 132157 1560 1 - 0.0000 -
1894.25/1899.36 c 1899 132744 1568 1 - 0.0000 -
1899.33/1904.41 c 1904 133315 1541 1 - 0.0000 -
1904.32/1909.47 c 1909 134021 1607 1 - 0.0000 -
1909.41/1914.55 c 1915 134642 1579 1 - 0.0000 -
1914.40/1919.59 c 1920 135151 1585 1 - 0.0000 -
1919.48/1924.67 c 1925 135629 1576 1 - 0.0000 -
1924.57/1929.72 c 1930 136118 1570 1 - 0.0000 -
1929.66/1934.81 c 1935 136602 1584 1 - 0.0000 -
1934.65/1939.86 c 1940 137119 1582 1 - 0.0000 -
1939.74/1944.92 c 1945 137756 1643 1 - 0.0000 -
1944.82/1950.02 c 1950 138333 1670 1 - 0.0000 -
1949.82/1955.09 c 1955 138913 1668 1 - 0.0000 -
1954.90/1960.14 c 1960 139484 1680 1 - 0.0000 -
1959.98/1965.22 c 1965 140045 1672 1 - 0.0000 -
1964.96/1970.27 c 1970 140574 1657 1 - 0.0000 -
1970.04/1975.33 c 1975 141045 1648 1 - 0.0000 -
1975.12/1980.41 c 1980 141708 1624 1 - 0.0000 -
1980.11/1985.47 c 1985 142264 1636 1 - 0.0000 -
1985.20/1990.55 c 1991 142805 1629 1 - 0.0000 -
1990.28/1995.60 c 1996 143339 1636 1 - 0.0000 -
1995.27/2000.69 c 2001 143952 1803 1 - 0.0000 -
2000.35/2005.74 c 2006 144535 1663 1 - 0.0000 -
2005.43/2010.80 c 2011 145215 1623 1 - 0.0000 -
2010.41/2015.86 c 2016 145814 1631 1 - 0.0000 -
2015.50/2020.92 c 2021 146353 1630 1 - 0.0000 -
2020.49/2025.99 c 2026 146867 1639 1 - 0.0000 -
2025.57/2031.06 c 2031 147396 1642 1 - 0.0000 -
2030.66/2036.13 c 2036 147924 1633 1 - 0.0000 -
2035.73/2041.22 c 2041 148554 1630 1 - 0.0000 -
2040.72/2046.26 c 2046 149182 1645 1 - 0.0000 -
2045.80/2051.32 c 2051 149738 1631 1 - 0.0000 -
2050.78/2056.39 c 2056 150314 1638 1 - 0.0000 -
2055.86/2061.47 c 2061 150886 1645 1 - 0.0000 -
2060.96/2066.55 c 2067 151412 1626 1 - 0.0000 -
2066.04/2071.62 c 2072 152021 1629 1 - 0.0000 -
2071.02/2076.67 c 2077 152631 1621 1 - 0.0000 -
2076.10/2081.73 c 2082 153115 1623 1 - 0.0000 -
2081.09/2086.78 c 2087 153627 1629 1 - 0.0000 -
2086.17/2091.84 c 2092 154237 1551 1 - 0.0000 -
2091.15/2096.89 c 2097 154737 1554 1 - 0.0000 -
2096.24/2101.95 c 2102 155238 1553 1 - 0.0000 -
2101.33/2107.02 c 2107 155720 1548 1 - 0.0000 -
2106.41/2112.17 c 2112 156295 1595 1 - 0.0000 -
2111.49/2117.23 c 2117 156848 1575 1 - 0.0000 -
2116.57/2122.32 c 2122 157388 1569 1 - 0.0000 -
2121.55/2127.37 c 2127 157949 1562 1 - 0.0000 -
2126.63/2132.46 c 2132 158507 1590 1 - 0.0000 -
2131.72/2137.51 c 2138 159056 1601 1 - 0.0000 -
2136.81/2142.60 c 2143 159713 1475 1 - 0.0000 -
2141.79/2147.66 c 2148 160299 1436 1 - 0.0000 -
2146.87/2152.73 c 2153 160812 1413 1 - 0.0000 -
2151.85/2157.79 c 2158 161430 1394 1 - 0.0000 -
2156.94/2162.87 c 2163 162018 1392 1 - 0.0000 -
2162.03/2167.94 c 2168 162517 1391 1 - 0.0000 -
2167.10/2173.01 c 2173 163067 1382 1 - 0.0000 -
2172.09/2178.10 c 2178 163714 1378 1 - 0.0000 -
2177.18/2183.15 c 2183 164209 1359 1 - 0.0000 -
2182.26/2188.24 c 2188 164764 1327 1 - 0.0000 -
2187.24/2193.29 c 2193 165326 1356 1 - 0.0000 -
2192.34/2198.37 c 2198 166002 1254 1 - 0.0000 -
2197.43/2203.44 c 2203 166522 1267 1 - 0.0000 -
2202.51/2208.54 c 2209 167008 1258 1 - 0.0000 -
2207.50/2213.59 c 2214 167633 1279 1 - 0.0000 -
2212.58/2218.65 c 2219 168263 1239 1 - 0.0000 -
2217.67/2223.71 c 2224 168772 1236 1 - 0.0000 -
2222.66/2228.76 c 2229 169421 1195 1 - 0.0000 -
2227.75/2233.80 c 2234 170072 1306 1 - 0.0000 -
2232.74/2238.89 c 2239 170641 1347 1 - 0.0000 -
2237.82/2243.97 c 2244 171189 1338 1 - 0.0000 -
2242.91/2249.03 c 2249 171826 1346 1 - 0.0000 -
2247.90/2254.08 c 2254 172386 1369 1 - 0.0000 -
2253.00/2259.13 c 2259 172993 1388 1 - 0.0000 -
2258.08/2264.21 c 2264 173532 1374 1 - 0.0000 -
2263.06/2269.26 c 2269 174092 1360 1 - 0.0000 -
2268.15/2274.37 c 2274 174624 1345 1 - 0.0000 -
2273.24/2279.44 c 2279 175189 1328 1 - 0.0000 -
2278.32/2284.50 c 2285 175861 1370 1 - 0.0000 -
2283.32/2289.56 c 2290 176533 1385 1 - 0.0000 -
2288.40/2294.62 c 2295 177228 1394 1 - 0.0000 -
2293.39/2299.67 c 2300 177780 1399 1 - 0.0000 -
2298.48/2304.75 c 2305 178420 1409 1 - 0.0000 -
2303.57/2309.81 c 2310 178994 1426 1 - 0.0000 -
2308.55/2314.86 c 2315 179588 1434 1 - 0.0000 -
2313.64/2319.95 c 2320 180157 1402 1 - 0.0000 -
2318.73/2325.04 c 2325 180788 1399 1 - 0.0000 -
2323.81/2330.12 c 2330 181387 1406 1 - 0.0000 -
2328.81/2335.17 c 2335 181963 1538 1 - 0.0000 -
2333.89/2340.23 c 2340 182603 1451 1 - 0.0000 -
2338.87/2345.29 c 2345 183176 1439 1 - 0.0000 -
2343.96/2350.34 c 2350 183830 1445 1 - 0.0000 -
2348.96/2355.39 c 2355 184453 1442 1 - 0.0000 -
2354.04/2360.48 c 2360 185005 1446 1 - 0.0000 -
2359.13/2365.54 c 2366 185524 1447 1 - 0.0000 -
2364.21/2370.64 c 2371 186049 1449 1 - 0.0000 -
2369.21/2375.69 c 2376 186582 1410 1 - 0.0000 -
2374.29/2380.74 c 2381 187480 1408 1 - 0.0000 -
2379.38/2385.82 c 2386 188043 1413 1 - 0.0000 -
2384.46/2390.91 c 2391 188554 1423 1 - 0.0000 -
2389.45/2395.98 c 2396 189037 1421 1 - 0.0000 -
2394.55/2401.09 c 2401 189546 1433 1 - 0.0000 -
2399.63/2406.13 c 2406 190020 1424 1 - 0.0000 -
2404.72/2411.20 c 2411 190563 1423 1 - 0.0000 -
2409.80/2416.30 c 2416 191044 1412 1 - 0.0000 -
2414.79/2421.36 c 2421 191590 1414 1 - 0.0000 -
2419.88/2426.46 c 2426 192191 1432 1 - 0.0000 -
2424.97/2431.51 c 2432 192871 1471 1 - 0.0000 -
2429.96/2436.59 c 2437 193363 1455 1 - 0.0000 -
2435.04/2441.65 c 2442 193923 1477 1 - 0.0000 -
2440.13/2446.72 c 2447 194509 1500 1 - 0.0000 -
2445.21/2451.81 c 2452 195034 1506 1 - 0.0000 -
2450.21/2456.88 c 2457 195598 1506 1 - 0.0000 -
2455.29/2461.94 c 2462 196136 1510 1 - 0.0000 -
2460.28/2466.99 c 2467 196659 1510 1 - 0.0000 -
2465.37/2472.07 c 2472 197192 1516 1 - 0.0000 -
2470.46/2477.14 c 2477 197697 1508 1 - 0.0000 -
2475.55/2482.23 c 2482 198176 1505 1 - 0.0000 -
2480.53/2487.29 c 2487 198764 1510 1 - 0.0000 -
2485.62/2492.35 c 2492 199269 1509 1 - 0.0000 -
2490.71/2497.41 c 2497 199756 1506 1 - 0.0000 -
2495.69/2502.47 c 2502 200332 1503 1 - 0.0000 -
2500.79/2507.55 c 2508 200802 1501 1 - 0.0000 -
2505.87/2512.63 c 2513 201319 1499 1 - 0.0000 -
2510.96/2517.72 c 2518 201833 1517 1 - 0.0000 -
2515.94/2522.79 c 2523 202426 1522 1 - 0.0000 -
2521.04/2527.84 c 2528 202949 1531 1 - 0.0000 -
2526.12/2532.91 c 2533 203466 1537 1 - 0.0000 -
2531.11/2537.97 c 2538 203935 1536 1 - 0.0000 -
2536.20/2543.05 c 2543 204465 1547 1 - 0.0000 -
2541.29/2548.13 c 2548 204986 1545 1 - 0.0000 -
2546.27/2553.19 c 2553 205476 1547 1 - 0.0000 -
2551.36/2558.28 c 2558 205953 1547 1 - 0.0000 -
2556.44/2563.35 c 2563 206459 1545 1 - 0.0000 -
2561.53/2568.46 c 2568 206972 1546 1 - 0.0000 -
2566.63/2573.54 c 2574 207451 1544 1 - 0.0000 -
2571.71/2578.66 c 2579 207937 1558 1 - 0.0000 -
2576.80/2583.71 c 2584 208458 1554 1 - 0.0000 -
2581.79/2588.78 c 2589 208954 1546 1 - 0.0000 -
2586.87/2593.82 c 2594 209464 1553 1 - 0.0000 -
2591.97/2598.92 c 2599 209932 1549 1 - 0.0000 -
2596.95/2603.97 c 2604 210477 1537 1 - 0.0000 -
2602.04/2609.03 c 2609 211002 1533 1 - 0.0000 -
2607.03/2614.08 c 2614 211552 1524 1 - 0.0000 -
2612.12/2619.16 c 2619 212072 1523 1 - 0.0000 -
2617.20/2624.24 c 2624 212651 1645 1 - 0.0000 -
2622.29/2629.31 c 2629 213284 1606 1 - 0.0000 -
2627.27/2634.35 c 2634 213780 1602 1 - 0.0000 -
2632.36/2639.43 c 2639 214290 1611 1 - 0.0000 -
2637.35/2644.48 c 2644 214802 1629 1 - 0.0000 -
2642.44/2649.54 c 2650 215333 1633 1 - 0.0000 -
2647.53/2654.61 c 2655 215850 1625 1 - 0.0000 -
2652.51/2659.68 c 2660 216350 1621 1 - 0.0000 -
2657.60/2664.75 c 2665 216921 1617 1 - 0.0000 -
2662.69/2669.80 c 2670 217427 1651 1 - 0.0000 -
2667.68/2674.86 c 2675 217945 1650 1 - 0.0000 -
2672.77/2679.94 c 2680 218468 1624 1 - 0.0000 -
2677.86/2685.01 c 2685 218946 1619 1 - 0.0000 -
2682.84/2690.06 c 2690 219432 1605 1 - 0.0000 -
2687.93/2695.12 c 2695 219978 1606 1 - 0.0000 -
2692.91/2700.19 c 2700 220524 1619 1 - 0.0000 -
2698.00/2705.23 c 2705 221069 1599 1 - 0.0000 -
2703.09/2710.30 c 2710 221623 1632 1 - 0.0000 -
2708.07/2715.38 c 2715 222189 1627 1 - 0.0000 -
2713.16/2720.44 c 2720 222805 1623 1 - 0.0000 -
2718.24/2725.50 c 2726 223418 1630 1 - 0.0000 -
2723.24/2730.59 c 2731 223990 1615 1 - 0.0000 -
2728.32/2735.66 c 2736 224476 1612 1 - 0.0000 -
2733.41/2740.70 c 2741 225005 1608 1 - 0.0000 -
2738.39/2745.76 c 2746 225712 1602 1 - 0.0000 -
2743.48/2750.83 c 2751 226298 1595 1 - 0.0000 -
2748.48/2755.89 c 2756 226862 1594 1 - 0.0000 -
2753.56/2760.95 c 2761 227438 1637 1 - 0.0000 -
2758.65/2766.01 c 2766 227931 1618 1 - 0.0000 -
2763.63/2771.07 c 2771 228478 1596 1 - 0.0000 -
2768.73/2776.13 c 2776 229121 1626 1 - 0.0000 -
2773.71/2781.19 c 2781 229686 1624 1 - 0.0000 -
2778.79/2786.24 c 2786 230262 1613 1 - 0.0000 -
2783.88/2791.30 c 2791 230893 1633 1 - 0.0000 -
2788.96/2796.42 c 2796 231523 1632 1 - 0.0000 -
2793.96/2801.48 c 2801 232117 1644 1 - 0.0000 -
2799.05/2806.54 c 2807 232677 1629 1 - 0.0000 -
2804.03/2811.59 c 2812 233298 1660 1 - 0.0000 -
2809.12/2816.65 c 2817 233898 1651 1 - 0.0000 -
2814.21/2821.72 c 2822 234526 1659 1 - 0.0000 -
2819.19/2826.77 c 2827 235124 1669 1 - 0.0000 -
2824.28/2831.83 c 2832 235713 1651 1 - 0.0000 -
2829.37/2836.91 c 2837 236227 1662 1 - 0.0000 -
2834.36/2841.98 c 2842 236725 1671 1 - 0.0000 -
2839.45/2847.02 c 2847 237263 1647 1 - 0.0000 -
2844.43/2852.10 c 2852 237799 1666 1 - 0.0000 -
2849.52/2857.15 c 2857 238383 1671 1 - 0.0000 -
2854.60/2862.23 c 2862 238892 1669 1 - 0.0000 -
2859.59/2867.29 c 2867 239432 1698 1 - 0.0000 -
2864.68/2872.35 c 2872 239912 1703 1 - 0.0000 -
2869.76/2877.47 c 2877 240487 1700 1 - 0.0000 -
2874.85/2882.52 c 2883 241083 1699 1 - 0.0000 -
2879.94/2887.60 c 2888 241650 1689 1 - 0.0000 -
2884.93/2892.67 c 2893 242227 1694 1 - 0.0000 -
2890.02/2897.72 c 2898 242785 1738 1 - 0.0000 -
2895.00/2902.78 c 2903 243293 1732 1 - 0.0000 -
2900.09/2907.83 c 2908 243802 1726 1 - 0.0000 -
2905.08/2912.89 c 2913 244345 1692 1 - 0.0000 -
2910.16/2917.96 c 2918 244927 1706 1 - 0.0000 -
2915.25/2923.01 c 2923 245487 1725 1 - 0.0000 -
2920.24/2928.07 c 2928 245987 1745 1 - 0.0000 -
2925.33/2933.14 c 2933 246498 1756 1 - 0.0000 -
2930.31/2938.19 c 2938 247103 1741 1 - 0.0000 -
2935.40/2943.25 c 2943 247660 1763 1 - 0.0000 -
2940.49/2948.31 c 2948 248207 1751 1 - 0.0000 -
2945.47/2953.36 c 2953 248710 1754 1 - 0.0000 -
2950.56/2958.42 c 2958 249252 1749 1 - 0.0000 -
2955.64/2963.50 c 2964 249749 1748 1 - 0.0000 -
2960.63/2968.55 c 2969 250254 1744 1 - 0.0000 -
2965.73/2973.62 c 2974 250809 1955 1 - 0.0000 -
2970.71/2978.68 c 2979 251468 1792 1 - 0.0000 -
2975.80/2983.73 c 2984 252092 1783 1 - 0.0000 -
2980.78/2988.78 c 2989 252616 1794 1 - 0.0000 -
2985.87/2993.85 c 2994 253090 1824 1 - 0.0000 -
2990.96/2998.94 c 2999 253560 1838 1 - 0.0000 -
2995.95/3004.00 c 3004 254078 1828 1 - 0.0000 -
3001.04/3009.06 c 3009 254591 1853 1 - 0.0000 -
3006.13/3014.17 c 3014 255124 1793 1 - 0.0000 -
3011.21/3019.26 c 3019 255719 1750 1 - 0.0000 -
3016.30/3024.32 c 3024 256297 1749 1 - 0.0000 -
3021.38/3029.40 c 3029 256829 1762 1 - 0.0000 -
3026.37/3034.45 c 3034 257302 1756 1 - 0.0000 -
3031.46/3039.53 c 3040 257837 1751 1 - 0.0000 -
3036.55/3044.60 c 3045 258289 1777 1 - 0.0000 -
3041.53/3049.66 c 3050 258745 1757 1 - 0.0000 -
3046.62/3054.72 c 3055 259297 1713 1 - 0.0000 -
3051.61/3059.79 c 3060 259889 1713 1 - 0.0000 -
3056.70/3064.84 c 3065 260426 1732 1 - 0.0000 -
3061.79/3069.92 c 3070 260971 1727 1 - 0.0000 -
3066.77/3074.98 c 3075 261497 1710 1 - 0.0000 -
3071.86/3080.07 c 3080 262083 1603 1 - 0.0000 -
3076.96/3085.14 c 3085 262533 1598 1 - 0.0000 -
3081.94/3090.19 c 3090 263015 1605 1 - 0.0000 -
3087.03/3095.26 c 3095 263488 1599 1 - 0.0000 -
3092.11/3100.35 c 3100 264051 1595 1 - 0.0000 -
3097.20/3105.42 c 3105 264733 1658 1 - 0.0000 -
3102.28/3110.50 c 3111 265311 1665 1 - 0.0000 -
3107.27/3115.58 c 3116 265924 1669 1 - 0.0000 -
3112.36/3120.66 c 3121 266557 1706 1 - 0.0000 -
3117.45/3125.75 c 3126 267200 1687 1 - 0.0000 -
3122.54/3130.82 c 3131 267806 1683 1 - 0.0000 -
3127.52/3135.89 c 3136 268379 1702 1 - 0.0000 -
3132.61/3140.94 c 3141 269001 1686 1 - 0.0000 -
3137.70/3146.00 c 3146 269499 1678 1 - 0.0000 -
3142.69/3151.09 c 3151 270083 1687 1 - 0.0000 -
3147.78/3156.16 c 3156 270588 1692 1 - 0.0000 -
3152.86/3161.23 c 3161 271057 1692 1 - 0.0000 -
3157.95/3166.30 c 3166 271581 1687 1 - 0.0000 -
3162.94/3171.34 c 3171 272074 1683 1 - 0.0000 -
3168.03/3176.41 c 3176 272641 1688 1 - 0.0000 -
3173.01/3181.46 c 3181 273165 1692 1 - 0.0000 -
3178.10/3186.53 c 3187 273688 1693 1 - 0.0000 -
3183.09/3191.58 c 3192 274417 1715 1 - 0.0000 -
3188.18/3196.63 c 3197 275047 1661 1 - 0.0000 -
3193.17/3201.69 c 3202 275582 1617 1 - 0.0000 -
3198.25/3206.75 c 3207 276065 1641 1 - 0.0000 -
3203.34/3211.82 c 3212 276516 1604 1 - 0.0000 -
3208.33/3216.88 c 3217 277209 1614 1 - 0.0000 -
3213.41/3221.94 c 3222 277856 1633 1 - 0.0000 -
3218.51/3227.01 c 3227 278314 1625 1 - 0.0000 -
3223.59/3232.11 c 3232 278809 1629 1 - 0.0000 -
3228.59/3237.18 c 3237 279310 1624 1 - 0.0000 -
3233.67/3242.24 c 3242 279830 1623 1 - 0.0000 -
3238.75/3247.32 c 3247 280340 1615 1 - 0.0000 -
3243.74/3252.39 c 3252 280850 1609 1 - 0.0000 -
3248.83/3257.45 c 3257 281396 1621 1 - 0.0000 -
3253.81/3262.49 c 3262 281948 1619 1 - 0.0000 -
3258.90/3267.56 c 3268 282474 1620 1 - 0.0000 -
3263.99/3272.61 c 3273 283170 1721 1 - 0.0000 -
3268.98/3277.67 c 3278 283723 1773 1 - 0.0000 -
3274.06/3282.73 c 3283 284271 1768 1 - 0.0000 -
3279.05/3287.79 c 3288 284826 1775 1 - 0.0000 -
3284.14/3292.85 c 3293 285408 1767 1 - 0.0000 -
3289.22/3297.94 c 3298 285969 1764 1 - 0.0000 -
3294.31/3303.01 c 3303 286586 1839 1 - 0.0000 -
3299.31/3308.09 c 3308 287246 1769 1 - 0.0000 -
3304.40/3313.15 c 3313 287748 1767 1 - 0.0000 -
3309.48/3318.20 c 3318 288322 1774 1 - 0.0000 -
3314.46/3323.29 c 3323 288872 1794 1 - 0.0000 -
3319.56/3328.36 c 3328 289369 1775 1 - 0.0000 -
3324.64/3333.41 c 3333 289926 1769 1 - 0.0000 -
3329.63/3338.47 c 3338 290505 1773 1 - 0.0000 -
3334.71/3343.52 c 3344 291101 1762 1 - 0.0000 -
3339.80/3348.62 c 3349 291722 1774 1 - 0.0000 -
3344.89/3353.71 c 3354 292338 1741 1 - 0.0000 -
3349.87/3358.78 c 3359 292892 1777 1 - 0.0000 -
3354.95/3363.84 c 3364 293392 1774 1 - 0.0000 -
3360.03/3368.93 c 3369 293968 1777 1 - 0.0000 -
3365.12/3374.00 c 3374 294491 1781 1 - 0.0000 -
3370.10/3379.06 c 3379 295052 1779 1 - 0.0000 -
3375.20/3384.13 c 3384 295577 1769 1 - 0.0000 -
3380.18/3389.18 c 3389 296167 1775 1 - 0.0000 -
3385.25/3394.26 c 3394 296795 1784 1 - 0.0000 -
3390.33/3399.31 c 3399 297378 1754 1 - 0.0000 -
3395.33/3404.37 c 3404 298107 1792 1 - 0.0000 -
3400.41/3409.41 c 3409 298813 1786 1 - 0.0000 -
3405.39/3414.48 c 3414 299386 1791 1 - 0.0000 -
3410.48/3419.55 c 3420 300034 1759 1 - 0.0000 -
3415.56/3424.61 c 3425 300521 1774 1 - 0.0000 -
3420.54/3429.66 c 3430 301077 1767 1 - 0.0000 -
3425.63/3434.74 c 3435 301668 1757 1 - 0.0000 -
3430.71/3439.80 c 3440 302408 1746 1 - 0.0000 -
3435.69/3444.86 c 3445 302939 1740 1 - 0.0000 -
3440.78/3449.94 c 3450 303524 1745 1 - 0.0000 -
3445.76/3454.99 c 3455 304083 1744 1 - 0.0000 -
3450.85/3460.08 c 3460 304602 1738 1 - 0.0000 -
3455.93/3465.15 c 3465 305224 1746 1 - 0.0000 -
3461.01/3470.22 c 3470 305804 1745 1 - 0.0000 -
3465.99/3475.26 c 3475 306343 1738 1 - 0.0000 -
3471.09/3480.34 c 3480 306922 1734 1 - 0.0000 -
3476.17/3485.46 c 3485 307473 1757 1 - 0.0000 -
3481.25/3490.52 c 3491 308031 1796 1 - 0.0000 -
3486.33/3495.60 c 3496 308544 1806 1 - 0.0000 -
3491.32/3500.65 c 3501 309139 1833 1 - 0.0000 -
3496.40/3505.72 c 3506 309719 1851 1 - 0.0000 -
3501.38/3510.77 c 3511 310252 1866 1 - 0.0000 -
3506.46/3515.82 c 3516 310767 1905 1 - 0.0000 -
3511.45/3520.88 c 3521 311309 1927 1 - 0.0000 -
3516.54/3525.94 c 3526 311856 1914 1 - 0.0000 -
3521.63/3531.01 c 3531 312385 1942 1 - 0.0000 -
3526.61/3536.07 c 3536 312879 1952 1 - 0.0000 -
3531.70/3541.13 c 3541 313374 1964 1 - 0.0000 -
3536.68/3546.19 c 3546 313910 1997 1 - 0.0000 -
3541.76/3551.27 c 3551 314414 1991 1 - 0.0000 -
3546.84/3556.34 c 3556 314945 2022 1 - 0.0000 -
3551.92/3561.40 c 3561 315421 2014 1 - 0.0000 -
3556.91/3566.47 c 3566 315952 2011 1 - 0.0000 -
3562.00/3571.53 c 3572 316447 2035 1 - 0.0000 -
3567.08/3576.60 c 3577 316979 2049 1 - 0.0000 -
3572.06/3581.66 c 3582 317517 2052 1 - 0.0000 -
3577.14/3586.75 c 3587 317989 2050 1 - 0.0000 -
3582.23/3591.82 c 3592 318546 2055 1 - 0.0000 -
3587.21/3596.87 c 3597 319072 2040 1 - 0.0000 -
3590.40/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.40/3600.05 c Total Time : 3600.0600
3590.40/3600.05 c solving : 3600.0600
3590.40/3600.05 c presolving : 0.2410 (included in solving)
3590.40/3600.05 c B&B Tree :
3590.40/3600.05 c nodes (total) : 1
3590.40/3600.05 c Solution :
3590.40/3600.05 c Solutions found : 0
3590.40/3600.05 c Primal Bound : -
3590.40/3600.05 c Dual Bound : +0.00000000000000e+00
3590.40/3600.05 c Gap : -
3590.40/3600.07 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 (59984 MiB free)
memory of node 1: 64510 MiB (61295 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450600-1721414446/watcher-4450600-1721414446 -o /tmp/evaluation-result-4450600-1721414446/solver-4450600-1721414446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450600-1721414446.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=1042913, runsolver pid=1042910
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.08 4.13 4.09 5/260 1042914
/proc/meminfo: memFree=124157536/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=54620 memory=43604 CPUtime=0.1 cores=1,3
/proc/1042913/stat : 1042913 (fscip) R 1042910 1042913 1040488 0 -1 4194304 9830 0 0 0 9 1 0 0 20 0 1 0 193614279 55930880 10901 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 13655 10901 2702 3032 0 10055 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54620 KiB
Current children cumulated memory: 43604 KiB
[startup+0.205492 s]*
/proc/loadavg: 4.08 4.13 4.09 5/260 1042914
/proc/meminfo: memFree=124153340/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=59172 memory=48472 CPUtime=0.2 cores=1,3
/proc/1042913/stat : 1042913 (fscip) R 1042910 1042913 1040488 0 -1 4194304 10989 0 0 0 19 1 0 0 20 0 1 0 193614279 60592128 12118 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 14793 12118 2734 3032 0 11193 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59172 KiB
Current children cumulated memory: 48472 KiB
[startup+0.306185 s]*
/proc/loadavg: 4.08 4.13 4.09 5/261 1042915
/proc/meminfo: memFree=124135532/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=145320 memory=65588 CPUtime=0.29 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 17354 0 0 0 28 1 0 0 20 0 2 0 193614279 148807680 16397 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 36330 16397 2766 3032 0 18657 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=145320 memory=-7664417297392098686 CPUtime=0 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 2292 0 0 0 0 0 0 0 20 0 2 0 193614307 148807680 16397 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 145320 KiB
Current children cumulated memory: 65588 KiB
[startup+0.701202 s]
/proc/loadavg: 4.08 4.13 4.09 5/262 1042916
/proc/meminfo: memFree=124105628/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=153516 memory=109636 CPUtime=0.67 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 28205 0 0 0 64 3 0 0 20 0 3 0 193614279 157200384 27409 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 38379 27409 2926 3032 0 32021 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=153516 memory=15976 CPUtime=0.38 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 13140 0 0 0 37 1 0 0 20 0 3 0 193614307 157200384 27409 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=153516 memory=257 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193614310 157200384 27409 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 153516 KiB
Current children cumulated memory: 109636 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.13 4.09 5/262 1042916
/proc/meminfo: memFree=124061376/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=140120 CPUtime=1.46 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 38525 0 0 0 142 4 0 0 20 0 3 0 193614279 224309248 35030 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 35030 2942 3032 0 41265 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=257 CPUtime=1.17 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 23454 0 0 0 114 3 0 0 20 0 3 0 193614307 224309248 35030 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=0 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 35030 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 140120 KiB
[startup+3.10618 s]
/proc/loadavg: 4.08 4.13 4.09 5/262 1042916
/proc/meminfo: memFree=124061376/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=140144 CPUtime=3.06 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 45622 0 0 0 301 5 0 0 20 0 3 0 193614279 224309248 35036 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 35036 2942 3032 0 41265 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=0 CPUtime=2.76 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 30551 0 0 0 273 3 0 0 20 0 3 0 193614307 224309248 35036 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=0 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 35036 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 140144 KiB
[startup+6.30018 s]
/proc/loadavg: 4.16 4.14 4.09 5/262 1042916
/proc/meminfo: memFree=124061236/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=140344 CPUtime=6.22 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 62582 0 0 0 617 5 0 0 20 0 3 0 193614279 224309248 35086 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 35086 2942 3032 0 41265 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=0 CPUtime=5.93 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 47509 0 0 0 589 4 0 0 20 0 3 0 193614307 224309248 35086 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=-7664417297392098686 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 35086 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 140344 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.09 5/262 1042917
/proc/meminfo: memFree=124060956/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=140912 CPUtime=12.57 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 76627 0 0 0 1251 6 0 0 20 0 3 0 193614279 224309248 35228 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 35228 2942 3032 0 41265 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=-7664417297392098686 CPUtime=12.28 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 61547 0 0 0 1223 5 0 0 20 0 3 0 193614307 224309248 35228 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=140564 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 35228 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 140912 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/262 1042919
/proc/meminfo: memFree=124060076/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=141592 CPUtime=25.34 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 100335 0 0 0 2526 8 0 0 20 0 3 0 193614279 224309248 35398 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 35398 2942 3032 0 41265 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=141592 CPUtime=25.04 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 85246 0 0 0 2498 6 0 0 20 0 3 0 193614307 224309248 35398 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=5492 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 35398 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 141592 KiB
[startup+51.1049 s]
/proc/loadavg: 4.15 4.14 4.09 5/262 1042924
/proc/meminfo: memFree=124020980/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=171472 CPUtime=50.88 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 139628 0 0 0 5077 11 0 0 20 0 3 0 193614279 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 42868 2990 3032 0 48469 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=171472 CPUtime=50.58 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 124463 0 0 0 5049 9 0 0 20 0 3 0 193614307 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=12340 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 171472 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 1042933
/proc/meminfo: memFree=124020724/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=171472 CPUtime=101.95 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 170749 0 0 0 10182 13 0 0 20 0 3 0 193614279 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 42868 2990 3032 0 48469 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=171472 CPUtime=101.65 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 155527 0 0 0 10154 11 0 0 20 0 3 0 193614307 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=171472 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 171472 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/262 1042943
/proc/meminfo: memFree=124017476/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=171472 CPUtime=161.81 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 179595 0 0 0 16168 13 0 0 20 0 3 0 193614279 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 42868 2990 3032 0 48469 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=171472 CPUtime=161.52 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 164361 0 0 0 16140 12 0 0 20 0 3 0 193614307 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=219052 memory=171472 CPUtime=0 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 193614310 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 171472 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/262 1042954
/proc/meminfo: memFree=124016680/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=219052 memory=171472 CPUtime=221.67 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 189512 0 0 0 22153 14 0 0 20 0 3 0 193614279 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 54763 42868 2990 3032 0 48469 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=219052 memory=171472 CPUtime=221.37 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 174240 0 0 0 22125 12 0 0 20 0 3 0 193614307 224309248 42868 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
################
# More data... #
################
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=320784 CPUtime=3392.82 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 544339 0 0 0 339142 140 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=320784 CPUtime=0.02 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 190 0 0 0 0 2 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.25 4.15 5/262 1044856
/proc/meminfo: memFree=124201944/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3453.14 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 561416 0 0 0 345163 151 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=320784 CPUtime=3452.63 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 545031 0 0 0 345121 142 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=320784 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 192 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/262 1044866
/proc/meminfo: memFree=124196924/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3512.94 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 562243 0 0 0 351142 152 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=320784 CPUtime=3512.44 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 545840 0 0 0 351101 143 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=49348 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 194 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.21 4.15 5/262 1044876
/proc/meminfo: memFree=124192912/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3572.76 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563028 0 0 0 357121 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=12340 CPUtime=3572.24 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546607 0 0 0 357079 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=49348 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3600.07 s]
# the end of solver process 1042913 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.92 s, system=1.56284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.21 4.15 5/262 1044877
/proc/meminfo: memFree=124192904/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3574.46 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563039 0 0 0 357291 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=-6808171350352694632 CPUtime=3573.94 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546618 0 0 0 357249 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=320784 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3574.46 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.20 4.14 5/265 1044883
/proc/meminfo: memFree=124190788/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3580.83 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563044 0 0 0 357928 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=49348 CPUtime=3580.31 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546623 0 0 0 357886 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=320784 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3580.83 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.20 4.14 5/265 1044884
/proc/meminfo: memFree=124190740/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3587.21 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563054 0 0 0 358566 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=49348 CPUtime=3586.69 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546633 0 0 0 358524 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=320784 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.20 4.14 5/265 1044886
/proc/meminfo: memFree=124190648/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3588.8 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563054 0 0 0 358725 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=1816 CPUtime=3588.28 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546633 0 0 0 358683 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=49348 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3599.2 s]
/proc/loadavg: 4.14 4.20 4.14 5/265 1044886
/proc/meminfo: memFree=124190648/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3589.6 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563054 0 0 0 358805 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=320784 CPUtime=3589.08 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546633 0 0 0 358763 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=49348 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3589.6 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3599.6 s]
/proc/loadavg: 4.14 4.20 4.14 5/265 1044886
/proc/meminfo: memFree=124190648/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3590 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563054 0 0 0 358845 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=5568 CPUtime=3589.48 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546633 0 0 0 358803 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=-6736676706268318826 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3590 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.20 4.14 5/265 1044886
/proc/meminfo: memFree=124190660/131524600 swapFree=131071996/131071996
[pid=1042913] ppid=1042910 vsize=350124 memory=320784 CPUtime=3590.4 cores=1,3
/proc/1042913/stat : 1042913 (fscip) S 1042910 1042913 1040488 0 -1 1077936128 563055 0 0 0 358885 155 0 0 20 0 3 0 193614279 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
/proc/1042913/statm: 87531 80196 3310 3032 0 82301 0
[pid=1042913/tid=1042915] ppid=1042910 vsize=350124 memory=-6808171350352694632 CPUtime=3589.88 cores=1,3
/proc/1042913/task/1042915/stat : 1042915 (fscip) R 1042910 1042913 1040488 0 -1 4194368 546634 0 0 0 358843 145 0 0 20 0 3 0 193614307 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
[pid=1042913/tid=1042916] ppid=1042910 vsize=350124 memory=1399665801727729722 CPUtime=0.03 cores=1,3
/proc/1042913/task/1042916/stat : 1042916 (fscip) S 1042910 1042913 1040488 0 -1 1077936192 196 0 0 0 0 3 0 0 20 0 3 0 193614310 358526976 80196 134679101440 4194304 16613245 140735109668512 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40484864 140735109669907 140735109670023 140735109670023 140735109677040 0
Current children cumulated CPU time: 3590.4 s
Current children cumulated vsize: 350124 KiB
Current children cumulated memory: 320784 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3590.49
CPU user time (s): 3588.92
CPU system time (s): 1.56284
CPU usage (%): 99.7337
Max. virtual memory (cumulated for all children) (KiB): 350124
Max. memory (cumulated for all children) (KiB): 320784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.92
system time used= 1.56284
maximum resident set size= 320784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563946
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= 9757
involuntary context switches= 1452
# summary of solver processes directly reported to runsolver:
# pid: 1042913
# total CPU time (s): 3590.49
# total CPU user time (s): 3588.92
# total CPU system time (s): 1.56284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.39921 second user time and 14.5558 second system time
The end
Begin job on nodeC033 at 2024-07-19 20:40:58
IDJOB=4450600
IDBENCH=162170
IDSOLVER=3064
FILE ID=nodeC033/4450600-1721414446
RUNJOBID= nodeC033-1721410598-1040500
SLURM_JOB_ID= 7545470
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round23-5.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-4450600-1721414446/watcher-4450600-1721414446 -o /tmp/evaluation-result-4450600-1721414446/solver-4450600-1721414446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450600-1721414446.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31f4cbeae6238292a97a65729b160061
RANDOM SEED=1735460371
nodeC033.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 : 3664.399
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.50
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.454
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.792
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.50
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 : 3675.741
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 : 3664.456
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.50
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 : 3672.674
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 : 3599.968
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.50
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.067
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: 124191316 kB
MemAvailable: 128589748 kB
Buffers: 571704 kB
Cached: 4619284 kB
SwapCached: 0 kB
Active: 1032852 kB
Inactive: 5571092 kB
Active(anon): 1556 kB
Inactive(anon): 1457312 kB
Active(file): 1031296 kB
Inactive(file): 4113780 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28892 kB
Writeback: 0 kB
AnonPages: 1409172 kB
Mapped: 143824 kB
Shmem: 45908 kB
KReclaimable: 186004 kB
Slab: 309356 kB
SReclaimable: 186004 kB
SUnreclaim: 123352 kB
KernelStack: 4176 kB
PageTables: 12068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1375268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 907264 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-19 21:40:58