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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 46854144, getVmSize() = 46854144, SCIPgetMemUsed() = 20802481, SCIPgetMemTotal() = 24548609, SCIPgetMemExternEstim() = 13477294
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.19 c ** Estimated virtualMemUsedAtSolver = 53547470, getVmSize() = 91279360, SCIPgetMemUsed() = 47270071, SCIPgetMemTotal() = 66843911, SCIPgetMemExternEstim() = 13477294
0.09/0.19 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.09/0.19 c Original Problem :
0.09/0.19 c Problem name : instance-4464566-1722385814
0.09/0.19 c Variables : 4329 (4329 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.19 c Constraints : 10136
0.09/0.19 c Objective sense : minimize
0.09/0.19 c Presolved Problem :
0.09/0.19 c Variables : 4306 (4306 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.19 c Constraints : 6227
0.09/0.19 c Constraints : Number
0.09/0.19 c setppc : 6226
0.09/0.19 c orbitope : 1
0.09/0.19 c ** Instance transfer method used: 0
0.09/0.20 c ** ParaScipInstance copy increased the number of variables. **
0.20/0.21 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.21 c Nodes Active
0.20/0.21 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.37/5.44 c 5 2 1 1 - 0.0000 -
10.85/10.92 c 11 32 31 1 - 0.0000 -
15.95/16.09 c 16 167 162 1 - 0.0000 -
21.23/21.34 c 21 400 197 1 - 0.0000 -
26.31/26.40 c 26 806 216 1 - 0.0000 -
31.50/31.64 c 32 1125 224 1 - 0.0000 -
36.48/36.69 c 37 1554 260 1 - 0.0000 -
41.67/41.88 c 42 1841 312 1 - 0.0000 -
46.75/46.93 c 47 2293 358 1 - 0.0000 -
51.84/52.06 c 52 2676 376 1 - 0.0000 -
57.23/57.41 c 57 3006 416 1 - 0.0000 -
62.31/62.55 c 63 3402 429 1 - 0.0000 -
67.59/67.88 c 68 3696 466 1 - 0.0000 -
73.18/73.43 c 73 4049 487 1 - 0.0000 -
78.57/78.89 c 79 4342 514 1 - 0.0000 -
84.05/84.33 c 84 4616 540 1 - 0.0000 -
89.53/89.81 c 90 4871 560 1 - 0.0000 -
94.62/94.92 c 95 5244 579 1 - 0.0000 -
100.00/100.36 c 100 5657 614 1 - 0.0000 -
105.09/105.40 c 105 6057 725 1 - 0.0000 -
110.18/110.52 c 111 6365 780 1 - 0.0000 -
116.06/116.43 c 116 6560 800 1 - 0.0000 -
121.45/121.83 c 122 6836 832 1 - 0.0000 -
126.93/127.37 c 127 7084 900 1 - 0.0000 -
132.11/132.53 c 133 7275 951 1 - 0.0000 -
137.31/137.72 c 138 7535 975 1 - 0.0000 -
142.89/143.32 c 143 7806 1003 1 - 0.0000 -
148.07/148.50 c 148 8100 1021 1 - 0.0000 -
153.15/153.61 c 154 8419 1101 1 - 0.0000 -
158.94/159.41 c 159 8682 1130 1 - 0.0000 -
164.12/164.69 c 165 8957 1169 1 - 0.0000 -
169.42/169.92 c 170 9303 1189 1 - 0.0000 -
174.90/175.49 c 175 9667 1222 1 - 0.0000 -
180.18/180.77 c 181 10045 1283 1 - 0.0000 -
185.37/185.97 c 186 10400 1317 1 - 0.0000 -
190.56/191.17 c 191 10688 1388 1 - 0.0000 -
195.84/196.43 c 196 11016 1434 1 - 0.0000 -
201.12/201.70 c 202 11334 1496 1 - 0.0000 -
206.11/206.76 c 207 11708 1551 1 - 0.0000 -
211.30/211.95 c 212 12037 1567 1 - 0.0000 -
216.49/217.15 c 217 12426 1601 1 - 0.0000 -
221.76/222.42 c 222 12832 1627 1 - 0.0000 -
226.85/227.58 c 228 13128 1646 1 - 0.0000 -
232.04/232.73 c 233 13433 1723 1 - 0.0000 -
237.32/238.02 c 238 13860 1745 1 - 0.0000 -
242.50/243.24 c 243 14206 1762 1 - 0.0000 -
247.69/248.47 c 248 14572 1796 1 - 0.0000 -
252.77/253.57 c 254 15002 1836 1 - 0.0000 -
257.96/258.75 c 259 15415 1893 1 - 0.0000 -
263.15/263.92 c 264 15805 1955 1 - 0.0000 -
268.24/269.03 c 269 16240 2034 1 - 0.0000 -
273.52/274.31 c 274 16694 2086 1 - 0.0000 -
278.80/279.65 c 280 17079 2123 1 - 0.0000 -
283.88/284.77 c 285 17521 2218 1 - 0.0000 -
289.18/290.10 c 290 18030 2256 1 - 0.0000 -
294.56/295.45 c 295 18353 2255 1 - 0.0000 -
299.64/300.56 c 301 18729 2326 1 - 0.0000 -
304.82/305.74 c 306 19149 2381 1 - 0.0000 -
310.01/310.96 c 311 19668 2422 1 - 0.0000 -
315.30/316.26 c 316 20031 2520 1 - 0.0000 -
320.39/321.38 c 321 20390 2602 1 - 0.0000 -
325.77/326.73 c 327 20744 2647 1 - 0.0000 -
330.85/331.88 c 332 21257 2685 1 - 0.0000 -
336.04/337.05 c 337 21569 2729 1 - 0.0000 -
341.13/342.11 c 342 21890 2771 1 - 0.0000 -
346.31/347.34 c 347 22300 2830 1 - 0.0000 -
351.39/352.46 c 352 22543 2859 1 - 0.0000 -
356.67/357.70 c 358 22989 2922 1 - 0.0000 -
361.87/362.95 c 363 23320 2992 1 - 0.0000 -
367.05/368.16 c 368 23639 3018 1 - 0.0000 -
372.24/373.33 c 373 24177 3087 1 - 0.0000 -
377.32/378.48 c 378 24617 3139 1 - 0.0000 -
382.71/383.80 c 384 25149 3201 1 - 0.0000 -
387.89/389.05 c 389 25550 3277 1 - 0.0000 -
392.98/394.16 c 394 25965 3328 1 - 0.0000 -
398.06/399.23 c 399 26466 3389 1 - 0.0000 -
403.24/404.42 c 404 26826 3437 1 - 0.0000 -
408.54/409.79 c 410 27150 3480 1 - 0.0000 -
413.72/414.98 c 415 27577 3542 1 - 0.0000 -
419.00/420.29 c 420 27954 3614 1 - 0.0000 -
424.29/425.55 c 426 28377 3683 1 - 0.0000 -
429.67/430.96 c 431 28738 3734 1 - 0.0000 -
434.77/436.05 c 436 29052 3752 1 - 0.0000 -
439.95/441.24 c 441 29456 3812 1 - 0.0000 -
445.43/446.72 c 447 29866 3851 1 - 0.0000 -
450.52/451.84 c 452 30301 3897 1 - 0.0000 -
455.50/456.89 c 457 30754 3985 1 - 0.0000 -
460.79/462.14 c 462 31128 4066 1 - 0.0000 -
465.88/467.28 c 467 31503 4111 1 - 0.0000 -
471.26/472.63 c 473 31842 4179 1 - 0.0000 -
476.35/477.72 c 478 32178 4217 1 - 0.0000 -
481.73/483.18 c 483 32491 4263 1 - 0.0000 -
487.31/488.73 c 489 32835 4288 1 - 0.0000 -
492.50/493.99 c 494 33216 4373 1 - 0.0000 -
497.79/499.29 c 499 33549 4417 1 - 0.0000 -
502.87/504.34 c 504 33943 4473 1 - 0.0000 -
508.05/509.58 c 510 34285 4541 1 - 0.0000 -
513.25/514.78 c 515 34546 4574 1 - 0.0000 -
518.43/519.90 c 520 35080 4628 1 - 0.0000 -
523.62/525.11 c 525 35501 4710 1 - 0.0000 -
528.99/530.58 c 531 35894 4776 1 - 0.0000 -
534.18/535.72 c 536 36279 4833 1 - 0.0000 -
539.37/540.97 c 541 36636 4887 1 - 0.0000 -
544.56/546.12 c 546 36981 4920 1 - 0.0000 -
549.74/551.34 c 551 37314 4988 1 - 0.0000 -
554.83/556.49 c 556 37742 5012 1 - 0.0000 -
560.11/561.72 c 562 38084 5122 1 - 0.0000 -
565.40/567.00 c 567 38484 5209 1 - 0.0000 -
570.68/572.37 c 572 38941 5314 1 - 0.0000 -
576.07/577.75 c 578 39327 5373 1 - 0.0000 -
581.15/582.83 c 583 39628 5411 1 - 0.0000 -
586.33/588.00 c 588 40067 5475 1 - 0.0000 -
591.41/593.12 c 593 40428 5504 1 - 0.0000 -
596.50/598.29 c 598 40805 5582 1 - 0.0000 -
601.69/603.40 c 603 41225 5658 1 - 0.0000 -
606.97/608.74 c 609 41555 5745 1 - 0.0000 -
612.26/614.06 c 614 41944 5784 1 - 0.0000 -
617.33/619.17 c 619 42414 5849 1 - 0.0000 -
622.62/624.43 c 624 42773 5906 1 - 0.0000 -
627.70/629.60 c 630 43132 5935 1 - 0.0000 -
633.08/634.97 c 635 43445 5998 1 - 0.0000 -
638.26/640.11 c 640 43866 6043 1 - 0.0000 -
643.65/645.51 c 646 44282 6095 1 - 0.0000 -
648.73/650.68 c 651 44706 6135 1 - 0.0000 -
653.90/655.89 c 656 45114 6203 1 - 0.0000 -
659.29/661.29 c 661 45461 6270 1 - 0.0000 -
664.47/666.42 c 666 45846 6319 1 - 0.0000 -
669.85/671.87 c 672 46166 6408 1 - 0.0000 -
675.24/677.22 c 677 46550 6499 1 - 0.0000 -
680.41/682.45 c 682 46909 6544 1 - 0.0000 -
685.59/687.63 c 688 47286 6597 1 - 0.0000 -
690.68/692.78 c 693 47731 6654 1 - 0.0000 -
695.77/697.88 c 698 48079 6690 1 - 0.0000 -
701.14/703.25 c 703 48432 6719 1 - 0.0000 -
706.32/708.47 c 708 48855 6752 1 - 0.0000 -
711.51/713.65 c 714 49217 6811 1 - 0.0000 -
716.78/718.96 c 719 49648 6874 1 - 0.0000 -
722.07/724.24 c 724 49999 6947 1 - 0.0000 -
727.25/729.46 c 729 50446 6971 1 - 0.0000 -
732.53/734.72 c 735 50826 7043 1 - 0.0000 -
737.62/739.82 c 740 51218 7115 1 - 0.0000 -
743.09/745.35 c 745 51611 7166 1 - 0.0000 -
748.08/750.39 c 750 51942 7202 1 - 0.0000 -
753.26/755.51 c 756 52280 7264 1 - 0.0000 -
758.44/760.73 c 761 52728 7298 1 - 0.0000 -
763.83/766.12 c 766 53012 7353 1 - 0.0000 -
768.90/771.25 c 771 53462 7416 1 - 0.0000 -
774.19/776.58 c 777 53811 7442 1 - 0.0000 -
779.47/781.82 c 782 54144 7483 1 - 0.0000 -
784.85/787.24 c 787 54526 7521 1 - 0.0000 -
789.93/792.38 c 792 54858 7553 1 - 0.0000 -
795.22/797.63 c 798 55200 7602 1 - 0.0000 -
800.50/802.99 c 803 55548 7728 1 - 0.0000 -
805.58/808.09 c 808 55806 7798 1 - 0.0000 -
811.66/814.13 c 814 55966 7818 1 - 0.0000 -
817.04/819.59 c 820 56272 7919 1 - 0.0000 -
822.22/824.72 c 825 56586 7977 1 - 0.0000 -
827.40/829.92 c 830 56953 8051 1 - 0.0000 -
832.38/834.98 c 835 57302 8147 1 - 0.0000 -
837.66/840.27 c 840 57671 8204 1 - 0.0000 -
842.85/845.48 c 845 57941 8271 1 - 0.0000 -
848.23/850.83 c 851 58214 8339 1 - 0.0000 -
853.31/855.97 c 856 58577 8378 1 - 0.0000 -
858.50/861.13 c 861 58903 8430 1 - 0.0000 -
863.58/866.26 c 866 59146 8465 1 - 0.0000 -
868.85/871.53 c 872 59416 8516 1 - 0.0000 -
873.94/876.67 c 877 59696 8542 1 - 0.0000 -
879.21/881.96 c 882 60082 8595 1 - 0.0000 -
884.60/887.32 c 887 60459 8658 1 - 0.0000 -
889.69/892.50 c 892 60999 8720 1 - 0.0000 -
894.87/897.69 c 898 61497 8764 1 - 0.0000 -
899.95/902.73 c 903 61870 8814 1 - 0.0000 -
905.35/908.12 c 908 62204 8889 1 - 0.0000 -
910.62/913.43 c 913 62562 8993 1 - 0.0000 -
915.80/918.61 c 919 62854 9113 1 - 0.0000 -
921.19/924.02 c 924 63240 9202 1 - 0.0000 -
926.28/929.19 c 929 63611 9241 1 - 0.0000 -
931.66/934.54 c 935 63922 9301 1 - 0.0000 -
937.04/939.93 c 940 64310 9385 1 - 0.0000 -
942.53/945.42 c 945 64693 9451 1 - 0.0000 -
947.71/950.68 c 951 65029 9507 1 - 0.0000 -
952.89/955.89 c 956 65343 9562 1 - 0.0000 -
958.19/961.19 c 961 65675 9615 1 - 0.0000 -
963.56/966.54 c 967 65987 9687 1 - 0.0000 -
968.75/971.77 c 972 66376 9778 1 - 0.0000 -
973.94/976.95 c 977 66738 9823 1 - 0.0000 -
979.02/982.06 c 982 67078 9901 1 - 0.0000 -
984.20/987.29 c 987 67484 9953 1 - 0.0000 -
989.39/992.43 c 992 67747 10014 1 - 0.0000 -
994.67/997.70 c 998 68054 10063 1 - 0.0000 -
999.85/1002.98 c 1003 68445 10110 1 - 0.0000 -
1005.05/1008.14 c 1008 68823 10133 1 - 0.0000 -
1010.32/1013.48 c 1013 69204 10198 1 - 0.0000 -
1015.81/1018.93 c 1019 69530 10257 1 - 0.0000 -
1020.99/1024.14 c 1024 69845 10309 1 - 0.0000 -
1026.18/1029.36 c 1029 70303 10384 1 - 0.0000 -
1031.26/1034.44 c 1034 70694 10440 1 - 0.0000 -
1036.44/1039.61 c 1040 71037 10503 1 - 0.0000 -
1041.73/1044.92 c 1045 71332 10528 1 - 0.0000 -
1046.82/1050.00 c 1050 71776 10594 1 - 0.0000 -
1051.90/1055.18 c 1055 72168 10611 1 - 0.0000 -
1057.18/1060.43 c 1060 72608 10695 1 - 0.0000 -
1062.26/1065.55 c 1066 72932 10749 1 - 0.0000 -
1067.66/1070.91 c 1071 73272 10778 1 - 0.0000 -
1072.75/1076.09 c 1076 73679 10827 1 - 0.0000 -
1077.83/1081.18 c 1081 74065 10885 1 - 0.0000 -
1083.10/1086.49 c 1086 74395 10945 1 - 0.0000 -
1088.29/1091.60 c 1092 74764 11000 1 - 0.0000 -
1093.47/1096.87 c 1097 75129 11069 1 - 0.0000 -
1098.66/1102.06 c 1102 75470 11116 1 - 0.0000 -
1103.75/1107.19 c 1107 75818 11152 1 - 0.0000 -
1109.03/1112.41 c 1112 76227 11225 1 - 0.0000 -
1114.12/1117.53 c 1118 76595 11281 1 - 0.0000 -
1119.20/1122.61 c 1123 76948 11320 1 - 0.0000 -
1124.39/1127.80 c 1128 77378 11346 1 - 0.0000 -
1129.57/1133.01 c 1133 77789 11380 1 - 0.0000 -
1134.56/1138.06 c 1138 78219 11489 1 - 0.0000 -
1139.84/1143.37 c 1143 78629 11577 1 - 0.0000 -
1145.13/1148.65 c 1149 78964 11634 1 - 0.0000 -
1150.21/1153.74 c 1154 79362 11714 1 - 0.0000 -
1155.40/1158.93 c 1159 79799 11775 1 - 0.0000 -
1160.68/1164.20 c 1164 80130 11820 1 - 0.0000 -
1165.77/1169.38 c 1169 80624 11899 1 - 0.0000 -
1171.06/1174.63 c 1175 80998 11914 1 - 0.0000 -
1176.64/1180.22 c 1180 81386 11978 1 - 0.0000 -
1181.82/1185.40 c 1185 81769 12030 1 - 0.0000 -
1186.91/1190.51 c 1191 82169 12078 1 - 0.0000 -
1191.99/1195.61 c 1196 82581 12151 1 - 0.0000 -
1197.39/1201.06 c 1201 82971 12196 1 - 0.0000 -
1202.56/1206.22 c 1206 83492 12244 1 - 0.0000 -
1207.64/1211.37 c 1211 83818 12288 1 - 0.0000 -
1212.92/1216.60 c 1217 84171 12341 1 - 0.0000 -
1218.01/1221.76 c 1222 84626 12396 1 - 0.0000 -
1223.19/1226.90 c 1227 84917 12449 1 - 0.0000 -
1228.48/1232.24 c 1232 85341 12495 1 - 0.0000 -
1233.66/1237.49 c 1238 85723 12538 1 - 0.0000 -
1238.84/1242.67 c 1243 86154 12563 1 - 0.0000 -
1244.02/1247.84 c 1248 86642 12592 1 - 0.0000 -
1249.21/1253.05 c 1253 87111 12658 1 - 0.0000 -
1254.29/1258.19 c 1258 87461 12692 1 - 0.0000 -
1259.46/1263.37 c 1263 87978 12706 1 - 0.0000 -
1264.55/1268.43 c 1268 88440 12773 1 - 0.0000 -
1269.63/1273.59 c 1274 88879 12819 1 - 0.0000 -
1274.81/1278.75 c 1279 89256 12884 1 - 0.0000 -
1280.00/1283.93 c 1284 89613 12937 1 - 0.0000 -
1285.09/1289.00 c 1289 90082 12957 1 - 0.0000 -
1290.07/1294.05 c 1294 90500 13009 1 - 0.0000 -
1295.25/1299.21 c 1299 90914 13055 1 - 0.0000 -
1300.33/1304.31 c 1304 91306 13121 1 - 0.0000 -
1305.51/1309.51 c 1310 91761 13189 1 - 0.0000 -
1310.59/1314.68 c 1315 92122 13244 1 - 0.0000 -
1315.78/1319.82 c 1320 92512 13278 1 - 0.0000 -
1320.86/1324.96 c 1325 92931 13320 1 - 0.0000 -
1326.25/1330.31 c 1330 93301 13377 1 - 0.0000 -
1331.53/1335.69 c 1336 93675 13408 1 - 0.0000 -
1336.91/1341.00 c 1341 94078 13478 1 - 0.0000 -
1342.29/1346.40 c 1346 94453 13514 1 - 0.0000 -
1347.48/1351.66 c 1352 94864 13565 1 - 0.0000 -
1352.56/1356.72 c 1357 95249 13624 1 - 0.0000 -
1357.74/1361.94 c 1362 95634 13674 1 - 0.0000 -
1362.83/1367.08 c 1367 95985 13728 1 - 0.0000 -
1368.10/1372.34 c 1372 96361 13794 1 - 0.0000 -
1373.28/1377.53 c 1378 96722 13883 1 - 0.0000 -
1378.47/1382.74 c 1383 97135 13931 1 - 0.0000 -
1383.76/1388.00 c 1388 97560 13961 1 - 0.0000 -
1388.74/1393.06 c 1393 98025 14008 1 - 0.0000 -
1393.91/1398.27 c 1398 98422 14050 1 - 0.0000 -
1399.10/1403.45 c 1403 98799 14098 1 - 0.0000 -
1404.19/1408.52 c 1409 99181 14139 1 - 0.0000 -
1409.27/1413.69 c 1414 99602 14202 1 - 0.0000 -
1414.35/1418.77 c 1419 100035 14261 1 - 0.0000 -
1419.53/1423.96 c 1424 100448 14334 1 - 0.0000 -
1424.72/1429.14 c 1429 100858 14369 1 - 0.0000 -
1430.00/1434.44 c 1434 101293 14442 1 - 0.0000 -
1435.38/1439.80 c 1440 101769 14484 1 - 0.0000 -
1440.36/1444.85 c 1445 102157 14541 1 - 0.0000 -
1445.44/1449.92 c 1450 102548 14586 1 - 0.0000 -
1450.54/1455.06 c 1455 102984 14623 1 - 0.0000 -
1456.02/1460.50 c 1460 103211 14656 1 - 0.0000 -
1461.09/1465.64 c 1466 103634 14712 1 - 0.0000 -
1466.28/1470.86 c 1471 104052 14749 1 - 0.0000 -
1471.47/1476.01 c 1476 104466 14828 1 - 0.0000 -
1476.64/1481.22 c 1481 104867 14938 1 - 0.0000 -
1481.82/1486.42 c 1486 105255 14983 1 - 0.0000 -
1487.00/1491.66 c 1492 105748 15033 1 - 0.0000 -
1492.19/1496.88 c 1497 106205 15106 1 - 0.0000 -
1497.48/1502.11 c 1502 106536 15166 1 - 0.0000 -
1502.65/1507.37 c 1507 106915 15214 1 - 0.0000 -
1507.84/1512.51 c 1513 107273 15256 1 - 0.0000 -
1513.02/1517.72 c 1518 107551 15327 1 - 0.0000 -
1518.10/1522.82 c 1523 107926 15380 1 - 0.0000 -
1523.29/1528.02 c 1528 108278 15406 1 - 0.0000 -
1528.47/1533.22 c 1533 108724 15455 1 - 0.0000 -
1533.55/1538.31 c 1538 109190 15507 1 - 0.0000 -
1538.54/1543.38 c 1543 109764 15502 1 - 0.0000 -
1543.82/1548.68 c 1549 110133 15558 1 - 0.0000 -
1549.10/1553.91 c 1554 110554 15613 1 - 0.0000 -
1554.19/1559.04 c 1559 111034 15676 1 - 0.0000 -
1559.57/1564.48 c 1564 111450 15710 1 - 0.0000 -
1564.75/1569.66 c 1570 111809 15751 1 - 0.0000 -
1569.93/1574.81 c 1575 112270 15803 1 - 0.0000 -
1575.32/1580.21 c 1580 112673 15854 1 - 0.0000 -
1580.50/1585.41 c 1585 113147 15875 1 - 0.0000 -
1585.78/1590.74 c 1591 113483 15913 1 - 0.0000 -
1590.86/1595.84 c 1596 113914 15930 1 - 0.0000 -
1596.06/1601.05 c 1601 114324 16001 1 - 0.0000 -
1601.23/1606.20 c 1606 114820 16042 1 - 0.0000 -
1606.31/1611.38 c 1611 115240 16062 1 - 0.0000 -
1611.39/1616.49 c 1616 115647 16093 1 - 0.0000 -
1616.68/1621.75 c 1622 115995 16164 1 - 0.0000 -
1621.86/1626.92 c 1627 116386 16204 1 - 0.0000 -
1626.84/1631.99 c 1632 116853 16241 1 - 0.0000 -
1632.03/1637.12 c 1637 117374 16305 1 - 0.0000 -
1637.21/1642.32 c 1642 117805 16352 1 - 0.0000 -
1642.29/1647.46 c 1647 118118 16450 1 - 0.0000 -
1647.37/1652.59 c 1653 118511 16466 1 - 0.0000 -
1652.65/1657.84 c 1658 118910 16517 1 - 0.0000 -
1657.73/1662.95 c 1663 119330 16559 1 - 0.0000 -
1662.83/1668.05 c 1668 119660 16616 1 - 0.0000 -
1668.00/1673.28 c 1673 120086 16699 1 - 0.0000 -
1673.29/1678.55 c 1679 120523 16729 1 - 0.0000 -
1678.67/1683.98 c 1684 120986 16773 1 - 0.0000 -
1683.76/1689.04 c 1689 121404 16837 1 - 0.0000 -
1688.93/1694.28 c 1694 121828 16900 1 - 0.0000 -
1694.21/1699.50 c 1700 122225 16934 1 - 0.0000 -
1699.40/1704.71 c 1705 122625 17013 1 - 0.0000 -
1704.58/1709.98 c 1710 123038 17063 1 - 0.0000 -
1709.77/1715.14 c 1715 123494 17090 1 - 0.0000 -
1714.85/1720.28 c 1720 123925 17130 1 - 0.0000 -
1720.23/1725.64 c 1726 124340 17180 1 - 0.0000 -
1725.41/1730.89 c 1731 124712 17228 1 - 0.0000 -
1730.59/1736.01 c 1736 125146 17295 1 - 0.0000 -
1735.87/1741.31 c 1741 125523 17335 1 - 0.0000 -
1740.96/1746.48 c 1746 125913 17367 1 - 0.0000 -
1746.05/1751.56 c 1752 126237 17412 1 - 0.0000 -
1751.13/1756.69 c 1757 126710 17480 1 - 0.0000 -
1756.42/1761.95 c 1762 127101 17530 1 - 0.0000 -
1761.51/1767.07 c 1767 127503 17591 1 - 0.0000 -
1766.69/1772.24 c 1772 127912 17632 1 - 0.0000 -
1771.98/1777.56 c 1778 128306 17654 1 - 0.0000 -
1777.26/1782.80 c 1783 128693 17682 1 - 0.0000 -
1782.45/1788.09 c 1788 129008 17772 1 - 0.0000 -
1787.73/1793.30 c 1793 129428 17778 1 - 0.0000 -
1792.91/1798.53 c 1799 129782 17820 1 - 0.0000 -
1798.29/1803.95 c 1804 130046 17867 1 - 0.0000 -
1803.38/1809.01 c 1809 130363 17896 1 - 0.0000 -
1808.47/1814.16 c 1814 130659 17926 1 - 0.0000 -
1813.55/1819.24 c 1819 131091 17973 1 - 0.0000 -
1818.82/1824.53 c 1825 131406 18008 1 - 0.0000 -
1824.20/1829.91 c 1830 131737 18046 1 - 0.0000 -
1829.40/1835.14 c 1835 132132 18093 1 - 0.0000 -
1834.67/1840.40 c 1840 132484 18163 1 - 0.0000 -
1840.05/1845.80 c 1846 132930 18209 1 - 0.0000 -
1845.24/1851.01 c 1851 133397 18249 1 - 0.0000 -
1850.52/1856.30 c 1856 133762 18251 1 - 0.0000 -
1855.70/1861.54 c 1862 134193 18289 1 - 0.0000 -
1860.88/1866.70 c 1867 134592 18345 1 - 0.0000 -
1866.07/1871.90 c 1872 134992 18369 1 - 0.0000 -
1871.35/1877.24 c 1877 135353 18400 1 - 0.0000 -
1876.44/1882.38 c 1882 135773 18433 1 - 0.0000 -
1881.52/1887.44 c 1887 136210 18498 1 - 0.0000 -
1886.70/1892.60 c 1893 136557 18524 1 - 0.0000 -
1891.78/1897.76 c 1898 136958 18596 1 - 0.0000 -
1897.07/1903.04 c 1903 137404 18627 1 - 0.0000 -
1902.25/1908.20 c 1908 137827 18659 1 - 0.0000 -
1907.33/1913.39 c 1913 138156 18721 1 - 0.0000 -
1912.41/1918.46 c 1918 138585 18764 1 - 0.0000 -
1917.80/1923.85 c 1924 138922 18817 1 - 0.0000 -
1923.09/1929.13 c 1929 139302 18873 1 - 0.0000 -
1928.26/1934.30 c 1934 139608 18880 1 - 0.0000 -
1933.35/1939.45 c 1939 139976 18919 1 - 0.0000 -
1938.63/1944.71 c 1945 140361 18987 1 - 0.0000 -
1943.62/1949.77 c 1950 140714 19038 1 - 0.0000 -
1948.90/1955.09 c 1955 141024 19122 1 - 0.0000 -
1953.98/1960.16 c 1960 141450 19170 1 - 0.0000 -
1959.06/1965.28 c 1965 141826 19224 1 - 0.0000 -
1964.24/1970.43 c 1970 142218 19253 1 - 0.0000 -
1969.42/1975.64 c 1976 142550 19297 1 - 0.0000 -
1974.51/1980.79 c 1981 142852 19365 1 - 0.0000 -
1979.80/1986.06 c 1986 143279 19397 1 - 0.0000 -
1985.17/1991.44 c 1991 143693 19423 1 - 0.0000 -
1990.25/1996.58 c 1997 144088 19463 1 - 0.0000 -
1995.53/2001.89 c 2002 144479 19542 1 - 0.0000 -
2000.73/2007.03 c 2007 144846 19583 1 - 0.0000 -
2005.81/2012.13 c 2012 145199 19641 1 - 0.0000 -
2011.08/2017.46 c 2017 145614 19684 1 - 0.0000 -
2016.37/2022.75 c 2023 146020 19756 1 - 0.0000 -
2021.56/2027.92 c 2028 146379 19779 1 - 0.0000 -
2026.93/2033.37 c 2033 146745 19847 1 - 0.0000 -
2032.62/2039.00 c 2039 147110 19882 1 - 0.0000 -
2037.71/2044.19 c 2044 147459 19930 1 - 0.0000 -
2042.88/2049.36 c 2049 147812 19975 1 - 0.0000 -
2047.97/2054.47 c 2054 148160 20008 1 - 0.0000 -
2053.15/2059.60 c 2060 148454 20071 1 - 0.0000 -
2058.15/2064.66 c 2065 148779 20103 1 - 0.0000 -
2063.23/2069.77 c 2070 149242 20193 1 - 0.0000 -
2068.52/2075.00 c 2075 149622 20227 1 - 0.0000 -
2073.80/2080.39 c 2080 150091 20278 1 - 0.0000 -
2079.18/2085.72 c 2086 150439 20281 1 - 0.0000 -
2084.28/2090.84 c 2091 150885 20330 1 - 0.0000 -
2089.36/2095.99 c 2096 151272 20339 1 - 0.0000 -
2094.75/2101.34 c 2101 151763 20431 1 - 0.0000 -
2099.93/2106.52 c 2107 152231 20475 1 - 0.0000 -
2105.31/2111.96 c 2112 152584 20503 1 - 0.0000 -
2110.51/2117.17 c 2117 152987 20560 1 - 0.0000 -
2115.79/2122.41 c 2122 153413 20592 1 - 0.0000 -
2120.97/2127.66 c 2128 153888 20609 1 - 0.0000 -
2126.37/2133.03 c 2133 154273 20658 1 - 0.0000 -
2131.64/2138.30 c 2138 154722 20708 1 - 0.0000 -
2136.74/2143.44 c 2143 155077 20749 1 - 0.0000 -
2142.12/2148.82 c 2149 155532 20776 1 - 0.0000 -
2147.31/2154.07 c 2154 155976 20805 1 - 0.0000 -
2152.59/2159.35 c 2159 156348 20841 1 - 0.0000 -
2157.97/2164.73 c 2165 156790 20898 1 - 0.0000 -
2162.96/2169.80 c 2170 157194 20958 1 - 0.0000 -
2168.35/2175.12 c 2175 157542 21006 1 - 0.0000 -
2173.43/2180.23 c 2180 157921 21042 1 - 0.0000 -
2178.52/2185.37 c 2185 158286 21087 1 - 0.0000 -
2183.70/2190.50 c 2191 158774 21134 1 - 0.0000 -
2189.20/2196.06 c 2196 159104 21178 1 - 0.0000 -
2194.37/2201.25 c 2201 159464 21216 1 - 0.0000 -
2199.47/2206.35 c 2206 159845 21247 1 - 0.0000 -
2204.65/2211.54 c 2212 160193 21297 1 - 0.0000 -
2209.73/2216.60 c 2217 160647 21323 1 - 0.0000 -
2215.02/2221.93 c 2222 160975 21340 1 - 0.0000 -
2220.21/2227.18 c 2227 161433 21387 1 - 0.0000 -
2225.69/2232.60 c 2233 161839 21429 1 - 0.0000 -
2231.58/2238.59 c 2239 162128 21457 1 - 0.0000 -
2236.76/2243.76 c 2244 162514 21531 1 - 0.0000 -
2241.85/2248.81 c 2249 163078 21564 1 - 0.0000 -
2246.94/2253.99 c 2254 163491 21683 1 - 0.0000 -
2252.02/2259.06 c 2259 164141 21777 1 - 0.0000 -
2257.11/2264.11 c 2264 164802 21879 1 - 0.0000 -
2262.10/2269.17 c 2269 165375 21964 1 - 0.0000 -
2267.17/2274.22 c 2274 166012 21980 1 - 0.0000 -
2272.17/2279.28 c 2279 166666 22050 1 - 0.0000 -
2277.25/2284.34 c 2284 167208 22184 1 - 0.0000 -
2282.53/2289.68 c 2290 167629 22228 1 - 0.0000 -
2287.93/2295.09 c 2295 168003 22300 1 - 0.0000 -
2293.31/2300.40 c 2300 168327 22336 1 - 0.0000 -
2298.49/2305.62 c 2306 168746 22372 1 - 0.0000 -
2303.77/2310.96 c 2311 169062 22416 1 - 0.0000 -
2309.17/2316.36 c 2316 169404 22432 1 - 0.0000 -
2314.34/2321.50 c 2322 169747 22486 1 - 0.0000 -
2319.44/2326.60 c 2327 170086 22507 1 - 0.0000 -
2324.83/2332.00 c 2332 170361 22530 1 - 0.0000 -
2329.81/2337.09 c 2337 170781 22575 1 - 0.0000 -
2334.98/2342.22 c 2342 171129 22634 1 - 0.0000 -
2340.07/2347.39 c 2347 171532 22697 1 - 0.0000 -
2345.46/2352.75 c 2353 171906 22767 1 - 0.0000 -
2350.55/2357.84 c 2358 172276 22844 1 - 0.0000 -
2355.84/2363.17 c 2363 172732 22855 1 - 0.0000 -
2361.12/2368.42 c 2368 173089 22903 1 - 0.0000 -
2366.30/2373.62 c 2374 173450 22925 1 - 0.0000 -
2371.59/2378.91 c 2379 173856 22956 1 - 0.0000 -
2376.58/2383.96 c 2384 174218 22985 1 - 0.0000 -
2381.76/2389.16 c 2389 174647 23030 1 - 0.0000 -
2386.85/2394.26 c 2394 174991 23108 1 - 0.0000 -
2392.24/2399.65 c 2400 175434 23134 1 - 0.0000 -
2397.32/2404.75 c 2405 175761 23143 1 - 0.0000 -
2402.61/2410.04 c 2410 176192 23190 1 - 0.0000 -
2407.70/2415.13 c 2415 176602 23222 1 - 0.0000 -
2412.98/2420.45 c 2420 176937 23287 1 - 0.0000 -
2418.16/2425.61 c 2426 177297 23338 1 - 0.0000 -
2423.35/2430.85 c 2431 177676 23397 1 - 0.0000 -
2428.64/2436.14 c 2436 178061 23468 1 - 0.0000 -
2433.82/2441.37 c 2441 178520 23538 1 - 0.0000 -
2439.01/2446.56 c 2447 179060 23552 1 - 0.0000 -
2444.60/2452.12 c 2452 179355 23609 1 - 0.0000 -
2449.78/2457.32 c 2457 179729 23694 1 - 0.0000 -
2454.86/2462.41 c 2462 180232 23743 1 - 0.0000 -
2460.06/2467.63 c 2468 180604 23787 1 - 0.0000 -
2465.14/2472.73 c 2473 180951 23843 1 - 0.0000 -
2470.53/2478.19 c 2478 181329 23880 1 - 0.0000 -
2475.81/2483.49 c 2483 181710 23932 1 - 0.0000 -
2480.99/2488.69 c 2489 182139 23992 1 - 0.0000 -
2486.29/2493.92 c 2494 182549 24013 1 - 0.0000 -
2491.47/2499.10 c 2499 182892 24049 1 - 0.0000 -
2496.56/2504.27 c 2504 183199 24102 1 - 0.0000 -
2501.94/2509.66 c 2510 183582 24135 1 - 0.0000 -
2507.34/2515.00 c 2515 184066 24182 1 - 0.0000 -
2512.42/2520.15 c 2520 184447 24252 1 - 0.0000 -
2517.79/2525.53 c 2526 184903 24296 1 - 0.0000 -
2522.79/2530.58 c 2531 185296 24373 1 - 0.0000 -
2528.17/2535.90 c 2536 185609 24379 1 - 0.0000 -
2533.36/2541.16 c 2541 186031 24419 1 - 0.0000 -
2538.74/2546.52 c 2547 186462 24424 1 - 0.0000 -
2543.73/2551.56 c 2552 186860 24472 1 - 0.0000 -
2548.81/2556.62 c 2557 187247 24483 1 - 0.0000 -
2554.00/2561.84 c 2562 187570 24497 1 - 0.0000 -
2559.38/2567.22 c 2567 187947 24558 1 - 0.0000 -
2564.67/2572.56 c 2573 188406 24604 1 - 0.0000 -
2569.76/2577.68 c 2578 188774 24667 1 - 0.0000 -
2575.15/2583.00 c 2583 189198 24674 1 - 0.0000 -
2580.23/2588.12 c 2588 189544 24728 1 - 0.0000 -
2585.32/2593.21 c 2593 189944 24775 1 - 0.0000 -
2590.40/2598.32 c 2598 190311 24813 1 - 0.0000 -
2595.69/2603.68 c 2604 190686 24855 1 - 0.0000 -
2600.87/2608.87 c 2609 191073 24912 1 - 0.0000 -
2606.26/2614.20 c 2614 191418 24958 1 - 0.0000 -
2611.35/2619.36 c 2619 191806 24995 1 - 0.0000 -
2616.73/2624.77 c 2625 192199 25029 1 - 0.0000 -
2622.12/2630.17 c 2630 192539 25053 1 - 0.0000 -
2627.20/2635.23 c 2635 192906 25102 1 - 0.0000 -
2632.59/2640.61 c 2641 193224 25135 1 - 0.0000 -
2637.67/2645.71 c 2646 193625 25155 1 - 0.0000 -
2642.86/2650.90 c 2651 194080 25221 1 - 0.0000 -
2647.95/2656.09 c 2656 194456 25260 1 - 0.0000 -
2653.23/2661.37 c 2661 194879 25281 1 - 0.0000 -
2658.62/2666.75 c 2667 195322 25312 1 - 0.0000 -
2663.81/2671.93 c 2672 195771 25335 1 - 0.0000 -
2669.00/2677.13 c 2677 196190 25376 1 - 0.0000 -
2674.27/2682.46 c 2682 196743 25413 1 - 0.0000 -
2679.46/2687.62 c 2688 197097 25449 1 - 0.0000 -
2684.54/2692.72 c 2693 197517 25513 1 - 0.0000 -
2689.73/2697.94 c 2698 197930 25524 1 - 0.0000 -
2694.92/2703.14 c 2703 198279 25590 1 - 0.0000 -
2700.10/2708.30 c 2708 198649 25608 1 - 0.0000 -
2705.19/2713.48 c 2713 198972 25654 1 - 0.0000 -
2710.47/2718.73 c 2719 199402 25712 1 - 0.0000 -
2715.46/2723.78 c 2724 199957 25759 1 - 0.0000 -
2720.74/2729.02 c 2729 200276 25851 1 - 0.0000 -
2725.84/2734.17 c 2734 200661 25909 1 - 0.0000 -
2730.92/2739.24 c 2739 201029 25955 1 - 0.0000 -
2736.10/2744.44 c 2744 201421 25982 1 - 0.0000 -
2741.29/2749.67 c 2750 201786 26009 1 - 0.0000 -
2746.47/2754.81 c 2755 202183 26048 1 - 0.0000 -
2751.67/2760.02 c 2760 202548 26045 1 - 0.0000 -
2756.84/2765.23 c 2765 202873 26090 1 - 0.0000 -
2762.13/2770.54 c 2771 203277 26109 1 - 0.0000 -
2767.22/2775.63 c 2776 203629 26140 1 - 0.0000 -
2772.51/2780.95 c 2781 203868 26178 1 - 0.0000 -
2777.70/2786.15 c 2786 204181 26223 1 - 0.0000 -
2782.77/2791.25 c 2791 204535 26241 1 - 0.0000 -
2787.86/2796.30 c 2796 204974 26269 1 - 0.0000 -
2793.05/2801.51 c 2802 205400 26287 1 - 0.0000 -
2798.13/2806.62 c 2807 205838 26327 1 - 0.0000 -
2803.12/2811.69 c 2812 206316 26386 1 - 0.0000 -
2808.51/2817.08 c 2817 206692 26429 1 - 0.0000 -
2813.90/2822.42 c 2822 207034 26488 1 - 0.0000 -
2818.98/2827.54 c 2828 207428 26519 1 - 0.0000 -
2824.26/2832.84 c 2833 207782 26553 1 - 0.0000 -
2829.74/2838.35 c 2838 208254 26593 1 - 0.0000 -
2834.94/2843.50 c 2844 208659 26641 1 - 0.0000 -
2839.92/2848.58 c 2849 209139 26692 1 - 0.0000 -
2845.90/2854.57 c 2855 209577 26740 1 - 0.0000 -
2851.19/2859.88 c 2860 209858 26784 1 - 0.0000 -
2856.27/2864.94 c 2865 210208 26822 1 - 0.0000 -
2861.56/2870.20 c 2870 210467 26837 1 - 0.0000 -
2866.64/2875.31 c 2875 210793 26872 1 - 0.0000 -
2871.73/2880.47 c 2880 211197 26905 1 - 0.0000 -
2877.11/2885.81 c 2886 211656 26968 1 - 0.0000 -
2882.31/2891.07 c 2891 212003 26994 1 - 0.0000 -
2887.48/2896.27 c 2896 212357 27011 1 - 0.0000 -
2892.67/2901.40 c 2901 212700 27056 1 - 0.0000 -
2897.76/2906.53 c 2907 213141 27113 1 - 0.0000 -
2902.84/2911.64 c 2912 213533 27168 1 - 0.0000 -
2908.03/2916.84 c 2917 213978 27177 1 - 0.0000 -
2913.33/2922.10 c 2922 214437 27203 1 - 0.0000 -
2918.51/2927.38 c 2927 214756 27221 1 - 0.0000 -
2923.69/2932.57 c 2933 215062 27275 1 - 0.0000 -
2929.18/2938.04 c 2938 215370 27346 1 - 0.0000 -
2934.36/2943.26 c 2943 215672 27379 1 - 0.0000 -
2939.64/2948.54 c 2949 216084 27389 1 - 0.0000 -
2944.93/2953.85 c 2954 216440 27388 1 - 0.0000 -
2950.02/2958.96 c 2959 216866 27419 1 - 0.0000 -
2955.30/2964.21 c 2964 217210 27481 1 - 0.0000 -
2960.29/2969.29 c 2969 217598 27497 1 - 0.0000 -
2965.47/2974.45 c 2974 218048 27514 1 - 0.0000 -
2970.66/2979.68 c 2980 218520 27526 1 - 0.0000 -
2975.84/2984.86 c 2985 218864 27562 1 - 0.0000 -
2981.23/2990.22 c 2990 219346 27616 1 - 0.0000 -
2986.42/2995.42 c 2995 219737 27687 1 - 0.0000 -
2991.40/3000.49 c 3000 220027 27738 1 - 0.0000 -
2996.49/3005.54 c 3006 220332 27761 1 - 0.0000 -
3001.67/3010.73 c 3011 220782 27804 1 - 0.0000 -
3006.86/3015.93 c 3016 221179 27838 1 - 0.0000 -
3011.95/3021.09 c 3021 221617 27891 1 - 0.0000 -
3017.34/3026.49 c 3026 221933 27945 1 - 0.0000 -
3022.62/3031.75 c 3032 222285 27991 1 - 0.0000 -
3027.91/3037.08 c 3037 222654 27981 1 - 0.0000 -
3033.09/3042.28 c 3042 223102 28049 1 - 0.0000 -
3038.28/3047.48 c 3047 223518 28053 1 - 0.0000 -
3043.36/3052.55 c 3053 223911 28120 1 - 0.0000 -
3048.45/3057.66 c 3058 224277 28158 1 - 0.0000 -
3053.54/3062.75 c 3063 224590 28195 1 - 0.0000 -
3058.62/3067.81 c 3068 224940 28217 1 - 0.0000 -
3063.92/3073.16 c 3073 225336 28259 1 - 0.0000 -
3069.19/3078.49 c 3078 225778 28311 1 - 0.0000 -
3074.68/3083.92 c 3084 226071 28339 1 - 0.0000 -
3079.77/3089.07 c 3089 226373 28383 1 - 0.0000 -
3085.35/3094.64 c 3095 226746 28418 1 - 0.0000 -
3090.53/3099.81 c 3100 227151 28467 1 - 0.0000 -
3095.52/3104.89 c 3105 227494 28510 1 - 0.0000 -
3100.90/3110.22 c 3110 227904 28574 1 - 0.0000 -
3106.00/3115.37 c 3115 228290 28612 1 - 0.0000 -
3111.28/3120.69 c 3121 228620 28632 1 - 0.0000 -
3116.56/3125.90 c 3126 228996 28666 1 - 0.0000 -
3121.85/3131.22 c 3131 229335 28689 1 - 0.0000 -
3127.04/3136.42 c 3136 229727 28716 1 - 0.0000 -
3132.22/3141.60 c 3142 230090 28802 1 - 0.0000 -
3137.31/3146.72 c 3147 230418 28896 1 - 0.0000 -
3142.49/3151.96 c 3152 230744 28963 1 - 0.0000 -
3147.78/3157.23 c 3157 231082 28990 1 - 0.0000 -
3152.97/3162.45 c 3162 231465 29036 1 - 0.0000 -
3158.06/3167.52 c 3168 231871 29062 1 - 0.0000 -
3163.24/3172.74 c 3173 232297 29108 1 - 0.0000 -
3168.22/3177.80 c 3178 232803 29133 1 - 0.0000 -
3173.31/3182.85 c 3183 233306 29193 1 - 0.0000 -
3178.40/3187.96 c 3188 233774 29257 1 - 0.0000 -
3183.68/3193.25 c 3193 234329 29309 1 - 0.0000 -
3188.87/3198.42 c 3198 234653 29336 1 - 0.0000 -
3194.25/3203.83 c 3204 234883 29400 1 - 0.0000 -
3199.24/3208.88 c 3209 235274 29445 1 - 0.0000 -
3204.63/3214.25 c 3214 235602 29479 1 - 0.0000 -
3209.91/3219.52 c 3220 235948 29502 1 - 0.0000 -
3215.00/3224.65 c 3225 236318 29522 1 - 0.0000 -
3220.08/3229.71 c 3230 236854 29560 1 - 0.0000 -
3225.16/3234.88 c 3235 237238 29633 1 - 0.0000 -
3230.46/3240.16 c 3240 237527 29662 1 - 0.0000 -
3235.64/3245.34 c 3245 237952 29678 1 - 0.0000 -
3241.22/3250.97 c 3251 238243 29712 1 - 0.0000 -
3246.51/3256.28 c 3256 238571 29746 1 - 0.0000 -
3251.80/3261.58 c 3262 238914 29784 1 - 0.0000 -
3256.88/3266.67 c 3267 239285 29842 1 - 0.0000 -
3262.28/3272.02 c 3272 239759 29884 1 - 0.0000 -
3267.66/3277.48 c 3277 240229 29906 1 - 0.0000 -
3272.94/3282.73 c 3283 240543 29940 1 - 0.0000 -
3278.03/3287.85 c 3288 240909 29955 1 - 0.0000 -
3283.22/3293.03 c 3293 241395 30032 1 - 0.0000 -
3288.50/3298.34 c 3298 241726 30093 1 - 0.0000 -
3293.69/3303.54 c 3304 242212 30150 1 - 0.0000 -
3299.17/3309.07 c 3309 242607 30171 1 - 0.0000 -
3304.55/3314.46 c 3314 242804 30206 1 - 0.0000 -
3309.84/3319.70 c 3320 243140 30251 1 - 0.0000 -
3315.23/3325.16 c 3325 243436 30288 1 - 0.0000 -
3320.31/3330.21 c 3330 243929 30362 1 - 0.0000 -
3325.50/3335.48 c 3335 244381 30364 1 - 0.0000 -
3331.19/3341.17 c 3341 244683 30399 1 - 0.0000 -
3336.37/3346.33 c 3346 244983 30414 1 - 0.0000 -
3341.76/3351.76 c 3352 245332 30432 1 - 0.0000 -
3346.94/3356.94 c 3357 245732 30458 1 - 0.0000 -
3352.14/3362.14 c 3362 246178 30500 1 - 0.0000 -
3357.41/3367.47 c 3367 246474 30542 1 - 0.0000 -
3362.60/3372.62 c 3373 246778 30555 1 - 0.0000 -
3367.69/3377.76 c 3378 247188 30582 1 - 0.0000 -
3372.87/3382.96 c 3383 247488 30620 1 - 0.0000 -
3377.96/3388.01 c 3388 247917 30632 1 - 0.0000 -
3383.35/3393.41 c 3393 248258 30663 1 - 0.0000 -
3388.43/3398.57 c 3399 248679 30696 1 - 0.0000 -
3393.72/3403.81 c 3404 249053 30684 1 - 0.0000 -
3398.70/3408.84 c 3409 249406 30712 1 - 0.0000 -
3403.90/3414.05 c 3414 249831 30755 1 - 0.0000 -
3409.08/3419.24 c 3419 250225 30792 1 - 0.0000 -
3414.26/3424.47 c 3424 250628 30838 1 - 0.0000 -
3419.35/3429.58 c 3430 251084 30910 1 - 0.0000 -
3424.53/3434.71 c 3435 251685 30956 1 - 0.0000 -
3429.72/3439.98 c 3440 252100 30978 1 - 0.0000 -
3435.31/3445.53 c 3446 252433 31039 1 - 0.0000 -
3440.40/3450.61 c 3451 252852 31068 1 - 0.0000 -
3445.58/3455.83 c 3456 253250 31114 1 - 0.0000 -
3451.06/3461.33 c 3461 253526 31128 1 - 0.0000 -
3456.25/3466.50 c 3467 253895 31135 1 - 0.0000 -
3461.34/3471.64 c 3472 254331 31154 1 - 0.0000 -
3466.53/3476.82 c 3477 254914 31173 1 - 0.0000 -
3471.91/3482.26 c 3482 255277 31179 1 - 0.0000 -
3477.30/3487.65 c 3488 255606 31223 1 - 0.0000 -
3482.48/3492.81 c 3493 256014 31245 1 - 0.0000 -
3487.67/3498.01 c 3498 256477 31295 1 - 0.0000 -
3492.86/3503.21 c 3503 256865 31318 1 - 0.0000 -
3498.14/3508.58 c 3509 257177 31342 1 - 0.0000 -
3503.22/3513.69 c 3514 257503 31376 1 - 0.0000 -
3508.41/3518.84 c 3519 257909 31429 1 - 0.0000 -
3513.49/3523.96 c 3524 258397 31456 1 - 0.0000 -
3518.69/3529.15 c 3529 258798 31518 1 - 0.0000 -
3523.77/3534.29 c 3534 259199 31547 1 - 0.0000 -
3528.95/3539.43 c 3539 259551 31624 1 - 0.0000 -
3534.14/3544.62 c 3545 260095 31698 1 - 0.0000 -
3539.13/3549.67 c 3550 260650 31731 1 - 0.0000 -
3544.21/3554.73 c 3555 260928 31773 1 - 0.0000 -
3549.30/3559.86 c 3560 261282 31786 1 - 0.0000 -
3554.49/3565.07 c 3565 261735 31799 1 - 0.0000 -
3559.58/3570.15 c 3570 262180 31804 1 - 0.0000 -
3564.85/3575.49 c 3576 262485 31819 1 - 0.0000 -
3570.05/3580.68 c 3581 262815 31865 1 - 0.0000 -
3575.33/3585.94 c 3586 263180 31898 1 - 0.0000 -
3580.61/3591.27 c 3591 263493 31917 1 - 0.0000 -
3585.81/3596.42 c 3596 263906 31950 1 - 0.0000 -
3587.70/3598.36 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.70/3598.36 c Total Time : 3598.3600
3587.70/3598.36 c solving : 3598.3600
3587.70/3598.36 c presolving : 0.1559 (included in solving)
3587.70/3598.36 c B&B Tree :
3587.70/3598.36 c nodes (total) : 1
3587.70/3598.36 c Solution :
3587.70/3598.36 c Solutions found : 0
3587.70/3598.36 c Primal Bound : -
3587.70/3598.36 c Dual Bound : +0.00000000000000e+00
3587.70/3598.36 c Gap : -
3587.70/3598.37 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 (59659 MiB free)
memory of node 1: 64510 MiB (60147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464566-1722385814/watcher-4464566-1722385814 -o /tmp/evaluation-result-4464566-1722385814/solver-4464566-1722385814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464566-1722385814.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
solver pid=34810, runsolver pid=34806
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100407 s]*
/proc/loadavg: 4.06 4.08 4.09 7/266 34866
/proc/meminfo: memFree=122649340/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=53720 memory=43168 CPUtime=0.09 cores=1,3
/proc/34810/stat : 34810 (fscip) R 34806 34810 29413 0 -1 4194304 9624 0 0 0 8 1 0 0 20 0 1 0 5183148 55009280 10792 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 13430 10792 2694 3035 0 9826 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53720 KiB
Current children cumulated memory: 43168 KiB
[startup+0.20621 s]*
/proc/loadavg: 4.06 4.08 4.09 5/266 34867
/proc/meminfo: memFree=122616320/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=178836 memory=84320 CPUtime=0.2 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 19904 0 0 0 17 3 0 0 20 0 2 0 5183148 183128064 21080 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 44709 21080 2758 3035 0 25865 0
[pid=34810/tid=34867] ppid=34806 vsize=178836 memory=8505393642823811203 CPUtime=0 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 2063 0 0 0 0 0 0 0 20 0 2 0 5183168 183128064 21080 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 178836 KiB
Current children cumulated memory: 84320 KiB
[startup+0.30592 s]*
/proc/loadavg: 4.06 4.08 4.09 5/267 34868
/proc/meminfo: memFree=122580312/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=196948 memory=112848 CPUtime=0.29 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 27003 0 0 0 26 3 0 0 20 0 3 0 5183148 201674752 28212 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 49237 28212 2838 3035 0 35369 0
[pid=34810/tid=34867] ppid=34806 vsize=196948 memory=-5155629115422305157 CPUtime=0.1 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 9145 0 0 0 9 1 0 0 20 0 3 0 5183168 201674752 28212 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=196948 memory=7222722251732327956 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183170 201674752 28212 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 196948 KiB
Current children cumulated memory: 112848 KiB
[startup+0.700251 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 34868
/proc/meminfo: memFree=122573796/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=197092 memory=118960 CPUtime=0.68 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 28446 0 0 0 64 4 0 0 20 0 3 0 5183148 201822208 29740 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 49273 29740 2934 3035 0 36881 0
[pid=34810/tid=34867] ppid=34806 vsize=197092 memory=13616 CPUtime=0.48 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 10588 0 0 0 47 1 0 0 20 0 3 0 5183168 201822208 29740 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=197092 memory=0 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183170 201822208 29740 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197092 KiB
Current children cumulated memory: 118960 KiB
[startup+1.50025 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 34870
/proc/meminfo: memFree=122573088/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=199364 memory=138816 CPUtime=1.48 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 42613 0 0 0 143 5 0 0 20 0 3 0 5183148 204148736 34704 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 49841 34704 2950 3035 0 42374 0
[pid=34810/tid=34867] ppid=34806 vsize=199364 memory=0 CPUtime=1.28 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 24750 0 0 0 126 2 0 0 20 0 3 0 5183168 204148736 34704 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=199364 memory=0 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5183170 204148736 34704 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199364 KiB
Current children cumulated memory: 138816 KiB
[startup+3.10568 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 34870
/proc/meminfo: memFree=122545060/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=199364 memory=139864 CPUtime=3.08 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 43291 0 0 0 303 5 0 0 20 0 3 0 5183148 204148736 34966 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 49841 34966 2950 3035 0 42374 0
[pid=34810/tid=34867] ppid=34806 vsize=199364 memory=13616 CPUtime=2.88 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 25428 0 0 0 286 2 0 0 20 0 3 0 5183168 204148736 34966 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=199364 memory=-5155629115422305157 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5183170 204148736 34966 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 199364 KiB
Current children cumulated memory: 139864 KiB
[startup+6.30021 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 34870
/proc/meminfo: memFree=122503956/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=264900 memory=178208 CPUtime=6.27 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 63888 0 0 0 620 7 0 0 20 0 3 0 5183148 271257600 44552 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 66225 44552 2998 3035 0 52714 0
[pid=34810/tid=34867] ppid=34806 vsize=264900 memory=-5155629115422305157 CPUtime=6.07 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 45995 0 0 0 603 4 0 0 20 0 3 0 5183168 271257600 44552 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=264900 memory=152964 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5183170 271257600 44552 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 264900 KiB
Current children cumulated memory: 178208 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 34872
/proc/meminfo: memFree=122470804/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=264900 memory=184136 CPUtime=12.64 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 98377 0 0 0 1255 9 0 0 20 0 3 0 5183148 271257600 46034 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 66225 46034 2998 3035 0 54099 0
[pid=34810/tid=34867] ppid=34806 vsize=264900 memory=-7091035829880053888 CPUtime=12.45 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 80446 0 0 0 1238 7 0 0 20 0 3 0 5183168 271257600 46034 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=264900 memory=178272 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5183170 271257600 46034 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 264900 KiB
Current children cumulated memory: 184136 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 34873
/proc/meminfo: memFree=122413828/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=264900 memory=213804 CPUtime=25.41 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 149740 0 0 0 2527 14 0 0 20 0 3 0 5183148 271257600 53451 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 66225 53451 2998 3035 0 61996 0
[pid=34810/tid=34867] ppid=34806 vsize=264900 memory=211888 CPUtime=25.21 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 131767 0 0 0 2510 11 0 0 20 0 3 0 5183168 271257600 53451 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=264900 memory=213080 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5183170 271257600 53451 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 264900 KiB
Current children cumulated memory: 213804 KiB
[startup+51.1059 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 34880
/proc/meminfo: memFree=122324680/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=330572 memory=245652 CPUtime=50.95 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 203991 0 0 0 5077 18 0 0 20 0 3 0 5183148 338505728 61413 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 82643 61413 2998 3035 0 69798 0
[pid=34810/tid=34867] ppid=34806 vsize=330572 memory=211888 CPUtime=50.74 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 185978 0 0 0 5059 15 0 0 20 0 3 0 5183168 338505728 61413 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=330572 memory=245652 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5183170 338505728 61413 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 330572 KiB
Current children cumulated memory: 245652 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/266 34888
/proc/meminfo: memFree=121953828/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=330572 memory=264676 CPUtime=102 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 263340 0 0 0 10175 25 0 0 20 0 3 0 5183148 338505728 66169 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 82643 66169 2998 3035 0 75562 0
[pid=34810/tid=34867] ppid=34806 vsize=330572 memory=264588 CPUtime=101.8 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 245282 0 0 0 10158 22 0 0 20 0 3 0 5183168 338505728 66169 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=330572 memory=12840 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 5183170 338505728 66169 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 330572 KiB
Current children cumulated memory: 264676 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 34899
/proc/meminfo: memFree=121818316/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=403140 memory=294600 CPUtime=161.83 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 330259 0 0 0 16152 31 0 0 20 0 3 0 5183148 412815360 73650 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 100785 73650 2998 3035 0 82418 0
[pid=34810/tid=34867] ppid=34806 vsize=403140 memory=265072 CPUtime=161.62 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 312159 0 0 0 16134 28 0 0 20 0 3 0 5183168 412815360 73650 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=403140 memory=273840 CPUtime=0 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 5183170 412815360 73650 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 403140 KiB
Current children cumulated memory: 294600 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 34909
/proc/meminfo: memFree=121719632/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=406228 memory=299264 CPUtime=221.66 cores=1,3
################
# More data... #
################
/proc/34810/statm: 280780 256591 2998 3035 0 267544 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=12960 CPUtime=3451.62 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3021183 0 0 0 344797 365 0 0 20 0 3 0 5183168 1150074880 256591 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=1024316 CPUtime=0.02 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 1 0 0 20 0 3 0 5183170 1150074880 256591 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1026364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 36835
/proc/meminfo: memFree=120429216/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1030316 CPUtime=3511.9 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3120226 0 0 0 350805 385 0 0 20 0 3 0 5183148 1150074880 257579 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 257579 2998 3035 0 268003 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=1029096 CPUtime=3511.46 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3101260 0 0 0 350772 374 0 0 20 0 3 0 5183168 1150074880 257579 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=11480 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 257579 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1030316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 4/258 36876
/proc/meminfo: memFree=121382272/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1043136 CPUtime=3571.74 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3176606 0 0 0 356782 392 0 0 20 0 3 0 5183148 1150074880 260784 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 260784 2998 3035 0 269176 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=1041996 CPUtime=3571.3 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3157626 0 0 0 356749 381 0 0 20 0 3 0 5183168 1150074880 260784 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=1904 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 260784 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1043136 KiB
[startup+3598.39 s]
# the end of solver process 34810 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.8 s, system=4.00065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.09 4/258 36876
/proc/meminfo: memFree=121382300/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1043160 CPUtime=3573.44 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3176825 0 0 0 356952 392 0 0 20 0 3 0 5183148 1150074880 260790 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 260790 2998 3035 0 269199 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=7686721470247706567 CPUtime=3572.99 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3157845 0 0 0 356918 381 0 0 20 0 3 0 5183168 1150074880 260790 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=4283656191890583199 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 260790 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1043160 KiB
[startup+3590.4 s]
/proc/loadavg: 3.99 4.07 4.08 4/258 36876
/proc/meminfo: memFree=121381504/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1043272 CPUtime=3579.81 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3183564 0 0 0 357588 393 0 0 20 0 3 0 5183148 1150074880 260818 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 260818 2998 3035 0 269214 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=12960 CPUtime=3579.37 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3164584 0 0 0 357555 382 0 0 20 0 3 0 5183168 1150074880 260818 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=1043056 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 260818 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3579.81 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1043272 KiB
[startup+3593.6 s]
/proc/loadavg: 3.99 4.07 4.08 3/249 36909
/proc/meminfo: memFree=122630408/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1043472 CPUtime=3583.01 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3184319 0 0 0 357908 393 0 0 20 0 3 0 5183148 1150074880 260868 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 260868 2998 3035 0 269280 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=1043256 CPUtime=3582.56 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3165339 0 0 0 357874 382 0 0 20 0 3 0 5183168 1150074880 260868 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=1043396 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 260868 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3583.01 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1043472 KiB
[startup+3596.8 s]
/proc/loadavg: 3.83 4.04 4.07 3/249 36909
/proc/meminfo: memFree=122628108/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1045708 CPUtime=3586.21 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3208786 0 0 0 358226 395 0 0 20 0 3 0 5183148 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 261427 2998 3035 0 269322 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=11480 CPUtime=3585.75 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3189806 0 0 0 358192 383 0 0 20 0 3 0 5183168 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=1043260 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1045708 KiB
[startup+3597.6 s]
/proc/loadavg: 3.83 4.04 4.07 3/249 36909
/proc/meminfo: memFree=122628140/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1045708 CPUtime=3587 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3208870 0 0 0 358305 395 0 0 20 0 3 0 5183148 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 261427 2998 3035 0 269322 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=4283656191890583199 CPUtime=3586.55 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3189890 0 0 0 358272 383 0 0 20 0 3 0 5183168 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=11480 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1045708 KiB
[startup+3598 s]*
/proc/loadavg: 3.83 4.04 4.07 3/249 36909
/proc/meminfo: memFree=122628092/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1123120 memory=1045708 CPUtime=3587.41 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3209000 0 0 0 358346 395 0 0 20 0 3 0 5183148 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280780 261427 2998 3035 0 269322 0
[pid=34810/tid=34867] ppid=34806 vsize=1123120 memory=7686721470247706567 CPUtime=3586.95 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3190017 0 0 0 358312 383 0 0 20 0 3 0 5183168 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1123120 memory=4283656191890583199 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1150074880 261427 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 1123120 KiB
Current children cumulated memory: 1045708 KiB
[startup+3598.2 s]
/proc/loadavg: 3.83 4.04 4.07 3/249 36909
/proc/meminfo: memFree=122628092/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1120848 memory=1043436 CPUtime=3587.6 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3235992 0 0 0 358364 396 0 0 20 0 3 0 5183148 1147748352 260859 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280212 260859 2998 3035 0 268754 0
[pid=34810/tid=34867] ppid=34806 vsize=1120848 memory=4976 CPUtime=3587.15 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3217014 0 0 0 358330 385 0 0 20 0 3 0 5183168 1147748352 260859 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1120848 memory=1045708 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1147748352 260859 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 1120848 KiB
Current children cumulated memory: 1043436 KiB
[startup+3598.3 s]
/proc/loadavg: 3.83 4.04 4.07 3/249 36909
/proc/meminfo: memFree=122628092/131524600 swapFree=131071996/131071996
[pid=34810] ppid=34806 vsize=1120848 memory=1043436 CPUtime=3587.7 cores=1,3
/proc/34810/stat : 34810 (fscip) S 34806 34810 29413 0 -1 1077936128 3245059 0 0 0 358373 397 0 0 20 0 3 0 5183148 1147748352 260859 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
/proc/34810/statm: 280212 260859 2998 3035 0 268754 0
[pid=34810/tid=34867] ppid=34806 vsize=1120848 memory=1043256 CPUtime=3587.25 cores=1,3
/proc/34810/task/34867/stat : 34867 (fscip) R 34806 34810 29413 0 -1 4194368 3226076 0 0 0 358339 386 0 0 20 0 3 0 5183168 1147748352 260859 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
[pid=34810/tid=34868] ppid=34806 vsize=1120848 memory=1045708 CPUtime=0.03 cores=1,3
/proc/34810/task/34868/stat : 34868 (fscip) S 34806 34810 29413 0 -1 1077936192 86 0 0 0 1 2 0 0 20 0 3 0 5183170 1147748352 260859 134679101440 4194304 16623229 140735039566800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43311104 140735039570966 140735039571082 140735039571082 140735039578096 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 1120848 KiB
Current children cumulated memory: 1043436 KiB
Child status: 0
Real time (s): 3598.39
CPU time (s): 3587.8
CPU user time (s): 3583.8
CPU system time (s): 4.00065
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 1123120
Max. memory (cumulated for all children) (KiB): 1045708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.8
system time used= 4.00065
maximum resident set size= 1045708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3248965
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= 10552
involuntary context switches= 3189
# summary of solver processes directly reported to runsolver:
# pid: 34810
# total CPU time (s): 3587.8
# total CPU user time (s): 3583.8
# total CPU system time (s): 4.00065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.90704 second user time and 17.7152 second system time
The end
Begin job on nodeC031 at 2024-07-31 02:30:14
IDJOB=4464566
IDBENCH=160408
IDSOLVER=3092
FILE ID=nodeC031/4464566-1722385814
RUNJOBID= nodeC031-1722378597-29425
SLURM_JOB_ID= 8249854
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l080-r079-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-4464566-1722385814/watcher-4464566-1722385814 -o /tmp/evaluation-result-4464566-1722385814/solver-4464566-1722385814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464566-1722385814.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7ad59296e2e055fc86df3342558d493
RANDOM SEED=745414528
nodeC031.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 : 3673.172
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.95
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 : 3662.839
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 : 7007.12
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 : 3600.264
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.95
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 : 3674.459
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 : 7007.12
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 : 3673.221
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.95
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 : 3671.635
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 : 7007.12
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 : 3600.145
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.95
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 : 3600.246
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122684240 kB
MemAvailable: 126807932 kB
Buffers: 99764 kB
Cached: 4852984 kB
SwapCached: 0 kB
Active: 279768 kB
Inactive: 8069056 kB
Active(anon): 1556 kB
Inactive(anon): 3415852 kB
Active(file): 278212 kB
Inactive(file): 4653204 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85060 kB
Writeback: 0 kB
AnonPages: 3395900 kB
Mapped: 124444 kB
Shmem: 21336 kB
KReclaimable: 63844 kB
Slab: 145180 kB
SReclaimable: 63844 kB
SUnreclaim: 81336 kB
KernelStack: 4252 kB
PageTables: 16104 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2053008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 411648 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC031 at 2024-07-31 03:30:13