0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.16 c Default LC presolving (default).
0.09/0.16 c ** Before presolving: virtualMemUsedAtLc = 142925987, getVmSize() = 106110976, SCIPgetMemUsed() = 72535840, SCIPgetMemTotal() = 79255824, SCIPgetMemExternEstim() = 63670163
0.09/0.16 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.98/2.08 c ** Estimated virtualMemUsedAtSolver = 130729035, getVmSize() = 170512384, SCIPgetMemUsed() = 100185886, SCIPgetMemTotal() = 132423390, SCIPgetMemExternEstim() = 63670163
1.98/2.08 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.98/2.08 c Original Problem :
1.98/2.08 c Problem name : instance-4464405-1722378603
1.98/2.08 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1.98/2.08 c Constraints : 63801
1.98/2.08 c Objective sense : minimize
1.98/2.08 c Presolved Problem :
1.98/2.08 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1.98/2.08 c Constraints : 63900
1.98/2.08 c Constraints : Number
1.98/2.08 c setppc : 63849
1.98/2.08 c logicor : 51
1.98/2.08 c ** Instance transfer method used: 0
2.08/2.16 c ** ParaScipInstance copy does not increase the number of variables. **
2.18/2.23 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.18/2.23 c Nodes Active
2.18/2.23 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
14.64/14.70 c 15 2 1 1 - 0.0000 -
20.03/20.12 c 20 26 25 1 - 0.0000 -
25.91/26.03 c 26 70 69 1 - 0.0000 -
31.19/31.36 c 31 256 169 1 - 0.0000 -
36.36/36.55 c 37 492 210 1 - 0.0000 -
41.44/41.64 c 42 806 246 1 - 0.0000 -
46.73/46.99 c 47 1098 291 1 - 0.0000 -
51.81/52.08 c 52 1401 319 1 - 0.0000 -
56.90/57.16 c 57 1713 337 1 - 0.0000 -
61.97/62.26 c 62 2081 351 1 - 0.0000 -
67.05/67.32 c 67 2434 338 1 - 0.0000 -
72.13/72.40 c 72 2752 349 1 - 0.0000 -
77.11/77.48 c 77 3124 357 1 - 0.0000 -
82.20/82.53 c 83 3513 353 1 - 0.0000 -
87.27/87.61 c 88 3905 351 1 - 0.0000 -
92.25/92.67 c 93 4277 352 1 - 0.0000 -
97.34/97.73 c 98 4671 349 1 - 0.0000 -
102.32/102.79 c 103 5081 342 1 - 0.0000 -
107.40/107.87 c 108 5437 324 1 - 0.0000 -
112.98/113.41 c 113 5814 345 1 - 0.0000 -
117.96/118.46 c 118 6234 379 1 - 0.0000 -
123.05/123.55 c 124 6589 401 1 - 0.0000 -
128.13/128.61 c 129 6917 467 1 - 0.0000 -
133.10/133.69 c 134 7276 506 1 - 0.0000 -
138.19/138.76 c 139 7671 530 1 - 0.0000 -
143.26/143.89 c 144 8033 577 1 - 0.0000 -
148.35/148.98 c 149 8392 622 1 - 0.0000 -
153.44/154.04 c 154 8747 609 1 - 0.0000 -
158.42/159.09 c 159 9147 594 1 - 0.0000 -
163.50/164.14 c 164 9538 587 1 - 0.0000 -
168.58/169.22 c 169 9936 570 1 - 0.0000 -
173.66/174.30 c 174 10327 536 1 - 0.0000 -
178.64/179.36 c 179 10715 518 1 - 0.0000 -
183.73/184.43 c 184 11116 507 1 - 0.0000 -
188.71/189.49 c 189 11521 513 1 - 0.0000 -
193.80/194.56 c 195 11918 525 1 - 0.0000 -
198.87/199.62 c 200 12333 574 1 - 0.0000 -
203.86/204.68 c 205 12730 593 1 - 0.0000 -
208.94/209.75 c 210 13153 606 1 - 0.0000 -
214.02/214.82 c 215 13578 615 1 - 0.0000 -
219.01/219.87 c 220 13986 631 1 - 0.0000 -
224.09/224.94 c 225 14377 688 1 - 0.0000 -
229.07/229.99 c 230 14773 719 1 - 0.0000 -
234.16/235.05 c 235 15180 705 1 - 0.0000 -
239.14/240.10 c 240 15570 699 1 - 0.0000 -
244.22/245.15 c 245 15966 679 1 - 0.0000 -
249.30/250.21 c 250 16363 677 1 - 0.0000 -
254.29/255.26 c 255 16771 693 1 - 0.0000 -
259.37/260.31 c 260 17174 681 1 - 0.0000 -
264.35/265.39 c 265 17599 692 1 - 0.0000 -
269.43/270.45 c 270 17993 708 1 - 0.0000 -
274.52/275.52 c 276 18399 719 1 - 0.0000 -
279.49/280.59 c 281 18804 717 1 - 0.0000 -
284.59/285.64 c 286 19217 716 1 - 0.0000 -
289.56/290.69 c 291 19639 707 1 - 0.0000 -
294.65/295.75 c 296 19972 719 1 - 0.0000 -
299.73/300.83 c 301 20345 732 1 - 0.0000 -
304.82/305.91 c 306 20662 753 1 - 0.0000 -
309.80/310.98 c 311 21025 766 1 - 0.0000 -
314.89/316.04 c 316 21396 779 1 - 0.0000 -
319.98/321.11 c 321 21782 773 1 - 0.0000 -
324.95/326.19 c 326 22175 790 1 - 0.0000 -
330.03/331.26 c 331 22565 788 1 - 0.0000 -
335.12/336.33 c 336 22944 791 1 - 0.0000 -
340.10/341.39 c 341 23291 796 1 - 0.0000 -
345.18/346.46 c 346 23678 793 1 - 0.0000 -
350.36/351.67 c 352 24047 789 1 - 0.0000 -
355.45/356.72 c 357 24385 857 1 - 0.0000 -
360.53/361.81 c 362 24715 886 1 - 0.0000 -
365.52/366.87 c 367 25042 894 1 - 0.0000 -
370.60/371.97 c 372 25377 928 1 - 0.0000 -
375.69/377.06 c 377 25720 943 1 - 0.0000 -
380.78/382.12 c 382 26071 944 1 - 0.0000 -
385.76/387.18 c 387 26425 954 1 - 0.0000 -
390.83/392.28 c 392 26736 975 1 - 0.0000 -
395.92/397.35 c 397 27084 997 1 - 0.0000 -
401.00/402.40 c 402 27442 1004 1 - 0.0000 -
405.99/407.46 c 407 27792 1020 1 - 0.0000 -
411.07/412.53 c 413 28156 1035 1 - 0.0000 -
416.06/417.59 c 418 28507 1049 1 - 0.0000 -
421.14/422.68 c 423 28865 1100 1 - 0.0000 -
426.22/427.76 c 428 29244 1125 1 - 0.0000 -
431.31/432.84 c 433 29610 1141 1 - 0.0000 -
436.39/437.91 c 438 29981 1154 1 - 0.0000 -
441.36/442.96 c 443 30369 1164 1 - 0.0000 -
446.46/448.03 c 448 30734 1200 1 - 0.0000 -
451.54/453.11 c 453 31120 1193 1 - 0.0000 -
456.52/458.18 c 458 31481 1231 1 - 0.0000 -
461.60/463.24 c 463 31863 1240 1 - 0.0000 -
466.58/468.29 c 468 32247 1247 1 - 0.0000 -
471.67/473.35 c 473 32619 1270 1 - 0.0000 -
476.75/478.41 c 478 32996 1306 1 - 0.0000 -
481.83/483.50 c 484 33356 1298 1 - 0.0000 -
486.81/488.56 c 489 33738 1301 1 - 0.0000 -
491.90/493.61 c 494 34140 1306 1 - 0.0000 -
496.88/498.67 c 499 34545 1263 1 - 0.0000 -
501.96/503.74 c 504 34948 1254 1 - 0.0000 -
506.95/508.79 c 509 35348 1250 1 - 0.0000 -
512.03/513.86 c 514 35719 1255 1 - 0.0000 -
517.11/518.91 c 519 36088 1256 1 - 0.0000 -
522.09/523.97 c 524 36474 1260 1 - 0.0000 -
527.18/529.05 c 529 36839 1262 1 - 0.0000 -
532.26/534.12 c 534 37221 1283 1 - 0.0000 -
537.25/539.18 c 539 37606 1313 1 - 0.0000 -
542.32/544.23 c 544 37983 1319 1 - 0.0000 -
547.41/549.33 c 549 38342 1327 1 - 0.0000 -
552.40/554.39 c 554 38715 1345 1 - 0.0000 -
557.48/559.45 c 559 39108 1349 1 - 0.0000 -
562.56/564.53 c 565 39504 1368 1 - 0.0000 -
567.64/569.60 c 570 39881 1383 1 - 0.0000 -
572.62/574.65 c 575 40249 1397 1 - 0.0000 -
577.71/579.72 c 580 40644 1401 1 - 0.0000 -
582.69/584.78 c 585 41040 1424 1 - 0.0000 -
587.77/589.85 c 590 41433 1427 1 - 0.0000 -
592.85/594.92 c 595 41823 1428 1 - 0.0000 -
597.84/599.97 c 600 42209 1437 1 - 0.0000 -
602.92/605.02 c 605 42603 1455 1 - 0.0000 -
607.91/610.08 c 610 42990 1448 1 - 0.0000 -
612.99/615.14 c 615 43387 1443 1 - 0.0000 -
618.07/620.20 c 620 43764 1426 1 - 0.0000 -
623.05/625.26 c 625 44148 1432 1 - 0.0000 -
628.13/630.31 c 630 44541 1440 1 - 0.0000 -
633.11/635.36 c 635 44922 1447 1 - 0.0000 -
638.20/640.41 c 640 45305 1453 1 - 0.0000 -
643.18/645.46 c 645 45681 1447 1 - 0.0000 -
648.26/650.54 c 651 46060 1470 1 - 0.0000 -
653.25/655.59 c 656 46455 1484 1 - 0.0000 -
658.33/660.66 c 661 46848 1486 1 - 0.0000 -
663.41/665.71 c 666 47244 1504 1 - 0.0000 -
668.39/670.77 c 671 47633 1512 1 - 0.0000 -
673.48/675.84 c 676 48035 1518 1 - 0.0000 -
678.56/680.90 c 681 48445 1517 1 - 0.0000 -
683.54/685.95 c 686 48799 1523 1 - 0.0000 -
688.62/691.01 c 691 49200 1526 1 - 0.0000 -
693.61/696.07 c 696 49597 1529 1 - 0.0000 -
698.69/701.13 c 701 50001 1539 1 - 0.0000 -
703.77/706.20 c 706 50381 1544 1 - 0.0000 -
708.75/711.26 c 711 50786 1542 1 - 0.0000 -
713.83/716.33 c 716 51188 1544 1 - 0.0000 -
718.81/721.39 c 721 51585 1540 1 - 0.0000 -
723.90/726.46 c 726 51997 1548 1 - 0.0000 -
728.98/731.51 c 732 52402 1536 1 - 0.0000 -
733.97/736.57 c 737 52793 1529 1 - 0.0000 -
739.04/741.62 c 742 53174 1534 1 - 0.0000 -
744.03/746.68 c 747 53562 1529 1 - 0.0000 -
749.11/751.73 c 752 53905 1535 1 - 0.0000 -
754.09/756.79 c 757 54303 1549 1 - 0.0000 -
759.18/761.86 c 762 54718 1550 1 - 0.0000 -
764.25/766.91 c 767 55117 1556 1 - 0.0000 -
769.24/771.97 c 772 55507 1545 1 - 0.0000 -
774.32/777.04 c 777 55911 1543 1 - 0.0000 -
779.40/782.10 c 782 56310 1548 1 - 0.0000 -
784.39/787.16 c 787 56704 1548 1 - 0.0000 -
789.47/792.22 c 792 57118 1525 1 - 0.0000 -
794.45/797.28 c 797 57532 1495 1 - 0.0000 -
799.53/802.33 c 802 57935 1499 1 - 0.0000 -
804.61/807.40 c 807 58344 1483 1 - 0.0000 -
809.59/812.47 c 812 58755 1471 1 - 0.0000 -
814.68/817.52 c 818 59156 1461 1 - 0.0000 -
819.65/822.58 c 823 59548 1463 1 - 0.0000 -
824.74/827.66 c 828 59940 1475 1 - 0.0000 -
829.82/832.71 c 833 60360 1478 1 - 0.0000 -
834.81/837.79 c 838 60774 1475 1 - 0.0000 -
839.89/842.85 c 843 61194 1473 1 - 0.0000 -
844.97/847.94 c 848 61600 1471 1 - 0.0000 -
850.05/853.00 c 853 62016 1492 1 - 0.0000 -
855.05/858.08 c 858 62437 1482 1 - 0.0000 -
860.13/863.13 c 863 62855 1487 1 - 0.0000 -
865.11/868.18 c 868 63257 1488 1 - 0.0000 -
870.19/873.23 c 873 63659 1495 1 - 0.0000 -
875.27/878.30 c 878 64071 1490 1 - 0.0000 -
880.25/883.37 c 883 64452 1489 1 - 0.0000 -
885.34/888.43 c 888 64842 1490 1 - 0.0000 -
890.33/893.49 c 893 65274 1496 1 - 0.0000 -
895.41/898.54 c 899 65694 1510 1 - 0.0000 -
900.50/903.61 c 904 66115 1523 1 - 0.0000 -
905.48/908.68 c 909 66481 1550 1 - 0.0000 -
910.57/913.74 c 914 66887 1556 1 - 0.0000 -
915.66/918.81 c 919 67285 1552 1 - 0.0000 -
920.65/923.86 c 924 67707 1557 1 - 0.0000 -
925.73/928.94 c 929 68117 1557 1 - 0.0000 -
930.82/934.00 c 934 68533 1579 1 - 0.0000 -
935.81/939.07 c 939 68918 1563 1 - 0.0000 -
940.89/944.12 c 944 69296 1570 1 - 0.0000 -
945.87/949.17 c 949 69695 1573 1 - 0.0000 -
950.95/954.25 c 954 70110 1572 1 - 0.0000 -
956.04/959.31 c 959 70522 1565 1 - 0.0000 -
961.03/964.37 c 964 70937 1554 1 - 0.0000 -
966.11/969.43 c 969 71351 1555 1 - 0.0000 -
971.19/974.50 c 974 71759 1549 1 - 0.0000 -
976.18/979.58 c 980 72167 1549 1 - 0.0000 -
981.26/984.64 c 985 72586 1543 1 - 0.0000 -
986.34/989.70 c 990 72990 1551 1 - 0.0000 -
991.32/994.76 c 995 73403 1558 1 - 0.0000 -
996.41/999.81 c 1000 73826 1566 1 - 0.0000 -
1001.39/1004.87 c 1005 74246 1578 1 - 0.0000 -
1006.47/1009.92 c 1010 74668 1573 1 - 0.0000 -
1011.46/1014.98 c 1015 75085 1577 1 - 0.0000 -
1016.54/1020.04 c 1020 75497 1581 1 - 0.0000 -
1021.52/1025.10 c 1025 75897 1580 1 - 0.0000 -
1026.62/1030.16 c 1030 76315 1573 1 - 0.0000 -
1031.70/1035.22 c 1035 76722 1576 1 - 0.0000 -
1036.68/1040.28 c 1040 77136 1580 1 - 0.0000 -
1041.76/1045.33 c 1045 77560 1568 1 - 0.0000 -
1046.75/1050.38 c 1050 77994 1574 1 - 0.0000 -
1051.83/1055.44 c 1055 78407 1604 1 - 0.0000 -
1056.82/1060.49 c 1060 78829 1584 1 - 0.0000 -
1061.91/1065.55 c 1066 79182 1606 1 - 0.0000 -
1067.00/1070.60 c 1071 79561 1616 1 - 0.0000 -
1071.98/1075.67 c 1076 79934 1631 1 - 0.0000 -
1077.07/1080.75 c 1081 80317 1630 1 - 0.0000 -
1082.15/1085.82 c 1086 80717 1630 1 - 0.0000 -
1087.14/1090.89 c 1091 81133 1624 1 - 0.0000 -
1092.23/1095.94 c 1096 81542 1630 1 - 0.0000 -
1097.32/1101.00 c 1101 81950 1627 1 - 0.0000 -
1102.30/1106.06 c 1106 82371 1628 1 - 0.0000 -
1107.39/1111.11 c 1111 82789 1635 1 - 0.0000 -
1112.37/1116.17 c 1116 83210 1644 1 - 0.0000 -
1117.46/1121.23 c 1121 83642 1643 1 - 0.0000 -
1122.44/1126.28 c 1126 84074 1634 1 - 0.0000 -
1127.53/1131.33 c 1131 84502 1641 1 - 0.0000 -
1132.61/1136.40 c 1136 84894 1636 1 - 0.0000 -
1137.60/1141.47 c 1141 85307 1636 1 - 0.0000 -
1142.69/1146.54 c 1147 85730 1595 1 - 0.0000 -
1147.77/1151.60 c 1152 86145 1603 1 - 0.0000 -
1152.75/1156.65 c 1157 86569 1603 1 - 0.0000 -
1157.84/1161.71 c 1162 87001 1602 1 - 0.0000 -
1162.83/1166.76 c 1167 87428 1603 1 - 0.0000 -
1167.91/1171.82 c 1172 87820 1612 1 - 0.0000 -
1172.90/1176.88 c 1177 88233 1627 1 - 0.0000 -
1177.99/1181.93 c 1182 88652 1621 1 - 0.0000 -
1182.97/1186.99 c 1187 89061 1614 1 - 0.0000 -
1188.06/1192.05 c 1192 89450 1617 1 - 0.0000 -
1193.15/1197.11 c 1197 89853 1605 1 - 0.0000 -
1198.14/1202.17 c 1202 90282 1604 1 - 0.0000 -
1203.21/1207.23 c 1207 90703 1601 1 - 0.0000 -
1208.20/1212.28 c 1212 91121 1595 1 - 0.0000 -
1213.28/1217.35 c 1217 91559 1602 1 - 0.0000 -
1218.37/1222.42 c 1222 91955 1619 1 - 0.0000 -
1223.36/1227.47 c 1227 92385 1618 1 - 0.0000 -
1228.44/1232.52 c 1233 92810 1601 1 - 0.0000 -
1233.43/1237.59 c 1238 93237 1592 1 - 0.0000 -
1238.52/1242.64 c 1243 93661 1573 1 - 0.0000 -
1243.60/1247.71 c 1248 94075 1568 1 - 0.0000 -
1248.59/1252.78 c 1253 94510 1572 1 - 0.0000 -
1253.67/1257.85 c 1258 94937 1573 1 - 0.0000 -
1258.75/1262.91 c 1263 95347 1571 1 - 0.0000 -
1263.74/1267.96 c 1268 95765 1577 1 - 0.0000 -
1268.83/1273.02 c 1273 96182 1565 1 - 0.0000 -
1273.82/1278.07 c 1278 96602 1547 1 - 0.0000 -
1278.90/1283.13 c 1283 97021 1547 1 - 0.0000 -
1283.98/1288.21 c 1288 97450 1566 1 - 0.0000 -
1288.97/1293.26 c 1293 97882 1573 1 - 0.0000 -
1294.05/1298.31 c 1298 98281 1586 1 - 0.0000 -
1299.04/1303.38 c 1303 98700 1585 1 - 0.0000 -
1304.13/1308.43 c 1308 99114 1591 1 - 0.0000 -
1309.11/1313.49 c 1313 99556 1605 1 - 0.0000 -
1314.19/1318.54 c 1319 99991 1597 1 - 0.0000 -
1319.18/1323.60 c 1324 100428 1598 1 - 0.0000 -
1324.27/1328.66 c 1329 100854 1620 1 - 0.0000 -
1329.35/1333.71 c 1334 101279 1630 1 - 0.0000 -
1334.34/1338.79 c 1339 101698 1640 1 - 0.0000 -
1339.43/1343.84 c 1344 102125 1629 1 - 0.0000 -
1344.41/1348.89 c 1349 102538 1620 1 - 0.0000 -
1349.49/1353.94 c 1354 102960 1624 1 - 0.0000 -
1354.59/1359.00 c 1359 103383 1621 1 - 0.0000 -
1359.57/1364.05 c 1364 103811 1625 1 - 0.0000 -
1364.65/1369.11 c 1369 104228 1623 1 - 0.0000 -
1369.64/1374.18 c 1374 104648 1623 1 - 0.0000 -
1374.72/1379.24 c 1379 105082 1628 1 - 0.0000 -
1379.81/1384.31 c 1384 105484 1624 1 - 0.0000 -
1384.80/1389.37 c 1389 105888 1628 1 - 0.0000 -
1389.88/1394.41 c 1394 106308 1636 1 - 0.0000 -
1394.86/1399.47 c 1399 106739 1633 1 - 0.0000 -
1399.95/1404.53 c 1405 107178 1631 1 - 0.0000 -
1404.93/1409.59 c 1410 107598 1637 1 - 0.0000 -
1410.02/1414.64 c 1415 108025 1638 1 - 0.0000 -
1415.01/1419.69 c 1420 108439 1634 1 - 0.0000 -
1420.09/1424.76 c 1425 108839 1640 1 - 0.0000 -
1425.18/1429.82 c 1430 109251 1637 1 - 0.0000 -
1430.17/1434.87 c 1435 109672 1636 1 - 0.0000 -
1435.25/1439.92 c 1440 110101 1631 1 - 0.0000 -
1440.24/1444.97 c 1445 110500 1629 1 - 0.0000 -
1445.32/1450.02 c 1450 110922 1624 1 - 0.0000 -
1450.31/1455.08 c 1455 111338 1628 1 - 0.0000 -
1455.40/1460.15 c 1460 111748 1635 1 - 0.0000 -
1460.48/1465.22 c 1465 112146 1640 1 - 0.0000 -
1465.46/1470.28 c 1470 112566 1648 1 - 0.0000 -
1470.55/1475.34 c 1475 112971 1664 1 - 0.0000 -
1475.54/1480.39 c 1480 113380 1661 1 - 0.0000 -
1480.62/1485.45 c 1485 113802 1665 1 - 0.0000 -
1485.71/1490.51 c 1491 114224 1668 1 - 0.0000 -
1490.70/1495.56 c 1496 114646 1679 1 - 0.0000 -
1495.78/1500.62 c 1501 115078 1680 1 - 0.0000 -
1500.77/1505.67 c 1506 115511 1677 1 - 0.0000 -
1505.85/1510.72 c 1511 115937 1677 1 - 0.0000 -
1510.84/1515.78 c 1516 116361 1683 1 - 0.0000 -
1515.92/1520.83 c 1521 116783 1687 1 - 0.0000 -
1520.91/1525.88 c 1526 117203 1702 1 - 0.0000 -
1525.99/1530.94 c 1531 117617 1704 1 - 0.0000 -
1530.99/1535.99 c 1536 118036 1711 1 - 0.0000 -
1536.07/1541.07 c 1541 118450 1730 1 - 0.0000 -
1541.16/1546.14 c 1546 118871 1735 1 - 0.0000 -
1546.24/1551.20 c 1551 119286 1752 1 - 0.0000 -
1551.22/1556.26 c 1556 119703 1761 1 - 0.0000 -
1556.31/1561.31 c 1561 120119 1763 1 - 0.0000 -
1561.29/1566.37 c 1566 120541 1770 1 - 0.0000 -
1566.38/1571.43 c 1571 120968 1783 1 - 0.0000 -
1571.37/1576.48 c 1576 121395 1779 1 - 0.0000 -
1576.45/1581.54 c 1582 121816 1784 1 - 0.0000 -
1581.54/1586.60 c 1587 122244 1784 1 - 0.0000 -
1586.52/1591.66 c 1592 122667 1783 1 - 0.0000 -
1591.62/1596.72 c 1597 123091 1793 1 - 0.0000 -
1596.60/1601.79 c 1602 123513 1807 1 - 0.0000 -
1601.68/1606.84 c 1607 123930 1816 1 - 0.0000 -
1606.67/1611.89 c 1612 124349 1823 1 - 0.0000 -
1611.75/1616.95 c 1617 124771 1827 1 - 0.0000 -
1616.84/1622.01 c 1622 125193 1838 1 - 0.0000 -
1621.83/1627.10 c 1627 125619 1840 1 - 0.0000 -
1626.91/1632.17 c 1632 126045 1846 1 - 0.0000 -
1631.99/1637.23 c 1637 126459 1852 1 - 0.0000 -
1636.97/1642.28 c 1642 126880 1854 1 - 0.0000 -
1642.07/1647.33 c 1647 127298 1868 1 - 0.0000 -
1647.05/1652.38 c 1652 127719 1875 1 - 0.0000 -
1652.14/1657.44 c 1657 128150 1882 1 - 0.0000 -
1657.22/1662.51 c 1663 128577 1879 1 - 0.0000 -
1662.20/1667.57 c 1668 129004 1888 1 - 0.0000 -
1667.29/1672.62 c 1673 129440 1891 1 - 0.0000 -
1672.28/1677.67 c 1678 129864 1891 1 - 0.0000 -
1677.37/1682.73 c 1683 130281 1896 1 - 0.0000 -
1682.45/1687.80 c 1688 130707 1904 1 - 0.0000 -
1687.43/1692.84 c 1693 131140 1900 1 - 0.0000 -
1692.52/1697.90 c 1698 131558 1897 1 - 0.0000 -
1697.51/1702.96 c 1703 131969 1895 1 - 0.0000 -
1702.60/1708.01 c 1708 132384 1891 1 - 0.0000 -
1707.58/1713.08 c 1713 132805 1891 1 - 0.0000 -
1712.67/1718.13 c 1718 133234 1885 1 - 0.0000 -
1717.65/1723.19 c 1723 133631 1896 1 - 0.0000 -
1722.73/1728.25 c 1728 134050 1899 1 - 0.0000 -
1727.82/1733.31 c 1733 134472 1895 1 - 0.0000 -
1732.81/1738.38 c 1738 134899 1896 1 - 0.0000 -
1737.89/1743.43 c 1743 135320 1901 1 - 0.0000 -
1742.88/1748.48 c 1748 135740 1902 1 - 0.0000 -
1747.97/1753.54 c 1754 136165 1901 1 - 0.0000 -
1752.95/1758.59 c 1759 136585 1898 1 - 0.0000 -
1758.04/1763.66 c 1764 136990 1902 1 - 0.0000 -
1763.12/1768.73 c 1769 137419 1905 1 - 0.0000 -
1768.21/1773.80 c 1774 137854 1903 1 - 0.0000 -
1773.19/1778.86 c 1779 138271 1905 1 - 0.0000 -
1778.28/1783.93 c 1784 138687 1910 1 - 0.0000 -
1783.27/1788.99 c 1789 139109 1916 1 - 0.0000 -
1788.36/1794.06 c 1794 139508 1913 1 - 0.0000 -
1793.44/1799.14 c 1799 139936 1914 1 - 0.0000 -
1798.52/1804.20 c 1804 140353 1913 1 - 0.0000 -
1803.51/1809.27 c 1809 140781 1919 1 - 0.0000 -
1808.60/1814.33 c 1814 141212 1942 1 - 0.0000 -
1813.58/1819.38 c 1819 141654 1938 1 - 0.0000 -
1818.66/1824.43 c 1824 142077 1948 1 - 0.0000 -
1823.75/1829.50 c 1830 142503 1939 1 - 0.0000 -
1828.74/1834.56 c 1835 142932 1940 1 - 0.0000 -
1833.82/1839.63 c 1840 143355 1945 1 - 0.0000 -
1838.81/1844.69 c 1845 143779 1937 1 - 0.0000 -
1843.89/1849.74 c 1850 144203 1941 1 - 0.0000 -
1848.97/1854.80 c 1855 144618 1940 1 - 0.0000 -
1853.96/1859.86 c 1860 145044 1933 1 - 0.0000 -
1859.04/1864.91 c 1865 145462 1927 1 - 0.0000 -
1864.03/1869.97 c 1870 145874 1927 1 - 0.0000 -
1869.12/1875.05 c 1875 146292 1920 1 - 0.0000 -
1874.21/1880.11 c 1880 146713 1913 1 - 0.0000 -
1879.19/1885.18 c 1885 147136 1911 1 - 0.0000 -
1884.27/1890.24 c 1890 147566 1910 1 - 0.0000 -
1889.35/1895.31 c 1895 147983 1915 1 - 0.0000 -
1894.34/1900.36 c 1900 148405 1910 1 - 0.0000 -
1899.43/1905.42 c 1905 148825 1872 1 - 0.0000 -
1904.41/1910.48 c 1910 149208 1865 1 - 0.0000 -
1909.49/1915.54 c 1916 149632 1860 1 - 0.0000 -
1914.58/1920.60 c 1921 150057 1857 1 - 0.0000 -
1919.56/1925.68 c 1926 150484 1866 1 - 0.0000 -
1924.65/1930.73 c 1931 150916 1871 1 - 0.0000 -
1929.74/1935.80 c 1936 151347 1866 1 - 0.0000 -
1934.72/1940.85 c 1941 151764 1871 1 - 0.0000 -
1939.80/1945.90 c 1946 152188 1874 1 - 0.0000 -
1944.79/1950.95 c 1951 152618 1881 1 - 0.0000 -
1949.88/1956.02 c 1956 153048 1881 1 - 0.0000 -
1954.87/1961.08 c 1961 153479 1880 1 - 0.0000 -
1959.95/1966.14 c 1966 153914 1892 1 - 0.0000 -
1964.93/1971.19 c 1971 154331 1889 1 - 0.0000 -
1970.02/1976.24 c 1976 154749 1891 1 - 0.0000 -
1975.10/1981.30 c 1981 155181 1889 1 - 0.0000 -
1980.09/1986.35 c 1986 155605 1890 1 - 0.0000 -
1985.17/1991.41 c 1991 156032 1886 1 - 0.0000 -
1990.15/1996.48 c 1996 156451 1887 1 - 0.0000 -
1995.25/2001.53 c 2002 156880 1886 1 - 0.0000 -
2000.23/2006.58 c 2007 157305 1887 1 - 0.0000 -
2005.31/2011.64 c 2012 157729 1879 1 - 0.0000 -
2010.40/2016.70 c 2017 158153 1869 1 - 0.0000 -
2015.39/2021.79 c 2022 158507 1852 1 - 0.0000 -
2020.68/2027.05 c 2027 158832 1867 1 - 0.0000 -
2025.66/2032.10 c 2032 159180 1877 1 - 0.0000 -
2030.75/2037.15 c 2037 159555 1888 1 - 0.0000 -
2035.83/2042.20 c 2042 159947 1890 1 - 0.0000 -
2040.81/2047.25 c 2047 160349 1896 1 - 0.0000 -
2045.90/2052.32 c 2052 160724 1898 1 - 0.0000 -
2050.88/2057.39 c 2057 161110 1892 1 - 0.0000 -
2055.96/2062.44 c 2062 161499 1891 1 - 0.0000 -
2061.06/2067.51 c 2068 161887 1896 1 - 0.0000 -
2066.04/2072.57 c 2073 162288 1899 1 - 0.0000 -
2071.22/2077.72 c 2078 162638 1898 1 - 0.0000 -
2076.21/2082.79 c 2083 162966 1910 1 - 0.0000 -
2081.29/2087.84 c 2088 163338 1912 1 - 0.0000 -
2086.39/2092.92 c 2093 163717 1913 1 - 0.0000 -
2091.37/2097.97 c 2098 164103 1921 1 - 0.0000 -
2096.46/2103.02 c 2103 164488 1917 1 - 0.0000 -
2101.44/2108.07 c 2108 164866 1915 1 - 0.0000 -
2106.53/2113.12 c 2113 165255 1915 1 - 0.0000 -
2111.51/2118.18 c 2118 165645 1921 1 - 0.0000 -
2116.60/2123.23 c 2123 166000 1943 1 - 0.0000 -
2121.58/2128.29 c 2128 166363 1955 1 - 0.0000 -
2126.67/2133.36 c 2133 166719 1959 1 - 0.0000 -
2131.75/2138.41 c 2138 167098 1960 1 - 0.0000 -
2136.73/2143.46 c 2143 167464 1968 1 - 0.0000 -
2141.82/2148.56 c 2149 167857 1969 1 - 0.0000 -
2146.91/2153.62 c 2154 168257 1976 1 - 0.0000 -
2151.89/2158.68 c 2159 168627 1977 1 - 0.0000 -
2156.98/2163.74 c 2164 168991 1983 1 - 0.0000 -
2162.07/2168.82 c 2169 169354 1996 1 - 0.0000 -
2167.05/2173.87 c 2174 169726 2006 1 - 0.0000 -
2172.13/2178.97 c 2179 170077 2020 1 - 0.0000 -
2177.23/2184.07 c 2184 170423 2024 1 - 0.0000 -
2182.31/2189.13 c 2189 170780 2024 1 - 0.0000 -
2187.29/2194.18 c 2194 171154 2024 1 - 0.0000 -
2192.37/2199.23 c 2199 171526 2057 1 - 0.0000 -
2197.36/2204.28 c 2204 171904 2077 1 - 0.0000 -
2202.45/2209.34 c 2209 172268 2085 1 - 0.0000 -
2207.43/2214.39 c 2214 172660 2082 1 - 0.0000 -
2212.52/2219.46 c 2219 173043 2086 1 - 0.0000 -
2217.60/2224.51 c 2225 173456 2099 1 - 0.0000 -
2222.59/2229.58 c 2230 173881 2110 1 - 0.0000 -
2227.67/2234.63 c 2235 174310 2111 1 - 0.0000 -
2232.66/2239.69 c 2240 174726 2119 1 - 0.0000 -
2237.74/2244.75 c 2245 175115 2130 1 - 0.0000 -
2242.82/2249.81 c 2250 175484 2123 1 - 0.0000 -
2247.81/2254.87 c 2255 175879 2117 1 - 0.0000 -
2252.90/2259.92 c 2260 176271 2112 1 - 0.0000 -
2257.88/2264.98 c 2265 176667 2119 1 - 0.0000 -
2262.97/2270.04 c 2270 177071 2119 1 - 0.0000 -
2267.95/2275.09 c 2275 177476 2119 1 - 0.0000 -
2273.05/2280.15 c 2280 177879 2118 1 - 0.0000 -
2278.12/2285.21 c 2285 178285 2115 1 - 0.0000 -
2283.11/2290.27 c 2290 178681 2118 1 - 0.0000 -
2288.19/2295.33 c 2295 179066 2118 1 - 0.0000 -
2293.27/2300.40 c 2300 179466 2119 1 - 0.0000 -
2298.27/2305.45 c 2305 179855 2128 1 - 0.0000 -
2303.35/2310.53 c 2311 180284 2124 1 - 0.0000 -
2308.33/2315.58 c 2316 180655 2151 1 - 0.0000 -
2313.42/2320.63 c 2321 181038 2166 1 - 0.0000 -
2318.50/2325.70 c 2326 181437 2166 1 - 0.0000 -
2323.48/2330.76 c 2331 181859 2171 1 - 0.0000 -
2328.57/2335.81 c 2336 182252 2172 1 - 0.0000 -
2333.56/2340.88 c 2341 182619 2191 1 - 0.0000 -
2338.64/2345.94 c 2346 183036 2188 1 - 0.0000 -
2343.73/2351.00 c 2351 183438 2188 1 - 0.0000 -
2348.72/2356.07 c 2356 183817 2195 1 - 0.0000 -
2353.80/2361.14 c 2361 184205 2199 1 - 0.0000 -
2358.88/2366.22 c 2366 184604 2198 1 - 0.0000 -
2363.86/2371.27 c 2371 185017 2190 1 - 0.0000 -
2368.94/2376.34 c 2376 185438 2187 1 - 0.0000 -
2374.03/2381.40 c 2381 185844 2195 1 - 0.0000 -
2379.12/2386.50 c 2386 186260 2197 1 - 0.0000 -
2384.10/2391.56 c 2392 186615 2199 1 - 0.0000 -
2389.18/2396.62 c 2397 187014 2202 1 - 0.0000 -
2394.18/2401.69 c 2402 187407 2201 1 - 0.0000 -
2399.26/2406.75 c 2407 187814 2202 1 - 0.0000 -
2404.34/2411.80 c 2412 188211 2212 1 - 0.0000 -
2409.33/2416.85 c 2417 188640 2211 1 - 0.0000 -
2414.41/2421.90 c 2422 189050 2214 1 - 0.0000 -
2419.39/2426.97 c 2427 189452 2204 1 - 0.0000 -
2424.49/2432.04 c 2432 189838 2192 1 - 0.0000 -
2429.47/2437.09 c 2437 190232 2192 1 - 0.0000 -
2434.56/2442.15 c 2442 190624 2190 1 - 0.0000 -
2439.63/2447.22 c 2447 191037 2190 1 - 0.0000 -
2444.63/2452.27 c 2452 191441 2189 1 - 0.0000 -
2449.71/2457.32 c 2457 191835 2188 1 - 0.0000 -
2454.69/2462.38 c 2462 192246 2192 1 - 0.0000 -
2459.78/2467.43 c 2467 192649 2193 1 - 0.0000 -
2464.76/2472.48 c 2472 193032 2198 1 - 0.0000 -
2469.85/2477.55 c 2478 193432 2203 1 - 0.0000 -
2474.93/2482.61 c 2483 193846 2201 1 - 0.0000 -
2479.92/2487.69 c 2488 194260 2220 1 - 0.0000 -
2485.00/2492.76 c 2493 194678 2222 1 - 0.0000 -
2490.09/2497.82 c 2498 195074 2223 1 - 0.0000 -
2495.07/2502.88 c 2503 195492 2225 1 - 0.0000 -
2500.16/2507.93 c 2508 195906 2227 1 - 0.0000 -
2505.25/2513.01 c 2513 196302 2227 1 - 0.0000 -
2510.24/2518.07 c 2518 196713 2226 1 - 0.0000 -
2515.33/2523.12 c 2523 197130 2225 1 - 0.0000 -
2520.31/2528.17 c 2528 197534 2229 1 - 0.0000 -
2525.39/2533.23 c 2533 197925 2235 1 - 0.0000 -
2530.48/2538.30 c 2538 198336 2233 1 - 0.0000 -
2535.46/2543.35 c 2543 198735 2245 1 - 0.0000 -
2540.54/2548.40 c 2548 199144 2248 1 - 0.0000 -
2545.53/2553.45 c 2553 199580 2252 1 - 0.0000 -
2550.62/2558.51 c 2559 200004 2262 1 - 0.0000 -
2555.60/2563.58 c 2564 200440 2256 1 - 0.0000 -
2560.69/2568.64 c 2569 200869 2251 1 - 0.0000 -
2565.67/2573.69 c 2574 201280 2249 1 - 0.0000 -
2570.75/2578.74 c 2579 201686 2251 1 - 0.0000 -
2575.75/2583.79 c 2584 202074 2253 1 - 0.0000 -
2580.83/2588.86 c 2589 202481 2256 1 - 0.0000 -
2585.91/2593.91 c 2594 202889 2263 1 - 0.0000 -
2590.90/2598.96 c 2599 203310 2268 1 - 0.0000 -
2595.99/2604.03 c 2604 203718 2269 1 - 0.0000 -
2600.97/2609.09 c 2609 204131 2268 1 - 0.0000 -
2606.05/2614.14 c 2614 204553 2266 1 - 0.0000 -
2611.04/2619.19 c 2619 204952 2268 1 - 0.0000 -
2616.12/2624.24 c 2624 205383 2269 1 - 0.0000 -
2621.20/2629.30 c 2629 205788 2272 1 - 0.0000 -
2626.20/2634.35 c 2634 206188 2273 1 - 0.0000 -
2631.28/2639.41 c 2639 206589 2278 1 - 0.0000 -
2636.26/2644.48 c 2644 207008 2279 1 - 0.0000 -
2641.35/2649.54 c 2650 207426 2275 1 - 0.0000 -
2646.43/2654.60 c 2655 207843 2279 1 - 0.0000 -
2651.42/2659.67 c 2660 208248 2279 1 - 0.0000 -
2656.50/2664.72 c 2665 208644 2270 1 - 0.0000 -
2661.49/2669.77 c 2670 209054 2272 1 - 0.0000 -
2666.57/2674.82 c 2675 209481 2263 1 - 0.0000 -
2671.56/2679.88 c 2680 209905 2264 1 - 0.0000 -
2676.65/2684.93 c 2685 210309 2260 1 - 0.0000 -
2681.63/2689.98 c 2690 210731 2257 1 - 0.0000 -
2686.72/2695.03 c 2695 211135 2257 1 - 0.0000 -
2691.70/2700.09 c 2700 211553 2256 1 - 0.0000 -
2696.78/2705.14 c 2705 211964 2248 1 - 0.0000 -
2701.77/2710.19 c 2710 212376 2244 1 - 0.0000 -
2706.85/2715.26 c 2715 212805 2249 1 - 0.0000 -
2711.93/2720.31 c 2720 213237 2246 1 - 0.0000 -
2716.92/2725.37 c 2725 213661 2239 1 - 0.0000 -
2722.01/2730.43 c 2730 214080 2243 1 - 0.0000 -
2726.99/2735.47 c 2735 214503 2243 1 - 0.0000 -
2732.08/2740.56 c 2741 214915 2241 1 - 0.0000 -
2737.16/2745.62 c 2746 215340 2234 1 - 0.0000 -
2742.14/2750.67 c 2751 215746 2232 1 - 0.0000 -
2747.24/2755.72 c 2756 216152 2234 1 - 0.0000 -
2752.22/2760.78 c 2761 216567 2234 1 - 0.0000 -
2757.30/2765.87 c 2766 216991 2236 1 - 0.0000 -
2762.38/2770.92 c 2771 217419 2237 1 - 0.0000 -
2767.38/2775.98 c 2776 217837 2233 1 - 0.0000 -
2772.46/2781.04 c 2781 218239 2237 1 - 0.0000 -
2777.55/2786.11 c 2786 218570 2249 1 - 0.0000 -
2782.53/2791.17 c 2791 218908 2269 1 - 0.0000 -
2787.62/2796.24 c 2796 219243 2302 1 - 0.0000 -
2792.70/2801.31 c 2801 219620 2312 1 - 0.0000 -
2797.68/2806.39 c 2806 220002 2320 1 - 0.0000 -
2802.76/2811.45 c 2811 220330 2342 1 - 0.0000 -
2807.85/2816.55 c 2817 220663 2373 1 - 0.0000 -
2812.94/2821.63 c 2822 221026 2392 1 - 0.0000 -
2817.93/2826.68 c 2827 221389 2405 1 - 0.0000 -
2823.01/2831.77 c 2832 221748 2414 1 - 0.0000 -
2828.19/2836.95 c 2837 222112 2418 1 - 0.0000 -
2833.28/2842.02 c 2842 222502 2424 1 - 0.0000 -
2838.36/2847.14 c 2847 222867 2433 1 - 0.0000 -
2843.45/2852.25 c 2852 223243 2437 1 - 0.0000 -
2848.54/2857.32 c 2857 223616 2442 1 - 0.0000 -
2853.52/2862.39 c 2862 223977 2443 1 - 0.0000 -
2858.61/2867.45 c 2867 224371 2440 1 - 0.0000 -
2863.69/2872.50 c 2872 224760 2437 1 - 0.0000 -
2868.67/2877.55 c 2878 225150 2435 1 - 0.0000 -
2873.76/2882.62 c 2883 225544 2439 1 - 0.0000 -
2878.75/2887.69 c 2888 225941 2450 1 - 0.0000 -
2883.83/2892.77 c 2893 226359 2450 1 - 0.0000 -
2888.91/2897.83 c 2898 226750 2457 1 - 0.0000 -
2893.90/2902.89 c 2903 227145 2465 1 - 0.0000 -
2898.99/2907.95 c 2908 227543 2473 1 - 0.0000 -
2904.07/2913.00 c 2913 227947 2477 1 - 0.0000 -
2909.06/2918.05 c 2918 228352 2482 1 - 0.0000 -
2914.14/2923.10 c 2923 228757 2483 1 - 0.0000 -
2919.14/2928.16 c 2928 229159 2475 1 - 0.0000 -
2924.21/2933.22 c 2933 229562 2474 1 - 0.0000 -
2929.19/2938.28 c 2938 229971 2485 1 - 0.0000 -
2934.28/2943.33 c 2943 230397 2489 1 - 0.0000 -
2939.27/2948.39 c 2948 230807 2484 1 - 0.0000 -
2944.36/2953.44 c 2953 231196 2485 1 - 0.0000 -
2949.44/2958.51 c 2959 231592 2493 1 - 0.0000 -
2954.42/2963.57 c 2964 231985 2496 1 - 0.0000 -
2959.51/2968.64 c 2969 232387 2504 1 - 0.0000 -
2964.59/2973.71 c 2974 232785 2510 1 - 0.0000 -
2969.57/2978.76 c 2979 233156 2533 1 - 0.0000 -
2974.66/2983.84 c 2984 233544 2536 1 - 0.0000 -
2979.65/2988.89 c 2989 233951 2536 1 - 0.0000 -
2984.74/2993.94 c 2994 234367 2538 1 - 0.0000 -
2989.72/2998.99 c 2999 234792 2543 1 - 0.0000 -
2994.81/3004.07 c 3004 235178 2552 1 - 0.0000 -
2999.89/3009.13 c 3009 235595 2553 1 - 0.0000 -
3004.88/3014.18 c 3014 236007 2563 1 - 0.0000 -
3009.96/3019.24 c 3019 236434 2562 1 - 0.0000 -
3014.95/3024.29 c 3024 236858 2540 1 - 0.0000 -
3020.03/3029.35 c 3029 237262 2531 1 - 0.0000 -
3025.11/3034.43 c 3034 237676 2509 1 - 0.0000 -
3030.10/3039.49 c 3039 238083 2511 1 - 0.0000 -
3035.39/3044.77 c 3045 238470 2542 1 - 0.0000 -
3040.47/3049.82 c 3050 238835 2572 1 - 0.0000 -
3045.46/3054.90 c 3055 239198 2591 1 - 0.0000 -
3050.54/3059.96 c 3060 239555 2597 1 - 0.0000 -
3055.63/3065.01 c 3065 239925 2611 1 - 0.0000 -
3060.61/3070.07 c 3070 240324 2614 1 - 0.0000 -
3065.70/3075.15 c 3075 240659 2629 1 - 0.0000 -
3070.78/3080.23 c 3080 240999 2638 1 - 0.0000 -
3075.77/3085.29 c 3085 241367 2659 1 - 0.0000 -
3080.85/3090.37 c 3090 241711 2680 1 - 0.0000 -
3085.93/3095.46 c 3095 242052 2694 1 - 0.0000 -
3091.02/3100.52 c 3101 242412 2705 1 - 0.0000 -
3096.01/3105.59 c 3106 242776 2767 1 - 0.0000 -
3101.09/3110.66 c 3111 243144 2755 1 - 0.0000 -
3106.18/3115.73 c 3116 243537 2766 1 - 0.0000 -
3111.17/3120.78 c 3121 243943 2817 1 - 0.0000 -
3116.25/3125.83 c 3126 244331 2808 1 - 0.0000 -
3121.44/3131.05 c 3131 244647 2843 1 - 0.0000 -
3126.52/3136.12 c 3136 245011 2855 1 - 0.0000 -
3131.61/3141.21 c 3141 245392 2912 1 - 0.0000 -
3136.59/3146.28 c 3146 245725 2958 1 - 0.0000 -
3141.67/3151.35 c 3151 246086 2984 1 - 0.0000 -
3146.76/3156.42 c 3156 246447 2997 1 - 0.0000 -
3151.84/3161.50 c 3162 246789 3025 1 - 0.0000 -
3156.83/3166.56 c 3167 247145 3039 1 - 0.0000 -
3161.92/3171.62 c 3172 247538 3037 1 - 0.0000 -
3166.90/3176.68 c 3177 247915 3056 1 - 0.0000 -
3171.99/3181.74 c 3182 248256 3067 1 - 0.0000 -
3177.07/3186.81 c 3187 248626 3085 1 - 0.0000 -
3182.05/3191.86 c 3192 248981 3117 1 - 0.0000 -
3187.14/3196.92 c 3197 249325 3131 1 - 0.0000 -
3192.23/3202.00 c 3202 249713 3149 1 - 0.0000 -
3197.22/3207.06 c 3207 250077 3161 1 - 0.0000 -
3202.30/3212.13 c 3212 250451 3169 1 - 0.0000 -
3207.38/3217.22 c 3217 250828 3232 1 - 0.0000 -
3212.37/3222.28 c 3222 251197 3265 1 - 0.0000 -
3217.45/3227.36 c 3227 251565 3283 1 - 0.0000 -
3222.53/3232.48 c 3232 251893 3324 1 - 0.0000 -
3227.62/3237.57 c 3238 252286 3347 1 - 0.0000 -
3232.70/3242.62 c 3243 252642 3378 1 - 0.0000 -
3237.69/3247.69 c 3248 253021 3422 1 - 0.0000 -
3242.78/3252.76 c 3253 253406 3436 1 - 0.0000 -
3247.86/3257.83 c 3258 253770 3454 1 - 0.0000 -
3252.84/3262.89 c 3263 254141 3465 1 - 0.0000 -
3257.93/3267.95 c 3268 254522 3472 1 - 0.0000 -
3263.01/3273.05 c 3273 254892 3484 1 - 0.0000 -
3268.11/3278.12 c 3278 255261 3497 1 - 0.0000 -
3273.09/3283.17 c 3283 255616 3504 1 - 0.0000 -
3278.17/3288.23 c 3288 255992 3527 1 - 0.0000 -
3283.15/3293.29 c 3293 256363 3528 1 - 0.0000 -
3288.24/3298.36 c 3298 256733 3536 1 - 0.0000 -
3293.33/3303.42 c 3303 257115 3544 1 - 0.0000 -
3298.41/3308.50 c 3308 257499 3540 1 - 0.0000 -
3303.50/3313.61 c 3314 257876 3547 1 - 0.0000 -
3308.48/3318.66 c 3319 258274 3582 1 - 0.0000 -
3313.57/3323.72 c 3324 258685 3576 1 - 0.0000 -
3318.55/3328.77 c 3329 259096 3597 1 - 0.0000 -
3323.63/3333.83 c 3334 259478 3611 1 - 0.0000 -
3328.73/3338.90 c 3339 259880 3618 1 - 0.0000 -
3333.71/3343.98 c 3344 260289 3632 1 - 0.0000 -
3338.79/3349.05 c 3349 260683 3623 1 - 0.0000 -
3343.87/3354.12 c 3354 261062 3628 1 - 0.0000 -
3348.86/3359.17 c 3359 261428 3631 1 - 0.0000 -
3353.94/3364.22 c 3364 261823 3655 1 - 0.0000 -
3358.93/3369.28 c 3369 262231 3659 1 - 0.0000 -
3364.01/3374.34 c 3374 262624 3662 1 - 0.0000 -
3369.10/3379.40 c 3379 263012 3638 1 - 0.0000 -
3374.08/3384.46 c 3384 263394 3648 1 - 0.0000 -
3379.17/3389.52 c 3390 263762 3657 1 - 0.0000 -
3384.15/3394.58 c 3395 264148 3668 1 - 0.0000 -
3389.24/3399.63 c 3400 264546 3679 1 - 0.0000 -
3394.22/3404.69 c 3405 264959 3682 1 - 0.0000 -
3399.31/3409.74 c 3410 265369 3714 1 - 0.0000 -
3404.29/3414.79 c 3415 265781 3718 1 - 0.0000 -
3409.37/3419.86 c 3420 266163 3728 1 - 0.0000 -
3414.46/3424.97 c 3425 266523 3743 1 - 0.0000 -
3419.55/3430.02 c 3430 266888 3749 1 - 0.0000 -
3424.54/3435.08 c 3435 267297 3754 1 - 0.0000 -
3429.82/3440.36 c 3440 267677 3773 1 - 0.0000 -
3434.90/3445.41 c 3445 268048 3786 1 - 0.0000 -
3439.88/3450.47 c 3450 268446 3792 1 - 0.0000 -
3444.98/3455.55 c 3456 268801 3803 1 - 0.0000 -
3450.06/3460.60 c 3461 269205 3802 1 - 0.0000 -
3455.05/3465.66 c 3466 269612 3805 1 - 0.0000 -
3460.13/3470.71 c 3471 269975 3830 1 - 0.0000 -
3465.11/3475.76 c 3476 270374 3915 1 - 0.0000 -
3470.20/3480.81 c 3481 270778 3914 1 - 0.0000 -
3475.18/3485.88 c 3486 271171 3913 1 - 0.0000 -
3480.27/3490.94 c 3491 271555 3916 1 - 0.0000 -
3485.36/3496.02 c 3496 271929 3924 1 - 0.0000 -
3490.35/3501.08 c 3501 272323 3943 1 - 0.0000 -
3495.43/3506.13 c 3506 272721 3943 1 - 0.0000 -
3500.41/3511.18 c 3511 273126 3950 1 - 0.0000 -
3505.49/3516.25 c 3516 273525 3961 1 - 0.0000 -
3510.58/3521.32 c 3521 273907 3964 1 - 0.0000 -
3515.56/3526.38 c 3526 274304 3992 1 - 0.0000 -
3520.65/3531.45 c 3531 274723 4014 1 - 0.0000 -
3525.74/3536.51 c 3537 275147 4033 1 - 0.0000 -
3530.72/3541.56 c 3542 275561 4037 1 - 0.0000 -
3535.80/3546.61 c 3547 275943 4043 1 - 0.0000 -
3540.79/3551.67 c 3552 276331 4046 1 - 0.0000 -
3545.87/3556.72 c 3557 276722 4047 1 - 0.0000 -
3550.96/3561.80 c 3562 277097 4080 1 - 0.0000 -
3555.94/3566.86 c 3567 277497 4104 1 - 0.0000 -
3561.02/3571.97 c 3572 277862 4142 1 - 0.0000 -
3566.12/3577.03 c 3577 278260 4158 1 - 0.0000 -
3571.10/3582.09 c 3582 278653 4193 1 - 0.0000 -
3576.19/3587.14 c 3587 279041 4218 1 - 0.0000 -
3581.26/3592.20 c 3592 279462 4217 1 - 0.0000 -
3586.25/3597.26 c 3597 279865 4232 1 - 0.0000 -
3587.15/3598.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.15/3598.19 c Total Time : 3598.1800
3587.15/3598.19 c solving : 3598.1800
3587.15/3598.19 c presolving : 1.9259 (included in solving)
3587.15/3598.19 c B&B Tree :
3587.15/3598.19 c nodes (total) : 1
3587.15/3598.19 c Solution :
3587.15/3598.19 c Solutions found : 0
3587.15/3598.19 c Primal Bound : -
3587.15/3598.19 c Dual Bound : +0.00000000000000e+00
3587.15/3598.19 c Gap : -
3587.25/3598.24 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62679 MiB free)
memory of node 1: 64473 MiB (63815 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464405-1722378603/watcher-4464405-1722378603 -o /tmp/evaluation-result-4464405-1722378603/solver-4464405-1722378603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27469 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464405-1722378603.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28196, runsolver pid=28193
[startup+0.100307 s]*
/proc/loadavg: 0.43 0.26 0.19 5/262 28207
/proc/meminfo: memFree=129456716/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=65368 memory=54728 CPUtime=0.09 cores=4,6
/proc/28196/stat : 28196 (fscip) R 28193 28196 27458 0 -1 4194304 11750 0 0 0 7 2 0 0 20 0 1 0 4461366 66936832 13682 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 16342 13682 2539 3035 0 12738 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65368 KiB
Current children cumulated memory: 54728 KiB
[startup+0.206291 s]*
/proc/loadavg: 0.43 0.26 0.19 5/262 28207
/proc/meminfo: memFree=129373520/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=109868 memory=97980 CPUtime=0.19 cores=4,6
/proc/28196/stat : 28196 (fscip) R 28193 28196 27458 0 -1 4194304 22549 0 0 0 16 3 0 0 20 0 1 0 4461366 112504832 24495 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 27467 24495 2598 3035 0 23863 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109868 KiB
Current children cumulated memory: 97980 KiB
[startup+0.305441 s]*
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129284640/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=147892 memory=136016 CPUtime=0.29 cores=4,6
/proc/28196/stat : 28196 (fscip) R 28193 28196 27458 0 -1 4194304 33299 0 0 0 25 4 0 0 20 0 1 0 4461366 151441408 34004 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 36973 34004 2662 3035 0 33369 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 147892 KiB
Current children cumulated memory: 136016 KiB
[startup+0.700253 s]
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129280264/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=131756 memory=120260 CPUtime=0.68 cores=4,6
/proc/28196/stat : 28196 (fscip) R 28193 28196 27458 0 -1 4194304 41568 0 0 0 62 6 0 0 20 0 1 0 4461366 134918144 30065 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 32939 30065 2742 3035 0 29335 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 131756 KiB
Current children cumulated memory: 120260 KiB
[startup+1.50019 s]
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129244300/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=170656 memory=145864 CPUtime=1.48 cores=4,6
/proc/28196/stat : 28196 (fscip) R 28193 28196 27458 0 -1 4194304 47459 0 0 0 141 7 0 0 20 0 1 0 4461366 174751744 36466 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 42664 36466 2758 3035 0 39060 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 170656 KiB
Current children cumulated memory: 145864 KiB
[startup+3.10572 s]
/proc/loadavg: 0.72 0.32 0.21 5/266 28211
/proc/meminfo: memFree=128940804/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=325236 memory=288628 CPUtime=3.08 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 88643 0 0 0 295 13 0 0 20 0 3 0 4461366 333041664 72157 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 81309 72157 2774 3035 0 76826 0
[pid=28196/tid=28208] ppid=28193 vsize=325236 memory=288628 CPUtime=0.92 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 30303 0 0 0 88 4 0 0 20 0 3 0 4461575 333041664 72157 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=325236 memory=0 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461589 333041664 72157 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 325236 KiB
Current children cumulated memory: 288628 KiB
[startup+6.30023 s]
/proc/loadavg: 1.06 0.40 0.23 5/266 28213
/proc/meminfo: memFree=128743820/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=456308 memory=369640 CPUtime=6.26 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 127218 0 0 0 609 17 0 0 20 0 3 0 4461366 467259392 92410 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 114077 92410 2950 3035 0 102680 0
[pid=28196/tid=28208] ppid=28193 vsize=456308 memory=215637976079 CPUtime=4.11 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 68869 0 0 0 403 8 0 0 20 0 3 0 4461575 467259392 92410 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=456308 memory=145864 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4461589 467259392 92410 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 456308 KiB
Current children cumulated memory: 369640 KiB
[startup+12.7003 s]
/proc/loadavg: 1.30 0.46 0.25 5/266 28213
/proc/meminfo: memFree=128688452/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=588244 memory=462188 CPUtime=12.64 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 201475 0 0 0 1241 23 0 0 20 0 3 0 4461366 602361856 115547 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 147061 115547 2950 3035 0 136010 0
[pid=28196/tid=28208] ppid=28193 vsize=588244 memory=215637976079 CPUtime=10.49 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 143119 0 0 0 1034 15 0 0 20 0 3 0 4461575 602361856 115547 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=588244 memory=2216 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4461589 602361856 115547 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 588244 KiB
Current children cumulated memory: 462188 KiB
[startup+25.5003 s]
/proc/loadavg: 1.71 0.58 0.30 5/267 28272
/proc/meminfo: memFree=128474320/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=653780 memory=493212 CPUtime=25.41 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 272084 0 0 0 2514 27 0 0 20 0 3 0 4461366 669470720 123303 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 163445 123303 2998 3035 0 143540 0
[pid=28196/tid=28208] ppid=28193 vsize=653780 memory=-7594314187750335351 CPUtime=23.25 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 213654 0 0 0 2307 18 0 0 20 0 3 0 4461575 669470720 123303 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=653780 memory=0 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4461589 669470720 123303 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 653780 KiB
Current children cumulated memory: 493212 KiB
[startup+51.1056 s]
/proc/loadavg: 2.61 0.91 0.41 5/267 28278
/proc/meminfo: memFree=128396232/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=653780 memory=493356 CPUtime=50.91 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 354004 0 0 0 5057 34 0 0 20 0 3 0 4461366 669470720 123339 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 163445 123339 2998 3035 0 146099 0
[pid=28196/tid=28208] ppid=28193 vsize=653780 memory=-5155632375419661445 CPUtime=48.76 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 295521 0 0 0 4851 25 0 0 20 0 3 0 4461575 669470720 123339 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=653780 memory=2216 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4461589 669470720 123339 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 653780 KiB
Current children cumulated memory: 493356 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.42 0.62 5/266 28287
/proc/meminfo: memFree=128383508/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=653780 memory=493428 CPUtime=101.92 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 428933 0 0 0 10149 43 0 0 20 0 3 0 4461366 669470720 123357 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 163445 123357 2998 3035 0 148916 0
[pid=28196/tid=28208] ppid=28193 vsize=653780 memory=493428 CPUtime=99.76 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 370381 0 0 0 9942 34 0 0 20 0 3 0 4461575 669470720 123357 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=653780 memory=493388 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4461589 669470720 123357 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 653780 KiB
Current children cumulated memory: 493428 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.90 0.84 6/266 28298
/proc/meminfo: memFree=128285196/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=653780 memory=529516 CPUtime=161.71 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 501562 0 0 0 16117 54 0 0 20 0 3 0 4461366 669470720 132379 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 163445 132379 2998 3035 0 159411 0
[pid=28196/tid=28208] ppid=28193 vsize=653780 memory=1944 CPUtime=159.54 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 442958 0 0 0 15909 45 0 0 20 0 3 0 4461575 669470720 132379 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=653780 memory=529516 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4461589 669470720 132379 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 653780 KiB
Current children cumulated memory: 529516 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.35 1.06 5/266 28309
/proc/meminfo: memFree=128189088/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=719316 memory=553344 CPUtime=221.5 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 553048 0 0 0 22088 62 0 0 20 0 3 0 4461366 736579584 138336 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 179829 138336 2998 3035 0 165865 0
[pid=28196/tid=28208] ppid=28193 vsize=719316 memory=553344 CPUtime=219.33 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 494417 0 0 0 21880 53 0 0 20 0 3 0 4461575 736579584 138336 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=719316 memory=11532 CPUtime=0 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4461589 736579584 138336 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 719316 KiB
Current children cumulated memory: 553344 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 2.68 1.25 6/266 28320
/proc/meminfo: memFree=128111572/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=719316 memory=553372 CPUtime=281.29 cores=4,6
################
# More data... #
################
[pid=28196] ppid=28193 vsize=795312 memory=687832 CPUtime=3391.93 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 978516 0 0 0 338934 259 0 0 20 0 3 0 4461366 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171958 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=687832 CPUtime=3389.52 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 918890 0 0 0 338709 243 0 0 20 0 3 0 4461575 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=687832 CPUtime=0.03 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 147 0 0 0 1 2 0 0 20 0 3 0 4461589 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3391.93 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.06 5/264 29872
/proc/meminfo: memFree=127352976/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687832 CPUtime=3451.75 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 980073 0 0 0 344913 262 0 0 20 0 3 0 4461366 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171958 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=687832 CPUtime=3449.34 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 920425 0 0 0 344688 246 0 0 20 0 3 0 4461575 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=687832 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687832 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.05 5/265 30051
/proc/meminfo: memFree=127351588/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687832 CPUtime=3511.58 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 981731 0 0 0 350892 266 0 0 20 0 3 0 4461366 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171958 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=687832 CPUtime=3509.15 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 922066 0 0 0 350666 249 0 0 20 0 3 0 4461575 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=12744 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 151 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171958 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.05 5/265 30062
/proc/meminfo: memFree=127351244/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687964 CPUtime=3571.4 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 984599 0 0 0 356871 269 0 0 20 0 3 0 4461366 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171991 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=687964 CPUtime=3568.97 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 924917 0 0 0 356645 252 0 0 20 0 3 0 4461575 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=687964 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687964 KiB
[startup+3598.25 s]
# the end of solver process 28196 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.59 s, system=2.71922 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.10 4.05 5/265 30062
/proc/meminfo: memFree=127351252/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687964 CPUtime=3573.1 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 984616 0 0 0 357041 269 0 0 20 0 3 0 4461366 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171991 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=-7522256593712407424 CPUtime=3570.67 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 924934 0 0 0 356815 252 0 0 20 0 3 0 4461575 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=4425512983082987169 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687964 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349344/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687964 CPUtime=3579.47 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 984776 0 0 0 357678 269 0 0 20 0 3 0 4461366 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171991 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=-7594314187750335351 CPUtime=3577.04 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 925080 0 0 0 357452 252 0 0 20 0 3 0 4461575 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=4920 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3579.47 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687964 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349328/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687964 CPUtime=3582.66 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 984789 0 0 0 357996 270 0 0 20 0 3 0 4461366 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171991 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=687964 CPUtime=3580.24 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 925093 0 0 0 357771 253 0 0 20 0 3 0 4461575 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=1944 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3582.66 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687964 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.05 6/263 30253
/proc/meminfo: memFree=128103308/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687964 CPUtime=3585.85 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 984824 0 0 0 358315 270 0 0 20 0 3 0 4461366 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171991 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=5420 CPUtime=3583.42 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 925128 0 0 0 358089 253 0 0 20 0 3 0 4461575 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=687964 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687964 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.12 4.05 5/263 30253
/proc/meminfo: memFree=128103076/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687964 CPUtime=3586.65 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 984824 0 0 0 358395 270 0 0 20 0 3 0 4461366 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171991 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=12744 CPUtime=3584.22 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 925128 0 0 0 358169 253 0 0 20 0 3 0 4461575 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=12816 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687964 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.12 4.05 5/263 30253
/proc/meminfo: memFree=128103036/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=795312 memory=687964 CPUtime=3587.05 cores=4,6
/proc/28196/stat : 28196 (fscip) S 28193 28196 27458 0 -1 1077936128 984824 0 0 0 358435 270 0 0 20 0 3 0 4461366 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 198828 171991 2998 3035 0 191860 0
[pid=28196/tid=28208] ppid=28193 vsize=795312 memory=-5155629098343361413 CPUtime=3584.63 cores=4,6
/proc/28196/task/28208/stat : 28208 (fscip) R 28193 28196 27458 0 -1 4194368 925128 0 0 0 358210 253 0 0 20 0 3 0 4461575 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
[pid=28196/tid=28209] ppid=28193 vsize=795312 memory=2668 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 4461589 814399488 171991 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 795312 KiB
Current children cumulated memory: 687964 KiB
[startup+3598.21 s]
/proc/loadavg: 4.12 4.12 4.05 5/263 30253
/proc/meminfo: memFree=128103036/131524600 swapFree=131063756/131071996
[pid=28196] ppid=28193 vsize=706724 memory=627760 CPUtime=3587.25 cores=4,6
/proc/28196/stat : 28196 (fscip) R 28193 28196 27458 0 -1 4194304 989276 0 0 0 358455 270 0 0 20 0 2 0 4461366 723685376 156940 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
/proc/28196/statm: 176681 156940 2998 3035 0 172684 0
[pid=28196/tid=28209] ppid=28193 vsize=706724 memory=-7594314187750335351 CPUtime=0.04 cores=4,6
/proc/28196/task/28209/stat : 28209 (fscip) S 28193 28196 27458 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 2 0 4461589 723685376 156940 134679101440 4194304 16623229 140731519890416 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 42803200 140731519898646 140731519898762 140731519898762 140731519905776 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 706724 KiB
Current children cumulated memory: 627760 KiB
Child status: 0
Real time (s): 3598.25
CPU time (s): 3587.31
CPU user time (s): 3584.59
CPU system time (s): 2.71922
CPU usage (%): 99.6959
Max. virtual memory (cumulated for all children) (KiB): 795312
Max. memory (cumulated for all children) (KiB): 704116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.59
system time used= 2.71922
maximum resident set size= 704116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 994602
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= 10761
involuntary context switches= 1172
# summary of solver processes directly reported to runsolver:
# pid: 28196
# total CPU time (s): 3587.31
# total CPU user time (s): 3584.59
# total CPU system time (s): 2.71922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94421 second user time and 18.8834 second system time
The end
Begin job on nodeC029 at 2024-07-31 00:30:03
IDJOB=4464405
IDBENCH=147855
IDSOLVER=3092
FILE ID=nodeC029/4464405-1722378603
RUNJOBID= nodeC029-1722378597-27469
SLURM_JOB_ID= 8249852
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-51-50.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-4464405-1722378603/watcher-4464405-1722378603 -o /tmp/evaluation-result-4464405-1722378603/solver-4464405-1722378603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27469 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464405-1722378603.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 160cae61f04d8ccee666d7a366e84df3
RANDOM SEED=1435106538
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.401
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
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 : 3601.194
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
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 : 3600.187
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.757
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
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 : 3671.530
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
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 : 3642.033
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
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 : 3653.997
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
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 : 3648.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129539928 kB
MemAvailable: 129397028 kB
Buffers: 77220 kB
Cached: 619708 kB
SwapCached: 212 kB
Active: 238788 kB
Inactive: 1284300 kB
Active(anon): 1716 kB
Inactive(anon): 845772 kB
Active(file): 237072 kB
Inactive(file): 438528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 58456 kB
Writeback: 12 kB
AnonPages: 825164 kB
Mapped: 111980 kB
Shmem: 21024 kB
KReclaimable: 42648 kB
Slab: 122972 kB
SReclaimable: 42648 kB
SUnreclaim: 80324 kB
KernelStack: 4128 kB
PageTables: 10300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 928064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 185044 kB
DirectMap2M: 6928384 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC029 at 2024-07-31 01:30:01