0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 83099648, getVmSize() = 83099648, SCIPgetMemUsed() = 29004931, SCIPgetMemTotal() = 60868235, SCIPgetMemExternEstim() = 15290817
0.00/0.08 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.49/0.53 c ** Estimated virtualMemUsedAtSolver = 104036832, getVmSize() = 164352000, SCIPgetMemUsed() = 82705847, SCIPgetMemTotal() = 140764431, SCIPgetMemExternEstim() = 15290817
0.49/0.53 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.49/0.53 c Original Problem :
0.49/0.53 c Problem name : instance-4434677-1721101624
0.49/0.53 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
0.49/0.53 c Constraints : 6383
0.49/0.53 c Objective sense : minimize
0.49/0.53 c Presolved Problem :
0.49/0.53 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
0.49/0.53 c Constraints : 4654
0.49/0.53 c Constraints : Number
0.49/0.53 c knapsack : 195
0.49/0.53 c setppc : 1365
0.49/0.53 c linear : 3094
0.49/0.53 c ** Instance transfer method used: 0
0.49/0.55 c ** ParaScipInstance copy does not increase the number of variables. **
0.49/0.57 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.49/0.57 c Nodes Active
0.49/0.57 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.46/5.54 c 6 27 24 1 - 14.0000 -
10.65/10.77 c 11 86 83 1 - 15.0000 -
16.43/16.53 c 17 165 154 1 - 15.0000 -
22.21/22.30 c 22 253 231 1 - 15.0000 -
27.79/27.98 c 28 357 327 1 - 15.0000 -
33.68/33.86 c 34 424 394 1 - 15.0000 -
39.17/39.34 c 39 495 455 1 - 15.0000 -
45.45/45.64 c 46 559 499 1 - 15.0000 -
51.53/51.74 c 52 628 541 1 - 15.0000 -
57.42/57.67 c 58 758 619 1 - 16.0000 -
63.51/63.75 c 64 793 643 1 - 16.0000 -
69.39/69.67 c 70 900 712 1 - 16.0000 -
75.78/76.10 c 76 1030 779 1 - 17.0000 -
80.96/81.24 c 81 1054 792 1 - 17.0000 -
90.34/90.61 c 91 1113 817 1 - 17.0000 -
99.02/99.39 c 99 1125 1 1 - 17.0000 -
104.21/104.56 c 105 1210 68 1 - 17.0000 -
109.19/109.57 c 110 1246 94 1 - 17.0000 -
115.28/115.60 c 116 1298 110 1 - 17.0000 -
120.57/120.91 c 121 1377 160 1 - 17.0000 -
126.65/127.01 c 127 1417 170 1 - 17.0000 -
131.84/132.20 c 132 1468 188 1 - 17.0000 -
138.52/138.96 c 139 1493 211 1 - 17.0000 -
143.81/144.24 c 144 1533 241 1 - 17.0000 -
149.10/149.60 c 150 1585 254 1 - 17.0000 -
155.08/155.51 c 156 1648 276 1 - 17.0000 -
160.57/161.01 c 161 1783 329 1 - 17.0000 -
165.84/166.32 c 166 1951 414 1 - 17.0000 -
171.03/171.59 c 172 2042 474 1 - 17.0000 -
176.63/177.18 c 177 2176 523 1 - 17.0000 -
181.91/182.43 c 182 2345 578 1 - 17.0000 -
187.69/188.26 c 188 2500 643 1 - 17.0000 -
193.18/193.76 c 194 2688 700 1 - 17.9425 -
198.26/198.85 c 199 2849 783 1 - 17.9425 -
203.84/204.49 c 204 3055 835 1 - 17.9425 -
208.92/209.53 c 210 3208 859 1 - 17.9425 -
214.91/215.53 c 216 3373 903 1 - 17.9425 -
220.60/221.20 c 221 3508 962 1 - 17.9425 -
226.08/226.70 c 227 3685 991 1 - 17.9425 -
231.17/231.84 c 232 3958 1010 1 - 18.0000 -
236.26/236.93 c 237 4167 1022 1 - 18.0000 -
241.64/242.37 c 242 4338 1086 1 - 18.0000 -
247.03/247.71 c 248 4540 1096 1 - 18.0000 -
252.32/253.05 c 253 4668 1144 1 - 18.0000 -
257.79/258.52 c 259 4798 1168 1 - 18.0000 -
263.09/263.81 c 264 4956 1197 1 - 18.0000 -
268.47/269.20 c 269 5158 1228 1 - 18.0000 -
273.96/274.73 c 275 5311 1262 1 - 18.0000 -
279.14/279.99 c 280 5441 1300 1 - 18.0000 -
284.53/285.30 c 285 5621 1340 1 - 18.1579 -
289.62/290.43 c 290 5778 1385 1 - 18.1579 -
295.50/296.31 c 296 5974 1431 1 - 18.2941 -
300.89/301.78 c 302 6158 1475 1 - 18.5738 -
306.08/306.90 c 307 6355 1527 1 - 18.5738 -
311.56/312.41 c 312 6515 1572 1 - 18.5738 -
316.85/317.70 c 318 6639 1642 1 - 18.6319 -
322.14/323.06 c 323 6735 1700 1 - 18.6319 -
327.31/328.22 c 328 6855 1734 1 - 18.6319 -
332.70/333.61 c 334 7071 1756 1 - 18.6319 -
337.78/338.70 c 339 7309 1758 1 - 19.0000 -
343.66/344.60 c 345 7447 1822 1 - 19.0000 -
349.34/350.35 c 350 7554 1852 1 - 19.0000 -
354.82/355.81 c 356 7717 1900 1 - 19.0000 -
360.80/361.83 c 362 7955 1970 1 - 19.2078 -
366.29/367.38 c 367 8177 2009 1 - 19.3913 -
372.18/373.25 c 373 8389 2038 1 - 19.3953 -
377.96/379.03 c 379 8587 2073 1 - 19.6087 -
383.05/384.16 c 384 8718 2121 1 - 20.0000 -
388.53/389.60 c 390 8934 2181 1 - 20.0000 -
394.11/395.24 c 395 9151 2229 1 - 20.0000 -
399.30/400.43 c 400 9298 2269 1 - 20.0000 -
404.89/406.02 c 406 9407 2309 1 - 20.0000 -
410.87/412.07 c 412 9599 2364 1 - 20.0000 -
416.66/417.85 c 418 9734 2402 1 - 20.0000 -
421.95/423.13 c 423 9922 2468 1 - 20.0000 -
427.13/428.37 c 428 10140 2512 1 - 20.0000 -
432.42/433.62 c 434 10261 2576 1 - 20.0000 -
437.60/438.84 c 439 10466 2657 1 - 20.0000 -
442.89/444.11 c 444 10605 2746 1 - 20.0000 -
448.18/449.44 c 449 10717 2796 1 - 20.0000 -
453.87/455.15 c 455 10884 2897 1 - 20.0000 -
458.95/460.26 c 460 11035 2984 1 - 20.2339 -
464.43/465.72 c 466 11151 3059 1 - 20.2595 -
470.12/471.42 c 471 11356 3157 1 - 20.2595 -
475.81/477.13 c 477 11605 3241 1 - 20.5082 -
481.29/482.64 c 483 11766 3282 1 - 21.0000 -
487.37/488.72 c 489 11895 3372 1 - 21.0000 -
492.86/494.22 c 494 12018 3463 1 - 21.0000 -
498.05/499.48 c 499 12155 3567 1 - 21.0000 -
503.43/504.89 c 505 12294 3654 1 - 21.0000 -
508.62/510.08 c 510 12407 3728 1 - 21.0000 -
514.00/515.47 c 515 12577 3798 1 - 21.0000 -
519.30/520.72 c 521 12724 3855 1 - 21.0000 -
524.69/526.11 c 526 12860 3939 1 - 21.0000 -
529.87/531.37 c 531 13000 4014 1 - 21.0000 -
535.25/536.73 c 537 13145 4061 1 - 21.0000 -
540.74/542.24 c 542 13388 4137 1 - 21.0000 -
546.02/547.54 c 548 13526 4217 1 - 21.0000 -
551.42/552.94 c 553 13661 4255 1 - 21.0000 -
556.80/558.32 c 558 13835 4309 1 - 21.0051 -
561.88/563.45 c 563 14005 4360 1 - 21.0102 -
567.17/568.75 c 569 14151 4396 1 - 21.0102 -
572.26/573.86 c 574 14281 4431 1 - 21.0102 -
577.64/579.22 c 579 14457 4480 1 - 21.0102 -
583.03/584.68 c 585 14671 4524 1 - 21.0102 -
589.01/590.69 c 591 14898 4562 1 - 21.2533 -
594.60/596.26 c 596 15075 4610 1 - 21.6692 -
600.49/602.17 c 602 15221 4712 1 - 21.8387 -
605.87/607.59 c 608 15428 4759 1 - 21.8387 -
610.96/612.69 c 613 15587 4817 1 - 21.8387 -
616.05/617.79 c 618 15773 4917 1 - 22.0000 -
621.34/623.04 c 623 16020 4983 1 - 22.0000 -
626.72/628.44 c 628 16264 5029 1 - 22.0000 -
632.20/633.97 c 634 16502 5071 1 - 22.0000 -
637.39/639.17 c 639 16729 5093 1 - 22.0000 -
642.77/644.59 c 645 17023 5108 1 - 22.0000 -
647.85/649.68 c 650 17244 5156 1 - 22.0000 -
653.44/655.22 c 655 17540 5192 1 - 22.0000 -
658.53/660.34 c 660 17799 5240 1 - 22.0051 -
663.81/665.66 c 666 18010 5300 1 - 22.0051 -
669.00/670.81 c 671 18273 5321 1 - 22.0051 -
674.38/676.27 c 676 18552 5359 1 - 22.0102 -
680.28/682.18 c 682 18731 5379 1 - 22.0102 -
686.16/688.01 c 688 18969 5439 1 - 22.1252 -
692.14/694.01 c 694 19242 5480 1 - 22.1747 -
697.52/699.42 c 699 19515 5502 1 - 22.2466 -
702.62/704.58 c 705 19705 5539 1 - 22.2659 -
707.70/709.64 c 710 19930 5587 1 - 22.5769 -
713.09/715.05 c 715 20160 5628 1 - 22.8498 -
719.18/721.13 c 721 20410 5690 1 - 23.0000 -
724.46/726.45 c 726 20643 5726 1 - 23.0000 -
729.54/731.58 c 732 20917 5755 1 - 23.0000 -
734.73/736.71 c 737 21136 5792 1 - 23.0000 -
739.82/741.85 c 742 21373 5831 1 - 23.0000 -
745.11/747.14 c 747 21619 5859 1 - 23.0000 -
750.30/752.38 c 752 21833 5902 1 - 23.0000 -
755.68/757.74 c 758 21979 5987 1 - 23.0000 -
760.87/762.90 c 763 22141 6009 1 - 23.0000 -
766.65/768.77 c 769 22297 6086 1 - 23.0000 -
772.14/774.23 c 774 22525 6123 1 - 23.0000 -
777.43/779.53 c 780 22719 6164 1 - 23.0000 -
783.21/785.34 c 785 22950 6213 1 - 23.0000 -
788.40/790.55 c 791 23109 6308 1 - 23.0000 -
793.48/795.69 c 796 23281 6379 1 - 23.0000 -
798.57/800.78 c 801 23493 6435 1 - 23.0000 -
804.46/806.64 c 807 23730 6502 1 - 23.0000 -
809.85/812.09 c 812 23970 6544 1 - 23.0000 -
815.22/817.49 c 817 24144 6569 1 - 23.0000 -
820.71/822.91 c 823 24281 6602 1 - 23.0000 -
825.99/828.27 c 828 24444 6689 1 - 23.0000 -
831.88/834.12 c 834 24650 6805 1 - 23.0000 -
837.16/839.42 c 839 24826 6881 1 - 23.0000 -
842.34/844.64 c 845 25091 6970 1 - 23.0000 -
847.53/849.80 c 850 25311 7015 1 - 23.0000 -
852.71/855.09 c 855 25510 7060 1 - 23.0000 -
857.99/860.32 c 860 25715 7112 1 - 23.0000 -
863.07/865.44 c 865 25881 7170 1 - 23.0000 -
868.16/870.57 c 871 26060 7219 1 - 23.0000 -
873.35/875.79 c 876 26308 7281 1 - 23.0000 -
879.82/882.21 c 882 26524 7349 1 - 23.0000 -
885.20/887.61 c 888 26744 7414 1 - 23.0000 -
890.98/893.42 c 893 27035 7504 1 - 23.0051 -
896.07/898.55 c 899 27258 7566 1 - 23.0051 -
901.95/904.42 c 904 27531 7610 1 - 23.0051 -
907.13/909.61 c 910 27723 7669 1 - 23.0051 -
912.92/915.43 c 915 27925 7724 1 - 23.0051 -
918.19/920.76 c 921 28134 7801 1 - 23.0051 -
923.59/926.15 c 926 28310 7892 1 - 23.0051 -
928.67/931.28 c 931 28501 7955 1 - 23.0051 -
934.15/936.76 c 937 28716 8028 1 - 23.0051 -
939.33/941.99 c 942 28956 8100 1 - 23.0051 -
945.21/947.83 c 948 29230 8139 1 - 23.0051 -
950.90/953.59 c 954 29445 8239 1 - 23.0102 -
956.08/958.80 c 959 29661 8347 1 - 23.2051 -
961.56/964.27 c 964 29887 8417 1 - 23.3996 -
967.45/970.16 c 970 30206 8511 1 - 23.4097 -
973.12/975.85 c 976 30466 8594 1 - 23.4461 -
978.80/981.52 c 982 30747 8660 1 - 23.5556 -
984.29/987.03 c 987 30997 8755 1 - 23.7635 -
989.47/992.22 c 992 31155 8802 1 - 23.8027 -
995.26/998.07 c 998 31467 8853 1 - 23.9063 -
1001.24/1004.04 c 1004 31650 8937 1 - 24.0000 -
1006.32/1009.18 c 1009 31842 9033 1 - 24.0000 -
1012.10/1014.97 c 1015 32066 9104 1 - 24.0000 -
1017.67/1020.53 c 1021 32190 9165 1 - 24.0000 -
1022.76/1025.69 c 1026 32388 9255 1 - 24.0000 -
1028.04/1030.90 c 1031 32594 9355 1 - 24.0000 -
1033.14/1036.05 c 1036 32838 9410 1 - 24.0000 -
1038.22/1041.19 c 1041 33083 9453 1 - 24.0000 -
1043.40/1046.30 c 1046 33292 9531 1 - 24.0000 -
1048.68/1051.61 c 1052 33466 9626 1 - 24.0000 -
1054.07/1057.03 c 1057 33689 9678 1 - 24.0000 -
1059.75/1062.70 c 1063 33961 9734 1 - 24.0000 -
1065.04/1068.02 c 1068 34154 9793 1 - 24.0000 -
1070.31/1073.34 c 1073 34361 9840 1 - 24.0000 -
1075.80/1078.86 c 1079 34544 9905 1 - 24.0000 -
1081.28/1084.38 c 1084 34649 9983 1 - 24.0000 -
1086.46/1089.53 c 1090 34821 10031 1 - 24.0000 -
1092.24/1095.38 c 1095 35080 10115 1 - 24.0000 -
1097.42/1100.51 c 1101 35296 10176 1 - 24.0000 -
1102.50/1105.66 c 1106 35608 10222 1 - 24.0000 -
1107.70/1110.86 c 1111 35794 10264 1 - 24.0000 -
1112.98/1116.11 c 1116 35946 10327 1 - 24.0000 -
1118.66/1121.89 c 1122 36140 10387 1 - 24.0000 -
1124.34/1127.50 c 1128 36460 10444 1 - 24.0000 -
1129.53/1132.74 c 1133 36728 10484 1 - 24.0000 -
1135.20/1138.43 c 1138 37029 10517 1 - 24.0000 -
1140.48/1143.79 c 1144 37285 10561 1 - 24.0000 -
1146.47/1149.73 c 1150 37475 10624 1 - 24.0001 -
1152.35/1155.61 c 1156 37759 10666 1 - 24.0001 -
1157.53/1160.82 c 1161 38005 10716 1 - 24.0051 -
1162.73/1166.09 c 1166 38236 10754 1 - 24.0051 -
1167.90/1171.30 c 1171 38402 10813 1 - 24.0051 -
1173.39/1176.76 c 1177 38654 10875 1 - 24.0051 -
1178.77/1182.11 c 1182 38920 10934 1 - 24.0051 -
1183.85/1187.26 c 1187 39185 10993 1 - 24.0102 -
1189.14/1192.52 c 1193 39393 11062 1 - 24.0102 -
1194.62/1198.08 c 1198 39630 11102 1 - 24.5000 -
1199.70/1203.15 c 1203 39957 11138 1 - 24.5000 -
1204.89/1208.34 c 1208 40072 11205 1 - 24.5000 -
1210.17/1213.69 c 1214 40214 11300 1 - 24.5000 -
1215.74/1219.28 c 1219 40450 11343 1 - 25.0000 -
1221.04/1224.52 c 1225 40696 11428 1 - 25.0000 -
1226.12/1229.64 c 1230 40935 11481 1 - 25.0000 -
1231.50/1235.08 c 1235 41108 11554 1 - 25.0000 -
1237.18/1240.75 c 1241 41320 11604 1 - 25.0000 -
1242.67/1246.24 c 1246 41505 11628 1 - 25.0000 -
1247.85/1251.42 c 1251 41690 11668 1 - 25.0000 -
1253.03/1256.64 c 1257 41880 11698 1 - 25.0000 -
1258.31/1261.91 c 1262 42086 11770 1 - 25.0000 -
1263.29/1266.99 c 1267 42268 11824 1 - 25.0000 -
1268.88/1272.58 c 1273 42490 11874 1 - 25.0000 -
1274.86/1278.56 c 1279 42680 11921 1 - 25.0000 -
1280.35/1284.02 c 1284 42850 11994 1 - 25.0000 -
1286.22/1289.90 c 1290 43038 12041 1 - 25.0000 -
1291.41/1295.14 c 1295 43236 12103 1 - 25.0000 -
1296.79/1300.57 c 1301 43428 12163 1 - 25.0000 -
1302.68/1306.47 c 1306 43617 12236 1 - 25.0000 -
1307.86/1311.69 c 1312 43857 12275 1 - 25.0000 -
1313.84/1317.64 c 1318 44131 12330 1 - 25.0000 -
1319.24/1323.10 c 1323 44340 12405 1 - 25.0000 -
1324.52/1328.37 c 1328 44723 12449 1 - 25.0000 -
1329.90/1333.73 c 1334 44991 12511 1 - 25.0051 -
1335.79/1339.70 c 1340 45212 12559 1 - 25.0051 -
1340.97/1344.82 c 1345 45446 12616 1 - 25.0051 -
1346.06/1349.91 c 1350 45808 12662 1 - 25.0051 -
1351.55/1355.43 c 1355 46159 12748 1 - 25.0051 -
1356.63/1360.55 c 1361 46534 12788 1 - 25.0051 -
1361.72/1365.62 c 1366 46831 12871 1 - 25.0102 -
1367.00/1370.90 c 1371 47075 12950 1 - 25.0202 -
1372.29/1376.27 c 1376 47335 13025 1 - 25.2381 -
1377.48/1381.45 c 1381 47535 13087 1 - 25.3333 -
1383.07/1387.02 c 1387 47754 13142 1 - 25.3429 -
1388.65/1392.69 c 1393 48086 13226 1 - 26.0000 -
1394.14/1398.19 c 1398 48313 13298 1 - 26.0000 -
1399.31/1403.34 c 1403 48541 13373 1 - 26.0000 -
1404.41/1408.48 c 1408 48780 13412 1 - 26.0000 -
1409.89/1413.96 c 1414 49012 13447 1 - 26.0000 -
1415.67/1419.73 c 1420 49235 13496 1 - 26.0000 -
1420.76/1424.88 c 1425 49556 13574 1 - 26.0000 -
1426.06/1430.11 c 1430 49930 13631 1 - 26.0000 -
1431.24/1435.32 c 1435 50069 13732 1 - 26.0000 -
1436.62/1440.70 c 1441 50151 13808 1 - 26.0000 -
1441.71/1445.86 c 1446 50399 13864 1 - 26.0000 -
1446.80/1450.97 c 1451 50714 13905 1 - 26.0000 -
1451.88/1456.05 c 1456 51111 13954 1 - 26.0000 -
1457.56/1461.77 c 1462 51333 14028 1 - 26.0000 -
1462.85/1467.05 c 1467 51606 14107 1 - 26.0000 -
1468.32/1472.54 c 1473 51953 14155 1 - 26.0000 -
1473.60/1477.84 c 1478 52328 14165 1 - 26.0000 -
1478.90/1483.17 c 1483 52733 14199 1 - 26.0000 -
1484.08/1488.34 c 1488 52938 14234 1 - 26.0000 -
1489.26/1493.59 c 1494 53246 14260 1 - 26.0000 -
1494.74/1499.06 c 1499 53454 14340 1 - 26.0000 -
1500.32/1504.65 c 1505 53794 14371 1 - 26.0000 -
1505.40/1509.77 c 1510 53954 14417 1 - 26.0000 -
1511.38/1515.78 c 1516 54260 14485 1 - 26.0000 -
1517.27/1521.66 c 1522 54522 14543 1 - 26.0000 -
1522.25/1526.69 c 1527 54815 14605 1 - 26.0000 -
1528.03/1532.47 c 1532 55043 14638 1 - 26.0000 -
1533.51/1537.96 c 1538 55315 14689 1 - 26.0051 -
1539.20/1543.65 c 1544 55690 14730 1 - 26.0051 -
1544.29/1548.75 c 1549 55950 14800 1 - 26.0051 -
1550.08/1554.55 c 1555 56288 14839 1 - 26.0051 -
1555.16/1559.66 c 1560 56562 14910 1 - 26.0051 -
1560.25/1564.78 c 1565 56874 14947 1 - 26.0051 -
1565.43/1569.90 c 1570 57113 14977 1 - 26.0051 -
1570.82/1575.36 c 1575 57383 15020 1 - 26.0051 -
1575.91/1580.48 c 1580 57671 15052 1 - 26.0051 -
1581.10/1585.60 c 1586 57921 15123 1 - 26.0051 -
1586.28/1590.88 c 1591 58079 15194 1 - 26.0051 -
1591.77/1596.30 c 1596 58310 15244 1 - 26.0051 -
1597.15/1601.75 c 1602 58620 15304 1 - 26.0051 -
1602.34/1606.92 c 1607 58920 15339 1 - 26.0051 -
1607.83/1612.40 c 1612 59095 15373 1 - 26.0051 -
1613.52/1618.18 c 1618 59399 15438 1 - 26.0051 -
1618.90/1623.52 c 1624 59637 15483 1 - 26.0051 -
1624.39/1629.05 c 1629 60028 15536 1 - 26.0051 -
1630.17/1634.87 c 1635 60311 15597 1 - 26.0102 -
1635.25/1639.99 c 1640 60722 15608 1 - 26.0102 -
1640.34/1645.07 c 1645 60973 15645 1 - 26.1429 -
1645.53/1650.25 c 1650 61275 15729 1 - 26.1579 -
1650.62/1655.33 c 1655 61480 15808 1 - 27.0000 -
1656.70/1661.43 c 1661 61730 15891 1 - 27.0000 -
1661.79/1666.54 c 1667 61936 15977 1 - 27.0000 -
1666.98/1671.72 c 1672 62130 16074 1 - 27.0000 -
1672.56/1677.39 c 1677 62342 16136 1 - 27.0000 -
1677.75/1682.53 c 1683 62563 16191 1 - 27.0000 -
1683.03/1687.81 c 1688 62819 16218 1 - 27.0000 -
1688.42/1693.22 c 1693 63052 16289 1 - 27.0000 -
1693.80/1698.64 c 1699 63309 16328 1 - 27.0000 -
1698.99/1703.86 c 1704 63558 16387 1 - 27.0000 -
1704.19/1709.09 c 1709 63970 16431 1 - 27.0000 -
1709.47/1714.33 c 1714 64240 16447 1 - 27.0000 -
1714.65/1719.51 c 1720 64549 16461 1 - 27.0000 -
1720.24/1725.13 c 1725 64806 16518 1 - 27.0000 -
1725.53/1730.41 c 1730 65120 16546 1 - 27.0000 -
1730.61/1735.52 c 1736 65468 16577 1 - 27.0000 -
1735.80/1740.76 c 1741 65888 16624 1 - 27.0000 -
1741.19/1746.18 c 1746 66200 16669 1 - 27.0000 -
1746.37/1751.37 c 1751 66557 16716 1 - 27.0000 -
1751.55/1756.50 c 1756 66854 16780 1 - 27.0000 -
1756.84/1761.88 c 1762 67127 16818 1 - 27.0000 -
1762.13/1767.15 c 1767 67445 16856 1 - 27.0000 -
1767.22/1772.20 c 1772 67811 16848 1 - 27.0000 -
1772.60/1777.68 c 1778 68071 16872 1 - 27.0000 -
1777.99/1783.08 c 1783 68146 16939 1 - 27.0000 -
1783.27/1788.37 c 1788 68417 16987 1 - 27.0000 -
1788.56/1793.66 c 1794 68645 17043 1 - 27.0000 -
1793.65/1798.77 c 1799 68929 17093 1 - 27.0000 -
1798.94/1804.09 c 1804 69187 17118 1 - 27.0000 -
1804.22/1809.39 c 1809 69418 17156 1 - 27.0000 -
1809.51/1814.62 c 1815 69756 17223 1 - 27.0000 -
1814.59/1819.74 c 1820 70096 17289 1 - 27.0000 -
1820.58/1825.73 c 1826 70554 17307 1 - 27.0000 -
1825.67/1830.89 c 1831 70916 17349 1 - 27.0000 -
1831.15/1836.35 c 1836 71210 17370 1 - 27.0000 -
1836.34/1841.57 c 1842 71511 17405 1 - 27.0000 -
1841.52/1846.71 c 1847 71881 17466 1 - 27.0000 -
1846.51/1851.79 c 1852 72099 17505 1 - 27.0000 -
1851.70/1856.90 c 1857 72443 17524 1 - 27.0000 -
1856.89/1862.17 c 1862 72734 17519 1 - 27.0000 -
1861.97/1867.24 c 1867 73038 17530 1 - 27.0000 -
1867.06/1872.32 c 1872 73376 17574 1 - 27.0000 -
1872.25/1877.50 c 1878 73691 17600 1 - 27.0000 -
1877.33/1882.68 c 1883 74054 17629 1 - 27.0000 -
1882.52/1887.80 c 1888 74345 17682 1 - 27.0000 -
1887.50/1892.89 c 1893 74597 17723 1 - 27.0000 -
1892.79/1898.11 c 1898 74905 17746 1 - 27.0000 -
1897.88/1903.27 c 1903 75164 17789 1 - 27.0000 -
1903.26/1908.68 c 1909 75526 17809 1 - 27.0000 -
1908.45/1913.84 c 1914 75813 17861 1 - 27.0000 -
1913.74/1919.14 c 1919 76127 17898 1 - 27.0000 -
1918.82/1924.28 c 1924 76346 17928 1 - 27.0000 -
1924.01/1929.47 c 1929 76553 17983 1 - 27.0000 -
1929.40/1934.87 c 1935 76831 18033 1 - 27.0000 -
1934.88/1940.37 c 1940 77146 18051 1 - 27.0000 -
1939.87/1945.39 c 1945 77474 18056 1 - 27.0000 -
1945.05/1950.57 c 1951 77752 18099 1 - 27.0000 -
1950.84/1956.33 c 1956 78072 18158 1 - 27.0000 -
1956.72/1962.20 c 1962 78424 18193 1 - 27.0000 -
1962.61/1968.17 c 1968 78841 18223 1 - 27.0000 -
1968.60/1974.16 c 1974 79194 18255 1 - 27.0051 -
1974.58/1980.13 c 1980 79377 18294 1 - 27.0051 -
1980.46/1986.05 c 1986 79776 18353 1 - 27.0051 -
1986.14/1991.74 c 1992 80144 18364 1 - 27.0051 -
1991.24/1996.85 c 1997 80513 18405 1 - 27.0051 -
1996.43/2002.02 c 2002 80800 18423 1 - 27.0051 -
2002.41/2008.03 c 2008 81186 18464 1 - 27.0051 -
2007.49/2013.17 c 2013 81479 18489 1 - 27.0051 -
2012.68/2018.33 c 2018 81915 18510 1 - 27.0051 -
2017.87/2023.51 c 2024 82264 18527 1 - 27.0051 -
2023.15/2028.82 c 2029 82490 18572 1 - 27.0051 -
2028.24/2033.97 c 2034 82797 18609 1 - 27.0051 -
2033.92/2039.66 c 2040 83163 18642 1 - 27.0051 -
2039.01/2044.73 c 2045 83394 18683 1 - 27.0051 -
2044.10/2049.83 c 2050 83735 18708 1 - 27.0051 -
2049.08/2054.89 c 2055 84115 18725 1 - 27.0051 -
2055.07/2060.84 c 2061 84540 18776 1 - 27.0051 -
2060.05/2065.84 c 2066 84900 18800 1 - 27.0051 -
2065.14/2070.96 c 2071 85230 18821 1 - 27.0051 -
2070.42/2076.21 c 2076 85505 18896 1 - 27.0051 -
2075.40/2081.26 c 2081 85773 18912 1 - 27.0051 -
2081.20/2087.01 c 2087 86129 18937 1 - 27.0051 -
2088.18/2094.03 c 2094 86408 18952 1 - 27.0051 -
2093.27/2099.18 c 2099 86746 18986 1 - 27.0051 -
2098.84/2104.80 c 2105 87125 19021 1 - 27.0051 -
2104.63/2110.52 c 2111 87494 19077 1 - 27.0102 -
2110.42/2116.31 c 2116 87863 19129 1 - 27.0102 -
2116.21/2122.10 c 2122 88182 19198 1 - 27.0102 -
2121.28/2127.22 c 2127 88489 19251 1 - 27.0102 -
2126.28/2132.27 c 2132 88903 19266 1 - 27.0102 -
2131.46/2137.42 c 2137 89235 19277 1 - 27.0102 -
2137.05/2143.07 c 2143 89482 19321 1 - 27.0139 -
2142.63/2148.69 c 2149 89831 19350 1 - 27.0263 -
2148.12/2154.10 c 2154 90125 19399 1 - 27.2500 -
2153.11/2159.13 c 2159 90414 19400 1 - 27.3793 -
2158.59/2164.65 c 2165 90734 19434 1 - 27.5000 -
2163.77/2169.83 c 2170 91085 19459 1 - 27.7500 -
2169.67/2175.79 c 2176 91488 19452 1 - 28.0000 -
2175.15/2181.23 c 2181 91842 19482 1 - 28.0000 -
2180.23/2186.36 c 2186 92097 19491 1 - 28.0000 -
2185.82/2191.93 c 2192 92266 19565 1 - 28.0000 -
2190.91/2197.07 c 2197 92505 19645 1 - 28.0000 -
2196.09/2202.21 c 2202 92750 19719 1 - 28.0000 -
2201.18/2207.37 c 2207 92926 19810 1 - 28.0000 -
2206.46/2212.61 c 2213 93144 19858 1 - 28.0000 -
2211.55/2217.70 c 2218 93531 19879 1 - 28.0000 -
2216.54/2222.76 c 2223 93896 19892 1 - 28.0000 -
2222.13/2228.32 c 2228 94266 19918 1 - 28.0000 -
2227.11/2233.39 c 2233 94668 19959 1 - 28.0000 -
2232.49/2238.76 c 2239 95074 19995 1 - 28.0000 -
2237.79/2244.02 c 2244 95455 20012 1 - 28.0000 -
2242.96/2249.28 c 2249 95744 20039 1 - 28.0000 -
2248.26/2254.57 c 2255 96114 20057 1 - 28.0000 -
2253.63/2259.97 c 2260 96396 20106 1 - 28.0000 -
2258.82/2265.12 c 2265 96678 20123 1 - 28.0000 -
2263.90/2270.23 c 2270 96915 20116 1 - 28.0000 -
2269.48/2275.89 c 2276 97215 20205 1 - 28.0000 -
2274.87/2281.20 c 2281 97485 20229 1 - 28.0051 -
2279.85/2286.23 c 2286 97795 20244 1 - 28.0051 -
2285.13/2291.56 c 2292 98154 20276 1 - 28.0051 -
2290.31/2296.75 c 2297 98433 20318 1 - 28.0051 -
2295.39/2301.81 c 2302 98849 20358 1 - 28.0051 -
2300.59/2307.06 c 2307 99111 20388 1 - 28.0051 -
2305.86/2312.34 c 2312 99361 20418 1 - 28.0051 -
2310.94/2317.45 c 2317 99655 20460 1 - 28.0051 -
2316.22/2322.76 c 2323 99899 20496 1 - 28.0051 -
2321.40/2327.93 c 2328 100088 20516 1 - 28.0051 -
2326.39/2332.98 c 2333 100394 20523 1 - 28.0051 -
2331.58/2338.18 c 2338 100718 20581 1 - 28.0051 -
2336.66/2343.27 c 2343 101021 20589 1 - 28.0051 -
2341.74/2348.32 c 2348 101340 20617 1 - 28.0051 -
2346.82/2353.43 c 2353 101673 20638 1 - 28.0051 -
2352.41/2359.07 c 2359 102123 20652 1 - 28.0051 -
2357.69/2364.32 c 2364 102422 20674 1 - 28.0051 -
2362.77/2369.42 c 2369 102707 20727 1 - 28.0051 -
2367.85/2374.50 c 2375 102965 20767 1 - 28.0102 -
2373.73/2380.49 c 2380 103293 20820 1 - 28.0102 -
2378.82/2385.59 c 2386 103573 20870 1 - 28.0102 -
2383.89/2390.66 c 2391 103966 20883 1 - 28.0102 -
2389.68/2396.46 c 2396 104337 20911 1 - 28.0102 -
2394.76/2401.52 c 2402 104544 20969 1 - 28.0139 -
2399.94/2406.70 c 2407 104733 21039 1 - 28.0139 -
2405.62/2412.41 c 2412 104987 21134 1 - 28.0263 -
2411.21/2418.00 c 2418 105243 21170 1 - 28.2500 -
2416.60/2423.47 c 2423 105594 21151 1 - 28.5051 -
2421.68/2428.59 c 2429 105886 21145 1 - 29.0000 -
2427.16/2434.00 c 2434 106255 21157 1 - 29.0000 -
2432.35/2439.25 c 2439 106567 21165 1 - 29.0000 -
2437.93/2444.81 c 2445 106897 21198 1 - 29.0000 -
2443.12/2450.05 c 2450 107173 21236 1 - 29.0000 -
2448.31/2455.20 c 2455 107495 21272 1 - 29.0000 -
2453.39/2460.32 c 2460 107789 21288 1 - 29.0000 -
2458.48/2465.44 c 2465 108011 21343 1 - 29.0000 -
2463.76/2470.74 c 2471 108302 21388 1 - 29.0000 -
2468.85/2475.86 c 2476 108575 21423 1 - 29.0000 -
2474.15/2481.17 c 2481 108767 21465 1 - 29.0000 -
2479.32/2486.34 c 2486 109138 21477 1 - 29.0000 -
2484.51/2491.53 c 2492 109429 21541 1 - 29.0000 -
2489.59/2496.64 c 2497 109678 21626 1 - 29.0000 -
2494.79/2501.83 c 2502 109949 21678 1 - 29.0000 -
2499.87/2506.98 c 2507 110276 21693 1 - 29.0000 -
2505.06/2512.15 c 2512 110567 21729 1 - 29.0000 -
2510.34/2517.40 c 2517 110884 21750 1 - 29.0000 -
2515.52/2522.61 c 2523 111208 21772 1 - 29.0000 -
2520.81/2527.95 c 2528 111532 21789 1 - 29.0000 -
2526.10/2533.24 c 2533 111882 21799 1 - 29.0000 -
2531.29/2538.47 c 2538 112146 21841 1 - 29.0000 -
2536.88/2544.00 c 2544 112428 21871 1 - 29.0000 -
2542.15/2549.37 c 2549 112687 21906 1 - 29.0000 -
2547.45/2554.66 c 2555 112842 21993 1 - 29.0000 -
2552.93/2560.11 c 2560 113117 22018 1 - 29.0000 -
2557.92/2565.18 c 2565 113425 22039 1 - 29.0000 -
2563.00/2570.24 c 2570 113764 22046 1 - 29.0000 -
2568.09/2575.36 c 2575 113990 22141 1 - 29.0000 -
2573.27/2580.54 c 2581 114346 22144 1 - 29.0000 -
2578.46/2585.70 c 2586 114645 22207 1 - 29.0000 -
2583.55/2590.86 c 2591 114867 22240 1 - 29.0000 -
2589.13/2596.41 c 2596 115144 22257 1 - 29.0000 -
2594.22/2601.54 c 2602 115362 22294 1 - 29.0000 -
2600.00/2607.37 c 2607 115732 22306 1 - 29.0000 -
2604.99/2612.38 c 2612 116104 22309 1 - 29.0000 -
2610.08/2617.42 c 2617 116410 22345 1 - 29.0051 -
2615.26/2622.60 c 2623 116820 22353 1 - 29.0051 -
2621.05/2628.40 c 2628 117187 22350 1 - 29.0051 -
2626.64/2634.05 c 2634 117597 22367 1 - 29.0051 -
2631.82/2639.23 c 2639 117927 22397 1 - 29.0051 -
2638.71/2646.14 c 2646 118244 22454 1 - 29.0051 -
2643.89/2651.36 c 2651 118562 22459 1 - 29.0051 -
2649.37/2656.86 c 2657 118810 22519 1 - 29.0051 -
2655.36/2662.87 c 2663 119182 22550 1 - 29.0051 -
2660.45/2667.93 c 2668 119570 22546 1 - 29.0051 -
2665.53/2673.05 c 2673 119937 22543 1 - 29.0051 -
2670.92/2678.50 c 2678 120269 22581 1 - 29.0051 -
2676.20/2683.75 c 2684 120589 22610 1 - 29.0051 -
2681.50/2689.07 c 2689 120939 22635 1 - 29.0051 -
2686.68/2694.23 c 2694 121216 22675 1 - 29.0051 -
2692.47/2700.08 c 2700 121520 22738 1 - 29.0051 -
2697.55/2705.14 c 2705 121845 22795 1 - 29.0051 -
2702.63/2710.21 c 2710 122102 22836 1 - 29.0051 -
2708.31/2715.93 c 2716 122495 22866 1 - 29.0102 -
2713.61/2721.26 c 2721 122758 22890 1 - 29.0102 -
2719.09/2726.74 c 2727 122946 22937 1 - 29.0102 -
2724.38/2732.10 c 2732 123201 22969 1 - 29.0102 -
2729.67/2737.37 c 2737 123415 23020 1 - 29.0102 -
2734.95/2742.60 c 2743 123626 23057 1 - 29.0102 -
2740.14/2747.86 c 2748 123909 23113 1 - 29.0102 -
2745.43/2753.11 c 2753 124135 23204 1 - 29.0102 -
2750.60/2758.37 c 2758 124361 23270 1 - 29.0139 -
2755.80/2763.56 c 2764 124605 23284 1 - 29.0189 -
2761.39/2769.16 c 2769 125021 23334 1 - 29.0777 -
2766.87/2774.60 c 2775 125455 23377 1 - 29.1111 -
2771.85/2779.63 c 2780 125744 23405 1 - 29.1441 -
2776.84/2784.68 c 2785 126065 23426 1 - 29.2500 -
2782.12/2789.97 c 2790 126327 23448 1 - 29.2516 -
2787.91/2795.70 c 2796 126654 23458 1 - 29.4051 -
2792.90/2800.76 c 2801 126985 23512 1 - 29.8033 -
2798.38/2806.26 c 2806 127341 23505 1 - 30.0000 -
2804.18/2812.05 c 2812 127659 23567 1 - 30.0000 -
2809.45/2817.33 c 2817 127895 23594 1 - 30.0000 -
2814.84/2822.71 c 2823 128195 23636 1 - 30.0000 -
2820.23/2828.11 c 2828 128364 23692 1 - 30.0000 -
2825.31/2833.22 c 2833 128544 23764 1 - 30.0000 -
2830.70/2838.62 c 2839 128775 23797 1 - 30.0000 -
2835.89/2843.83 c 2844 129002 23842 1 - 30.0000 -
2840.97/2848.93 c 2849 129228 23865 1 - 30.0000 -
2846.06/2854.04 c 2854 129523 23893 1 - 30.0000 -
2851.43/2859.42 c 2859 129798 23928 1 - 30.0000 -
2856.52/2864.57 c 2865 130093 23957 1 - 30.0000 -
2861.60/2869.67 c 2870 130447 23998 1 - 30.0000 -
2866.78/2874.82 c 2875 130692 24035 1 - 30.0000 -
2871.87/2879.98 c 2880 131026 24053 1 - 30.0000 -
2877.05/2885.18 c 2885 131355 24081 1 - 30.0000 -
2882.23/2890.38 c 2890 131658 24082 1 - 30.0000 -
2887.32/2895.43 c 2895 131944 24132 1 - 30.0000 -
2892.40/2900.53 c 2901 132263 24132 1 - 30.0000 -
2897.70/2905.83 c 2906 132586 24142 1 - 30.0000 -
2902.78/2910.90 c 2911 132939 24134 1 - 30.0000 -
2907.87/2916.08 c 2916 133321 24164 1 - 30.0000 -
2913.25/2921.44 c 2921 133633 24215 1 - 30.0000 -
2918.34/2926.58 c 2927 133868 24253 1 - 30.0000 -
2923.52/2931.70 c 2932 134149 24281 1 - 30.0000 -
2928.51/2936.79 c 2937 134483 24311 1 - 30.0000 -
2933.70/2941.98 c 2942 134844 24323 1 - 30.0000 -
2939.29/2947.52 c 2948 135216 24327 1 - 30.0000 -
2944.57/2952.84 c 2953 135382 24381 1 - 30.0000 -
2949.66/2957.95 c 2958 135674 24427 1 - 30.0000 -
2954.85/2963.16 c 2963 135932 24487 1 - 30.0000 -
2959.93/2968.29 c 2968 136172 24499 1 - 30.0000 -
2965.21/2973.55 c 2974 136512 24513 1 - 30.0000 -
2970.50/2978.87 c 2979 136804 24541 1 - 30.0000 -
2975.70/2984.05 c 2984 137119 24547 1 - 30.0000 -
2980.98/2989.36 c 2989 137380 24575 1 - 30.0000 -
2986.06/2994.46 c 2994 137849 24591 1 - 30.0000 -
2991.35/2999.70 c 3000 138193 24602 1 - 30.0000 -
2996.33/3004.73 c 3005 138655 24598 1 - 30.0051 -
3001.72/3010.17 c 3010 139198 24582 1 - 30.0051 -
3007.10/3015.59 c 3016 139506 24601 1 - 30.0051 -
3012.78/3021.24 c 3021 139850 24631 1 - 30.0051 -
3017.87/3026.30 c 3026 140154 24661 1 - 30.0051 -
3023.56/3032.02 c 3032 140523 24704 1 - 30.0051 -
3028.56/3037.07 c 3037 140884 24701 1 - 30.0051 -
3033.64/3042.11 c 3042 141144 24739 1 - 30.0051 -
3038.62/3047.15 c 3047 141430 24770 1 - 30.0051 -
3043.71/3052.28 c 3052 141786 24781 1 - 30.0051 -
3048.80/3057.34 c 3057 142182 24790 1 - 30.0051 -
3053.98/3062.53 c 3063 142494 24805 1 - 30.0051 -
3059.47/3068.00 c 3068 142759 24814 1 - 30.0051 -
3064.46/3073.08 c 3073 143049 24857 1 - 30.0051 -
3069.54/3078.17 c 3078 143465 24871 1 - 30.0051 -
3074.62/3083.25 c 3083 143912 24857 1 - 30.0051 -
3080.01/3088.63 c 3089 144211 24871 1 - 30.0051 -
3085.20/3093.83 c 3094 144549 24876 1 - 30.0051 -
3090.49/3099.18 c 3099 144885 24894 1 - 30.0051 -
3095.88/3104.50 c 3104 145140 24911 1 - 30.0051 -
3101.66/3110.35 c 3110 145554 24945 1 - 30.0051 -
3106.84/3115.52 c 3116 145852 24979 1 - 30.0102 -
3112.53/3121.29 c 3121 146177 25000 1 - 30.0102 -
3117.71/3126.48 c 3126 146445 25093 1 - 30.0102 -
3123.20/3131.92 c 3132 146731 25157 1 - 30.0102 -
3128.39/3137.11 c 3137 147009 25201 1 - 30.0102 -
3133.78/3142.57 c 3143 147185 25249 1 - 30.0102 -
3139.06/3147.83 c 3148 147381 25295 1 - 30.0102 -
3144.44/3153.24 c 3153 147608 25309 1 - 30.0102 -
3149.73/3158.50 c 3159 147875 25366 1 - 30.0102 -
3155.62/3164.43 c 3164 148240 25388 1 - 30.0460 -
3161.60/3170.42 c 3170 148563 25454 1 - 30.0667 -
3167.29/3176.14 c 3176 148851 25502 1 - 30.1250 -
3172.37/3181.23 c 3181 149115 25532 1 - 30.1674 -
3178.66/3187.58 c 3188 149564 25546 1 - 30.1718 -
3183.74/3192.61 c 3193 149885 25549 1 - 30.3333 -
3189.13/3198.02 c 3198 150220 25602 1 - 30.5000 -
3194.71/3203.65 c 3204 150493 25662 1 - 30.5000 -
3200.39/3209.35 c 3209 150817 25686 1 - 30.5000 -
3205.68/3214.67 c 3215 151234 25692 1 - 30.7982 -
3210.97/3219.92 c 3220 151635 25718 1 - 31.0000 -
3216.05/3225.02 c 3225 151907 25761 1 - 31.0000 -
3221.43/3230.48 c 3230 152151 25794 1 - 31.0000 -
3226.82/3235.81 c 3236 152414 25832 1 - 31.0000 -
3232.01/3241.08 c 3241 152750 25852 1 - 31.0000 -
3237.10/3246.15 c 3246 153045 25881 1 - 31.0000 -
3242.58/3251.69 c 3252 153415 25868 1 - 31.0000 -
3247.86/3256.96 c 3257 153800 25901 1 - 31.0000 -
3252.96/3262.00 c 3262 154163 25903 1 - 31.0000 -
3258.05/3267.17 c 3267 154467 25918 1 - 31.0000 -
3263.32/3272.47 c 3272 154769 25951 1 - 31.0000 -
3268.51/3277.64 c 3278 155199 25950 1 - 31.0000 -
3273.70/3282.89 c 3283 155477 25980 1 - 31.0000 -
3278.99/3288.14 c 3288 155831 26021 1 - 31.0000 -
3284.27/3293.41 c 3293 156088 26051 1 - 31.0000 -
3289.45/3298.64 c 3299 156299 26111 1 - 31.0000 -
3294.75/3303.95 c 3304 156517 26155 1 - 31.0000 -
3299.84/3309.04 c 3309 156776 26178 1 - 31.0000 -
3305.01/3314.27 c 3314 157071 26186 1 - 31.0000 -
3310.30/3319.57 c 3320 157348 26216 1 - 31.0000 -
3315.38/3324.67 c 3325 157650 26251 1 - 31.0000 -
3320.48/3329.79 c 3330 157918 26308 1 - 31.0000 -
3325.76/3335.00 c 3335 158144 26366 1 - 31.0000 -
3330.95/3340.24 c 3340 158403 26422 1 - 31.0000 -
3336.13/3345.48 c 3345 158646 26485 1 - 31.0000 -
3341.22/3350.58 c 3351 159023 26511 1 - 31.0000 -
3346.51/3355.85 c 3356 159379 26563 1 - 31.0000 -
3351.59/3360.99 c 3361 159701 26571 1 - 31.0000 -
3356.98/3366.32 c 3366 159951 26624 1 - 31.0000 -
3362.06/3371.48 c 3371 160154 26676 1 - 31.0000 -
3367.15/3376.55 c 3377 160376 26730 1 - 31.0000 -
3372.44/3381.89 c 3382 160683 26794 1 - 31.0000 -
3377.63/3387.09 c 3387 160939 26841 1 - 31.0000 -
3382.90/3392.30 c 3392 161328 26832 1 - 31.0000 -
3388.00/3397.43 c 3397 161578 26849 1 - 31.0000 -
3393.08/3402.59 c 3403 161853 26874 1 - 31.0000 -
3398.37/3407.88 c 3408 162205 26893 1 - 31.0000 -
3403.66/3413.11 c 3413 162573 26924 1 - 31.0000 -
3409.54/3419.01 c 3419 162913 26936 1 - 31.0000 -
3415.23/3424.76 c 3425 163261 26957 1 - 31.0000 -
3420.51/3430.05 c 3430 163498 27016 1 - 31.0000 -
3425.69/3435.23 c 3435 163743 27076 1 - 31.0000 -
3430.98/3440.52 c 3441 164011 27136 1 - 31.0000 -
3436.26/3445.80 c 3446 164215 27202 1 - 31.0000 -
3441.36/3450.91 c 3451 164506 27236 1 - 31.0000 -
3446.74/3456.35 c 3456 164766 27301 1 - 31.0000 -
3452.22/3461.81 c 3462 164987 27352 1 - 31.0000 -
3457.41/3467.10 c 3467 165242 27401 1 - 31.0000 -
3462.69/3472.33 c 3472 165544 27465 1 - 31.0000 -
3467.89/3477.54 c 3478 165917 27510 1 - 31.0000 -
3472.97/3482.64 c 3483 166341 27543 1 - 31.0000 -
3478.06/3487.75 c 3488 166873 27551 1 - 31.0000 -
3483.64/3493.39 c 3493 167264 27563 1 - 31.0000 -
3488.93/3498.63 c 3499 167548 27592 1 - 31.0000 -
3494.11/3503.81 c 3504 167839 27660 1 - 31.0000 -
3499.40/3509.11 c 3509 168300 27687 1 - 31.0000 -
3504.48/3514.27 c 3514 168627 27718 1 - 31.0000 -
3509.78/3519.52 c 3520 168931 27740 1 - 31.0000 -
3514.86/3524.62 c 3525 169200 27771 1 - 31.0000 -
3520.15/3529.94 c 3530 169414 27797 1 - 31.0000 -
3525.73/3535.51 c 3536 169657 27854 1 - 31.0000 -
3531.12/3540.97 c 3541 169907 27922 1 - 31.0000 -
3536.30/3546.19 c 3546 170160 27940 1 - 31.0000 -
3541.49/3551.32 c 3551 170402 27990 1 - 31.0000 -
3546.67/3556.59 c 3557 170701 27979 1 - 31.0000 -
3552.06/3561.95 c 3562 171003 28049 1 - 31.0000 -
3557.15/3567.06 c 3567 171348 28090 1 - 31.0000 -
3562.43/3572.31 c 3572 171601 28137 1 - 31.0000 -
3567.62/3577.57 c 3578 172026 28157 1 - 31.0000 -
3573.40/3583.30 c 3583 172319 28183 1 - 31.0000 -
3578.69/3588.67 c 3589 172593 28204 1 - 31.0000 -
3583.88/3593.84 c 3594 172844 28275 1 - 31.0000 -
3589.66/3599.63 c 3600 173189 28330 1 - 31.0000 -
3590.36/3600.30 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.36/3600.30 c Total Time : 3600.3000
3590.36/3600.30 c solving : 3600.3000
3590.36/3600.30 c presolving : 0.4536 (included in solving)
3590.36/3600.30 c B&B Tree :
3590.36/3600.30 c nodes (total) : 1
3590.36/3600.30 c Solution :
3590.36/3600.30 c Solutions found : 0
3590.36/3600.30 c Primal Bound : -
3590.36/3600.30 c Dual Bound : +3.10000000000000e+01
3590.36/3600.30 c Gap : -
3590.36/3600.32 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 (57183 MiB free)
memory of node 1: 64510 MiB (58055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434677-1721101624/watcher-4434677-1721101624 -o /tmp/evaluation-result-4434677-1721101624/solver-4434677-1721101624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434677-1721101624.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=862338, runsolver pid=862335
[startup+0.100772 s]*
/proc/loadavg: 4.13 4.13 4.09 5/262 862339
/proc/meminfo: memFree=117967892/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=82628 memory=69540 CPUtime=0.09 cores=5,7
/proc/862338/stat : 862338 (fscip) R 862335 862338 860297 0 -1 4194304 15069 0 0 0 8 1 0 0 20 0 1 0 162327723 84611072 17385 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 20657 17385 2590 3032 0 17057 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82628 KiB
Current children cumulated memory: 69540 KiB
[startup+0.205704 s]*
/proc/loadavg: 4.13 4.13 4.09 5/262 862339
/proc/meminfo: memFree=117941172/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=109808 memory=96612 CPUtime=0.2 cores=5,7
/proc/862338/stat : 862338 (fscip) R 862335 862338 860297 0 -1 4194304 23010 0 0 0 17 3 0 0 20 0 1 0 162327723 112443392 24153 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 27452 24153 2670 3032 0 23852 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109808 KiB
Current children cumulated memory: 96612 KiB
[startup+0.305561 s]*
/proc/loadavg: 4.13 4.13 4.09 5/262 862339
/proc/meminfo: memFree=117959140/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=100448 memory=87420 CPUtime=0.3 cores=5,7
/proc/862338/stat : 862338 (fscip) R 862335 862338 860297 0 -1 4194304 23010 0 0 0 27 3 0 0 20 0 1 0 162327723 102858752 21855 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 25112 21855 2702 3032 0 21512 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100448 KiB
Current children cumulated memory: 87420 KiB
[startup+0.700772 s]
/proc/loadavg: 4.13 4.13 4.09 6/262 862341
/proc/meminfo: memFree=117935436/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=253056 memory=206240 CPUtime=0.69 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 51198 0 0 0 62 7 0 0 20 0 3 0 162327723 259129344 51560 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 63264 51560 2798 3032 0 59236 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 253056 KiB
Current children cumulated memory: 206240 KiB
[startup+1.50079 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 862343
/proc/meminfo: memFree=117912116/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=318592 memory=252320 CPUtime=1.47 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 62563 0 0 0 139 8 0 0 20 0 3 0 162327723 326238208 63080 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 79648 63080 2926 3032 0 72751 0
[pid=862338/tid=862342] ppid=862335 vsize=318592 memory=4340 CPUtime=0.92 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 26142 0 0 0 89 3 0 0 20 0 3 0 162327777 326238208 63080 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=318592 memory=2244 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162327780 326238208 63080 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 318592 KiB
Current children cumulated memory: 252320 KiB
[startup+3.10547 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 862343
/proc/meminfo: memFree=117836476/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=384128 memory=317928 CPUtime=3.07 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 91455 0 0 0 295 12 0 0 20 0 3 0 162327723 393347072 79482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 96032 79482 2926 3032 0 90024 0
[pid=862338/tid=862342] ppid=862335 vsize=384128 memory=2244 CPUtime=2.52 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 55027 0 0 0 245 7 0 0 20 0 3 0 162327777 393347072 79482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=384128 memory=206240 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 162327780 393347072 79482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 384128 KiB
Current children cumulated memory: 317928 KiB
[startup+6.30026 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 862485
/proc/meminfo: memFree=120014664/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=384128 memory=329432 CPUtime=6.26 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 119082 0 0 0 611 15 0 0 20 0 3 0 162327723 393347072 82358 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 96032 82358 2974 3032 0 92206 0
[pid=862338/tid=862342] ppid=862335 vsize=384128 memory=51542315 CPUtime=5.7 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 82617 0 0 0 561 9 0 0 20 0 3 0 162327777 393347072 82358 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=384128 memory=318152 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 162327780 393347072 82358 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 384128 KiB
Current children cumulated memory: 329432 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 862682
/proc/meminfo: memFree=122748844/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=384128 memory=329508 CPUtime=12.63 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 178240 0 0 0 1243 20 0 0 20 0 3 0 162327723 393347072 82377 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 96032 82377 2990 3032 0 92206 0
[pid=862338/tid=862342] ppid=862335 vsize=384128 memory=329508 CPUtime=12.09 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 141720 0 0 0 1194 15 0 0 20 0 3 0 162327777 393347072 82377 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=384128 memory=335216 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 162327780 393347072 82377 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 384128 KiB
Current children cumulated memory: 329508 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 862828
/proc/meminfo: memFree=122581144/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=449664 memory=343540 CPUtime=25.41 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 241784 0 0 0 2514 27 0 0 20 0 3 0 162327723 460455936 85885 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 112416 85885 2990 3032 0 96275 0
[pid=862338/tid=862342] ppid=862335 vsize=449664 memory=227104 CPUtime=24.85 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 205215 0 0 0 2464 21 0 0 20 0 3 0 162327777 460455936 85885 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=449664 memory=343540 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 162327780 460455936 85885 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 449664 KiB
Current children cumulated memory: 343540 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 862881
/proc/meminfo: memFree=123291432/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=449664 memory=351292 CPUtime=50.94 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 322916 0 0 0 5062 32 0 0 20 0 3 0 162327723 460455936 87823 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 112416 87823 2990 3032 0 97571 0
[pid=862338/tid=862342] ppid=862335 vsize=449664 memory=351280 CPUtime=50.39 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 286262 0 0 0 5012 27 0 0 20 0 3 0 162327777 460455936 87823 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=449664 memory=345960 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 162327780 460455936 87823 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 449664 KiB
Current children cumulated memory: 351292 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 862889
/proc/meminfo: memFree=123163072/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=515200 memory=413992 CPUtime=102.01 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 463949 0 0 0 10156 45 0 0 20 0 3 0 162327723 527564800 103498 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 128800 103498 2990 3032 0 115968 0
[pid=862338/tid=862342] ppid=862335 vsize=515200 memory=392168 CPUtime=101.45 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 427195 0 0 0 10106 39 0 0 20 0 3 0 162327777 527564800 103498 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=515200 memory=11860 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 162327780 527564800 103498 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 515200 KiB
Current children cumulated memory: 413992 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 862899
/proc/meminfo: memFree=123122728/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=515200 memory=428640 CPUtime=161.86 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 535854 0 0 0 16135 51 0 0 20 0 3 0 162327723 527564800 107160 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 128800 107160 2990 3032 0 116789 0
[pid=862338/tid=862342] ppid=862335 vsize=515200 memory=417040 CPUtime=161.29 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 499053 0 0 0 16084 45 0 0 20 0 3 0 162327777 527564800 107160 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=515200 memory=41404 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 162327780 527564800 107160 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 515200 KiB
Current children cumulated memory: 428640 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 862915
/proc/meminfo: memFree=123085384/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=515200 memory=437368 CPUtime=221.69 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 555197 0 0 0 22115 54 0 0 20 0 3 0 162327723 527564800 109342 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 128800 109342 2990 3032 0 116789 0
[pid=862338/tid=862342] ppid=862335 vsize=515200 memory=433692 CPUtime=221.13 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 518360 0 0 0 22065 48 0 0 20 0 3 0 162327777 527564800 109342 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=515200 memory=11860 CPUtime=0 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 162327780 527564800 109342 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 515200 KiB
Current children cumulated memory: 437368 KiB
################
# More data... #
################
/proc/862338/statm: 300690 276827 2990 3032 0 287243 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=1107204 CPUtime=3451.9 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1733865 0 0 0 344954 236 0 0 20 0 3 0 162327777 1231626240 276827 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=13040 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 162 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 276827 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1107308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 864705
/proc/meminfo: memFree=119574016/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1118680 CPUtime=3512.57 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1823167 0 0 0 350999 258 0 0 20 0 3 0 162327723 1231626240 279670 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 279670 2990 3032 0 287243 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=41404 CPUtime=3511.74 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1785406 0 0 0 350932 242 0 0 20 0 3 0 162327777 1231626240 279670 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=2244 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 164 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 279670 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1118680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/263 864717
/proc/meminfo: memFree=119530068/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1128268 CPUtime=3572.4 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1866679 0 0 0 356978 262 0 0 20 0 3 0 162327723 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282067 2990 3032 0 287962 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=41404 CPUtime=3571.57 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1828902 0 0 0 356911 246 0 0 20 0 3 0 162327777 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=11860 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1128268 KiB
[startup+3600.34 s]
# the end of solver process 862338 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.71 s, system=2.69242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.15 4.11 5/263 864717
/proc/meminfo: memFree=119529200/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1128268 CPUtime=3574.1 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1866997 0 0 0 357148 262 0 0 20 0 3 0 162327723 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282067 2990 3032 0 287962 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=6720662160172793965 CPUtime=3573.27 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1829212 0 0 0 357081 246 0 0 20 0 3 0 162327777 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=-9044459746194447340 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1128268 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 864717
/proc/meminfo: memFree=119526148/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1128268 CPUtime=3580.49 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1867968 0 0 0 357786 263 0 0 20 0 3 0 162327723 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282067 2990 3032 0 287962 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=41404 CPUtime=3579.66 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1830183 0 0 0 357719 247 0 0 20 0 3 0 162327777 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=1127456 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282067 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1128268 KiB
[startup+3596.8 s]
/proc/loadavg: 4.23 4.16 4.11 5/263 864718
/proc/meminfo: memFree=119513932/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1129928 CPUtime=3586.87 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1882177 0 0 0 358423 264 0 0 20 0 3 0 162327723 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282482 2990 3032 0 288362 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=5484 CPUtime=3586.04 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1844392 0 0 0 358356 248 0 0 20 0 3 0 162327777 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=5448 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3586.87 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1129928 KiB
[startup+3598.4 s]
/proc/loadavg: 4.23 4.16 4.11 5/263 864718
/proc/meminfo: memFree=119513044/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1129928 CPUtime=3588.47 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1882996 0 0 0 358583 264 0 0 20 0 3 0 162327723 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282482 2990 3032 0 288362 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=1129928 CPUtime=3587.64 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1845211 0 0 0 358516 248 0 0 20 0 3 0 162327777 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=16096 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1129928 KiB
[startup+3599.2 s]
/proc/loadavg: 4.21 4.16 4.11 5/263 864718
/proc/meminfo: memFree=119512812/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1129928 CPUtime=3589.26 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1883073 0 0 0 358662 264 0 0 20 0 3 0 162327723 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282482 2990 3032 0 288362 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=11860 CPUtime=3588.43 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1845288 0 0 0 358595 248 0 0 20 0 3 0 162327777 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=16096 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3589.26 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1129928 KiB
[startup+3600 s]*
/proc/loadavg: 4.21 4.16 4.11 5/263 864718
/proc/meminfo: memFree=119512232/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1129928 CPUtime=3590.07 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1883386 0 0 0 358743 264 0 0 20 0 3 0 162327723 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282482 2990 3032 0 288362 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=6720662160172793965 CPUtime=3589.23 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1845600 0 0 0 358675 248 0 0 20 0 3 0 162327777 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=-9044459746194447340 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3590.07 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1129928 KiB
[startup+3600.2 s]
/proc/loadavg: 4.21 4.16 4.11 5/263 864718
/proc/meminfo: memFree=119512232/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1202760 memory=1129928 CPUtime=3590.26 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1920488 0 0 0 358759 267 0 0 20 0 3 0 162327723 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 300690 282482 2990 3032 0 288362 0
[pid=862338/tid=862342] ppid=862335 vsize=1202760 memory=4920 CPUtime=3589.43 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1882701 0 0 0 358692 251 0 0 20 0 3 0 162327777 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1202760 memory=1129928 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1231626240 282482 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3590.26 s
Current children cumulated vsize: 1202760 KiB
Current children cumulated memory: 1129928 KiB
[startup+3600.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/263 864718
/proc/meminfo: memFree=119512232/131524600 swapFree=131071996/131071996
[pid=862338] ppid=862335 vsize=1042272 memory=979880 CPUtime=3590.36 cores=5,7
/proc/862338/stat : 862338 (fscip) S 862335 862338 860297 0 -1 1077936128 1923853 0 0 0 358769 267 0 0 20 0 3 0 162327723 1067286528 244970 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
/proc/862338/statm: 260568 244970 2990 3032 0 248240 0
[pid=862338/tid=862342] ppid=862335 vsize=1042272 memory=41404 CPUtime=3589.53 cores=5,7
/proc/862338/task/862342/stat : 862342 (fscip) R 862335 862338 860297 0 -1 4194368 1886072 0 0 0 358702 251 0 0 20 0 3 0 162327777 1067286528 244970 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
[pid=862338/tid=862343] ppid=862335 vsize=1042272 memory=1128268 CPUtime=0.03 cores=5,7
/proc/862338/task/862343/stat : 862343 (fscip) S 862335 862338 860297 0 -1 1077936192 166 0 0 0 0 3 0 0 20 0 3 0 162327780 1067286528 244970 134679101440 4194304 16613245 140728981179648 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51032064 140728981181461 140728981181577 140728981181577 140728981188592 0
Current children cumulated CPU time: 3590.36 s
Current children cumulated vsize: 1042272 KiB
Current children cumulated memory: 979880 KiB
Child status: 0
Real time (s): 3600.34
CPU time (s): 3590.41
CPU user time (s): 3587.71
CPU system time (s): 2.69242
CPU usage (%): 99.7242
Max. virtual memory (cumulated for all children) (KiB): 1202760
Max. memory (cumulated for all children) (KiB): 1129928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.71
system time used= 2.69242
maximum resident set size= 1129928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1924321
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= 11042
involuntary context switches= 3892
# summary of solver processes directly reported to runsolver:
# pid: 862338
# total CPU time (s): 3590.41
# total CPU user time (s): 3587.71
# total CPU system time (s): 2.69242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16811 second user time and 17.3085 second system time
The end
Begin job on nodeC025 at 2024-07-16 05:47:16
IDJOB=4434677
IDBENCH=147627
IDSOLVER=3064
FILE ID=nodeC025/4434677-1721101624
RUNJOBID= nodeC025-1721098035-860310
SLURM_JOB_ID= 7505612
Free space on /tmp= 889948 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.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-4434677-1721101624/watcher-4434677-1721101624 -o /tmp/evaluation-result-4434677-1721101624/solver-4434677-1721101624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434677-1721101624.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 850b351e493109d76788c3bb5eecff4d
RANDOM SEED=1011760073
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.690
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.420
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.09
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.090
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.72
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 : 3600.095
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.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.698
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.707
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.09
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.197
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.72
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 : 3667.017
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.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118004648 kB
MemAvailable: 123244828 kB
Buffers: 408092 kB
Cached: 5606044 kB
SwapCached: 0 kB
Active: 757144 kB
Inactive: 12017124 kB
Active(anon): 1528 kB
Inactive(anon): 6796316 kB
Active(file): 755616 kB
Inactive(file): 5220808 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29512 kB
Writeback: 80 kB
AnonPages: 6746364 kB
Mapped: 143292 kB
Shmem: 37720 kB
KReclaimable: 206808 kB
Slab: 325236 kB
SReclaimable: 206808 kB
SUnreclaim: 118428 kB
KernelStack: 4176 kB
PageTables: 22736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3788500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3602432 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: 273108 kB
DirectMap2M: 36200448 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC025 at 2024-07-16 06:47:17