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.10/0.17 c Default LC presolving (default).
0.10/0.17 c ** Before presolving: virtualMemUsedAtLc = 142925987, getVmSize() = 105578496, SCIPgetMemUsed() = 72535760, SCIPgetMemTotal() = 79255824, SCIPgetMemExternEstim() = 63670163
0.10/0.17 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
2.18/2.22 c ** Estimated virtualMemUsedAtSolver = 130729035, getVmSize() = 170364928, SCIPgetMemUsed() = 100185806, SCIPgetMemTotal() = 132423390, SCIPgetMemExternEstim() = 63670163
2.18/2.22 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.18/2.22 c Original Problem :
2.18/2.22 c Problem name : instance-4442870-1721298071
2.18/2.22 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
2.18/2.22 c Constraints : 63801
2.18/2.22 c Objective sense : minimize
2.18/2.22 c Presolved Problem :
2.18/2.22 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
2.18/2.22 c Constraints : 63900
2.18/2.22 c Constraints : Number
2.18/2.22 c setppc : 63849
2.18/2.22 c logicor : 51
2.18/2.22 c ** Instance transfer method used: 0
2.27/2.30 c ** ParaScipInstance copy does not increase the number of variables. **
2.27/2.37 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.27/2.37 c Nodes Active
2.27/2.37 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
14.95/15.12 c 15 2 1 1 - 0.0000 -
20.39/20.65 c 21 26 25 1 - 0.0000 -
25.44/25.72 c 26 62 61 1 - 0.0000 -
30.77/31.16 c 31 190 151 1 - 0.0000 -
35.91/36.35 c 36 439 203 1 - 0.0000 -
40.95/41.47 c 41 716 232 1 - 0.0000 -
46.00/46.53 c 47 986 280 1 - 0.0000 -
51.04/51.60 c 52 1293 301 1 - 0.0000 -
55.98/56.69 c 57 1567 329 1 - 0.0000 -
61.03/61.75 c 62 1905 352 1 - 0.0000 -
66.07/66.81 c 67 2272 334 1 - 0.0000 -
71.31/72.12 c 72 2586 348 1 - 0.0000 -
76.25/77.18 c 77 2954 351 1 - 0.0000 -
81.30/82.24 c 82 3311 355 1 - 0.0000 -
86.24/87.29 c 87 3694 354 1 - 0.0000 -
91.32/92.38 c 92 4072 342 1 - 0.0000 -
96.50/97.50 c 98 4440 351 1 - 0.0000 -
101.47/102.57 c 103 4833 347 1 - 0.0000 -
106.54/107.63 c 108 5230 327 1 - 0.0000 -
111.61/112.71 c 113 5569 326 1 - 0.0000 -
116.59/117.79 c 118 5916 353 1 - 0.0000 -
121.67/122.84 c 123 6311 380 1 - 0.0000 -
126.75/127.90 c 128 6643 413 1 - 0.0000 -
131.72/132.95 c 133 6972 474 1 - 0.0000 -
136.80/138.04 c 138 7335 508 1 - 0.0000 -
141.87/143.10 c 143 7713 538 1 - 0.0000 -
146.85/148.17 c 148 8061 581 1 - 0.0000 -
151.92/153.24 c 153 8413 625 1 - 0.0000 -
156.98/158.30 c 158 8749 609 1 - 0.0000 -
161.95/163.36 c 163 9126 595 1 - 0.0000 -
167.03/168.43 c 168 9494 585 1 - 0.0000 -
172.00/173.47 c 173 9867 580 1 - 0.0000 -
177.07/178.53 c 179 10240 547 1 - 0.0000 -
182.14/183.61 c 184 10595 517 1 - 0.0000 -
187.10/188.66 c 189 10973 524 1 - 0.0000 -
192.18/193.73 c 194 11369 512 1 - 0.0000 -
197.25/198.81 c 199 11738 514 1 - 0.0000 -
202.22/203.87 c 204 12113 556 1 - 0.0000 -
207.39/209.07 c 209 12501 584 1 - 0.0000 -
212.47/214.13 c 214 12893 600 1 - 0.0000 -
217.43/219.19 c 219 13284 607 1 - 0.0000 -
222.50/224.26 c 224 13684 617 1 - 0.0000 -
227.57/229.33 c 229 14053 644 1 - 0.0000 -
232.63/234.40 c 234 14415 694 1 - 0.0000 -
237.61/239.46 c 239 14784 720 1 - 0.0000 -
242.67/244.53 c 245 15158 703 1 - 0.0000 -
247.75/249.63 c 250 15527 713 1 - 0.0000 -
252.71/254.68 c 255 15895 680 1 - 0.0000 -
257.78/259.74 c 260 16265 675 1 - 0.0000 -
262.85/264.80 c 265 16642 690 1 - 0.0000 -
267.82/269.87 c 270 17013 682 1 - 0.0000 -
272.90/274.93 c 275 17403 694 1 - 0.0000 -
277.97/280.01 c 280 17786 693 1 - 0.0000 -
282.93/285.06 c 285 18160 717 1 - 0.0000 -
288.00/290.12 c 290 18549 714 1 - 0.0000 -
292.98/295.19 c 295 18931 711 1 - 0.0000 -
298.03/300.27 c 300 19322 717 1 - 0.0000 -
303.21/305.44 c 305 19704 706 1 - 0.0000 -
308.28/310.52 c 311 20032 717 1 - 0.0000 -
313.35/315.62 c 316 20371 734 1 - 0.0000 -
318.33/320.69 c 321 20673 754 1 - 0.0000 -
323.40/325.76 c 326 21018 767 1 - 0.0000 -
328.46/330.83 c 331 21360 779 1 - 0.0000 -
333.53/335.92 c 336 21720 777 1 - 0.0000 -
338.51/340.99 c 341 22089 786 1 - 0.0000 -
343.58/346.05 c 346 22452 793 1 - 0.0000 -
348.55/351.09 c 351 22817 788 1 - 0.0000 -
353.63/356.14 c 356 23148 795 1 - 0.0000 -
358.69/361.20 c 361 23502 795 1 - 0.0000 -
363.65/366.28 c 366 23850 793 1 - 0.0000 -
368.73/371.36 c 371 24203 787 1 - 0.0000 -
373.79/376.43 c 376 24499 877 1 - 0.0000 -
378.86/381.55 c 382 24783 894 1 - 0.0000 -
383.94/386.61 c 387 25127 908 1 - 0.0000 -
388.91/391.68 c 392 25423 934 1 - 0.0000 -
393.98/396.74 c 397 25752 939 1 - 0.0000 -
398.95/401.79 c 402 26086 945 1 - 0.0000 -
404.03/406.88 c 407 26418 955 1 - 0.0000 -
409.20/412.02 c 412 26711 974 1 - 0.0000 -
414.17/417.07 c 417 27034 997 1 - 0.0000 -
419.24/422.12 c 422 27363 1006 1 - 0.0000 -
424.21/427.17 c 427 27686 1014 1 - 0.0000 -
429.27/432.25 c 432 28024 1031 1 - 0.0000 -
434.24/437.29 c 437 28349 1047 1 - 0.0000 -
439.31/442.36 c 442 28691 1062 1 - 0.0000 -
444.39/447.42 c 447 29017 1114 1 - 0.0000 -
449.36/452.48 c 452 29371 1133 1 - 0.0000 -
454.42/457.54 c 458 29707 1144 1 - 0.0000 -
459.49/462.62 c 463 30050 1159 1 - 0.0000 -
464.46/467.69 c 468 30403 1166 1 - 0.0000 -
469.53/472.76 c 473 30738 1200 1 - 0.0000 -
474.60/477.83 c 478 31095 1192 1 - 0.0000 -
479.56/482.89 c 483 31421 1215 1 - 0.0000 -
484.63/487.95 c 488 31774 1239 1 - 0.0000 -
489.71/493.00 c 493 32140 1245 1 - 0.0000 -
494.68/498.08 c 498 32493 1255 1 - 0.0000 -
499.74/503.14 c 503 32843 1301 1 - 0.0000 -
504.72/508.19 c 508 33182 1304 1 - 0.0000 -
509.78/513.25 c 513 33533 1299 1 - 0.0000 -
514.85/518.32 c 518 33889 1305 1 - 0.0000 -
519.81/523.39 c 523 34261 1311 1 - 0.0000 -
524.88/528.46 c 528 34640 1262 1 - 0.0000 -
529.95/533.54 c 534 35013 1252 1 - 0.0000 -
535.02/538.60 c 539 35389 1253 1 - 0.0000 -
540.00/543.65 c 544 35732 1254 1 - 0.0000 -
545.07/548.73 c 549 36081 1255 1 - 0.0000 -
550.03/553.79 c 554 36444 1260 1 - 0.0000 -
555.11/558.88 c 559 36797 1258 1 - 0.0000 -
560.18/563.94 c 564 37138 1282 1 - 0.0000 -
565.25/569.02 c 569 37508 1305 1 - 0.0000 -
570.22/574.08 c 574 37854 1316 1 - 0.0000 -
575.29/579.16 c 579 38199 1328 1 - 0.0000 -
580.36/584.21 c 584 38533 1344 1 - 0.0000 -
585.43/589.30 c 589 38905 1346 1 - 0.0000 -
590.40/594.36 c 594 39269 1352 1 - 0.0000 -
595.46/599.42 c 599 39629 1372 1 - 0.0000 -
600.44/604.47 c 604 39985 1385 1 - 0.0000 -
605.51/609.55 c 610 40335 1399 1 - 0.0000 -
610.58/614.62 c 615 40702 1401 1 - 0.0000 -
615.55/619.69 c 620 41073 1433 1 - 0.0000 -
620.72/624.81 c 625 41441 1427 1 - 0.0000 -
625.69/629.87 c 630 41807 1428 1 - 0.0000 -
630.76/634.93 c 635 42171 1435 1 - 0.0000 -
635.73/639.98 c 640 42534 1452 1 - 0.0000 -
640.81/645.05 c 645 42895 1449 1 - 0.0000 -
645.88/650.11 c 650 43268 1445 1 - 0.0000 -
650.85/655.19 c 655 43641 1417 1 - 0.0000 -
655.91/660.25 c 660 43991 1431 1 - 0.0000 -
660.99/665.31 c 665 44357 1449 1 - 0.0000 -
665.95/670.38 c 670 44732 1439 1 - 0.0000 -
671.03/675.46 c 675 45082 1446 1 - 0.0000 -
676.09/680.54 c 681 45436 1453 1 - 0.0000 -
681.17/685.63 c 686 45782 1456 1 - 0.0000 -
686.23/690.70 c 691 46144 1480 1 - 0.0000 -
691.20/695.77 c 696 46509 1484 1 - 0.0000 -
696.27/700.82 c 701 46875 1487 1 - 0.0000 -
701.25/705.89 c 706 47242 1504 1 - 0.0000 -
706.31/710.96 c 711 47602 1511 1 - 0.0000 -
711.38/716.03 c 716 47972 1517 1 - 0.0000 -
716.36/721.10 c 721 48349 1521 1 - 0.0000 -
721.42/726.14 c 726 48696 1522 1 - 0.0000 -
726.49/731.20 c 731 49046 1522 1 - 0.0000 -
731.46/736.26 c 736 49426 1525 1 - 0.0000 -
736.53/741.31 c 741 49788 1532 1 - 0.0000 -
741.50/746.39 c 746 50157 1542 1 - 0.0000 -
746.57/751.48 c 751 50519 1542 1 - 0.0000 -
751.64/756.54 c 757 50897 1541 1 - 0.0000 -
756.71/761.60 c 762 51271 1545 1 - 0.0000 -
761.68/766.67 c 767 51634 1541 1 - 0.0000 -
766.75/771.75 c 772 52016 1549 1 - 0.0000 -
771.82/776.81 c 777 52390 1536 1 - 0.0000 -
776.78/781.89 c 782 52754 1530 1 - 0.0000 -
781.86/786.96 c 787 53110 1534 1 - 0.0000 -
786.93/792.02 c 792 53474 1532 1 - 0.0000 -
791.90/797.10 c 797 53789 1535 1 - 0.0000 -
796.98/802.15 c 802 54151 1543 1 - 0.0000 -
802.04/807.20 c 807 54523 1551 1 - 0.0000 -
807.00/812.25 c 812 54890 1560 1 - 0.0000 -
812.07/817.31 c 817 55264 1549 1 - 0.0000 -
817.04/822.37 c 822 55619 1545 1 - 0.0000 -
822.11/827.43 c 827 55993 1543 1 - 0.0000 -
827.18/832.53 c 833 56365 1548 1 - 0.0000 -
832.16/837.58 c 838 56724 1548 1 - 0.0000 -
837.22/842.65 c 843 57109 1526 1 - 0.0000 -
842.29/847.73 c 848 57496 1512 1 - 0.0000 -
847.26/852.78 c 853 57865 1516 1 - 0.0000 -
852.34/857.85 c 858 58246 1483 1 - 0.0000 -
857.40/862.91 c 863 58628 1475 1 - 0.0000 -
862.48/868.00 c 868 59014 1460 1 - 0.0000 -
867.44/873.08 c 873 59382 1457 1 - 0.0000 -
872.51/878.14 c 878 59728 1471 1 - 0.0000 -
877.59/883.20 c 883 60099 1480 1 - 0.0000 -
882.55/888.26 c 888 60480 1473 1 - 0.0000 -
887.62/893.32 c 893 60855 1474 1 - 0.0000 -
892.59/898.38 c 898 61228 1475 1 - 0.0000 -
897.66/903.46 c 903 61598 1471 1 - 0.0000 -
902.73/908.52 c 909 61970 1491 1 - 0.0000 -
907.70/913.57 c 914 62341 1482 1 - 0.0000 -
912.76/918.63 c 919 62717 1482 1 - 0.0000 -
917.73/923.68 c 924 63074 1492 1 - 0.0000 -
922.80/928.73 c 929 63435 1495 1 - 0.0000 -
927.77/933.79 c 934 63799 1501 1 - 0.0000 -
932.83/938.87 c 939 64163 1479 1 - 0.0000 -
937.91/943.94 c 944 64494 1488 1 - 0.0000 -
942.88/948.99 c 949 64840 1488 1 - 0.0000 -
947.95/954.06 c 954 65218 1496 1 - 0.0000 -
953.01/959.12 c 959 65594 1504 1 - 0.0000 -
957.98/964.18 c 964 65962 1521 1 - 0.0000 -
963.04/969.25 c 969 66306 1535 1 - 0.0000 -
968.02/974.30 c 974 66640 1557 1 - 0.0000 -
973.08/979.35 c 979 66999 1556 1 - 0.0000 -
978.15/984.40 c 984 67359 1546 1 - 0.0000 -
983.12/989.46 c 989 67733 1560 1 - 0.0000 -
988.18/994.52 c 995 68094 1554 1 - 0.0000 -
993.15/999.59 c 1000 68467 1581 1 - 0.0000 -
998.22/1004.67 c 1005 68815 1561 1 - 0.0000 -
1003.28/1009.71 c 1010 69151 1566 1 - 0.0000 -
1008.25/1014.77 c 1015 69504 1573 1 - 0.0000 -
1013.30/1019.84 c 1020 69866 1580 1 - 0.0000 -
1018.27/1024.88 c 1025 70241 1568 1 - 0.0000 -
1023.33/1029.95 c 1030 70600 1565 1 - 0.0000 -
1028.40/1035.01 c 1035 70975 1554 1 - 0.0000 -
1033.36/1040.07 c 1040 71348 1556 1 - 0.0000 -
1038.43/1045.13 c 1045 71709 1549 1 - 0.0000 -
1043.40/1050.18 c 1050 72070 1551 1 - 0.0000 -
1048.46/1055.26 c 1055 72440 1544 1 - 0.0000 -
1053.53/1060.34 c 1060 72816 1541 1 - 0.0000 -
1058.59/1065.40 c 1065 73169 1554 1 - 0.0000 -
1063.57/1070.46 c 1070 73546 1563 1 - 0.0000 -
1068.64/1075.53 c 1076 73926 1566 1 - 0.0000 -
1073.61/1080.58 c 1081 74305 1582 1 - 0.0000 -
1078.67/1085.67 c 1086 74676 1575 1 - 0.0000 -
1083.74/1090.74 c 1091 75049 1575 1 - 0.0000 -
1088.81/1095.80 c 1096 75415 1584 1 - 0.0000 -
1093.78/1100.88 c 1101 75782 1577 1 - 0.0000 -
1098.84/1105.96 c 1106 76141 1575 1 - 0.0000 -
1103.92/1111.03 c 1111 76499 1577 1 - 0.0000 -
1108.98/1116.11 c 1116 76876 1574 1 - 0.0000 -
1113.95/1121.20 c 1121 77248 1574 1 - 0.0000 -
1119.01/1126.26 c 1126 77618 1570 1 - 0.0000 -
1124.08/1131.31 c 1131 78004 1574 1 - 0.0000 -
1129.05/1136.38 c 1136 78366 1601 1 - 0.0000 -
1134.11/1141.44 c 1141 78742 1583 1 - 0.0000 -
1139.18/1146.50 c 1147 79065 1599 1 - 0.0000 -
1144.26/1151.61 c 1152 79423 1606 1 - 0.0000 -
1149.22/1156.67 c 1157 79741 1626 1 - 0.0000 -
1154.29/1161.72 c 1162 80090 1627 1 - 0.0000 -
1159.26/1166.78 c 1167 80436 1631 1 - 0.0000 -
1164.33/1171.83 c 1172 80787 1624 1 - 0.0000 -
1169.29/1176.89 c 1177 81154 1625 1 - 0.0000 -
1174.37/1181.95 c 1182 81526 1630 1 - 0.0000 -
1179.44/1187.00 c 1187 81892 1627 1 - 0.0000 -
1184.41/1192.07 c 1192 82269 1629 1 - 0.0000 -
1189.48/1197.13 c 1197 82647 1628 1 - 0.0000 -
1194.45/1202.19 c 1202 83018 1644 1 - 0.0000 -
1199.52/1207.25 c 1207 83406 1641 1 - 0.0000 -
1204.58/1212.31 c 1212 83786 1639 1 - 0.0000 -
1209.55/1217.38 c 1217 84173 1634 1 - 0.0000 -
1214.62/1222.45 c 1222 84560 1637 1 - 0.0000 -
1219.69/1227.53 c 1228 84916 1636 1 - 0.0000 -
1224.76/1232.60 c 1233 85288 1635 1 - 0.0000 -
1229.72/1237.69 c 1238 85664 1629 1 - 0.0000 -
1234.80/1242.75 c 1243 86038 1602 1 - 0.0000 -
1239.86/1247.80 c 1248 86407 1602 1 - 0.0000 -
1244.84/1252.87 c 1253 86794 1601 1 - 0.0000 -
1249.90/1257.92 c 1258 87171 1604 1 - 0.0000 -
1254.87/1262.99 c 1263 87550 1605 1 - 0.0000 -
1259.94/1268.04 c 1268 87900 1614 1 - 0.0000 -
1264.91/1273.08 c 1273 88279 1627 1 - 0.0000 -
1269.99/1278.13 c 1278 88659 1620 1 - 0.0000 -
1274.95/1283.19 c 1283 89026 1613 1 - 0.0000 -
1280.02/1288.25 c 1288 89377 1618 1 - 0.0000 -
1285.09/1293.30 c 1293 89742 1610 1 - 0.0000 -
1290.05/1298.35 c 1298 90126 1612 1 - 0.0000 -
1295.13/1303.43 c 1303 90510 1603 1 - 0.0000 -
1300.20/1308.50 c 1309 90890 1600 1 - 0.0000 -
1305.16/1313.56 c 1314 91275 1595 1 - 0.0000 -
1310.24/1318.60 c 1319 91670 1603 1 - 0.0000 -
1315.21/1323.67 c 1324 92012 1625 1 - 0.0000 -
1320.27/1328.74 c 1329 92397 1614 1 - 0.0000 -
1325.23/1333.79 c 1334 92780 1601 1 - 0.0000 -
1330.30/1338.86 c 1339 93167 1594 1 - 0.0000 -
1335.36/1343.93 c 1344 93548 1585 1 - 0.0000 -
1340.33/1348.98 c 1349 93920 1569 1 - 0.0000 -
1345.39/1354.06 c 1354 94290 1580 1 - 0.0000 -
1350.46/1359.13 c 1359 94670 1568 1 - 0.0000 -
1355.42/1364.18 c 1364 95049 1569 1 - 0.0000 -
1360.46/1369.24 c 1369 95416 1568 1 - 0.0000 -
1365.53/1374.31 c 1374 95803 1572 1 - 0.0000 -
1370.49/1379.36 c 1379 96183 1564 1 - 0.0000 -
1375.56/1384.43 c 1384 96565 1548 1 - 0.0000 -
1380.52/1389.49 c 1390 96946 1552 1 - 0.0000 -
1385.58/1394.56 c 1395 97330 1552 1 - 0.0000 -
1390.64/1399.61 c 1400 97723 1567 1 - 0.0000 -
1395.60/1404.69 c 1405 98083 1592 1 - 0.0000 -
1400.66/1409.76 c 1410 98455 1578 1 - 0.0000 -
1405.73/1414.82 c 1415 98840 1579 1 - 0.0000 -
1410.69/1419.89 c 1420 99227 1594 1 - 0.0000 -
1415.76/1424.96 c 1425 99620 1603 1 - 0.0000 -
1420.83/1430.03 c 1430 100012 1598 1 - 0.0000 -
1425.79/1435.09 c 1435 100406 1598 1 - 0.0000 -
1430.86/1440.15 c 1440 100782 1620 1 - 0.0000 -
1435.92/1445.24 c 1445 101164 1625 1 - 0.0000 -
1440.99/1450.32 c 1450 101534 1634 1 - 0.0000 -
1446.06/1455.40 c 1455 101916 1634 1 - 0.0000 -
1451.02/1460.47 c 1460 102298 1621 1 - 0.0000 -
1456.10/1465.52 c 1466 102676 1622 1 - 0.0000 -
1461.07/1470.58 c 1471 103057 1624 1 - 0.0000 -
1466.13/1475.64 c 1476 103436 1620 1 - 0.0000 -
1471.21/1480.71 c 1481 103819 1627 1 - 0.0000 -
1476.17/1485.78 c 1486 104196 1623 1 - 0.0000 -
1481.24/1490.86 c 1491 104573 1620 1 - 0.0000 -
1486.31/1495.93 c 1496 104966 1628 1 - 0.0000 -
1491.28/1500.99 c 1501 105344 1628 1 - 0.0000 -
1496.36/1506.06 c 1506 105712 1620 1 - 0.0000 -
1501.42/1511.11 c 1511 106085 1627 1 - 0.0000 -
1506.39/1516.18 c 1516 106462 1636 1 - 0.0000 -
1511.45/1521.24 c 1521 106849 1633 1 - 0.0000 -
1516.52/1526.30 c 1526 107236 1633 1 - 0.0000 -
1521.49/1531.36 c 1531 107611 1638 1 - 0.0000 -
1526.56/1536.44 c 1536 107996 1637 1 - 0.0000 -
1531.52/1541.49 c 1542 108368 1633 1 - 0.0000 -
1536.60/1546.55 c 1547 108734 1635 1 - 0.0000 -
1541.66/1551.60 c 1552 109104 1639 1 - 0.0000 -
1546.63/1556.66 c 1557 109471 1639 1 - 0.0000 -
1551.70/1561.72 c 1562 109857 1633 1 - 0.0000 -
1556.77/1566.80 c 1567 110209 1629 1 - 0.0000 -
1561.74/1571.85 c 1572 110588 1625 1 - 0.0000 -
1566.81/1576.93 c 1577 110963 1625 1 - 0.0000 -
1571.78/1581.99 c 1582 111335 1629 1 - 0.0000 -
1576.85/1587.05 c 1587 111703 1634 1 - 0.0000 -
1581.92/1592.11 c 1592 112060 1638 1 - 0.0000 -
1586.89/1597.18 c 1597 112438 1646 1 - 0.0000 -
1591.95/1602.26 c 1602 112809 1657 1 - 0.0000 -
1597.02/1607.34 c 1607 113169 1668 1 - 0.0000 -
1601.99/1612.39 c 1612 113551 1661 1 - 0.0000 -
1607.06/1617.45 c 1617 113931 1668 1 - 0.0000 -
1612.12/1622.51 c 1623 114304 1670 1 - 0.0000 -
1617.09/1627.58 c 1628 114678 1681 1 - 0.0000 -
1622.16/1632.64 c 1633 115058 1682 1 - 0.0000 -
1627.22/1637.70 c 1638 115441 1673 1 - 0.0000 -
1632.19/1642.75 c 1643 115822 1677 1 - 0.0000 -
1637.26/1647.82 c 1648 116200 1684 1 - 0.0000 -
1642.32/1652.90 c 1653 116580 1684 1 - 0.0000 -
1647.28/1657.96 c 1658 116958 1702 1 - 0.0000 -
1652.35/1663.03 c 1663 117340 1703 1 - 0.0000 -
1657.41/1668.11 c 1668 117715 1706 1 - 0.0000 -
1662.37/1673.16 c 1673 118092 1710 1 - 0.0000 -
1667.43/1678.25 c 1678 118459 1731 1 - 0.0000 -
1672.49/1683.32 c 1683 118836 1736 1 - 0.0000 -
1677.45/1688.37 c 1688 119207 1751 1 - 0.0000 -
1682.51/1693.43 c 1693 119583 1759 1 - 0.0000 -
1687.48/1698.48 c 1698 119963 1763 1 - 0.0000 -
1692.54/1703.56 c 1704 120338 1769 1 - 0.0000 -
1697.60/1708.64 c 1709 120718 1781 1 - 0.0000 -
1702.66/1713.70 c 1714 121104 1783 1 - 0.0000 -
1707.63/1718.77 c 1719 121486 1782 1 - 0.0000 -
1712.68/1723.85 c 1724 121865 1782 1 - 0.0000 -
1717.74/1728.91 c 1729 122244 1784 1 - 0.0000 -
1722.71/1733.96 c 1734 122620 1782 1 - 0.0000 -
1727.77/1739.02 c 1739 122996 1790 1 - 0.0000 -
1732.73/1744.08 c 1744 123369 1797 1 - 0.0000 -
1737.81/1749.14 c 1749 123744 1811 1 - 0.0000 -
1742.87/1754.21 c 1754 124119 1819 1 - 0.0000 -
1747.84/1759.28 c 1759 124497 1825 1 - 0.0000 -
1752.90/1764.34 c 1764 124878 1828 1 - 0.0000 -
1757.97/1769.42 c 1769 125258 1837 1 - 0.0000 -
1762.94/1774.47 c 1774 125636 1841 1 - 0.0000 -
1768.01/1779.53 c 1780 126017 1846 1 - 0.0000 -
1773.07/1784.60 c 1785 126393 1850 1 - 0.0000 -
1778.05/1789.66 c 1790 126770 1855 1 - 0.0000 -
1783.11/1794.70 c 1795 127148 1868 1 - 0.0000 -
1788.09/1799.75 c 1800 127528 1870 1 - 0.0000 -
1793.15/1804.82 c 1805 127912 1882 1 - 0.0000 -
1798.22/1809.90 c 1810 128299 1879 1 - 0.0000 -
1803.19/1814.95 c 1815 128671 1879 1 - 0.0000 -
1808.27/1820.03 c 1820 129057 1887 1 - 0.0000 -
1813.23/1825.09 c 1825 129447 1892 1 - 0.0000 -
1818.31/1830.16 c 1830 129835 1892 1 - 0.0000 -
1823.36/1835.21 c 1835 130207 1896 1 - 0.0000 -
1828.34/1840.29 c 1840 130591 1900 1 - 0.0000 -
1833.41/1845.35 c 1845 130984 1905 1 - 0.0000 -
1838.47/1850.41 c 1850 131366 1899 1 - 0.0000 -
1843.45/1855.47 c 1855 131744 1899 1 - 0.0000 -
1848.52/1860.55 c 1861 132108 1893 1 - 0.0000 -
1853.58/1865.61 c 1866 132483 1892 1 - 0.0000 -
1858.55/1870.66 c 1871 132854 1892 1 - 0.0000 -
1863.62/1875.73 c 1876 133238 1883 1 - 0.0000 -
1868.59/1880.78 c 1881 133597 1898 1 - 0.0000 -
1873.66/1885.86 c 1886 133977 1898 1 - 0.0000 -
1878.73/1890.93 c 1891 134362 1895 1 - 0.0000 -
1883.70/1895.99 c 1896 134746 1895 1 - 0.0000 -
1888.77/1901.06 c 1901 135125 1902 1 - 0.0000 -
1893.84/1906.13 c 1906 135495 1903 1 - 0.0000 -
1898.81/1911.18 c 1911 135871 1904 1 - 0.0000 -
1903.87/1916.24 c 1916 136244 1904 1 - 0.0000 -
1908.84/1921.29 c 1921 136614 1897 1 - 0.0000 -
1913.91/1926.37 c 1926 136979 1903 1 - 0.0000 -
1918.98/1931.44 c 1931 137365 1899 1 - 0.0000 -
1923.94/1936.49 c 1936 137750 1901 1 - 0.0000 -
1929.01/1941.56 c 1942 138130 1903 1 - 0.0000 -
1934.09/1946.62 c 1947 138505 1911 1 - 0.0000 -
1939.06/1951.69 c 1952 138880 1914 1 - 0.0000 -
1944.12/1956.74 c 1957 139252 1923 1 - 0.0000 -
1949.19/1961.81 c 1962 139609 1914 1 - 0.0000 -
1954.16/1966.87 c 1967 139992 1914 1 - 0.0000 -
1959.23/1971.94 c 1972 140364 1912 1 - 0.0000 -
1964.30/1977.01 c 1977 140748 1914 1 - 0.0000 -
1969.28/1982.06 c 1982 141136 1940 1 - 0.0000 -
1974.34/1987.15 c 1987 141538 1942 1 - 0.0000 -
1979.40/1992.20 c 1992 141925 1945 1 - 0.0000 -
1984.37/1997.29 c 1997 142306 1941 1 - 0.0000 -
1989.44/2002.33 c 2002 142688 1954 1 - 0.0000 -
1994.41/2007.38 c 2007 143067 1951 1 - 0.0000 -
1999.48/2012.44 c 2012 143452 1942 1 - 0.0000 -
2004.55/2017.50 c 2018 143833 1937 1 - 0.0000 -
2009.52/2022.59 c 2023 144218 1940 1 - 0.0000 -
2014.59/2027.64 c 2028 144601 1937 1 - 0.0000 -
2019.56/2032.69 c 2033 144985 1940 1 - 0.0000 -
2024.63/2037.75 c 2038 145361 1926 1 - 0.0000 -
2029.70/2042.84 c 2043 145743 1924 1 - 0.0000 -
2034.77/2047.90 c 2048 146120 1922 1 - 0.0000 -
2039.74/2052.96 c 2053 146506 1918 1 - 0.0000 -
2044.80/2058.02 c 2058 146885 1910 1 - 0.0000 -
2049.78/2063.09 c 2063 147268 1903 1 - 0.0000 -
2054.84/2068.15 c 2068 147649 1911 1 - 0.0000 -
2059.91/2073.20 c 2073 148024 1914 1 - 0.0000 -
2064.88/2078.26 c 2078 148403 1910 1 - 0.0000 -
2069.94/2083.32 c 2083 148776 1874 1 - 0.0000 -
2075.31/2088.72 c 2089 149139 1864 1 - 0.0000 -
2080.28/2093.79 c 2094 149517 1857 1 - 0.0000 -
2085.35/2098.85 c 2099 149897 1860 1 - 0.0000 -
2090.41/2103.91 c 2104 150282 1860 1 - 0.0000 -
2095.39/2108.98 c 2109 150661 1866 1 - 0.0000 -
2100.46/2114.04 c 2114 151047 1868 1 - 0.0000 -
2105.42/2119.09 c 2119 151425 1868 1 - 0.0000 -
2110.49/2124.14 c 2124 151799 1874 1 - 0.0000 -
2115.46/2129.19 c 2129 152176 1874 1 - 0.0000 -
2120.52/2134.25 c 2134 152561 1880 1 - 0.0000 -
2125.59/2139.30 c 2139 152946 1881 1 - 0.0000 -
2130.56/2144.35 c 2144 153330 1881 1 - 0.0000 -
2135.62/2149.40 c 2149 153710 1881 1 - 0.0000 -
2140.60/2154.46 c 2154 154093 1894 1 - 0.0000 -
2145.67/2159.51 c 2160 154459 1895 1 - 0.0000 -
2150.63/2164.57 c 2165 154844 1890 1 - 0.0000 -
2155.70/2169.64 c 2170 155229 1887 1 - 0.0000 -
2160.78/2174.71 c 2175 155617 1890 1 - 0.0000 -
2165.74/2179.77 c 2180 155990 1886 1 - 0.0000 -
2170.80/2184.83 c 2185 156358 1886 1 - 0.0000 -
2175.78/2189.89 c 2190 156739 1887 1 - 0.0000 -
2180.85/2194.94 c 2195 157119 1887 1 - 0.0000 -
2185.93/2200.00 c 2200 157498 1881 1 - 0.0000 -
2190.89/2205.06 c 2205 157877 1877 1 - 0.0000 -
2195.95/2210.14 c 2210 158257 1862 1 - 0.0000 -
2201.03/2215.23 c 2215 158560 1853 1 - 0.0000 -
2206.10/2220.32 c 2220 158854 1866 1 - 0.0000 -
2211.06/2225.39 c 2225 159172 1877 1 - 0.0000 -
2216.13/2230.45 c 2230 159519 1886 1 - 0.0000 -
2221.21/2235.52 c 2236 159886 1889 1 - 0.0000 -
2226.28/2240.60 c 2241 160232 1897 1 - 0.0000 -
2231.24/2245.66 c 2246 160585 1900 1 - 0.0000 -
2236.32/2250.75 c 2251 160936 1888 1 - 0.0000 -
2241.38/2255.80 c 2256 161281 1890 1 - 0.0000 -
2246.35/2260.86 c 2261 161617 1891 1 - 0.0000 -
2251.42/2265.92 c 2266 161961 1896 1 - 0.0000 -
2256.40/2270.97 c 2271 162328 1899 1 - 0.0000 -
2261.46/2276.04 c 2276 162631 1897 1 - 0.0000 -
2266.54/2281.17 c 2281 162941 1907 1 - 0.0000 -
2271.60/2286.25 c 2286 163259 1915 1 - 0.0000 -
2276.67/2291.30 c 2291 163609 1913 1 - 0.0000 -
2281.65/2296.39 c 2296 163952 1916 1 - 0.0000 -
2286.72/2301.43 c 2301 164291 1920 1 - 0.0000 -
2291.68/2306.48 c 2306 164640 1915 1 - 0.0000 -
2296.75/2311.54 c 2312 164991 1916 1 - 0.0000 -
2301.82/2316.62 c 2317 165356 1916 1 - 0.0000 -
2306.90/2321.70 c 2322 165689 1931 1 - 0.0000 -
2311.87/2326.76 c 2327 166035 1943 1 - 0.0000 -
2317.04/2331.92 c 2332 166366 1956 1 - 0.0000 -
2322.11/2337.05 c 2337 166690 1958 1 - 0.0000 -
2327.18/2342.14 c 2342 167039 1957 1 - 0.0000 -
2332.24/2347.20 c 2347 167373 1965 1 - 0.0000 -
2337.21/2352.26 c 2352 167705 1967 1 - 0.0000 -
2342.28/2357.32 c 2357 168081 1973 1 - 0.0000 -
2347.25/2362.39 c 2362 168425 1973 1 - 0.0000 -
2352.32/2367.47 c 2367 168759 1977 1 - 0.0000 -
2357.39/2372.52 c 2373 169085 1985 1 - 0.0000 -
2362.46/2377.60 c 2378 169427 1995 1 - 0.0000 -
2367.43/2382.67 c 2383 169760 2008 1 - 0.0000 -
2372.50/2387.74 c 2388 170078 2019 1 - 0.0000 -
2377.47/2392.78 c 2393 170392 2025 1 - 0.0000 -
2382.54/2397.86 c 2398 170709 2027 1 - 0.0000 -
2387.61/2402.96 c 2403 171058 2024 1 - 0.0000 -
2392.68/2408.05 c 2408 171393 2026 1 - 0.0000 -
2397.75/2413.13 c 2413 171724 2079 1 - 0.0000 -
2402.82/2418.22 c 2418 172066 2083 1 - 0.0000 -
2407.79/2423.27 c 2423 172406 2086 1 - 0.0000 -
2412.86/2428.33 c 2428 172757 2081 1 - 0.0000 -
2417.93/2433.40 c 2433 173102 2087 1 - 0.0000 -
2422.90/2438.46 c 2438 173480 2099 1 - 0.0000 -
2427.97/2443.53 c 2444 173874 2109 1 - 0.0000 -
2432.94/2448.59 c 2449 174262 2111 1 - 0.0000 -
2438.01/2453.66 c 2454 174651 2116 1 - 0.0000 -
2443.07/2458.72 c 2459 175009 2130 1 - 0.0000 -
2448.05/2463.79 c 2464 175334 2130 1 - 0.0000 -
2453.12/2468.84 c 2469 175704 2121 1 - 0.0000 -
2458.09/2473.89 c 2474 176055 2116 1 - 0.0000 -
2463.16/2478.95 c 2479 176412 2115 1 - 0.0000 -
2468.24/2484.03 c 2484 176794 2118 1 - 0.0000 -
2473.21/2489.10 c 2489 177162 2120 1 - 0.0000 -
2478.28/2494.18 c 2494 177537 2118 1 - 0.0000 -
2483.34/2499.26 c 2499 177906 2119 1 - 0.0000 -
2488.42/2504.33 c 2504 178276 2116 1 - 0.0000 -
2493.48/2509.40 c 2509 178643 2118 1 - 0.0000 -
2498.46/2514.46 c 2514 178997 2121 1 - 0.0000 -
2503.52/2519.53 c 2520 179357 2119 1 - 0.0000 -
2508.60/2524.60 c 2525 179723 2120 1 - 0.0000 -
2513.56/2529.68 c 2530 180100 2126 1 - 0.0000 -
2518.63/2534.75 c 2535 180446 2134 1 - 0.0000 -
2523.71/2539.82 c 2540 180788 2158 1 - 0.0000 -
2528.67/2544.88 c 2545 181149 2160 1 - 0.0000 -
2533.75/2549.93 c 2550 181521 2170 1 - 0.0000 -
2538.82/2555.00 c 2555 181905 2171 1 - 0.0000 -
2543.80/2560.05 c 2560 182263 2171 1 - 0.0000 -
2548.86/2565.11 c 2565 182598 2190 1 - 0.0000 -
2553.83/2570.15 c 2570 182975 2189 1 - 0.0000 -
2558.89/2575.21 c 2575 183349 2189 1 - 0.0000 -
2563.87/2580.28 c 2580 183698 2190 1 - 0.0000 -
2569.04/2585.40 c 2585 184052 2196 1 - 0.0000 -
2574.01/2590.48 c 2590 184407 2199 1 - 0.0000 -
2579.07/2595.54 c 2596 184782 2194 1 - 0.0000 -
2584.05/2600.58 c 2601 185156 2189 1 - 0.0000 -
2589.12/2605.65 c 2606 185540 2191 1 - 0.0000 -
2594.19/2610.72 c 2611 185910 2195 1 - 0.0000 -
2599.17/2615.79 c 2616 186280 2197 1 - 0.0000 -
2604.24/2620.86 c 2621 186609 2199 1 - 0.0000 -
2609.30/2625.92 c 2626 186968 2200 1 - 0.0000 -
2614.28/2630.98 c 2631 187334 2200 1 - 0.0000 -
2619.34/2636.05 c 2636 187686 2202 1 - 0.0000 -
2624.41/2641.11 c 2641 188054 2211 1 - 0.0000 -
2629.39/2646.17 c 2646 188428 2214 1 - 0.0000 -
2634.45/2651.23 c 2651 188805 2211 1 - 0.0000 -
2639.42/2656.28 c 2656 189180 2216 1 - 0.0000 -
2644.49/2661.35 c 2661 189553 2196 1 - 0.0000 -
2649.56/2666.40 c 2666 189902 2194 1 - 0.0000 -
2654.53/2671.47 c 2671 190261 2193 1 - 0.0000 -
2659.60/2676.53 c 2677 190626 2190 1 - 0.0000 -
2664.57/2681.59 c 2682 191006 2189 1 - 0.0000 -
2669.64/2686.64 c 2687 191374 2190 1 - 0.0000 -
2674.71/2691.72 c 2692 191735 2188 1 - 0.0000 -
2679.68/2696.77 c 2697 192100 2192 1 - 0.0000 -
2684.76/2701.83 c 2702 192472 2195 1 - 0.0000 -
2689.72/2706.89 c 2707 192831 2193 1 - 0.0000 -
2694.79/2711.95 c 2712 193177 2198 1 - 0.0000 -
2699.86/2717.02 c 2717 193557 2201 1 - 0.0000 -
2704.84/2722.09 c 2722 193927 2202 1 - 0.0000 -
2709.90/2727.16 c 2727 194301 2221 1 - 0.0000 -
2714.97/2732.22 c 2732 194680 2222 1 - 0.0000 -
2719.94/2737.29 c 2737 195042 2223 1 - 0.0000 -
2725.01/2742.33 c 2742 195416 2222 1 - 0.0000 -
2729.98/2747.39 c 2747 195798 2226 1 - 0.0000 -
2735.05/2752.45 c 2752 196165 2226 1 - 0.0000 -
2740.12/2757.53 c 2758 196529 2226 1 - 0.0000 -
2745.19/2762.60 c 2763 196917 2226 1 - 0.0000 -
2750.16/2767.66 c 2768 197283 2227 1 - 0.0000 -
2755.23/2772.76 c 2773 197650 2228 1 - 0.0000 -
2760.30/2777.83 c 2778 198003 2235 1 - 0.0000 -
2765.36/2782.90 c 2783 198379 2236 1 - 0.0000 -
2770.34/2787.98 c 2788 198743 2245 1 - 0.0000 -
2775.42/2793.04 c 2793 199112 2248 1 - 0.0000 -
2780.48/2798.10 c 2798 199501 2253 1 - 0.0000 -
2785.45/2803.17 c 2803 199891 2261 1 - 0.0000 -
2790.52/2808.23 c 2808 200283 2261 1 - 0.0000 -
2795.49/2813.29 c 2813 200671 2251 1 - 0.0000 -
2800.56/2818.36 c 2818 201055 2251 1 - 0.0000 -
2805.63/2823.41 c 2823 201424 2250 1 - 0.0000 -
2810.60/2828.49 c 2828 201792 2251 1 - 0.0000 -
2815.67/2833.57 c 2834 202135 2252 1 - 0.0000 -
2820.74/2838.63 c 2839 202505 2256 1 - 0.0000 -
2825.71/2843.68 c 2844 202878 2262 1 - 0.0000 -
2830.78/2848.73 c 2849 203260 2268 1 - 0.0000 -
2835.75/2853.79 c 2854 203637 2270 1 - 0.0000 -
2840.82/2858.88 c 2859 204023 2268 1 - 0.0000 -
2845.89/2863.94 c 2864 204405 2268 1 - 0.0000 -
2850.86/2868.99 c 2869 204792 2266 1 - 0.0000 -
2855.94/2874.06 c 2874 205153 2269 1 - 0.0000 -
2861.00/2879.10 c 2879 205543 2271 1 - 0.0000 -
2865.97/2884.15 c 2884 205901 2273 1 - 0.0000 -
2871.04/2889.24 c 2889 206262 2275 1 - 0.0000 -
2876.00/2894.28 c 2894 206629 2278 1 - 0.0000 -
2881.08/2899.35 c 2899 207008 2279 1 - 0.0000 -
2886.14/2904.44 c 2904 207390 2275 1 - 0.0000 -
2891.21/2909.50 c 2910 207766 2276 1 - 0.0000 -
2896.18/2914.56 c 2915 208131 2280 1 - 0.0000 -
2901.26/2919.62 c 2920 208504 2279 1 - 0.0000 -
2906.23/2924.69 c 2925 208857 2273 1 - 0.0000 -
2911.29/2929.76 c 2930 209241 2269 1 - 0.0000 -
2916.36/2934.81 c 2935 209623 2267 1 - 0.0000 -
2921.33/2939.87 c 2940 210006 2261 1 - 0.0000 -
2926.40/2944.94 c 2945 210371 2260 1 - 0.0000 -
2931.48/2950.02 c 2950 210757 2255 1 - 0.0000 -
2936.44/2955.08 c 2955 211123 2257 1 - 0.0000 -
2941.51/2960.14 c 2960 211506 2255 1 - 0.0000 -
2946.57/2965.21 c 2965 211883 2247 1 - 0.0000 -
2951.54/2970.26 c 2970 212256 2248 1 - 0.0000 -
2956.59/2975.34 c 2975 212640 2248 1 - 0.0000 -
2961.56/2980.39 c 2980 213028 2246 1 - 0.0000 -
2966.61/2985.45 c 2985 213414 2243 1 - 0.0000 -
2971.67/2990.53 c 2991 213792 2235 1 - 0.0000 -
2976.73/2995.61 c 2996 214174 2243 1 - 0.0000 -
2981.70/3000.68 c 3001 214552 2240 1 - 0.0000 -
2986.75/3005.75 c 3006 214926 2240 1 - 0.0000 -
2991.82/3010.81 c 3011 215307 2236 1 - 0.0000 -
2996.88/3015.91 c 3016 215679 2233 1 - 0.0000 -
3001.83/3020.96 c 3021 216046 2232 1 - 0.0000 -
3006.90/3026.02 c 3026 216425 2234 1 - 0.0000 -
3011.87/3031.08 c 3031 216805 2236 1 - 0.0000 -
3016.92/3036.14 c 3036 217192 2235 1 - 0.0000 -
3021.98/3041.21 c 3041 217576 2232 1 - 0.0000 -
3026.94/3046.28 c 3046 217946 2236 1 - 0.0000 -
3032.00/3051.34 c 3051 218314 2236 1 - 0.0000 -
3037.37/3056.71 c 3057 218615 2254 1 - 0.0000 -
3042.32/3061.79 c 3062 218923 2270 1 - 0.0000 -
3047.39/3066.87 c 3067 219225 2302 1 - 0.0000 -
3052.45/3071.93 c 3072 219569 2313 1 - 0.0000 -
3057.41/3076.99 c 3077 219915 2317 1 - 0.0000 -
3062.58/3082.13 c 3082 220226 2340 1 - 0.0000 -
3067.63/3087.22 c 3087 220528 2364 1 - 0.0000 -
3072.59/3092.28 c 3092 220855 2387 1 - 0.0000 -
3077.66/3097.35 c 3097 221181 2401 1 - 0.0000 -
3082.72/3102.42 c 3102 221514 2408 1 - 0.0000 -
3087.78/3107.52 c 3108 221841 2419 1 - 0.0000 -
3092.75/3112.59 c 3113 222174 2420 1 - 0.0000 -
3097.81/3117.66 c 3118 222524 2424 1 - 0.0000 -
3102.87/3122.73 c 3123 222851 2433 1 - 0.0000 -
3107.84/3127.79 c 3128 223189 2437 1 - 0.0000 -
3112.89/3132.87 c 3133 223516 2444 1 - 0.0000 -
3117.95/3137.93 c 3138 223858 2438 1 - 0.0000 -
3123.02/3143.00 c 3143 224195 2444 1 - 0.0000 -
3127.98/3148.06 c 3148 224555 2435 1 - 0.0000 -
3133.05/3153.11 c 3153 224899 2436 1 - 0.0000 -
3138.02/3158.17 c 3158 225256 2435 1 - 0.0000 -
3143.08/3163.22 c 3163 225610 2441 1 - 0.0000 -
3148.05/3168.29 c 3168 225962 2449 1 - 0.0000 -
3153.11/3173.34 c 3173 226340 2449 1 - 0.0000 -
3158.19/3178.42 c 3178 226690 2451 1 - 0.0000 -
3163.16/3183.47 c 3183 227048 2462 1 - 0.0000 -
3168.23/3188.54 c 3189 227406 2466 1 - 0.0000 -
3173.20/3193.58 c 3194 227776 2476 1 - 0.0000 -
3178.27/3198.65 c 3199 228144 2480 1 - 0.0000 -
3183.33/3203.70 c 3204 228508 2482 1 - 0.0000 -
3188.31/3208.77 c 3209 228864 2481 1 - 0.0000 -
3193.37/3213.82 c 3214 229226 2474 1 - 0.0000 -
3198.35/3218.87 c 3219 229588 2474 1 - 0.0000 -
3203.41/3223.94 c 3224 229957 2485 1 - 0.0000 -
3208.48/3229.00 c 3229 230339 2487 1 - 0.0000 -
3213.45/3234.08 c 3234 230706 2485 1 - 0.0000 -
3218.52/3239.15 c 3239 231063 2483 1 - 0.0000 -
3223.58/3244.21 c 3244 231413 2490 1 - 0.0000 -
3228.55/3249.28 c 3249 231760 2497 1 - 0.0000 -
3233.61/3254.33 c 3254 232137 2496 1 - 0.0000 -
3238.68/3259.42 c 3259 232483 2508 1 - 0.0000 -
3243.66/3264.49 c 3264 232845 2516 1 - 0.0000 -
3248.72/3269.55 c 3270 233190 2531 1 - 0.0000 -
3253.80/3274.63 c 3275 233539 2535 1 - 0.0000 -
3258.77/3279.69 c 3280 233903 2536 1 - 0.0000 -
3263.84/3284.74 c 3285 234277 2538 1 - 0.0000 -
3268.80/3289.79 c 3290 234654 2544 1 - 0.0000 -
3273.88/3294.86 c 3295 235021 2543 1 - 0.0000 -
3278.95/3299.93 c 3300 235380 2553 1 - 0.0000 -
3283.91/3304.99 c 3305 235744 2558 1 - 0.0000 -
3288.99/3310.06 c 3310 236120 2562 1 - 0.0000 -
3293.96/3315.10 c 3315 236503 2561 1 - 0.0000 -
3299.03/3320.17 c 3320 236878 2537 1 - 0.0000 -
3304.08/3325.27 c 3325 237245 2530 1 - 0.0000 -
3309.16/3330.33 c 3330 237614 2512 1 - 0.0000 -
3314.23/3335.40 c 3335 237984 2510 1 - 0.0000 -
3319.30/3340.51 c 3341 238326 2508 1 - 0.0000 -
3324.26/3345.57 c 3346 238664 2557 1 - 0.0000 -
3329.33/3350.63 c 3351 238982 2579 1 - 0.0000 -
3334.40/3355.72 c 3356 239329 2590 1 - 0.0000 -
3339.37/3360.78 c 3361 239647 2617 1 - 0.0000 -
3344.43/3365.84 c 3366 239980 2612 1 - 0.0000 -
3349.49/3370.90 c 3371 240346 2608 1 - 0.0000 -
3354.45/3375.97 c 3376 240645 2630 1 - 0.0000 -
3359.53/3381.04 c 3381 240971 2634 1 - 0.0000 -
3364.60/3386.11 c 3386 241322 2661 1 - 0.0000 -
3369.58/3391.16 c 3391 241667 2676 1 - 0.0000 -
3374.64/3396.23 c 3396 242005 2691 1 - 0.0000 -
3379.63/3401.28 c 3401 242355 2704 1 - 0.0000 -
3384.90/3406.50 c 3407 242717 2764 1 - 0.0000 -
3389.88/3411.58 c 3412 243081 2757 1 - 0.0000 -
3394.95/3416.64 c 3417 243478 2753 1 - 0.0000 -
3400.03/3421.71 c 3422 243862 2804 1 - 0.0000 -
3405.00/3426.76 c 3427 244251 2811 1 - 0.0000 -
3410.09/3431.86 c 3432 244560 2838 1 - 0.0000 -
3415.15/3436.93 c 3437 244911 2851 1 - 0.0000 -
3420.23/3442.03 c 3442 245269 2878 1 - 0.0000 -
3425.22/3447.08 c 3447 245629 2940 1 - 0.0000 -
3430.30/3452.15 c 3452 245959 2976 1 - 0.0000 -
3435.37/3457.21 c 3457 246314 2996 1 - 0.0000 -
3440.36/3462.26 c 3462 246671 3013 1 - 0.0000 -
3445.43/3467.32 c 3467 247012 3038 1 - 0.0000 -
3450.41/3472.37 c 3472 247386 3036 1 - 0.0000 -
3455.49/3477.44 c 3477 247775 3048 1 - 0.0000 -
3460.47/3482.49 c 3482 248109 3068 1 - 0.0000 -
3465.55/3487.56 c 3488 248471 3078 1 - 0.0000 -
3470.62/3492.62 c 3493 248833 3094 1 - 0.0000 -
3475.61/3497.68 c 3498 249155 3127 1 - 0.0000 -
3480.69/3502.76 c 3503 249527 3131 1 - 0.0000 -
3485.77/3507.84 c 3508 249898 3158 1 - 0.0000 -
3490.85/3512.91 c 3513 250258 3166 1 - 0.0000 -
3495.82/3517.98 c 3518 250630 3190 1 - 0.0000 -
3500.91/3523.04 c 3523 251004 3248 1 - 0.0000 -
3505.99/3528.14 c 3528 251382 3267 1 - 0.0000 -
3510.96/3533.19 c 3533 251696 3297 1 - 0.0000 -
3516.04/3538.25 c 3538 252054 3341 1 - 0.0000 -
3521.12/3543.34 c 3543 252422 3358 1 - 0.0000 -
3526.20/3548.40 c 3548 252788 3403 1 - 0.0000 -
3531.18/3553.49 c 3554 253159 3416 1 - 0.0000 -
3536.36/3558.62 c 3559 253530 3444 1 - 0.0000 -
3541.34/3563.68 c 3564 253876 3454 1 - 0.0000 -
3546.41/3568.75 c 3569 254255 3467 1 - 0.0000 -
3551.50/3573.80 c 3574 254618 3478 1 - 0.0000 -
3556.47/3578.87 c 3579 254982 3486 1 - 0.0000 -
3561.56/3583.95 c 3584 255342 3498 1 - 0.0000 -
3566.64/3589.01 c 3589 255685 3507 1 - 0.0000 -
3571.62/3594.08 c 3594 256059 3532 1 - 0.0000 -
3576.70/3599.18 c 3599 256430 3533 1 - 0.0000 -
3577.70/3600.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3577.70/3600.18 c Total Time : 3600.1900
3577.70/3600.18 c solving : 3600.1900
3577.70/3600.18 c presolving : 2.0520 (included in solving)
3577.70/3600.18 c B&B Tree :
3577.70/3600.18 c nodes (total) : 1
3577.70/3600.18 c Solution :
3577.70/3600.18 c Solutions found : 0
3577.70/3600.18 c Primal Bound : -
3577.70/3600.18 c Dual Bound : +0.00000000000000e+00
3577.70/3600.18 c Gap : -
3577.79/3600.26 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 (59357 MiB free)
memory of node 1: 64473 MiB (60069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442870-1721298071/watcher-4442870-1721298071 -o /tmp/evaluation-result-4442870-1721298071/solver-4442870-1721298071 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442870-1721298071.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=952934, runsolver pid=952931
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 952935
/proc/meminfo: memFree=122255532/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=62272 memory=51828 CPUtime=0.1 cores=0,2
/proc/952934/stat : 952934 (fscip) R 952931 952934 950155 0 -1 4194304 11038 0 0 0 9 1 0 0 20 0 1 0 181976079 63766528 12957 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 15568 12957 2542 3032 0 11968 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62272 KiB
Current children cumulated memory: 51828 KiB
[startup+0.205928 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 952935
/proc/meminfo: memFree=122205964/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=108888 memory=96888 CPUtime=0.2 cores=0,2
/proc/952934/stat : 952934 (fscip) R 952931 952934 950155 0 -1 4194304 22303 0 0 0 17 3 0 0 20 0 1 0 181976079 111501312 24222 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 27222 24222 2590 3032 0 23622 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108888 KiB
Current children cumulated memory: 96888 KiB
[startup+0.305677 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 952935
/proc/meminfo: memFree=122127832/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=146344 memory=132860 CPUtime=0.3 cores=0,2
/proc/952934/stat : 952934 (fscip) R 952931 952934 950155 0 -1 4194304 32505 0 0 0 25 5 0 0 20 0 1 0 181976079 149856256 33215 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 36586 33215 2638 3032 0 32986 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 146344 KiB
Current children cumulated memory: 132860 KiB
[startup+0.700256 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 952935
/proc/meminfo: memFree=122063424/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=130556 memory=118988 CPUtime=0.68 cores=0,2
/proc/952934/stat : 952934 (fscip) R 952931 952934 950155 0 -1 4194304 41274 0 0 0 62 6 0 0 20 0 1 0 181976079 133689344 29747 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 32639 29747 2718 3032 0 29039 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130556 KiB
Current children cumulated memory: 118988 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 952935
/proc/meminfo: memFree=122034020/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=170320 memory=146236 CPUtime=1.48 cores=0,2
/proc/952934/stat : 952934 (fscip) R 952931 952934 950155 0 -1 4194304 47577 0 0 0 140 8 0 0 20 0 1 0 181976079 174407680 36559 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 42580 36559 2750 3032 0 38980 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 170320 KiB
Current children cumulated memory: 146236 KiB
[startup+3.10559 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 952937
/proc/meminfo: memFree=121886868/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=325216 memory=288532 CPUtime=3.08 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 88771 0 0 0 294 14 0 0 20 0 3 0 181976079 333021184 72133 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 81304 72133 2766 3032 0 76825 0
[pid=952934/tid=952936] ppid=952931 vsize=325216 memory=288532 CPUtime=0.78 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 30303 0 0 0 74 4 0 0 20 0 3 0 181976301 333021184 72133 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=325216 memory=0 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 181976316 333021184 72133 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 325216 KiB
Current children cumulated memory: 288532 KiB
[startup+6.3006 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 952938
/proc/meminfo: memFree=121810368/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=469636 memory=363716 CPUtime=6.24 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 137635 0 0 0 606 18 0 0 20 0 3 0 181976079 480907264 90929 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 117409 90929 2926 3032 0 99895 0
[pid=952934/tid=952936] ppid=952931 vsize=469636 memory=0 CPUtime=3.94 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 79160 0 0 0 386 8 0 0 20 0 3 0 181976301 480907264 90929 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=469636 memory=146236 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 181976316 480907264 90929 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 469636 KiB
Current children cumulated memory: 363716 KiB
[startup+12.7006 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 952938
/proc/meminfo: memFree=121775652/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=600708 memory=445176 CPUtime=12.57 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 192096 0 0 0 1234 23 0 0 20 0 3 0 181976079 615124992 111294 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 150177 111294 2926 3032 0 130932 0
[pid=952934/tid=952936] ppid=952931 vsize=600708 memory=0 CPUtime=10.28 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 133612 0 0 0 1015 13 0 0 20 0 3 0 181976301 615124992 111294 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=600708 memory=391172 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 181976316 615124992 111294 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 600708 KiB
Current children cumulated memory: 445176 KiB
[startup+25.5006 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 952940
/proc/meminfo: memFree=121587004/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=600708 memory=494380 CPUtime=25.24 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 295265 0 0 0 2493 31 0 0 20 0 3 0 181976079 615124992 123595 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 150177 123595 2974 3032 0 143310 0
[pid=952934/tid=952936] ppid=952931 vsize=600708 memory=493148 CPUtime=22.94 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 236686 0 0 0 2273 21 0 0 20 0 3 0 181976301 615124992 123595 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=600708 memory=462728 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 181976316 615124992 123595 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 600708 KiB
Current children cumulated memory: 494380 KiB
[startup+51.1066 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 952945
/proc/meminfo: memFree=121328028/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=666244 memory=496572 CPUtime=50.55 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 360908 0 0 0 5019 36 0 0 20 0 3 0 181976079 682233856 124143 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 166561 124143 2974 3032 0 147374 0
[pid=952934/tid=952936] ppid=952931 vsize=666244 memory=496552 CPUtime=48.25 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 302244 0 0 0 4799 26 0 0 20 0 3 0 181976301 682233856 124143 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=666244 memory=12088 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 181976316 682233856 124143 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 50.55 s
Current children cumulated vsize: 666244 KiB
Current children cumulated memory: 496572 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 952955
/proc/meminfo: memFree=121326648/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=666244 memory=496676 CPUtime=101.27 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 434052 0 0 0 10084 43 0 0 20 0 3 0 181976079 682233856 124169 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 166561 124169 2974 3032 0 150159 0
[pid=952934/tid=952936] ppid=952931 vsize=666244 memory=6720661043498073965 CPUtime=98.97 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 375309 0 0 0 9864 33 0 0 20 0 3 0 181976301 682233856 124169 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=666244 memory=496676 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 181976316 682233856 124169 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 101.27 s
Current children cumulated vsize: 666244 KiB
Current children cumulated memory: 496676 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 952965
/proc/meminfo: memFree=121307704/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=666244 memory=513524 CPUtime=160.96 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 509446 0 0 0 16045 51 0 0 20 0 3 0 181976079 682233856 128381 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 166561 128381 2974 3032 0 160102 0
[pid=952934/tid=952936] ppid=952931 vsize=666244 memory=496676 CPUtime=158.65 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 450638 0 0 0 15824 41 0 0 20 0 3 0 181976301 682233856 128381 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=666244 memory=513508 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 181976316 682233856 128381 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 160.96 s
Current children cumulated vsize: 666244 KiB
Current children cumulated memory: 513524 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/265 952976
/proc/meminfo: memFree=121246416/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=731780 memory=551192 CPUtime=220.61 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 557528 0 0 0 22001 60 0 0 20 0 3 0 181976079 749342720 137798 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 182945 137798 2974 3032 0 165550 0
[pid=952934/tid=952936] ppid=952931 vsize=731780 memory=496676 CPUtime=218.3 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 498666 0 0 0 21780 50 0 0 20 0 3 0 181976301 749342720 137798 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=731780 memory=12088 CPUtime=0 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 181976316 749342720 137798 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 220.61 s
Current children cumulated vsize: 731780 KiB
Current children cumulated memory: 551192 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 953372
/proc/meminfo: memFree=121244972/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=731780 memory=551204 CPUtime=280.24 cores=0,2
################
# More data... #
################
[pid=952934] ppid=952931 vsize=808192 memory=616572 CPUtime=3380.72 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2212189 0 0 0 337669 403 0 0 20 0 3 0 181976079 827588608 154143 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 154143 2974 3032 0 181551 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=615 CPUtime=3378.15 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2151771 0 0 0 337434 381 0 0 20 0 3 0 181976301 827588608 154143 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=616572 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 149 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 154143 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3380.72 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 616572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 955093
/proc/meminfo: memFree=124758796/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=655404 CPUtime=3440.46 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2263134 0 0 0 343634 412 0 0 20 0 3 0 181976079 827588608 163851 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 163851 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=12088 CPUtime=3437.88 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2202686 0 0 0 343399 389 0 0 20 0 3 0 181976301 827588608 163851 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=12088 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 151 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 163851 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3440.46 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 655404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/259 955151
/proc/meminfo: memFree=124816708/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=655656 CPUtime=3500.21 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2294406 0 0 0 349603 418 0 0 20 0 3 0 181976079 827588608 163914 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 163914 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=44880 CPUtime=3497.63 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2233925 0 0 0 349368 395 0 0 20 0 3 0 181976301 827588608 163914 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=655656 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 153 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 163914 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3500.21 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 655656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 955213
/proc/meminfo: memFree=124664796/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=655660 CPUtime=3559.96 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2323447 0 0 0 355572 424 0 0 20 0 3 0 181976079 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 163915 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=655660 CPUtime=3557.38 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2262941 0 0 0 355337 401 0 0 20 0 3 0 181976301 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=655660 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3559.96 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 655660 KiB
[startup+3600.28 s]
# the end of solver process 952934 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.58 s, system=4.29845 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.11 4.09 5/265 955214
/proc/meminfo: memFree=124664768/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=655660 CPUtime=3561.66 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2323671 0 0 0 355742 424 0 0 20 0 3 0 181976079 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 163915 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=7404 CPUtime=3559.08 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2263163 0 0 0 355507 401 0 0 20 0 3 0 181976301 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=-4421386517756470882 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3561.66 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 655660 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 955216
/proc/meminfo: memFree=124663284/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=655660 CPUtime=3568.03 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2324647 0 0 0 356379 424 0 0 20 0 3 0 181976079 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 163915 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=655660 CPUtime=3565.44 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2264139 0 0 0 356143 401 0 0 20 0 3 0 181976301 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=655660 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 163915 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3568.03 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 655660 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 955265
/proc/meminfo: memFree=125903696/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=656236 CPUtime=3574.41 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2324945 0 0 0 357016 425 0 0 20 0 3 0 181976079 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 164059 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=655660 CPUtime=3571.82 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2264437 0 0 0 356780 402 0 0 20 0 3 0 181976301 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=655660 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 656236 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 955265
/proc/meminfo: memFree=125903192/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=656236 CPUtime=3576 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2329861 0 0 0 357175 425 0 0 20 0 3 0 181976079 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 164059 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=656236 CPUtime=3573.41 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2269352 0 0 0 356939 402 0 0 20 0 3 0 181976301 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=44880 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3576 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 656236 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.11 4.09 4/260 955327
/proc/meminfo: memFree=126062632/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=656236 CPUtime=3576.79 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2330590 0 0 0 357254 425 0 0 20 0 3 0 181976079 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 164059 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=25944 CPUtime=3574.21 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2270081 0 0 0 357019 402 0 0 20 0 3 0 181976301 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=32872 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3576.79 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 656236 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.11 4.09 6/265 955361
/proc/meminfo: memFree=125995876/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=808192 memory=656236 CPUtime=3577.59 cores=0,2
/proc/952934/stat : 952934 (fscip) S 952931 952934 950155 0 -1 1077936128 2332086 0 0 0 357334 425 0 0 20 0 3 0 181976079 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 202048 164059 2974 3032 0 191660 0
[pid=952934/tid=952936] ppid=952931 vsize=808192 memory=4744 CPUtime=3575.01 cores=0,2
/proc/952934/task/952936/stat : 952936 (fscip) R 952931 952934 950155 0 -1 4194368 2271635 0 0 0 357099 402 0 0 20 0 3 0 181976301 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
[pid=952934/tid=952937] ppid=952931 vsize=808192 memory=-6370173900028033895 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 3 0 181976316 827588608 164059 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3577.59 s
Current children cumulated vsize: 808192 KiB
Current children cumulated memory: 656236 KiB
[startup+3600.2 s]
/proc/loadavg: 4.11 4.11 4.09 6/265 955361
/proc/meminfo: memFree=125995876/131524600 swapFree=131071996/131071996
[pid=952934] ppid=952931 vsize=719292 memory=545932 CPUtime=3577.79 cores=0,2
/proc/952934/stat : 952934 (fscip) R 952931 952934 950155 0 -1 4194304 2375143 0 0 0 357352 427 0 0 20 0 2 0 181976079 736555008 136483 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
/proc/952934/statm: 179823 136483 2974 3032 0 175497 0
[pid=952934/tid=952937] ppid=952931 vsize=719292 memory=102020 CPUtime=0.05 cores=0,2
/proc/952934/task/952937/stat : 952937 (fscip) S 952931 952934 950155 0 -1 1077936192 155 0 0 0 1 4 0 0 20 0 2 0 181976316 736555008 136483 134679101440 4194304 16613245 140734489131888 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33824768 140734489134100 140734489134216 140734489134216 140734489141232 0
Current children cumulated CPU time: 3577.79 s
Current children cumulated vsize: 719292 KiB
Current children cumulated memory: 545932 KiB
Child status: 0
Real time (s): 3600.28
CPU time (s): 3577.88
CPU user time (s): 3573.58
CPU system time (s): 4.29845
CPU usage (%): 99.3778
Max. virtual memory (cumulated for all children) (KiB): 808192
Max. memory (cumulated for all children) (KiB): 656236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.58
system time used= 4.29845
maximum resident set size= 656236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2390017
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= 10861
involuntary context switches= 25576
# summary of solver processes directly reported to runsolver:
# pid: 952934
# total CPU time (s): 3577.88
# total CPU user time (s): 3573.58
# total CPU system time (s): 4.29845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2986 second user time and 19.8979 second system time
The end
Begin job on nodeC032 at 2024-07-18 12:21:24
IDJOB=4442870
IDBENCH=147855
IDSOLVER=3064
FILE ID=nodeC032/4442870-1721298071
RUNJOBID= nodeC032-1721294255-950165
SLURM_JOB_ID= 7542614
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4442870-1721298071/watcher-4442870-1721298071 -o /tmp/evaluation-result-4442870-1721298071/solver-4442870-1721298071 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950165 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442870-1721298071.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 160cae61f04d8ccee666d7a366e84df3
RANDOM SEED=2069196424
nodeC032.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 : 3663.804
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.33
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 : 3600.069
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.03
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 : 3670.158
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.33
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 : 3684.383
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.03
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 : 3667.083
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.33
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.421
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.864
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.33
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 : 3599.845
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122292692 kB
MemAvailable: 124825492 kB
Buffers: 486396 kB
Cached: 2861908 kB
SwapCached: 0 kB
Active: 943548 kB
Inactive: 7624376 kB
Active(anon): 1556 kB
Inactive(anon): 5255780 kB
Active(file): 941992 kB
Inactive(file): 2368596 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30300 kB
Writeback: 0 kB
AnonPages: 5216836 kB
Mapped: 141048 kB
Shmem: 37720 kB
KReclaimable: 124072 kB
Slab: 239452 kB
SReclaimable: 124072 kB
SUnreclaim: 115380 kB
KernelStack: 4240 kB
PageTables: 19696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3155656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 933888 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-18 13:21:24