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.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 47939584, getVmSize() = 47939584, SCIPgetMemUsed() = 19887304, SCIPgetMemTotal() = 25824728, SCIPgetMemExternEstim() = 10643586
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.09/2.17 c ** Estimated virtualMemUsedAtSolver = 78256074, getVmSize() = 131739648, SCIPgetMemUsed() = 76700382, SCIPgetMemTotal() = 106740526, SCIPgetMemExternEstim() = 10643586
2.09/2.17 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.09/2.17 c Original Problem :
2.09/2.17 c Problem name : instance-4434796-1721119077
2.09/2.17 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
2.09/2.17 c Constraints : 5494
2.09/2.17 c Objective sense : minimize
2.09/2.17 c Presolved Problem :
2.09/2.17 c Variables : 4063 (4063 binary, 0 integer, 0 implicit integer, 0 continuous)
2.09/2.17 c Constraints : 968
2.09/2.17 c Constraints : Number
2.09/2.17 c knapsack : 448
2.09/2.17 c setppc : 73
2.09/2.17 c orbitope : 447
2.09/2.17 c ** Instance transfer method used: 0
2.09/2.18 c ** ParaScipInstance copy increased the number of variables. **
2.09/2.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.09/2.19 c Nodes Active
2.09/2.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.47/5.56 c 6 2 1 1 - 7.0000 -
10.84/10.97 c 11 165 161 1 - 7.0000 -
15.93/16.06 c 16 627 231 1 - 7.0000 -
21.31/21.44 c 21 1073 247 1 - 7.0000 -
26.40/26.55 c 27 1478 273 1 - 7.0000 -
31.49/31.64 c 32 1869 304 1 - 7.0000 -
36.57/36.70 c 37 2200 306 1 - 7.0000 -
41.56/41.79 c 42 2622 300 1 - 7.0000 -
46.64/46.86 c 47 2989 294 1 - 7.0000 -
51.73/51.92 c 52 3582 310 1 - 7.0000 -
56.71/56.98 c 57 4212 358 1 - 7.0000 -
61.80/62.03 c 62 4971 444 1 - 7.0000 -
66.90/67.16 c 67 5654 481 1 - 7.0000 -
71.97/72.23 c 72 6378 479 1 - 7.0000 -
76.96/77.29 c 77 7078 494 1 - 7.0000 -
82.15/82.43 c 82 7649 517 1 - 7.0000 -
87.13/87.49 c 88 8173 559 1 - 7.0000 -
92.22/92.56 c 93 8697 562 1 - 7.0000 -
97.30/97.65 c 98 9135 567 1 - 7.0000 -
102.39/102.74 c 103 9568 627 1 - 7.0000 -
107.48/107.83 c 108 10040 652 1 - 7.0000 -
112.56/112.98 c 113 10475 735 1 - 7.0000 -
117.76/118.12 c 118 10990 764 1 - 7.0000 -
122.83/123.20 c 123 11556 785 1 - 7.0000 -
127.81/128.28 c 128 12138 796 1 - 7.0000 -
132.89/133.33 c 133 12736 816 1 - 7.0000 -
137.98/138.40 c 138 13638 823 1 - 7.0000 -
142.96/143.46 c 143 14433 822 1 - 7.0000 -
148.04/148.55 c 149 15313 822 1 - 7.0000 -
153.13/153.61 c 154 15978 826 1 - 7.0000 -
158.21/158.76 c 159 16573 821 1 - 7.0000 -
163.60/164.10 c 164 17372 814 1 - 7.0000 -
168.58/169.15 c 169 17980 831 1 - 7.0000 -
173.76/174.35 c 174 18661 864 1 - 7.0000 -
178.85/179.41 c 179 19577 860 1 - 7.0000 -
183.83/184.46 c 184 20357 842 1 - 7.0000 -
188.91/189.53 c 190 21115 859 1 - 7.0000 -
193.90/194.59 c 195 21784 855 1 - 7.0000 -
198.98/199.67 c 200 22359 900 1 - 7.0000 -
204.06/204.74 c 205 22877 928 1 - 7.0000 -
209.14/209.83 c 210 23550 967 1 - 7.0000 -
214.12/214.89 c 215 24544 970 1 - 7.0000 -
219.21/219.94 c 220 25780 978 1 - 7.0000 -
224.20/224.99 c 225 26753 1017 1 - 7.0000 -
229.28/230.10 c 230 27447 1036 1 - 7.0000 -
234.36/235.17 c 235 28135 1052 1 - 7.0000 -
239.44/240.24 c 240 29007 1068 1 - 7.0000 -
244.43/245.29 c 245 29811 1081 1 - 7.0000 -
249.70/250.59 c 251 30442 1083 1 - 7.0000 -
254.79/255.67 c 256 31119 1083 1 - 7.0000 -
259.87/260.70 c 261 32015 1110 1 - 7.0000 -
264.96/265.81 c 266 32612 1138 1 - 7.0000 -
269.94/270.88 c 271 33121 1194 1 - 7.0000 -
275.02/275.93 c 276 33827 1256 1 - 7.0000 -
280.11/281.00 c 281 34609 1279 1 - 7.0000 -
285.09/286.04 c 286 35265 1306 1 - 7.0000 -
290.17/291.11 c 291 35924 1339 1 - 7.0000 -
295.16/296.17 c 296 36549 1371 1 - 7.0000 -
300.24/301.24 c 301 37089 1394 1 - 7.0000 -
305.32/306.31 c 306 37645 1404 1 - 7.0000 -
310.30/311.35 c 311 38338 1420 1 - 7.0000 -
315.39/316.43 c 316 39064 1425 1 - 7.0000 -
320.37/321.48 c 321 39714 1417 1 - 7.0000 -
325.46/326.54 c 327 40391 1468 1 - 7.0000 -
330.54/331.61 c 332 41030 1515 1 - 7.0000 -
335.52/336.65 c 337 41736 1556 1 - 7.0000 -
340.60/341.72 c 342 42427 1574 1 - 7.0000 -
345.69/346.81 c 347 43105 1625 1 - 7.0000 -
350.67/351.86 c 352 43857 1652 1 - 7.0000 -
355.75/356.92 c 357 44563 1691 1 - 7.0000 -
360.74/361.97 c 362 45220 1693 1 - 7.0000 -
365.83/367.02 c 367 45902 1693 1 - 7.0000 -
370.81/372.08 c 372 46855 1697 1 - 7.0000 -
375.90/377.14 c 377 47600 1709 1 - 7.0000 -
380.98/382.21 c 382 48413 1716 1 - 7.0000 -
385.97/387.28 c 387 49210 1725 1 - 7.0000 -
391.05/392.33 c 392 49914 1758 1 - 7.0000 -
396.04/397.39 c 397 50799 1757 1 - 7.0000 -
401.12/402.45 c 402 51512 1761 1 - 7.0000 -
406.21/407.57 c 408 52208 1767 1 - 7.0000 -
411.29/412.64 c 413 52954 1792 1 - 7.0000 -
416.39/417.74 c 418 53582 1809 1 - 7.0000 -
421.47/422.81 c 423 54219 1823 1 - 7.0000 -
426.45/427.88 c 428 54823 1856 1 - 7.0000 -
431.55/432.97 c 433 55399 1885 1 - 7.0000 -
436.63/438.02 c 438 56024 1889 1 - 7.0000 -
441.62/443.07 c 443 56540 1941 1 - 7.0000 -
446.71/448.19 c 448 56995 1964 1 - 7.0000 -
451.78/453.27 c 453 57708 1980 1 - 7.0000 -
456.88/458.39 c 458 58316 2026 1 - 7.0000 -
461.96/463.47 c 463 58981 2143 1 - 7.0000 -
467.14/468.61 c 469 59577 2193 1 - 7.0000 -
472.13/473.69 c 474 60266 2286 1 - 7.0000 -
477.21/478.75 c 479 60917 2361 1 - 7.0000 -
482.29/483.81 c 484 61607 2409 1 - 7.0000 -
487.28/488.86 c 489 62493 2492 1 - 7.0000 -
492.36/493.91 c 494 63497 2541 1 - 7.0000 -
497.34/498.97 c 499 64301 2579 1 - 7.0000 -
502.44/504.01 c 504 64984 2629 1 - 7.0000 -
507.42/509.07 c 509 65687 2685 1 - 7.0000 -
512.50/514.16 c 514 66441 2723 1 - 7.0000 -
517.57/519.24 c 519 67278 2814 1 - 7.0000 -
522.66/524.33 c 524 67896 2960 1 - 7.0000 -
527.64/529.39 c 529 68495 3093 1 - 7.0000 -
532.83/534.51 c 535 69000 3164 1 - 7.0000 -
537.81/539.57 c 540 69552 3209 1 - 7.0000 -
542.89/544.64 c 545 70149 3264 1 - 7.0000 -
547.97/549.71 c 550 70669 3297 1 - 7.0000 -
553.06/554.81 c 555 71170 3336 1 - 7.0000 -
558.04/559.87 c 560 71689 3349 1 - 7.0000 -
563.13/564.95 c 565 72189 3395 1 - 7.0000 -
568.21/570.00 c 570 72790 3497 1 - 7.0000 -
573.19/575.06 c 575 73323 3530 1 - 7.0000 -
578.28/580.13 c 580 73883 3609 1 - 7.0000 -
583.36/585.21 c 585 74440 3628 1 - 7.0000 -
588.35/590.28 c 590 74961 3693 1 - 7.0000 -
593.43/595.33 c 595 75461 3732 1 - 7.0000 -
598.51/600.40 c 600 76074 3871 1 - 7.0000 -
603.50/605.47 c 605 76661 4013 1 - 7.0000 -
608.59/610.52 c 611 77222 4090 1 - 7.0000 -
613.57/615.59 c 616 77713 4131 1 - 7.0000 -
618.66/620.64 c 621 78281 4191 1 - 7.0000 -
623.64/625.69 c 626 78790 4220 1 - 7.0000 -
628.72/630.74 c 631 79334 4340 1 - 7.0000 -
633.71/635.79 c 636 79908 4411 1 - 7.0000 -
638.80/640.84 c 641 80542 4495 1 - 7.0000 -
643.88/645.91 c 646 81160 4551 1 - 7.0000 -
648.87/650.99 c 651 81732 4610 1 - 7.0000 -
653.96/656.04 c 656 82338 4661 1 - 7.0000 -
659.04/661.10 c 661 82936 4695 1 - 7.0000 -
664.03/666.17 c 666 83644 4737 1 - 7.0000 -
669.11/671.24 c 671 84262 4801 1 - 7.0000 -
674.10/676.29 c 676 84861 4840 1 - 7.0000 -
679.18/681.34 c 681 85428 4906 1 - 7.0000 -
684.16/686.39 c 686 86021 4933 1 - 7.0000 -
689.25/691.47 c 691 86601 4987 1 - 7.0000 -
694.34/696.52 c 697 87097 4986 1 - 7.0000 -
699.33/701.58 c 702 87653 5015 1 - 7.0000 -
704.41/706.66 c 707 88251 5072 1 - 7.0000 -
709.51/711.73 c 712 88804 5094 1 - 7.0000 -
714.49/716.79 c 717 89498 5249 1 - 7.0000 -
719.57/721.85 c 722 90069 5302 1 - 7.0000 -
724.67/726.90 c 727 90628 5376 1 - 7.0000 -
729.66/731.98 c 732 91197 5451 1 - 7.0000 -
734.75/737.05 c 737 91828 5508 1 - 7.0000 -
739.83/742.10 c 742 92589 5540 1 - 7.0000 -
744.83/747.15 c 747 93334 5577 1 - 7.0000 -
749.90/752.21 c 752 94032 5649 1 - 7.0000 -
754.89/757.25 c 757 94684 5678 1 - 7.0000 -
759.98/762.34 c 762 95351 5717 1 - 7.0000 -
765.06/767.41 c 767 95934 5754 1 - 7.0000 -
770.05/772.48 c 772 96538 5771 1 - 7.0000 -
775.14/777.54 c 778 97181 5827 1 - 7.0000 -
780.23/782.60 c 783 97838 5922 1 - 7.0000 -
785.22/787.65 c 788 98593 6022 1 - 7.0000 -
790.20/792.69 c 793 99282 6088 1 - 7.0000 -
795.30/797.74 c 798 100055 6114 1 - 7.0000 -
800.38/802.81 c 803 100668 6171 1 - 7.0000 -
805.37/807.88 c 808 101221 6163 1 - 7.0000 -
810.46/812.93 c 813 101825 6197 1 - 7.0000 -
815.55/818.01 c 818 102397 6198 1 - 7.0000 -
820.54/823.09 c 823 103017 6268 1 - 7.0000 -
825.63/828.15 c 828 103656 6318 1 - 7.0000 -
830.71/833.20 c 833 104265 6346 1 - 7.0000 -
835.69/838.25 c 838 104938 6399 1 - 7.0000 -
840.79/843.31 c 843 105704 6438 1 - 7.0000 -
845.87/848.40 c 848 106291 6451 1 - 7.0000 -
850.86/853.47 c 853 106918 6467 1 - 7.0000 -
855.95/858.51 c 859 107561 6545 1 - 7.0000 -
860.94/863.56 c 864 108213 6603 1 - 7.0000 -
866.02/868.62 c 869 108893 6659 1 - 7.0000 -
871.11/873.71 c 874 109508 6685 1 - 7.0000 -
876.09/878.75 c 879 110044 6702 1 - 7.0000 -
881.19/883.83 c 884 110653 6759 1 - 7.0000 -
886.18/888.89 c 889 111310 6829 1 - 7.0000 -
891.26/893.97 c 894 111963 6874 1 - 7.0000 -
896.35/899.02 c 899 112651 6895 1 - 7.0000 -
901.64/904.33 c 904 113303 6920 1 - 7.0000 -
906.62/909.37 c 909 113969 6971 1 - 7.0000 -
911.71/914.44 c 914 114647 7045 1 - 7.0000 -
916.70/919.49 c 920 115386 7209 1 - 7.0000 -
921.79/924.54 c 925 116243 7226 1 - 7.0000 -
926.88/929.63 c 930 116946 7273 1 - 7.0000 -
931.86/934.69 c 935 117548 7311 1 - 7.0000 -
936.95/939.74 c 940 118168 7346 1 - 7.0000 -
942.04/944.82 c 945 118711 7369 1 - 7.0000 -
947.02/949.89 c 950 119310 7384 1 - 7.0000 -
952.11/954.93 c 955 120006 7461 1 - 7.0000 -
957.21/960.06 c 960 120582 7462 1 - 7.0000 -
962.29/965.10 c 965 121539 7530 1 - 7.0000 -
967.28/970.15 c 970 122543 7660 1 - 7.0000 -
972.36/975.22 c 975 123445 7813 1 - 7.0000 -
977.35/980.27 c 980 124450 7949 1 - 7.0000 -
982.44/985.33 c 985 125432 8042 1 - 7.0000 -
987.42/990.37 c 990 126467 8098 1 - 7.0000 -
992.50/995.42 c 995 127571 8174 1 - 7.0000 -
997.50/1000.48 c 1000 128627 8236 1 - 7.0000 -
1002.58/1005.54 c 1006 129761 8309 1 - 7.0000 -
1007.57/1010.58 c 1011 130799 8424 1 - 7.0000 -
1012.66/1015.64 c 1016 131607 8447 1 - 7.0000 -
1017.74/1020.70 c 1021 132382 8529 1 - 7.0000 -
1022.73/1025.75 c 1026 133135 8558 1 - 7.0000 -
1027.82/1030.81 c 1031 133856 8570 1 - 7.0000 -
1032.81/1035.88 c 1036 134542 8593 1 - 7.0000 -
1037.90/1040.93 c 1041 135319 8673 1 - 7.0000 -
1042.99/1046.00 c 1046 135999 8703 1 - 7.0000 -
1047.97/1051.05 c 1051 136664 8688 1 - 7.0000 -
1052.96/1056.10 c 1056 137382 8804 1 - 7.0000 -
1058.05/1061.18 c 1061 138116 8816 1 - 7.0000 -
1063.13/1066.23 c 1066 138827 8836 1 - 7.0000 -
1068.12/1071.29 c 1071 139608 8848 1 - 7.0000 -
1073.20/1076.34 c 1076 140491 8907 1 - 7.0000 -
1078.29/1081.40 c 1081 141248 8950 1 - 7.0000 -
1083.28/1086.45 c 1086 142044 8996 1 - 7.0000 -
1088.36/1091.53 c 1092 142796 9072 1 - 7.0000 -
1093.45/1096.65 c 1097 143534 9096 1 - 7.0000 -
1098.54/1101.71 c 1102 144280 9128 1 - 7.0000 -
1103.52/1106.76 c 1107 144998 9163 1 - 7.0000 -
1108.61/1111.82 c 1112 145805 9199 1 - 7.0000 -
1113.60/1116.89 c 1117 146730 9231 1 - 7.0000 -
1118.69/1121.95 c 1122 147387 9303 1 - 7.0000 -
1123.78/1127.01 c 1127 148190 9342 1 - 7.0000 -
1128.77/1132.07 c 1132 148965 9437 1 - 7.0000 -
1133.85/1137.13 c 1137 149721 9479 1 - 7.0000 -
1138.94/1142.20 c 1142 150538 9557 1 - 7.0000 -
1143.93/1147.24 c 1147 151293 9604 1 - 7.0000 -
1149.01/1152.30 c 1152 152048 9644 1 - 7.0000 -
1154.01/1157.35 c 1157 152975 9699 1 - 7.0000 -
1159.09/1162.41 c 1162 153795 9721 1 - 7.0000 -
1164.07/1167.46 c 1167 154486 9740 1 - 7.0000 -
1169.17/1172.53 c 1173 155253 9758 1 - 7.0000 -
1174.15/1177.58 c 1178 155950 9783 1 - 7.0000 -
1179.23/1182.63 c 1183 156796 9823 1 - 7.0000 -
1184.23/1187.69 c 1188 157619 9865 1 - 7.0000 -
1189.31/1192.76 c 1193 158415 9887 1 - 7.0000 -
1194.40/1197.85 c 1198 159130 9922 1 - 7.0000 -
1199.48/1202.90 c 1203 159871 9943 1 - 7.0000 -
1204.48/1207.97 c 1208 160756 9992 1 - 7.0000 -
1209.57/1213.01 c 1213 161531 10022 1 - 7.0000 -
1214.56/1218.07 c 1218 162304 10021 1 - 7.0000 -
1219.65/1223.13 c 1223 163104 10100 1 - 7.0000 -
1224.63/1228.19 c 1228 163847 10105 1 - 7.0000 -
1229.71/1233.26 c 1233 164603 10200 1 - 7.0000 -
1234.80/1238.30 c 1238 165360 10226 1 - 7.0000 -
1239.79/1243.36 c 1243 166153 10274 1 - 7.0000 -
1244.88/1248.41 c 1248 166953 10309 1 - 7.0000 -
1249.86/1253.48 c 1253 167633 10320 1 - 7.0000 -
1254.95/1258.55 c 1259 168273 10344 1 - 7.0000 -
1260.04/1263.62 c 1264 168918 10363 1 - 7.0000 -
1265.02/1268.68 c 1269 169555 10398 1 - 7.0000 -
1270.11/1273.75 c 1274 170211 10429 1 - 7.0000 -
1275.19/1278.80 c 1279 170841 10474 1 - 7.0000 -
1280.18/1283.86 c 1284 171583 10494 1 - 7.0000 -
1285.27/1288.95 c 1289 172112 10533 1 - 7.0000 -
1290.36/1294.03 c 1294 172721 10539 1 - 7.0000 -
1295.34/1299.10 c 1299 173267 10553 1 - 7.0000 -
1300.44/1304.18 c 1304 173860 10558 1 - 7.0000 -
1305.52/1309.22 c 1309 174493 10591 1 - 7.0000 -
1310.51/1314.29 c 1314 175069 10588 1 - 7.0000 -
1315.59/1319.35 c 1319 175696 10605 1 - 7.0000 -
1320.68/1324.41 c 1324 176355 10640 1 - 7.0000 -
1325.66/1329.47 c 1329 176865 10631 1 - 7.0000 -
1330.75/1334.53 c 1335 177411 10660 1 - 7.0000 -
1335.74/1339.59 c 1340 177977 10651 1 - 7.0000 -
1340.93/1344.70 c 1345 178510 10710 1 - 7.0000 -
1345.91/1349.77 c 1350 179080 10738 1 - 7.0000 -
1351.01/1354.83 c 1355 179663 10717 1 - 7.0000 -
1356.09/1359.95 c 1360 180214 10743 1 - 7.0000 -
1361.18/1365.01 c 1365 180825 10769 1 - 7.0000 -
1366.27/1370.10 c 1370 181439 10777 1 - 7.0000 -
1371.25/1375.16 c 1375 181976 10783 1 - 7.0000 -
1376.34/1380.28 c 1380 182475 10771 1 - 7.0000 -
1381.43/1385.33 c 1385 183039 10769 1 - 7.0000 -
1386.51/1390.41 c 1390 183592 10760 1 - 7.0000 -
1391.50/1395.48 c 1395 184129 10767 1 - 7.0000 -
1396.59/1400.54 c 1401 184723 10762 1 - 7.0000 -
1401.68/1405.60 c 1406 185328 10784 1 - 7.0000 -
1406.76/1410.73 c 1411 185933 10805 1 - 7.0000 -
1411.85/1415.86 c 1416 186507 10838 1 - 7.0000 -
1416.94/1420.95 c 1421 187025 10854 1 - 7.0000 -
1422.03/1426.00 c 1426 187565 10861 1 - 7.0000 -
1427.02/1431.09 c 1431 188086 10872 1 - 7.0000 -
1432.11/1436.15 c 1436 188651 10875 1 - 7.0000 -
1437.19/1441.22 c 1441 189258 10926 1 - 7.0000 -
1442.27/1446.31 c 1446 189815 10947 1 - 7.0000 -
1447.26/1451.38 c 1451 190384 10979 1 - 7.0000 -
1452.35/1456.46 c 1456 190940 10978 1 - 7.0000 -
1457.44/1461.53 c 1462 191508 10982 1 - 7.0000 -
1462.52/1466.60 c 1467 192029 10984 1 - 7.0000 -
1467.51/1471.68 c 1472 192550 10989 1 - 7.0000 -
1472.60/1476.75 c 1477 193100 10999 1 - 7.0000 -
1477.69/1481.83 c 1482 193633 11035 1 - 7.0000 -
1482.77/1486.96 c 1487 194178 11048 1 - 7.0000 -
1487.86/1492.05 c 1492 194702 11053 1 - 7.0000 -
1492.95/1497.14 c 1497 195297 11053 1 - 7.0000 -
1498.03/1502.22 c 1502 195842 11055 1 - 7.0000 -
1503.01/1507.29 c 1507 196398 11106 1 - 7.0000 -
1508.21/1512.40 c 1512 197006 11127 1 - 7.0000 -
1513.19/1517.44 c 1517 197580 11137 1 - 7.0000 -
1518.18/1522.49 c 1522 198050 11161 1 - 7.0000 -
1523.27/1527.59 c 1528 198569 11166 1 - 7.0000 -
1528.35/1532.69 c 1533 199125 11190 1 - 7.0000 -
1533.54/1537.80 c 1538 199675 11242 1 - 7.0000 -
1538.53/1542.86 c 1543 200233 11259 1 - 7.0000 -
1543.61/1547.98 c 1548 200776 11274 1 - 7.0000 -
1548.70/1553.03 c 1553 201352 11281 1 - 7.0000 -
1553.69/1558.09 c 1558 201856 11297 1 - 7.0000 -
1558.87/1563.27 c 1563 202357 11291 1 - 7.0000 -
1563.96/1568.32 c 1568 202880 11302 1 - 7.0000 -
1569.05/1573.40 c 1573 203448 11296 1 - 7.0000 -
1574.03/1578.46 c 1578 204000 11275 1 - 7.0000 -
1579.12/1583.56 c 1584 204596 11272 1 - 7.0000 -
1584.21/1588.64 c 1589 205169 11326 1 - 7.0000 -
1589.30/1593.71 c 1594 205744 11320 1 - 7.0000 -
1594.28/1598.78 c 1599 206320 11312 1 - 7.0000 -
1599.37/1603.84 c 1604 206915 11314 1 - 7.0000 -
1604.46/1608.90 c 1609 207438 11304 1 - 7.0000 -
1609.55/1614.00 c 1614 208016 11328 1 - 7.0000 -
1614.53/1619.07 c 1619 208651 11364 1 - 7.0000 -
1619.63/1624.13 c 1624 209197 11360 1 - 7.0000 -
1624.71/1629.22 c 1629 209744 11397 1 - 7.0000 -
1629.79/1634.33 c 1634 210342 11439 1 - 7.0000 -
1634.88/1639.42 c 1639 210824 11457 1 - 7.0000 -
1639.87/1644.48 c 1644 211423 11523 1 - 7.0000 -
1644.95/1649.55 c 1650 211998 11517 1 - 7.0000 -
1650.05/1654.60 c 1655 212549 11530 1 - 7.0000 -
1655.03/1659.68 c 1660 213069 11528 1 - 7.0000 -
1660.12/1664.77 c 1665 213608 11532 1 - 7.0000 -
1665.31/1669.94 c 1670 214067 11554 1 - 7.0000 -
1670.40/1675.02 c 1675 214623 11549 1 - 7.0000 -
1675.48/1680.11 c 1680 215117 11556 1 - 7.0000 -
1680.47/1685.18 c 1685 215671 11551 1 - 7.0000 -
1685.75/1690.44 c 1690 216157 11557 1 - 7.0000 -
1690.84/1695.54 c 1696 216684 11565 1 - 7.0000 -
1695.93/1700.62 c 1701 217255 11567 1 - 7.0000 -
1700.91/1705.67 c 1706 217741 11582 1 - 7.0000 -
1706.00/1710.76 c 1711 218194 11579 1 - 7.0000 -
1711.18/1715.91 c 1716 218820 11632 1 - 7.0000 -
1716.18/1720.96 c 1721 219383 11629 1 - 7.0000 -
1721.27/1726.03 c 1726 219987 11638 1 - 7.0000 -
1726.25/1731.08 c 1731 221059 11673 1 - 7.0000 -
1731.34/1736.13 c 1736 222384 11704 1 - 7.0000 -
1736.33/1741.19 c 1741 223631 11695 1 - 7.0000 -
1741.41/1746.23 c 1746 225182 11697 1 - 7.0000 -
1746.40/1751.28 c 1751 226751 11699 1 - 7.0000 -
1751.49/1756.33 c 1756 228075 11701 1 - 7.0000 -
1756.47/1761.38 c 1761 229644 11741 1 - 7.0000 -
1761.56/1766.44 c 1766 231030 11741 1 - 7.0000 -
1766.55/1771.49 c 1772 232515 11742 1 - 7.0000 -
1771.64/1776.54 c 1777 233757 11739 1 - 7.0000 -
1776.62/1781.59 c 1782 235123 11739 1 - 7.0000 -
1781.71/1786.64 c 1787 236450 11728 1 - 7.0000 -
1786.69/1791.69 c 1792 237845 11742 1 - 7.0000 -
1791.78/1796.74 c 1797 239507 11764 1 - 7.0000 -
1796.77/1801.79 c 1802 241201 11772 1 - 7.0000 -
1801.85/1806.84 c 1807 242959 11758 1 - 7.0000 -
1806.84/1811.89 c 1812 244602 11760 1 - 7.0000 -
1812.23/1817.21 c 1817 246179 11752 1 - 7.0000 -
1817.21/1822.26 c 1822 247796 11749 1 - 7.0000 -
1822.30/1827.31 c 1827 249259 11749 1 - 7.0000 -
1827.29/1832.36 c 1832 250696 11764 1 - 7.0000 -
1832.37/1837.41 c 1837 252148 11727 1 - 7.0000 -
1837.36/1842.46 c 1842 253481 11727 1 - 7.0000 -
1842.45/1847.52 c 1848 254735 11700 1 - 7.0000 -
1847.43/1852.57 c 1853 256335 11745 1 - 7.0000 -
1852.52/1857.62 c 1858 257892 11747 1 - 7.0000 -
1857.51/1862.67 c 1863 259351 11760 1 - 7.0000 -
1862.59/1867.72 c 1868 260823 11770 1 - 7.0000 -
1867.58/1872.77 c 1873 262079 11743 1 - 7.0000 -
1872.67/1877.82 c 1878 263396 11713 1 - 7.0000 -
1877.65/1882.87 c 1883 264978 11703 1 - 7.0000 -
1882.73/1887.92 c 1888 266341 11721 1 - 7.0000 -
1887.73/1892.97 c 1893 267525 11704 1 - 7.0000 -
1892.82/1898.02 c 1898 269099 11718 1 - 7.0000 -
1897.80/1903.07 c 1903 270607 11739 1 - 7.0000 -
1902.90/1908.13 c 1908 272222 11726 1 - 7.0000 -
1907.88/1913.17 c 1913 273434 11734 1 - 7.0000 -
1912.96/1918.22 c 1918 274788 11731 1 - 7.0000 -
1917.94/1923.27 c 1923 276337 11710 1 - 7.0000 -
1923.03/1928.32 c 1928 277597 11717 1 - 7.0000 -
1928.03/1933.37 c 1933 279157 11772 1 - 7.0000 -
1933.11/1938.42 c 1938 280793 11779 1 - 7.0000 -
1938.10/1943.47 c 1943 282290 11842 1 - 7.0000 -
1943.18/1948.52 c 1949 283798 11857 1 - 7.0000 -
1948.18/1953.57 c 1954 285397 11873 1 - 7.0000 -
1953.26/1958.62 c 1959 287146 11866 1 - 7.0000 -
1958.25/1963.67 c 1964 288907 11912 1 - 7.0000 -
1963.33/1968.75 c 1969 290602 11887 1 - 7.0000 -
1968.41/1973.80 c 1974 292299 11864 1 - 7.0000 -
1973.41/1978.85 c 1979 293904 11888 1 - 7.0000 -
1978.49/1983.90 c 1984 295437 11856 1 - 7.0000 -
1983.48/1988.95 c 1989 297193 11848 1 - 7.0000 -
1988.57/1994.00 c 1994 298665 11841 1 - 7.0000 -
1993.56/1999.05 c 1999 300221 11809 1 - 7.0000 -
1998.55/2004.10 c 2004 301777 11792 1 - 7.0000 -
2003.64/2009.15 c 2009 303374 11754 1 - 7.0000 -
2008.71/2014.20 c 2014 304900 11731 1 - 7.0000 -
2013.71/2019.25 c 2019 306634 11740 1 - 7.0000 -
2018.79/2024.30 c 2024 308274 11735 1 - 7.0000 -
2023.78/2029.36 c 2029 309768 11726 1 - 7.0000 -
2028.87/2034.41 c 2034 311090 11702 1 - 7.0000 -
2033.85/2039.47 c 2039 311865 11701 1 - 7.0000 -
2038.94/2044.53 c 2045 312575 11736 1 - 7.0000 -
2044.03/2049.60 c 2050 313158 11766 1 - 7.0000 -
2049.01/2054.66 c 2055 313782 11776 1 - 7.0000 -
2054.10/2059.74 c 2060 314460 11788 1 - 7.0000 -
2059.19/2064.80 c 2065 315035 11811 1 - 7.0000 -
2064.18/2069.87 c 2070 315529 11848 1 - 7.0000 -
2069.26/2074.96 c 2075 316126 11885 1 - 7.0000 -
2074.35/2080.05 c 2080 316667 11939 1 - 7.0000 -
2079.44/2085.13 c 2085 317272 11956 1 - 7.0000 -
2084.43/2090.18 c 2090 317744 11987 1 - 7.0000 -
2089.51/2095.29 c 2095 318266 11999 1 - 7.0000 -
2094.70/2100.43 c 2100 318771 12063 1 - 7.0000 -
2099.79/2105.53 c 2106 319254 12094 1 - 7.0000 -
2104.88/2110.64 c 2111 319782 12139 1 - 7.0000 -
2109.96/2115.73 c 2116 320312 12196 1 - 7.0000 -
2114.95/2120.78 c 2121 320906 12254 1 - 7.0000 -
2120.04/2125.85 c 2126 321381 12286 1 - 7.0000 -
2125.13/2130.92 c 2131 321867 12294 1 - 7.0000 -
2130.12/2135.97 c 2136 322283 12349 1 - 7.0000 -
2135.20/2141.02 c 2141 322763 12373 1 - 7.0000 -
2140.19/2146.08 c 2146 323295 12423 1 - 7.0000 -
2145.28/2151.18 c 2151 323709 12434 1 - 7.0000 -
2150.37/2156.23 c 2156 324281 12455 1 - 7.0000 -
2155.45/2161.31 c 2161 324858 12489 1 - 7.0000 -
2160.44/2166.38 c 2166 325364 12517 1 - 7.0000 -
2165.53/2171.46 c 2171 325950 12542 1 - 7.0000 -
2170.61/2176.51 c 2177 326582 12549 1 - 7.0000 -
2175.61/2181.57 c 2182 327039 12580 1 - 7.0000 -
2180.69/2186.64 c 2187 327592 12583 1 - 7.0000 -
2185.77/2191.75 c 2192 328109 12584 1 - 7.0000 -
2190.86/2196.86 c 2197 328655 12564 1 - 7.0000 -
2195.94/2201.91 c 2202 329192 12567 1 - 7.0000 -
2201.04/2207.03 c 2207 329670 12612 1 - 7.0000 -
2206.13/2212.13 c 2212 330189 12652 1 - 7.0000 -
2211.11/2217.19 c 2217 330856 12671 1 - 7.0000 -
2216.20/2222.25 c 2222 331362 12699 1 - 7.0000 -
2221.29/2227.35 c 2227 331852 12708 1 - 7.0000 -
2226.37/2232.45 c 2232 332371 12718 1 - 7.0000 -
2231.46/2237.59 c 2238 332889 12758 1 - 7.0000 -
2236.55/2242.66 c 2243 333422 12772 1 - 7.0000 -
2241.64/2247.73 c 2248 333898 12792 1 - 7.0000 -
2246.72/2252.82 c 2253 334418 12799 1 - 7.0000 -
2251.71/2257.87 c 2258 334992 12811 1 - 7.0000 -
2256.79/2262.98 c 2263 335476 12846 1 - 7.0000 -
2261.88/2268.07 c 2268 335969 12864 1 - 7.0000 -
2266.98/2273.15 c 2273 336499 12885 1 - 7.0000 -
2272.06/2278.23 c 2278 337039 12880 1 - 7.0000 -
2277.15/2283.31 c 2283 337549 12865 1 - 7.0000 -
2282.13/2288.38 c 2288 338096 12912 1 - 7.0000 -
2287.22/2293.45 c 2293 338628 12925 1 - 7.0000 -
2292.30/2298.52 c 2299 339170 12971 1 - 7.0000 -
2297.29/2303.58 c 2304 339743 13052 1 - 7.0000 -
2302.38/2308.64 c 2309 340276 13089 1 - 7.0000 -
2307.46/2313.72 c 2314 340789 13109 1 - 7.0000 -
2312.45/2318.79 c 2319 341315 13134 1 - 7.0000 -
2317.54/2323.85 c 2324 341899 13145 1 - 7.0000 -
2322.63/2328.92 c 2329 342420 13181 1 - 7.0000 -
2327.61/2333.99 c 2334 342924 13214 1 - 7.0000 -
2332.70/2339.07 c 2339 343449 13229 1 - 7.0000 -
2337.80/2344.14 c 2344 343949 13237 1 - 7.0000 -
2342.88/2349.28 c 2349 344503 13321 1 - 7.0000 -
2347.97/2354.35 c 2354 344979 13341 1 - 7.0000 -
2353.05/2359.45 c 2359 345487 13368 1 - 7.0000 -
2358.14/2364.54 c 2365 345963 13381 1 - 7.0000 -
2363.22/2369.60 c 2370 346450 13382 1 - 7.0000 -
2368.31/2374.72 c 2375 347055 13411 1 - 7.0000 -
2373.30/2379.78 c 2380 347674 13451 1 - 7.0000 -
2378.48/2384.91 c 2385 348278 13447 1 - 7.0000 -
2383.47/2389.99 c 2390 348714 13467 1 - 7.0000 -
2388.57/2395.07 c 2395 349235 13535 1 - 7.0000 -
2393.65/2400.14 c 2400 349754 13561 1 - 7.0000 -
2398.73/2405.20 c 2405 350222 13578 1 - 7.0000 -
2403.72/2410.25 c 2410 350667 13632 1 - 7.0000 -
2408.80/2415.36 c 2415 351185 13709 1 - 7.0000 -
2413.89/2420.44 c 2420 351668 13705 1 - 7.0000 -
2418.98/2425.56 c 2426 352137 13731 1 - 7.0000 -
2424.06/2430.67 c 2431 352626 13773 1 - 7.0000 -
2429.16/2435.72 c 2436 353111 13813 1 - 7.0000 -
2434.34/2440.91 c 2441 353620 13844 1 - 7.0000 -
2439.43/2446.02 c 2446 354069 13901 1 - 7.0000 -
2444.42/2451.07 c 2451 354590 13919 1 - 7.0000 -
2449.61/2456.28 c 2456 355098 13978 1 - 7.0000 -
2454.69/2461.33 c 2461 355608 13994 1 - 7.0000 -
2459.78/2466.42 c 2466 356153 14047 1 - 7.0000 -
2464.87/2471.50 c 2472 356789 14183 1 - 7.0000 -
2469.85/2476.57 c 2477 357301 14203 1 - 7.0000 -
2474.94/2481.63 c 2482 357893 14212 1 - 7.0000 -
2480.03/2486.73 c 2487 358452 14217 1 - 7.0000 -
2485.11/2491.81 c 2492 359039 14262 1 - 7.0000 -
2490.40/2497.19 c 2497 359537 14365 1 - 7.0000 -
2495.48/2502.28 c 2502 359952 14373 1 - 7.0000 -
2500.57/2507.36 c 2507 360455 14523 1 - 7.0000 -
2505.86/2512.62 c 2513 360776 14664 1 - 7.0000 -
2510.94/2517.71 c 2518 361291 14691 1 - 7.0000 -
2515.93/2522.77 c 2523 361797 14740 1 - 7.0000 -
2521.02/2527.85 c 2528 362367 14748 1 - 7.0000 -
2526.11/2532.92 c 2533 362858 14783 1 - 7.0000 -
2531.20/2538.01 c 2538 363371 14856 1 - 7.0000 -
2536.18/2543.08 c 2543 363870 14876 1 - 7.0000 -
2541.37/2548.28 c 2548 364387 14915 1 - 7.0000 -
2546.55/2553.40 c 2553 364822 14950 1 - 7.0000 -
2551.54/2558.46 c 2558 365244 15007 1 - 7.0000 -
2556.63/2563.55 c 2564 365694 15003 1 - 7.0000 -
2561.71/2568.64 c 2569 366214 15039 1 - 7.0000 -
2566.80/2573.77 c 2574 366735 15073 1 - 7.0000 -
2571.88/2578.84 c 2579 367201 15080 1 - 7.0000 -
2576.98/2583.90 c 2584 367675 15124 1 - 7.0000 -
2581.96/2588.96 c 2589 368139 15123 1 - 7.0000 -
2587.05/2594.03 c 2594 368594 15147 1 - 7.0000 -
2592.53/2599.52 c 2600 369121 15184 1 - 7.0000 -
2597.62/2604.66 c 2605 369602 15222 1 - 7.0000 -
2602.80/2609.85 c 2610 370064 15239 1 - 7.0000 -
2607.89/2614.96 c 2615 370511 15231 1 - 7.0000 -
2612.98/2620.02 c 2620 370980 15286 1 - 7.0000 -
2618.07/2625.11 c 2625 371455 15329 1 - 7.0000 -
2623.15/2630.22 c 2630 372031 15341 1 - 7.0000 -
2628.14/2635.29 c 2635 372498 15365 1 - 7.0000 -
2633.23/2640.35 c 2640 372994 15407 1 - 7.0000 -
2638.31/2645.49 c 2646 373514 15453 1 - 7.0000 -
2643.50/2650.60 c 2651 373930 15504 1 - 7.0000 -
2648.49/2655.66 c 2656 374460 15526 1 - 7.0000 -
2653.57/2660.74 c 2661 374997 15574 1 - 7.0000 -
2658.66/2665.85 c 2666 375443 15628 1 - 7.0000 -
2663.75/2670.95 c 2671 375908 15701 1 - 7.0000 -
2668.84/2676.00 c 2676 376409 15757 1 - 7.0000 -
2673.92/2681.16 c 2681 376888 15796 1 - 7.0000 -
2679.00/2686.24 c 2686 377298 15817 1 - 7.0000 -
2684.19/2691.41 c 2691 377510 15834 1 - 7.0000 -
2689.18/2696.47 c 2696 378004 15875 1 - 7.0000 -
2694.26/2701.54 c 2702 378534 15907 1 - 7.0000 -
2699.35/2706.64 c 2707 379079 15935 1 - 7.0000 -
2704.44/2711.72 c 2712 379529 16000 1 - 7.0000 -
2709.42/2716.79 c 2717 380001 16003 1 - 7.0000 -
2714.51/2721.83 c 2722 380458 16051 1 - 7.0000 -
2719.59/2726.93 c 2727 380922 16092 1 - 7.0000 -
2724.68/2732.02 c 2732 381375 16170 1 - 7.0000 -
2729.67/2737.06 c 2737 381897 16218 1 - 7.0000 -
2734.75/2742.17 c 2742 382416 16280 1 - 7.0000 -
2739.83/2747.23 c 2747 382863 16306 1 - 7.0000 -
2744.93/2752.37 c 2752 383305 16343 1 - 7.0000 -
2750.61/2758.01 c 2758 383841 16374 1 - 7.0000 -
2755.70/2763.11 c 2763 384345 16366 1 - 7.0000 -
2760.78/2768.21 c 2768 384958 16443 1 - 7.0000 -
2765.77/2773.26 c 2773 385519 16494 1 - 7.0000 -
2770.85/2778.32 c 2778 386030 16527 1 - 7.0000 -
2775.94/2783.40 c 2783 386612 16574 1 - 7.0000 -
2781.03/2788.50 c 2789 387060 16630 1 - 7.0000 -
2786.02/2793.57 c 2794 387656 16696 1 - 7.0000 -
2791.10/2798.63 c 2799 388234 16771 1 - 7.0000 -
2796.09/2803.67 c 2804 388865 16794 1 - 7.0000 -
2801.18/2808.74 c 2809 389427 16863 1 - 7.0000 -
2806.87/2814.42 c 2814 389907 16936 1 - 7.0000 -
2811.85/2819.49 c 2820 390451 16980 1 - 7.0000 -
2817.04/2824.61 c 2825 390946 17004 1 - 7.0000 -
2822.03/2829.67 c 2830 391489 17047 1 - 7.0000 -
2827.11/2834.78 c 2835 392036 17118 1 - 7.0000 -
2832.19/2839.82 c 2840 392513 17161 1 - 7.0000 -
2837.29/2844.90 c 2845 393044 17165 1 - 7.0000 -
2842.27/2849.98 c 2850 393482 17229 1 - 7.0000 -
2847.36/2855.07 c 2855 393969 17292 1 - 7.0000 -
2853.04/2860.71 c 2861 394465 17333 1 - 7.0000 -
2858.13/2865.80 c 2866 394969 17390 1 - 7.0000 -
2863.21/2870.97 c 2871 395525 17420 1 - 7.0000 -
2868.31/2876.04 c 2876 396007 17444 1 - 7.0000 -
2873.39/2881.12 c 2881 396540 17484 1 - 7.0000 -
2878.47/2886.20 c 2886 397014 17517 1 - 7.0000 -
2883.46/2891.27 c 2891 397463 17609 1 - 7.0000 -
2888.55/2896.34 c 2896 398037 17651 1 - 7.0000 -
2893.84/2901.60 c 2902 398444 17671 1 - 7.0000 -
2898.82/2906.68 c 2907 398923 17717 1 - 7.0000 -
2904.01/2911.80 c 2912 399420 17742 1 - 7.0000 -
2909.09/2916.90 c 2917 399896 17810 1 - 7.0000 -
2914.09/2921.98 c 2922 400307 17883 1 - 7.0000 -
2919.18/2927.08 c 2927 400856 17936 1 - 7.0000 -
2924.26/2932.15 c 2932 401285 17942 1 - 7.0000 -
2929.35/2937.22 c 2937 401811 17997 1 - 7.0000 -
2934.43/2942.31 c 2942 402334 18060 1 - 7.0000 -
2939.52/2947.42 c 2947 402819 18119 1 - 7.0000 -
2944.50/2952.47 c 2952 403311 18172 1 - 7.0000 -
2949.79/2957.78 c 2958 403719 18202 1 - 7.0000 -
2954.88/2962.83 c 2963 404260 18248 1 - 7.0000 -
2959.96/2967.91 c 2968 404714 18292 1 - 7.0000 -
2965.06/2973.08 c 2973 405166 18384 1 - 7.0000 -
2970.14/2978.14 c 2978 405631 18414 1 - 7.0000 -
2975.13/2983.19 c 2983 406146 18471 1 - 7.0000 -
2980.21/2988.28 c 2988 406628 18484 1 - 7.0000 -
2985.30/2993.35 c 2993 407082 18516 1 - 7.0000 -
2990.48/2998.50 c 2999 407587 18545 1 - 7.0000 -
2995.57/3003.60 c 3004 408064 18619 1 - 7.0000 -
3000.56/3008.67 c 3009 408614 18674 1 - 7.0000 -
3005.65/3013.74 c 3014 409110 18699 1 - 7.0000 -
3010.73/3018.83 c 3019 409545 18769 1 - 7.0000 -
3015.72/3023.88 c 3024 409978 18804 1 - 7.0000 -
3020.81/3028.94 c 3029 410539 18825 1 - 7.0000 -
3025.79/3033.99 c 3034 411196 18927 1 - 7.0000 -
3030.88/3039.04 c 3039 411767 19002 1 - 7.0000 -
3035.98/3044.11 c 3044 412214 19039 1 - 7.0000 -
3041.06/3049.21 c 3049 412729 19099 1 - 7.0000 -
3046.04/3054.27 c 3054 413280 19151 1 - 7.0000 -
3051.13/3059.36 c 3059 413795 19190 1 - 7.0000 -
3056.22/3064.45 c 3064 414348 19233 1 - 7.0000 -
3061.30/3069.58 c 3070 414742 19313 1 - 7.0000 -
3066.49/3074.71 c 3075 415147 19347 1 - 7.0000 -
3071.57/3079.80 c 3080 415707 19389 1 - 7.0000 -
3076.57/3084.88 c 3085 416283 19531 1 - 7.0000 -
3081.66/3089.94 c 3090 416831 19573 1 - 7.0000 -
3086.74/3095.04 c 3095 417367 19612 1 - 7.0000 -
3091.73/3100.10 c 3100 417846 19665 1 - 7.0000 -
3096.81/3105.18 c 3105 418455 19721 1 - 7.0000 -
3102.00/3110.30 c 3110 418944 19747 1 - 7.0000 -
3107.09/3115.40 c 3115 419351 19796 1 - 7.0000 -
3112.08/3120.47 c 3120 419787 19797 1 - 7.0000 -
3117.16/3125.53 c 3126 420290 19844 1 - 7.0000 -
3122.25/3130.60 c 3131 420842 19878 1 - 7.0000 -
3127.24/3135.65 c 3136 421289 19916 1 - 7.0000 -
3132.32/3140.75 c 3141 421779 19950 1 - 7.0000 -
3137.41/3145.86 c 3146 422265 19958 1 - 7.0000 -
3142.50/3150.93 c 3151 422761 19994 1 - 7.0000 -
3147.48/3155.98 c 3156 423297 20045 1 - 7.0000 -
3152.58/3161.07 c 3161 423767 20074 1 - 7.0000 -
3157.67/3166.14 c 3166 424296 20112 1 - 7.0000 -
3162.65/3171.19 c 3171 424771 20155 1 - 7.0000 -
3167.84/3176.36 c 3176 425229 20231 1 - 7.0000 -
3172.92/3181.41 c 3181 425723 20280 1 - 7.0000 -
3178.01/3186.52 c 3187 426193 20325 1 - 7.0000 -
3182.99/3191.58 c 3192 426714 20353 1 - 7.0000 -
3188.09/3196.66 c 3197 427148 20395 1 - 7.0000 -
3193.17/3201.76 c 3202 427565 20451 1 - 7.0000 -
3198.26/3206.82 c 3207 428106 20519 1 - 7.0000 -
3203.25/3211.89 c 3212 428608 20547 1 - 7.0000 -
3208.34/3216.98 c 3217 429088 20583 1 - 7.0000 -
3213.43/3222.03 c 3222 429612 20613 1 - 7.0000 -
3218.41/3227.09 c 3227 430041 20664 1 - 7.0000 -
3223.50/3232.17 c 3232 430551 20709 1 - 7.0000 -
3228.59/3237.23 c 3237 430966 20758 1 - 7.0000 -
3233.57/3242.29 c 3242 431440 20772 1 - 7.0000 -
3238.66/3247.38 c 3247 431948 20846 1 - 7.0000 -
3243.74/3252.48 c 3252 432398 20871 1 - 7.0000 -
3248.84/3257.55 c 3258 432857 20894 1 - 7.0000 -
3253.82/3262.59 c 3263 433405 20921 1 - 7.0000 -
3258.91/3267.67 c 3268 433891 20955 1 - 7.0000 -
3264.19/3272.98 c 3273 434320 20966 1 - 7.0000 -
3269.38/3278.12 c 3278 434900 21024 1 - 7.0000 -
3274.38/3283.18 c 3283 435398 21071 1 - 7.0000 -
3279.45/3288.26 c 3288 435899 21095 1 - 7.0000 -
3284.54/3293.37 c 3293 436396 21169 1 - 7.0000 -
3289.63/3298.42 c 3298 436813 21201 1 - 7.0000 -
3294.61/3303.49 c 3303 437387 21229 1 - 7.0000 -
3299.71/3308.55 c 3309 438177 21280 1 - 7.0000 -
3304.89/3313.73 c 3314 438685 21325 1 - 7.0000 -
3309.97/3318.88 c 3319 439206 21376 1 - 7.0000 -
3315.07/3323.94 c 3324 439768 21462 1 - 7.0000 -
3320.15/3329.02 c 3329 440366 21480 1 - 7.0000 -
3325.13/3334.07 c 3334 440894 21516 1 - 7.0000 -
3330.23/3339.13 c 3339 441347 21576 1 - 7.0000 -
3335.21/3344.18 c 3344 441941 21629 1 - 7.0000 -
3340.38/3349.33 c 3349 442493 21673 1 - 7.0000 -
3345.37/3354.37 c 3354 443056 21697 1 - 7.0000 -
3350.46/3359.44 c 3359 443558 21753 1 - 7.0000 -
3355.54/3364.58 c 3365 444086 21794 1 - 7.0000 -
3360.62/3369.68 c 3370 444598 21802 1 - 7.0000 -
3365.71/3374.72 c 3375 445118 21851 1 - 7.0000 -
3370.79/3379.82 c 3380 445569 21885 1 - 7.0000 -
3375.88/3384.90 c 3385 446093 21907 1 - 7.0000 -
3380.86/3389.97 c 3390 446588 21944 1 - 7.0000 -
3386.25/3395.31 c 3395 447068 21976 1 - 7.0000 -
3391.43/3400.51 c 3401 447400 22009 1 - 7.0000 -
3396.42/3405.59 c 3406 447844 22047 1 - 7.0000 -
3401.60/3410.74 c 3411 448377 22069 1 - 7.0000 -
3406.68/3415.85 c 3416 448866 22077 1 - 7.0000 -
3411.97/3421.16 c 3421 449347 22129 1 - 7.0000 -
3417.05/3426.21 c 3426 449882 22185 1 - 7.0000 -
3422.13/3431.31 c 3431 450459 22268 1 - 7.0000 -
3427.12/3436.36 c 3436 451430 22293 1 - 7.0000 -
3432.21/3441.42 c 3441 452447 22286 1 - 7.0000 -
3437.19/3446.48 c 3446 453338 22284 1 - 7.0000 -
3442.27/3451.53 c 3452 454274 22291 1 - 7.0000 -
3447.26/3456.58 c 3457 455236 22295 1 - 7.0000 -
3452.34/3461.63 c 3462 456311 22296 1 - 7.0000 -
3457.32/3466.68 c 3467 457257 22313 1 - 7.0000 -
3462.41/3471.73 c 3472 458323 22324 1 - 7.0000 -
3467.39/3476.79 c 3477 459429 22317 1 - 7.0000 -
3472.47/3481.83 c 3482 460505 22335 1 - 7.0000 -
3477.47/3486.88 c 3487 461709 22345 1 - 7.0000 -
3482.55/3491.93 c 3492 462879 22318 1 - 7.0000 -
3487.53/3496.98 c 3497 463915 22336 1 - 7.0000 -
3492.62/3502.04 c 3502 464876 22323 1 - 7.0000 -
3497.61/3507.09 c 3507 465907 22322 1 - 7.0000 -
3502.69/3512.14 c 3512 467016 22319 1 - 7.0000 -
3507.68/3517.19 c 3517 468150 22317 1 - 7.0000 -
3512.75/3522.24 c 3522 469132 22325 1 - 7.0000 -
3517.74/3527.29 c 3527 470302 22330 1 - 7.0000 -
3522.82/3532.34 c 3532 471543 22341 1 - 7.0000 -
3527.81/3537.39 c 3537 472626 22330 1 - 7.0000 -
3532.89/3542.45 c 3542 473702 22329 1 - 7.0000 -
3537.98/3547.50 c 3548 474823 22339 1 - 7.0000 -
3542.96/3552.56 c 3553 475841 22336 1 - 7.0000 -
3548.04/3557.62 c 3558 477038 22331 1 - 7.0000 -
3553.03/3562.68 c 3563 477937 22370 1 - 7.0000 -
3558.11/3567.74 c 3568 478855 22323 1 - 7.0000 -
3563.20/3572.80 c 3573 480036 22338 1 - 7.0000 -
3568.18/3577.85 c 3578 481149 22350 1 - 7.0000 -
3573.26/3582.90 c 3583 482040 22377 1 - 7.0000 -
3578.25/3587.95 c 3588 482968 22379 1 - 7.0000 -
3583.34/3593.00 c 3593 483971 22392 1 - 7.0000 -
3588.32/3598.06 c 3598 484974 22383 1 - 7.0000 -
3590.51/3600.26 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.51/3600.26 c Total Time : 3600.2700
3590.51/3600.26 c solving : 3600.2700
3590.51/3600.26 c presolving : 2.1352 (included in solving)
3590.51/3600.26 c B&B Tree :
3590.51/3600.26 c nodes (total) : 1
3590.51/3600.26 c Solution :
3590.51/3600.26 c Solutions found : 0
3590.51/3600.26 c Primal Bound : -
3590.51/3600.26 c Dual Bound : +7.00000000000000e+00
3590.51/3600.26 c Gap : -
3590.51/3600.28 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61833 MiB free)
memory of node 1: 64510 MiB (60350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434796-1721119077/watcher-4434796-1721119077 -o /tmp/evaluation-result-4434796-1721119077/solver-4434796-1721119077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874155 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434796-1721119077.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
Current StackSize limit: 8192 KiB
solver pid=874268, runsolver pid=874265
[startup+0.100769 s]*
/proc/loadavg: 2.44 3.34 3.83 5/260 874269
/proc/meminfo: memFree=125058624/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=55564 memory=44724 CPUtime=0.09 cores=1,3
/proc/874268/stat : 874268 (fscip) R 874265 874268 874143 0 -1 4194304 10078 0 0 0 8 1 0 0 20 0 1 0 164069555 56897536 11181 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 13891 11181 2734 3032 0 10291 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55564 KiB
Current children cumulated memory: 44724 KiB
[startup+0.205595 s]*
/proc/loadavg: 2.44 3.34 3.83 5/260 874269
/proc/meminfo: memFree=125038992/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=80056 memory=60236 CPUtime=0.19 cores=1,3
/proc/874268/stat : 874268 (fscip) R 874265 874268 874143 0 -1 4194304 13974 0 0 0 17 2 0 0 20 0 1 0 164069555 81977344 15059 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 20014 15059 2782 3032 0 16414 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80056 KiB
Current children cumulated memory: 60236 KiB
[startup+0.305554 s]*
/proc/loadavg: 2.44 3.34 3.83 5/260 874269
/proc/meminfo: memFree=125025424/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=82076 memory=62348 CPUtime=0.29 cores=1,3
/proc/874268/stat : 874268 (fscip) R 874265 874268 874143 0 -1 4194304 14513 0 0 0 27 2 0 0 20 0 1 0 164069555 84045824 15587 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 20519 15587 2782 3032 0 16919 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82076 KiB
Current children cumulated memory: 62348 KiB
[startup+0.700206 s]
/proc/loadavg: 2.44 3.34 3.83 5/260 874269
/proc/meminfo: memFree=125022400/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=86112 memory=66044 CPUtime=0.68 cores=1,3
/proc/874268/stat : 874268 (fscip) R 874265 874268 874143 0 -1 4194304 15415 0 0 0 66 2 0 0 20 0 1 0 164069555 88178688 16511 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 21528 16511 2782 3032 0 17928 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86112 KiB
Current children cumulated memory: 66044 KiB
[startup+1.50024 s]
/proc/loadavg: 2.44 3.34 3.83 5/262 874271
/proc/meminfo: memFree=124902744/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=116672 memory=96932 CPUtime=1.48 cores=1,3
/proc/874268/stat : 874268 (fscip) R 874265 874268 874143 0 -1 4194304 23129 0 0 0 145 3 0 0 20 0 1 0 164069555 119472128 24233 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 29168 24233 2782 3032 0 25568 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116672 KiB
Current children cumulated memory: 96932 KiB
[startup+3.10576 s]
/proc/loadavg: 2.57 3.35 3.83 5/264 874275
/proc/meminfo: memFree=124709376/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=219864 memory=174840 CPUtime=3.08 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 42549 0 0 0 301 7 0 0 20 0 3 0 164069555 225140736 43710 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 54966 43710 2894 3032 0 50106 0
[pid=874268/tid=874272] ppid=874265 vsize=219864 memory=157160 CPUtime=0.9 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 14208 0 0 0 88 2 0 0 20 0 3 0 164069772 225140736 43710 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=219864 memory=0 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164069774 225140736 43710 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 219864 KiB
Current children cumulated memory: 174840 KiB
[startup+6.30025 s]
/proc/loadavg: 2.57 3.35 3.83 5/264 874275
/proc/meminfo: memFree=124615640/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=285400 memory=237228 CPUtime=6.26 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 84670 0 0 0 615 11 0 0 20 0 3 0 164069555 292249600 59307 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 71350 59307 2910 3032 0 67664 0
[pid=874268/tid=874272] ppid=874265 vsize=285400 memory=0 CPUtime=4.08 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 56296 0 0 0 402 6 0 0 20 0 3 0 164069772 292249600 59307 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=285400 memory=97988 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 164069774 292249600 59307 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 285400 KiB
Current children cumulated memory: 237228 KiB
[startup+12.7003 s]
/proc/loadavg: 2.68 3.36 3.83 5/264 874275
/proc/meminfo: memFree=124557384/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=350936 memory=269208 CPUtime=12.64 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 139656 0 0 0 1248 16 0 0 20 0 3 0 164069555 359358464 67302 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 87734 67302 2910 3032 0 75056 0
[pid=874268/tid=874272] ppid=874265 vsize=350936 memory=0 CPUtime=10.46 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 111253 0 0 0 1035 11 0 0 20 0 3 0 164069772 359358464 67302 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=350936 memory=255296 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 164069774 359358464 67302 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 350936 KiB
Current children cumulated memory: 269208 KiB
[startup+25.5003 s]
/proc/loadavg: 2.97 3.39 3.83 5/264 874278
/proc/meminfo: memFree=124531484/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=351068 memory=274928 CPUtime=25.4 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 166863 0 0 0 2521 19 0 0 20 0 3 0 164069555 359493632 68732 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 87767 68732 2958 3032 0 75089 0
[pid=874268/tid=874272] ppid=874265 vsize=351068 memory=0 CPUtime=23.22 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 138436 0 0 0 2308 14 0 0 20 0 3 0 164069772 359493632 68732 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=351068 memory=6720665454312178032 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 164069774 359493632 68732 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 351068 KiB
Current children cumulated memory: 274928 KiB
[startup+51.1056 s]
/proc/loadavg: 3.52 3.49 3.86 5/263 874281
/proc/meminfo: memFree=124475592/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=351068 memory=275248 CPUtime=50.93 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 217619 0 0 0 5070 23 0 0 20 0 3 0 164069555 359493632 68812 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 87767 68812 2958 3032 0 75089 0
[pid=874268/tid=874272] ppid=874265 vsize=351068 memory=6720665454312178032 CPUtime=48.76 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 189156 0 0 0 4858 18 0 0 20 0 3 0 164069772 359493632 68812 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=351068 memory=6720665454312178032 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 164069774 359493632 68812 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 351068 KiB
Current children cumulated memory: 275248 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 3.60 3.88 5/263 874289
/proc/meminfo: memFree=124406956/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=416604 memory=316016 CPUtime=101.99 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 293017 0 0 0 10168 31 0 0 20 0 3 0 164069555 426602496 79004 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 104151 79004 2958 3032 0 87368 0
[pid=874268/tid=874272] ppid=874265 vsize=416604 memory=298556 CPUtime=99.81 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 264487 0 0 0 9955 26 0 0 20 0 3 0 164069772 426602496 79004 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=416604 memory=43136 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 164069774 426602496 79004 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 416604 KiB
Current children cumulated memory: 316016 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.71 3.90 5/265 874304
/proc/meminfo: memFree=124396472/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=416604 memory=316040 CPUtime=161.8 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 344476 0 0 0 16144 36 0 0 20 0 3 0 164069555 426602496 79010 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 104151 79010 2958 3032 0 87368 0
[pid=874268/tid=874272] ppid=874265 vsize=416604 memory=2320 CPUtime=159.62 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 315909 0 0 0 15931 31 0 0 20 0 3 0 164069772 426602496 79010 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=416604 memory=316024 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 164069774 426602496 79010 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 416604 KiB
Current children cumulated memory: 316040 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.78 3.91 5/265 874314
/proc/meminfo: memFree=124364600/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=416604 memory=316044 CPUtime=221.6 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 382051 0 0 0 22119 41 0 0 20 0 3 0 164069555 426602496 79011 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 104151 79011 2958 3032 0 87368 0
[pid=874268/tid=874272] ppid=874265 vsize=416604 memory=316040 CPUtime=219.41 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 353459 0 0 0 21905 36 0 0 20 0 3 0 164069772 426602496 79011 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=416604 memory=316040 CPUtime=0 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 164069774 426602496 79011 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 416604 KiB
Current children cumulated memory: 316044 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.84 3.92 5/265 874324
/proc/meminfo: memFree=124326508/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=416604 memory=316324 CPUtime=281.4 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 407400 0 0 0 28094 46 0 0 20 0 3 0 164069555 426602496 79081 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
################
# More data... #
################
/proc/874268/statm: 171419 152046 3278 3032 0 155335 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=11544 CPUtime=3390.81 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 897631 0 0 0 338869 212 0 0 20 0 3 0 164069772 702132224 152046 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=608184 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 152046 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 608184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 876129
/proc/meminfo: memFree=123227012/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=634256 CPUtime=3453.04 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 937798 0 0 0 345075 229 0 0 20 0 3 0 164069555 702132224 158564 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158564 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=11544 CPUtime=3450.62 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 908083 0 0 0 344847 215 0 0 20 0 3 0 164069772 702132224 158564 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=634256 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158564 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 634256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/262 876139
/proc/meminfo: memFree=123204164/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635668 CPUtime=3512.85 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 940183 0 0 0 351051 234 0 0 20 0 3 0 164069555 702132224 158917 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158917 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=1812 CPUtime=3510.43 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 910448 0 0 0 350823 220 0 0 20 0 3 0 164069772 702132224 158917 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=635668 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158917 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 876150
/proc/meminfo: memFree=123203704/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3572.66 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 941842 0 0 0 357029 237 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=635716 CPUtime=3570.24 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 912087 0 0 0 356801 223 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=635716 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
[startup+3600.29 s]
# the end of solver process 874268 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.21 s, system=2.39455 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/262 876152
/proc/meminfo: memFree=123203612/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3574.36 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 941846 0 0 0 357199 237 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=-6730181486179433323 CPUtime=3571.94 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 912091 0 0 0 356971 223 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=-9044459746194447340 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3574.36 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 876152
/proc/meminfo: memFree=123203448/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3580.75 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 942205 0 0 0 357837 238 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=11544 CPUtime=3578.31 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 912442 0 0 0 357608 223 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=43136 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3580.75 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 876154
/proc/meminfo: memFree=123199940/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3587.12 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 942347 0 0 0 358474 238 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=13196 CPUtime=3584.7 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 912576 0 0 0 358246 224 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=635716 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
[startup+3598.4 s]
/proc/loadavg: 4.15 4.12 4.09 4/246 876221
/proc/meminfo: memFree=124389464/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3588.71 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 942355 0 0 0 358633 238 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=26116 CPUtime=3586.29 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 912584 0 0 0 358405 224 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=11544 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3588.71 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 876248
/proc/meminfo: memFree=123773360/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3589.51 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 942362 0 0 0 358713 238 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=43136 CPUtime=3587.09 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 912591 0 0 0 358485 224 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=13196 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3589.51 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.12 4.09 5/260 876248
/proc/meminfo: memFree=123636380/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3590.32 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 942473 0 0 0 358794 238 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=3740 CPUtime=3587.89 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 912723 0 0 0 358565 224 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=27700 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3590.32 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
[startup+3600.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 876248
/proc/meminfo: memFree=123636380/131524600 swapFree=131071996/131071996
[pid=874268] ppid=874265 vsize=685676 memory=635716 CPUtime=3590.51 cores=1,3
/proc/874268/stat : 874268 (fscip) S 874265 874268 874143 0 -1 1077936128 945752 0 0 0 358813 238 0 0 20 0 3 0 164069555 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
/proc/874268/statm: 171419 158929 3278 3032 0 162293 0
[pid=874268/tid=874272] ppid=874265 vsize=685676 memory=20872 CPUtime=3588.09 cores=1,3
/proc/874268/task/874272/stat : 874272 (fscip) R 874265 874268 874143 0 -1 4194368 915978 0 0 0 358585 224 0 0 20 0 3 0 164069772 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
[pid=874268/tid=874273] ppid=874265 vsize=685676 memory=28076 CPUtime=0.03 cores=1,3
/proc/874268/task/874273/stat : 874273 (fscip) S 874265 874268 874143 0 -1 1077936192 152 0 0 0 1 2 0 0 20 0 3 0 164069774 702132224 158929 134679101440 4194304 16613245 140724218371808 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 38600704 140724218377237 140724218377353 140724218377353 140724218384368 0
Current children cumulated CPU time: 3590.51 s
Current children cumulated vsize: 685676 KiB
Current children cumulated memory: 635716 KiB
Child status: 0
Real time (s): 3600.29
CPU time (s): 3590.61
CPU user time (s): 3588.21
CPU system time (s): 2.39455
CPU usage (%): 99.7311
Max. virtual memory (cumulated for all children) (KiB): 685676
Max. memory (cumulated for all children) (KiB): 635716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.21
system time used= 2.39455
maximum resident set size= 635716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946829
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= 10764
involuntary context switches= 2527
# summary of solver processes directly reported to runsolver:
# pid: 874268
# total CPU time (s): 3590.61
# total CPU user time (s): 3588.21
# total CPU system time (s): 2.39455
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84696 second user time and 17.052 second system time
The end
Begin job on nodeC017 at 2024-07-16 10:38:09
IDJOB=4434796
IDBENCH=148775
IDSOLVER=3064
FILE ID=nodeC017/4434796-1721119077
RUNJOBID= nodeC017-1721119087-874155
SLURM_JOB_ID= 7505668
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.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-4434796-1721119077/watcher-4434796-1721119077 -o /tmp/evaluation-result-4434796-1721119077/solver-4434796-1721119077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721119087-874155 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434796-1721119077.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1172576526
nodeC017.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 : 3600.408
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.46
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 : 3677.484
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 : 7006.99
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 : 3674.646
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.46
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 : 3669.384
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 : 7006.99
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 : 3674.670
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.46
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 : 3675.927
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 : 7006.99
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.979
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.46
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.903
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 : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125116968 kB
MemAvailable: 129370696 kB
Buffers: 403896 kB
Cached: 4644096 kB
SwapCached: 0 kB
Active: 921552 kB
Inactive: 4800664 kB
Active(anon): 1544 kB
Inactive(anon): 710376 kB
Active(file): 920008 kB
Inactive(file): 4090288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114684 kB
Writeback: 56 kB
AnonPages: 674236 kB
Mapped: 138804 kB
Shmem: 37720 kB
KReclaimable: 166160 kB
Slab: 279748 kB
SReclaimable: 166160 kB
SUnreclaim: 113588 kB
KernelStack: 4144 kB
PageTables: 10628 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 993384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 215764 kB
DirectMap2M: 24723456 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC017 at 2024-07-16 11:38:10