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.69/0.70 c Default LC presolving (default).
0.69/0.71 c ** Before presolving: virtualMemUsedAtLc = 271860092, getVmSize() = 179949568, SCIPgetMemUsed() = 139170819, SCIPgetMemTotal() = 148157747, SCIPgetMemExternEstim() = 123702345
0.69/0.71 c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
5.46/5.59 c ** Estimated virtualMemUsedAtSolver = 236430813, getVmSize() = 297345024, SCIPgetMemUsed() = 185455667, SCIPgetMemTotal() = 230943875, SCIPgetMemExternEstim() = 123702345
5.46/5.59 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
5.46/5.59 c Original Problem :
5.46/5.59 c Problem name : instance-4464407-1722378602
5.46/5.59 c Variables : 3900 (3900 binary, 0 integer, 0 implicit integer, 0 continuous)
5.46/5.59 c Constraints : 124865
5.46/5.59 c Objective sense : minimize
5.46/5.59 c Presolved Problem :
5.46/5.59 c Variables : 3900 (3900 binary, 0 integer, 0 implicit integer, 0 continuous)
5.46/5.59 c Constraints : 124988
5.46/5.59 c Constraints : Number
5.46/5.59 c setppc : 124923
5.46/5.59 c logicor : 65
5.46/5.59 c ** Instance transfer method used: 0
5.66/5.75 c ** ParaScipInstance copy does not increase the number of variables. **
5.96/6.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
5.96/6.06 c Nodes Active
5.96/6.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
32.45/32.60 c 33 2 1 1 - 0.0000 -
40.93/41.17 c 41 18 17 1 - 0.0000 -
46.69/46.96 c 47 25 24 1 - 0.0000 -
52.48/52.78 c 53 42 41 1 - 0.0000 -
58.56/58.81 c 59 69 68 1 - 0.0000 -
63.93/64.25 c 64 98 97 1 - 0.0000 -
69.61/69.92 c 70 113 112 1 - 0.0000 -
74.59/75.01 c 75 229 168 1 - 0.0000 -
79.96/80.37 c 80 360 203 1 - 0.0000 -
85.14/85.58 c 86 502 233 1 - 0.0000 -
90.41/90.88 c 91 628 267 1 - 0.0000 -
95.61/96.05 c 96 771 292 1 - 0.0000 -
100.77/101.23 c 101 909 304 1 - 0.0000 -
105.85/106.32 c 106 1049 324 1 - 0.0000 -
111.03/111.50 c 112 1213 332 1 - 0.0000 -
116.10/116.65 c 117 1387 344 1 - 0.0000 -
121.39/121.94 c 122 1536 357 1 - 0.0000 -
126.66/127.23 c 127 1679 374 1 - 0.0000 -
132.04/132.69 c 133 1836 387 1 - 0.0000 -
137.53/138.12 c 138 2004 397 1 - 0.0000 -
142.80/143.48 c 143 2158 412 1 - 0.0000 -
147.97/148.64 c 149 2310 424 1 - 0.0000 -
153.05/153.74 c 154 2458 434 1 - 0.0000 -
158.13/158.83 c 159 2609 441 1 - 0.0000 -
163.21/163.97 c 164 2774 448 1 - 0.0000 -
168.30/169.07 c 169 2914 462 1 - 0.0000 -
173.47/174.24 c 174 3058 474 1 - 0.0000 -
178.65/179.41 c 179 3212 488 1 - 0.0000 -
183.82/184.61 c 185 3366 504 1 - 0.0000 -
188.80/189.69 c 190 3509 515 1 - 0.0000 -
193.98/194.85 c 195 3668 526 1 - 0.0000 -
199.27/200.12 c 200 3826 534 1 - 0.0000 -
204.34/205.22 c 205 3984 542 1 - 0.0000 -
209.51/210.47 c 210 4144 544 1 - 0.0000 -
214.69/215.65 c 216 4305 549 1 - 0.0000 -
219.87/220.85 c 221 4470 558 1 - 0.0000 -
224.94/225.93 c 226 4624 560 1 - 0.0000 -
230.04/231.02 c 231 4787 565 1 - 0.0000 -
235.20/236.28 c 236 4955 567 1 - 0.0000 -
240.38/241.42 c 241 5112 574 1 - 0.0000 -
245.46/246.57 c 247 5270 582 1 - 0.0000 -
250.73/251.80 c 252 5433 593 1 - 0.0000 -
255.82/256.91 c 257 5594 600 1 - 0.0000 -
260.79/262.01 c 262 5769 599 1 - 0.0000 -
265.97/267.16 c 267 5944 600 1 - 0.0000 -
271.14/272.35 c 272 6121 605 1 - 0.0000 -
276.32/277.56 c 278 6276 608 1 - 0.0000 -
281.49/282.76 c 283 6429 629 1 - 0.0000 -
286.67/287.95 c 288 6583 645 1 - 0.0000 -
291.87/293.15 c 293 6744 652 1 - 0.0000 -
297.03/298.39 c 298 6899 665 1 - 0.0000 -
302.11/303.47 c 303 7052 678 1 - 0.0000 -
307.38/308.74 c 309 7207 697 1 - 0.0000 -
312.56/313.91 c 314 7357 705 1 - 0.0000 -
317.84/319.27 c 319 7508 720 1 - 0.0000 -
323.12/324.50 c 325 7665 729 1 - 0.0000 -
328.20/329.62 c 330 7822 734 1 - 0.0000 -
333.28/334.71 c 335 7981 741 1 - 0.0000 -
338.25/339.79 c 340 8134 742 1 - 0.0000 -
343.43/344.90 c 345 8286 746 1 - 0.0000 -
348.71/350.20 c 350 8441 751 1 - 0.0000 -
353.68/355.28 c 355 8594 754 1 - 0.0000 -
358.77/360.38 c 360 8753 755 1 - 0.0000 -
363.95/365.50 c 366 8917 759 1 - 0.0000 -
369.13/370.76 c 371 9060 766 1 - 0.0000 -
374.30/375.99 c 376 9217 777 1 - 0.0000 -
379.58/381.29 c 381 9377 783 1 - 0.0000 -
384.75/386.48 c 386 9537 789 1 - 0.0000 -
389.93/391.67 c 392 9697 797 1 - 0.0000 -
395.12/396.80 c 397 9848 808 1 - 0.0000 -
400.19/401.94 c 402 10007 813 1 - 0.0000 -
405.28/407.02 c 407 10174 820 1 - 0.0000 -
410.26/412.09 c 412 10352 820 1 - 0.0000 -
415.62/417.43 c 417 10516 824 1 - 0.0000 -
420.90/422.71 c 423 10682 830 1 - 0.0000 -
426.08/427.91 c 428 10842 836 1 - 0.0000 -
431.17/433.04 c 433 11002 840 1 - 0.0000 -
436.34/438.20 c 438 11158 846 1 - 0.0000 -
441.42/443.34 c 443 11317 851 1 - 0.0000 -
446.49/448.42 c 448 11476 854 1 - 0.0000 -
451.67/453.61 c 454 11639 859 1 - 0.0000 -
456.85/458.83 c 459 11791 867 1 - 0.0000 -
461.93/463.94 c 464 11963 869 1 - 0.0000 -
467.02/469.02 c 469 12123 869 1 - 0.0000 -
472.29/474.33 c 474 12282 878 1 - 0.0000 -
477.36/479.43 c 479 12435 883 1 - 0.0000 -
482.44/484.54 c 485 12597 889 1 - 0.0000 -
487.52/489.63 c 490 12762 896 1 - 0.0000 -
492.59/494.79 c 495 12949 905 1 - 0.0000 -
497.78/499.96 c 500 13110 912 1 - 0.0000 -
502.87/505.11 c 505 13277 916 1 - 0.0000 -
508.03/510.24 c 510 13448 917 1 - 0.0000 -
513.31/515.50 c 516 13611 926 1 - 0.0000 -
518.39/520.61 c 521 13756 947 1 - 0.0000 -
524.07/526.31 c 526 13900 983 1 - 0.0000 -
529.05/531.38 c 531 14079 1008 1 - 0.0000 -
534.12/536.49 c 536 14244 1023 1 - 0.0000 -
539.40/541.71 c 542 14413 1024 1 - 0.0000 -
544.48/546.85 c 547 14569 1044 1 - 0.0000 -
549.77/552.16 c 552 14739 1046 1 - 0.0000 -
555.03/557.46 c 557 14899 1052 1 - 0.0000 -
560.51/562.90 c 563 15066 1053 1 - 0.0000 -
565.48/568.01 c 568 15223 1058 1 - 0.0000 -
570.67/573.11 c 573 15383 1062 1 - 0.0000 -
575.74/578.26 c 578 15534 1105 1 - 0.0000 -
580.92/583.46 c 583 15694 1115 1 - 0.0000 -
586.00/588.51 c 589 15852 1121 1 - 0.0000 -
591.07/593.69 c 594 16016 1125 1 - 0.0000 -
596.15/598.76 c 599 16175 1136 1 - 0.0000 -
601.32/604.01 c 604 16338 1161 1 - 0.0000 -
606.50/609.11 c 609 16496 1169 1 - 0.0000 -
611.77/614.49 c 614 16662 1177 1 - 0.0000 -
616.95/619.69 c 620 16830 1195 1 - 0.0000 -
622.22/624.92 c 625 16978 1229 1 - 0.0000 -
627.42/630.14 c 630 17138 1257 1 - 0.0000 -
632.58/635.39 c 635 17297 1270 1 - 0.0000 -
637.76/640.51 c 641 17458 1277 1 - 0.0000 -
642.94/645.74 c 646 17622 1279 1 - 0.0000 -
648.12/650.95 c 651 17799 1288 1 - 0.0000 -
653.20/656.05 c 656 17979 1290 1 - 0.0000 -
658.37/661.28 c 661 18118 1303 1 - 0.0000 -
663.44/666.37 c 666 18295 1304 1 - 0.0000 -
668.52/671.49 c 671 18463 1312 1 - 0.0000 -
673.90/676.86 c 677 18625 1322 1 - 0.0000 -
679.09/682.03 c 682 18776 1337 1 - 0.0000 -
684.36/687.32 c 687 18937 1344 1 - 0.0000 -
689.63/692.60 c 693 19096 1357 1 - 0.0000 -
694.72/697.70 c 698 19253 1360 1 - 0.0000 -
699.79/702.80 c 703 19407 1376 1 - 0.0000 -
704.87/707.93 c 708 19603 1396 1 - 0.0000 -
709.96/713.04 c 713 19790 1407 1 - 0.0000 -
714.93/718.10 c 718 19968 1413 1 - 0.0000 -
720.11/723.28 c 723 20160 1414 1 - 0.0000 -
725.28/728.47 c 728 20322 1444 1 - 0.0000 -
730.37/733.58 c 734 20473 1465 1 - 0.0000 -
735.54/738.75 c 739 20626 1486 1 - 0.0000 -
740.63/743.84 c 744 20781 1491 1 - 0.0000 -
745.92/749.15 c 749 20937 1495 1 - 0.0000 -
750.98/754.26 c 754 21089 1503 1 - 0.0000 -
756.26/759.50 c 760 21247 1511 1 - 0.0000 -
761.24/764.59 c 765 21398 1514 1 - 0.0000 -
766.31/769.66 c 770 21554 1526 1 - 0.0000 -
771.50/774.89 c 775 21700 1540 1 - 0.0000 -
776.69/780.04 c 780 21859 1551 1 - 0.0000 -
781.76/785.11 c 785 22022 1554 1 - 0.0000 -
786.82/790.28 c 790 22193 1559 1 - 0.0000 -
791.91/795.38 c 795 22344 1564 1 - 0.0000 -
797.08/800.53 c 801 22511 1567 1 - 0.0000 -
802.16/805.66 c 806 22666 1574 1 - 0.0000 -
807.74/811.23 c 811 22829 1579 1 - 0.0000 -
812.91/816.42 c 816 22989 1579 1 - 0.0000 -
818.00/821.52 c 822 23156 1580 1 - 0.0000 -
823.18/826.77 c 827 23321 1597 1 - 0.0000 -
828.35/831.93 c 832 23466 1616 1 - 0.0000 -
833.33/837.01 c 837 23644 1640 1 - 0.0000 -
838.52/842.17 c 842 23803 1649 1 - 0.0000 -
843.68/847.33 c 847 23955 1661 1 - 0.0000 -
848.76/852.44 c 852 24115 1667 1 - 0.0000 -
853.93/857.62 c 858 24269 1673 1 - 0.0000 -
859.01/862.71 c 863 24422 1676 1 - 0.0000 -
864.20/867.93 c 868 24586 1696 1 - 0.0000 -
869.29/873.04 c 873 24769 1717 1 - 0.0000 -
874.36/878.13 c 878 24947 1716 1 - 0.0000 -
879.43/883.23 c 883 25100 1727 1 - 0.0000 -
884.51/888.30 c 888 25249 1748 1 - 0.0000 -
889.59/893.45 c 893 25410 1759 1 - 0.0000 -
894.66/898.57 c 899 25565 1774 1 - 0.0000 -
899.85/903.73 c 904 25749 1782 1 - 0.0000 -
904.92/908.80 c 909 25913 1794 1 - 0.0000 -
910.00/913.93 c 914 26067 1816 1 - 0.0000 -
914.98/919.01 c 919 26231 1842 1 - 0.0000 -
920.17/924.18 c 924 26405 1844 1 - 0.0000 -
925.33/929.31 c 929 26579 1846 1 - 0.0000 -
930.41/934.49 c 934 26724 1852 1 - 0.0000 -
935.59/939.65 c 940 26888 1868 1 - 0.0000 -
940.66/944.77 c 945 27051 1877 1 - 0.0000 -
945.84/949.96 c 950 27212 1883 1 - 0.0000 -
950.93/955.07 c 955 27364 1897 1 - 0.0000 -
956.10/960.25 c 960 27523 1913 1 - 0.0000 -
961.17/965.39 c 965 27673 1925 1 - 0.0000 -
966.36/970.51 c 971 27832 1939 1 - 0.0000 -
971.44/975.66 c 976 28002 1953 1 - 0.0000 -
976.51/980.73 c 981 28199 1959 1 - 0.0000 -
981.59/985.81 c 986 28363 1972 1 - 0.0000 -
986.67/990.95 c 991 28537 1986 1 - 0.0000 -
991.85/996.11 c 996 28707 1996 1 - 0.0000 -
996.92/1001.27 c 1001 28873 2008 1 - 0.0000 -
1002.20/1006.51 c 1007 29028 2019 1 - 0.0000 -
1007.29/1011.60 c 1012 29191 2024 1 - 0.0000 -
1012.36/1016.75 c 1017 29357 2030 1 - 0.0000 -
1017.54/1021.91 c 1022 29516 2077 1 - 0.0000 -
1022.52/1026.98 c 1027 29678 2085 1 - 0.0000 -
1027.61/1032.09 c 1032 29820 2109 1 - 0.0000 -
1032.69/1037.19 c 1037 29980 2119 1 - 0.0000 -
1037.95/1042.47 c 1042 30143 2138 1 - 0.0000 -
1043.23/1047.71 c 1048 30285 2168 1 - 0.0000 -
1048.41/1052.96 c 1053 30448 2177 1 - 0.0000 -
1053.49/1058.04 c 1058 30600 2187 1 - 0.0000 -
1058.66/1063.28 c 1063 30763 2194 1 - 0.0000 -
1063.73/1068.37 c 1068 30916 2205 1 - 0.0000 -
1068.81/1073.48 c 1073 31076 2209 1 - 0.0000 -
1073.99/1078.64 c 1079 31229 2216 1 - 0.0000 -
1079.07/1083.78 c 1084 31385 2220 1 - 0.0000 -
1084.25/1088.95 c 1089 31525 2232 1 - 0.0000 -
1089.34/1094.07 c 1094 31699 2237 1 - 0.0000 -
1094.41/1099.16 c 1099 31873 2230 1 - 0.0000 -
1099.48/1104.26 c 1104 32030 2239 1 - 0.0000 -
1104.56/1109.37 c 1109 32176 2249 1 - 0.0000 -
1109.74/1114.50 c 1115 32349 2270 1 - 0.0000 -
1115.01/1119.81 c 1120 32502 2315 1 - 0.0000 -
1120.09/1124.99 c 1125 32662 2339 1 - 0.0000 -
1125.18/1130.08 c 1130 32817 2362 1 - 0.0000 -
1130.45/1135.35 c 1135 32972 2391 1 - 0.0000 -
1135.63/1140.55 c 1141 33129 2418 1 - 0.0000 -
1140.70/1145.63 c 1146 33295 2442 1 - 0.0000 -
1145.79/1150.76 c 1151 33444 2453 1 - 0.0000 -
1150.96/1155.90 c 1156 33603 2470 1 - 0.0000 -
1155.94/1160.99 c 1161 33755 2474 1 - 0.0000 -
1161.03/1166.09 c 1166 33906 2477 1 - 0.0000 -
1166.11/1171.16 c 1171 34053 2482 1 - 0.0000 -
1171.28/1176.32 c 1176 34202 2491 1 - 0.0000 -
1176.35/1181.41 c 1181 34361 2496 1 - 0.0000 -
1181.43/1186.53 c 1187 34522 2499 1 - 0.0000 -
1186.52/1191.63 c 1192 34678 2501 1 - 0.0000 -
1191.68/1196.85 c 1197 34837 2506 1 - 0.0000 -
1196.75/1201.94 c 1202 34983 2514 1 - 0.0000 -
1201.84/1207.03 c 1207 35154 2517 1 - 0.0000 -
1206.92/1212.13 c 1212 35310 2525 1 - 0.0000 -
1212.08/1217.31 c 1217 35462 2533 1 - 0.0000 -
1217.17/1222.42 c 1222 35610 2543 1 - 0.0000 -
1222.34/1227.65 c 1228 35760 2555 1 - 0.0000 -
1227.42/1232.72 c 1233 35901 2600 1 - 0.0000 -
1232.71/1238.02 c 1238 36060 2627 1 - 0.0000 -
1238.07/1243.41 c 1243 36222 2669 1 - 0.0000 -
1243.06/1248.49 c 1248 36378 2699 1 - 0.0000 -
1248.13/1253.56 c 1254 36542 2731 1 - 0.0000 -
1253.21/1258.67 c 1259 36706 2769 1 - 0.0000 -
1258.29/1263.76 c 1264 36885 2798 1 - 0.0000 -
1263.46/1268.92 c 1269 37053 2824 1 - 0.0000 -
1268.55/1274.03 c 1274 37253 2873 1 - 0.0000 -
1273.64/1279.12 c 1279 37433 2864 1 - 0.0000 -
1278.70/1284.24 c 1284 37592 2882 1 - 0.0000 -
1283.88/1289.49 c 1289 37752 2886 1 - 0.0000 -
1288.96/1294.59 c 1295 37906 2893 1 - 0.0000 -
1294.14/1299.70 c 1300 38054 2909 1 - 0.0000 -
1299.21/1304.80 c 1305 38217 2918 1 - 0.0000 -
1304.49/1310.17 c 1310 38373 2932 1 - 0.0000 -
1309.55/1315.27 c 1315 38533 2946 1 - 0.0000 -
1314.64/1320.36 c 1320 38690 2951 1 - 0.0000 -
1319.72/1325.44 c 1325 38837 2956 1 - 0.0000 -
1324.89/1330.68 c 1331 39001 2964 1 - 0.0000 -
1330.38/1336.14 c 1336 39154 2979 1 - 0.0000 -
1335.54/1341.34 c 1341 39306 2995 1 - 0.0000 -
1340.72/1346.54 c 1347 39458 3003 1 - 0.0000 -
1346.00/1351.84 c 1352 39617 3012 1 - 0.0000 -
1351.19/1357.10 c 1357 39781 3016 1 - 0.0000 -
1356.46/1362.33 c 1362 39936 3021 1 - 0.0000 -
1361.64/1367.53 c 1368 40092 3031 1 - 0.0000 -
1366.71/1372.62 c 1373 40248 3037 1 - 0.0000 -
1371.90/1377.85 c 1378 40396 3059 1 - 0.0000 -
1377.08/1383.03 c 1383 40548 3071 1 - 0.0000 -
1382.15/1388.15 c 1388 40703 3080 1 - 0.0000 -
1387.61/1393.63 c 1394 40859 3106 1 - 0.0000 -
1392.80/1398.81 c 1399 41017 3114 1 - 0.0000 -
1397.88/1403.93 c 1404 41170 3121 1 - 0.0000 -
1402.96/1409.02 c 1409 41328 3149 1 - 0.0000 -
1408.04/1414.12 c 1414 41488 3159 1 - 0.0000 -
1413.30/1419.47 c 1419 41644 3177 1 - 0.0000 -
1418.48/1424.61 c 1425 41802 3181 1 - 0.0000 -
1423.57/1429.77 c 1430 41957 3190 1 - 0.0000 -
1428.74/1434.98 c 1435 42120 3209 1 - 0.0000 -
1433.83/1440.07 c 1440 42273 3224 1 - 0.0000 -
1439.30/1445.56 c 1446 42437 3230 1 - 0.0000 -
1444.38/1450.61 c 1451 42600 3243 1 - 0.0000 -
1449.45/1455.77 c 1456 42766 3249 1 - 0.0000 -
1454.63/1460.90 c 1461 42930 3257 1 - 0.0000 -
1459.61/1465.99 c 1466 43089 3256 1 - 0.0000 -
1464.70/1471.09 c 1471 43254 3264 1 - 0.0000 -
1469.78/1476.17 c 1476 43418 3276 1 - 0.0000 -
1474.94/1481.30 c 1481 43584 3282 1 - 0.0000 -
1479.93/1486.39 c 1486 43747 3289 1 - 0.0000 -
1485.10/1491.59 c 1492 43908 3298 1 - 0.0000 -
1490.18/1496.65 c 1497 44056 3305 1 - 0.0000 -
1495.36/1501.80 c 1502 44213 3320 1 - 0.0000 -
1500.34/1506.87 c 1507 44378 3322 1 - 0.0000 -
1505.41/1511.99 c 1512 44554 3326 1 - 0.0000 -
1510.50/1517.09 c 1517 44705 3341 1 - 0.0000 -
1515.58/1522.16 c 1522 44863 3344 1 - 0.0000 -
1520.64/1527.29 c 1527 45029 3351 1 - 0.0000 -
1525.82/1532.41 c 1532 45195 3355 1 - 0.0000 -
1530.90/1537.52 c 1538 45359 3363 1 - 0.0000 -
1535.97/1542.69 c 1543 45523 3373 1 - 0.0000 -
1541.16/1547.88 c 1548 45697 3376 1 - 0.0000 -
1546.34/1553.01 c 1553 45845 3394 1 - 0.0000 -
1551.50/1558.21 c 1558 46003 3402 1 - 0.0000 -
1556.58/1563.36 c 1563 46171 3414 1 - 0.0000 -
1561.66/1568.46 c 1568 46325 3420 1 - 0.0000 -
1567.04/1573.85 c 1574 46466 3427 1 - 0.0000 -
1572.23/1579.08 c 1579 46615 3434 1 - 0.0000 -
1577.40/1584.20 c 1584 46765 3452 1 - 0.0000 -
1582.58/1589.48 c 1589 46918 3463 1 - 0.0000 -
1587.65/1594.55 c 1595 47077 3479 1 - 0.0000 -
1592.83/1599.74 c 1600 47242 3478 1 - 0.0000 -
1597.91/1604.83 c 1605 47398 3492 1 - 0.0000 -
1602.98/1609.96 c 1610 47548 3504 1 - 0.0000 -
1608.46/1615.40 c 1615 47719 3509 1 - 0.0000 -
1613.44/1620.50 c 1620 47889 3513 1 - 0.0000 -
1618.61/1625.61 c 1626 48059 3515 1 - 0.0000 -
1624.19/1631.30 c 1631 48162 3524 1 - 0.0000 -
1629.47/1636.53 c 1637 48350 3533 1 - 0.0000 -
1634.55/1641.62 c 1642 48521 3542 1 - 0.0000 -
1639.62/1646.71 c 1647 48691 3549 1 - 0.0000 -
1644.71/1651.82 c 1652 48866 3551 1 - 0.0000 -
1649.68/1656.89 c 1657 49037 3554 1 - 0.0000 -
1654.86/1662.08 c 1662 49204 3557 1 - 0.0000 -
1659.94/1667.16 c 1667 49372 3557 1 - 0.0000 -
1665.10/1672.34 c 1672 49540 3559 1 - 0.0000 -
1670.28/1677.54 c 1678 49716 3565 1 - 0.0000 -
1675.36/1682.65 c 1683 49898 3567 1 - 0.0000 -
1680.64/1687.94 c 1688 50059 3576 1 - 0.0000 -
1685.83/1693.14 c 1693 50218 3582 1 - 0.0000 -
1691.19/1698.50 c 1698 50385 3589 1 - 0.0000 -
1696.37/1703.76 c 1704 50545 3597 1 - 0.0000 -
1701.45/1708.88 c 1709 50711 3595 1 - 0.0000 -
1706.52/1713.98 c 1714 50898 3598 1 - 0.0000 -
1711.72/1719.17 c 1719 51076 3601 1 - 0.0000 -
1716.88/1724.32 c 1724 51243 3608 1 - 0.0000 -
1721.96/1729.44 c 1729 51400 3617 1 - 0.0000 -
1727.03/1734.53 c 1735 51563 3626 1 - 0.0000 -
1732.11/1739.68 c 1740 51727 3638 1 - 0.0000 -
1737.19/1744.75 c 1745 51898 3643 1 - 0.0000 -
1742.37/1749.92 c 1750 52052 3651 1 - 0.0000 -
1747.35/1755.01 c 1755 52237 3657 1 - 0.0000 -
1752.72/1760.31 c 1760 52391 3671 1 - 0.0000 -
1757.70/1765.39 c 1765 52547 3675 1 - 0.0000 -
1762.77/1770.47 c 1770 52724 3680 1 - 0.0000 -
1767.86/1775.56 c 1776 52874 3692 1 - 0.0000 -
1772.93/1780.67 c 1781 53028 3710 1 - 0.0000 -
1778.01/1785.79 c 1786 53180 3724 1 - 0.0000 -
1783.09/1790.88 c 1791 53339 3737 1 - 0.0000 -
1788.17/1795.98 c 1796 53497 3743 1 - 0.0000 -
1793.36/1801.12 c 1801 53645 3761 1 - 0.0000 -
1798.42/1806.26 c 1806 53804 3768 1 - 0.0000 -
1803.60/1811.40 c 1811 53959 3775 1 - 0.0000 -
1808.68/1816.59 c 1817 54107 3785 1 - 0.0000 -
1813.96/1821.87 c 1822 54268 3794 1 - 0.0000 -
1819.14/1827.08 c 1827 54424 3802 1 - 0.0000 -
1824.22/1832.17 c 1832 54581 3815 1 - 0.0000 -
1829.28/1837.29 c 1837 54739 3821 1 - 0.0000 -
1834.46/1842.44 c 1842 54911 3827 1 - 0.0000 -
1839.55/1847.52 c 1848 55088 3836 1 - 0.0000 -
1844.83/1852.80 c 1853 55233 3853 1 - 0.0000 -
1850.01/1858.01 c 1858 55380 3884 1 - 0.0000 -
1855.08/1863.18 c 1863 55524 3914 1 - 0.0000 -
1860.16/1868.28 c 1868 55661 3931 1 - 0.0000 -
1865.43/1873.59 c 1874 55804 3946 1 - 0.0000 -
1870.60/1878.70 c 1879 55969 3957 1 - 0.0000 -
1875.69/1883.80 c 1884 56137 3965 1 - 0.0000 -
1880.76/1888.91 c 1889 56326 3982 1 - 0.0000 -
1885.74/1893.99 c 1894 56487 3989 1 - 0.0000 -
1890.83/1899.05 c 1899 56673 3997 1 - 0.0000 -
1895.91/1904.19 c 1904 56839 4009 1 - 0.0000 -
1900.97/1909.28 c 1909 57000 4016 1 - 0.0000 -
1906.05/1914.36 c 1914 57154 4028 1 - 0.0000 -
1911.14/1919.48 c 1919 57303 4039 1 - 0.0000 -
1916.21/1924.57 c 1925 57469 4043 1 - 0.0000 -
1921.39/1929.72 c 1930 57628 4050 1 - 0.0000 -
1926.47/1934.87 c 1935 57811 4053 1 - 0.0000 -
1931.55/1940.01 c 1940 57984 4060 1 - 0.0000 -
1936.62/1945.10 c 1945 58169 4067 1 - 0.0000 -
1941.79/1950.24 c 1950 58345 4079 1 - 0.0000 -
1946.96/1955.44 c 1955 58518 4087 1 - 0.0000 -
1952.05/1960.52 c 1961 58684 4093 1 - 0.0000 -
1957.13/1965.65 c 1966 58856 4101 1 - 0.0000 -
1962.20/1970.76 c 1971 59019 4103 1 - 0.0000 -
1967.28/1975.89 c 1976 59197 4106 1 - 0.0000 -
1972.35/1981.01 c 1981 59388 4112 1 - 0.0000 -
1977.55/1986.15 c 1986 59542 4124 1 - 0.0000 -
1982.53/1991.19 c 1991 59698 4130 1 - 0.0000 -
1987.79/1996.42 c 1996 59868 4136 1 - 0.0000 -
1992.87/2001.52 c 2002 60040 4140 1 - 0.0000 -
1998.05/2006.70 c 2007 60216 4146 1 - 0.0000 -
2003.12/2011.83 c 2012 60384 4148 1 - 0.0000 -
2008.31/2017.04 c 2017 60552 4151 1 - 0.0000 -
2013.39/2022.11 c 2022 60722 4155 1 - 0.0000 -
2018.37/2027.19 c 2027 60878 4161 1 - 0.0000 -
2023.44/2032.29 c 2032 61055 4164 1 - 0.0000 -
2028.72/2037.50 c 2038 61225 4175 1 - 0.0000 -
2033.80/2042.61 c 2043 61399 4181 1 - 0.0000 -
2039.07/2047.93 c 2048 61579 4193 1 - 0.0000 -
2044.35/2053.25 c 2053 61731 4211 1 - 0.0000 -
2049.42/2058.40 c 2058 61897 4219 1 - 0.0000 -
2054.70/2063.64 c 2064 62056 4232 1 - 0.0000 -
2059.88/2068.87 c 2069 62231 4249 1 - 0.0000 -
2065.06/2074.02 c 2074 62427 4272 1 - 0.0000 -
2070.14/2079.14 c 2079 62611 4280 1 - 0.0000 -
2075.31/2084.35 c 2084 62790 4285 1 - 0.0000 -
2080.58/2089.63 c 2090 62971 4292 1 - 0.0000 -
2085.66/2094.72 c 2095 63188 4295 1 - 0.0000 -
2090.74/2099.81 c 2100 63355 4307 1 - 0.0000 -
2095.81/2104.90 c 2105 63528 4317 1 - 0.0000 -
2101.00/2110.12 c 2110 63702 4329 1 - 0.0000 -
2106.07/2115.21 c 2115 63861 4350 1 - 0.0000 -
2111.15/2120.30 c 2120 64038 4358 1 - 0.0000 -
2116.13/2125.39 c 2125 64193 4367 1 - 0.0000 -
2121.21/2130.47 c 2130 64355 4375 1 - 0.0000 -
2126.39/2135.65 c 2136 64520 4398 1 - 0.0000 -
2131.56/2140.81 c 2141 64697 4423 1 - 0.0000 -
2136.65/2145.91 c 2146 64877 4437 1 - 0.0000 -
2141.73/2151.07 c 2151 65031 4443 1 - 0.0000 -
2146.81/2156.19 c 2156 65195 4455 1 - 0.0000 -
2151.88/2161.27 c 2161 65372 4464 1 - 0.0000 -
2156.96/2166.33 c 2166 65537 4475 1 - 0.0000 -
2162.04/2171.44 c 2171 65715 4478 1 - 0.0000 -
2167.11/2176.55 c 2177 65896 4488 1 - 0.0000 -
2172.29/2181.72 c 2182 66079 4499 1 - 0.0000 -
2177.69/2187.13 c 2187 66258 4508 1 - 0.0000 -
2182.75/2192.21 c 2192 66420 4519 1 - 0.0000 -
2187.83/2197.30 c 2197 66582 4529 1 - 0.0000 -
2193.11/2202.66 c 2203 66733 4546 1 - 0.0000 -
2198.28/2207.80 c 2208 66893 4556 1 - 0.0000 -
2203.26/2212.88 c 2213 67075 4558 1 - 0.0000 -
2208.35/2217.99 c 2218 67263 4558 1 - 0.0000 -
2213.54/2223.13 c 2223 67456 4570 1 - 0.0000 -
2218.71/2228.31 c 2228 67614 4582 1 - 0.0000 -
2223.78/2233.45 c 2233 67769 4590 1 - 0.0000 -
2228.96/2238.62 c 2239 67944 4597 1 - 0.0000 -
2233.94/2243.67 c 2244 68112 4605 1 - 0.0000 -
2239.12/2248.84 c 2249 68278 4611 1 - 0.0000 -
2244.21/2253.92 c 2254 68455 4616 1 - 0.0000 -
2249.30/2259.02 c 2259 68628 4627 1 - 0.0000 -
2254.38/2264.11 c 2264 68821 4634 1 - 0.0000 -
2259.45/2269.24 c 2269 68998 4645 1 - 0.0000 -
2264.62/2274.43 c 2274 69194 4659 1 - 0.0000 -
2269.80/2279.60 c 2280 69382 4666 1 - 0.0000 -
2274.78/2284.69 c 2285 69580 4670 1 - 0.0000 -
2280.08/2289.91 c 2290 69759 4683 1 - 0.0000 -
2285.05/2295.01 c 2295 69925 4689 1 - 0.0000 -
2290.14/2300.05 c 2300 70096 4690 1 - 0.0000 -
2295.22/2305.15 c 2305 70271 4695 1 - 0.0000 -
2300.28/2310.25 c 2310 70464 4700 1 - 0.0000 -
2305.37/2315.40 c 2315 70634 4712 1 - 0.0000 -
2310.45/2320.48 c 2320 70789 4719 1 - 0.0000 -
2315.63/2325.63 c 2326 70955 4723 1 - 0.0000 -
2320.81/2330.80 c 2331 71129 4727 1 - 0.0000 -
2326.00/2336.06 c 2336 71321 4731 1 - 0.0000 -
2331.08/2341.17 c 2341 71488 4732 1 - 0.0000 -
2336.25/2346.30 c 2346 71677 4739 1 - 0.0000 -
2341.43/2351.50 c 2352 71872 4742 1 - 0.0000 -
2346.51/2356.60 c 2357 72048 4746 1 - 0.0000 -
2351.59/2361.72 c 2362 72241 4751 1 - 0.0000 -
2356.67/2366.81 c 2367 72408 4760 1 - 0.0000 -
2361.75/2371.94 c 2372 72577 4769 1 - 0.0000 -
2366.94/2377.12 c 2377 72738 4782 1 - 0.0000 -
2371.93/2382.19 c 2382 72914 4788 1 - 0.0000 -
2377.00/2387.28 c 2387 73114 4794 1 - 0.0000 -
2382.08/2392.37 c 2392 73307 4802 1 - 0.0000 -
2387.26/2397.51 c 2398 73499 4802 1 - 0.0000 -
2392.34/2402.61 c 2403 73680 4812 1 - 0.0000 -
2397.42/2407.72 c 2408 73871 4817 1 - 0.0000 -
2402.60/2412.96 c 2413 74050 4822 1 - 0.0000 -
2407.88/2418.22 c 2418 74227 4829 1 - 0.0000 -
2412.96/2423.31 c 2423 74426 4842 1 - 0.0000 -
2418.05/2428.46 c 2428 74608 4850 1 - 0.0000 -
2423.13/2433.59 c 2434 74792 4856 1 - 0.0000 -
2428.31/2438.75 c 2439 74991 4861 1 - 0.0000 -
2433.39/2443.88 c 2444 75175 4865 1 - 0.0000 -
2438.69/2449.16 c 2449 75355 4869 1 - 0.0000 -
2443.75/2454.25 c 2454 75523 4879 1 - 0.0000 -
2448.83/2459.35 c 2459 75704 4892 1 - 0.0000 -
2453.92/2464.42 c 2464 75910 4898 1 - 0.0000 -
2459.10/2469.65 c 2470 76093 4902 1 - 0.0000 -
2464.18/2474.76 c 2475 76278 4904 1 - 0.0000 -
2469.27/2479.83 c 2480 76487 4907 1 - 0.0000 -
2474.35/2484.92 c 2485 76676 4907 1 - 0.0000 -
2479.33/2490.01 c 2490 76840 4915 1 - 0.0000 -
2484.42/2495.10 c 2495 77017 4924 1 - 0.0000 -
2489.58/2500.29 c 2500 77211 4928 1 - 0.0000 -
2494.67/2505.35 c 2505 77409 4934 1 - 0.0000 -
2499.75/2510.49 c 2510 77579 4944 1 - 0.0000 -
2504.82/2515.56 c 2516 77757 4958 1 - 0.0000 -
2509.91/2520.67 c 2521 77954 4959 1 - 0.0000 -
2515.09/2525.81 c 2526 78135 4968 1 - 0.0000 -
2520.17/2530.93 c 2531 78316 4979 1 - 0.0000 -
2525.16/2536.01 c 2536 78499 4982 1 - 0.0000 -
2530.35/2541.16 c 2541 78652 4991 1 - 0.0000 -
2535.51/2546.30 c 2546 78836 5003 1 - 0.0000 -
2540.59/2551.43 c 2551 79001 5016 1 - 0.0000 -
2545.67/2556.58 c 2557 79185 5022 1 - 0.0000 -
2550.85/2561.74 c 2562 79359 5024 1 - 0.0000 -
2556.03/2566.92 c 2567 79538 5025 1 - 0.0000 -
2561.12/2572.05 c 2572 79732 5031 1 - 0.0000 -
2566.20/2577.14 c 2577 79926 5031 1 - 0.0000 -
2571.28/2582.29 c 2582 80107 5040 1 - 0.0000 -
2576.46/2587.44 c 2587 80287 5044 1 - 0.0000 -
2581.63/2592.63 c 2593 80464 5049 1 - 0.0000 -
2586.71/2597.73 c 2598 80644 5061 1 - 0.0000 -
2591.79/2602.85 c 2603 80821 5078 1 - 0.0000 -
2596.88/2608.01 c 2608 81006 5082 1 - 0.0000 -
2601.97/2613.10 c 2613 81196 5082 1 - 0.0000 -
2607.14/2618.29 c 2618 81382 5083 1 - 0.0000 -
2612.32/2623.41 c 2623 81576 5085 1 - 0.0000 -
2617.40/2628.59 c 2629 81750 5091 1 - 0.0000 -
2622.57/2633.72 c 2634 81940 5093 1 - 0.0000 -
2627.65/2638.80 c 2639 82106 5095 1 - 0.0000 -
2632.63/2643.87 c 2644 82274 5103 1 - 0.0000 -
2637.71/2648.96 c 2649 82446 5111 1 - 0.0000 -
2642.90/2654.15 c 2654 82608 5121 1 - 0.0000 -
2648.07/2659.36 c 2659 82782 5129 1 - 0.0000 -
2653.15/2664.45 c 2664 82973 5128 1 - 0.0000 -
2658.22/2669.52 c 2670 83176 5127 1 - 0.0000 -
2663.30/2674.67 c 2675 83361 5132 1 - 0.0000 -
2668.48/2679.86 c 2680 83535 5135 1 - 0.0000 -
2673.56/2684.96 c 2685 83700 5146 1 - 0.0000 -
2678.65/2690.11 c 2690 83864 5158 1 - 0.0000 -
2683.73/2695.19 c 2695 84047 5159 1 - 0.0000 -
2688.99/2700.42 c 2700 84230 5166 1 - 0.0000 -
2694.07/2705.57 c 2706 84415 5169 1 - 0.0000 -
2699.25/2710.70 c 2711 84608 5172 1 - 0.0000 -
2704.33/2715.85 c 2716 84791 5175 1 - 0.0000 -
2709.41/2720.93 c 2721 84992 5186 1 - 0.0000 -
2714.49/2726.07 c 2726 85166 5187 1 - 0.0000 -
2719.76/2731.30 c 2731 85362 5191 1 - 0.0000 -
2724.84/2736.48 c 2736 85530 5201 1 - 0.0000 -
2730.02/2741.64 c 2742 85708 5210 1 - 0.0000 -
2735.20/2746.80 c 2747 85873 5217 1 - 0.0000 -
2740.18/2751.87 c 2752 86080 5228 1 - 0.0000 -
2745.25/2756.99 c 2757 86265 5231 1 - 0.0000 -
2750.34/2762.07 c 2762 86469 5240 1 - 0.0000 -
2755.41/2767.17 c 2767 86646 5247 1 - 0.0000 -
2760.49/2772.26 c 2772 86845 5254 1 - 0.0000 -
2765.56/2777.32 c 2777 87033 5262 1 - 0.0000 -
2770.64/2782.42 c 2782 87238 5266 1 - 0.0000 -
2775.72/2787.50 c 2788 87426 5268 1 - 0.0000 -
2780.80/2792.62 c 2793 87613 5266 1 - 0.0000 -
2785.87/2797.75 c 2798 87789 5272 1 - 0.0000 -
2790.95/2802.85 c 2803 87982 5277 1 - 0.0000 -
2796.04/2807.99 c 2808 88156 5285 1 - 0.0000 -
2801.12/2813.10 c 2813 88345 5292 1 - 0.0000 -
2806.29/2818.29 c 2818 88533 5294 1 - 0.0000 -
2811.36/2823.39 c 2823 88729 5304 1 - 0.0000 -
2816.55/2828.50 c 2828 88939 5319 1 - 0.0000 -
2821.52/2833.58 c 2834 89144 5322 1 - 0.0000 -
2826.60/2838.66 c 2839 89324 5338 1 - 0.0000 -
2831.78/2843.84 c 2844 89502 5351 1 - 0.0000 -
2836.86/2848.96 c 2849 89660 5372 1 - 0.0000 -
2841.94/2854.04 c 2854 89855 5391 1 - 0.0000 -
2847.04/2859.15 c 2859 90069 5418 1 - 0.0000 -
2852.10/2864.28 c 2864 90266 5428 1 - 0.0000 -
2857.18/2869.36 c 2869 90462 5427 1 - 0.0000 -
2862.26/2874.45 c 2874 90656 5440 1 - 0.0000 -
2867.34/2879.54 c 2880 90859 5449 1 - 0.0000 -
2872.53/2884.75 c 2885 91060 5468 1 - 0.0000 -
2877.61/2889.82 c 2890 91282 5468 1 - 0.0000 -
2882.69/2894.94 c 2895 91459 5473 1 - 0.0000 -
2887.78/2900.03 c 2900 91659 5475 1 - 0.0000 -
2892.87/2905.13 c 2905 91855 5483 1 - 0.0000 -
2897.93/2910.23 c 2910 92051 5495 1 - 0.0000 -
2903.01/2915.33 c 2915 92242 5498 1 - 0.0000 -
2908.19/2920.57 c 2921 92395 5509 1 - 0.0000 -
2913.27/2925.64 c 2926 92599 5510 1 - 0.0000 -
2918.46/2930.85 c 2931 92781 5518 1 - 0.0000 -
2923.54/2935.92 c 2936 92976 5524 1 - 0.0000 -
2928.73/2941.12 c 2941 93156 5528 1 - 0.0000 -
2933.72/2946.18 c 2946 93337 5531 1 - 0.0000 -
2938.88/2951.30 c 2951 93536 5532 1 - 0.0000 -
2943.96/2956.40 c 2956 93717 5534 1 - 0.0000 -
2949.04/2961.54 c 2962 93906 5538 1 - 0.0000 -
2954.12/2966.62 c 2967 94109 5537 1 - 0.0000 -
2959.20/2971.70 c 2972 94309 5535 1 - 0.0000 -
2964.19/2976.77 c 2977 94512 5536 1 - 0.0000 -
2969.26/2981.86 c 2982 94710 5536 1 - 0.0000 -
2974.47/2987.03 c 2987 94905 5545 1 - 0.0000 -
2979.45/2992.10 c 2992 95103 5556 1 - 0.0000 -
2984.53/2997.18 c 2997 95292 5559 1 - 0.0000 -
2989.59/3002.27 c 3002 95462 5568 1 - 0.0000 -
2994.87/3007.55 c 3008 95625 5581 1 - 0.0000 -
2999.95/3012.68 c 3013 95797 5591 1 - 0.0000 -
3005.04/3017.74 c 3018 95984 5596 1 - 0.0000 -
3010.12/3022.83 c 3023 96194 5596 1 - 0.0000 -
3015.20/3027.99 c 3028 96379 5605 1 - 0.0000 -
3020.39/3033.14 c 3033 96559 5617 1 - 0.0000 -
3025.46/3038.23 c 3038 96751 5623 1 - 0.0000 -
3030.55/3043.32 c 3043 96930 5629 1 - 0.0000 -
3035.63/3048.42 c 3048 97120 5633 1 - 0.0000 -
3040.71/3053.51 c 3054 97325 5646 1 - 0.0000 -
3045.78/3058.65 c 3059 97506 5655 1 - 0.0000 -
3050.86/3063.78 c 3064 97673 5657 1 - 0.0000 -
3056.04/3068.90 c 3069 97857 5664 1 - 0.0000 -
3061.02/3074.01 c 3074 98052 5665 1 - 0.0000 -
3066.21/3079.14 c 3079 98248 5667 1 - 0.0000 -
3071.28/3084.22 c 3084 98420 5670 1 - 0.0000 -
3076.46/3089.42 c 3089 98598 5674 1 - 0.0000 -
3081.44/3094.48 c 3094 98784 5675 1 - 0.0000 -
3086.52/3099.59 c 3100 98967 5675 1 - 0.0000 -
3091.59/3104.68 c 3105 99151 5678 1 - 0.0000 -
3096.67/3109.78 c 3110 99330 5677 1 - 0.0000 -
3101.85/3114.92 c 3115 99527 5680 1 - 0.0000 -
3106.94/3120.01 c 3120 99718 5680 1 - 0.0000 -
3112.02/3125.11 c 3125 99904 5686 1 - 0.0000 -
3117.08/3130.21 c 3130 100095 5691 1 - 0.0000 -
3122.16/3135.30 c 3135 100287 5693 1 - 0.0000 -
3127.14/3140.35 c 3140 100480 5696 1 - 0.0000 -
3132.31/3145.50 c 3146 100663 5701 1 - 0.0000 -
3137.39/3150.64 c 3151 100858 5701 1 - 0.0000 -
3142.48/3155.79 c 3156 101036 5706 1 - 0.0000 -
3147.65/3160.92 c 3161 101237 5711 1 - 0.0000 -
3152.74/3166.03 c 3166 101440 5710 1 - 0.0000 -
3157.82/3171.17 c 3171 101603 5721 1 - 0.0000 -
3162.88/3176.26 c 3176 101789 5731 1 - 0.0000 -
3167.96/3181.37 c 3181 101989 5735 1 - 0.0000 -
3173.05/3186.45 c 3186 102194 5736 1 - 0.0000 -
3178.12/3191.57 c 3192 102377 5737 1 - 0.0000 -
3183.20/3196.69 c 3197 102562 5742 1 - 0.0000 -
3188.38/3201.81 c 3202 102739 5751 1 - 0.0000 -
3193.36/3206.88 c 3207 102937 5750 1 - 0.0000 -
3198.55/3212.05 c 3212 103120 5755 1 - 0.0000 -
3203.62/3217.19 c 3217 103296 5758 1 - 0.0000 -
3208.79/3222.34 c 3222 103495 5765 1 - 0.0000 -
3213.86/3227.44 c 3227 103672 5770 1 - 0.0000 -
3218.94/3232.59 c 3233 103866 5776 1 - 0.0000 -
3224.12/3237.73 c 3238 104050 5784 1 - 0.0000 -
3229.21/3242.82 c 3243 104244 5784 1 - 0.0000 -
3234.28/3247.90 c 3248 104438 5797 1 - 0.0000 -
3239.37/3253.03 c 3253 104656 5799 1 - 0.0000 -
3244.45/3258.17 c 3258 104834 5807 1 - 0.0000 -
3249.52/3263.25 c 3263 105006 5815 1 - 0.0000 -
3254.60/3268.39 c 3268 105207 5818 1 - 0.0000 -
3259.78/3273.56 c 3274 105381 5830 1 - 0.0000 -
3264.87/3278.61 c 3279 105566 5833 1 - 0.0000 -
3269.95/3283.73 c 3284 105759 5836 1 - 0.0000 -
3275.02/3288.80 c 3289 105953 5838 1 - 0.0000 -
3280.11/3293.94 c 3294 106138 5849 1 - 0.0000 -
3285.20/3299.07 c 3299 106308 5851 1 - 0.0000 -
3290.37/3304.27 c 3304 106487 5856 1 - 0.0000 -
3295.45/3309.39 c 3309 106685 5858 1 - 0.0000 -
3300.63/3314.51 c 3315 106880 5861 1 - 0.0000 -
3305.72/3319.65 c 3320 107080 5872 1 - 0.0000 -
3310.80/3324.78 c 3325 107259 5873 1 - 0.0000 -
3315.88/3329.88 c 3330 107451 5879 1 - 0.0000 -
3321.26/3335.28 c 3335 107640 5880 1 - 0.0000 -
3326.34/3340.39 c 3340 107817 5879 1 - 0.0000 -
3331.42/3345.49 c 3345 108001 5883 1 - 0.0000 -
3336.50/3350.57 c 3351 108187 5887 1 - 0.0000 -
3341.58/3355.68 c 3356 108362 5891 1 - 0.0000 -
3346.77/3360.84 c 3361 108536 5901 1 - 0.0000 -
3351.85/3365.98 c 3366 108724 5908 1 - 0.0000 -
3356.94/3371.10 c 3371 108922 5916 1 - 0.0000 -
3362.10/3376.20 c 3376 109121 5921 1 - 0.0000 -
3367.19/3381.38 c 3381 109309 5927 1 - 0.0000 -
3372.27/3386.47 c 3386 109506 5928 1 - 0.0000 -
3377.45/3391.64 c 3392 109702 5932 1 - 0.0000 -
3382.53/3396.70 c 3397 109901 5934 1 - 0.0000 -
3387.62/3401.80 c 3402 110090 5934 1 - 0.0000 -
3392.70/3406.95 c 3407 110284 5937 1 - 0.0000 -
3397.79/3412.04 c 3412 110476 5936 1 - 0.0000 -
3402.87/3417.16 c 3417 110653 5949 1 - 0.0000 -
3408.04/3422.38 c 3422 110844 5950 1 - 0.0000 -
3413.12/3427.49 c 3427 111025 5960 1 - 0.0000 -
3418.30/3432.63 c 3433 111232 5960 1 - 0.0000 -
3423.28/3437.69 c 3438 111417 5961 1 - 0.0000 -
3428.37/3442.79 c 3443 111598 5962 1 - 0.0000 -
3433.45/3447.88 c 3448 111797 5965 1 - 0.0000 -
3438.52/3452.97 c 3453 111975 5966 1 - 0.0000 -
3443.61/3458.03 c 3458 112177 5967 1 - 0.0000 -
3448.70/3463.14 c 3463 112363 5971 1 - 0.0000 -
3453.76/3468.23 c 3468 112565 5979 1 - 0.0000 -
3458.84/3473.31 c 3473 112759 5981 1 - 0.0000 -
3463.92/3478.47 c 3478 112960 5987 1 - 0.0000 -
3469.10/3483.60 c 3484 113144 5991 1 - 0.0000 -
3474.18/3488.71 c 3489 113340 5995 1 - 0.0000 -
3479.26/3493.85 c 3494 113533 6004 1 - 0.0000 -
3484.34/3498.94 c 3499 113741 6002 1 - 0.0000 -
3489.44/3504.03 c 3504 113938 6013 1 - 0.0000 -
3494.42/3509.08 c 3509 114151 6015 1 - 0.0000 -
3499.51/3514.16 c 3514 114370 6016 1 - 0.0000 -
3504.58/3519.25 c 3519 114581 6021 1 - 0.0000 -
3509.66/3524.33 c 3524 114786 6022 1 - 0.0000 -
3514.64/3529.38 c 3529 114985 6023 1 - 0.0000 -
3519.72/3534.47 c 3534 115160 6030 1 - 0.0000 -
3524.80/3539.59 c 3540 115351 6035 1 - 0.0000 -
3529.88/3544.68 c 3545 115529 6035 1 - 0.0000 -
3535.06/3549.84 c 3550 115723 6038 1 - 0.0000 -
3540.25/3555.08 c 3555 115916 6043 1 - 0.0000 -
3545.43/3560.27 c 3560 116086 6050 1 - 0.0000 -
3550.51/3565.35 c 3565 116233 6059 1 - 0.0000 -
3555.59/3570.49 c 3570 116372 6076 1 - 0.0000 -
3560.77/3575.61 c 3576 116572 6074 1 - 0.0000 -
3565.85/3580.72 c 3581 116754 6083 1 - 0.0000 -
3570.94/3585.80 c 3586 116926 6095 1 - 0.0000 -
3575.92/3590.88 c 3591 117122 6097 1 - 0.0000 -
3580.99/3595.95 c 3596 117323 6106 1 - 0.0000 -
3583.38/3598.30 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.38/3598.30 c Total Time : 3598.3000
3583.38/3598.30 c solving : 3598.3000
3583.38/3598.30 c presolving : 4.8815 (included in solving)
3583.38/3598.30 c B&B Tree :
3583.38/3598.30 c nodes (total) : 1
3583.38/3598.30 c Solution :
3583.38/3598.30 c Solutions found : 0
3583.38/3598.30 c Primal Bound : -
3583.38/3598.30 c Dual Bound : +0.00000000000000e+00
3583.38/3598.30 c Gap : -
3583.58/3598.55 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: 64096 MiB (61869 MiB free)
memory of node 1: 64473 MiB (56677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464407-1722378602/watcher-4464407-1722378602 -o /tmp/evaluation-result-4464407-1722378602/solver-4464407-1722378602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27293 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464407-1722378602.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27505, runsolver pid=27502
[startup+0.100556 s]*
/proc/loadavg: 0.87 0.25 0.14 5/251 27506
/proc/meminfo: memFree=121372524/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=40300 memory=28660 CPUtime=0.1 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 5095 0 0 0 9 1 0 0 20 0 1 0 4230387 41267200 7165 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 10075 7165 2347 3035 0 6471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40300 KiB
Current children cumulated memory: 28660 KiB
[startup+0.21284 s]*
/proc/loadavg: 0.87 0.25 0.14 5/251 27506
/proc/meminfo: memFree=121357740/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=53980 memory=42144 CPUtime=0.21 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 8435 0 0 0 19 2 0 0 20 0 1 0 4230387 55275520 10536 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 13495 10536 2347 3035 0 9891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53980 KiB
Current children cumulated memory: 42144 KiB
[startup+0.313003 s]*
/proc/loadavg: 0.87 0.25 0.14 5/251 27506
/proc/meminfo: memFree=121343292/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=68348 memory=55984 CPUtime=0.3 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 11897 0 0 0 27 3 0 0 20 0 1 0 4230387 69988352 13996 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 17087 13996 2347 3035 0 13483 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 55984 KiB
[startup+0.700349 s]
/proc/loadavg: 0.87 0.25 0.14 6/251 27506
/proc/meminfo: memFree=121297544/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=174196 memory=162968 CPUtime=0.69 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 39181 0 0 0 58 11 0 0 20 0 1 0 4230387 178376704 40742 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 43549 40742 2539 3035 0 39945 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 174196 KiB
Current children cumulated memory: 162968 KiB
[startup+1.50034 s]
/proc/loadavg: 0.87 0.25 0.14 5/251 27506
/proc/meminfo: memFree=121203244/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=256768 memory=243772 CPUtime=1.48 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 65025 0 0 0 132 16 0 0 20 0 1 0 4230387 262930432 60943 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 64192 60943 2694 3035 0 60588 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 256768 KiB
Current children cumulated memory: 243772 KiB
[startup+3.11268 s]
/proc/loadavg: 0.87 0.25 0.14 5/251 27506
/proc/meminfo: memFree=121085852/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=306096 memory=273924 CPUtime=3.08 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 71490 0 0 0 291 17 0 0 20 0 1 0 4230387 313442304 68481 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 76524 68481 2758 3035 0 72920 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 306096 KiB
Current children cumulated memory: 273924 KiB
[startup+6.30057 s]
/proc/loadavg: 1.20 0.33 0.17 5/252 27508
/proc/meminfo: memFree=120992032/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=524384 memory=443652 CPUtime=6.25 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 122055 0 0 0 595 30 0 0 20 0 3 0 4230387 536969216 110913 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 131096 110913 2774 3035 0 115117 0
[pid=27505/tid=27508] ppid=27502 vsize=524384 memory=7450450693227897425 CPUtime=0.52 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 35965 0 0 0 42 10 0 0 20 0 3 0 4230946 536969216 110913 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 524384 KiB
Current children cumulated memory: 443652 KiB
[startup+12.7004 s]
/proc/loadavg: 1.43 0.39 0.19 5/253 27509
/proc/meminfo: memFree=120540296/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=852064 memory=805136 CPUtime=12.62 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 275449 0 0 0 1211 51 0 0 20 0 3 0 4230387 872513536 201284 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 213016 201284 2950 3035 0 206597 0
[pid=27505/tid=27508] ppid=27502 vsize=852064 memory=11424 CPUtime=6.88 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 189350 0 0 0 658 30 0 0 20 0 3 0 4230946 872513536 201284 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=852064 memory=0 CPUtime=0 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4230993 872513536 201284 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 852064 KiB
Current children cumulated memory: 805136 KiB
[startup+25.5005 s]
/proc/loadavg: 2.08 0.59 0.26 5/253 27513
/proc/meminfo: memFree=120505412/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=983136 memory=819624 CPUtime=25.38 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 357137 0 0 0 2482 56 0 0 20 0 3 0 4230387 1006731264 204906 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 245784 204906 2950 3035 0 225142 0
[pid=27505/tid=27508] ppid=27502 vsize=983136 memory=11424 CPUtime=19.64 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 271029 0 0 0 1929 35 0 0 20 0 3 0 4230946 1006731264 204906 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=983136 memory=813924 CPUtime=0 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4230993 1006731264 204906 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 983136 KiB
Current children cumulated memory: 819624 KiB
[startup+51.1131 s]
/proc/loadavg: 2.73 0.86 0.36 5/256 27578
/proc/meminfo: memFree=120301332/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1146708 memory=971988 CPUtime=50.89 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 525679 0 0 0 5018 71 0 0 20 0 3 0 4230387 1174228992 242997 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 286677 242997 2998 3035 0 276845 0
[pid=27505/tid=27508] ppid=27502 vsize=1146708 memory=916480 CPUtime=45.17 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 439494 0 0 0 4466 51 0 0 20 0 3 0 4230946 1174228992 242997 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1146708 memory=916480 CPUtime=0 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4230993 1174228992 242997 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1146708 KiB
Current children cumulated memory: 971988 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.38 0.56 5/256 27586
/proc/meminfo: memFree=120229824/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1212244 memory=981616 CPUtime=101.87 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 678031 0 0 0 10106 81 0 0 20 0 3 0 4230387 1241337856 245404 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 303061 245404 2998 3035 0 281686 0
[pid=27505/tid=27508] ppid=27502 vsize=1212244 memory=981612 CPUtime=96.13 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 591780 0 0 0 9552 61 0 0 20 0 3 0 4230946 1241337856 245404 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1212244 memory=11424 CPUtime=0 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4230993 1241337856 245404 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1212244 KiB
Current children cumulated memory: 981616 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.89 0.79 5/256 27598
/proc/meminfo: memFree=120175756/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1212244 memory=981632 CPUtime=161.62 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 740489 0 0 0 16073 89 0 0 20 0 3 0 4230387 1241337856 245408 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 303061 245408 2998 3035 0 281686 0
[pid=27505/tid=27508] ppid=27502 vsize=1212244 memory=11424 CPUtime=155.87 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 654187 0 0 0 15519 68 0 0 20 0 3 0 4230946 1241337856 245408 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1212244 memory=981632 CPUtime=0 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4230993 1241337856 245408 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 1212244 KiB
Current children cumulated memory: 981632 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.31 1.00 5/256 27608
/proc/meminfo: memFree=120067044/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1212244 memory=1034268 CPUtime=221.36 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 841733 0 0 0 22039 97 0 0 20 0 3 0 4230387 1241337856 258567 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 303061 258567 2998 3035 0 295062 0
[pid=27505/tid=27508] ppid=27502 vsize=1212244 memory=981632 CPUtime=215.61 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 755402 0 0 0 21485 76 0 0 20 0 3 0 4230946 1241337856 258567 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1212244 memory=981632 CPUtime=0 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4230993 1241337856 258567 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 1212244 KiB
Current children cumulated memory: 1034268 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.63 1.20 5/254 27619
/proc/meminfo: memFree=119883600/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1212244 memory=1034268 CPUtime=281.09 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 883617 0 0 0 28007 102 0 0 20 0 3 0 4230387 1241337856 258567 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 303061 258567 2998 3035 0 295062 0
[pid=27505/tid=27508] ppid=27502 vsize=1212244 memory=1034268 CPUtime=275.35 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 797262 0 0 0 27454 81 0 0 20 0 3 0 4230946 1241337856 258567 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1212244 memory=1034268 CPUtime=0 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4230993 1241337856 258567 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
################
# More data... #
################
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/253 29171
/proc/meminfo: memFree=117836608/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3447.89 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2382812 0 0 0 344485 304 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3441.79 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2295394 0 0 0 343912 267 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=1368548 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 146 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3447.89 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/254 29351
/proc/meminfo: memFree=117711332/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3507.66 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2385999 0 0 0 350461 305 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3501.57 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2298563 0 0 0 349889 268 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=1368548 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 148 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3507.66 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/253 29361
/proc/meminfo: memFree=117688204/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3567.44 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2389254 0 0 0 356438 306 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3561.35 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2301803 0 0 0 355865 270 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=11424 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3567.44 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3598.57 s]
# the end of solver process 27505 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.56 s, system=3.1026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.15 4.09 5/253 29362
/proc/meminfo: memFree=117688268/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3569.15 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2389317 0 0 0 356608 307 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=-7306365286575334528 CPUtime=3563.06 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2301866 0 0 0 356036 270 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=2788 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3569.15 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.14 4.09 4/238 29413
/proc/meminfo: memFree=121110916/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3575.52 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2389485 0 0 0 357245 307 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3569.42 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2302032 0 0 0 356672 270 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=5488 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3575.52 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3593.6 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 29651
/proc/meminfo: memFree=120947044/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3578.7 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2389752 0 0 0 357563 307 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=-7306365286575334528 CPUtime=3572.6 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2302299 0 0 0 356990 270 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=1368548 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3578.7 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3596.8 s]
/proc/loadavg: 4.20 4.16 4.10 5/254 29653
/proc/meminfo: memFree=120879208/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3581.89 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2390043 0 0 0 357882 307 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3575.79 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2302590 0 0 0 357309 270 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=1368548 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3581.89 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3597.6 s]
/proc/loadavg: 4.20 4.16 4.10 5/254 29653
/proc/meminfo: memFree=120870088/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3582.68 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2390053 0 0 0 357961 307 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=5488 CPUtime=3576.58 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2302600 0 0 0 357388 270 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=12736 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3582.68 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3598 s]*
/proc/loadavg: 4.20 4.16 4.10 5/246 29689
/proc/meminfo: memFree=120908428/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1539924 memory=1368548 CPUtime=3583.09 cores=0,2
/proc/27505/stat : 27505 (fscip) S 27502 27505 27283 0 -1 1077936128 2390059 0 0 0 358002 307 0 0 20 0 3 0 4230387 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 384981 342137 3014 3035 0 368753 0
[pid=27505/tid=27508] ppid=27502 vsize=1539924 memory=-5155630197787290757 CPUtime=3576.99 cores=0,2
/proc/27505/task/27508/stat : 27508 (fscip) R 27502 27505 27283 0 -1 4194368 2302608 0 0 0 357429 270 0 0 20 0 3 0 4230946 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
[pid=27505/tid=27509] ppid=27502 vsize=1539924 memory=0 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 3 0 4230993 1576882176 342137 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3583.09 s
Current children cumulated vsize: 1539924 KiB
Current children cumulated memory: 1368548 KiB
[startup+3598.4 s]
/proc/loadavg: 4.20 4.16 4.10 5/246 29689
/proc/meminfo: memFree=120908428/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1375376 memory=1262464 CPUtime=3583.48 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 2393933 0 0 0 358040 308 0 0 20 0 2 0 4230387 1408385024 315616 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 343844 315616 3014 3035 0 335294 0
[pid=27505/tid=27509] ppid=27502 vsize=1375376 memory=11424 CPUtime=0.06 cores=0,2
/proc/27505/task/27509/stat : 27509 (fscip) S 27502 27505 27283 0 -1 1077936192 150 0 0 0 2 4 0 0 20 0 2 0 4230993 1408385024 315616 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
Current children cumulated CPU time: 3583.48 s
Current children cumulated vsize: 1375376 KiB
Current children cumulated memory: 1262464 KiB
[startup+3598.5 s]
/proc/loadavg: 4.20 4.16 4.10 5/246 29689
/proc/meminfo: memFree=120908428/131655788 swapFree=131071472/131071996
[pid=27505] ppid=27502 vsize=1357064 memory=1244152 CPUtime=3583.58 cores=0,2
/proc/27505/stat : 27505 (fscip) R 27502 27505 27283 0 -1 4194304 2395337 0 0 0 358050 308 0 0 20 0 1 0 4230387 1389633536 311038 134679101440 4194304 16623229 140729614796016 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 41443328 140729614799894 140729614800010 140729614800010 140729614807024 0
/proc/27505/statm: 339266 311038 3014 3035 0 330716 0
Current children cumulated CPU time: 3583.58 s
Current children cumulated vsize: 1357064 KiB
Current children cumulated memory: 1244152 KiB
Child status: 0
Real time (s): 3598.57
CPU time (s): 3583.66
CPU user time (s): 3580.56
CPU system time (s): 3.1026
CPU usage (%): 99.5857
Max. virtual memory (cumulated for all children) (KiB): 1539924
Max. memory (cumulated for all children) (KiB): 1368548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.56
system time used= 3.1026
maximum resident set size= 1368548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2399887
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= 10697
involuntary context switches= 21799
# summary of solver processes directly reported to runsolver:
# pid: 27505
# total CPU time (s): 3583.66
# total CPU user time (s): 3580.56
# total CPU system time (s): 3.1026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.814 second user time and 32.7106 second system time
The end
Begin job on nodeC012 at 2024-07-31 00:30:03
IDJOB=4464407
IDBENCH=147852
IDSOLVER=3092
FILE ID=nodeC012/4464407-1722378602
RUNJOBID= nodeC012-1722378594-27293
SLURM_JOB_ID= 8249842
Free space on /tmp= 723692 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464407-1722378602/watcher-4464407-1722378602 -o /tmp/evaluation-result-4464407-1722378602/solver-4464407-1722378602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27293 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464407-1722378602.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a13dda9504d679e5c6e2bc0e517e2ba2
RANDOM SEED=99795441
nodeC012.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 : 0xb00001f
cpu MHz : 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 1197.406
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 3671.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 3657.499
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 3671.567
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.380
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70
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 : 0xb00001f
cpu MHz : 1197.375
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121392108 kB
MemAvailable: 128875756 kB
Buffers: 83316 kB
Cached: 8203032 kB
SwapCached: 48 kB
Active: 244532 kB
Inactive: 9517792 kB
Active(anon): 1432 kB
Inactive(anon): 1495792 kB
Active(file): 243100 kB
Inactive(file): 8022000 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 120824 kB
Writeback: 0 kB
AnonPages: 1475188 kB
Mapped: 123424 kB
Shmem: 21248 kB
KReclaimable: 117492 kB
Slab: 200124 kB
SReclaimable: 117492 kB
SUnreclaim: 82632 kB
KernelStack: 4032 kB
PageTables: 12080 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1403412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 362496 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: 199496 kB
DirectMap2M: 13336576 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC012 at 2024-07-31 01:30:02