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.30/0.31 c Default LC presolving (default).
0.30/0.31 c ** Before presolving: virtualMemUsedAtLc = 271860092, getVmSize() = 179879936, SCIPgetMemUsed() = 139170739, SCIPgetMemTotal() = 148157747, SCIPgetMemExternEstim() = 123702345
0.30/0.31 c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
4.78/4.86 c ** Estimated virtualMemUsedAtSolver = 236430813, getVmSize() = 296456192, SCIPgetMemUsed() = 185455587, SCIPgetMemTotal() = 230943875, SCIPgetMemExternEstim() = 123702345
4.78/4.86 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
4.78/4.86 c Original Problem :
4.78/4.86 c Problem name : instance-4442840-1721298062
4.78/4.86 c Variables : 3900 (3900 binary, 0 integer, 0 implicit integer, 0 continuous)
4.78/4.86 c Constraints : 124865
4.78/4.86 c Objective sense : minimize
4.78/4.86 c Presolved Problem :
4.78/4.86 c Variables : 3900 (3900 binary, 0 integer, 0 implicit integer, 0 continuous)
4.78/4.86 c Constraints : 124988
4.78/4.86 c Constraints : Number
4.78/4.86 c setppc : 124923
4.78/4.86 c logicor : 65
4.78/4.86 c ** Instance transfer method used: 0
4.98/5.04 c ** ParaScipInstance copy does not increase the number of variables. **
5.08/5.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
5.08/5.19 c Nodes Active
5.08/5.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
30.74/30.94 c 31 2 1 1 - 0.0000 -
39.51/39.77 c 40 18 17 1 - 0.0000 -
45.29/45.55 c 46 25 24 1 - 0.0000 -
51.17/51.43 c 51 42 41 1 - 0.0000 -
57.15/57.43 c 57 69 68 1 - 0.0000 -
62.63/62.95 c 63 98 97 1 - 0.0000 -
68.22/68.58 c 69 113 112 1 - 0.0000 -
73.40/73.72 c 74 228 169 1 - 0.0000 -
78.98/79.34 c 79 360 203 1 - 0.0000 -
84.15/84.57 c 85 501 234 1 - 0.0000 -
89.53/89.95 c 90 629 266 1 - 0.0000 -
94.62/95.10 c 95 769 292 1 - 0.0000 -
99.90/100.33 c 100 909 304 1 - 0.0000 -
104.98/105.43 c 105 1048 325 1 - 0.0000 -
110.06/110.58 c 111 1202 333 1 - 0.0000 -
115.14/115.64 c 116 1374 341 1 - 0.0000 -
120.21/120.71 c 121 1517 352 1 - 0.0000 -
125.50/126.00 c 126 1653 370 1 - 0.0000 -
130.77/131.35 c 131 1804 385 1 - 0.0000 -
136.35/136.90 c 137 1967 398 1 - 0.0000 -
141.43/142.06 c 142 2125 405 1 - 0.0000 -
146.52/147.16 c 147 2265 421 1 - 0.0000 -
151.70/152.37 c 152 2414 432 1 - 0.0000 -
156.97/157.68 c 158 2571 439 1 - 0.0000 -
162.05/162.77 c 163 2731 445 1 - 0.0000 -
167.13/167.89 c 168 2869 459 1 - 0.0000 -
172.50/173.27 c 173 3017 471 1 - 0.0000 -
177.69/178.42 c 178 3164 484 1 - 0.0000 -
182.87/183.65 c 184 3322 498 1 - 0.0000 -
188.15/188.94 c 189 3469 513 1 - 0.0000 -
193.24/194.08 c 194 3620 524 1 - 0.0000 -
198.61/199.43 c 199 3777 533 1 - 0.0000 -
203.99/204.81 c 205 3947 539 1 - 0.0000 -
209.37/210.28 c 210 4110 546 1 - 0.0000 -
214.56/215.46 c 215 4269 549 1 - 0.0000 -
219.93/220.83 c 221 4438 556 1 - 0.0000 -
225.02/225.97 c 226 4600 560 1 - 0.0000 -
230.10/231.07 c 231 4759 561 1 - 0.0000 -
235.27/236.28 c 236 4921 565 1 - 0.0000 -
240.45/241.45 c 241 5081 571 1 - 0.0000 -
245.53/246.54 c 247 5233 579 1 - 0.0000 -
250.71/251.72 c 252 5386 594 1 - 0.0000 -
255.78/256.80 c 257 5556 596 1 - 0.0000 -
260.97/262.01 c 262 5723 599 1 - 0.0000 -
266.04/267.11 c 267 5902 600 1 - 0.0000 -
271.12/272.23 c 272 6060 602 1 - 0.0000 -
276.20/277.39 c 277 6224 608 1 - 0.0000 -
281.48/282.64 c 283 6373 611 1 - 0.0000 -
286.75/287.90 c 288 6517 639 1 - 0.0000 -
291.73/292.99 c 293 6662 648 1 - 0.0000 -
297.11/298.38 c 298 6814 658 1 - 0.0000 -
302.29/303.55 c 304 6970 672 1 - 0.0000 -
307.47/308.79 c 309 7121 687 1 - 0.0000 -
312.64/313.93 c 314 7274 700 1 - 0.0000 -
317.83/319.16 c 319 7418 712 1 - 0.0000 -
323.31/324.68 c 325 7571 725 1 - 0.0000 -
328.58/329.92 c 330 7727 731 1 - 0.0000 -
333.86/335.24 c 335 7878 736 1 - 0.0000 -
339.04/340.43 c 340 8036 742 1 - 0.0000 -
344.22/345.68 c 346 8181 745 1 - 0.0000 -
349.30/350.78 c 351 8332 748 1 - 0.0000 -
354.37/355.86 c 356 8477 751 1 - 0.0000 -
359.46/360.92 c 361 8621 755 1 - 0.0000 -
364.64/366.12 c 366 8780 756 1 - 0.0000 -
369.71/371.20 c 371 8935 759 1 - 0.0000 -
375.19/376.75 c 377 9078 766 1 - 0.0000 -
380.37/381.98 c 382 9231 777 1 - 0.0000 -
385.55/387.10 c 387 9377 783 1 - 0.0000 -
390.73/392.30 c 392 9535 787 1 - 0.0000 -
395.80/397.48 c 397 9685 795 1 - 0.0000 -
400.89/402.56 c 403 9828 804 1 - 0.0000 -
406.07/407.72 c 408 9981 813 1 - 0.0000 -
411.14/412.83 c 413 10138 820 1 - 0.0000 -
416.32/418.00 c 418 10298 820 1 - 0.0000 -
421.59/423.36 c 423 10469 823 1 - 0.0000 -
426.87/428.63 c 429 10629 829 1 - 0.0000 -
432.05/433.85 c 434 10775 835 1 - 0.0000 -
437.24/439.05 c 439 10923 839 1 - 0.0000 -
442.31/444.18 c 444 11083 841 1 - 0.0000 -
447.48/449.31 c 449 11228 848 1 - 0.0000 -
452.57/454.46 c 454 11389 851 1 - 0.0000 -
457.65/459.54 c 460 11546 854 1 - 0.0000 -
462.72/464.67 c 465 11694 862 1 - 0.0000 -
468.00/469.97 c 470 11843 867 1 - 0.0000 -
473.08/475.05 c 475 12009 869 1 - 0.0000 -
478.16/480.19 c 480 12165 867 1 - 0.0000 -
483.44/485.49 c 485 12315 879 1 - 0.0000 -
488.61/490.63 c 491 12462 884 1 - 0.0000 -
493.69/495.76 c 496 12617 889 1 - 0.0000 -
498.87/500.90 c 501 12779 897 1 - 0.0000 -
503.96/506.02 c 506 12957 905 1 - 0.0000 -
509.03/511.14 c 511 13108 910 1 - 0.0000 -
514.10/516.25 c 516 13264 915 1 - 0.0000 -
519.29/521.44 c 521 13430 917 1 - 0.0000 -
524.46/526.69 c 527 13585 924 1 - 0.0000 -
529.64/531.83 c 532 13729 942 1 - 0.0000 -
534.72/536.97 c 537 13876 975 1 - 0.0000 -
540.69/542.99 c 543 14034 1005 1 - 0.0000 -
545.88/548.14 c 548 14197 1022 1 - 0.0000 -
551.04/553.31 c 553 14361 1024 1 - 0.0000 -
556.13/558.46 c 558 14509 1044 1 - 0.0000 -
561.40/563.76 c 564 14669 1046 1 - 0.0000 -
566.68/569.02 c 569 14835 1048 1 - 0.0000 -
571.86/574.29 c 574 14979 1052 1 - 0.0000 -
577.14/579.51 c 580 15136 1055 1 - 0.0000 -
582.21/584.60 c 585 15283 1060 1 - 0.0000 -
587.39/589.82 c 590 15431 1082 1 - 0.0000 -
592.57/595.01 c 595 15585 1104 1 - 0.0000 -
597.74/600.29 c 600 15737 1118 1 - 0.0000 -
602.92/605.48 c 605 15895 1122 1 - 0.0000 -
608.00/610.57 c 611 16049 1124 1 - 0.0000 -
613.18/615.79 c 616 16207 1140 1 - 0.0000 -
618.36/620.93 c 621 16362 1161 1 - 0.0000 -
623.63/626.27 c 626 16514 1171 1 - 0.0000 -
628.81/631.41 c 631 16672 1177 1 - 0.0000 -
633.89/636.52 c 637 16829 1194 1 - 0.0000 -
638.96/641.61 c 642 16970 1227 1 - 0.0000 -
644.05/646.74 c 647 17119 1254 1 - 0.0000 -
649.13/651.85 c 652 17264 1267 1 - 0.0000 -
654.31/657.06 c 657 17421 1274 1 - 0.0000 -
659.48/662.24 c 662 17581 1278 1 - 0.0000 -
664.65/667.40 c 667 17746 1289 1 - 0.0000 -
669.84/672.62 c 673 17924 1291 1 - 0.0000 -
675.01/677.86 c 678 18077 1294 1 - 0.0000 -
680.30/683.15 c 683 18233 1304 1 - 0.0000 -
685.37/688.25 c 688 18399 1308 1 - 0.0000 -
690.74/693.66 c 694 18556 1317 1 - 0.0000 -
695.82/698.79 c 699 18702 1335 1 - 0.0000 -
701.11/704.00 c 704 18857 1338 1 - 0.0000 -
706.19/709.17 c 709 18997 1356 1 - 0.0000 -
711.36/714.30 c 714 19151 1360 1 - 0.0000 -
716.44/719.43 c 719 19304 1363 1 - 0.0000 -
721.52/724.53 c 725 19469 1386 1 - 0.0000 -
726.59/729.67 c 730 19654 1397 1 - 0.0000 -
731.68/734.76 c 735 19819 1408 1 - 0.0000 -
736.75/739.84 c 740 20006 1413 1 - 0.0000 -
741.82/744.95 c 745 20180 1414 1 - 0.0000 -
747.01/750.19 c 750 20338 1450 1 - 0.0000 -
752.17/755.39 c 755 20485 1469 1 - 0.0000 -
757.35/760.57 c 761 20632 1486 1 - 0.0000 -
762.72/765.95 c 766 20785 1491 1 - 0.0000 -
767.79/771.05 c 771 20936 1494 1 - 0.0000 -
772.87/776.12 c 776 21079 1503 1 - 0.0000 -
778.04/781.39 c 781 21232 1510 1 - 0.0000 -
783.31/786.64 c 787 21380 1514 1 - 0.0000 -
788.48/791.89 c 792 21532 1526 1 - 0.0000 -
793.57/796.98 c 797 21671 1535 1 - 0.0000 -
798.94/802.30 c 802 21822 1548 1 - 0.0000 -
804.21/807.62 c 808 21984 1554 1 - 0.0000 -
809.38/812.80 c 813 22152 1556 1 - 0.0000 -
814.46/817.95 c 818 22299 1563 1 - 0.0000 -
819.53/823.02 c 823 22458 1568 1 - 0.0000 -
824.61/828.13 c 828 22606 1574 1 - 0.0000 -
829.78/833.37 c 833 22758 1576 1 - 0.0000 -
834.86/838.47 c 838 22899 1579 1 - 0.0000 -
839.93/843.56 c 844 23056 1578 1 - 0.0000 -
845.12/848.74 c 849 23220 1588 1 - 0.0000 -
850.20/853.85 c 854 23374 1598 1 - 0.0000 -
855.37/859.01 c 859 23507 1621 1 - 0.0000 -
860.54/864.25 c 864 23674 1644 1 - 0.0000 -
865.62/869.38 c 869 23836 1654 1 - 0.0000 -
870.80/874.54 c 875 23979 1663 1 - 0.0000 -
875.88/879.62 c 880 24131 1669 1 - 0.0000 -
881.06/884.83 c 885 24283 1671 1 - 0.0000 -
886.14/889.99 c 890 24432 1676 1 - 0.0000 -
891.32/895.14 c 895 24584 1696 1 - 0.0000 -
896.49/900.37 c 900 24761 1717 1 - 0.0000 -
901.67/905.51 c 906 24937 1716 1 - 0.0000 -
906.75/910.65 c 911 25084 1725 1 - 0.0000 -
912.02/915.95 c 916 25231 1746 1 - 0.0000 -
917.11/921.08 c 921 25385 1758 1 - 0.0000 -
922.19/926.19 c 926 25523 1774 1 - 0.0000 -
927.26/931.29 c 931 25704 1779 1 - 0.0000 -
932.32/936.39 c 936 25862 1789 1 - 0.0000 -
937.50/941.57 c 942 26010 1805 1 - 0.0000 -
942.68/946.75 c 947 26166 1837 1 - 0.0000 -
947.76/951.86 c 952 26320 1845 1 - 0.0000 -
952.84/956.95 c 957 26490 1845 1 - 0.0000 -
957.91/962.05 c 962 26642 1848 1 - 0.0000 -
963.09/967.24 c 967 26793 1855 1 - 0.0000 -
968.07/972.29 c 972 26945 1869 1 - 0.0000 -
973.25/977.42 c 977 27099 1879 1 - 0.0000 -
978.52/982.73 c 983 27251 1886 1 - 0.0000 -
983.61/987.86 c 988 27394 1901 1 - 0.0000 -
988.79/993.02 c 993 27550 1914 1 - 0.0000 -
993.86/998.15 c 998 27693 1927 1 - 0.0000 -
999.03/1003.37 c 1003 27846 1943 1 - 0.0000 -
1004.21/1008.50 c 1008 28008 1953 1 - 0.0000 -
1009.19/1013.59 c 1014 28197 1959 1 - 0.0000 -
1014.36/1018.71 c 1019 28354 1971 1 - 0.0000 -
1019.45/1023.80 c 1024 28517 1986 1 - 0.0000 -
1024.52/1028.91 c 1029 28680 1995 1 - 0.0000 -
1029.60/1034.00 c 1034 28834 2007 1 - 0.0000 -
1034.69/1039.11 c 1039 28980 2015 1 - 0.0000 -
1039.76/1044.22 c 1044 29132 2023 1 - 0.0000 -
1045.03/1049.52 c 1050 29297 2028 1 - 0.0000 -
1050.11/1054.68 c 1055 29450 2057 1 - 0.0000 -
1055.49/1060.00 c 1060 29604 2085 1 - 0.0000 -
1060.57/1065.19 c 1065 29751 2098 1 - 0.0000 -
1065.74/1070.39 c 1070 29896 2111 1 - 0.0000 -
1071.02/1075.61 c 1076 30057 2130 1 - 0.0000 -
1076.19/1080.81 c 1081 30209 2152 1 - 0.0000 -
1081.27/1085.94 c 1086 30339 2174 1 - 0.0000 -
1086.36/1091.08 c 1091 30491 2180 1 - 0.0000 -
1091.63/1096.33 c 1096 30644 2189 1 - 0.0000 -
1096.71/1101.47 c 1101 30791 2198 1 - 0.0000 -
1101.78/1106.54 c 1107 30938 2205 1 - 0.0000 -
1106.97/1111.74 c 1112 31088 2209 1 - 0.0000 -
1112.14/1116.95 c 1117 31236 2217 1 - 0.0000 -
1117.41/1122.22 c 1122 31387 2222 1 - 0.0000 -
1122.50/1127.36 c 1127 31523 2232 1 - 0.0000 -
1127.67/1132.50 c 1132 31690 2236 1 - 0.0000 -
1132.74/1137.60 c 1138 31861 2230 1 - 0.0000 -
1137.81/1142.70 c 1143 32006 2233 1 - 0.0000 -
1142.99/1147.91 c 1148 32148 2249 1 - 0.0000 -
1148.06/1153.06 c 1153 32311 2270 1 - 0.0000 -
1153.23/1158.28 c 1158 32464 2303 1 - 0.0000 -
1158.41/1163.47 c 1163 32605 2336 1 - 0.0000 -
1163.58/1168.66 c 1169 32760 2357 1 - 0.0000 -
1168.85/1173.94 c 1174 32915 2372 1 - 0.0000 -
1174.12/1179.27 c 1179 33063 2398 1 - 0.0000 -
1179.40/1184.53 c 1185 33221 2434 1 - 0.0000 -
1184.47/1189.68 c 1190 33370 2445 1 - 0.0000 -
1189.63/1194.86 c 1195 33514 2467 1 - 0.0000 -
1194.91/1200.14 c 1200 33664 2473 1 - 0.0000 -
1200.19/1205.44 c 1205 33821 2472 1 - 0.0000 -
1205.26/1210.54 c 1211 33962 2477 1 - 0.0000 -
1210.63/1215.97 c 1216 34114 2485 1 - 0.0000 -
1215.91/1221.25 c 1221 34262 2493 1 - 0.0000 -
1221.08/1226.44 c 1226 34413 2498 1 - 0.0000 -
1226.15/1231.54 c 1232 34566 2499 1 - 0.0000 -
1231.32/1236.72 c 1237 34720 2501 1 - 0.0000 -
1236.50/1241.94 c 1242 34871 2506 1 - 0.0000 -
1241.57/1247.07 c 1247 35007 2516 1 - 0.0000 -
1246.74/1252.24 c 1252 35172 2517 1 - 0.0000 -
1252.01/1257.52 c 1258 35324 2525 1 - 0.0000 -
1257.08/1262.61 c 1263 35474 2531 1 - 0.0000 -
1262.05/1267.68 c 1268 35610 2543 1 - 0.0000 -
1267.13/1272.78 c 1273 35752 2551 1 - 0.0000 -
1272.41/1278.00 c 1278 35887 2598 1 - 0.0000 -
1277.48/1283.11 c 1283 36030 2621 1 - 0.0000 -
1282.55/1288.21 c 1288 36175 2660 1 - 0.0000 -
1287.74/1293.40 c 1293 36328 2689 1 - 0.0000 -
1292.81/1298.52 c 1299 36482 2719 1 - 0.0000 -
1297.99/1303.72 c 1304 36635 2754 1 - 0.0000 -
1303.06/1308.84 c 1309 36794 2783 1 - 0.0000 -
1308.13/1313.93 c 1314 36965 2812 1 - 0.0000 -
1313.22/1319.00 c 1319 37131 2844 1 - 0.0000 -
1318.19/1324.08 c 1324 37318 2871 1 - 0.0000 -
1323.36/1329.29 c 1329 37485 2872 1 - 0.0000 -
1328.54/1334.45 c 1334 37633 2883 1 - 0.0000 -
1333.81/1339.70 c 1340 37786 2888 1 - 0.0000 -
1338.99/1344.90 c 1345 37934 2895 1 - 0.0000 -
1344.08/1350.00 c 1350 38078 2909 1 - 0.0000 -
1349.15/1355.16 c 1355 38233 2920 1 - 0.0000 -
1354.33/1360.31 c 1360 38375 2932 1 - 0.0000 -
1359.50/1365.54 c 1366 38528 2945 1 - 0.0000 -
1364.68/1370.75 c 1371 38679 2950 1 - 0.0000 -
1370.26/1376.35 c 1376 38836 2957 1 - 0.0000 -
1375.44/1381.55 c 1382 38992 2965 1 - 0.0000 -
1380.61/1386.72 c 1387 39130 2979 1 - 0.0000 -
1385.70/1391.89 c 1392 39275 2992 1 - 0.0000 -
1390.88/1397.08 c 1397 39421 3000 1 - 0.0000 -
1396.06/1402.26 c 1402 39568 3011 1 - 0.0000 -
1401.13/1407.36 c 1407 39716 3013 1 - 0.0000 -
1406.31/1412.56 c 1413 39858 3021 1 - 0.0000 -
1411.49/1417.76 c 1418 40010 3027 1 - 0.0000 -
1416.67/1422.91 c 1423 40163 3032 1 - 0.0000 -
1421.75/1428.09 c 1428 40301 3052 1 - 0.0000 -
1426.83/1433.16 c 1433 40444 3063 1 - 0.0000 -
1432.20/1438.59 c 1439 40600 3073 1 - 0.0000 -
1437.38/1443.74 c 1444 40746 3087 1 - 0.0000 -
1442.45/1448.85 c 1449 40886 3105 1 - 0.0000 -
1447.64/1454.03 c 1454 41032 3115 1 - 0.0000 -
1452.72/1459.17 c 1459 41178 3123 1 - 0.0000 -
1457.89/1464.37 c 1464 41330 3151 1 - 0.0000 -
1462.97/1469.45 c 1469 41485 3160 1 - 0.0000 -
1468.04/1474.54 c 1475 41626 3177 1 - 0.0000 -
1473.13/1479.63 c 1480 41777 3180 1 - 0.0000 -
1478.30/1484.80 c 1485 41921 3188 1 - 0.0000 -
1483.49/1490.06 c 1490 42078 3203 1 - 0.0000 -
1488.57/1495.14 c 1495 42221 3216 1 - 0.0000 -
1493.64/1500.29 c 1500 42375 3226 1 - 0.0000 -
1498.81/1505.41 c 1505 42519 3233 1 - 0.0000 -
1503.90/1510.58 c 1511 42680 3245 1 - 0.0000 -
1509.07/1515.71 c 1516 42837 3256 1 - 0.0000 -
1514.15/1520.89 c 1521 42994 3257 1 - 0.0000 -
1519.44/1526.17 c 1526 43153 3264 1 - 0.0000 -
1524.61/1531.31 c 1531 43309 3271 1 - 0.0000 -
1529.79/1536.50 c 1536 43464 3280 1 - 0.0000 -
1534.86/1541.63 c 1542 43626 3282 1 - 0.0000 -
1539.94/1546.78 c 1547 43780 3294 1 - 0.0000 -
1545.11/1551.97 c 1552 43934 3300 1 - 0.0000 -
1550.19/1557.10 c 1557 44080 3307 1 - 0.0000 -
1555.47/1562.35 c 1562 44229 3322 1 - 0.0000 -
1560.54/1567.49 c 1567 44392 3322 1 - 0.0000 -
1565.62/1572.58 c 1573 44556 3326 1 - 0.0000 -
1570.80/1577.77 c 1578 44701 3341 1 - 0.0000 -
1575.88/1582.85 c 1583 44857 3342 1 - 0.0000 -
1580.95/1587.95 c 1588 45014 3348 1 - 0.0000 -
1586.04/1593.05 c 1593 45164 3354 1 - 0.0000 -
1591.12/1598.10 c 1598 45321 3361 1 - 0.0000 -
1596.19/1603.22 c 1603 45480 3370 1 - 0.0000 -
1601.27/1608.37 c 1608 45636 3378 1 - 0.0000 -
1606.45/1613.55 c 1614 45793 3386 1 - 0.0000 -
1611.63/1618.76 c 1619 45933 3400 1 - 0.0000 -
1616.70/1623.82 c 1624 46081 3404 1 - 0.0000 -
1621.88/1629.00 c 1629 46236 3417 1 - 0.0000 -
1626.86/1634.09 c 1634 46380 3423 1 - 0.0000 -
1632.43/1639.65 c 1640 46514 3429 1 - 0.0000 -
1637.51/1644.75 c 1645 46659 3438 1 - 0.0000 -
1642.59/1649.85 c 1650 46796 3453 1 - 0.0000 -
1647.67/1654.95 c 1655 46946 3465 1 - 0.0000 -
1652.85/1660.15 c 1660 47095 3479 1 - 0.0000 -
1658.03/1665.30 c 1665 47254 3478 1 - 0.0000 -
1663.21/1670.56 c 1671 47401 3493 1 - 0.0000 -
1668.38/1675.74 c 1676 47548 3504 1 - 0.0000 -
1673.76/1681.11 c 1681 47708 3508 1 - 0.0000 -
1678.75/1686.19 c 1686 47874 3510 1 - 0.0000 -
1683.92/1691.38 c 1691 48032 3514 1 - 0.0000 -
1689.70/1697.13 c 1697 48132 3520 1 - 0.0000 -
1694.77/1702.27 c 1702 48298 3534 1 - 0.0000 -
1699.95/1707.49 c 1707 48464 3543 1 - 0.0000 -
1705.12/1712.61 c 1713 48628 3546 1 - 0.0000 -
1710.10/1717.69 c 1718 48793 3549 1 - 0.0000 -
1715.18/1722.77 c 1723 48956 3551 1 - 0.0000 -
1720.36/1727.90 c 1728 49113 3556 1 - 0.0000 -
1725.44/1733.05 c 1733 49278 3556 1 - 0.0000 -
1730.61/1738.27 c 1738 49440 3559 1 - 0.0000 -
1735.69/1743.36 c 1743 49597 3558 1 - 0.0000 -
1740.77/1748.49 c 1748 49765 3564 1 - 0.0000 -
1745.95/1753.62 c 1754 49931 3570 1 - 0.0000 -
1751.12/1758.87 c 1759 50084 3577 1 - 0.0000 -
1756.31/1764.09 c 1764 50234 3582 1 - 0.0000 -
1761.47/1769.24 c 1769 50387 3589 1 - 0.0000 -
1766.96/1774.73 c 1775 50545 3597 1 - 0.0000 -
1772.13/1779.90 c 1780 50702 3596 1 - 0.0000 -
1777.21/1785.01 c 1785 50880 3598 1 - 0.0000 -
1782.18/1790.09 c 1790 51052 3599 1 - 0.0000 -
1787.46/1795.33 c 1795 51213 3606 1 - 0.0000 -
1792.63/1800.51 c 1801 51363 3614 1 - 0.0000 -
1797.70/1805.62 c 1806 51517 3622 1 - 0.0000 -
1802.79/1810.78 c 1811 51662 3637 1 - 0.0000 -
1807.96/1815.91 c 1816 51825 3642 1 - 0.0000 -
1813.14/1821.13 c 1821 51985 3646 1 - 0.0000 -
1818.21/1826.21 c 1826 52143 3655 1 - 0.0000 -
1823.39/1831.40 c 1831 52303 3665 1 - 0.0000 -
1828.37/1836.48 c 1836 52451 3671 1 - 0.0000 -
1833.44/1841.56 c 1842 52608 3676 1 - 0.0000 -
1838.61/1846.78 c 1847 52763 3685 1 - 0.0000 -
1843.69/1851.89 c 1852 52915 3699 1 - 0.0000 -
1848.97/1857.11 c 1857 53057 3715 1 - 0.0000 -
1853.95/1862.19 c 1862 53210 3724 1 - 0.0000 -
1859.12/1867.37 c 1867 53364 3736 1 - 0.0000 -
1864.19/1872.49 c 1872 53509 3745 1 - 0.0000 -
1869.37/1877.60 c 1878 53652 3762 1 - 0.0000 -
1874.55/1882.85 c 1883 53804 3768 1 - 0.0000 -
1879.73/1888.00 c 1888 53956 3776 1 - 0.0000 -
1884.71/1893.10 c 1893 54095 3783 1 - 0.0000 -
1889.88/1898.24 c 1898 54240 3794 1 - 0.0000 -
1895.05/1903.49 c 1903 54391 3801 1 - 0.0000 -
1900.33/1908.72 c 1909 54544 3810 1 - 0.0000 -
1905.61/1914.00 c 1914 54692 3820 1 - 0.0000 -
1910.68/1919.18 c 1919 54856 3824 1 - 0.0000 -
1915.75/1924.27 c 1924 55019 3833 1 - 0.0000 -
1920.93/1929.49 c 1929 55179 3841 1 - 0.0000 -
1926.21/1934.73 c 1935 55319 3861 1 - 0.0000 -
1931.29/1939.86 c 1940 55452 3902 1 - 0.0000 -
1936.36/1944.93 c 1945 55586 3920 1 - 0.0000 -
1941.64/1950.25 c 1950 55721 3937 1 - 0.0000 -
1946.91/1955.58 c 1956 55873 3951 1 - 0.0000 -
1951.99/1960.68 c 1961 56020 3960 1 - 0.0000 -
1957.17/1965.87 c 1966 56180 3974 1 - 0.0000 -
1962.24/1970.92 c 1971 56372 3984 1 - 0.0000 -
1967.42/1976.16 c 1976 56518 3992 1 - 0.0000 -
1972.48/1981.23 c 1981 56703 3997 1 - 0.0000 -
1977.57/1986.34 c 1986 56852 4010 1 - 0.0000 -
1982.73/1991.50 c 1992 57011 4017 1 - 0.0000 -
1987.90/1996.74 c 1997 57156 4030 1 - 0.0000 -
1992.97/2001.85 c 2002 57299 4039 1 - 0.0000 -
1998.15/2007.04 c 2007 57461 4043 1 - 0.0000 -
2003.23/2012.13 c 2012 57612 4050 1 - 0.0000 -
2008.29/2017.27 c 2017 57786 4052 1 - 0.0000 -
2013.36/2022.39 c 2022 57956 4058 1 - 0.0000 -
2018.43/2027.45 c 2027 58128 4064 1 - 0.0000 -
2023.50/2032.55 c 2033 58298 4072 1 - 0.0000 -
2028.57/2037.64 c 2038 58463 4085 1 - 0.0000 -
2033.74/2042.80 c 2043 58622 4093 1 - 0.0000 -
2038.82/2047.91 c 2048 58781 4098 1 - 0.0000 -
2043.79/2052.98 c 2053 58942 4101 1 - 0.0000 -
2048.86/2058.08 c 2058 59100 4104 1 - 0.0000 -
2054.04/2063.20 c 2063 59276 4102 1 - 0.0000 -
2059.11/2068.31 c 2068 59436 4116 1 - 0.0000 -
2064.18/2073.45 c 2073 59583 4127 1 - 0.0000 -
2069.46/2078.72 c 2079 59741 4131 1 - 0.0000 -
2074.53/2083.88 c 2084 59901 4135 1 - 0.0000 -
2079.62/2088.98 c 2089 60070 4140 1 - 0.0000 -
2084.79/2094.11 c 2094 60230 4146 1 - 0.0000 -
2089.86/2099.27 c 2099 60387 4149 1 - 0.0000 -
2094.94/2104.35 c 2104 60544 4151 1 - 0.0000 -
2100.01/2109.47 c 2109 60704 4155 1 - 0.0000 -
2105.29/2114.78 c 2115 60858 4161 1 - 0.0000 -
2110.36/2119.86 c 2120 61021 4164 1 - 0.0000 -
2115.54/2125.01 c 2125 61191 4173 1 - 0.0000 -
2120.52/2130.09 c 2130 61345 4179 1 - 0.0000 -
2125.60/2135.17 c 2135 61516 4186 1 - 0.0000 -
2130.87/2140.43 c 2140 61667 4203 1 - 0.0000 -
2136.14/2145.72 c 2146 61817 4215 1 - 0.0000 -
2141.32/2150.90 c 2151 61964 4224 1 - 0.0000 -
2146.40/2156.06 c 2156 62114 4242 1 - 0.0000 -
2151.48/2161.18 c 2161 62292 4262 1 - 0.0000 -
2156.54/2166.26 c 2166 62473 4274 1 - 0.0000 -
2161.61/2171.35 c 2171 62638 4283 1 - 0.0000 -
2166.78/2176.51 c 2177 62805 4286 1 - 0.0000 -
2171.85/2181.62 c 2182 62973 4292 1 - 0.0000 -
2176.93/2186.74 c 2187 63176 4295 1 - 0.0000 -
2182.00/2191.82 c 2192 63336 4306 1 - 0.0000 -
2187.27/2197.14 c 2197 63502 4318 1 - 0.0000 -
2192.44/2202.30 c 2202 63667 4328 1 - 0.0000 -
2197.61/2207.51 c 2208 63822 4345 1 - 0.0000 -
2202.68/2212.69 c 2213 63984 4357 1 - 0.0000 -
2207.85/2217.83 c 2218 64140 4364 1 - 0.0000 -
2212.92/2222.95 c 2223 64289 4373 1 - 0.0000 -
2217.99/2228.04 c 2228 64443 4395 1 - 0.0000 -
2223.27/2233.31 c 2233 64603 4417 1 - 0.0000 -
2228.44/2238.51 c 2239 64776 4432 1 - 0.0000 -
2233.52/2243.60 c 2244 64932 4440 1 - 0.0000 -
2238.49/2248.69 c 2249 65084 4446 1 - 0.0000 -
2243.67/2253.83 c 2254 65239 4455 1 - 0.0000 -
2248.75/2258.93 c 2259 65401 4469 1 - 0.0000 -
2253.82/2264.01 c 2264 65560 4478 1 - 0.0000 -
2258.90/2269.11 c 2269 65727 4476 1 - 0.0000 -
2263.96/2274.21 c 2274 65895 4487 1 - 0.0000 -
2269.04/2279.33 c 2279 66065 4499 1 - 0.0000 -
2274.11/2284.44 c 2284 66231 4509 1 - 0.0000 -
2279.50/2289.85 c 2290 66379 4518 1 - 0.0000 -
2284.68/2295.00 c 2295 66541 4526 1 - 0.0000 -
2289.75/2300.12 c 2300 66676 4543 1 - 0.0000 -
2294.82/2305.23 c 2305 66807 4556 1 - 0.0000 -
2299.90/2310.32 c 2310 66978 4557 1 - 0.0000 -
2304.98/2315.41 c 2315 67145 4558 1 - 0.0000 -
2310.05/2320.59 c 2321 67320 4563 1 - 0.0000 -
2315.22/2325.74 c 2326 67498 4578 1 - 0.0000 -
2320.41/2330.99 c 2331 67640 4584 1 - 0.0000 -
2325.68/2336.29 c 2336 67787 4592 1 - 0.0000 -
2330.86/2341.48 c 2341 67953 4598 1 - 0.0000 -
2336.03/2346.60 c 2347 68108 4605 1 - 0.0000 -
2341.11/2351.71 c 2352 68264 4611 1 - 0.0000 -
2346.39/2357.02 c 2357 68433 4616 1 - 0.0000 -
2351.47/2362.11 c 2362 68590 4625 1 - 0.0000 -
2356.54/2367.21 c 2367 68772 4631 1 - 0.0000 -
2361.61/2372.36 c 2372 68935 4642 1 - 0.0000 -
2366.69/2377.49 c 2377 69111 4650 1 - 0.0000 -
2371.86/2382.65 c 2383 69279 4659 1 - 0.0000 -
2376.94/2387.75 c 2388 69457 4669 1 - 0.0000 -
2382.11/2392.96 c 2393 69637 4673 1 - 0.0000 -
2387.30/2398.13 c 2398 69792 4686 1 - 0.0000 -
2392.46/2403.36 c 2403 69957 4689 1 - 0.0000 -
2397.53/2408.46 c 2408 70116 4692 1 - 0.0000 -
2402.61/2413.56 c 2414 70275 4695 1 - 0.0000 -
2407.67/2418.66 c 2419 70452 4698 1 - 0.0000 -
2412.75/2423.78 c 2424 70615 4711 1 - 0.0000 -
2417.92/2428.90 c 2429 70751 4719 1 - 0.0000 -
2423.10/2434.17 c 2434 70908 4722 1 - 0.0000 -
2428.26/2439.30 c 2439 71069 4725 1 - 0.0000 -
2433.33/2444.46 c 2444 71233 4729 1 - 0.0000 -
2438.51/2449.63 c 2450 71396 4730 1 - 0.0000 -
2443.58/2454.74 c 2455 71554 4732 1 - 0.0000 -
2448.64/2459.86 c 2460 71740 4738 1 - 0.0000 -
2453.71/2464.96 c 2465 71907 4743 1 - 0.0000 -
2458.89/2470.16 c 2470 72075 4745 1 - 0.0000 -
2463.95/2475.25 c 2475 72253 4751 1 - 0.0000 -
2469.02/2480.37 c 2480 72406 4760 1 - 0.0000 -
2474.20/2485.58 c 2486 72570 4768 1 - 0.0000 -
2479.27/2490.68 c 2491 72718 4778 1 - 0.0000 -
2484.44/2495.81 c 2496 72871 4789 1 - 0.0000 -
2489.51/2500.94 c 2501 73055 4789 1 - 0.0000 -
2494.59/2506.04 c 2506 73238 4797 1 - 0.0000 -
2499.66/2511.18 c 2511 73417 4802 1 - 0.0000 -
2504.83/2516.30 c 2516 73595 4808 1 - 0.0000 -
2509.91/2521.46 c 2521 73770 4814 1 - 0.0000 -
2514.99/2526.54 c 2527 73931 4819 1 - 0.0000 -
2520.06/2531.60 c 2532 74099 4823 1 - 0.0000 -
2525.14/2536.74 c 2537 74259 4829 1 - 0.0000 -
2530.21/2541.84 c 2542 74439 4843 1 - 0.0000 -
2535.29/2546.97 c 2547 74610 4850 1 - 0.0000 -
2540.47/2552.15 c 2552 74779 4857 1 - 0.0000 -
2545.54/2557.29 c 2557 74967 4861 1 - 0.0000 -
2550.72/2562.45 c 2562 75131 4865 1 - 0.0000 -
2555.80/2567.53 c 2568 75301 4869 1 - 0.0000 -
2560.88/2572.61 c 2573 75452 4876 1 - 0.0000 -
2565.85/2577.69 c 2578 75612 4882 1 - 0.0000 -
2571.03/2582.82 c 2583 75801 4893 1 - 0.0000 -
2576.10/2587.94 c 2588 75978 4898 1 - 0.0000 -
2581.19/2593.07 c 2593 76148 4905 1 - 0.0000 -
2586.26/2598.18 c 2598 76323 4905 1 - 0.0000 -
2591.33/2603.25 c 2603 76517 4907 1 - 0.0000 -
2596.50/2608.47 c 2608 76686 4909 1 - 0.0000 -
2601.69/2613.66 c 2614 76846 4915 1 - 0.0000 -
2606.96/2618.95 c 2619 77017 4924 1 - 0.0000 -
2612.04/2624.03 c 2624 77192 4927 1 - 0.0000 -
2617.12/2629.16 c 2629 77379 4932 1 - 0.0000 -
2622.28/2634.31 c 2634 77544 4941 1 - 0.0000 -
2627.37/2639.46 c 2639 77709 4956 1 - 0.0000 -
2632.44/2644.57 c 2645 77885 4960 1 - 0.0000 -
2637.52/2649.67 c 2650 78058 4963 1 - 0.0000 -
2642.59/2654.76 c 2655 78225 4970 1 - 0.0000 -
2647.67/2659.86 c 2660 78392 4979 1 - 0.0000 -
2652.75/2664.94 c 2665 78546 4987 1 - 0.0000 -
2657.93/2670.11 c 2670 78705 4992 1 - 0.0000 -
2663.00/2675.20 c 2675 78865 5008 1 - 0.0000 -
2668.07/2680.39 c 2680 79025 5016 1 - 0.0000 -
2673.25/2685.58 c 2686 79196 5025 1 - 0.0000 -
2678.43/2690.73 c 2691 79355 5024 1 - 0.0000 -
2683.51/2695.82 c 2696 79523 5024 1 - 0.0000 -
2688.58/2700.96 c 2701 79696 5029 1 - 0.0000 -
2693.66/2706.04 c 2706 79873 5032 1 - 0.0000 -
2698.74/2711.12 c 2711 80048 5037 1 - 0.0000 -
2703.81/2716.22 c 2716 80207 5044 1 - 0.0000 -
2708.89/2721.35 c 2721 80368 5045 1 - 0.0000 -
2713.96/2726.45 c 2726 80540 5051 1 - 0.0000 -
2719.14/2731.65 c 2732 80695 5068 1 - 0.0000 -
2724.21/2736.72 c 2737 80866 5080 1 - 0.0000 -
2729.30/2741.83 c 2742 81031 5083 1 - 0.0000 -
2734.37/2746.97 c 2747 81209 5081 1 - 0.0000 -
2739.55/2752.12 c 2752 81380 5083 1 - 0.0000 -
2744.73/2757.32 c 2757 81558 5085 1 - 0.0000 -
2749.80/2762.45 c 2762 81720 5089 1 - 0.0000 -
2754.87/2767.56 c 2768 81896 5091 1 - 0.0000 -
2760.05/2772.71 c 2773 82051 5094 1 - 0.0000 -
2765.62/2778.32 c 2778 82215 5102 1 - 0.0000 -
2770.80/2783.56 c 2784 82391 5106 1 - 0.0000 -
2775.87/2788.65 c 2789 82534 5117 1 - 0.0000 -
2781.05/2793.82 c 2794 82689 5126 1 - 0.0000 -
2786.23/2799.04 c 2799 82858 5129 1 - 0.0000 -
2791.31/2804.14 c 2804 83045 5126 1 - 0.0000 -
2796.38/2809.25 c 2809 83230 5129 1 - 0.0000 -
2801.46/2814.35 c 2814 83390 5130 1 - 0.0000 -
2806.54/2819.42 c 2819 83552 5134 1 - 0.0000 -
2811.71/2824.68 c 2825 83708 5146 1 - 0.0000 -
2816.89/2829.81 c 2830 83861 5157 1 - 0.0000 -
2822.07/2835.00 c 2835 84028 5158 1 - 0.0000 -
2827.14/2840.15 c 2840 84192 5166 1 - 0.0000 -
2832.21/2845.26 c 2845 84362 5168 1 - 0.0000 -
2837.29/2850.33 c 2850 84541 5169 1 - 0.0000 -
2842.26/2855.39 c 2855 84706 5174 1 - 0.0000 -
2847.44/2860.54 c 2861 84882 5175 1 - 0.0000 -
2852.62/2865.71 c 2866 85061 5186 1 - 0.0000 -
2857.70/2870.86 c 2871 85231 5190 1 - 0.0000 -
2862.88/2876.09 c 2876 85399 5194 1 - 0.0000 -
2867.95/2881.15 c 2881 85560 5201 1 - 0.0000 -
2873.13/2886.37 c 2886 85724 5210 1 - 0.0000 -
2878.30/2891.54 c 2892 85875 5217 1 - 0.0000 -
2883.37/2896.62 c 2897 86063 5229 1 - 0.0000 -
2888.45/2901.72 c 2902 86235 5233 1 - 0.0000 -
2893.53/2906.81 c 2907 86420 5235 1 - 0.0000 -
2898.60/2911.91 c 2912 86592 5247 1 - 0.0000 -
2903.58/2916.97 c 2917 86762 5252 1 - 0.0000 -
2908.66/2922.05 c 2922 86943 5262 1 - 0.0000 -
2913.83/2927.20 c 2927 87121 5262 1 - 0.0000 -
2918.90/2932.31 c 2932 87299 5267 1 - 0.0000 -
2923.97/2937.40 c 2937 87480 5266 1 - 0.0000 -
2929.05/2942.51 c 2943 87643 5268 1 - 0.0000 -
2934.13/2947.65 c 2948 87808 5271 1 - 0.0000 -
2939.21/2952.73 c 2953 87985 5278 1 - 0.0000 -
2944.39/2957.97 c 2958 88147 5286 1 - 0.0000 -
2949.47/2963.08 c 2963 88318 5289 1 - 0.0000 -
2954.64/2968.24 c 2968 88487 5294 1 - 0.0000 -
2959.72/2973.35 c 2973 88675 5304 1 - 0.0000 -
2964.80/2978.46 c 2978 88855 5314 1 - 0.0000 -
2969.88/2983.59 c 2984 89046 5324 1 - 0.0000 -
2974.95/2988.69 c 2989 89221 5329 1 - 0.0000 -
2980.03/2993.79 c 2994 89391 5343 1 - 0.0000 -
2985.11/2998.89 c 2999 89544 5359 1 - 0.0000 -
2990.30/3004.00 c 3004 89697 5371 1 - 0.0000 -
2995.27/3009.10 c 3009 89873 5395 1 - 0.0000 -
3000.34/3014.19 c 3014 90072 5417 1 - 0.0000 -
3005.51/3019.39 c 3019 90252 5430 1 - 0.0000 -
3010.59/3024.46 c 3024 90432 5430 1 - 0.0000 -
3015.67/3029.54 c 3030 90606 5430 1 - 0.0000 -
3020.75/3034.67 c 3035 90789 5447 1 - 0.0000 -
3025.93/3039.81 c 3040 90974 5458 1 - 0.0000 -
3030.91/3044.88 c 3045 91170 5470 1 - 0.0000 -
3035.98/3049.99 c 3050 91364 5470 1 - 0.0000 -
3041.07/3055.10 c 3055 91531 5469 1 - 0.0000 -
3046.24/3060.21 c 3060 91710 5474 1 - 0.0000 -
3051.31/3065.31 c 3065 91889 5485 1 - 0.0000 -
3056.40/3070.40 c 3070 92068 5496 1 - 0.0000 -
3061.47/3075.50 c 3076 92240 5498 1 - 0.0000 -
3066.95/3081.00 c 3081 92386 5510 1 - 0.0000 -
3072.03/3086.10 c 3086 92574 5512 1 - 0.0000 -
3077.10/3091.25 c 3091 92747 5516 1 - 0.0000 -
3082.18/3096.39 c 3096 92917 5524 1 - 0.0000 -
3087.46/3101.67 c 3102 93087 5527 1 - 0.0000 -
3092.54/3106.77 c 3107 93251 5531 1 - 0.0000 -
3097.71/3111.91 c 3112 93436 5534 1 - 0.0000 -
3102.79/3117.04 c 3117 93610 5532 1 - 0.0000 -
3107.96/3122.20 c 3122 93782 5536 1 - 0.0000 -
3113.14/3127.42 c 3127 93954 5536 1 - 0.0000 -
3118.23/3132.56 c 3133 94139 5537 1 - 0.0000 -
3123.30/3137.65 c 3138 94327 5537 1 - 0.0000 -
3128.38/3142.76 c 3143 94515 5535 1 - 0.0000 -
3133.45/3147.87 c 3148 94697 5537 1 - 0.0000 -
3138.53/3152.97 c 3153 94876 5542 1 - 0.0000 -
3143.62/3158.07 c 3158 95047 5552 1 - 0.0000 -
3148.69/3163.19 c 3163 95230 5555 1 - 0.0000 -
3153.76/3168.29 c 3168 95389 5563 1 - 0.0000 -
3158.94/3173.41 c 3173 95544 5578 1 - 0.0000 -
3164.01/3178.54 c 3179 95700 5582 1 - 0.0000 -
3169.19/3183.77 c 3184 95850 5596 1 - 0.0000 -
3174.27/3188.89 c 3189 96039 5599 1 - 0.0000 -
3179.34/3193.97 c 3194 96225 5601 1 - 0.0000 -
3184.41/3199.07 c 3199 96396 5604 1 - 0.0000 -
3189.48/3204.16 c 3204 96556 5616 1 - 0.0000 -
3194.54/3209.29 c 3209 96731 5625 1 - 0.0000 -
3199.71/3214.40 c 3214 96897 5626 1 - 0.0000 -
3204.69/3219.47 c 3219 97072 5631 1 - 0.0000 -
3209.76/3224.55 c 3225 97251 5642 1 - 0.0000 -
3214.83/3229.67 c 3230 97427 5650 1 - 0.0000 -
3220.10/3234.93 c 3235 97588 5657 1 - 0.0000 -
3225.07/3239.99 c 3240 97756 5658 1 - 0.0000 -
3230.24/3245.13 c 3245 97922 5663 1 - 0.0000 -
3235.31/3250.24 c 3250 98098 5665 1 - 0.0000 -
3240.47/3255.42 c 3255 98280 5669 1 - 0.0000 -
3245.65/3260.66 c 3261 98435 5671 1 - 0.0000 -
3250.72/3265.77 c 3266 98599 5675 1 - 0.0000 -
3255.89/3270.98 c 3271 98776 5673 1 - 0.0000 -
3260.96/3276.07 c 3276 98944 5676 1 - 0.0000 -
3266.04/3281.16 c 3281 99110 5678 1 - 0.0000 -
3271.21/3286.37 c 3286 99280 5679 1 - 0.0000 -
3276.29/3291.48 c 3291 99451 5680 1 - 0.0000 -
3281.46/3296.64 c 3297 99631 5678 1 - 0.0000 -
3286.54/3301.73 c 3302 99807 5685 1 - 0.0000 -
3291.61/3306.81 c 3307 99977 5685 1 - 0.0000 -
3296.59/3311.87 c 3312 100148 5692 1 - 0.0000 -
3301.66/3316.96 c 3317 100330 5692 1 - 0.0000 -
3306.74/3322.05 c 3322 100501 5697 1 - 0.0000 -
3311.82/3327.18 c 3327 100669 5701 1 - 0.0000 -
3316.98/3332.30 c 3332 100846 5701 1 - 0.0000 -
3322.07/3337.41 c 3337 101007 5705 1 - 0.0000 -
3327.14/3342.50 c 3343 101190 5706 1 - 0.0000 -
3332.21/3347.62 c 3348 101381 5710 1 - 0.0000 -
3337.49/3352.90 c 3353 101537 5719 1 - 0.0000 -
3342.57/3358.04 c 3358 101699 5727 1 - 0.0000 -
3347.54/3363.09 c 3363 101878 5736 1 - 0.0000 -
3352.71/3368.21 c 3368 102065 5735 1 - 0.0000 -
3357.79/3373.35 c 3373 102242 5738 1 - 0.0000 -
3362.86/3378.48 c 3378 102419 5737 1 - 0.0000 -
3368.05/3383.62 c 3384 102584 5742 1 - 0.0000 -
3373.02/3388.69 c 3389 102750 5750 1 - 0.0000 -
3378.12/3393.78 c 3394 102948 5751 1 - 0.0000 -
3383.20/3398.88 c 3399 103122 5755 1 - 0.0000 -
3388.39/3404.02 c 3404 103292 5760 1 - 0.0000 -
3393.47/3409.10 c 3409 103483 5765 1 - 0.0000 -
3398.55/3414.21 c 3414 103656 5770 1 - 0.0000 -
3403.63/3419.30 c 3419 103845 5775 1 - 0.0000 -
3408.82/3424.50 c 3425 104022 5784 1 - 0.0000 -
3413.80/3429.59 c 3430 104213 5785 1 - 0.0000 -
3418.98/3434.72 c 3435 104400 5793 1 - 0.0000 -
3423.96/3439.80 c 3440 104608 5802 1 - 0.0000 -
3429.06/3444.86 c 3445 104786 5803 1 - 0.0000 -
3434.14/3449.98 c 3450 104959 5814 1 - 0.0000 -
3439.22/3455.06 c 3455 105144 5815 1 - 0.0000 -
3444.31/3460.19 c 3460 105331 5824 1 - 0.0000 -
3449.39/3465.25 c 3465 105508 5831 1 - 0.0000 -
3454.47/3470.33 c 3470 105692 5835 1 - 0.0000 -
3459.76/3475.65 c 3476 105897 5840 1 - 0.0000 -
3464.84/3480.79 c 3481 106095 5848 1 - 0.0000 -
3469.92/3485.87 c 3486 106262 5851 1 - 0.0000 -
3475.11/3491.02 c 3491 106435 5854 1 - 0.0000 -
3480.19/3496.10 c 3496 106618 5857 1 - 0.0000 -
3485.27/3501.22 c 3501 106823 5856 1 - 0.0000 -
3490.36/3506.31 c 3506 107009 5863 1 - 0.0000 -
3495.44/3511.43 c 3511 107209 5870 1 - 0.0000 -
3500.53/3516.56 c 3517 107383 5871 1 - 0.0000 -
3505.61/3521.68 c 3522 107577 5879 1 - 0.0000 -
3510.79/3526.82 c 3527 107742 5880 1 - 0.0000 -
3515.87/3531.93 c 3532 107927 5883 1 - 0.0000 -
3520.96/3537.02 c 3537 108114 5884 1 - 0.0000 -
3526.05/3542.11 c 3542 108294 5889 1 - 0.0000 -
3531.12/3547.23 c 3547 108461 5896 1 - 0.0000 -
3536.21/3552.31 c 3552 108638 5904 1 - 0.0000 -
3541.19/3557.36 c 3557 108830 5914 1 - 0.0000 -
3546.28/3562.43 c 3562 109024 5920 1 - 0.0000 -
3551.36/3567.56 c 3568 109212 5924 1 - 0.0000 -
3556.44/3572.65 c 3573 109404 5928 1 - 0.0000 -
3561.52/3577.77 c 3578 109605 5929 1 - 0.0000 -
3566.61/3582.88 c 3583 109801 5932 1 - 0.0000 -
3571.69/3587.96 c 3588 109995 5934 1 - 0.0000 -
3576.78/3593.05 c 3593 110182 5934 1 - 0.0000 -
3581.87/3598.14 c 3598 110367 5935 1 - 0.0000 -
3584.05/3600.35 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.05/3600.35 c Total Time : 3600.3500
3584.05/3600.35 c solving : 3600.3500
3584.05/3600.35 c presolving : 4.5460 (included in solving)
3584.05/3600.35 c B&B Tree :
3584.05/3600.35 c nodes (total) : 1
3584.05/3600.35 c Solution :
3584.05/3600.35 c Solutions found : 0
3584.05/3600.35 c Primal Bound : -
3584.05/3600.35 c Dual Bound : +0.00000000000000e+00
3584.05/3600.35 c Gap : -
3584.16/3600.49 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 (58930 MiB free)
memory of node 1: 64473 MiB (60724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442840-1721298062/watcher-4442840-1721298062 -o /tmp/evaluation-result-4442840-1721298062/solver-4442840-1721298062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950167 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442840-1721298062.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=952883, runsolver pid=952880
[startup+0.100093 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 952884
/proc/meminfo: memFree=122485456/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=63964 memory=51588 CPUtime=0.09 cores=1,3
/proc/952883/stat : 952883 (fscip) R 952880 952883 950155 0 -1 4194304 10814 0 0 0 8 1 0 0 20 0 1 0 181975134 65499136 12897 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 15991 12897 2318 3032 0 12391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63964 KiB
Current children cumulated memory: 51588 KiB
[startup+0.205611 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 952884
/proc/meminfo: memFree=122437828/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=112476 memory=101724 CPUtime=0.2 cores=1,3
/proc/952883/stat : 952883 (fscip) R 952880 952883 950155 0 -1 4194304 23860 0 0 0 18 2 0 0 20 0 1 0 181975134 115175424 25431 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 28375 25431 2542 3032 0 24775 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112476 KiB
Current children cumulated memory: 101724 KiB
[startup+0.305545 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 952884
/proc/meminfo: memFree=122378216/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=173616 memory=161652 CPUtime=0.3 cores=1,3
/proc/952883/stat : 952883 (fscip) R 952880 952883 950155 0 -1 4194304 38882 0 0 0 26 4 0 0 20 0 1 0 181975134 177782784 40413 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 43404 40413 2542 3032 0 39804 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 173616 KiB
Current children cumulated memory: 161652 KiB
[startup+0.700227 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 952884
/proc/meminfo: memFree=122332624/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=223348 memory=210976 CPUtime=0.69 cores=1,3
/proc/952883/stat : 952883 (fscip) R 952880 952883 950155 0 -1 4194304 57824 0 0 0 60 9 0 0 20 0 1 0 181975134 228708352 52744 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 55837 52744 2670 3032 0 52237 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 223348 KiB
Current children cumulated memory: 210976 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 952884
/proc/meminfo: memFree=122292412/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=255904 memory=242916 CPUtime=1.49 cores=1,3
/proc/952883/stat : 952883 (fscip) R 952880 952883 950155 0 -1 4194304 65849 0 0 0 139 10 0 0 20 0 1 0 181975134 262045696 60729 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 63976 60729 2670 3032 0 60376 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 255904 KiB
Current children cumulated memory: 242916 KiB
[startup+3.10544 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 952884
/proc/meminfo: memFree=122262720/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=305228 memory=272608 CPUtime=3.09 cores=1,3
/proc/952883/stat : 952883 (fscip) R 952880 952883 950155 0 -1 4194304 72156 0 0 0 298 11 0 0 20 0 1 0 181975134 312553472 68152 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 76307 68152 2750 3032 0 72707 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 305228 KiB
Current children cumulated memory: 272608 KiB
[startup+6.30096 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 952889
/proc/meminfo: memFree=122045308/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=589176 memory=529688 CPUtime=6.26 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 157675 0 0 0 604 22 0 0 20 0 3 0 181975134 603316224 132422 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 147294 132422 2766 3032 0 137157 0
[pid=952883/tid=952886] ppid=952880 vsize=589176 memory=271652 CPUtime=1.24 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 70833 0 0 0 115 9 0 0 20 0 3 0 181975621 603316224 132422 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=589176 memory=8242994891312070682 CPUtime=0 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 181975653 603316224 132422 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 589176 KiB
Current children cumulated memory: 529688 KiB
[startup+12.701 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 952937
/proc/meminfo: memFree=121908796/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=851320 memory=804684 CPUtime=12.6 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 263228 0 0 0 1226 34 0 0 20 0 3 0 181975134 871751680 201171 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 212830 201171 2926 3032 0 206548 0
[pid=952883/tid=952886] ppid=952880 vsize=851320 memory=541056 CPUtime=7.56 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 176381 0 0 0 736 20 0 0 20 0 3 0 181975621 871751680 201171 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=851320 memory=0 CPUtime=0 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 181975653 871751680 201171 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 851320 KiB
Current children cumulated memory: 804684 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 952938
/proc/meminfo: memFree=121702120/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=982392 memory=815340 CPUtime=25.36 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 343643 0 0 0 2498 38 0 0 20 0 3 0 181975134 1005969408 203835 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 245598 203835 2926 3032 0 226762 0
[pid=952883/tid=952886] ppid=952880 vsize=982392 memory=12088 CPUtime=20.32 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 256789 0 0 0 2008 24 0 0 20 0 3 0 181975621 1005969408 203835 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=982392 memory=529688 CPUtime=0 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 181975653 1005969408 203835 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 982392 KiB
Current children cumulated memory: 815340 KiB
[startup+51.1059 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 952944
/proc/meminfo: memFree=121338868/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1179000 memory=984504 CPUtime=50.87 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 503248 0 0 0 5035 52 0 0 20 0 3 0 181975134 1207296000 246126 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 294750 246126 2974 3032 0 280822 0
[pid=952883/tid=952886] ppid=952880 vsize=1179000 memory=898824 CPUtime=45.85 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 416290 0 0 0 4546 39 0 0 20 0 3 0 181975621 1207296000 246126 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1179000 memory=44880 CPUtime=0 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 181975653 1207296000 246126 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1179000 KiB
Current children cumulated memory: 984504 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 952954
/proc/meminfo: memFree=121326720/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1179000 memory=990612 CPUtime=101.89 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 623291 0 0 0 10128 61 0 0 20 0 3 0 181975134 1207296000 247653 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 294750 247653 2974 3032 0 283063 0
[pid=952883/tid=952886] ppid=952880 vsize=1179000 memory=12088 CPUtime=96.85 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 536247 0 0 0 9638 47 0 0 20 0 3 0 181975621 1207296000 247653 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1179000 memory=12088 CPUtime=0 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 181975653 1207296000 247653 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1179000 KiB
Current children cumulated memory: 990612 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 952964
/proc/meminfo: memFree=121308772/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1179000 memory=990620 CPUtime=161.65 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 690979 0 0 0 16099 66 0 0 20 0 3 0 181975134 1207296000 247655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 294750 247655 2974 3032 0 283063 0
[pid=952883/tid=952886] ppid=952880 vsize=1179000 memory=990620 CPUtime=156.61 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 603874 0 0 0 15609 52 0 0 20 0 3 0 181975621 1207296000 247655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1179000 memory=990620 CPUtime=0 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 181975653 1207296000 247655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 1179000 KiB
Current children cumulated memory: 990620 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 952975
/proc/meminfo: memFree=121246560/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1179000 memory=1013736 CPUtime=221.42 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 782051 0 0 0 22069 73 0 0 20 0 3 0 181975134 1207296000 253434 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 294750 253434 2974 3032 0 288904 0
[pid=952883/tid=952886] ppid=952880 vsize=1179000 memory=990620 CPUtime=216.38 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 694914 0 0 0 21578 60 0 0 20 0 3 0 181975621 1207296000 253434 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1179000 memory=990624 CPUtime=0 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 181975653 1207296000 253434 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 1179000 KiB
Current children cumulated memory: 1013736 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 953370
/proc/meminfo: memFree=121244900/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1179000 memory=1013736 CPUtime=281.18 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 835060 0 0 0 28041 77 0 0 20 0 3 0 181975134 1207296000 253434 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 294750 253434 2974 3032 0 288904 0
[pid=952883/tid=952886] ppid=952880 vsize=1179000 memory=1013736 CPUtime=276.13 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 747890 0 0 0 27550 63 0 0 20 0 3 0 181975621 1207296000 253434 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
################
# More data... #
################
Current children cumulated CPU time: 3386.69 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1306032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.03 4.08 4.08 5/262 954995
/proc/meminfo: memFree=124746372/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1307932 CPUtime=3446.5 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3138483 0 0 0 344334 316 0 0 20 0 3 0 181975134 1542840320 326983 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 326983 2990 3032 0 362200 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=1305732 CPUtime=3441.21 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3049681 0 0 0 343829 292 0 0 20 0 3 0 181975621 1542840320 326983 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=12088 CPUtime=0.04 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 194 0 0 0 1 3 0 0 20 0 3 0 181975653 1542840320 326983 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3446.5 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1307932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 955149
/proc/meminfo: memFree=124730564/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1309372 CPUtime=3506.31 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3169998 0 0 0 350312 319 0 0 20 0 3 0 181975134 1542840320 327343 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 327343 2990 3032 0 362200 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=1305732 CPUtime=3501.01 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3081169 0 0 0 349806 295 0 0 20 0 3 0 181975621 1542840320 327343 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=1309372 CPUtime=0.04 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 196 0 0 0 1 3 0 0 20 0 3 0 181975653 1542840320 327343 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3506.31 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1309372 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.09 5/265 955211
/proc/meminfo: memFree=124665332/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1342620 CPUtime=3566.11 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3244853 0 0 0 356286 325 0 0 20 0 3 0 181975134 1542840320 335655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 335655 2990 3032 0 370332 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=1305732 CPUtime=3560.81 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3155997 0 0 0 355780 301 0 0 20 0 3 0 181975621 1542840320 335655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=12088 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 3 0 181975653 1542840320 335655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3566.11 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1342620 KiB
[startup+3600.53 s]
# the end of solver process 952883 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.95 s, system=3.34206 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.09 5/265 955211
/proc/meminfo: memFree=124665380/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1342620 CPUtime=3567.81 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3245770 0 0 0 356456 325 0 0 20 0 3 0 181975134 1542840320 335655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 335655 2990 3032 0 370332 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=6720663268157112175 CPUtime=3562.51 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3156914 0 0 0 355950 301 0 0 20 0 3 0 181975621 1542840320 335655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=-4421386517756470882 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 3 0 181975653 1542840320 335655 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3567.81 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1342620 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 955213
/proc/meminfo: memFree=124664796/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1343128 CPUtime=3574.18 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3246946 0 0 0 357093 325 0 0 20 0 3 0 181975134 1542840320 335782 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 335782 2990 3032 0 370332 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=5500 CPUtime=3568.89 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3158090 0 0 0 356588 301 0 0 20 0 3 0 181975621 1542840320 335782 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=1343128 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 3 0 181975653 1542840320 335782 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3574.18 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1343128 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 955216
/proc/meminfo: memFree=124664340/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1343496 CPUtime=3580.57 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3251026 0 0 0 357731 326 0 0 20 0 3 0 181975134 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 335874 2990 3032 0 370332 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=1342620 CPUtime=3575.26 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3162170 0 0 0 357225 301 0 0 20 0 3 0 181975621 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=21668 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 3 0 181975653 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3580.57 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1343496 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 955216
/proc/meminfo: memFree=124663788/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1343496 CPUtime=3582.16 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3251567 0 0 0 357890 326 0 0 20 0 3 0 181975134 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 335874 2990 3032 0 370332 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=12088 CPUtime=3576.87 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3162711 0 0 0 357385 302 0 0 20 0 3 0 181975621 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=44880 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 3 0 181975653 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3582.16 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1343496 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 955216
/proc/meminfo: memFree=124663284/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1343496 CPUtime=3582.96 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3251621 0 0 0 357970 326 0 0 20 0 3 0 181975134 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 335874 2990 3032 0 370332 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=44880 CPUtime=3577.66 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3162765 0 0 0 357464 302 0 0 20 0 3 0 181975621 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=12512 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 3 0 181975653 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3582.96 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1343496 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.11 4.09 5/265 955216
/proc/meminfo: memFree=124663284/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1506680 memory=1343496 CPUtime=3583.76 cores=1,3
/proc/952883/stat : 952883 (fscip) S 952880 952883 950155 0 -1 1077936128 3251734 0 0 0 358050 326 0 0 20 0 3 0 181975134 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 376670 335874 2990 3032 0 370332 0
[pid=952883/tid=952886] ppid=952880 vsize=1506680 memory=6720663268157112175 CPUtime=3578.46 cores=1,3
/proc/952883/task/952886/stat : 952886 (fscip) R 952880 952883 950155 0 -1 4194368 3162878 0 0 0 357544 302 0 0 20 0 3 0 181975621 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
[pid=952883/tid=952887] ppid=952880 vsize=1506680 memory=-4421386517756470882 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 3 0 181975653 1542840320 335874 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 1506680 KiB
Current children cumulated memory: 1343496 KiB
[startup+3600.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 955216
/proc/meminfo: memFree=124663284/131524600 swapFree=131071996/131071996
[pid=952883] ppid=952880 vsize=1441144 memory=1279544 CPUtime=3584.16 cores=1,3
/proc/952883/stat : 952883 (fscip) R 952880 952883 950155 0 -1 4194304 3322269 0 0 0 358086 330 0 0 20 0 2 0 181975134 1475731456 319886 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
/proc/952883/statm: 360286 319886 2990 3032 0 354347 0
[pid=952883/tid=952887] ppid=952880 vsize=1441144 memory=3740 CPUtime=0.05 cores=1,3
/proc/952883/task/952887/stat : 952887 (fscip) S 952880 952883 950155 0 -1 1077936192 198 0 0 0 2 3 0 0 20 0 2 0 181975653 1475731456 319886 134679101440 4194304 16613245 140736176427024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 39964672 140736176432148 140736176432264 140736176432264 140736176439280 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 1441144 KiB
Current children cumulated memory: 1279544 KiB
[startup+3600.51 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 955216
/proc/meminfo: memFree=125460980/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.53
CPU time (s): 3584.29
CPU user time (s): 3580.95
CPU system time (s): 3.34206
CPU usage (%): 99.5489
Max. virtual memory (cumulated for all children) (KiB): 1572216
Max. memory (cumulated for all children) (KiB): 1349520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.95
system time used= 3.34206
maximum resident set size= 1349648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3337617
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= 10679
involuntary context switches= 1413
# summary of solver processes directly reported to runsolver:
# pid: 952883
# total CPU time (s): 3584.29
# total CPU user time (s): 3580.95
# total CPU system time (s): 3.34206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70854 second user time and 17.7535 second system time
The end
Begin job on nodeC032 at 2024-07-18 12:21:14
IDJOB=4442840
IDBENCH=147852
IDSOLVER=3064
FILE ID=nodeC032/4442840-1721298062
RUNJOBID= nodeC032-1721294255-950167
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-65-60.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-4442840-1721298062/watcher-4442840-1721298062 -o /tmp/evaluation-result-4442840-1721298062/solver-4442840-1721298062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950167 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442840-1721298062.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a13dda9504d679e5c6e2bc0e517e2ba2
RANDOM SEED=605713748
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 : 3668.407
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 : 3676.570
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 : 3599.693
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 : 3663.277
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 : 3668.369
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 : 3672.997
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.838
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.895
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: 122527456 kB
MemAvailable: 125059760 kB
Buffers: 486384 kB
Cached: 2861144 kB
SwapCached: 0 kB
Active: 941780 kB
Inactive: 7392372 kB
Active(anon): 1556 kB
Inactive(anon): 5022480 kB
Active(file): 940224 kB
Inactive(file): 2369892 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 31468 kB
Writeback: 0 kB
AnonPages: 4984688 kB
Mapped: 141372 kB
Shmem: 37720 kB
KReclaimable: 124020 kB
Slab: 239484 kB
SReclaimable: 124020 kB
SUnreclaim: 115464 kB
KernelStack: 4256 kB
PageTables: 19188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2946048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1296384 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= 889968 MiB
End job on nodeC032 at 2024-07-18 13:21:15