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.00/0.11 c Default LC presolving (default).
0.00/0.11 c ** Before presolving: virtualMemUsedAtLc = 52064256, getVmSize() = 52064256, SCIPgetMemUsed() = 25715312, SCIPgetMemTotal() = 29315416, SCIPgetMemExternEstim() = 16862795
0.00/0.11 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.51/0.54 c ** Estimated virtualMemUsedAtSolver = 65750484, getVmSize() = 106524672, SCIPgetMemUsed() = 58614827, SCIPgetMemTotal() = 81762931, SCIPgetMemExternEstim() = 16862795
0.51/0.54 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.51/0.54 c Original Problem :
0.51/0.54 c Problem name : instance-4464568-1722385818
0.51/0.54 c Variables : 5421 (5421 binary, 0 integer, 0 implicit integer, 0 continuous)
0.51/0.54 c Constraints : 12679
0.51/0.54 c Objective sense : minimize
0.51/0.54 c Presolved Problem :
0.51/0.54 c Variables : 5398 (5398 binary, 0 integer, 0 implicit integer, 0 continuous)
0.51/0.54 c Constraints : 7803
0.51/0.54 c Constraints : Number
0.51/0.54 c setppc : 7802
0.51/0.54 c orbitope : 1
0.51/0.54 c ** Instance transfer method used: 0
0.51/0.58 c ** ParaScipInstance copy increased the number of variables. **
0.60/0.61 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.60/0.61 c Nodes Active
0.60/0.61 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
9.33/9.43 c 9 2 1 1 - 0.0000 -
14.72/14.84 c 15 42 41 1 - 0.0000 -
19.80/19.98 c 20 241 158 1 - 0.0000 -
25.09/25.27 c 25 485 267 1 - 0.0000 -
30.17/30.32 c 30 680 402 1 - 0.0000 -
35.65/35.84 c 36 853 491 1 - 0.0000 -
41.03/41.28 c 41 1038 549 1 - 0.0000 -
46.43/46.68 c 47 1169 564 1 - 0.0000 -
51.71/51.98 c 52 1334 585 1 - 0.0000 -
56.80/57.02 c 57 1533 608 1 - 0.0000 -
62.17/62.48 c 62 1726 686 1 - 0.0000 -
67.77/68.06 c 68 1924 722 1 - 0.0000 -
72.85/73.16 c 73 2131 802 1 - 0.0000 -
78.13/78.43 c 78 2362 884 1 - 0.0000 -
83.31/83.60 c 84 2673 980 1 - 0.0000 -
88.40/88.79 c 89 2889 1025 1 - 0.0000 -
93.59/93.91 c 94 3155 1080 1 - 0.0000 -
98.57/98.96 c 99 3392 1130 1 - 0.0000 -
104.05/104.42 c 104 3576 1182 1 - 0.0000 -
109.14/109.59 c 110 3724 1210 1 - 0.0000 -
114.42/114.81 c 115 3959 1306 1 - 0.0000 -
119.51/119.94 c 120 4180 1343 1 - 0.0000 -
124.80/125.21 c 125 4466 1372 1 - 0.0000 -
129.88/130.37 c 130 4720 1406 1 - 0.0000 -
135.07/135.58 c 136 4994 1452 1 - 0.0000 -
140.26/140.75 c 141 5220 1528 1 - 0.0000 -
145.34/145.87 c 146 5485 1579 1 - 0.0000 -
151.03/151.53 c 152 5658 1616 1 - 0.0000 -
156.11/156.65 c 157 5954 1694 1 - 0.0000 -
161.39/161.96 c 162 6230 1759 1 - 0.0000 -
166.68/167.28 c 167 6480 1802 1 - 0.0000 -
172.07/172.60 c 173 6807 1860 1 - 0.0000 -
177.15/177.75 c 178 7092 1955 1 - 0.0000 -
182.24/182.81 c 183 7404 1954 1 - 0.0000 -
187.53/188.19 c 188 7623 1999 1 - 0.0000 -
192.61/193.27 c 193 7916 2062 1 - 0.0000 -
197.70/198.33 c 198 8241 2104 1 - 0.0000 -
202.78/203.47 c 203 8531 2157 1 - 0.0000 -
207.87/208.56 c 209 8887 2198 1 - 0.0000 -
213.05/213.78 c 214 9232 2260 1 - 0.0000 -
218.45/219.11 c 219 9510 2352 1 - 0.0000 -
223.82/224.53 c 225 9770 2395 1 - 0.0000 -
228.91/229.64 c 230 9976 2443 1 - 0.0000 -
233.89/234.68 c 235 10253 2498 1 - 0.0000 -
238.97/239.76 c 240 10598 2596 1 - 0.0000 -
244.06/244.80 c 245 11020 2650 1 - 0.0000 -
249.15/249.94 c 250 11359 2723 1 - 0.0000 -
254.35/255.11 c 255 11644 2794 1 - 0.0000 -
259.33/260.17 c 260 12021 2807 1 - 0.0000 -
264.40/265.25 c 265 12435 2852 1 - 0.0000 -
269.69/270.58 c 271 12777 2891 1 - 0.0000 -
274.87/275.73 c 276 13175 2998 1 - 0.0000 -
280.17/281.05 c 281 13588 3038 1 - 0.0000 -
285.35/286.29 c 286 13897 3133 1 - 0.0000 -
290.73/291.62 c 292 14214 3166 1 - 0.0000 -
295.81/296.74 c 297 14568 3199 1 - 0.0000 -
301.00/301.92 c 302 15010 3327 1 - 0.0000 -
306.08/307.02 c 307 15464 3376 1 - 0.0000 -
311.07/312.11 c 312 15867 3459 1 - 0.0000 -
316.15/317.16 c 317 16282 3517 1 - 0.0000 -
321.32/322.30 c 322 16667 3580 1 - 0.0000 -
326.41/327.40 c 327 17094 3657 1 - 0.0000 -
331.50/332.57 c 333 17524 3694 1 - 0.0000 -
336.58/337.65 c 338 17979 3765 1 - 0.0000 -
341.67/342.78 c 343 18385 3844 1 - 0.0000 -
346.86/347.92 c 348 18775 3930 1 - 0.0000 -
351.84/352.97 c 353 19283 4012 1 - 0.0000 -
356.94/358.02 c 358 19751 4105 1 - 0.0000 -
362.11/363.25 c 363 20133 4160 1 - 0.0000 -
369.01/370.14 c 370 20544 4224 1 - 0.0000 -
374.08/375.24 c 375 20973 4331 1 - 0.0000 -
379.26/380.40 c 380 21377 4397 1 - 0.0000 -
384.35/385.52 c 386 21792 4494 1 - 0.0000 -
389.43/390.67 c 391 22245 4573 1 - 0.0000 -
394.52/395.75 c 396 22694 4639 1 - 0.0000 -
399.61/400.80 c 401 23155 4666 1 - 0.0000 -
404.59/405.88 c 406 23601 4759 1 - 0.0000 -
409.68/410.98 c 411 23974 4799 1 - 0.0000 -
414.78/416.03 c 416 24359 4906 1 - 0.0000 -
419.86/421.13 c 421 24788 5014 1 - 0.0000 -
425.04/426.31 c 426 25215 5109 1 - 0.0000 -
430.12/431.46 c 431 25600 5192 1 - 0.0000 -
435.31/436.60 c 437 25946 5276 1 - 0.0000 -
440.29/441.68 c 442 26487 5391 1 - 0.0000 -
445.58/446.95 c 447 26857 5502 1 - 0.0000 -
450.67/452.01 c 452 27339 5564 1 - 0.0000 -
455.76/457.13 c 457 27768 5652 1 - 0.0000 -
460.83/462.25 c 462 28180 5726 1 - 0.0000 -
466.12/467.55 c 468 28697 5798 1 - 0.0000 -
471.20/472.68 c 473 29076 5855 1 - 0.0000 -
476.29/477.79 c 478 29546 5941 1 - 0.0000 -
481.47/482.95 c 483 29926 5983 1 - 0.0000 -
486.96/488.48 c 488 30309 6065 1 - 0.0000 -
492.14/493.60 c 494 30779 6128 1 - 0.0000 -
497.13/498.66 c 499 31247 6203 1 - 0.0000 -
502.22/503.77 c 504 31712 6307 1 - 0.0000 -
507.51/509.04 c 509 32233 6387 1 - 0.0000 -
512.59/514.14 c 514 32711 6488 1 - 0.0000 -
517.76/519.35 c 519 33112 6587 1 - 0.0000 -
523.15/524.77 c 525 33542 6694 1 - 0.0000 -
528.33/530.01 c 530 34067 6739 1 - 0.0000 -
533.43/535.06 c 535 34521 6783 1 - 0.0000 -
538.90/540.57 c 541 34948 6841 1 - 0.0000 -
544.20/545.84 c 546 35347 6900 1 - 0.0000 -
549.39/551.06 c 551 35736 6969 1 - 0.0000 -
554.48/556.15 c 556 36185 7014 1 - 0.0000 -
559.66/561.35 c 561 36593 7106 1 - 0.0000 -
565.04/566.70 c 567 37012 7171 1 - 0.0000 -
570.03/571.79 c 572 37504 7241 1 - 0.0000 -
575.21/576.93 c 577 37995 7292 1 - 0.0000 -
580.31/582.09 c 582 38442 7391 1 - 0.0000 -
585.39/587.15 c 587 38908 7458 1 - 0.0000 -
590.66/592.44 c 592 39397 7539 1 - 0.0000 -
596.15/597.90 c 598 39800 7665 1 - 0.0000 -
601.54/603.33 c 603 40123 7767 1 - 0.0000 -
606.92/608.80 c 609 40494 7823 1 - 0.0000 -
612.10/614.01 c 614 40923 7914 1 - 0.0000 -
617.30/619.17 c 619 41433 7988 1 - 0.0000 -
622.37/624.26 c 624 41862 8056 1 - 0.0000 -
627.55/629.42 c 629 42391 8118 1 - 0.0000 -
632.84/634.79 c 635 42716 8181 1 - 0.0000 -
638.02/639.98 c 640 42940 8214 1 - 0.0000 -
643.40/645.31 c 645 43411 8276 1 - 0.0000 -
648.39/650.38 c 650 43888 8322 1 - 0.0000 -
653.47/655.42 c 655 44400 8378 1 - 0.0000 -
658.56/660.51 c 661 44830 8435 1 - 0.0000 -
663.54/665.59 c 666 45322 8551 1 - 0.0000 -
668.63/670.66 c 671 45795 8629 1 - 0.0000 -
674.02/676.07 c 676 46253 8704 1 - 0.0000 -
679.11/681.18 c 681 46626 8720 1 - 0.0000 -
684.28/686.32 c 686 47064 8837 1 - 0.0000 -
689.37/691.48 c 691 47459 8898 1 - 0.0000 -
694.65/696.70 c 697 47903 8947 1 - 0.0000 -
699.64/701.78 c 702 48432 8998 1 - 0.0000 -
704.72/706.85 c 707 48836 9100 1 - 0.0000 -
709.91/712.05 c 712 49294 9153 1 - 0.0000 -
715.00/717.14 c 717 49760 9219 1 - 0.0000 -
720.07/722.23 c 722 50265 9360 1 - 0.0000 -
725.25/727.47 c 727 50745 9408 1 - 0.0000 -
730.74/732.96 c 733 51079 9456 1 - 0.0000 -
735.83/738.09 c 738 51487 9511 1 - 0.0000 -
740.91/743.16 c 743 51970 9597 1 - 0.0000 -
746.08/748.35 c 748 52443 9654 1 - 0.0000 -
751.17/753.44 c 753 52881 9730 1 - 0.0000 -
756.25/758.58 c 759 53250 9793 1 - 0.0000 -
761.34/763.66 c 764 53758 9857 1 - 0.0000 -
766.74/769.05 c 769 54158 9946 1 - 0.0000 -
771.72/774.09 c 774 54655 10006 1 - 0.0000 -
777.19/779.56 c 780 55100 10080 1 - 0.0000 -
782.27/784.63 c 785 55602 10165 1 - 0.0000 -
787.25/789.69 c 790 56026 10234 1 - 0.0000 -
792.33/794.75 c 795 56575 10325 1 - 0.0000 -
797.42/799.88 c 800 56938 10372 1 - 0.0000 -
802.50/804.93 c 805 57429 10420 1 - 0.0000 -
807.48/809.99 c 810 57878 10480 1 - 0.0000 -
812.58/815.09 c 815 58307 10520 1 - 0.0000 -
817.75/820.23 c 820 58759 10554 1 - 0.0000 -
822.93/825.40 c 825 59282 10608 1 - 0.0000 -
827.91/830.48 c 830 59694 10667 1 - 0.0000 -
833.09/835.69 c 836 60075 10751 1 - 0.0000 -
838.27/840.81 c 841 60518 10809 1 - 0.0000 -
843.65/846.26 c 846 60955 10836 1 - 0.0000 -
848.74/851.39 c 851 61256 10880 1 - 0.0000 -
853.91/856.50 c 857 61686 10920 1 - 0.0000 -
859.29/861.94 c 862 62089 10991 1 - 0.0000 -
864.58/867.23 c 867 62518 11074 1 - 0.0000 -
869.56/872.28 c 872 62939 11175 1 - 0.0000 -
874.74/877.41 c 877 63427 11237 1 - 0.0000 -
879.72/882.45 c 882 63876 11315 1 - 0.0000 -
884.81/887.57 c 888 64322 11423 1 - 0.0000 -
889.89/892.64 c 893 64910 11504 1 - 0.0000 -
894.96/897.70 c 898 65402 11644 1 - 0.0000 -
899.95/902.75 c 903 65998 11704 1 - 0.0000 -
905.13/907.91 c 908 66481 11814 1 - 0.0000 -
910.33/913.13 c 913 66824 11887 1 - 0.0000 -
915.59/918.48 c 918 67176 11992 1 - 0.0000 -
920.68/923.56 c 924 67789 12034 1 - 0.0000 -
925.86/928.73 c 929 68202 12125 1 - 0.0000 -
931.15/934.03 c 934 68721 12154 1 - 0.0000 -
936.14/939.08 c 939 69191 12202 1 - 0.0000 -
941.21/944.18 c 944 69619 12247 1 - 0.0000 -
946.39/949.39 c 949 69906 12313 1 - 0.0000 -
951.56/954.57 c 955 70232 12366 1 - 0.0000 -
956.95/959.96 c 960 70674 12447 1 - 0.0000 -
962.33/965.32 c 965 71108 12529 1 - 0.0000 -
967.31/970.38 c 970 71561 12596 1 - 0.0000 -
972.39/975.44 c 975 72012 12659 1 - 0.0000 -
977.47/980.54 c 981 72465 12704 1 - 0.0000 -
982.46/985.60 c 986 72916 12751 1 - 0.0000 -
987.53/990.66 c 991 73288 12836 1 - 0.0000 -
992.72/995.81 c 996 73724 12919 1 - 0.0000 -
997.70/1000.90 c 1001 74122 12992 1 - 0.0000 -
1002.78/1005.96 c 1006 74545 13027 1 - 0.0000 -
1008.07/1011.22 c 1011 74927 13085 1 - 0.0000 -
1013.24/1016.40 c 1016 75239 13140 1 - 0.0000 -
1018.32/1021.57 c 1022 75465 13220 1 - 0.0000 -
1023.61/1026.81 c 1027 75788 13346 1 - 0.0000 -
1028.80/1032.05 c 1032 76115 13422 1 - 0.0000 -
1034.07/1037.33 c 1037 76514 13510 1 - 0.0000 -
1039.16/1042.47 c 1042 76847 13606 1 - 0.0000 -
1044.33/1047.62 c 1048 77182 13685 1 - 0.0000 -
1049.73/1053.11 c 1053 77481 13757 1 - 0.0000 -
1054.89/1058.24 c 1058 77844 13811 1 - 0.0000 -
1059.88/1063.29 c 1063 78208 13899 1 - 0.0000 -
1064.97/1068.34 c 1068 78643 13954 1 - 0.0000 -
1070.25/1073.61 c 1074 79087 14069 1 - 0.0000 -
1075.53/1079.01 c 1079 79343 14092 1 - 0.0000 -
1080.72/1084.15 c 1084 79642 14163 1 - 0.0000 -
1085.80/1089.23 c 1089 80011 14166 1 - 0.0000 -
1090.98/1094.47 c 1094 80441 14232 1 - 0.0000 -
1096.16/1099.64 c 1100 80853 14255 1 - 0.0000 -
1101.26/1104.73 c 1105 81265 14333 1 - 0.0000 -
1106.44/1109.99 c 1110 81654 14390 1 - 0.0000 -
1111.72/1115.25 c 1115 81962 14452 1 - 0.0000 -
1116.80/1120.30 c 1120 82249 14532 1 - 0.0000 -
1121.78/1125.36 c 1125 82605 14590 1 - 0.0000 -
1126.96/1130.50 c 1130 83008 14633 1 - 0.0000 -
1132.14/1135.71 c 1136 83466 14708 1 - 0.0000 -
1137.32/1141.01 c 1141 83897 14764 1 - 0.0000 -
1142.60/1146.22 c 1146 84244 14795 1 - 0.0000 -
1147.68/1151.30 c 1151 84626 14850 1 - 0.0000 -
1152.77/1156.41 c 1156 85020 14897 1 - 0.0000 -
1157.85/1161.51 c 1162 85412 14944 1 - 0.0000 -
1162.82/1166.56 c 1167 85864 14991 1 - 0.0000 -
1167.91/1171.63 c 1172 86300 15077 1 - 0.0000 -
1172.89/1176.68 c 1177 86767 15105 1 - 0.0000 -
1178.17/1181.99 c 1182 87134 15156 1 - 0.0000 -
1183.66/1187.48 c 1187 87562 15246 1 - 0.0000 -
1188.73/1192.53 c 1193 87894 15301 1 - 0.0000 -
1193.81/1197.67 c 1198 88321 15363 1 - 0.0000 -
1198.90/1202.77 c 1203 88712 15440 1 - 0.0000 -
1204.08/1208.01 c 1208 89086 15462 1 - 0.0000 -
1209.28/1213.11 c 1213 89488 15536 1 - 0.0000 -
1214.25/1218.17 c 1218 89939 15613 1 - 0.0000 -
1219.33/1223.24 c 1223 90293 15668 1 - 0.0000 -
1224.51/1228.43 c 1228 90749 15748 1 - 0.0000 -
1229.49/1233.49 c 1233 91118 15844 1 - 0.0000 -
1234.86/1238.85 c 1239 91502 15898 1 - 0.0000 -
1240.65/1244.63 c 1245 91913 15960 1 - 0.0000 -
1245.73/1249.73 c 1250 92313 16000 1 - 0.0000 -
1250.71/1254.79 c 1255 92695 16090 1 - 0.0000 -
1255.89/1259.91 c 1260 93145 16197 1 - 0.0000 -
1260.99/1265.05 c 1265 93617 16228 1 - 0.0000 -
1266.25/1270.34 c 1270 94037 16326 1 - 0.0000 -
1271.24/1275.38 c 1275 94461 16383 1 - 0.0000 -
1276.62/1280.78 c 1281 94769 16508 1 - 0.0000 -
1281.80/1285.99 c 1286 95140 16610 1 - 0.0000 -
1287.08/1291.25 c 1291 95463 16696 1 - 0.0000 -
1292.27/1296.48 c 1296 95883 16779 1 - 0.0000 -
1297.55/1301.78 c 1302 96195 16826 1 - 0.0000 -
1302.94/1307.12 c 1307 96467 16855 1 - 0.0000 -
1307.93/1312.17 c 1312 96848 16880 1 - 0.0000 -
1313.10/1317.31 c 1317 97291 16983 1 - 0.0000 -
1318.19/1322.45 c 1322 97712 17006 1 - 0.0000 -
1323.37/1327.62 c 1328 98031 17030 1 - 0.0000 -
1328.46/1332.72 c 1333 98531 17069 1 - 0.0000 -
1333.55/1337.85 c 1338 98901 17152 1 - 0.0000 -
1338.85/1343.11 c 1343 99280 17219 1 - 0.0000 -
1343.92/1348.22 c 1348 99715 17291 1 - 0.0000 -
1349.00/1353.36 c 1353 100077 17391 1 - 0.0000 -
1354.19/1358.50 c 1359 100484 17469 1 - 0.0000 -
1359.27/1363.64 c 1364 100892 17517 1 - 0.0000 -
1364.46/1368.84 c 1369 101325 17582 1 - 0.0000 -
1369.76/1374.16 c 1374 101745 17638 1 - 0.0000 -
1374.84/1379.21 c 1379 102222 17683 1 - 0.0000 -
1379.82/1384.27 c 1384 102682 17710 1 - 0.0000 -
1385.01/1389.40 c 1389 102997 17781 1 - 0.0000 -
1390.09/1394.52 c 1395 103458 17835 1 - 0.0000 -
1395.17/1399.65 c 1400 103914 17923 1 - 0.0000 -
1400.45/1404.94 c 1405 104340 17989 1 - 0.0000 -
1405.66/1410.13 c 1410 104644 18049 1 - 0.0000 -
1410.73/1415.23 c 1415 105097 18112 1 - 0.0000 -
1415.81/1420.35 c 1420 105553 18158 1 - 0.0000 -
1420.90/1425.45 c 1425 106019 18210 1 - 0.0000 -
1426.19/1430.73 c 1431 106419 18248 1 - 0.0000 -
1431.37/1435.98 c 1436 106679 18332 1 - 0.0000 -
1436.75/1441.33 c 1441 107035 18412 1 - 0.0000 -
1441.83/1446.46 c 1446 107553 18489 1 - 0.0000 -
1446.91/1451.51 c 1452 108122 18511 1 - 0.0000 -
1452.09/1456.74 c 1457 108631 18550 1 - 0.0000 -
1457.17/1461.87 c 1462 109014 18608 1 - 0.0000 -
1462.25/1466.98 c 1467 109350 18666 1 - 0.0000 -
1467.33/1472.06 c 1472 109777 18687 1 - 0.0000 -
1472.61/1477.30 c 1477 110108 18736 1 - 0.0000 -
1477.59/1482.37 c 1482 110495 18785 1 - 0.0000 -
1482.68/1487.43 c 1487 110914 18832 1 - 0.0000 -
1487.87/1492.60 c 1493 111331 18885 1 - 0.0000 -
1493.05/1497.80 c 1498 111700 18947 1 - 0.0000 -
1498.35/1503.14 c 1503 112101 18960 1 - 0.0000 -
1503.42/1508.28 c 1508 112473 19004 1 - 0.0000 -
1508.61/1513.40 c 1513 112897 19036 1 - 0.0000 -
1513.80/1518.68 c 1519 113342 19049 1 - 0.0000 -
1518.98/1523.86 c 1524 113696 19111 1 - 0.0000 -
1524.46/1529.33 c 1529 114034 19176 1 - 0.0000 -
1529.75/1534.65 c 1535 114313 19306 1 - 0.0000 -
1534.93/1539.86 c 1540 114715 19407 1 - 0.0000 -
1540.14/1545.10 c 1545 115034 19528 1 - 0.0000 -
1545.31/1550.23 c 1550 115356 19593 1 - 0.0000 -
1550.49/1555.40 c 1555 115723 19676 1 - 0.0000 -
1555.58/1560.53 c 1561 116088 19746 1 - 0.0000 -
1560.77/1565.78 c 1566 116453 19778 1 - 0.0000 -
1565.96/1570.95 c 1571 116870 19831 1 - 0.0000 -
1570.94/1576.01 c 1576 117306 19894 1 - 0.0000 -
1576.14/1581.15 c 1581 117594 19972 1 - 0.0000 -
1581.50/1586.58 c 1587 117977 20050 1 - 0.0000 -
1586.59/1591.66 c 1592 118430 20105 1 - 0.0000 -
1591.87/1596.93 c 1597 118764 20163 1 - 0.0000 -
1596.86/1601.98 c 1602 119171 20204 1 - 0.0000 -
1601.94/1607.08 c 1607 119603 20237 1 - 0.0000 -
1607.04/1612.17 c 1612 120056 20276 1 - 0.0000 -
1612.21/1617.33 c 1617 120548 20312 1 - 0.0000 -
1617.29/1622.40 c 1622 120967 20369 1 - 0.0000 -
1622.38/1627.50 c 1628 121345 20401 1 - 0.0000 -
1627.65/1632.82 c 1633 121661 20464 1 - 0.0000 -
1632.64/1637.88 c 1638 122048 20516 1 - 0.0000 -
1637.73/1642.95 c 1643 122446 20567 1 - 0.0000 -
1642.82/1648.01 c 1648 122840 20606 1 - 0.0000 -
1647.91/1653.11 c 1653 123285 20654 1 - 0.0000 -
1652.98/1658.27 c 1658 123725 20677 1 - 0.0000 -
1658.07/1663.33 c 1663 124112 20730 1 - 0.0000 -
1663.14/1668.48 c 1668 124577 20817 1 - 0.0000 -
1668.43/1673.72 c 1674 125022 20871 1 - 0.0000 -
1673.72/1679.07 c 1679 125473 20906 1 - 0.0000 -
1678.81/1684.12 c 1684 125900 20961 1 - 0.0000 -
1683.89/1689.20 c 1689 126202 20970 1 - 0.0000 -
1688.87/1694.29 c 1694 126618 21011 1 - 0.0000 -
1694.06/1699.42 c 1699 127000 21105 1 - 0.0000 -
1699.13/1704.52 c 1705 127385 21189 1 - 0.0000 -
1704.23/1709.66 c 1710 127839 21285 1 - 0.0000 -
1709.62/1715.05 c 1715 128216 21390 1 - 0.0000 -
1714.79/1720.21 c 1720 128598 21452 1 - 0.0000 -
1719.88/1725.31 c 1725 129125 21511 1 - 0.0000 -
1724.95/1730.48 c 1730 129514 21622 1 - 0.0000 -
1730.15/1735.64 c 1736 130023 21652 1 - 0.0000 -
1735.13/1740.69 c 1741 130437 21685 1 - 0.0000 -
1740.32/1745.81 c 1746 130915 21710 1 - 0.0000 -
1745.50/1751.03 c 1751 131325 21723 1 - 0.0000 -
1750.59/1756.19 c 1756 131778 21766 1 - 0.0000 -
1755.76/1761.31 c 1761 132222 21833 1 - 0.0000 -
1761.04/1766.62 c 1767 132664 21884 1 - 0.0000 -
1766.23/1771.88 c 1772 132911 21929 1 - 0.0000 -
1771.32/1776.93 c 1777 133334 21949 1 - 0.0000 -
1776.41/1782.08 c 1782 133781 22015 1 - 0.0000 -
1781.98/1787.61 c 1788 134074 22047 1 - 0.0000 -
1787.17/1792.89 c 1793 134473 22130 1 - 0.0000 -
1792.46/1798.17 c 1798 134830 22230 1 - 0.0000 -
1797.54/1803.21 c 1803 135239 22301 1 - 0.0000 -
1802.62/1808.36 c 1808 135598 22339 1 - 0.0000 -
1807.81/1813.58 c 1814 135957 22378 1 - 0.0000 -
1812.89/1818.62 c 1819 136353 22435 1 - 0.0000 -
1817.98/1823.71 c 1824 136750 22467 1 - 0.0000 -
1823.07/1828.83 c 1829 137142 22502 1 - 0.0000 -
1828.05/1833.87 c 1834 137640 22536 1 - 0.0000 -
1833.53/1839.30 c 1839 138055 22590 1 - 0.0000 -
1838.52/1844.36 c 1844 138497 22621 1 - 0.0000 -
1843.80/1849.66 c 1850 138918 22675 1 - 0.0000 -
1849.19/1855.03 c 1855 139338 22782 1 - 0.0000 -
1854.28/1860.13 c 1860 139782 22846 1 - 0.0000 -
1859.45/1865.34 c 1865 140197 22885 1 - 0.0000 -
1864.63/1870.54 c 1871 140663 22920 1 - 0.0000 -
1869.71/1875.64 c 1876 141106 22979 1 - 0.0000 -
1874.80/1880.78 c 1881 141499 23009 1 - 0.0000 -
1879.97/1885.96 c 1886 141930 23059 1 - 0.0000 -
1885.26/1891.20 c 1891 142315 23122 1 - 0.0000 -
1890.34/1896.34 c 1896 142794 23169 1 - 0.0000 -
1895.43/1901.42 c 1901 143168 23218 1 - 0.0000 -
1900.62/1906.63 c 1907 143566 23289 1 - 0.0000 -
1905.90/1911.94 c 1912 143932 23357 1 - 0.0000 -
1910.99/1917.04 c 1917 144363 23410 1 - 0.0000 -
1916.17/1922.27 c 1922 144782 23449 1 - 0.0000 -
1921.34/1927.40 c 1927 145160 23496 1 - 0.0000 -
1926.33/1932.46 c 1932 145644 23568 1 - 0.0000 -
1931.40/1937.55 c 1938 146144 23607 1 - 0.0000 -
1936.69/1942.84 c 1943 146657 23699 1 - 0.0000 -
1941.88/1948.01 c 1948 147093 23735 1 - 0.0000 -
1947.05/1953.26 c 1953 147390 23756 1 - 0.0000 -
1952.23/1958.41 c 1958 147912 23829 1 - 0.0000 -
1957.52/1963.76 c 1964 148431 23881 1 - 0.0000 -
1962.71/1968.90 c 1969 148900 23942 1 - 0.0000 -
1967.69/1973.95 c 1974 149283 23975 1 - 0.0000 -
1972.97/1979.29 c 1979 149652 24030 1 - 0.0000 -
1978.06/1984.34 c 1984 150052 24039 1 - 0.0000 -
1983.36/1989.69 c 1990 150467 24047 1 - 0.0000 -
1988.44/1994.75 c 1995 150939 24136 1 - 0.0000 -
1993.62/2000.01 c 2000 151394 24155 1 - 0.0000 -
1999.10/2005.45 c 2005 151744 24176 1 - 0.0000 -
2004.28/2010.60 c 2011 152129 24201 1 - 0.0000 -
2009.46/2015.80 c 2016 152734 24264 1 - 0.0000 -
2014.54/2020.98 c 2021 153072 24290 1 - 0.0000 -
2019.74/2026.13 c 2026 153504 24347 1 - 0.0000 -
2024.91/2031.36 c 2031 153882 24418 1 - 0.0000 -
2030.09/2036.52 c 2037 154353 24453 1 - 0.0000 -
2035.17/2041.66 c 2042 154797 24488 1 - 0.0000 -
2040.36/2046.81 c 2047 155252 24540 1 - 0.0000 -
2045.34/2051.86 c 2052 155695 24601 1 - 0.0000 -
2050.92/2057.40 c 2057 156100 24680 1 - 0.0000 -
2056.01/2062.56 c 2063 156503 24789 1 - 0.0000 -
2061.29/2067.84 c 2068 156921 24933 1 - 0.0000 -
2066.58/2073.16 c 2073 157216 24973 1 - 0.0000 -
2071.95/2078.52 c 2079 157592 25034 1 - 0.0000 -
2077.13/2083.74 c 2084 158046 25088 1 - 0.0000 -
2082.31/2088.99 c 2089 158468 25133 1 - 0.0000 -
2087.40/2094.11 c 2094 158838 25190 1 - 0.0000 -
2092.67/2099.37 c 2099 159298 25256 1 - 0.0000 -
2097.85/2104.54 c 2105 159712 25339 1 - 0.0000 -
2103.04/2109.71 c 2110 160101 25401 1 - 0.0000 -
2108.22/2114.98 c 2115 160527 25477 1 - 0.0000 -
2113.31/2120.09 c 2120 160881 25527 1 - 0.0000 -
2118.39/2125.14 c 2125 161330 25583 1 - 0.0000 -
2123.47/2130.23 c 2130 161701 25623 1 - 0.0000 -
2128.65/2135.41 c 2135 162195 25668 1 - 0.0000 -
2133.64/2140.49 c 2140 162694 25729 1 - 0.0000 -
2138.83/2145.65 c 2146 163063 25761 1 - 0.0000 -
2143.91/2150.71 c 2151 163523 25786 1 - 0.0000 -
2149.00/2155.89 c 2156 163982 25849 1 - 0.0000 -
2154.20/2161.05 c 2161 164401 25883 1 - 0.0000 -
2159.29/2166.11 c 2166 164816 25923 1 - 0.0000 -
2164.36/2171.29 c 2171 165181 25948 1 - 0.0000 -
2169.55/2176.42 c 2176 165610 26006 1 - 0.0000 -
2174.72/2181.62 c 2182 166080 26013 1 - 0.0000 -
2179.80/2186.73 c 2187 166447 26052 1 - 0.0000 -
2184.99/2191.97 c 2192 166829 26123 1 - 0.0000 -
2190.07/2197.06 c 2197 167324 26168 1 - 0.0000 -
2195.17/2202.13 c 2202 167778 26233 1 - 0.0000 -
2200.33/2207.35 c 2207 168259 26286 1 - 0.0000 -
2205.62/2212.68 c 2213 168713 26357 1 - 0.0000 -
2210.90/2217.99 c 2218 169128 26444 1 - 0.0000 -
2216.18/2223.22 c 2223 169576 26515 1 - 0.0000 -
2221.26/2228.34 c 2228 169961 26573 1 - 0.0000 -
2226.34/2233.46 c 2233 170383 26614 1 - 0.0000 -
2231.43/2238.55 c 2239 170852 26656 1 - 0.0000 -
2236.51/2243.60 c 2244 171275 26723 1 - 0.0000 -
2241.50/2248.65 c 2249 171754 26774 1 - 0.0000 -
2246.58/2253.71 c 2254 172140 26805 1 - 0.0000 -
2251.66/2258.80 c 2259 172547 26838 1 - 0.0000 -
2256.84/2264.04 c 2264 172899 26884 1 - 0.0000 -
2261.93/2269.18 c 2269 173389 26946 1 - 0.0000 -
2267.31/2274.55 c 2275 173774 26935 1 - 0.0000 -
2272.69/2280.01 c 2280 174193 27035 1 - 0.0000 -
2278.07/2285.31 c 2285 174638 27092 1 - 0.0000 -
2283.26/2290.55 c 2291 175031 27118 1 - 0.0000 -
2288.54/2295.82 c 2296 175478 27141 1 - 0.0000 -
2294.03/2301.37 c 2301 175982 27203 1 - 0.0000 -
2299.11/2306.43 c 2306 176384 27251 1 - 0.0000 -
2304.09/2311.48 c 2311 176807 27319 1 - 0.0000 -
2309.27/2316.61 c 2317 177180 27360 1 - 0.0000 -
2314.55/2321.92 c 2322 177577 27413 1 - 0.0000 -
2319.76/2327.11 c 2327 177911 27455 1 - 0.0000 -
2324.83/2332.23 c 2332 178208 27485 1 - 0.0000 -
2330.01/2337.44 c 2337 178602 27571 1 - 0.0000 -
2335.10/2342.50 c 2343 179090 27595 1 - 0.0000 -
2340.19/2347.63 c 2348 179611 27608 1 - 0.0000 -
2345.28/2352.78 c 2353 179962 27658 1 - 0.0000 -
2350.36/2357.84 c 2358 180482 27741 1 - 0.0000 -
2355.84/2363.34 c 2363 180921 27744 1 - 0.0000 -
2361.03/2368.57 c 2369 181305 27800 1 - 0.0000 -
2366.12/2373.69 c 2374 181864 27855 1 - 0.0000 -
2371.20/2378.79 c 2379 182218 27859 1 - 0.0000 -
2376.30/2383.83 c 2384 182649 27898 1 - 0.0000 -
2381.59/2389.17 c 2389 183035 27940 1 - 0.0000 -
2386.86/2394.46 c 2394 183442 27970 1 - 0.0000 -
2391.95/2399.56 c 2400 183789 28013 1 - 0.0000 -
2397.23/2404.81 c 2405 184186 28062 1 - 0.0000 -
2402.33/2409.98 c 2410 184591 28120 1 - 0.0000 -
2407.52/2415.19 c 2415 184948 28151 1 - 0.0000 -
2412.69/2420.32 c 2420 185377 28224 1 - 0.0000 -
2417.79/2425.47 c 2425 185774 28273 1 - 0.0000 -
2423.26/2430.94 c 2431 186107 28298 1 - 0.0000 -
2428.47/2436.12 c 2436 186515 28333 1 - 0.0000 -
2433.75/2441.46 c 2441 186941 28418 1 - 0.0000 -
2438.93/2446.68 c 2447 187409 28494 1 - 0.0000 -
2444.21/2451.94 c 2452 187880 28521 1 - 0.0000 -
2449.20/2457.01 c 2457 188306 28536 1 - 0.0000 -
2454.57/2462.33 c 2462 188714 28576 1 - 0.0000 -
2459.97/2467.72 c 2468 189100 28587 1 - 0.0000 -
2464.95/2472.79 c 2473 189532 28618 1 - 0.0000 -
2470.24/2478.05 c 2478 189951 28709 1 - 0.0000 -
2475.34/2483.19 c 2483 190347 28747 1 - 0.0000 -
2480.51/2488.37 c 2488 190809 28792 1 - 0.0000 -
2485.80/2493.60 c 2494 191209 28825 1 - 0.0000 -
2491.08/2498.90 c 2499 191598 28839 1 - 0.0000 -
2496.17/2504.04 c 2504 192036 28876 1 - 0.0000 -
2501.35/2509.20 c 2509 192367 28928 1 - 0.0000 -
2506.64/2514.52 c 2515 192794 28974 1 - 0.0000 -
2511.82/2519.75 c 2520 193214 29060 1 - 0.0000 -
2516.91/2524.81 c 2525 193622 29104 1 - 0.0000 -
2521.99/2529.98 c 2530 193931 29140 1 - 0.0000 -
2527.79/2535.70 c 2536 194162 29164 1 - 0.0000 -
2532.97/2540.93 c 2541 194555 29226 1 - 0.0000 -
2538.35/2546.30 c 2546 194778 29308 1 - 0.0000 -
2543.73/2551.79 c 2552 194991 29358 1 - 0.0000 -
2548.92/2556.96 c 2557 195288 29412 1 - 0.0000 -
2554.20/2562.23 c 2562 195653 29458 1 - 0.0000 -
2559.38/2567.41 c 2567 195955 29530 1 - 0.0000 -
2564.38/2572.49 c 2572 196274 29546 1 - 0.0000 -
2569.66/2577.76 c 2578 196674 29593 1 - 0.0000 -
2574.85/2582.97 c 2583 196964 29659 1 - 0.0000 -
2579.94/2588.06 c 2588 197294 29703 1 - 0.0000 -
2585.42/2593.57 c 2594 197603 29741 1 - 0.0000 -
2590.71/2598.89 c 2599 197946 29841 1 - 0.0000 -
2595.80/2604.01 c 2604 198419 29876 1 - 0.0000 -
2601.27/2609.47 c 2609 198773 29904 1 - 0.0000 -
2606.35/2614.57 c 2615 199072 29946 1 - 0.0000 -
2611.44/2619.68 c 2620 199459 30007 1 - 0.0000 -
2616.52/2624.78 c 2625 199893 30039 1 - 0.0000 -
2621.82/2630.01 c 2630 200363 30062 1 - 0.0000 -
2627.00/2635.23 c 2635 200764 30120 1 - 0.0000 -
2632.09/2640.38 c 2640 201111 30182 1 - 0.0000 -
2637.27/2645.53 c 2646 201458 30193 1 - 0.0000 -
2642.36/2650.68 c 2651 201882 30248 1 - 0.0000 -
2647.64/2655.92 c 2656 202282 30293 1 - 0.0000 -
2652.92/2661.24 c 2661 202653 30327 1 - 0.0000 -
2658.41/2666.70 c 2667 203061 30380 1 - 0.0000 -
2663.50/2671.80 c 2672 203554 30409 1 - 0.0000 -
2668.70/2677.08 c 2677 203979 30472 1 - 0.0000 -
2674.17/2682.57 c 2683 204303 30519 1 - 0.0000 -
2679.36/2687.70 c 2688 204702 30508 1 - 0.0000 -
2684.66/2693.02 c 2693 205151 30544 1 - 0.0000 -
2689.83/2698.24 c 2698 205566 30590 1 - 0.0000 -
2695.22/2703.67 c 2704 205930 30663 1 - 0.0000 -
2700.40/2708.88 c 2709 206274 30733 1 - 0.0000 -
2705.60/2714.01 c 2714 206554 30764 1 - 0.0000 -
2710.98/2719.40 c 2719 206859 30829 1 - 0.0000 -
2715.96/2724.46 c 2724 207162 30832 1 - 0.0000 -
2721.05/2729.58 c 2730 207619 30881 1 - 0.0000 -
2726.13/2734.60 c 2735 207880 30940 1 - 0.0000 -
2731.63/2740.11 c 2740 208288 31013 1 - 0.0000 -
2736.71/2745.25 c 2745 208679 31059 1 - 0.0000 -
2741.79/2750.37 c 2750 209129 31074 1 - 0.0000 -
2746.88/2755.42 c 2755 209609 31111 1 - 0.0000 -
2751.96/2760.58 c 2761 210059 31199 1 - 0.0000 -
2757.15/2765.75 c 2766 210457 31246 1 - 0.0000 -
2762.24/2770.82 c 2771 210922 31257 1 - 0.0000 -
2767.43/2776.01 c 2776 211300 31317 1 - 0.0000 -
2772.61/2781.20 c 2781 211697 31351 1 - 0.0000 -
2777.79/2786.45 c 2786 212072 31392 1 - 0.0000 -
2783.08/2791.72 c 2792 212511 31448 1 - 0.0000 -
2788.17/2796.83 c 2797 212957 31494 1 - 0.0000 -
2793.25/2801.92 c 2802 213321 31554 1 - 0.0000 -
2798.54/2807.23 c 2807 213743 31607 1 - 0.0000 -
2803.63/2812.36 c 2812 214073 31646 1 - 0.0000 -
2808.71/2817.42 c 2817 214409 31673 1 - 0.0000 -
2814.00/2822.74 c 2823 214865 31760 1 - 0.0000 -
2819.29/2828.06 c 2828 215383 31827 1 - 0.0000 -
2824.28/2833.10 c 2833 215778 31873 1 - 0.0000 -
2829.46/2838.21 c 2838 216084 31959 1 - 0.0000 -
2834.74/2843.59 c 2844 216468 31996 1 - 0.0000 -
2839.93/2848.72 c 2849 216947 32038 1 - 0.0000 -
2845.33/2854.15 c 2854 217378 32082 1 - 0.0000 -
2850.40/2859.21 c 2859 217750 32160 1 - 0.0000 -
2855.69/2864.58 c 2865 218121 32251 1 - 0.0000 -
2861.28/2870.15 c 2870 218479 32295 1 - 0.0000 -
2866.46/2875.34 c 2875 218768 32337 1 - 0.0000 -
2871.54/2880.42 c 2880 219219 32367 1 - 0.0000 -
2876.63/2885.55 c 2886 219596 32404 1 - 0.0000 -
2881.72/2890.68 c 2891 220060 32521 1 - 0.0000 -
2886.90/2895.84 c 2896 220499 32575 1 - 0.0000 -
2891.99/2900.99 c 2901 220793 32594 1 - 0.0000 -
2897.18/2906.15 c 2906 221155 32627 1 - 0.0000 -
2902.26/2911.21 c 2911 221588 32691 1 - 0.0000 -
2907.54/2916.52 c 2917 221997 32746 1 - 0.0000 -
2912.93/2921.90 c 2922 222352 32774 1 - 0.0000 -
2918.12/2927.15 c 2927 222729 32843 1 - 0.0000 -
2923.20/2932.29 c 2932 223180 32875 1 - 0.0000 -
2928.48/2937.58 c 2938 223554 32898 1 - 0.0000 -
2933.58/2942.70 c 2943 223939 32945 1 - 0.0000 -
2938.76/2947.83 c 2948 224358 32991 1 - 0.0000 -
2943.84/2952.90 c 2953 224750 33006 1 - 0.0000 -
2949.04/2958.13 c 2958 225077 33052 1 - 0.0000 -
2954.21/2963.35 c 2963 225429 33089 1 - 0.0000 -
2959.31/2968.43 c 2968 225883 33117 1 - 0.0000 -
2964.49/2973.65 c 2974 226304 33170 1 - 0.0000 -
2969.57/2978.79 c 2979 226770 33212 1 - 0.0000 -
2975.07/2984.22 c 2984 227080 33260 1 - 0.0000 -
2980.15/2989.31 c 2989 227462 33292 1 - 0.0000 -
2985.85/2995.11 c 2995 227753 33298 1 - 0.0000 -
2991.12/3000.34 c 3000 228027 33351 1 - 0.0000 -
2996.30/3005.51 c 3006 228448 33389 1 - 0.0000 -
3001.50/3010.71 c 3011 228840 33408 1 - 0.0000 -
3006.68/3015.90 c 3016 229283 33461 1 - 0.0000 -
3011.88/3021.16 c 3021 229663 33511 1 - 0.0000 -
3017.05/3026.33 c 3026 229987 33570 1 - 0.0000 -
3022.24/3031.58 c 3032 230427 33609 1 - 0.0000 -
3027.84/3037.16 c 3037 230761 33670 1 - 0.0000 -
3032.91/3042.28 c 3042 231227 33748 1 - 0.0000 -
3037.99/3047.33 c 3047 231742 33791 1 - 0.0000 -
3043.18/3052.52 c 3053 232097 33837 1 - 0.0000 -
3048.37/3057.79 c 3058 232465 33879 1 - 0.0000 -
3053.76/3063.19 c 3063 232952 33906 1 - 0.0000 -
3058.94/3068.32 c 3068 233369 33947 1 - 0.0000 -
3064.13/3073.50 c 3074 233840 34015 1 - 0.0000 -
3069.21/3078.66 c 3079 234256 34049 1 - 0.0000 -
3074.30/3083.70 c 3084 234562 34080 1 - 0.0000 -
3079.79/3089.24 c 3089 234833 34117 1 - 0.0000 -
3084.77/3094.28 c 3094 235251 34166 1 - 0.0000 -
3090.16/3099.60 c 3100 235681 34173 1 - 0.0000 -
3095.24/3104.77 c 3105 236095 34251 1 - 0.0000 -
3100.43/3109.96 c 3110 236495 34275 1 - 0.0000 -
3105.72/3115.23 c 3115 236947 34341 1 - 0.0000 -
3110.80/3120.35 c 3120 237339 34402 1 - 0.0000 -
3115.89/3125.47 c 3125 237735 34449 1 - 0.0000 -
3121.07/3130.60 c 3131 238141 34478 1 - 0.0000 -
3126.16/3135.73 c 3136 238560 34499 1 - 0.0000 -
3131.24/3140.82 c 3141 238926 34567 1 - 0.0000 -
3136.44/3146.04 c 3146 239361 34639 1 - 0.0000 -
3141.53/3151.12 c 3151 239798 34696 1 - 0.0000 -
3146.52/3156.19 c 3156 240295 34734 1 - 0.0000 -
3151.79/3161.44 c 3161 240607 34746 1 - 0.0000 -
3157.08/3166.72 c 3167 241024 34777 1 - 0.0000 -
3162.26/3171.96 c 3172 241417 34808 1 - 0.0000 -
3167.46/3177.12 c 3177 241943 34872 1 - 0.0000 -
3172.53/3182.25 c 3182 242283 34902 1 - 0.0000 -
3177.72/3187.46 c 3187 242686 34923 1 - 0.0000 -
3182.80/3192.59 c 3193 243133 34964 1 - 0.0000 -
3187.99/3197.77 c 3198 243519 34994 1 - 0.0000 -
3193.07/3202.83 c 3203 243901 35055 1 - 0.0000 -
3198.46/3208.28 c 3208 244235 35106 1 - 0.0000 -
3203.55/3213.33 c 3213 244583 35145 1 - 0.0000 -
3208.83/3218.67 c 3219 244873 35256 1 - 0.0000 -
3214.12/3223.95 c 3224 245154 35353 1 - 0.0000 -
3219.22/3229.10 c 3229 245445 35431 1 - 0.0000 -
3224.60/3234.42 c 3234 245712 35494 1 - 0.0000 -
3229.68/3239.54 c 3240 246053 35574 1 - 0.0000 -
3234.96/3244.81 c 3245 246407 35623 1 - 0.0000 -
3240.17/3250.09 c 3250 246742 35670 1 - 0.0000 -
3245.34/3255.24 c 3255 247176 35696 1 - 0.0000 -
3250.52/3260.43 c 3260 247647 35740 1 - 0.0000 -
3255.61/3265.52 c 3266 248031 35762 1 - 0.0000 -
3260.69/3270.62 c 3271 248494 35848 1 - 0.0000 -
3265.78/3275.71 c 3276 248805 35902 1 - 0.0000 -
3270.87/3280.85 c 3281 249260 35954 1 - 0.0000 -
3276.25/3286.21 c 3286 249628 35969 1 - 0.0000 -
3281.53/3291.50 c 3292 250126 36015 1 - 0.0000 -
3286.61/3296.69 c 3297 250558 36053 1 - 0.0000 -
3291.81/3301.87 c 3302 250966 36079 1 - 0.0000 -
3297.19/3307.22 c 3307 251422 36118 1 - 0.0000 -
3302.57/3312.63 c 3313 251752 36181 1 - 0.0000 -
3307.66/3317.72 c 3318 252246 36207 1 - 0.0000 -
3312.75/3322.88 c 3323 252732 36244 1 - 0.0000 -
3317.94/3328.01 c 3328 253133 36278 1 - 0.0000 -
3323.03/3333.17 c 3333 253484 36317 1 - 0.0000 -
3328.10/3338.24 c 3338 253967 36364 1 - 0.0000 -
3333.29/3343.40 c 3343 254379 36403 1 - 0.0000 -
3338.27/3348.48 c 3348 254823 36434 1 - 0.0000 -
3343.36/3353.56 c 3354 255290 36488 1 - 0.0000 -
3349.25/3359.44 c 3359 255691 36545 1 - 0.0000 -
3354.33/3364.52 c 3365 256105 36573 1 - 0.0000 -
3359.32/3369.59 c 3370 256530 36588 1 - 0.0000 -
3364.61/3374.85 c 3375 256886 36641 1 - 0.0000 -
3369.99/3380.27 c 3380 257217 36710 1 - 0.0000 -
3375.38/3385.61 c 3386 257628 36724 1 - 0.0000 -
3380.77/3391.03 c 3391 257916 36780 1 - 0.0000 -
3385.75/3396.09 c 3396 258358 36833 1 - 0.0000 -
3390.92/3401.23 c 3401 258772 36841 1 - 0.0000 -
3396.02/3406.39 c 3406 259066 36899 1 - 0.0000 -
3401.09/3411.46 c 3411 259419 36978 1 - 0.0000 -
3406.49/3416.83 c 3417 259780 37009 1 - 0.0000 -
3411.57/3421.92 c 3422 260147 37050 1 - 0.0000 -
3416.67/3427.08 c 3427 260610 37087 1 - 0.0000 -
3421.75/3432.16 c 3432 260993 37123 1 - 0.0000 -
3426.83/3437.28 c 3437 261389 37153 1 - 0.0000 -
3432.31/3442.78 c 3443 261818 37212 1 - 0.0000 -
3437.61/3448.11 c 3448 262233 37252 1 - 0.0000 -
3442.79/3453.28 c 3453 262667 37251 1 - 0.0000 -
3448.08/3458.52 c 3459 262987 37271 1 - 0.0000 -
3453.25/3463.74 c 3464 263476 37317 1 - 0.0000 -
3458.44/3468.96 c 3469 263893 37377 1 - 0.0000 -
3463.55/3474.08 c 3474 264224 37423 1 - 0.0000 -
3468.71/3479.28 c 3479 264585 37462 1 - 0.0000 -
3474.00/3484.52 c 3485 264978 37550 1 - 0.0000 -
3479.09/3489.69 c 3490 265375 37576 1 - 0.0000 -
3484.37/3494.99 c 3495 265824 37608 1 - 0.0000 -
3489.57/3500.18 c 3500 266178 37616 1 - 0.0000 -
3494.74/3505.31 c 3505 266506 37684 1 - 0.0000 -
3500.03/3510.69 c 3511 266812 37705 1 - 0.0000 -
3505.21/3515.86 c 3516 267183 37745 1 - 0.0000 -
3510.30/3521.01 c 3521 267660 37815 1 - 0.0000 -
3515.68/3526.33 c 3526 268019 37909 1 - 0.0000 -
3520.77/3531.40 c 3531 268480 37960 1 - 0.0000 -
3525.86/3536.54 c 3537 268937 37990 1 - 0.0000 -
3531.04/3541.71 c 3542 269341 38007 1 - 0.0000 -
3536.13/3546.84 c 3547 269723 38032 1 - 0.0000 -
3541.52/3552.24 c 3552 270134 38058 1 - 0.0000 -
3546.60/3557.32 c 3557 270533 38100 1 - 0.0000 -
3551.89/3562.66 c 3563 271013 38160 1 - 0.0000 -
3557.07/3567.88 c 3568 271431 38191 1 - 0.0000 -
3562.26/3573.01 c 3573 271884 38227 1 - 0.0000 -
3567.54/3578.39 c 3578 272316 38259 1 - 0.0000 -
3573.34/3584.18 c 3584 272810 38283 1 - 0.0000 -
3578.60/3589.48 c 3589 273289 38317 1 - 0.0000 -
3583.79/3594.67 c 3595 273699 38363 1 - 0.0000 -
3587.59/3598.48 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.59/3598.48 c Total Time : 3598.4800
3587.59/3598.48 c solving : 3598.4800
3587.59/3598.48 c presolving : 0.4376 (included in solving)
3587.59/3598.48 c B&B Tree :
3587.59/3598.48 c nodes (total) : 1
3587.59/3598.48 c Solution :
3587.59/3598.48 c Solutions found : 0
3587.59/3598.48 c Primal Bound : -
3587.59/3598.48 c Dual Bound : +0.00000000000000e+00
3587.59/3598.48 c Gap : -
3587.69/3598.51 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 (49865 MiB free)
memory of node 1: 64473 MiB (56886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464568-1722385818/watcher-4464568-1722385818 -o /tmp/evaluation-result-4464568-1722385818/solver-4464568-1722385818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28206 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464568-1722385818.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=32866, runsolver pid=32863
[startup+0.100185 s]*
/proc/loadavg: 4.09 4.11 4.12 6/251 32867
/proc/meminfo: memFree=109287504/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=52460 memory=41308 CPUtime=0.1 cores=4,6
/proc/32866/stat : 32866 (fscip) R 32863 32866 28195 0 -1 4194304 8013 0 0 0 8 2 0 0 20 0 1 0 4952429 53719040 10327 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 13115 10327 2582 3035 0 9511 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52460 KiB
Current children cumulated memory: 41308 KiB
[startup+0.213444 s]*
/proc/loadavg: 4.09 4.11 4.12 5/251 32867
/proc/meminfo: memFree=109272476/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=61620 memory=50416 CPUtime=0.21 cores=4,6
/proc/32866/stat : 32866 (fscip) R 32863 32866 28195 0 -1 4194304 11656 0 0 0 19 2 0 0 20 0 1 0 4952429 63098880 12604 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 15405 12604 2694 3035 0 11801 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61620 KiB
Current children cumulated memory: 50416 KiB
[startup+0.313316 s]*
/proc/loadavg: 4.09 4.11 4.12 5/251 32867
/proc/meminfo: memFree=109272752/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=61220 memory=50016 CPUtime=0.31 cores=4,6
/proc/32866/stat : 32866 (fscip) R 32863 32866 28195 0 -1 4194304 11688 0 0 0 29 2 0 0 20 0 1 0 4952429 62689280 12504 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 15305 12504 2694 3035 0 11701 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61220 KiB
Current children cumulated memory: 50016 KiB
[startup+0.701187 s]
/proc/loadavg: 4.09 4.11 4.12 5/251 32867
/proc/meminfo: memFree=109248440/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=198752 memory=116308 CPUtime=0.69 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 28249 0 0 0 62 7 0 0 20 0 3 0 4952429 203522048 29077 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 49688 29077 2774 3035 0 37201 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 198752 KiB
Current children cumulated memory: 116308 KiB
[startup+1.50119 s]
/proc/loadavg: 4.08 4.11 4.12 5/253 32869
/proc/meminfo: memFree=109183348/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=198752 memory=137172 CPUtime=1.47 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 33339 0 0 0 139 8 0 0 20 0 3 0 4952429 203522048 34293 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 49688 34293 2934 3035 0 42396 0
[pid=32866/tid=32868] ppid=32863 vsize=198752 memory=0 CPUtime=0.89 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 12139 0 0 0 86 3 0 0 20 0 3 0 4952484 203522048 34293 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=198752 memory=11516 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4952491 203522048 34293 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 198752 KiB
Current children cumulated memory: 137172 KiB
[startup+3.10595 s]
/proc/loadavg: 4.08 4.11 4.12 5/253 32869
/proc/meminfo: memFree=109176244/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=198752 memory=138312 CPUtime=3.05 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 38160 0 0 0 296 9 0 0 20 0 3 0 4952429 203522048 34578 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 49688 34578 2950 3035 0 42601 0
[pid=32866/tid=32868] ppid=32863 vsize=198752 memory=-5155632388187515781 CPUtime=2.47 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 16953 0 0 0 244 3 0 0 20 0 3 0 4952484 203522048 34578 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=198752 memory=-5155632388187515781 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4952491 203522048 34578 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 198752 KiB
Current children cumulated memory: 138312 KiB
[startup+6.30038 s]
/proc/loadavg: 4.08 4.11 4.12 5/253 32871
/proc/meminfo: memFree=109133932/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=267996 memory=175684 CPUtime=6.23 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 58899 0 0 0 612 11 0 0 20 0 3 0 4952429 274427904 43921 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 66999 43921 2950 3035 0 53116 0
[pid=32866/tid=32868] ppid=32863 vsize=267996 memory=11516 CPUtime=5.66 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 37692 0 0 0 560 6 0 0 20 0 3 0 4952484 274427904 43921 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=267996 memory=175384 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4952491 274427904 43921 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 267996 KiB
Current children cumulated memory: 175684 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.11 4.12 5/253 32871
/proc/meminfo: memFree=109093588/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=267996 memory=205568 CPUtime=12.62 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 96605 0 0 0 1247 15 0 0 20 0 3 0 4952429 274427904 51392 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 66999 51392 2998 3035 0 61024 0
[pid=32866/tid=32868] ppid=32863 vsize=267996 memory=14720 CPUtime=12.05 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 75360 0 0 0 1195 10 0 0 20 0 3 0 4952484 274427904 51392 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=267996 memory=137944 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4952491 274427904 51392 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 267996 KiB
Current children cumulated memory: 205568 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.12 4.12 5/253 32874
/proc/meminfo: memFree=109052860/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=333532 memory=231724 CPUtime=25.38 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 165625 0 0 0 2517 21 0 0 20 0 3 0 4952429 341536768 57931 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 83383 57931 2998 3035 0 66448 0
[pid=32866/tid=32868] ppid=32863 vsize=333532 memory=175684 CPUtime=24.8 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 144322 0 0 0 2465 15 0 0 20 0 3 0 4952484 341536768 57931 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=333532 memory=80294 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4952491 341536768 57931 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 333532 KiB
Current children cumulated memory: 231724 KiB
[startup+51.1131 s]
/proc/loadavg: 4.08 4.11 4.11 5/252 32877
/proc/meminfo: memFree=108990648/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=333668 memory=260320 CPUtime=50.92 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 229180 0 0 0 5064 28 0 0 20 0 3 0 4952429 341676032 65080 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 83417 65080 2998 3035 0 74835 0
[pid=32866/tid=32868] ppid=32863 vsize=333668 memory=260320 CPUtime=50.34 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 207847 0 0 0 5012 22 0 0 20 0 3 0 4952484 341676032 65080 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=333668 memory=260320 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4952491 341676032 65080 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 333668 KiB
Current children cumulated memory: 260320 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/253 32886
/proc/meminfo: memFree=108883260/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=400384 memory=302620 CPUtime=101.96 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 296724 0 0 0 10160 36 0 0 20 0 3 0 4952429 409993216 75655 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 100096 75655 2998 3035 0 86093 0
[pid=32866/tid=32868] ppid=32863 vsize=400384 memory=271564 CPUtime=101.37 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 275336 0 0 0 10107 30 0 0 20 0 3 0 4952484 409993216 75655 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=400384 memory=269416 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4952491 409993216 75655 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 400384 KiB
Current children cumulated memory: 302620 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/252 32897
/proc/meminfo: memFree=108805536/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=401240 memory=311588 CPUtime=161.79 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 349668 0 0 0 16136 43 0 0 20 0 3 0 4952429 410869760 77897 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 100310 77897 2998 3035 0 87751 0
[pid=32866/tid=32868] ppid=32863 vsize=401240 memory=310984 CPUtime=161.2 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 328233 0 0 0 16083 37 0 0 20 0 3 0 4952484 410869760 77897 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=401240 memory=311536 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4952491 410869760 77897 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 401240 KiB
Current children cumulated memory: 311588 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/250 32907
/proc/meminfo: memFree=108714984/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=402132 memory=324360 CPUtime=221.62 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 398242 0 0 0 22110 52 0 0 20 0 3 0 4952429 411783168 81090 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 100533 81090 2998 3035 0 91093 0
[pid=32866/tid=32868] ppid=32863 vsize=402132 memory=11516 CPUtime=221.03 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 376780 0 0 0 22057 46 0 0 20 0 3 0 4952484 411783168 81090 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=402132 memory=324352 CPUtime=0 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4952491 411783168 81090 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 402132 KiB
Current children cumulated memory: 324360 KiB
################
# More data... #
################
[pid=32866] ppid=32863 vsize=1222552 memory=1114020 CPUtime=3451.86 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3112213 0 0 0 344737 449 0 0 20 0 3 0 4952429 1251893248 278505 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 278505 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=1059064 CPUtime=3450.93 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3089669 0 0 0 344663 430 0 0 20 0 3 0 4952484 1251893248 278505 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=-7091598779833475962 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 164 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 278505 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3451.86 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1114020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/250 34744
/proc/meminfo: memFree=123552188/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1222552 memory=1116224 CPUtime=3511.7 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3180358 0 0 0 350712 458 0 0 20 0 3 0 4952429 1251893248 279056 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 279056 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=1114020 CPUtime=3510.76 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3157794 0 0 0 350638 438 0 0 20 0 3 0 4952484 1251893248 279056 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=1116212 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 166 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 279056 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1116224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/250 34756
/proc/meminfo: memFree=123479128/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1222552 memory=1118364 CPUtime=3571.52 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3248348 0 0 0 356686 466 0 0 20 0 3 0 4952429 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 279591 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=1118280 CPUtime=3570.58 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3225766 0 0 0 356612 446 0 0 20 0 3 0 4952484 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=1118364 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1118364 KiB
[startup+3598.55 s]
# the end of solver process 32866 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.99 s, system=4.75755 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.13 5/250 34757
/proc/meminfo: memFree=123477844/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1222552 memory=1118364 CPUtime=3573.24 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3248847 0 0 0 356857 467 0 0 20 0 3 0 4952429 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 279591 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=-7595720463122260351 CPUtime=3572.3 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3226265 0 0 0 356783 447 0 0 20 0 3 0 4952484 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=4355430111928544927 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1118364 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.13 5/250 34757
/proc/meminfo: memFree=123476340/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1222552 memory=1118364 CPUtime=3579.61 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3250538 0 0 0 357493 468 0 0 20 0 3 0 4952429 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 279591 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=12624 CPUtime=3578.67 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3227956 0 0 0 357419 448 0 0 20 0 3 0 4952484 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=1118364 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 279591 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3579.61 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1118364 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.13 4.13 4/246 34824
/proc/meminfo: memFree=127864584/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1222552 memory=1120412 CPUtime=3582.79 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3260724 0 0 0 357811 468 0 0 20 0 3 0 4952429 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 280103 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=11516 CPUtime=3581.85 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3238142 0 0 0 357737 448 0 0 20 0 3 0 4952484 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=1118364 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3582.79 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1120412 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.13 4.13 4/244 34849
/proc/meminfo: memFree=127890460/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1222552 memory=1120412 CPUtime=3585.99 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3261197 0 0 0 358130 469 0 0 20 0 3 0 4952429 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 280103 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=1118340 CPUtime=3585.05 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3238615 0 0 0 358056 449 0 0 20 0 3 0 4952484 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=1118364 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1120412 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.11 4.13 4/244 34849
/proc/meminfo: memFree=127890540/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1222552 memory=1120412 CPUtime=3586.79 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3261322 0 0 0 358210 469 0 0 20 0 3 0 4952429 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 305638 280103 2998 3035 0 288691 0
[pid=32866/tid=32868] ppid=32863 vsize=1222552 memory=11516 CPUtime=3585.85 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3238740 0 0 0 358136 449 0 0 20 0 3 0 4952484 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1222552 memory=12624 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1251893248 280103 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3586.79 s
Current children cumulated vsize: 1222552 KiB
Current children cumulated memory: 1120412 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.11 4.13 4/244 34849
/proc/meminfo: memFree=127890556/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1218984 memory=1116844 CPUtime=3587.2 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3261696 0 0 0 358251 469 0 0 20 0 3 0 4952429 1248239616 279211 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 304746 279211 2998 3035 0 287799 0
[pid=32866/tid=32868] ppid=32863 vsize=1218984 memory=-7595720463122260351 CPUtime=3586.26 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3239113 0 0 0 358177 449 0 0 20 0 3 0 4952484 1248239616 279211 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1218984 memory=11776 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1248239616 279211 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 1218984 KiB
Current children cumulated memory: 1116844 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.11 4.13 4/244 34849
/proc/meminfo: memFree=127890556/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=1218984 memory=1116844 CPUtime=3587.59 cores=4,6
/proc/32866/stat : 32866 (fscip) S 32863 32866 28195 0 -1 1077936128 3294751 0 0 0 358288 471 0 0 20 0 3 0 4952429 1248239616 279211 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 304746 279211 2998 3035 0 287799 0
[pid=32866/tid=32868] ppid=32863 vsize=1218984 memory=5492 CPUtime=3586.64 cores=4,6
/proc/32866/task/32868/stat : 32868 (fscip) R 32863 32866 28195 0 -1 4194368 3272168 0 0 0 358213 451 0 0 20 0 3 0 4952484 1248239616 279211 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
[pid=32866/tid=32869] ppid=32863 vsize=1218984 memory=1120412 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 3 0 4952491 1248239616 279211 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 1218984 KiB
Current children cumulated memory: 1116844 KiB
[startup+3598.5 s]
/proc/loadavg: 4.11 4.11 4.13 4/244 34849
/proc/meminfo: memFree=127890556/131655788 swapFree=131071216/131071996
[pid=32866] ppid=32863 vsize=917740 memory=880200 CPUtime=3587.69 cores=4,6
/proc/32866/stat : 32866 (fscip) R 32863 32866 28195 0 -1 4194304 3297587 0 0 0 358297 472 0 0 20 0 2 0 4952429 939765760 220050 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
/proc/32866/statm: 229435 220050 2998 3035 0 225457 0
[pid=32866/tid=32869] ppid=32863 vsize=917740 memory=1118364 CPUtime=0.05 cores=4,6
/proc/32866/task/32869/stat : 32869 (fscip) S 32863 32866 28195 0 -1 1077936192 168 0 0 0 1 4 0 0 20 0 2 0 4952491 939765760 220050 134679101440 4194304 16623229 140729656887904 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44154880 140729656890394 140729656890510 140729656890510 140729656897520 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 917740 KiB
Current children cumulated memory: 880200 KiB
Child status: 0
Real time (s): 3598.55
CPU time (s): 3587.75
CPU user time (s): 3582.99
CPU system time (s): 4.75755
CPU usage (%): 99.6997
Max. virtual memory (cumulated for all children) (KiB): 1222552
Max. memory (cumulated for all children) (KiB): 1120412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.99
system time used= 4.75755
maximum resident set size= 1120412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3298258
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= 10689
involuntary context switches= 3720
# summary of solver processes directly reported to runsolver:
# pid: 32866
# total CPU time (s): 3587.75
# total CPU user time (s): 3582.99
# total CPU system time (s): 4.75755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4073 second user time and 36.1335 second system time
The end
Begin job on nodeC007 at 2024-07-31 02:30:18
IDJOB=4464568
IDBENCH=160415
IDSOLVER=3092
FILE ID=nodeC007/4464568-1722385818
RUNJOBID= nodeC007-1722378594-28206
SLURM_JOB_ID= 8249837
Free space on /tmp= 723576 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.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-4464568-1722385818/watcher-4464568-1722385818 -o /tmp/evaluation-result-4464568-1722385818/solver-4464568-1722385818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28206 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464568-1722385818.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4aca60576f41ce0be442f97c9c36c82a
RANDOM SEED=292526229
nodeC007.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 : 3491.793
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.58
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 : 3665.557
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.35
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.353
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.58
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 : 1197.268
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.35
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 : 3491.801
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.58
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 : 3665.598
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.35
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.194
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.58
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.485
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 109314348 kB
MemAvailable: 109703236 kB
Buffers: 90240 kB
Cached: 1136528 kB
SwapCached: 100 kB
Active: 378668 kB
Inactive: 21496148 kB
Active(anon): 1492 kB
Inactive(anon): 20667640 kB
Active(file): 377176 kB
Inactive(file): 828508 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 57264 kB
Writeback: 0 kB
AnonPages: 20647888 kB
Mapped: 124040 kB
Shmem: 21076 kB
KReclaimable: 46808 kB
Slab: 123608 kB
SReclaimable: 46808 kB
SUnreclaim: 76800 kB
KernelStack: 4000 kB
PageTables: 49836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 13623232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4681728 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723700 MiB
End job on nodeC007 at 2024-07-31 03:30:17