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 = 45395968, getVmSize() = 45395968, SCIPgetMemUsed() = 20029321, SCIPgetMemTotal() = 23175801, SCIPgetMemExternEstim() = 12394666
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.26 c ** Estimated virtualMemUsedAtSolver = 37825194, getVmSize() = 68079616, SCIPgetMemUsed() = 23704912, SCIPgetMemTotal() = 43894696, SCIPgetMemExternEstim() = 12394666
0.20/0.26 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.26 c Original Problem :
0.20/0.26 c Problem name : instance-4450660-1721415946
0.20/0.26 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 8688
0.20/0.26 c Objective sense : minimize
0.20/0.26 c Presolved Problem :
0.20/0.26 c Variables : 3276 (3276 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 7110
0.20/0.26 c Constraints : Number
0.20/0.26 c and : 32
0.20/0.26 c linear : 1290
0.20/0.26 c logicor : 5788
0.20/0.26 c ** Instance transfer method used: 0
0.20/0.28 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.29 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.29 c Nodes Active
0.20/0.29 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.17/34.30 c 34 2 1 1 - 0.0000 -
42.45/42.68 c 43 22 21 1 - 0.0000 -
50.22/50.40 c 50 26 25 1 - 0.0000 -
55.70/55.96 c 56 29 28 1 - 0.0000 -
234.65/235.44 c 235 35 34 1 - 0.0000 -
242.04/242.82 c 243 42 41 1 - 0.0000 -
248.91/249.79 c 250 48 47 1 - 0.0000 -
255.89/256.70 c 257 53 52 1 - 0.0000 -
262.47/263.31 c 263 57 56 1 - 0.0000 -
269.45/270.32 c 270 58 57 1 - 0.0000 -
275.03/275.99 c 276 62 61 1 - 0.0000 -
281.11/282.08 c 282 65 64 1 - 0.0000 -
290.78/291.75 c 292 72 71 1 - 0.0000 -
297.36/298.30 c 298 75 74 1 - 0.0000 -
303.44/304.40 c 304 78 77 1 - 0.0000 -
309.03/310.02 c 310 82 81 1 - 0.0000 -
316.11/317.14 c 317 88 87 1 - 0.0000 -
321.28/322.39 c 322 92 91 1 - 0.0000 -
327.46/328.52 c 329 95 94 1 - 0.0000 -
334.64/335.72 c 336 102 101 1 - 0.0000 -
343.01/344.11 c 344 105 104 1 - 0.0000 -
349.08/350.25 c 350 112 111 1 - 0.0000 -
354.86/356.07 c 356 117 116 1 - 0.0000 -
361.03/362.21 c 362 122 121 1 - 0.0000 -
369.11/370.34 c 370 132 131 1 - 0.0000 -
374.29/375.50 c 376 142 141 1 - 0.0000 -
380.36/381.61 c 382 151 150 1 - 0.0000 -
386.84/388.16 c 388 166 165 1 - 0.0000 -
396.11/397.40 c 397 172 171 1 - 0.0000 -
403.87/405.25 c 405 178 177 1 - 0.0000 -
412.04/413.41 c 413 195 194 1 - 0.0000 -
418.82/420.28 c 420 249 248 1 - 0.0000 -
426.70/428.14 c 428 268 267 1 - 0.0000 -
431.77/433.21 c 433 275 274 1 - 0.0000 -
439.65/441.13 c 441 285 284 1 - 0.0000 -
446.53/448.04 c 448 298 297 1 - 0.0000 -
453.40/454.99 c 455 302 301 1 - 0.0000 -
459.28/460.89 c 461 315 314 1 - 0.0000 -
465.96/467.58 c 468 322 321 1 - 0.0000 -
471.14/472.75 c 473 331 330 1 - 0.0000 -
478.12/479.71 c 480 362 361 1 - 0.0000 -
484.89/486.57 c 487 382 381 1 - 0.0000 -
492.07/493.72 c 494 392 391 1 - 0.0000 -
503.04/504.76 c 505 408 407 1 - 0.0000 -
508.72/510.42 c 510 418 417 1 - 0.0000 -
515.10/516.89 c 517 438 437 1 - 0.0000 -
520.48/522.20 c 522 461 460 1 - 0.0000 -
531.35/533.17 c 533 495 494 1 - 0.0000 -
537.33/539.17 c 539 548 547 1 - 0.0000 -
544.61/546.41 c 546 572 571 1 - 0.0000 -
550.00/551.81 c 552 589 588 1 - 0.0000 -
557.28/559.19 c 559 598 597 1 - 0.0000 -
563.35/565.20 c 565 626 625 1 - 0.0000 -
568.83/570.76 c 571 634 633 1 - 0.0000 -
575.02/576.93 c 577 678 677 1 - 0.0000 -
580.50/582.49 c 582 682 681 1 - 0.0000 -
586.38/588.36 c 588 747 746 1 - 0.0000 -
595.25/597.24 c 597 754 753 1 - 0.0000 -
601.03/603.00 c 603 786 785 1 - 0.0000 -
608.21/610.22 c 610 806 805 1 - 0.0000 -
614.39/616.47 c 616 846 845 1 - 0.0000 -
619.58/621.66 c 622 858 857 1 - 0.0000 -
626.46/628.50 c 628 888 887 1 - 0.0000 -
632.14/634.20 c 634 902 901 1 - 0.0000 -
637.52/639.67 c 640 946 945 1 - 0.0000 -
643.40/645.59 c 646 958 957 1 - 0.0000 -
651.18/653.31 c 653 966 965 1 - 0.0000 -
657.26/659.47 c 659 974 973 1 - 0.0000 -
663.95/666.15 c 666 1015 1014 1 - 0.0000 -
669.93/672.15 c 672 1018 1017 1 - 0.0000 -
676.41/678.64 c 679 1030 1029 1 - 0.0000 -
681.80/684.08 c 684 1050 0 1 - 0.0000 -
712.70/715.06 c 715 1051 1 1 - 0.0000 -
718.47/720.86 c 721 1071 21 1 - 0.0000 -
728.14/730.51 c 731 1076 26 1 - 0.0000 -
733.73/736.15 c 736 1082 32 1 - 0.0000 -
741.01/743.41 c 743 1104 54 1 - 0.0000 -
746.60/749.01 c 749 1119 69 1 - 0.0000 -
751.88/754.35 c 754 1155 105 1 - 0.0000 -
759.25/761.76 c 762 1181 131 1 - 0.0000 -
764.34/766.86 c 767 1200 150 1 - 0.0000 -
772.81/775.37 c 775 1226 176 1 - 0.0000 -
778.69/781.28 c 781 1261 207 1 - 0.0000 -
784.97/787.56 c 788 1272 218 1 - 0.0000 -
790.16/792.74 c 793 1288 232 1 - 0.0000 -
799.53/802.11 c 802 1298 242 1 - 0.0000 -
805.01/807.63 c 808 1368 312 1 - 0.0000 -
815.88/818.52 c 819 1473 405 1 - 0.0000 -
821.06/823.79 c 824 1554 422 1 - 0.0000 -
828.14/830.82 c 831 1695 453 1 - 0.0000 -
833.12/835.86 c 836 1967 529 1 - 0.0000 -
838.21/840.93 c 841 2029 591 1 - 0.0000 -
843.19/845.99 c 846 2883 777 1 - 0.0000 -
898.42/901.34 c 901 3521 799 1 - 0.0000 -
903.70/906.60 c 907 4180 823 1 - 0.0000 -
908.69/911.66 c 912 5033 889 1 - 0.0000 -
913.77/916.71 c 917 6093 881 1 - 0.0000 -
918.75/921.78 c 922 7086 867 1 - 0.0000 -
923.94/926.91 c 927 8184 875 1 - 0.0000 -
929.03/932.07 c 932 8988 907 1 - 0.0000 -
934.11/937.15 c 937 9788 1039 1 - 0.0000 -
939.18/942.24 c 942 10471 1054 1 - 0.0000 -
944.27/947.36 c 947 11235 1066 1 - 0.0000 -
949.35/952.43 c 952 11988 1091 1 - 0.0000 -
954.44/957.52 c 958 12866 1095 1 - 0.0000 -
959.42/962.57 c 963 13762 1117 1 - 0.0000 -
964.50/967.63 c 968 14678 1125 1 - 0.0000 -
969.58/972.70 c 973 15448 1120 1 - 0.0000 -
974.57/977.75 c 978 16183 1119 1 - 0.0000 -
979.65/982.81 c 983 16978 1124 1 - 0.0000 -
984.63/987.89 c 988 17665 1111 1 - 0.0000 -
989.82/993.03 c 993 18291 1106 1 - 0.0000 -
994.80/998.10 c 998 18969 1114 1 - 0.0000 -
999.89/1003.15 c 1003 19706 1104 1 - 0.0000 -
1004.96/1008.22 c 1008 20401 1127 1 - 0.0000 -
1009.94/1013.27 c 1013 21063 1208 1 - 0.0000 -
1015.02/1018.35 c 1018 21715 1208 1 - 0.0000 -
1020.11/1023.41 c 1023 22371 1237 1 - 0.0000 -
1025.19/1028.51 c 1029 22936 1247 1 - 0.0000 -
1030.17/1033.56 c 1034 23570 1258 1 - 0.0000 -
1035.26/1038.64 c 1039 24165 1254 1 - 0.0000 -
1040.24/1043.69 c 1044 24803 1264 1 - 0.0000 -
1045.92/1049.36 c 1049 25270 1273 1 - 0.0000 -
1051.01/1054.44 c 1054 25799 1268 1 - 0.0000 -
1056.09/1059.56 c 1060 26347 1273 1 - 0.0000 -
1061.17/1064.61 c 1065 26939 1269 1 - 0.0000 -
1066.16/1069.68 c 1070 27510 1255 1 - 0.0000 -
1071.24/1074.75 c 1075 28071 1264 1 - 0.0000 -
1076.32/1079.84 c 1080 28671 1261 1 - 0.0000 -
1081.40/1084.90 c 1085 29451 1273 1 - 0.0000 -
1086.39/1089.96 c 1090 30204 1290 1 - 0.0000 -
1091.48/1095.02 c 1095 30941 1295 1 - 0.0000 -
1096.46/1100.07 c 1100 31688 1295 1 - 0.0000 -
1101.55/1105.14 c 1105 32343 1293 1 - 0.0000 -
1106.62/1110.25 c 1110 32867 1287 1 - 0.0000 -
1111.71/1115.33 c 1115 33582 1335 1 - 0.0000 -
1116.69/1120.39 c 1120 34284 1356 1 - 0.0000 -
1121.78/1125.47 c 1125 35017 1363 1 - 0.0000 -
1126.86/1130.55 c 1131 35770 1366 1 - 0.0000 -
1131.94/1135.61 c 1136 36307 1366 1 - 0.0000 -
1136.92/1140.66 c 1141 36997 1366 1 - 0.0000 -
1142.00/1145.71 c 1146 37707 1398 1 - 0.0000 -
1146.99/1150.77 c 1151 38360 1405 1 - 0.0000 -
1152.08/1155.83 c 1156 39076 1407 1 - 0.0000 -
1158.55/1162.32 c 1162 39593 1408 1 - 0.0000 -
1163.53/1167.38 c 1167 40253 1415 1 - 0.0000 -
1168.61/1172.44 c 1172 40857 1414 1 - 0.0000 -
1173.70/1177.51 c 1178 41511 1430 1 - 0.0000 -
1178.69/1182.59 c 1183 42133 1438 1 - 0.0000 -
1183.77/1187.64 c 1188 42732 1431 1 - 0.0000 -
1188.85/1192.71 c 1193 43346 1433 1 - 0.0000 -
1193.83/1197.77 c 1198 44010 1442 1 - 0.0000 -
1198.91/1202.84 c 1203 44788 1461 1 - 0.0000 -
1203.90/1207.89 c 1208 45508 1469 1 - 0.0000 -
1208.98/1212.96 c 1213 46145 1449 1 - 0.0000 -
1214.07/1218.01 c 1218 46803 1446 1 - 0.0000 -
1219.05/1223.06 c 1223 47526 1455 1 - 0.0000 -
1224.14/1228.12 c 1228 48252 1450 1 - 0.0000 -
1229.12/1233.18 c 1233 48976 1484 1 - 0.0000 -
1234.20/1238.24 c 1238 49682 1463 1 - 0.0000 -
1239.28/1243.32 c 1243 50343 1443 1 - 0.0000 -
1244.26/1248.36 c 1248 50946 1440 1 - 0.0000 -
1249.35/1253.43 c 1253 51577 1449 1 - 0.0000 -
1254.33/1258.49 c 1258 52229 1440 1 - 0.0000 -
1259.41/1263.57 c 1264 52938 1447 1 - 0.0000 -
1264.49/1268.63 c 1269 53617 1452 1 - 0.0000 -
1269.58/1273.71 c 1274 54256 1447 1 - 0.0000 -
1274.66/1278.83 c 1279 54962 1439 1 - 0.0000 -
1279.64/1283.88 c 1284 55653 1452 1 - 0.0000 -
1284.83/1289.01 c 1289 56469 1443 1 - 0.0000 -
1290.11/1294.37 c 1294 57199 1440 1 - 0.0000 -
1295.19/1299.41 c 1299 57858 1431 1 - 0.0000 -
1300.17/1304.49 c 1304 58510 1437 1 - 0.0000 -
1305.25/1309.54 c 1310 59152 1432 1 - 0.0000 -
1310.33/1314.60 c 1315 59796 1446 1 - 0.0000 -
1315.32/1319.69 c 1320 60371 1437 1 - 0.0000 -
1320.40/1324.74 c 1325 61092 1442 1 - 0.0000 -
1325.49/1329.86 c 1330 61870 1437 1 - 0.0000 -
1330.57/1334.97 c 1335 62571 1442 1 - 0.0000 -
1335.66/1340.06 c 1340 63202 1434 1 - 0.0000 -
1340.74/1345.15 c 1345 63828 1484 1 - 0.0000 -
1345.81/1350.24 c 1350 64373 1499 1 - 0.0000 -
1350.80/1355.29 c 1355 64948 1492 1 - 0.0000 -
1355.89/1360.35 c 1360 65549 1437 1 - 0.0000 -
1360.97/1365.42 c 1365 66134 1458 1 - 0.0000 -
1365.95/1370.47 c 1370 66832 1457 1 - 0.0000 -
1371.03/1375.54 c 1376 67524 1457 1 - 0.0000 -
1376.12/1380.60 c 1381 68251 1462 1 - 0.0000 -
1381.20/1385.78 c 1386 68890 1461 1 - 0.0000 -
1386.39/1390.93 c 1391 69519 1484 1 - 0.0000 -
1391.48/1396.01 c 1396 70188 1481 1 - 0.0000 -
1396.46/1401.07 c 1401 70935 1509 1 - 0.0000 -
1401.54/1406.12 c 1406 71679 1496 1 - 0.0000 -
1406.62/1411.20 c 1411 72471 1480 1 - 0.0000 -
1411.60/1416.27 c 1416 73063 1484 1 - 0.0000 -
1416.68/1421.35 c 1421 73746 1483 1 - 0.0000 -
1421.76/1426.40 c 1426 74442 1489 1 - 0.0000 -
1426.75/1431.46 c 1431 75175 1488 1 - 0.0000 -
1431.84/1436.53 c 1437 75817 1504 1 - 0.0000 -
1436.82/1441.59 c 1442 76443 1500 1 - 0.0000 -
1441.90/1446.67 c 1447 77044 1498 1 - 0.0000 -
1446.98/1451.75 c 1452 77679 1495 1 - 0.0000 -
1452.07/1456.80 c 1457 78352 1473 1 - 0.0000 -
1457.05/1461.85 c 1462 79094 1471 1 - 0.0000 -
1462.13/1466.96 c 1467 79744 1473 1 - 0.0000 -
1467.22/1472.02 c 1472 80311 1476 1 - 0.0000 -
1472.21/1477.09 c 1477 80969 1475 1 - 0.0000 -
1477.29/1482.16 c 1482 81667 1462 1 - 0.0000 -
1482.37/1487.23 c 1487 82197 1465 1 - 0.0000 -
1487.35/1492.29 c 1492 82864 1470 1 - 0.0000 -
1492.43/1497.36 c 1497 83462 1460 1 - 0.0000 -
1497.51/1502.42 c 1502 84129 1457 1 - 0.0000 -
1502.49/1507.49 c 1507 84841 1466 1 - 0.0000 -
1507.58/1512.57 c 1513 85408 1473 1 - 0.0000 -
1512.67/1517.64 c 1518 86071 1487 1 - 0.0000 -
1517.75/1522.71 c 1523 86642 1478 1 - 0.0000 -
1522.73/1527.77 c 1528 87277 1484 1 - 0.0000 -
1527.81/1532.85 c 1533 87837 1476 1 - 0.0000 -
1532.89/1537.91 c 1538 88454 1469 1 - 0.0000 -
1537.88/1542.97 c 1543 89072 1483 1 - 0.0000 -
1542.97/1548.02 c 1548 89668 1477 1 - 0.0000 -
1547.95/1553.08 c 1553 90271 1485 1 - 0.0000 -
1553.03/1558.13 c 1558 90905 1498 1 - 0.0000 -
1558.12/1563.22 c 1563 91421 1495 1 - 0.0000 -
1563.20/1568.39 c 1568 92003 1483 1 - 0.0000 -
1568.28/1573.46 c 1573 92632 1492 1 - 0.0000 -
1573.36/1578.52 c 1579 93138 1491 1 - 0.0000 -
1578.35/1583.57 c 1584 93711 1506 1 - 0.0000 -
1583.43/1588.63 c 1589 94325 1498 1 - 0.0000 -
1588.52/1593.71 c 1594 94992 1497 1 - 0.0000 -
1593.49/1598.77 c 1599 95622 1497 1 - 0.0000 -
1598.58/1603.84 c 1604 96291 1479 1 - 0.0000 -
1603.67/1608.90 c 1609 96898 1480 1 - 0.0000 -
1608.65/1613.96 c 1614 97566 1480 1 - 0.0000 -
1613.73/1619.02 c 1619 98108 1484 1 - 0.0000 -
1618.82/1624.16 c 1624 98742 1471 1 - 0.0000 -
1623.89/1629.22 c 1629 99299 1466 1 - 0.0000 -
1628.88/1634.28 c 1634 99858 1471 1 - 0.0000 -
1633.96/1639.34 c 1639 100472 1474 1 - 0.0000 -
1639.05/1644.44 c 1644 101146 1471 1 - 0.0000 -
1644.13/1649.51 c 1650 101767 1477 1 - 0.0000 -
1649.12/1654.57 c 1655 102373 1480 1 - 0.0000 -
1654.20/1659.63 c 1660 102927 1468 1 - 0.0000 -
1659.28/1664.71 c 1665 103513 1490 1 - 0.0000 -
1664.26/1669.76 c 1670 104201 1481 1 - 0.0000 -
1669.34/1674.83 c 1675 104954 1480 1 - 0.0000 -
1674.43/1679.90 c 1680 105599 1481 1 - 0.0000 -
1679.41/1684.96 c 1685 106216 1473 1 - 0.0000 -
1684.50/1690.02 c 1690 106895 1465 1 - 0.0000 -
1689.49/1695.08 c 1695 107425 1472 1 - 0.0000 -
1694.57/1700.16 c 1700 108059 1469 1 - 0.0000 -
1699.64/1705.23 c 1705 108649 1462 1 - 0.0000 -
1704.73/1710.30 c 1710 109269 1440 1 - 0.0000 -
1709.71/1715.39 c 1715 109917 1451 1 - 0.0000 -
1714.80/1720.44 c 1720 110642 1450 1 - 0.0000 -
1719.78/1725.49 c 1725 111289 1453 1 - 0.0000 -
1724.86/1730.56 c 1731 111974 1454 1 - 0.0000 -
1729.94/1735.62 c 1736 112634 1453 1 - 0.0000 -
1734.93/1740.69 c 1741 113278 1450 1 - 0.0000 -
1740.01/1745.75 c 1746 113966 1446 1 - 0.0000 -
1745.10/1750.80 c 1751 114620 1454 1 - 0.0000 -
1750.08/1755.89 c 1756 115253 1446 1 - 0.0000 -
1755.16/1760.95 c 1761 115979 1451 1 - 0.0000 -
1760.25/1766.04 c 1766 116701 1458 1 - 0.0000 -
1765.24/1771.09 c 1771 117347 1461 1 - 0.0000 -
1770.32/1776.16 c 1776 117967 1464 1 - 0.0000 -
1775.39/1781.23 c 1781 118578 1462 1 - 0.0000 -
1780.48/1786.33 c 1786 119274 1455 1 - 0.0000 -
1785.46/1791.39 c 1791 119883 1471 1 - 0.0000 -
1790.54/1796.44 c 1796 120587 1453 1 - 0.0000 -
1795.63/1801.51 c 1802 121254 1452 1 - 0.0000 -
1800.61/1806.56 c 1807 121937 1445 1 - 0.0000 -
1805.69/1811.62 c 1812 122586 1440 1 - 0.0000 -
1810.68/1816.68 c 1817 123188 1447 1 - 0.0000 -
1815.76/1821.74 c 1822 123813 1449 1 - 0.0000 -
1820.84/1826.81 c 1827 124399 1458 1 - 0.0000 -
1825.83/1831.89 c 1832 124854 1462 1 - 0.0000 -
1830.91/1836.94 c 1837 125435 1450 1 - 0.0000 -
1836.00/1842.01 c 1842 126065 1475 1 - 0.0000 -
1841.08/1847.15 c 1847 126731 1472 1 - 0.0000 -
1846.16/1852.23 c 1852 127423 1473 1 - 0.0000 -
1851.14/1857.28 c 1857 128098 1469 1 - 0.0000 -
1856.22/1862.33 c 1862 128728 1455 1 - 0.0000 -
1861.21/1867.38 c 1867 129266 1443 1 - 0.0000 -
1866.29/1872.46 c 1872 129854 1464 1 - 0.0000 -
1871.37/1877.54 c 1878 130402 1459 1 - 0.0000 -
1876.36/1882.59 c 1883 131018 1436 1 - 0.0000 -
1881.45/1887.67 c 1888 131685 1437 1 - 0.0000 -
1886.53/1892.73 c 1893 132336 1433 1 - 0.0000 -
1891.51/1897.78 c 1898 133088 1437 1 - 0.0000 -
1896.59/1902.85 c 1903 133803 1444 1 - 0.0000 -
1901.67/1907.90 c 1908 134503 1457 1 - 0.0000 -
1906.65/1912.95 c 1913 135170 1441 1 - 0.0000 -
1911.75/1918.02 c 1918 135875 1435 1 - 0.0000 -
1916.83/1923.11 c 1923 136541 1426 1 - 0.0000 -
1921.90/1928.21 c 1928 137169 1442 1 - 0.0000 -
1926.88/1933.26 c 1933 137823 1447 1 - 0.0000 -
1931.97/1938.32 c 1938 138480 1431 1 - 0.0000 -
1936.95/1943.37 c 1943 139122 1442 1 - 0.0000 -
1942.04/1948.43 c 1948 139738 1432 1 - 0.0000 -
1947.02/1953.48 c 1953 140471 1443 1 - 0.0000 -
1952.10/1958.54 c 1959 141040 1441 1 - 0.0000 -
1957.18/1963.60 c 1964 141585 1437 1 - 0.0000 -
1962.17/1968.65 c 1969 142148 1441 1 - 0.0000 -
1967.25/1973.72 c 1974 142679 1442 1 - 0.0000 -
1972.24/1978.78 c 1979 143264 1448 1 - 0.0000 -
1977.32/1983.86 c 1984 143827 1442 1 - 0.0000 -
1982.41/1988.94 c 1989 144398 1434 1 - 0.0000 -
1987.49/1994.04 c 1994 145123 1482 1 - 0.0000 -
1992.47/1999.09 c 1999 145707 1476 1 - 0.0000 -
1997.55/2004.17 c 2004 146328 1491 1 - 0.0000 -
2002.63/2009.27 c 2009 146833 1501 1 - 0.0000 -
2007.72/2014.35 c 2014 147482 1512 1 - 0.0000 -
2012.80/2019.42 c 2019 148152 1521 1 - 0.0000 -
2017.78/2024.49 c 2024 148812 1521 1 - 0.0000 -
2022.87/2029.58 c 2030 149469 1521 1 - 0.0000 -
2027.96/2034.65 c 2035 150129 1538 1 - 0.0000 -
2033.04/2039.74 c 2040 150772 1521 1 - 0.0000 -
2038.12/2044.80 c 2045 151384 1518 1 - 0.0000 -
2043.10/2049.85 c 2050 151992 1520 1 - 0.0000 -
2048.18/2054.91 c 2055 152586 1521 1 - 0.0000 -
2053.16/2059.96 c 2060 153240 1533 1 - 0.0000 -
2058.25/2065.04 c 2065 153865 1547 1 - 0.0000 -
2063.34/2070.13 c 2070 154444 1538 1 - 0.0000 -
2068.32/2075.18 c 2075 155151 1538 1 - 0.0000 -
2073.39/2080.25 c 2080 155825 1529 1 - 0.0000 -
2078.58/2085.43 c 2085 156431 1536 1 - 0.0000 -
2083.66/2090.51 c 2091 157017 1537 1 - 0.0000 -
2088.75/2095.60 c 2096 157647 1536 1 - 0.0000 -
2093.73/2100.67 c 2101 158226 1529 1 - 0.0000 -
2098.81/2105.75 c 2106 158772 1515 1 - 0.0000 -
2103.89/2110.80 c 2111 159441 1516 1 - 0.0000 -
2108.86/2115.88 c 2116 160055 1518 1 - 0.0000 -
2113.94/2120.96 c 2121 160612 1519 1 - 0.0000 -
2119.02/2126.03 c 2126 161175 1521 1 - 0.0000 -
2124.01/2131.09 c 2131 161802 1517 1 - 0.0000 -
2129.09/2136.17 c 2136 162345 1530 1 - 0.0000 -
2134.16/2141.23 c 2141 162967 1523 1 - 0.0000 -
2139.13/2146.28 c 2146 163535 1516 1 - 0.0000 -
2144.21/2151.36 c 2151 164076 1525 1 - 0.0000 -
2149.29/2156.46 c 2156 164650 1537 1 - 0.0000 -
2154.37/2161.56 c 2162 165201 1534 1 - 0.0000 -
2159.45/2166.67 c 2167 165701 1535 1 - 0.0000 -
2164.53/2171.75 c 2172 166250 1537 1 - 0.0000 -
2169.60/2176.81 c 2177 166801 1530 1 - 0.0000 -
2174.58/2181.87 c 2182 167357 1530 1 - 0.0000 -
2179.66/2186.96 c 2187 167976 1531 1 - 0.0000 -
2184.74/2192.01 c 2192 168536 1528 1 - 0.0000 -
2189.72/2197.07 c 2197 169083 1533 1 - 0.0000 -
2194.80/2202.13 c 2202 169681 1533 1 - 0.0000 -
2199.78/2207.18 c 2207 170350 1546 1 - 0.0000 -
2204.87/2212.23 c 2212 170894 1540 1 - 0.0000 -
2209.85/2217.29 c 2217 171452 1553 1 - 0.0000 -
2214.93/2222.39 c 2222 171913 1543 1 - 0.0000 -
2220.02/2227.48 c 2227 172467 1544 1 - 0.0000 -
2225.20/2232.60 c 2233 173061 1529 1 - 0.0000 -
2230.18/2237.65 c 2238 173624 1532 1 - 0.0000 -
2235.26/2242.72 c 2243 174107 1526 1 - 0.0000 -
2240.34/2247.80 c 2248 174688 1513 1 - 0.0000 -
2245.32/2252.85 c 2253 175255 1515 1 - 0.0000 -
2250.42/2257.93 c 2258 175946 1514 1 - 0.0000 -
2255.50/2263.02 c 2263 176566 1505 1 - 0.0000 -
2260.49/2268.07 c 2268 177161 1489 1 - 0.0000 -
2265.57/2273.14 c 2273 177714 1490 1 - 0.0000 -
2270.64/2278.24 c 2278 178273 1480 1 - 0.0000 -
2275.63/2283.29 c 2283 178797 1478 1 - 0.0000 -
2280.71/2288.36 c 2288 179389 1469 1 - 0.0000 -
2285.79/2293.41 c 2293 180053 1502 1 - 0.0000 -
2290.78/2298.47 c 2298 180671 1511 1 - 0.0000 -
2295.86/2303.57 c 2304 181329 1528 1 - 0.0000 -
2300.94/2308.62 c 2309 182049 1549 1 - 0.0000 -
2305.93/2313.68 c 2314 182719 1570 1 - 0.0000 -
2311.01/2318.74 c 2319 183276 1567 1 - 0.0000 -
2316.09/2323.82 c 2324 183941 1567 1 - 0.0000 -
2321.07/2328.88 c 2329 184522 1595 1 - 0.0000 -
2326.16/2333.93 c 2334 185225 1671 1 - 0.0000 -
2331.25/2339.01 c 2339 185916 1667 1 - 0.0000 -
2336.24/2344.06 c 2344 186591 1674 1 - 0.0000 -
2341.32/2349.14 c 2349 187278 1692 1 - 0.0000 -
2346.30/2354.19 c 2354 187991 1692 1 - 0.0000 -
2351.38/2359.24 c 2359 188626 1699 1 - 0.0000 -
2356.46/2364.33 c 2364 189298 1720 1 - 0.0000 -
2361.44/2369.39 c 2369 190002 1699 1 - 0.0000 -
2366.53/2374.46 c 2374 190663 1716 1 - 0.0000 -
2371.61/2379.53 c 2380 191354 1736 1 - 0.0000 -
2376.59/2384.59 c 2385 192020 1752 1 - 0.0000 -
2381.78/2389.73 c 2390 192575 1771 1 - 0.0000 -
2386.86/2394.86 c 2395 193199 1795 1 - 0.0000 -
2391.94/2399.93 c 2400 193830 1819 1 - 0.0000 -
2396.92/2404.98 c 2405 194401 1814 1 - 0.0000 -
2402.01/2410.03 c 2410 195076 1803 1 - 0.0000 -
2407.09/2415.12 c 2415 195670 1784 1 - 0.0000 -
2412.08/2420.18 c 2420 196274 1784 1 - 0.0000 -
2417.16/2425.24 c 2425 196863 1818 1 - 0.0000 -
2422.14/2430.29 c 2430 197549 1810 1 - 0.0000 -
2427.22/2435.38 c 2435 198267 1814 1 - 0.0000 -
2432.30/2440.44 c 2440 198940 1838 1 - 0.0000 -
2437.38/2445.51 c 2446 199552 1843 1 - 0.0000 -
2442.37/2450.58 c 2451 200217 1837 1 - 0.0000 -
2447.46/2455.68 c 2456 200797 1836 1 - 0.0000 -
2452.54/2460.78 c 2461 201377 1819 1 - 0.0000 -
2457.72/2465.92 c 2466 201944 1817 1 - 0.0000 -
2462.70/2470.97 c 2471 202507 1808 1 - 0.0000 -
2467.78/2476.02 c 2476 203178 1832 1 - 0.0000 -
2472.78/2481.09 c 2481 203807 1823 1 - 0.0000 -
2477.86/2486.14 c 2486 204431 1825 1 - 0.0000 -
2482.93/2491.25 c 2491 204994 1834 1 - 0.0000 -
2488.02/2496.34 c 2496 205550 1830 1 - 0.0000 -
2493.10/2501.41 c 2501 206138 1823 1 - 0.0000 -
2498.08/2506.49 c 2506 206753 1821 1 - 0.0000 -
2503.16/2511.55 c 2512 207357 1833 1 - 0.0000 -
2508.25/2516.63 c 2517 207878 1821 1 - 0.0000 -
2513.23/2521.68 c 2522 208452 1806 1 - 0.0000 -
2518.31/2526.74 c 2527 209073 1810 1 - 0.0000 -
2523.40/2531.80 c 2532 209636 1810 1 - 0.0000 -
2528.38/2536.88 c 2537 210251 1812 1 - 0.0000 -
2533.46/2541.94 c 2542 210851 1802 1 - 0.0000 -
2538.56/2547.01 c 2547 211429 1814 1 - 0.0000 -
2543.54/2552.10 c 2552 211956 1815 1 - 0.0000 -
2548.62/2557.17 c 2557 212553 1815 1 - 0.0000 -
2553.70/2562.27 c 2562 213141 1799 1 - 0.0000 -
2558.78/2567.32 c 2567 213709 1808 1 - 0.0000 -
2563.76/2572.37 c 2572 214234 1827 1 - 0.0000 -
2568.94/2577.52 c 2578 214754 1815 1 - 0.0000 -
2574.03/2582.63 c 2583 215293 1798 1 - 0.0000 -
2579.01/2587.69 c 2588 215866 1798 1 - 0.0000 -
2584.19/2592.81 c 2593 216423 1791 1 - 0.0000 -
2589.18/2597.88 c 2598 217087 1811 1 - 0.0000 -
2594.26/2602.95 c 2603 217623 1798 1 - 0.0000 -
2599.35/2608.01 c 2608 218276 1827 1 - 0.0000 -
2604.34/2613.06 c 2613 218789 1842 1 - 0.0000 -
2609.42/2618.15 c 2618 219382 1846 1 - 0.0000 -
2614.50/2623.20 c 2623 219996 1842 1 - 0.0000 -
2619.48/2628.26 c 2628 220502 1844 1 - 0.0000 -
2624.56/2633.33 c 2633 221072 1862 1 - 0.0000 -
2629.65/2638.40 c 2638 221625 1866 1 - 0.0000 -
2634.63/2643.46 c 2643 222165 1879 1 - 0.0000 -
2639.71/2648.51 c 2649 222691 1884 1 - 0.0000 -
2644.69/2653.57 c 2654 223235 1868 1 - 0.0000 -
2649.78/2658.65 c 2659 223692 1857 1 - 0.0000 -
2654.86/2663.74 c 2664 224211 1870 1 - 0.0000 -
2659.94/2668.88 c 2669 224715 1862 1 - 0.0000 -
2665.03/2673.94 c 2674 225299 1864 1 - 0.0000 -
2670.02/2678.99 c 2679 225891 1861 1 - 0.0000 -
2675.10/2684.04 c 2684 226447 1878 1 - 0.0000 -
2680.18/2689.13 c 2689 226963 1874 1 - 0.0000 -
2685.26/2694.23 c 2694 227487 1879 1 - 0.0000 -
2690.34/2699.31 c 2699 228123 1871 1 - 0.0000 -
2695.32/2704.38 c 2704 228660 1867 1 - 0.0000 -
2700.40/2709.43 c 2709 229213 1871 1 - 0.0000 -
2705.49/2714.53 c 2715 229823 1867 1 - 0.0000 -
2710.58/2719.63 c 2720 230354 1860 1 - 0.0000 -
2715.56/2724.69 c 2725 230932 1876 1 - 0.0000 -
2720.64/2729.79 c 2730 231452 1860 1 - 0.0000 -
2725.73/2734.85 c 2735 232049 1849 1 - 0.0000 -
2730.81/2739.92 c 2740 232597 1855 1 - 0.0000 -
2735.79/2744.97 c 2745 233113 1851 1 - 0.0000 -
2740.88/2750.04 c 2750 233724 1854 1 - 0.0000 -
2745.96/2755.12 c 2755 234288 1862 1 - 0.0000 -
2750.94/2760.19 c 2760 234839 1873 1 - 0.0000 -
2756.02/2765.29 c 2765 235377 1862 1 - 0.0000 -
2761.10/2770.34 c 2770 235936 1854 1 - 0.0000 -
2766.19/2775.43 c 2775 236572 1842 1 - 0.0000 -
2771.18/2780.48 c 2780 237085 1835 1 - 0.0000 -
2776.26/2785.58 c 2786 237623 1820 1 - 0.0000 -
2781.34/2790.64 c 2791 238281 1826 1 - 0.0000 -
2786.42/2795.70 c 2796 238859 1829 1 - 0.0000 -
2791.40/2800.78 c 2801 239454 1825 1 - 0.0000 -
2796.49/2805.84 c 2806 239954 1827 1 - 0.0000 -
2801.48/2810.89 c 2811 240508 1826 1 - 0.0000 -
2806.56/2815.97 c 2816 241199 1837 1 - 0.0000 -
2811.63/2821.04 c 2821 241868 1833 1 - 0.0000 -
2816.71/2826.12 c 2826 242531 1843 1 - 0.0000 -
2821.70/2831.18 c 2831 243111 1832 1 - 0.0000 -
2826.78/2836.24 c 2836 243734 1844 1 - 0.0000 -
2831.86/2841.30 c 2841 244285 1833 1 - 0.0000 -
2836.84/2846.35 c 2846 244786 1844 1 - 0.0000 -
2841.94/2851.41 c 2851 245293 1857 1 - 0.0000 -
2847.02/2856.50 c 2856 245911 1858 1 - 0.0000 -
2852.00/2861.56 c 2862 246586 1848 1 - 0.0000 -
2857.08/2866.66 c 2867 247235 1859 1 - 0.0000 -
2862.16/2871.72 c 2872 247904 1865 1 - 0.0000 -
2867.24/2876.80 c 2877 248509 1862 1 - 0.0000 -
2872.23/2881.85 c 2882 249166 1860 1 - 0.0000 -
2877.31/2886.95 c 2887 249785 1846 1 - 0.0000 -
2882.41/2892.01 c 2892 250326 1840 1 - 0.0000 -
2887.39/2897.07 c 2897 250954 1832 1 - 0.0000 -
2892.47/2902.14 c 2902 251533 1833 1 - 0.0000 -
2897.55/2907.22 c 2907 252142 1826 1 - 0.0000 -
2902.53/2912.28 c 2912 252680 1826 1 - 0.0000 -
2907.61/2917.34 c 2917 253279 1830 1 - 0.0000 -
2912.70/2922.44 c 2922 253902 1826 1 - 0.0000 -
2917.78/2927.50 c 2928 254536 1822 1 - 0.0000 -
2922.75/2932.58 c 2933 255063 1819 1 - 0.0000 -
2927.83/2937.63 c 2938 255770 1826 1 - 0.0000 -
2932.91/2942.70 c 2943 256330 1826 1 - 0.0000 -
2937.89/2947.76 c 2948 256838 1818 1 - 0.0000 -
2942.97/2952.85 c 2953 257389 1841 1 - 0.0000 -
2948.05/2957.90 c 2958 258020 1858 1 - 0.0000 -
2953.03/2962.97 c 2963 258572 1883 1 - 0.0000 -
2958.11/2968.03 c 2968 259158 1886 1 - 0.0000 -
2963.09/2973.09 c 2973 259769 1892 1 - 0.0000 -
2968.17/2978.15 c 2978 260374 1894 1 - 0.0000 -
2973.26/2983.22 c 2983 260947 1918 1 - 0.0000 -
2978.24/2988.29 c 2988 261545 1910 1 - 0.0000 -
2983.32/2993.34 c 2993 262163 1913 1 - 0.0000 -
2988.40/2998.43 c 2998 262734 1911 1 - 0.0000 -
2993.39/3003.48 c 3003 263287 1913 1 - 0.0000 -
2998.47/3008.55 c 3009 263832 1902 1 - 0.0000 -
3003.55/3013.61 c 3014 264438 1901 1 - 0.0000 -
3008.54/3018.67 c 3019 265025 1901 1 - 0.0000 -
3013.62/3023.75 c 3024 265588 1913 1 - 0.0000 -
3018.71/3028.83 c 3029 266150 1901 1 - 0.0000 -
3023.79/3033.90 c 3034 266692 1903 1 - 0.0000 -
3028.77/3038.96 c 3039 267258 1898 1 - 0.0000 -
3033.86/3044.02 c 3044 267885 1887 1 - 0.0000 -
3038.84/3049.09 c 3049 268484 1900 1 - 0.0000 -
3043.93/3054.18 c 3054 269091 1899 1 - 0.0000 -
3049.00/3059.25 c 3059 269695 1911 1 - 0.0000 -
3054.09/3064.31 c 3064 270231 1917 1 - 0.0000 -
3059.07/3069.36 c 3069 270744 1905 1 - 0.0000 -
3064.15/3074.42 c 3074 271351 1913 1 - 0.0000 -
3069.14/3079.49 c 3079 272075 1914 1 - 0.0000 -
3074.22/3084.57 c 3085 272656 1902 1 - 0.0000 -
3079.30/3089.67 c 3090 273245 1893 1 - 0.0000 -
3084.38/3094.74 c 3095 273905 1896 1 - 0.0000 -
3089.47/3099.83 c 3100 274558 1894 1 - 0.0000 -
3094.55/3104.90 c 3105 275203 1890 1 - 0.0000 -
3099.53/3109.96 c 3110 275761 1894 1 - 0.0000 -
3104.62/3115.04 c 3115 276340 1918 1 - 0.0000 -
3109.69/3120.10 c 3120 276867 1924 1 - 0.0000 -
3114.67/3125.17 c 3125 277575 1928 1 - 0.0000 -
3119.75/3130.22 c 3130 278190 1919 1 - 0.0000 -
3124.73/3135.29 c 3135 278781 1921 1 - 0.0000 -
3129.80/3140.35 c 3140 279464 1911 1 - 0.0000 -
3134.88/3145.42 c 3145 280075 1913 1 - 0.0000 -
3139.87/3150.47 c 3150 280624 1916 1 - 0.0000 -
3144.95/3155.55 c 3156 281185 1917 1 - 0.0000 -
3150.02/3160.63 c 3161 281715 1915 1 - 0.0000 -
3155.10/3165.72 c 3166 282262 1910 1 - 0.0000 -
3160.08/3170.79 c 3171 282819 1902 1 - 0.0000 -
3165.16/3175.85 c 3176 283383 1897 1 - 0.0000 -
3170.24/3180.94 c 3181 284026 1887 1 - 0.0000 -
3175.32/3186.04 c 3186 284665 1886 1 - 0.0000 -
3180.40/3191.15 c 3191 285325 1884 1 - 0.0000 -
3185.48/3196.23 c 3196 285887 1881 1 - 0.0000 -
3190.56/3201.31 c 3201 286443 1900 1 - 0.0000 -
3195.63/3206.42 c 3206 287110 1929 1 - 0.0000 -
3200.61/3211.49 c 3211 287649 1919 1 - 0.0000 -
3205.69/3216.58 c 3217 288288 1926 1 - 0.0000 -
3210.77/3221.64 c 3222 288961 1931 1 - 0.0000 -
3215.85/3226.72 c 3227 289627 1956 1 - 0.0000 -
3220.93/3231.80 c 3232 290217 1940 1 - 0.0000 -
3226.01/3236.90 c 3237 290853 1938 1 - 0.0000 -
3230.98/3241.97 c 3242 291471 1925 1 - 0.0000 -
3236.07/3247.02 c 3247 292074 1971 1 - 0.0000 -
3241.05/3252.08 c 3252 292676 1977 1 - 0.0000 -
3246.13/3257.14 c 3257 293254 1981 1 - 0.0000 -
3251.20/3262.21 c 3262 293859 1985 1 - 0.0000 -
3256.18/3267.29 c 3267 294535 1987 1 - 0.0000 -
3261.26/3272.35 c 3272 295176 2022 1 - 0.0000 -
3266.34/3277.41 c 3277 295806 2025 1 - 0.0000 -
3271.32/3282.47 c 3282 296429 2026 1 - 0.0000 -
3276.40/3287.52 c 3288 297025 2032 1 - 0.0000 -
3281.38/3292.59 c 3293 297677 2020 1 - 0.0000 -
3286.46/3297.64 c 3298 298334 2024 1 - 0.0000 -
3291.53/3302.70 c 3303 299012 2032 1 - 0.0000 -
3296.52/3307.79 c 3308 299651 2030 1 - 0.0000 -
3301.59/3312.86 c 3313 300212 2035 1 - 0.0000 -
3306.67/3317.93 c 3318 300899 2045 1 - 0.0000 -
3311.75/3323.00 c 3323 301528 2065 1 - 0.0000 -
3316.73/3328.05 c 3328 302191 2075 1 - 0.0000 -
3321.81/3333.13 c 3333 302879 2076 1 - 0.0000 -
3326.89/3338.20 c 3338 303599 2063 1 - 0.0000 -
3331.87/3343.28 c 3343 304216 2061 1 - 0.0000 -
3336.94/3348.36 c 3348 304874 2062 1 - 0.0000 -
3342.02/3353.43 c 3353 305571 2051 1 - 0.0000 -
3347.00/3358.48 c 3358 306297 2046 1 - 0.0000 -
3352.08/3363.56 c 3364 307050 2053 1 - 0.0000 -
3357.17/3368.63 c 3369 307696 2053 1 - 0.0000 -
3362.14/3373.68 c 3374 308384 2048 1 - 0.0000 -
3367.22/3378.73 c 3379 309211 2049 1 - 0.0000 -
3372.30/3383.81 c 3384 309945 2058 1 - 0.0000 -
3377.28/3388.88 c 3389 310724 2055 1 - 0.0000 -
3382.35/3393.94 c 3394 311534 2046 1 - 0.0000 -
3387.45/3399.03 c 3399 312250 2038 1 - 0.0000 -
3392.42/3404.09 c 3404 312935 2041 1 - 0.0000 -
3397.50/3409.14 c 3409 313677 2038 1 - 0.0000 -
3402.58/3414.22 c 3414 314489 2016 1 - 0.0000 -
3407.56/3419.27 c 3419 315153 2036 1 - 0.0000 -
3412.63/3424.36 c 3424 315785 2020 1 - 0.0000 -
3417.71/3429.45 c 3429 316423 2022 1 - 0.0000 -
3422.80/3434.51 c 3435 317055 2015 1 - 0.0000 -
3427.78/3439.56 c 3440 317729 2021 1 - 0.0000 -
3432.86/3444.65 c 3445 318484 2011 1 - 0.0000 -
3437.94/3449.74 c 3450 319254 2008 1 - 0.0000 -
3443.01/3454.80 c 3455 320002 2007 1 - 0.0000 -
3447.99/3459.87 c 3460 320719 2000 1 - 0.0000 -
3453.07/3464.94 c 3465 321294 2002 1 - 0.0000 -
3458.15/3470.02 c 3470 322021 2021 1 - 0.0000 -
3463.14/3475.09 c 3475 322741 2006 1 - 0.0000 -
3468.22/3480.16 c 3480 323379 1996 1 - 0.0000 -
3473.29/3485.23 c 3485 324046 1999 1 - 0.0000 -
3478.26/3490.29 c 3490 324725 1989 1 - 0.0000 -
3483.35/3495.34 c 3495 325387 1989 1 - 0.0000 -
3488.33/3500.39 c 3500 326039 1988 1 - 0.0000 -
3493.41/3505.48 c 3505 326626 1987 1 - 0.0000 -
3498.49/3510.53 c 3511 327316 1983 1 - 0.0000 -
3503.56/3515.61 c 3516 328136 1993 1 - 0.0000 -
3508.54/3520.66 c 3521 328762 1984 1 - 0.0000 -
3513.62/3525.74 c 3526 329401 1981 1 - 0.0000 -
3518.70/3530.82 c 3531 330062 1977 1 - 0.0000 -
3523.68/3535.88 c 3536 330720 1972 1 - 0.0000 -
3528.77/3540.96 c 3541 331469 1977 1 - 0.0000 -
3533.84/3546.08 c 3546 332188 1966 1 - 0.0000 -
3538.92/3551.18 c 3551 332848 1970 1 - 0.0000 -
3544.00/3556.23 c 3556 333529 1974 1 - 0.0000 -
3549.08/3561.30 c 3561 334135 1964 1 - 0.0000 -
3554.06/3566.39 c 3566 334764 1967 1 - 0.0000 -
3559.14/3571.47 c 3571 335424 1959 1 - 0.0000 -
3564.22/3576.52 c 3577 336095 1954 1 - 0.0000 -
3569.19/3581.58 c 3582 336704 1959 1 - 0.0000 -
3574.27/3586.63 c 3587 337369 1956 1 - 0.0000 -
3579.25/3591.68 c 3592 338105 1967 1 - 0.0000 -
3584.34/3596.74 c 3597 338792 1967 1 - 0.0000 -
3587.63/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.63/3600.07 c Total Time : 3600.0600
3587.63/3600.07 c solving : 3600.0600
3587.63/3600.07 c presolving : 0.2327 (included in solving)
3587.63/3600.07 c B&B Tree :
3587.63/3600.07 c nodes (total) : 1
3587.63/3600.07 c Solution :
3587.63/3600.07 c Solutions found : 0
3587.63/3600.07 c Primal Bound : -
3587.63/3600.07 c Dual Bound : +0.00000000000000e+00
3587.63/3600.07 c Gap : -
3587.63/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 (60667 MiB free)
memory of node 1: 64510 MiB (60971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450660-1721415946/watcher-4450660-1721415946 -o /tmp/evaluation-result-4450660-1721415946/solver-4450660-1721415946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450660-1721415946.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1043846, runsolver pid=1043843
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.07 4.12 4.09 5/260 1043847
/proc/meminfo: memFree=124526588/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=54744 memory=43972 CPUtime=0.09 cores=0,2
/proc/1043846/stat : 1043846 (fscip) R 1043843 1043846 1040488 0 -1 4194304 9784 0 0 0 8 1 0 0 20 0 1 0 193764319 56057856 10993 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 13686 10993 2702 3032 0 10086 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54744 KiB
Current children cumulated memory: 43972 KiB
[startup+0.205608 s]*
/proc/loadavg: 4.07 4.12 4.09 5/260 1043847
/proc/meminfo: memFree=124522196/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=57700 memory=46936 CPUtime=0.2 cores=0,2
/proc/1043846/stat : 1043846 (fscip) R 1043843 1043846 1040488 0 -1 4194304 10513 0 0 0 19 1 0 0 20 0 1 0 193764319 59084800 11734 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 14425 11734 2718 3032 0 10825 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 46936 KiB
[startup+0.305239 s]*
/proc/loadavg: 4.07 4.12 4.09 5/262 1043849
/proc/meminfo: memFree=124492604/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=153748 memory=76176 CPUtime=0.29 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 18801 0 0 0 27 2 0 0 20 0 3 0 193764319 157437952 19044 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 38437 19044 2782 3032 0 22367 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=153748 memory=-7664417297341570685 CPUtime=0.01 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 4402 0 0 0 1 0 0 0 20 0 3 0 193764346 157437952 19044 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=153748 memory=0 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193764349 157437952 19044 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 153748 KiB
Current children cumulated memory: 76176 KiB
[startup+0.700245 s]
/proc/loadavg: 4.07 4.12 4.09 5/262 1043849
/proc/meminfo: memFree=124463372/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=223396 memory=138996 CPUtime=0.68 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 34373 0 0 0 63 5 0 0 20 0 3 0 193764319 228757504 34749 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55849 34749 2942 3032 0 38919 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=223396 memory=5492 CPUtime=0.4 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 19974 0 0 0 37 3 0 0 20 0 3 0 193764346 228757504 34749 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=223396 memory=417 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193764349 228757504 34749 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 223396 KiB
Current children cumulated memory: 138996 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.12 4.09 5/262 1043849
/proc/meminfo: memFree=124435212/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=133808 CPUtime=1.47 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 36302 0 0 0 142 5 0 0 20 0 3 0 193764319 225599488 33452 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 33452 2942 3032 0 38246 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=417 CPUtime=1.19 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 21904 0 0 0 116 3 0 0 20 0 3 0 193764346 225599488 33452 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=0 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 33452 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 133808 KiB
[startup+3.10542 s]
/proc/loadavg: 4.07 4.12 4.09 5/262 1043849
/proc/meminfo: memFree=124435340/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=133860 CPUtime=3.08 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 43628 0 0 0 302 6 0 0 20 0 3 0 193764319 225599488 33465 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 33465 2942 3032 0 38246 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=-7664417297341570685 CPUtime=2.79 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 29228 0 0 0 276 3 0 0 20 0 3 0 193764346 225599488 33465 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=0 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 33465 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 133860 KiB
[startup+6.30021 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 1043849
/proc/meminfo: memFree=124435324/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=133892 CPUtime=6.25 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 52873 0 0 0 619 6 0 0 20 0 3 0 193764319 225599488 33473 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 33473 2942 3032 0 38246 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=12340 CPUtime=5.98 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 38472 0 0 0 594 4 0 0 20 0 3 0 193764346 225599488 33473 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=12340 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 33473 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 133892 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 1043850
/proc/meminfo: memFree=124435184/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=133976 CPUtime=12.64 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 71843 0 0 0 1257 7 0 0 20 0 3 0 193764319 225599488 33494 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 33494 2942 3032 0 38246 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=133888 CPUtime=12.36 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 57436 0 0 0 1231 5 0 0 20 0 3 0 193764346 225599488 33494 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=-7664417297341570685 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 33494 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 133976 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1043852
/proc/meminfo: memFree=124433044/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=136104 CPUtime=25.39 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 93597 0 0 0 2531 8 0 0 20 0 3 0 193764319 225599488 34026 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 34026 2942 3032 0 38368 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=12340 CPUtime=25.12 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 79180 0 0 0 2506 6 0 0 20 0 3 0 193764346 225599488 34026 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=12340 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 34026 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 136104 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 1043856
/proc/meminfo: memFree=124408184/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=160532 CPUtime=50.92 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 125477 0 0 0 5081 11 0 0 20 0 3 0 193764319 225599488 40133 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 40133 2990 3032 0 45556 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=7234305403149181523 CPUtime=50.65 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 110987 0 0 0 5056 9 0 0 20 0 3 0 193764346 225599488 40133 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=12340 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 40133 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 160532 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 1043866
/proc/meminfo: memFree=124400200/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=158124 CPUtime=101.97 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 148506 0 0 0 10184 13 0 0 20 0 3 0 193764319 225599488 39531 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 39531 2990 3032 0 45556 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=158124 CPUtime=101.68 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 133975 0 0 0 10158 10 0 0 20 0 3 0 193764346 225599488 39531 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=158124 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 39531 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 158124 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 1043876
/proc/meminfo: memFree=124396412/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=158124 CPUtime=161.78 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 157270 0 0 0 16165 13 0 0 20 0 3 0 193764319 225599488 39531 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 39531 2990 3032 0 45556 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=220312 memory=12340 CPUtime=161.49 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 142729 0 0 0 16139 10 0 0 20 0 3 0 193764346 225599488 39531 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=220312 memory=158124 CPUtime=0 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 193764349 225599488 39531 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 158124 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 1043887
/proc/meminfo: memFree=124397072/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=220312 memory=158124 CPUtime=221.6 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 161748 0 0 0 22146 14 0 0 20 0 3 0 193764319 225599488 39531 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 55078 39531 2990 3032 0 45556 0
################
# More data... #
################
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=12340 CPUtime=3390.26 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 408228 0 0 0 338911 115 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=337568 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3390.73 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 1045789
/proc/meminfo: memFree=124213408/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3450.48 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 424979 0 0 0 344923 125 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=12340 CPUtime=3450.02 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 409419 0 0 0 344886 116 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=337568 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3450.48 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 1045801
/proc/meminfo: memFree=124208032/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3510.24 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 426267 0 0 0 350897 127 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=49348 CPUtime=3509.77 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 410690 0 0 0 350859 118 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=-6808452825279008105 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3510.24 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 1045811
/proc/meminfo: memFree=124195720/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3569.99 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 427486 0 0 0 356870 129 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=12340 CPUtime=3569.52 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 411892 0 0 0 356832 120 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=12340 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3569.99 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3600.08 s]
# the end of solver process 1043846 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.4 s, system=1.30457 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 1045811
/proc/meminfo: memFree=124195740/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3571.69 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 427486 0 0 0 357040 129 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=-6879947469380161127 CPUtime=3571.22 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 411892 0 0 0 357002 120 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=18748 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 1045812
/proc/meminfo: memFree=124195772/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3578.06 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 428130 0 0 0 357677 129 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=0 CPUtime=3577.59 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 412535 0 0 0 357639 120 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=-6808452825279008105 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3578.06 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 1045812
/proc/meminfo: memFree=124195772/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3584.44 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 428157 0 0 0 358314 130 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=337568 CPUtime=3583.97 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 412562 0 0 0 358276 121 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=12340 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3584.44 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 1045814
/proc/meminfo: memFree=124195784/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3586.03 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 428158 0 0 0 358473 130 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=12312 CPUtime=3585.56 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 412563 0 0 0 358435 121 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=5492 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 1045814
/proc/meminfo: memFree=124194656/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3586.83 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 428159 0 0 0 358553 130 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=49348 CPUtime=3586.36 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 412564 0 0 0 358515 121 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=12312 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3599.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 1045814
/proc/meminfo: memFree=124194656/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3587.22 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 428159 0 0 0 358592 130 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=15976 CPUtime=3586.75 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 412564 0 0 0 358554 121 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=2220 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3587.22 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 1045814
/proc/meminfo: memFree=124194144/131524600 swapFree=131071996/131071996
[pid=1043846] ppid=1043843 vsize=416840 memory=337568 CPUtime=3587.63 cores=0,2
/proc/1043846/stat : 1043846 (fscip) S 1043843 1043846 1040488 0 -1 1077936128 428159 0 0 0 358633 130 0 0 20 0 3 0 193764319 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
/proc/1043846/statm: 104210 84392 3310 3032 0 85562 0
[pid=1043846/tid=1043848] ppid=1043843 vsize=416840 memory=-6879947469380161127 CPUtime=3587.16 cores=0,2
/proc/1043846/task/1043848/stat : 1043848 (fscip) R 1043843 1043846 1040488 0 -1 4194368 412564 0 0 0 358595 121 0 0 20 0 3 0 193764346 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
[pid=1043846/tid=1043849] ppid=1043843 vsize=416840 memory=3728 CPUtime=0.02 cores=0,2
/proc/1043846/task/1043849/stat : 1043849 (fscip) S 1043843 1043846 1040488 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 193764349 426844160 84392 134679101440 4194304 16613245 140725744137280 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 54968320 140725744141331 140725744141447 140725744141447 140725744148464 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 416840 KiB
Current children cumulated memory: 337568 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3587.71
CPU user time (s): 3586.4
CPU system time (s): 1.30457
CPU usage (%): 99.6564
Max. virtual memory (cumulated for all children) (KiB): 416840
Max. memory (cumulated for all children) (KiB): 337568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.4
system time used= 1.30457
maximum resident set size= 337568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429259
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= 9487
involuntary context switches= 25329
# summary of solver processes directly reported to runsolver:
# pid: 1043846
# total CPU time (s): 3587.71
# total CPU user time (s): 3586.4
# total CPU system time (s): 1.30457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.60263 second user time and 14.2287 second system time
The end
Begin job on nodeC033 at 2024-07-19 21:05:58
IDJOB=4450660
IDBENCH=162192
IDSOLVER=3064
FILE ID=nodeC033/4450660-1721415946
RUNJOBID= nodeC033-1721410598-1040498
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-size112-round22-3.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-4450660-1721415946/watcher-4450660-1721415946 -o /tmp/evaluation-result-4450660-1721415946/solver-4450660-1721415946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450660-1721415946.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=1138338032
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 : 3654.838
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 : 3684.044
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 : 3669.865
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 : 3600.297
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 : 3663.883
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 : 3684.095
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 : 3605.182
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.011
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: 124558672 kB
MemAvailable: 128968716 kB
Buffers: 573564 kB
Cached: 4628928 kB
SwapCached: 0 kB
Active: 1034624 kB
Inactive: 5202040 kB
Active(anon): 1580 kB
Inactive(anon): 1078536 kB
Active(file): 1033044 kB
Inactive(file): 4123504 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28520 kB
Writeback: 0 kB
AnonPages: 1031440 kB
Mapped: 145384 kB
Shmem: 45908 kB
KReclaimable: 186288 kB
Slab: 309836 kB
SReclaimable: 186288 kB
SUnreclaim: 123548 kB
KernelStack: 4220 kB
PageTables: 11260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 870104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71232 kB
HardwareCorrupted: 0 kB
AnonHugePages: 643072 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 22:05:58