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.18 c Default LC presolving (default).
0.09/0.18 c ** Before presolving: virtualMemUsedAtLc = 163732533, getVmSize() = 117125120, SCIPgetMemUsed() = 83029869, SCIPgetMemTotal() = 89762837, SCIPgetMemExternEstim() = 73969696
0.09/0.18 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
2.45/2.57 c ** Estimated virtualMemUsedAtSolver = 149440188, getVmSize() = 191344640, SCIPgetMemUsed() = 112981554, SCIPgetMemTotal() = 150190586, SCIPgetMemExternEstim() = 73969696
2.45/2.57 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.45/2.57 c Original Problem :
2.45/2.57 c Problem name : instance-4464406-1722378603
2.45/2.57 c Variables : 2750 (2750 binary, 0 integer, 0 implicit integer, 0 continuous)
2.45/2.57 c Constraints : 74305
2.45/2.57 c Objective sense : minimize
2.45/2.57 c Presolved Problem :
2.45/2.57 c Variables : 2750 (2750 binary, 0 integer, 0 implicit integer, 0 continuous)
2.45/2.57 c Constraints : 74408
2.45/2.57 c Constraints : Number
2.45/2.57 c setppc : 74353
2.45/2.57 c logicor : 55
2.45/2.57 c ** Instance transfer method used: 0
2.56/2.66 c ** ParaScipInstance copy does not increase the number of variables. **
2.66/2.74 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.66/2.74 c Nodes Active
2.66/2.74 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
20.65/20.82 c 21 2 1 1 - 0.0000 -
26.53/26.78 c 27 20 19 1 - 0.0000 -
32.31/32.52 c 33 29 28 1 - 0.0000 -
38.70/38.95 c 39 38 37 1 - 0.0000 -
44.38/44.69 c 45 102 97 1 - 0.0000 -
49.66/49.92 c 50 178 159 1 - 0.0000 -
55.45/55.73 c 56 287 236 1 - 0.0000 -
60.53/60.84 c 61 499 279 1 - 0.0000 -
66.22/66.55 c 67 718 305 1 - 0.0000 -
71.30/71.67 c 72 942 290 1 - 0.0000 -
76.88/77.26 c 77 1122 327 1 - 0.0000 -
82.46/82.80 c 83 1322 391 1 - 0.0000 -
87.85/88.24 c 88 1417 414 1 - 0.0000 -
93.53/93.97 c 94 1511 430 1 - 0.0000 -
98.91/99.39 c 99 1633 448 1 - 0.0000 -
104.41/104.81 c 105 1737 464 1 - 0.0000 -
109.78/110.24 c 110 1826 483 1 - 0.0000 -
115.27/115.75 c 116 1935 506 1 - 0.0000 -
121.06/121.56 c 122 2049 522 1 - 0.0000 -
126.55/127.01 c 127 2142 529 1 - 0.0000 -
132.33/132.81 c 133 2268 543 1 - 0.0000 -
137.61/138.15 c 138 2348 547 1 - 0.0000 -
143.60/144.15 c 144 2564 552 1 - 0.0000 -
148.97/149.56 c 150 2693 559 1 - 0.0000 -
155.56/156.15 c 156 2846 576 1 - 0.0000 -
161.04/161.64 c 162 2968 588 1 - 0.0000 -
166.53/167.12 c 167 3083 601 1 - 0.0000 -
172.41/173.10 c 173 3200 608 1 - 0.0000 -
177.49/178.17 c 178 3438 620 1 - 0.0000 -
182.57/183.27 c 183 3678 624 1 - 0.0000 -
187.86/188.50 c 188 3843 623 1 - 0.0000 -
192.94/193.66 c 194 3932 627 1 - 0.0000 -
198.43/199.16 c 199 4110 673 1 - 0.0000 -
206.20/206.95 c 207 4230 687 1 - 0.0000 -
211.39/212.13 c 212 4322 703 1 - 0.0000 -
216.87/217.62 c 218 4432 717 1 - 0.0000 -
223.05/223.87 c 224 4594 733 1 - 0.0000 -
228.83/229.63 c 230 4706 741 1 - 0.0000 -
234.32/235.16 c 235 4810 743 1 - 0.0000 -
239.71/240.53 c 241 4932 757 1 - 0.0000 -
245.08/245.97 c 246 5060 779 1 - 0.0000 -
250.66/251.57 c 252 5189 788 1 - 0.0000 -
256.14/257.01 c 257 5327 806 1 - 0.0000 -
261.42/262.36 c 262 5473 810 1 - 0.0000 -
266.80/267.71 c 268 5670 821 1 - 0.0000 -
272.18/273.18 c 273 5833 828 1 - 0.0000 -
277.65/278.60 c 279 5990 833 1 - 0.0000 -
282.83/283.83 c 284 6189 840 1 - 0.0000 -
287.91/288.93 c 289 6425 852 1 - 0.0000 -
293.09/294.18 c 294 6691 875 1 - 0.0000 -
298.17/299.24 c 299 6995 891 1 - 0.0000 -
303.85/304.90 c 305 7214 882 1 - 0.0000 -
308.92/310.00 c 310 7458 932 1 - 0.0000 -
314.59/315.76 c 316 7604 945 1 - 0.0000 -
320.37/321.55 c 322 7872 956 1 - 0.0000 -
325.65/326.85 c 327 8066 971 1 - 0.0000 -
331.43/332.64 c 333 8202 1021 1 - 0.0000 -
336.71/337.97 c 338 8309 1032 1 - 0.0000 -
342.48/343.72 c 344 8398 1069 1 - 0.0000 -
347.78/349.07 c 349 8518 1079 1 - 0.0000 -
353.05/354.33 c 354 8598 1103 1 - 0.0000 -
358.03/359.38 c 359 8725 1118 1 - 0.0000 -
364.10/365.45 c 365 8867 1130 1 - 0.0000 -
369.58/370.92 c 371 8975 1134 1 - 0.0000 -
375.26/376.63 c 377 9084 1138 1 - 0.0000 -
380.64/382.01 c 382 9206 1148 1 - 0.0000 -
386.31/387.75 c 388 9333 1176 1 - 0.0000 -
391.90/393.37 c 393 9456 1222 1 - 0.0000 -
396.97/398.49 c 398 9636 1265 1 - 0.0000 -
402.05/403.56 c 404 9876 1313 1 - 0.0000 -
407.63/409.14 c 409 10114 1351 1 - 0.0000 -
412.70/414.25 c 414 10316 1366 1 - 0.0000 -
417.97/419.57 c 420 10508 1386 1 - 0.0000 -
423.15/424.73 c 425 10719 1416 1 - 0.0000 -
428.23/429.83 c 430 10942 1452 1 - 0.0000 -
433.30/434.93 c 435 11196 1474 1 - 0.0000 -
438.48/440.12 c 440 11457 1536 1 - 0.0000 -
443.45/445.19 c 445 11773 1559 1 - 0.0000 -
448.63/450.30 c 450 12080 1537 1 - 0.0000 -
453.80/455.58 c 456 12234 1552 1 - 0.0000 -
459.18/460.93 c 461 12333 1567 1 - 0.0000 -
464.76/466.58 c 467 12444 1586 1 - 0.0000 -
469.85/471.68 c 472 12556 1596 1 - 0.0000 -
475.82/477.61 c 478 12667 1619 1 - 0.0000 -
481.40/483.28 c 483 12793 1637 1 - 0.0000 -
487.57/489.45 c 489 12945 1659 1 - 0.0000 -
493.35/495.23 c 495 13094 1678 1 - 0.0000 -
499.03/500.91 c 501 13202 1686 1 - 0.0000 -
504.31/506.26 c 506 13369 1694 1 - 0.0000 -
509.38/511.33 c 511 13529 1704 1 - 0.0000 -
514.56/516.57 c 517 13778 1708 1 - 0.0000 -
520.23/522.23 c 522 13970 1711 1 - 0.0000 -
525.30/527.30 c 527 14213 1719 1 - 0.0000 -
530.28/532.39 c 532 14514 1748 1 - 0.0000 -
535.45/537.54 c 538 14820 1774 1 - 0.0000 -
541.12/543.28 c 543 15041 1763 1 - 0.0000 -
546.91/549.10 c 549 15222 1770 1 - 0.0000 -
551.98/554.17 c 554 15443 1774 1 - 0.0000 -
557.05/559.25 c 559 15659 1780 1 - 0.0000 -
562.33/564.54 c 565 15858 1776 1 - 0.0000 -
567.40/569.65 c 570 16126 1790 1 - 0.0000 -
572.48/574.73 c 575 16407 1789 1 - 0.0000 -
577.45/579.79 c 580 16699 1812 1 - 0.0000 -
582.62/584.90 c 585 17002 1821 1 - 0.0000 -
587.61/589.98 c 590 17303 1818 1 - 0.0000 -
593.08/595.41 c 595 17580 1815 1 - 0.0000 -
598.15/600.51 c 601 17860 1813 1 - 0.0000 -
603.23/605.60 c 606 18095 1813 1 - 0.0000 -
608.20/610.69 c 611 18351 1819 1 - 0.0000 -
613.28/615.77 c 616 18657 1829 1 - 0.0000 -
618.86/621.34 c 621 18898 1833 1 - 0.0000 -
624.23/626.71 c 627 19072 1835 1 - 0.0000 -
629.31/631.89 c 632 19363 1848 1 - 0.0000 -
634.38/636.95 c 637 19646 1845 1 - 0.0000 -
640.15/642.74 c 643 19902 1850 1 - 0.0000 -
645.34/647.98 c 648 20097 1849 1 - 0.0000 -
650.52/653.12 c 653 20375 1849 1 - 0.0000 -
655.58/658.23 c 658 20662 1869 1 - 0.0000 -
660.55/663.28 c 663 20971 1877 1 - 0.0000 -
665.74/668.40 c 668 21246 1871 1 - 0.0000 -
670.81/673.50 c 674 21516 1870 1 - 0.0000 -
675.88/678.61 c 679 21804 1889 1 - 0.0000 -
680.96/683.70 c 684 22040 1891 1 - 0.0000 -
687.33/690.17 c 690 22160 1897 1 - 0.0000 -
693.21/696.04 c 696 22265 1900 1 - 0.0000 -
698.29/701.12 c 701 22482 1909 1 - 0.0000 -
703.76/706.63 c 707 22665 1913 1 - 0.0000 -
708.74/711.68 c 712 22964 1913 1 - 0.0000 -
713.81/716.76 c 717 23222 1912 1 - 0.0000 -
719.99/722.97 c 723 23350 1920 1 - 0.0000 -
725.06/728.03 c 728 23609 1926 1 - 0.0000 -
730.14/733.15 c 733 23862 1935 1 - 0.0000 -
735.31/738.31 c 738 24133 1942 1 - 0.0000 -
740.39/743.40 c 743 24408 1941 1 - 0.0000 -
745.57/748.64 c 749 24634 1938 1 - 0.0000 -
750.64/753.72 c 754 24923 1940 1 - 0.0000 -
755.72/758.82 c 759 25192 1951 1 - 0.0000 -
760.69/763.89 c 764 25465 1978 1 - 0.0000 -
766.96/770.15 c 770 25704 1957 1 - 0.0000 -
772.63/775.82 c 776 25953 1959 1 - 0.0000 -
777.72/780.94 c 781 26245 1963 1 - 0.0000 -
782.80/786.01 c 786 26519 1967 1 - 0.0000 -
787.77/791.08 c 791 26820 1989 1 - 0.0000 -
792.84/796.15 c 796 27107 1970 1 - 0.0000 -
797.91/801.20 c 801 27394 1975 1 - 0.0000 -
802.88/806.25 c 806 27682 1966 1 - 0.0000 -
807.96/811.30 c 811 27980 1967 1 - 0.0000 -
812.95/816.38 c 816 28268 1974 1 - 0.0000 -
818.03/821.49 c 821 28560 1971 1 - 0.0000 -
823.30/826.74 c 827 28825 1965 1 - 0.0000 -
828.87/832.33 c 832 29048 1999 1 - 0.0000 -
834.26/837.72 c 838 29160 2025 1 - 0.0000 -
840.44/843.95 c 844 29270 2037 1 - 0.0000 -
846.02/849.57 c 850 29385 2046 1 - 0.0000 -
851.49/855.08 c 855 29522 2061 1 - 0.0000 -
856.57/860.15 c 860 29694 2091 1 - 0.0000 -
861.65/865.24 c 865 29977 2108 1 - 0.0000 -
866.72/870.31 c 870 30282 2135 1 - 0.0000 -
871.70/875.39 c 875 30572 2131 1 - 0.0000 -
876.77/880.48 c 880 30863 2130 1 - 0.0000 -
882.35/886.10 c 886 31056 2160 1 - 0.0000 -
888.02/891.74 c 892 31217 2179 1 - 0.0000 -
893.80/897.53 c 898 31316 2192 1 - 0.0000 -
898.78/902.57 c 903 31426 2194 1 - 0.0000 -
903.96/907.73 c 908 31527 2199 1 - 0.0000 -
909.44/913.26 c 913 31651 2201 1 - 0.0000 -
914.53/918.36 c 918 31765 2213 1 - 0.0000 -
920.31/924.15 c 924 31918 2220 1 - 0.0000 -
925.48/929.35 c 929 32012 2230 1 - 0.0000 -
931.65/935.55 c 936 32155 2233 1 - 0.0000 -
937.03/940.91 c 941 32293 2237 1 - 0.0000 -
942.12/946.03 c 946 32412 2238 1 - 0.0000 -
947.40/951.31 c 951 32525 2241 1 - 0.0000 -
952.78/956.70 c 957 32675 2243 1 - 0.0000 -
957.96/961.93 c 962 32802 2246 1 - 0.0000 -
963.14/967.13 c 967 32948 2246 1 - 0.0000 -
968.92/972.99 c 973 33147 2255 1 - 0.0000 -
974.50/978.59 c 979 33360 2258 1 - 0.0000 -
980.28/984.33 c 984 33486 2258 1 - 0.0000 -
985.66/989.71 c 990 33637 2261 1 - 0.0000 -
991.65/995.78 c 996 33808 2268 1 - 0.0000 -
996.73/1000.84 c 1001 34036 2280 1 - 0.0000 -
1002.02/1006.18 c 1006 34236 2287 1 - 0.0000 -
1007.29/1011.45 c 1011 34414 2289 1 - 0.0000 -
1012.98/1017.14 c 1017 34582 2305 1 - 0.0000 -
1018.05/1022.24 c 1022 34830 2339 1 - 0.0000 -
1023.04/1027.29 c 1027 35102 2347 1 - 0.0000 -
1028.22/1032.42 c 1032 35363 2372 1 - 0.0000 -
1033.21/1037.49 c 1038 35622 2387 1 - 0.0000 -
1038.29/1042.57 c 1043 35892 2397 1 - 0.0000 -
1043.47/1047.72 c 1048 36163 2408 1 - 0.0000 -
1048.55/1052.80 c 1053 36451 2418 1 - 0.0000 -
1053.53/1057.86 c 1058 36737 2433 1 - 0.0000 -
1058.61/1062.91 c 1063 37026 2446 1 - 0.0000 -
1064.49/1068.83 c 1069 37297 2477 1 - 0.0000 -
1069.48/1073.89 c 1074 37612 2493 1 - 0.0000 -
1074.56/1078.98 c 1079 37891 2510 1 - 0.0000 -
1080.04/1084.47 c 1084 38156 2516 1 - 0.0000 -
1085.12/1089.56 c 1090 38306 2522 1 - 0.0000 -
1090.21/1094.68 c 1095 38544 2532 1 - 0.0000 -
1095.30/1099.78 c 1100 38826 2542 1 - 0.0000 -
1100.38/1104.85 c 1105 39095 2564 1 - 0.0000 -
1105.46/1109.99 c 1110 39394 2579 1 - 0.0000 -
1111.04/1115.56 c 1116 39566 2589 1 - 0.0000 -
1116.12/1120.65 c 1121 39850 2608 1 - 0.0000 -
1121.20/1125.73 c 1126 40145 2619 1 - 0.0000 -
1126.29/1130.81 c 1131 40376 2626 1 - 0.0000 -
1131.77/1136.35 c 1136 40644 2632 1 - 0.0000 -
1137.05/1141.62 c 1142 40846 2633 1 - 0.0000 -
1142.03/1146.69 c 1147 41111 2639 1 - 0.0000 -
1147.12/1151.76 c 1152 41395 2639 1 - 0.0000 -
1152.20/1156.83 c 1157 41671 2646 1 - 0.0000 -
1157.28/1161.90 c 1162 41966 2663 1 - 0.0000 -
1162.26/1166.98 c 1167 42256 2647 1 - 0.0000 -
1167.46/1172.14 c 1172 42526 2686 1 - 0.0000 -
1172.93/1177.65 c 1178 42731 2709 1 - 0.0000 -
1178.02/1182.74 c 1183 42996 2708 1 - 0.0000 -
1183.40/1188.15 c 1188 43235 2715 1 - 0.0000 -
1188.97/1193.78 c 1194 43439 2717 1 - 0.0000 -
1194.06/1198.87 c 1199 43620 2718 1 - 0.0000 -
1199.14/1203.93 c 1204 43900 2714 1 - 0.0000 -
1204.23/1209.04 c 1209 44168 2718 1 - 0.0000 -
1209.31/1214.15 c 1214 44431 2718 1 - 0.0000 -
1214.49/1219.30 c 1219 44566 2722 1 - 0.0000 -
1219.58/1224.43 c 1224 44823 2727 1 - 0.0000 -
1224.66/1229.51 c 1230 45093 2735 1 - 0.0000 -
1229.74/1234.66 c 1235 45358 2750 1 - 0.0000 -
1234.83/1239.73 c 1240 45569 2779 1 - 0.0000 -
1240.61/1245.55 c 1246 45824 2790 1 - 0.0000 -
1245.69/1250.63 c 1251 46091 2799 1 - 0.0000 -
1250.67/1255.68 c 1256 46339 2813 1 - 0.0000 -
1255.75/1260.75 c 1261 46627 2829 1 - 0.0000 -
1260.84/1265.82 c 1266 46911 2841 1 - 0.0000 -
1265.92/1270.90 c 1271 47218 2856 1 - 0.0000 -
1270.90/1275.97 c 1276 47513 2847 1 - 0.0000 -
1275.98/1281.03 c 1281 47796 2849 1 - 0.0000 -
1281.07/1286.12 c 1286 48100 2858 1 - 0.0000 -
1286.15/1291.20 c 1291 48386 2861 1 - 0.0000 -
1291.33/1296.49 c 1296 48650 2865 1 - 0.0000 -
1296.92/1302.09 c 1302 48902 2870 1 - 0.0000 -
1301.99/1307.18 c 1307 49124 2867 1 - 0.0000 -
1307.17/1312.39 c 1312 49372 2873 1 - 0.0000 -
1312.26/1317.46 c 1317 49657 2884 1 - 0.0000 -
1317.34/1322.54 c 1323 49962 2890 1 - 0.0000 -
1322.42/1327.64 c 1328 50257 2908 1 - 0.0000 -
1327.70/1332.98 c 1333 50532 2929 1 - 0.0000 -
1332.78/1338.04 c 1338 50785 2939 1 - 0.0000 -
1337.87/1343.13 c 1343 51062 2941 1 - 0.0000 -
1343.05/1348.31 c 1348 51355 2941 1 - 0.0000 -
1348.03/1353.38 c 1353 51650 2941 1 - 0.0000 -
1353.11/1358.48 c 1358 51932 2937 1 - 0.0000 -
1358.19/1363.54 c 1364 52215 2947 1 - 0.0000 -
1363.27/1368.61 c 1369 52502 2953 1 - 0.0000 -
1368.36/1373.76 c 1374 52792 2960 1 - 0.0000 -
1373.44/1378.85 c 1379 53090 2962 1 - 0.0000 -
1378.53/1383.94 c 1384 53384 2972 1 - 0.0000 -
1383.61/1389.09 c 1389 53684 2966 1 - 0.0000 -
1388.70/1394.15 c 1394 53977 2965 1 - 0.0000 -
1393.78/1399.22 c 1399 54264 2972 1 - 0.0000 -
1398.77/1404.29 c 1404 54570 3001 1 - 0.0000 -
1403.85/1409.38 c 1409 54870 3006 1 - 0.0000 -
1408.93/1414.43 c 1414 55190 3021 1 - 0.0000 -
1414.01/1419.51 c 1420 55498 3027 1 - 0.0000 -
1419.00/1424.58 c 1425 55808 3037 1 - 0.0000 -
1424.19/1429.71 c 1430 56103 3045 1 - 0.0000 -
1429.17/1434.78 c 1435 56404 3044 1 - 0.0000 -
1434.25/1439.87 c 1440 56709 3046 1 - 0.0000 -
1439.34/1444.96 c 1445 57033 3045 1 - 0.0000 -
1444.42/1450.02 c 1450 57332 3052 1 - 0.0000 -
1449.41/1455.08 c 1455 57636 3051 1 - 0.0000 -
1454.47/1460.16 c 1460 57926 3057 1 - 0.0000 -
1459.55/1465.23 c 1465 58219 3062 1 - 0.0000 -
1464.64/1470.30 c 1470 58552 3079 1 - 0.0000 -
1469.62/1475.37 c 1475 58878 3098 1 - 0.0000 -
1474.70/1480.42 c 1480 59200 3106 1 - 0.0000 -
1479.78/1485.50 c 1486 59549 3114 1 - 0.0000 -
1484.77/1490.58 c 1491 59886 3120 1 - 0.0000 -
1489.85/1495.65 c 1496 60219 3115 1 - 0.0000 -
1494.94/1500.71 c 1501 60542 3121 1 - 0.0000 -
1499.93/1505.79 c 1506 60873 3124 1 - 0.0000 -
1505.71/1511.51 c 1512 61046 3129 1 - 0.0000 -
1511.59/1517.50 c 1518 61187 3134 1 - 0.0000 -
1517.09/1522.95 c 1523 61298 3137 1 - 0.0000 -
1522.47/1528.36 c 1528 61431 3138 1 - 0.0000 -
1527.86/1533.70 c 1534 61559 3146 1 - 0.0000 -
1533.15/1539.03 c 1539 61671 3148 1 - 0.0000 -
1538.63/1544.58 c 1545 61765 3150 1 - 0.0000 -
1544.11/1550.03 c 1550 61958 3155 1 - 0.0000 -
1549.10/1555.06 c 1555 62076 3163 1 - 0.0000 -
1555.48/1561.48 c 1561 62228 3169 1 - 0.0000 -
1561.56/1567.55 c 1568 62383 3192 1 - 0.0000 -
1567.64/1573.65 c 1574 62578 3209 1 - 0.0000 -
1573.04/1579.09 c 1579 62722 3215 1 - 0.0000 -
1578.82/1584.83 c 1585 62962 3215 1 - 0.0000 -
1584.30/1590.33 c 1590 63193 3223 1 - 0.0000 -
1589.29/1595.39 c 1595 63483 3223 1 - 0.0000 -
1594.37/1600.45 c 1600 63785 3222 1 - 0.0000 -
1599.45/1605.52 c 1606 64058 3227 1 - 0.0000 -
1604.44/1610.59 c 1611 64343 3230 1 - 0.0000 -
1609.52/1615.69 c 1616 64664 3238 1 - 0.0000 -
1614.61/1620.76 c 1621 64950 3250 1 - 0.0000 -
1619.70/1625.89 c 1626 65245 3251 1 - 0.0000 -
1624.78/1630.96 c 1631 65513 3250 1 - 0.0000 -
1629.87/1636.05 c 1636 65797 3249 1 - 0.0000 -
1634.95/1641.13 c 1641 66084 3257 1 - 0.0000 -
1639.94/1646.19 c 1646 66365 3266 1 - 0.0000 -
1645.12/1651.30 c 1651 66670 3264 1 - 0.0000 -
1650.31/1656.51 c 1657 66948 3270 1 - 0.0000 -
1655.29/1661.58 c 1662 67165 3283 1 - 0.0000 -
1660.98/1667.28 c 1667 67318 3288 1 - 0.0000 -
1666.66/1672.93 c 1673 67505 3293 1 - 0.0000 -
1671.86/1678.17 c 1678 67708 3298 1 - 0.0000 -
1677.64/1683.94 c 1684 67849 3305 1 - 0.0000 -
1682.73/1689.04 c 1689 68116 3313 1 - 0.0000 -
1688.20/1694.50 c 1694 68403 3311 1 - 0.0000 -
1693.19/1699.57 c 1700 68692 3324 1 - 0.0000 -
1698.27/1704.65 c 1705 68951 3332 1 - 0.0000 -
1703.46/1709.88 c 1710 69075 3336 1 - 0.0000 -
1708.94/1715.33 c 1715 69202 3345 1 - 0.0000 -
1714.63/1721.02 c 1721 69337 3349 1 - 0.0000 -
1719.91/1726.38 c 1726 69472 3356 1 - 0.0000 -
1725.49/1731.90 c 1732 69590 3362 1 - 0.0000 -
1730.99/1737.42 c 1737 69737 3361 1 - 0.0000 -
1736.17/1742.63 c 1743 69890 3362 1 - 0.0000 -
1741.76/1748.26 c 1748 70029 3365 1 - 0.0000 -
1747.54/1754.03 c 1754 70218 3364 1 - 0.0000 -
1753.22/1759.74 c 1760 70436 3375 1 - 0.0000 -
1758.30/1764.84 c 1765 70722 3392 1 - 0.0000 -
1763.39/1769.97 c 1770 70999 3392 1 - 0.0000 -
1768.58/1775.11 c 1775 71280 3396 1 - 0.0000 -
1773.57/1780.19 c 1780 71565 3401 1 - 0.0000 -
1778.64/1785.24 c 1785 71863 3409 1 - 0.0000 -
1783.63/1790.29 c 1790 72182 3421 1 - 0.0000 -
1788.72/1795.38 c 1795 72476 3420 1 - 0.0000 -
1793.81/1800.46 c 1800 72778 3429 1 - 0.0000 -
1798.89/1805.57 c 1806 73094 3428 1 - 0.0000 -
1803.97/1810.63 c 1811 73400 3432 1 - 0.0000 -
1809.05/1815.71 c 1816 73698 3442 1 - 0.0000 -
1814.03/1820.79 c 1821 74008 3441 1 - 0.0000 -
1819.12/1825.88 c 1826 74301 3443 1 - 0.0000 -
1824.20/1830.97 c 1831 74595 3442 1 - 0.0000 -
1829.28/1836.03 c 1836 74899 3436 1 - 0.0000 -
1834.26/1841.10 c 1841 75200 3433 1 - 0.0000 -
1839.34/1846.17 c 1846 75494 3441 1 - 0.0000 -
1844.52/1851.31 c 1851 75813 3444 1 - 0.0000 -
1849.50/1856.38 c 1856 76119 3454 1 - 0.0000 -
1854.58/1861.45 c 1861 76422 3453 1 - 0.0000 -
1859.66/1866.57 c 1867 76745 3463 1 - 0.0000 -
1864.74/1871.63 c 1872 77056 3473 1 - 0.0000 -
1869.82/1876.70 c 1877 77373 3488 1 - 0.0000 -
1874.81/1881.77 c 1882 77698 3495 1 - 0.0000 -
1879.89/1886.85 c 1887 78019 3505 1 - 0.0000 -
1884.97/1891.95 c 1892 78314 3501 1 - 0.0000 -
1890.06/1897.03 c 1897 78591 3514 1 - 0.0000 -
1895.04/1902.08 c 1902 78898 3515 1 - 0.0000 -
1900.12/1907.15 c 1907 79211 3521 1 - 0.0000 -
1905.19/1912.26 c 1912 79510 3544 1 - 0.0000 -
1910.28/1917.33 c 1917 79834 3550 1 - 0.0000 -
1915.36/1922.44 c 1922 80151 3553 1 - 0.0000 -
1920.45/1927.54 c 1928 80475 3552 1 - 0.0000 -
1925.53/1932.63 c 1933 80795 3548 1 - 0.0000 -
1930.61/1937.72 c 1938 81101 3547 1 - 0.0000 -
1935.69/1942.81 c 1943 81407 3550 1 - 0.0000 -
1940.77/1947.90 c 1948 81725 3554 1 - 0.0000 -
1945.76/1952.99 c 1953 82025 3559 1 - 0.0000 -
1950.84/1958.04 c 1958 82320 3561 1 - 0.0000 -
1955.92/1963.11 c 1963 82634 3567 1 - 0.0000 -
1961.40/1968.67 c 1969 82896 3577 1 - 0.0000 -
1966.48/1973.73 c 1974 83194 3583 1 - 0.0000 -
1971.46/1978.78 c 1979 83487 3592 1 - 0.0000 -
1976.54/1983.86 c 1984 83787 3596 1 - 0.0000 -
1981.62/1988.93 c 1989 84095 3620 1 - 0.0000 -
1986.70/1994.01 c 1994 84404 3622 1 - 0.0000 -
1991.69/1999.08 c 1999 84720 3626 1 - 0.0000 -
1996.78/2004.14 c 2004 85026 3625 1 - 0.0000 -
2001.85/2009.20 c 2009 85346 3626 1 - 0.0000 -
2006.84/2014.25 c 2014 85646 3626 1 - 0.0000 -
2011.93/2019.32 c 2019 85957 3628 1 - 0.0000 -
2016.91/2024.39 c 2024 86260 3624 1 - 0.0000 -
2022.00/2029.45 c 2029 86568 3628 1 - 0.0000 -
2027.08/2034.51 c 2035 86897 3629 1 - 0.0000 -
2032.16/2039.61 c 2040 87198 3629 1 - 0.0000 -
2037.25/2044.71 c 2045 87487 3634 1 - 0.0000 -
2042.23/2049.79 c 2050 87800 3645 1 - 0.0000 -
2047.33/2054.87 c 2055 88118 3640 1 - 0.0000 -
2052.40/2059.95 c 2060 88416 3636 1 - 0.0000 -
2057.49/2065.04 c 2065 88741 3641 1 - 0.0000 -
2062.58/2070.13 c 2070 89060 3650 1 - 0.0000 -
2067.57/2075.19 c 2075 89376 3655 1 - 0.0000 -
2072.64/2080.25 c 2080 89690 3659 1 - 0.0000 -
2077.72/2085.38 c 2085 90004 3665 1 - 0.0000 -
2082.80/2090.49 c 2090 90314 3664 1 - 0.0000 -
2087.88/2095.55 c 2096 90611 3659 1 - 0.0000 -
2092.97/2100.61 c 2101 90907 3660 1 - 0.0000 -
2097.95/2105.66 c 2106 91213 3659 1 - 0.0000 -
2103.03/2110.71 c 2111 91512 3660 1 - 0.0000 -
2108.01/2115.78 c 2116 91811 3677 1 - 0.0000 -
2113.09/2120.85 c 2121 92119 3678 1 - 0.0000 -
2118.17/2125.95 c 2126 92439 3686 1 - 0.0000 -
2123.26/2131.04 c 2131 92770 3684 1 - 0.0000 -
2128.35/2136.11 c 2136 93094 3676 1 - 0.0000 -
2133.33/2141.16 c 2141 93408 3684 1 - 0.0000 -
2138.41/2146.22 c 2146 93704 3679 1 - 0.0000 -
2143.49/2151.33 c 2151 93984 3675 1 - 0.0000 -
2148.58/2156.48 c 2156 94284 3676 1 - 0.0000 -
2153.66/2161.59 c 2162 94591 3678 1 - 0.0000 -
2158.85/2166.76 c 2167 94894 3685 1 - 0.0000 -
2164.03/2171.90 c 2172 95198 3688 1 - 0.0000 -
2169.02/2176.96 c 2177 95487 3689 1 - 0.0000 -
2174.10/2182.06 c 2182 95767 3695 1 - 0.0000 -
2179.89/2187.89 c 2188 96012 3696 1 - 0.0000 -
2185.38/2193.32 c 2193 96127 3697 1 - 0.0000 -
2190.36/2198.37 c 2198 96397 3698 1 - 0.0000 -
2195.45/2203.46 c 2203 96693 3700 1 - 0.0000 -
2200.53/2208.55 c 2209 97006 3695 1 - 0.0000 -
2205.61/2213.62 c 2214 97318 3697 1 - 0.0000 -
2210.61/2218.67 c 2219 97623 3696 1 - 0.0000 -
2215.69/2223.74 c 2224 97931 3688 1 - 0.0000 -
2220.77/2228.80 c 2229 98255 3692 1 - 0.0000 -
2225.76/2233.87 c 2234 98583 3699 1 - 0.0000 -
2230.84/2238.93 c 2239 98895 3687 1 - 0.0000 -
2235.83/2243.99 c 2244 99215 3674 1 - 0.0000 -
2240.92/2249.08 c 2249 99537 3678 1 - 0.0000 -
2246.00/2254.14 c 2254 99848 3674 1 - 0.0000 -
2251.08/2259.20 c 2259 100162 3689 1 - 0.0000 -
2256.07/2264.25 c 2264 100473 3689 1 - 0.0000 -
2261.15/2269.37 c 2269 100798 3684 1 - 0.0000 -
2266.34/2274.56 c 2275 101087 3686 1 - 0.0000 -
2271.42/2279.62 c 2280 101426 3693 1 - 0.0000 -
2276.41/2284.68 c 2285 101742 3690 1 - 0.0000 -
2281.50/2289.77 c 2290 102061 3700 1 - 0.0000 -
2286.68/2294.90 c 2295 102380 3708 1 - 0.0000 -
2291.66/2299.97 c 2300 102706 3713 1 - 0.0000 -
2296.75/2305.03 c 2305 103031 3709 1 - 0.0000 -
2301.84/2310.11 c 2310 103370 3707 1 - 0.0000 -
2306.83/2315.17 c 2315 103700 3709 1 - 0.0000 -
2311.91/2320.23 c 2320 104029 3715 1 - 0.0000 -
2316.99/2325.32 c 2325 104348 3715 1 - 0.0000 -
2321.97/2330.38 c 2330 104657 3715 1 - 0.0000 -
2327.06/2335.44 c 2335 104970 3709 1 - 0.0000 -
2332.14/2340.53 c 2341 105282 3709 1 - 0.0000 -
2337.23/2345.60 c 2346 105612 3709 1 - 0.0000 -
2342.21/2350.67 c 2351 105920 3725 1 - 0.0000 -
2347.31/2355.72 c 2356 106216 3735 1 - 0.0000 -
2352.29/2360.78 c 2361 106537 3733 1 - 0.0000 -
2357.38/2365.84 c 2366 106850 3741 1 - 0.0000 -
2362.46/2370.91 c 2371 107140 3737 1 - 0.0000 -
2367.44/2375.97 c 2376 107453 3741 1 - 0.0000 -
2372.53/2381.02 c 2381 107768 3736 1 - 0.0000 -
2377.61/2386.12 c 2386 108073 3737 1 - 0.0000 -
2383.09/2391.66 c 2392 108328 3741 1 - 0.0000 -
2388.19/2396.76 c 2397 108649 3742 1 - 0.0000 -
2393.27/2401.81 c 2402 108983 3740 1 - 0.0000 -
2398.26/2406.87 c 2407 109299 3739 1 - 0.0000 -
2403.34/2411.93 c 2412 109621 3735 1 - 0.0000 -
2408.43/2417.06 c 2417 109922 3732 1 - 0.0000 -
2413.52/2422.12 c 2422 110206 3734 1 - 0.0000 -
2418.80/2427.44 c 2427 110468 3723 1 - 0.0000 -
2423.88/2432.54 c 2433 110767 3730 1 - 0.0000 -
2429.07/2437.79 c 2438 110902 3739 1 - 0.0000 -
2434.85/2443.59 c 2444 111169 3742 1 - 0.0000 -
2439.93/2448.66 c 2449 111453 3746 1 - 0.0000 -
2445.02/2453.74 c 2454 111675 3754 1 - 0.0000 -
2450.11/2458.83 c 2459 111944 3759 1 - 0.0000 -
2455.49/2464.20 c 2464 112194 3761 1 - 0.0000 -
2460.68/2469.47 c 2469 112343 3772 1 - 0.0000 -
2465.76/2474.55 c 2475 112653 3768 1 - 0.0000 -
2470.85/2479.61 c 2480 112955 3769 1 - 0.0000 -
2475.93/2484.71 c 2485 113246 3771 1 - 0.0000 -
2481.32/2490.14 c 2490 113542 3773 1 - 0.0000 -
2486.80/2495.69 c 2496 113682 3785 1 - 0.0000 -
2492.39/2501.20 c 2501 113834 3793 1 - 0.0000 -
2497.38/2506.28 c 2506 113959 3798 1 - 0.0000 -
2502.46/2511.36 c 2511 114113 3806 1 - 0.0000 -
2508.04/2516.93 c 2517 114301 3812 1 - 0.0000 -
2513.43/2522.32 c 2522 114487 3822 1 - 0.0000 -
2518.51/2527.44 c 2527 114689 3834 1 - 0.0000 -
2523.61/2532.54 c 2533 114906 3841 1 - 0.0000 -
2528.89/2537.89 c 2538 115142 3841 1 - 0.0000 -
2534.67/2543.61 c 2544 115352 3861 1 - 0.0000 -
2540.45/2549.45 c 2549 115509 3880 1 - 0.0000 -
2546.24/2555.25 c 2555 115667 3884 1 - 0.0000 -
2551.52/2560.55 c 2561 115810 3887 1 - 0.0000 -
2556.61/2565.66 c 2566 115943 3896 1 - 0.0000 -
2563.59/2572.66 c 2573 116102 3901 1 - 0.0000 -
2569.69/2578.72 c 2579 116238 3903 1 - 0.0000 -
2574.77/2583.84 c 2584 116362 3907 1 - 0.0000 -
2579.86/2588.96 c 2589 116468 3925 1 - 0.0000 -
2586.24/2595.36 c 2595 116673 3938 1 - 0.0000 -
2591.62/2600.73 c 2601 116869 3944 1 - 0.0000 -
2597.31/2606.48 c 2606 117066 3947 1 - 0.0000 -
2602.39/2611.56 c 2612 117314 3959 1 - 0.0000 -
2607.48/2616.62 c 2617 117498 3963 1 - 0.0000 -
2612.46/2621.69 c 2622 117697 3968 1 - 0.0000 -
2618.25/2627.42 c 2627 117882 3971 1 - 0.0000 -
2624.13/2633.32 c 2633 118050 3977 1 - 0.0000 -
2629.42/2638.66 c 2639 118234 3983 1 - 0.0000 -
2635.21/2644.45 c 2644 118429 3992 1 - 0.0000 -
2640.99/2650.25 c 2650 118585 4000 1 - 0.0000 -
2646.18/2655.45 c 2655 118777 4004 1 - 0.0000 -
2651.96/2661.26 c 2661 118967 4016 1 - 0.0000 -
2657.24/2666.59 c 2667 119166 4021 1 - 0.0000 -
2662.33/2671.68 c 2672 119421 4032 1 - 0.0000 -
2667.41/2676.77 c 2677 119687 4047 1 - 0.0000 -
2672.50/2681.89 c 2682 119953 4055 1 - 0.0000 -
2677.59/2686.99 c 2687 120213 4061 1 - 0.0000 -
2683.07/2692.44 c 2692 120433 4071 1 - 0.0000 -
2688.55/2697.96 c 2698 120649 4073 1 - 0.0000 -
2694.24/2703.62 c 2704 120768 4076 1 - 0.0000 -
2700.03/2709.42 c 2709 120954 4082 1 - 0.0000 -
2705.01/2714.49 c 2714 121199 4091 1 - 0.0000 -
2710.49/2719.91 c 2720 121446 4102 1 - 0.0000 -
2715.58/2725.00 c 2725 121705 4121 1 - 0.0000 -
2720.67/2730.14 c 2730 121977 4137 1 - 0.0000 -
2725.74/2735.23 c 2735 122250 4146 1 - 0.0000 -
2730.84/2740.38 c 2740 122506 4164 1 - 0.0000 -
2735.92/2745.45 c 2745 122780 4169 1 - 0.0000 -
2741.00/2750.56 c 2751 123065 4178 1 - 0.0000 -
2746.09/2755.64 c 2756 123339 4190 1 - 0.0000 -
2751.17/2760.71 c 2761 123609 4194 1 - 0.0000 -
2756.26/2765.84 c 2766 123861 4200 1 - 0.0000 -
2761.35/2770.92 c 2771 124123 4208 1 - 0.0000 -
2766.83/2776.49 c 2776 124340 4215 1 - 0.0000 -
2771.91/2781.58 c 2782 124609 4220 1 - 0.0000 -
2777.10/2786.72 c 2787 124844 4221 1 - 0.0000 -
2782.09/2791.79 c 2792 125114 4224 1 - 0.0000 -
2787.17/2796.86 c 2797 125407 4245 1 - 0.0000 -
2792.25/2801.97 c 2802 125711 4251 1 - 0.0000 -
2797.34/2807.02 c 2807 126042 4253 1 - 0.0000 -
2802.34/2812.08 c 2812 126323 4270 1 - 0.0000 -
2807.42/2817.16 c 2817 126615 4284 1 - 0.0000 -
2812.50/2822.24 c 2822 126910 4298 1 - 0.0000 -
2817.48/2827.29 c 2827 127215 4305 1 - 0.0000 -
2822.67/2832.40 c 2832 127521 4314 1 - 0.0000 -
2827.76/2837.51 c 2838 127817 4324 1 - 0.0000 -
2832.74/2842.56 c 2843 128104 4331 1 - 0.0000 -
2837.82/2847.65 c 2848 128399 4338 1 - 0.0000 -
2842.91/2852.71 c 2853 128694 4351 1 - 0.0000 -
2847.89/2857.78 c 2858 128982 4375 1 - 0.0000 -
2852.99/2862.86 c 2863 129287 4382 1 - 0.0000 -
2858.07/2867.91 c 2868 129587 4388 1 - 0.0000 -
2863.06/2872.97 c 2873 129876 4401 1 - 0.0000 -
2868.15/2878.04 c 2878 130158 4409 1 - 0.0000 -
2873.23/2883.10 c 2883 130457 4417 1 - 0.0000 -
2878.21/2888.17 c 2888 130752 4426 1 - 0.0000 -
2883.30/2893.23 c 2893 131049 4441 1 - 0.0000 -
2888.38/2898.37 c 2898 131352 4444 1 - 0.0000 -
2893.46/2903.48 c 2903 131646 4450 1 - 0.0000 -
2898.55/2908.57 c 2909 131943 4459 1 - 0.0000 -
2903.63/2913.65 c 2914 132190 4472 1 - 0.0000 -
2908.72/2918.71 c 2919 132490 4472 1 - 0.0000 -
2913.71/2923.78 c 2924 132801 4477 1 - 0.0000 -
2918.80/2928.89 c 2929 133104 4479 1 - 0.0000 -
2923.88/2933.97 c 2934 133418 4492 1 - 0.0000 -
2928.97/2939.06 c 2939 133731 4498 1 - 0.0000 -
2934.05/2944.11 c 2944 134021 4522 1 - 0.0000 -
2939.83/2949.95 c 2950 134314 4535 1 - 0.0000 -
2944.92/2955.02 c 2955 134622 4535 1 - 0.0000 -
2950.00/2960.11 c 2960 134917 4536 1 - 0.0000 -
2955.08/2965.20 c 2965 135235 4552 1 - 0.0000 -
2960.17/2970.30 c 2970 135540 4559 1 - 0.0000 -
2965.15/2975.37 c 2975 135860 4562 1 - 0.0000 -
2970.23/2980.45 c 2980 136132 4564 1 - 0.0000 -
2976.13/2986.31 c 2986 136389 4567 1 - 0.0000 -
2981.41/2991.65 c 2992 136653 4573 1 - 0.0000 -
2986.49/2996.71 c 2997 136947 4581 1 - 0.0000 -
2991.48/3001.79 c 3002 137226 4585 1 - 0.0000 -
2996.56/3006.86 c 3007 137520 4589 1 - 0.0000 -
3001.65/3011.92 c 3012 137798 4597 1 - 0.0000 -
3006.64/3016.99 c 3017 138098 4607 1 - 0.0000 -
3011.73/3022.06 c 3022 138404 4613 1 - 0.0000 -
3016.81/3027.15 c 3027 138704 4617 1 - 0.0000 -
3021.89/3032.22 c 3032 139014 4618 1 - 0.0000 -
3026.87/3037.28 c 3037 139318 4622 1 - 0.0000 -
3031.97/3042.38 c 3042 139631 4632 1 - 0.0000 -
3037.05/3047.44 c 3047 139932 4637 1 - 0.0000 -
3042.13/3052.50 c 3052 140246 4640 1 - 0.0000 -
3047.12/3057.59 c 3058 140542 4658 1 - 0.0000 -
3052.20/3062.67 c 3063 140835 4665 1 - 0.0000 -
3057.29/3067.73 c 3068 141137 4675 1 - 0.0000 -
3062.37/3072.80 c 3073 141442 4682 1 - 0.0000 -
3067.46/3077.92 c 3078 141753 4685 1 - 0.0000 -
3072.55/3083.02 c 3083 142054 4698 1 - 0.0000 -
3077.63/3088.11 c 3088 142369 4705 1 - 0.0000 -
3082.62/3093.17 c 3093 142676 4705 1 - 0.0000 -
3087.70/3098.24 c 3098 142998 4708 1 - 0.0000 -
3092.68/3103.29 c 3103 143329 4701 1 - 0.0000 -
3097.77/3108.34 c 3108 143645 4719 1 - 0.0000 -
3102.86/3113.42 c 3113 143932 4732 1 - 0.0000 -
3107.85/3118.48 c 3118 144231 4741 1 - 0.0000 -
3112.93/3123.56 c 3124 144539 4742 1 - 0.0000 -
3118.01/3128.63 c 3129 144858 4744 1 - 0.0000 -
3123.00/3133.69 c 3134 145173 4747 1 - 0.0000 -
3128.08/3138.74 c 3139 145508 4747 1 - 0.0000 -
3133.17/3143.83 c 3144 145820 4759 1 - 0.0000 -
3138.15/3148.89 c 3149 146131 4759 1 - 0.0000 -
3143.24/3153.98 c 3154 146447 4763 1 - 0.0000 -
3148.33/3159.06 c 3159 146742 4771 1 - 0.0000 -
3153.41/3164.16 c 3164 147044 4779 1 - 0.0000 -
3158.49/3169.22 c 3169 147354 4777 1 - 0.0000 -
3163.48/3174.29 c 3174 147664 4779 1 - 0.0000 -
3168.56/3179.35 c 3179 147981 4788 1 - 0.0000 -
3173.65/3184.43 c 3184 148278 4803 1 - 0.0000 -
3178.63/3189.48 c 3189 148601 4810 1 - 0.0000 -
3183.71/3194.55 c 3195 148919 4812 1 - 0.0000 -
3188.81/3199.63 c 3200 149247 4826 1 - 0.0000 -
3193.89/3204.70 c 3205 149550 4828 1 - 0.0000 -
3198.88/3209.79 c 3210 149855 4831 1 - 0.0000 -
3203.96/3214.85 c 3215 150169 4831 1 - 0.0000 -
3209.05/3219.91 c 3220 150482 4834 1 - 0.0000 -
3214.14/3225.01 c 3225 150805 4841 1 - 0.0000 -
3219.12/3230.10 c 3230 151112 4846 1 - 0.0000 -
3224.21/3235.18 c 3235 151416 4852 1 - 0.0000 -
3229.28/3240.24 c 3240 151743 4857 1 - 0.0000 -
3234.77/3245.78 c 3246 152006 4860 1 - 0.0000 -
3239.86/3250.84 c 3251 152317 4867 1 - 0.0000 -
3244.94/3255.93 c 3256 152643 4871 1 - 0.0000 -
3250.03/3261.02 c 3261 152966 4875 1 - 0.0000 -
3255.02/3266.08 c 3266 153274 4881 1 - 0.0000 -
3260.10/3271.17 c 3271 153601 4884 1 - 0.0000 -
3265.18/3276.22 c 3276 153915 4884 1 - 0.0000 -
3270.17/3281.29 c 3281 154226 4886 1 - 0.0000 -
3275.26/3286.35 c 3286 154560 4885 1 - 0.0000 -
3280.34/3291.41 c 3291 154873 4892 1 - 0.0000 -
3285.33/3296.47 c 3296 155190 4900 1 - 0.0000 -
3290.41/3301.56 c 3302 155514 4904 1 - 0.0000 -
3295.49/3306.61 c 3307 155832 4900 1 - 0.0000 -
3300.59/3311.70 c 3312 156135 4901 1 - 0.0000 -
3305.57/3316.78 c 3317 156454 4926 1 - 0.0000 -
3310.65/3321.87 c 3322 156758 4931 1 - 0.0000 -
3315.74/3326.94 c 3327 157069 4941 1 - 0.0000 -
3320.83/3332.01 c 3332 157386 4944 1 - 0.0000 -
3325.82/3337.08 c 3337 157699 4944 1 - 0.0000 -
3330.90/3342.15 c 3342 158026 4949 1 - 0.0000 -
3335.98/3347.23 c 3347 158351 4948 1 - 0.0000 -
3341.06/3352.31 c 3352 158646 4954 1 - 0.0000 -
3346.05/3357.36 c 3357 158951 4959 1 - 0.0000 -
3351.13/3362.49 c 3362 159267 4959 1 - 0.0000 -
3356.32/3367.61 c 3368 159604 4960 1 - 0.0000 -
3361.30/3372.67 c 3373 159921 4962 1 - 0.0000 -
3366.39/3377.75 c 3378 160230 4977 1 - 0.0000 -
3371.48/3382.82 c 3383 160545 4984 1 - 0.0000 -
3376.46/3387.88 c 3388 160869 4995 1 - 0.0000 -
3381.55/3392.94 c 3393 161186 4990 1 - 0.0000 -
3386.64/3398.02 c 3398 161499 4999 1 - 0.0000 -
3391.62/3403.09 c 3403 161821 4999 1 - 0.0000 -
3396.71/3408.15 c 3408 162133 5000 1 - 0.0000 -
3401.78/3413.22 c 3413 162430 5009 1 - 0.0000 -
3406.77/3418.28 c 3418 162743 5016 1 - 0.0000 -
3411.86/3423.35 c 3423 163064 5014 1 - 0.0000 -
3416.95/3428.42 c 3428 163383 5023 1 - 0.0000 -
3421.93/3433.48 c 3433 163672 5019 1 - 0.0000 -
3427.01/3438.55 c 3439 163999 5020 1 - 0.0000 -
3432.10/3443.61 c 3444 164322 5025 1 - 0.0000 -
3437.19/3448.70 c 3449 164647 5028 1 - 0.0000 -
3442.18/3453.77 c 3454 164973 5030 1 - 0.0000 -
3447.26/3458.83 c 3459 165306 5028 1 - 0.0000 -
3452.34/3463.90 c 3464 165637 5046 1 - 0.0000 -
3457.33/3468.97 c 3469 165971 5041 1 - 0.0000 -
3462.42/3474.08 c 3474 166290 5032 1 - 0.0000 -
3467.50/3479.16 c 3479 166597 5042 1 - 0.0000 -
3472.58/3484.28 c 3484 166929 5042 1 - 0.0000 -
3477.67/3489.35 c 3489 167245 5047 1 - 0.0000 -
3482.76/3494.42 c 3494 167553 5051 1 - 0.0000 -
3487.84/3499.56 c 3500 167859 5057 1 - 0.0000 -
3492.93/3504.62 c 3505 168181 5062 1 - 0.0000 -
3497.91/3509.67 c 3510 168507 5067 1 - 0.0000 -
3503.00/3514.79 c 3515 168818 5071 1 - 0.0000 -
3508.09/3519.85 c 3520 169122 5075 1 - 0.0000 -
3513.17/3524.93 c 3525 169441 5084 1 - 0.0000 -
3518.15/3529.98 c 3530 169766 5087 1 - 0.0000 -
3523.25/3535.04 c 3535 170101 5089 1 - 0.0000 -
3528.33/3540.11 c 3540 170411 5098 1 - 0.0000 -
3533.32/3545.17 c 3545 170732 5106 1 - 0.0000 -
3538.40/3550.26 c 3550 171061 5110 1 - 0.0000 -
3543.48/3555.34 c 3555 171394 5111 1 - 0.0000 -
3548.57/3560.41 c 3560 171707 5122 1 - 0.0000 -
3553.75/3565.64 c 3566 172025 5117 1 - 0.0000 -
3558.84/3570.70 c 3571 172346 5117 1 - 0.0000 -
3563.82/3575.79 c 3576 172631 5126 1 - 0.0000 -
3568.90/3580.86 c 3581 172950 5119 1 - 0.0000 -
3573.99/3585.92 c 3586 173273 5123 1 - 0.0000 -
3578.98/3590.99 c 3591 173594 5120 1 - 0.0000 -
3584.07/3596.06 c 3596 173936 5118 1 - 0.0000 -
3586.26/3598.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.26/3598.20 c Total Time : 3598.2000
3586.26/3598.20 c solving : 3598.2000
3586.26/3598.20 c presolving : 2.3902 (included in solving)
3586.26/3598.20 c B&B Tree :
3586.26/3598.20 c nodes (total) : 1
3586.26/3598.20 c Solution :
3586.26/3598.20 c Solutions found : 0
3586.26/3598.20 c Primal Bound : -
3586.26/3598.20 c Dual Bound : +0.00000000000000e+00
3586.26/3598.20 c Gap : -
3586.26/3598.28 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 (62642 MiB free)
memory of node 1: 64473 MiB (63794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464406-1722378603/watcher-4464406-1722378603 -o /tmp/evaluation-result-4464406-1722378603/solver-4464406-1722378603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27471 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464406-1722378603.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=28206, runsolver pid=28203
[startup+0.100305 s]*
/proc/loadavg: 0.43 0.26 0.19 5/262 28207
/proc/meminfo: memFree=129380276/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=62616 memory=50260 CPUtime=0.09 cores=5,7
/proc/28206/stat : 28206 (fscip) R 28203 28206 27458 0 -1 4194304 10456 0 0 0 8 1 0 0 20 0 1 0 4461375 64118784 12565 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 15654 12565 2347 3035 0 12050 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62616 KiB
Current children cumulated memory: 50260 KiB
[startup+0.206305 s]*
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129287664/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=118144 memory=106260 CPUtime=0.19 cores=5,7
/proc/28206/stat : 28206 (fscip) R 28203 28206 27458 0 -1 4194304 24604 0 0 0 16 3 0 0 20 0 1 0 4461375 120979456 26565 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 29536 26565 2598 3035 0 25932 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118144 KiB
Current children cumulated memory: 106260 KiB
[startup+0.306291 s]*
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129273456/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=143264 memory=127104 CPUtime=0.28 cores=5,7
/proc/28206/stat : 28206 (fscip) R 28203 28206 27458 0 -1 4194304 29800 0 0 0 24 4 0 0 20 0 1 0 4461375 146702336 31776 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 35816 31776 2614 3035 0 32212 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 143264 KiB
Current children cumulated memory: 127104 KiB
[startup+0.700235 s]
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129255672/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=149012 memory=136712 CPUtime=0.67 cores=5,7
/proc/28206/stat : 28206 (fscip) R 28203 28206 27458 0 -1 4194304 44494 0 0 0 60 7 0 0 20 0 1 0 4461375 152588288 34178 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 37253 34178 2742 3035 0 33649 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 149012 KiB
Current children cumulated memory: 136712 KiB
[startup+1.50019 s]
/proc/loadavg: 0.72 0.32 0.21 5/262 28207
/proc/meminfo: memFree=129243968/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=195100 memory=166076 CPUtime=1.46 cores=5,7
/proc/28206/stat : 28206 (fscip) R 28203 28206 27458 0 -1 4194304 51820 0 0 0 138 8 0 0 20 0 1 0 4461375 199782400 41519 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 48775 41519 2758 3035 0 45171 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 195100 KiB
Current children cumulated memory: 166076 KiB
[startup+3.10631 s]
/proc/loadavg: 0.72 0.32 0.21 5/266 28211
/proc/meminfo: memFree=128900000/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=418500 memory=336132 CPUtime=3.06 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 96264 0 0 0 291 15 0 0 20 0 3 0 4461375 428544000 84033 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 104625 84033 2774 3035 0 88651 0
[pid=28206/tid=28210] ppid=28203 vsize=418500 memory=185012 CPUtime=0.42 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 33022 0 0 0 38 4 0 0 20 0 3 0 4461633 428544000 84033 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=418500 memory=0 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461649 428544000 84033 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 418500 KiB
Current children cumulated memory: 336132 KiB
[startup+6.30029 s]
/proc/loadavg: 1.06 0.40 0.23 5/266 28213
/proc/meminfo: memFree=128742996/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=484036 memory=418032 CPUtime=6.22 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 131170 0 0 0 605 17 0 0 20 0 3 0 4461375 495652864 104508 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 121009 104508 2950 3035 0 111313 0
[pid=28206/tid=28210] ppid=28203 vsize=484036 memory=156994 CPUtime=3.59 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 67927 0 0 0 352 7 0 0 20 0 3 0 4461633 495652864 104508 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=484036 memory=166340 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4461649 495652864 104508 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 484036 KiB
Current children cumulated memory: 418032 KiB
[startup+12.7002 s]
/proc/loadavg: 1.30 0.46 0.25 5/266 28213
/proc/meminfo: memFree=128686812/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=549572 memory=445252 CPUtime=12.57 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 210780 0 0 0 1233 24 0 0 20 0 3 0 4461375 562761728 111313 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 137393 111313 2950 3035 0 124575 0
[pid=28206/tid=28210] ppid=28203 vsize=549572 memory=427784 CPUtime=9.93 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 147531 0 0 0 980 13 0 0 20 0 3 0 4461633 562761728 111313 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=549572 memory=422220 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4461649 562761728 111313 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 549572 KiB
Current children cumulated memory: 445252 KiB
[startup+25.5003 s]
/proc/loadavg: 1.71 0.58 0.30 5/267 28272
/proc/meminfo: memFree=128474552/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=617728 memory=532188 CPUtime=25.34 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 303461 0 0 0 2502 32 0 0 20 0 3 0 4461375 632553472 133047 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 154432 133047 2950 3035 0 150242 0
[pid=28206/tid=28210] ppid=28203 vsize=617728 memory=11532 CPUtime=22.7 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 240162 0 0 0 2249 21 0 0 20 0 3 0 4461633 632553472 133047 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=617728 memory=532140 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4461649 632553472 133047 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 617728 KiB
Current children cumulated memory: 532188 KiB
[startup+51.1058 s]
/proc/loadavg: 2.61 0.91 0.41 5/267 28278
/proc/meminfo: memFree=128396248/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=748800 memory=599404 CPUtime=50.86 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 400506 0 0 0 5048 38 0 0 20 0 3 0 4461375 766771200 149851 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 187200 149851 2998 3035 0 174763 0
[pid=28206/tid=28210] ppid=28203 vsize=748800 memory=581512 CPUtime=48.23 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 337142 0 0 0 4795 28 0 0 20 0 3 0 4461633 766771200 149851 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=748800 memory=534676 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4461649 766771200 149851 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 748800 KiB
Current children cumulated memory: 599404 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.42 0.62 5/266 28287
/proc/meminfo: memFree=128383476/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=814336 memory=601964 CPUtime=101.91 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 490355 0 0 0 10145 46 0 0 20 0 3 0 4461375 833880064 150491 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 203584 150491 2998 3035 0 187666 0
[pid=28206/tid=28210] ppid=28203 vsize=814336 memory=11532 CPUtime=99.27 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 426896 0 0 0 9891 36 0 0 20 0 3 0 4461633 833880064 150491 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=814336 memory=601964 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4461649 833880064 150491 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 814336 KiB
Current children cumulated memory: 601964 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.90 0.84 5/266 28298
/proc/meminfo: memFree=128285204/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=814336 memory=605532 CPUtime=161.73 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 568786 0 0 0 16120 53 0 0 20 0 3 0 4461375 833880064 151383 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 203584 151383 2998 3035 0 193658 0
[pid=28206/tid=28210] ppid=28203 vsize=814336 memory=601984 CPUtime=159.1 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 505265 0 0 0 15867 43 0 0 20 0 3 0 4461633 833880064 151383 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=814336 memory=12520 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4461649 833880064 151383 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 814336 KiB
Current children cumulated memory: 605532 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=28206] ppid=28203 vsize=814336 memory=610548 CPUtime=221.55 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 625362 0 0 0 22096 59 0 0 20 0 3 0 4461375 833880064 152637 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 203584 152637 2998 3035 0 198215 0
[pid=28206/tid=28210] ppid=28203 vsize=814336 memory=11532 CPUtime=218.9 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 561766 0 0 0 21842 48 0 0 20 0 3 0 4461633 833880064 152637 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=814336 memory=610544 CPUtime=0 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4461649 833880064 152637 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 814336 KiB
Current children cumulated memory: 610548 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 2.68 1.25 5/266 28320
/proc/meminfo: memFree=128111572/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=945680 memory=681784 CPUtime=281.33 cores=5,7
################
# More data... #
################
/proc/28206/statm: 282311 242422 2998 3035 0 273969 0
[pid=28206/tid=28210] ppid=28203 vsize=1129244 memory=969688 CPUtime=3388.05 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1393513 0 0 0 338623 182 0 0 20 0 3 0 4461633 1156345856 242422 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1129244 memory=969688 CPUtime=0.03 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 78 0 0 0 1 2 0 0 20 0 3 0 4461649 1156345856 242422 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 1129244 KiB
Current children cumulated memory: 969688 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=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3450.75 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1477739 0 0 0 344868 207 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=969688 CPUtime=3447.87 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1413073 0 0 0 344600 187 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=11532 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 79 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.05 6/265 30051
/proc/meminfo: memFree=127351588/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3510.58 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1480046 0 0 0 350848 210 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=12816 CPUtime=3507.69 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1415361 0 0 0 350580 189 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=1039588 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 80 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3510.58 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 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=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3570.4 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1481797 0 0 0 356829 211 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3567.52 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1417092 0 0 0 356561 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=1936 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3570.4 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
[startup+3598.29 s]
# the end of solver process 28206 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.22 s, system=2.13197 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 6/265 30062
/proc/meminfo: memFree=127351252/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3572.1 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1481804 0 0 0 356999 211 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3569.22 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1417099 0 0 0 356731 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=33144 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.05 5/265 30063
/proc/meminfo: memFree=127349336/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3578.48 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1481946 0 0 0 357636 212 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3575.59 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1417241 0 0 0 357368 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=12744 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3578.48 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 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=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3581.67 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1482015 0 0 0 357955 212 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3578.79 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1417310 0 0 0 357688 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=18940 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3581.67 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.05 5/263 30253
/proc/meminfo: memFree=128103308/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3584.86 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1482046 0 0 0 358274 212 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=12744 CPUtime=3581.97 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1417341 0 0 0 358006 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=1039588 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3584.86 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.12 4.05 6/263 30253
/proc/meminfo: memFree=128103028/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3585.66 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1482050 0 0 0 358354 212 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=11648 CPUtime=3582.77 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1417345 0 0 0 358086 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=2680 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.12 4.05 5/263 30253
/proc/meminfo: memFree=128103068/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3586.06 cores=5,7
/proc/28206/stat : 28206 (fscip) R 28203 28206 27458 0 -1 1077936128 1482050 0 0 0 358394 212 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=-5155629098343361413 CPUtime=3583.17 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1417346 0 0 0 358126 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=6692 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
[startup+3598.2 s]
/proc/loadavg: 4.12 4.12 4.05 5/263 30253
/proc/meminfo: memFree=128103068/131524600 swapFree=131063756/131071996
[pid=28206] ppid=28203 vsize=1194780 memory=1039588 CPUtime=3586.26 cores=5,7
/proc/28206/stat : 28206 (fscip) S 28203 28206 27458 0 -1 1077936128 1484080 0 0 0 358414 212 0 0 20 0 3 0 4461375 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
/proc/28206/statm: 298695 259897 2998 3035 0 291813 0
[pid=28206/tid=28210] ppid=28203 vsize=1194780 memory=27324 CPUtime=3583.37 cores=5,7
/proc/28206/task/28210/stat : 28210 (fscip) R 28203 28206 27458 0 -1 4194368 1419372 0 0 0 358146 191 0 0 20 0 3 0 4461633 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
[pid=28206/tid=28211] ppid=28203 vsize=1194780 memory=-7522256593712407424 CPUtime=0.04 cores=5,7
/proc/28206/task/28211/stat : 28211 (fscip) S 28203 28206 27458 0 -1 1077936192 81 0 0 0 1 3 0 0 20 0 3 0 4461649 1223454720 259897 134679101440 4194304 16623229 140731135783600 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36098048 140731135792150 140731135792266 140731135792266 140731135799280 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 1194780 KiB
Current children cumulated memory: 1039588 KiB
Child status: 0
Real time (s): 3598.29
CPU time (s): 3586.35
CPU user time (s): 3584.22
CPU system time (s): 2.13197
CPU usage (%): 99.6683
Max. virtual memory (cumulated for all children) (KiB): 1194780
Max. memory (cumulated for all children) (KiB): 1039588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.22
system time used= 2.13197
maximum resident set size= 1039588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1490116
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= 10576
involuntary context switches= 3139
# summary of solver processes directly reported to runsolver:
# pid: 28206
# total CPU time (s): 3586.35
# total CPU user time (s): 3584.22
# total CPU system time (s): 2.13197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15348 second user time and 17.669 second system time
The end
Begin job on nodeC029 at 2024-07-31 00:30:03
IDJOB=4464406
IDBENCH=147856
IDSOLVER=3092
FILE ID=nodeC029/4464406-1722378603
RUNJOBID= nodeC029-1722378597-27471
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-55-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-4464406-1722378603/watcher-4464406-1722378603 -o /tmp/evaluation-result-4464406-1722378603/solver-4464406-1722378603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27471 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464406-1722378603.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=1025625710
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.290
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 : 3602.450
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 : 3604.160
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 : 3675.163
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 : 3624.821
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 : 3676.870
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 : 3671.201
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 : 3668.692
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: 129479632 kB
MemAvailable: 129367284 kB
Buffers: 77224 kB
Cached: 649932 kB
SwapCached: 212 kB
Active: 240012 kB
Inactive: 1343040 kB
Active(anon): 1732 kB
Inactive(anon): 875208 kB
Active(file): 238280 kB
Inactive(file): 467832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 88928 kB
Writeback: 0 kB
AnonPages: 854932 kB
Mapped: 121096 kB
Shmem: 21024 kB
KReclaimable: 42728 kB
Slab: 123076 kB
SReclaimable: 42728 kB
SUnreclaim: 80348 kB
KernelStack: 4208 kB
PageTables: 10964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 999540 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