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.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 83116032, getVmSize() = 83116032, SCIPgetMemUsed() = 29005011, SCIPgetMemTotal() = 60868235, SCIPgetMemExternEstim() = 15290817
0.00/0.08 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.50/0.51 c ** Estimated virtualMemUsedAtSolver = 104036832, getVmSize() = 164368384, SCIPgetMemUsed() = 82705927, SCIPgetMemTotal() = 140764431, SCIPgetMemExternEstim() = 15290817
0.50/0.51 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.50/0.51 c Original Problem :
0.50/0.51 c Problem name : instance-4464009-1722378597
0.50/0.51 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.51 c Constraints : 6383
0.50/0.51 c Objective sense : minimize
0.50/0.51 c Presolved Problem :
0.50/0.51 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.51 c Constraints : 4654
0.50/0.51 c Constraints : Number
0.50/0.51 c knapsack : 195
0.50/0.51 c setppc : 1365
0.50/0.51 c linear : 3094
0.50/0.51 c ** Instance transfer method used: 0
0.50/0.53 c ** ParaScipInstance copy does not increase the number of variables. **
0.50/0.54 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.54 c Nodes Active
0.50/0.54 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.35/5.43 c 5 27 24 1 - 14.0000 -
10.43/10.53 c 11 86 83 1 - 15.0000 -
15.93/16.04 c 16 165 154 1 - 15.0000 -
21.60/21.72 c 22 255 231 1 - 15.0000 -
27.08/27.20 c 27 357 327 1 - 15.0000 -
32.86/33.07 c 33 425 395 1 - 15.0000 -
38.14/38.37 c 38 495 455 1 - 15.0000 -
44.52/44.76 c 45 559 499 1 - 15.0000 -
50.70/50.95 c 51 628 541 1 - 15.0000 -
56.38/56.60 c 57 755 618 1 - 16.0000 -
61.36/61.63 c 62 791 643 1 - 16.0000 -
66.55/66.88 c 67 829 672 1 - 16.0000 -
73.52/73.90 c 74 1005 772 1 - 16.9992 -
78.90/79.29 c 79 1048 786 1 - 17.0000 -
85.28/85.60 c 86 1097 817 1 - 17.0000 -
91.06/91.49 c 91 1124 0 1 - 17.0000 -
98.44/98.84 c 99 1125 1 1 - 17.0000 -
103.63/104.02 c 104 1210 68 1 - 17.0000 -
108.61/109.06 c 109 1246 94 1 - 17.0000 -
114.69/115.14 c 115 1298 110 1 - 17.0000 -
119.97/120.48 c 120 1377 160 1 - 17.0000 -
126.15/126.62 c 127 1417 170 1 - 17.0000 -
131.32/131.82 c 132 1468 188 1 - 17.0000 -
138.11/138.62 c 139 1493 211 1 - 17.0000 -
143.39/143.95 c 144 1533 241 1 - 17.0000 -
148.77/149.34 c 149 1585 254 1 - 17.0000 -
154.75/155.30 c 155 1648 276 1 - 17.0000 -
160.24/160.82 c 161 1783 329 1 - 17.0000 -
165.52/166.19 c 166 1951 414 1 - 17.0000 -
170.80/171.48 c 171 2042 474 1 - 17.0000 -
176.49/177.10 c 177 2176 523 1 - 17.0000 -
181.66/182.38 c 182 2345 578 1 - 17.0000 -
187.54/188.28 c 188 2500 643 1 - 17.0000 -
193.12/193.82 c 194 2688 700 1 - 17.9425 -
198.20/198.95 c 199 2849 783 1 - 17.9425 -
203.89/204.64 c 205 3055 835 1 - 17.9425 -
208.96/209.76 c 210 3208 859 1 - 17.9425 -
215.05/215.86 c 216 3373 903 1 - 17.9425 -
220.82/221.61 c 222 3508 962 1 - 17.9425 -
226.00/226.83 c 227 3658 997 1 - 17.9425 -
231.49/232.35 c 232 3958 1010 1 - 18.0000 -
236.57/237.49 c 237 4166 1021 1 - 18.0000 -
242.15/243.07 c 243 4338 1086 1 - 18.0000 -
247.53/248.49 c 248 4540 1096 1 - 18.0000 -
252.81/253.77 c 254 4667 1144 1 - 18.0000 -
258.49/259.46 c 259 4798 1168 1 - 18.0000 -
263.87/264.84 c 265 4956 1197 1 - 18.0000 -
269.35/270.32 c 270 5158 1228 1 - 18.0000 -
274.93/275.90 c 276 5308 1261 1 - 18.0000 -
280.22/281.24 c 281 5440 1299 1 - 18.0000 -
285.59/286.65 c 287 5620 1339 1 - 18.1579 -
290.87/291.91 c 292 5778 1385 1 - 18.1579 -
296.85/297.93 c 298 5974 1431 1 - 18.2941 -
302.43/303.52 c 304 6158 1475 1 - 18.5738 -
307.61/308.76 c 309 6349 1527 1 - 18.5738 -
313.01/314.13 c 314 6513 1572 1 - 18.5738 -
318.58/319.78 c 320 6638 1641 1 - 18.6319 -
323.96/325.19 c 325 6724 1706 1 - 18.6319 -
329.34/330.53 c 331 6855 1734 1 - 18.6319 -
334.83/336.03 c 336 7067 1754 1 - 18.6319 -
340.00/341.25 c 341 7309 1758 1 - 19.0000 -
345.98/347.20 c 347 7446 1821 1 - 19.0000 -
351.86/353.14 c 353 7554 1852 1 - 19.0000 -
357.34/358.67 c 359 7716 1899 1 - 19.0000 -
362.42/363.79 c 364 7925 1954 1 - 19.2000 -
367.82/369.16 c 369 8136 2003 1 - 19.2981 -
373.59/374.91 c 375 8348 2039 1 - 19.3953 -
379.27/380.66 c 381 8525 2064 1 - 19.5923 -
384.55/385.92 c 386 8678 2103 1 - 19.6087 -
389.64/391.07 c 391 8855 2142 1 - 20.0000 -
394.72/396.16 c 396 9036 2208 1 - 20.0000 -
399.89/401.34 c 401 9211 2251 1 - 20.0000 -
406.17/407.65 c 408 9338 2279 1 - 20.0000 -
411.66/413.18 c 413 9478 2339 1 - 20.0000 -
417.43/418.92 c 419 9689 2371 1 - 20.0000 -
422.52/424.06 c 424 9821 2422 1 - 20.0000 -
427.69/429.28 c 429 10036 2487 1 - 20.0000 -
433.08/434.66 c 435 10193 2542 1 - 20.0000 -
438.36/439.95 c 440 10344 2606 1 - 20.0000 -
443.55/445.19 c 445 10542 2705 1 - 20.0000 -
449.02/450.62 c 451 10646 2771 1 - 20.0000 -
454.90/456.59 c 457 10804 2850 1 - 20.0000 -
459.98/461.69 c 462 10925 2925 1 - 20.1429 -
465.37/467.04 c 467 11060 3003 1 - 20.2500 -
470.35/472.10 c 472 11215 3093 1 - 20.2595 -
475.53/477.26 c 477 11389 3171 1 - 20.2595 -
481.21/482.98 c 483 11618 3246 1 - 20.5082 -
486.98/488.72 c 489 11798 3298 1 - 21.0000 -
492.07/493.87 c 494 11895 3372 1 - 21.0000 -
497.65/499.42 c 499 12018 3463 1 - 21.0000 -
502.83/504.60 c 505 12152 3564 1 - 21.0000 -
507.91/509.72 c 510 12290 3650 1 - 21.0000 -
513.38/515.28 c 515 12400 3723 1 - 21.0000 -
518.57/520.42 c 520 12568 3789 1 - 21.0000 -
524.05/525.94 c 526 12722 3853 1 - 21.0000 -
529.24/531.19 c 531 12857 3936 1 - 21.0000 -
534.51/536.44 c 536 12978 4012 1 - 21.0000 -
540.39/542.34 c 542 13145 4061 1 - 21.0000 -
545.87/547.89 c 548 13387 4136 1 - 21.0000 -
551.25/553.23 c 553 13526 4217 1 - 21.0000 -
556.63/558.67 c 559 13661 4255 1 - 21.0000 -
562.01/564.06 c 564 13835 4309 1 - 21.0051 -
567.20/569.20 c 569 14005 4360 1 - 21.0102 -
572.48/574.51 c 575 14151 4396 1 - 21.0102 -
577.56/579.64 c 580 14281 4431 1 - 21.0102 -
582.94/585.03 c 585 14457 4480 1 - 21.0102 -
588.32/590.49 c 590 14671 4524 1 - 21.0102 -
594.40/596.54 c 597 14898 4562 1 - 21.2533 -
599.98/602.12 c 602 15075 4610 1 - 21.6692 -
605.86/608.03 c 608 15221 4712 1 - 21.8387 -
611.24/613.44 c 613 15428 4759 1 - 21.8387 -
616.32/618.51 c 619 15587 4817 1 - 21.8387 -
621.30/623.59 c 624 15773 4917 1 - 22.0000 -
626.59/628.83 c 629 16020 4983 1 - 22.0000 -
631.97/634.22 c 634 16264 5029 1 - 22.0000 -
637.45/639.71 c 640 16502 5071 1 - 22.0000 -
642.74/645.02 c 645 16735 5097 1 - 22.0000 -
647.91/650.29 c 650 17024 5109 1 - 22.0000 -
653.20/655.53 c 656 17255 5157 1 - 22.0000 -
658.48/660.86 c 661 17540 5192 1 - 22.0000 -
663.56/665.94 c 666 17799 5240 1 - 22.0051 -
668.84/671.27 c 671 18010 5300 1 - 22.0051 -
673.93/676.39 c 676 18273 5321 1 - 22.0051 -
679.41/681.81 c 682 18552 5359 1 - 22.0102 -
685.19/687.68 c 688 18731 5379 1 - 22.0102 -
691.07/693.50 c 694 18969 5439 1 - 22.1252 -
696.95/699.47 c 699 19242 5480 1 - 22.1747 -
702.34/704.85 c 705 19515 5502 1 - 22.2466 -
707.42/709.97 c 710 19705 5539 1 - 22.2659 -
712.51/715.01 c 715 19930 5587 1 - 22.5769 -
717.78/720.38 c 720 20160 5628 1 - 22.8498 -
723.47/726.05 c 726 20409 5689 1 - 23.0000 -
729.15/731.74 c 732 20644 5727 1 - 23.0000 -
734.23/736.85 c 737 20920 5758 1 - 23.0000 -
739.32/741.99 c 742 21143 5793 1 - 23.0000 -
744.80/747.42 c 747 21374 5832 1 - 23.0000 -
750.18/752.80 c 753 21640 5864 1 - 23.0000 -
755.36/758.02 c 758 21846 5904 1 - 23.0000 -
760.54/763.21 c 763 21983 5989 1 - 23.0000 -
765.62/768.34 c 768 22147 6015 1 - 23.0000 -
771.11/773.83 c 774 22297 6086 1 - 23.0000 -
776.49/779.26 c 779 22525 6123 1 - 23.0000 -
781.78/784.55 c 785 22719 6164 1 - 23.0000 -
787.46/790.24 c 790 22948 6211 1 - 23.0000 -
792.64/795.46 c 795 23105 6308 1 - 23.0000 -
797.82/800.66 c 801 23281 6379 1 - 23.0000 -
802.91/805.72 c 806 23493 6435 1 - 23.0000 -
808.69/811.54 c 812 23730 6502 1 - 23.0000 -
814.07/816.97 c 817 23970 6544 1 - 23.0000 -
819.45/822.34 c 822 24144 6569 1 - 23.0000 -
824.84/827.72 c 828 24281 6602 1 - 23.0000 -
830.12/833.04 c 833 24444 6689 1 - 23.0000 -
835.89/838.84 c 839 24650 6805 1 - 23.0000 -
841.19/844.11 c 844 24826 6881 1 - 23.0000 -
846.26/849.29 c 849 25091 6970 1 - 23.0000 -
851.35/854.39 c 854 25311 7015 1 - 23.0000 -
856.63/859.66 c 860 25510 7060 1 - 23.0000 -
861.81/864.87 c 865 25716 7113 1 - 23.0000 -
866.89/869.94 c 870 25882 7171 1 - 23.0000 -
871.98/875.05 c 875 26060 7219 1 - 23.0000 -
877.15/880.24 c 880 26308 7281 1 - 23.0000 -
883.54/886.61 c 887 26524 7349 1 - 23.0000 -
888.82/891.96 c 892 26744 7414 1 - 23.0000 -
894.59/897.73 c 898 27035 7504 1 - 23.0051 -
899.68/902.84 c 903 27258 7566 1 - 23.0051 -
905.46/908.66 c 909 27531 7610 1 - 23.0051 -
910.74/913.99 c 914 27732 7671 1 - 23.0051 -
916.33/919.57 c 920 27925 7724 1 - 23.0051 -
921.61/924.86 c 925 28134 7801 1 - 23.0051 -
926.99/930.20 c 930 28311 7890 1 - 23.0051 -
932.07/935.31 c 935 28501 7955 1 - 23.0051 -
937.46/940.76 c 941 28715 8027 1 - 23.0051 -
942.64/945.95 c 946 28956 8100 1 - 23.0051 -
948.41/951.71 c 952 29230 8139 1 - 23.0051 -
954.10/957.41 c 957 29445 8239 1 - 23.0102 -
959.18/962.57 c 963 29661 8347 1 - 23.2051 -
964.67/968.01 c 968 29887 8417 1 - 23.3996 -
970.44/973.89 c 974 30207 8512 1 - 23.4097 -
976.02/979.50 c 979 30466 8594 1 - 23.4461 -
981.70/985.12 c 985 30746 8659 1 - 23.5556 -
987.19/990.63 c 991 30997 8755 1 - 23.7635 -
992.27/995.77 c 996 31155 8802 1 - 23.8027 -
998.05/1001.58 c 1002 31467 8853 1 - 23.9063 -
1003.33/1006.80 c 1007 31620 8924 1 - 24.0000 -
1008.51/1012.07 c 1012 31818 9026 1 - 24.0000 -
1013.79/1017.32 c 1017 32024 9095 1 - 24.0000 -
1019.27/1022.84 c 1023 32157 9149 1 - 24.0000 -
1024.95/1028.55 c 1029 32364 9256 1 - 24.0000 -
1030.04/1033.64 c 1034 32566 9349 1 - 24.0000 -
1035.12/1038.77 c 1039 32822 9401 1 - 24.0000 -
1040.30/1043.99 c 1044 33065 9451 1 - 24.0000 -
1045.49/1049.17 c 1049 33289 9529 1 - 24.0000 -
1050.77/1054.46 c 1054 33460 9620 1 - 24.0000 -
1056.05/1059.73 c 1060 33685 9676 1 - 24.0000 -
1061.13/1064.87 c 1065 33922 9720 1 - 24.0000 -
1066.31/1070.04 c 1070 34140 9782 1 - 24.0000 -
1071.40/1075.18 c 1075 34304 9838 1 - 24.0000 -
1076.87/1080.63 c 1081 34529 9890 1 - 24.0000 -
1082.66/1086.44 c 1086 34632 9973 1 - 24.0000 -
1088.04/1091.87 c 1092 34806 10028 1 - 24.0000 -
1093.11/1096.95 c 1097 35016 10108 1 - 24.0000 -
1098.39/1102.22 c 1102 35284 10165 1 - 24.0000 -
1103.57/1107.42 c 1107 35550 10223 1 - 24.0000 -
1108.65/1112.60 c 1113 35781 10253 1 - 24.0000 -
1114.24/1118.17 c 1118 35928 10326 1 - 24.0000 -
1120.30/1124.29 c 1124 36140 10387 1 - 24.0000 -
1125.89/1129.85 c 1130 36460 10444 1 - 24.0000 -
1131.07/1135.06 c 1135 36729 10485 1 - 24.0000 -
1136.75/1140.72 c 1141 37029 10517 1 - 24.0000 -
1142.03/1146.03 c 1146 37285 10561 1 - 24.0000 -
1147.90/1151.94 c 1152 37475 10624 1 - 24.0001 -
1153.67/1157.78 c 1158 37759 10666 1 - 24.0001 -
1158.86/1162.96 c 1163 38005 10716 1 - 24.0051 -
1164.04/1168.19 c 1168 38236 10754 1 - 24.0051 -
1169.22/1173.37 c 1173 38402 10813 1 - 24.0051 -
1174.70/1178.80 c 1179 38654 10875 1 - 24.0051 -
1179.98/1184.12 c 1184 38919 10933 1 - 24.0051 -
1185.06/1189.21 c 1189 39185 10993 1 - 24.0102 -
1190.24/1194.41 c 1194 39393 11062 1 - 24.0102 -
1195.71/1199.93 c 1200 39630 11102 1 - 24.5000 -
1201.09/1205.34 c 1205 39961 11142 1 - 24.5000 -
1206.37/1210.60 c 1211 40108 11212 1 - 24.5000 -
1211.35/1215.65 c 1216 40224 11300 1 - 24.6939 -
1216.63/1220.92 c 1221 40450 11343 1 - 25.0000 -
1221.81/1226.14 c 1226 40698 11428 1 - 25.0000 -
1226.88/1231.21 c 1231 40936 11482 1 - 25.0000 -
1232.17/1236.59 c 1237 41108 11554 1 - 25.0000 -
1237.84/1242.21 c 1242 41320 11604 1 - 25.0000 -
1243.22/1247.65 c 1248 41505 11628 1 - 25.0000 -
1248.40/1252.81 c 1253 41690 11668 1 - 25.0000 -
1253.59/1258.03 c 1258 41882 11700 1 - 25.0000 -
1258.76/1263.22 c 1263 42086 11770 1 - 25.0000 -
1263.95/1268.44 c 1268 42274 11824 1 - 25.0000 -
1269.32/1273.84 c 1274 42491 11875 1 - 25.0000 -
1275.19/1279.70 c 1280 42680 11921 1 - 25.0000 -
1280.57/1285.15 c 1285 42850 11994 1 - 25.0000 -
1286.46/1291.00 c 1291 43039 12042 1 - 25.0000 -
1291.53/1296.19 c 1296 43237 12104 1 - 25.0000 -
1296.91/1301.55 c 1302 43428 12163 1 - 25.0000 -
1302.68/1307.39 c 1307 43619 12238 1 - 25.0000 -
1307.87/1312.57 c 1313 43858 12276 1 - 25.0000 -
1313.74/1318.47 c 1318 44131 12330 1 - 25.0000 -
1319.12/1323.89 c 1324 44340 12405 1 - 25.0000 -
1324.41/1329.16 c 1329 44728 12450 1 - 25.0000 -
1329.68/1334.45 c 1334 44992 12512 1 - 25.0051 -
1335.56/1340.38 c 1340 45212 12559 1 - 25.0051 -
1340.64/1345.46 c 1345 45446 12616 1 - 25.0051 -
1345.71/1350.58 c 1351 45809 12663 1 - 25.0051 -
1351.10/1355.98 c 1356 46159 12748 1 - 25.0051 -
1356.18/1361.08 c 1361 46535 12789 1 - 25.0051 -
1361.26/1366.12 c 1366 46832 12872 1 - 25.0102 -
1366.45/1371.35 c 1371 47075 12950 1 - 25.0202 -
1371.82/1376.70 c 1377 47335 13025 1 - 25.2381 -
1376.90/1381.81 c 1382 47535 13087 1 - 25.3333 -
1382.39/1387.34 c 1387 47754 13142 1 - 25.3429 -
1388.17/1393.14 c 1393 48105 13228 1 - 26.0000 -
1393.35/1398.35 c 1398 48313 13298 1 - 26.0000 -
1398.53/1403.52 c 1404 48542 13374 1 - 26.0000 -
1403.52/1408.56 c 1409 48780 13412 1 - 26.0000 -
1408.90/1413.97 c 1414 49012 13447 1 - 26.0000 -
1414.68/1419.79 c 1420 49236 13497 1 - 26.0000 -
1419.86/1424.95 c 1425 49567 13579 1 - 26.0000 -
1424.94/1430.09 c 1430 49935 13621 1 - 26.0000 -
1430.33/1435.41 c 1435 50072 13735 1 - 26.0000 -
1435.71/1440.82 c 1441 50166 13818 1 - 26.0000 -
1440.89/1446.01 c 1446 50411 13866 1 - 26.0000 -
1445.98/1451.19 c 1451 50745 13908 1 - 26.0000 -
1451.15/1456.39 c 1456 51166 13962 1 - 26.0000 -
1456.23/1461.41 c 1461 51333 14028 1 - 26.0000 -
1461.42/1466.68 c 1467 51607 14108 1 - 26.0000 -
1466.81/1472.06 c 1472 51953 14155 1 - 26.0000 -
1472.08/1477.34 c 1477 52329 14166 1 - 26.0000 -
1477.27/1482.57 c 1483 52733 14199 1 - 26.0000 -
1482.35/1487.69 c 1488 52938 14234 1 - 26.0000 -
1487.63/1492.90 c 1493 53246 14260 1 - 26.0000 -
1493.02/1498.33 c 1498 53454 14340 1 - 26.0000 -
1498.59/1503.90 c 1504 53794 14371 1 - 26.0000 -
1503.58/1508.96 c 1509 53954 14417 1 - 26.0000 -
1509.56/1514.91 c 1515 54260 14485 1 - 26.0000 -
1515.34/1520.76 c 1521 54523 14544 1 - 26.0000 -
1521.91/1527.39 c 1527 54842 14618 1 - 26.0000 -
1527.29/1532.72 c 1533 55075 14654 1 - 26.0001 -
1533.18/1538.65 c 1539 55435 14705 1 - 26.0051 -
1539.16/1544.67 c 1545 55802 14740 1 - 26.0051 -
1544.34/1549.86 c 1550 56081 14818 1 - 26.0051 -
1549.82/1555.39 c 1555 56400 14868 1 - 26.0051 -
1555.00/1560.52 c 1561 56683 14917 1 - 26.0051 -
1560.09/1565.66 c 1566 57008 14955 1 - 26.0051 -
1565.47/1571.05 c 1571 57216 15002 1 - 26.0051 -
1570.46/1576.08 c 1576 57459 15038 1 - 26.0051 -
1575.54/1581.17 c 1581 57794 15082 1 - 26.0051 -
1580.71/1586.33 c 1586 58007 15157 1 - 26.0051 -
1585.90/1591.50 c 1592 58158 15215 1 - 26.0051 -
1591.48/1597.10 c 1597 58449 15270 1 - 26.0051 -
1596.56/1602.20 c 1602 58758 15314 1 - 26.0051 -
1601.84/1607.59 c 1608 58930 15342 1 - 26.0051 -
1607.02/1612.71 c 1613 59213 15394 1 - 26.0051 -
1612.90/1618.65 c 1619 59494 15465 1 - 26.0051 -
1618.09/1623.86 c 1624 59792 15493 1 - 26.0051 -
1623.07/1628.87 c 1629 60115 15552 1 - 26.0067 -
1628.46/1634.24 c 1634 60415 15601 1 - 26.0102 -
1634.34/1640.11 c 1640 60825 15617 1 - 26.0102 -
1639.42/1645.25 c 1645 61082 15674 1 - 26.1429 -
1644.60/1650.49 c 1650 61385 15766 1 - 26.4102 -
1649.98/1655.83 c 1656 61614 15847 1 - 27.0000 -
1655.66/1661.58 c 1662 61817 15926 1 - 27.0000 -
1660.74/1666.62 c 1667 62008 16026 1 - 27.0000 -
1665.93/1671.84 c 1672 62221 16109 1 - 27.0000 -
1671.51/1677.41 c 1677 62419 16169 1 - 27.0000 -
1676.69/1682.68 c 1683 62676 16198 1 - 27.0000 -
1682.27/1688.23 c 1688 62927 16248 1 - 27.0000 -
1687.66/1693.65 c 1694 63169 16299 1 - 27.0000 -
1692.84/1698.82 c 1699 63416 16357 1 - 27.0000 -
1698.02/1704.05 c 1704 63754 16405 1 - 27.0000 -
1703.20/1709.20 c 1709 64099 16447 1 - 27.0000 -
1708.18/1714.26 c 1714 64423 16450 1 - 27.0000 -
1713.46/1719.58 c 1720 64648 16488 1 - 27.0000 -
1718.65/1724.78 c 1725 64971 16528 1 - 27.0000 -
1723.83/1729.91 c 1730 65244 16537 1 - 27.0000 -
1728.92/1735.00 c 1735 65690 16590 1 - 27.0000 -
1734.00/1740.15 c 1740 65985 16648 1 - 27.0000 -
1739.38/1745.58 c 1746 66310 16692 1 - 27.0000 -
1744.46/1750.67 c 1751 66703 16739 1 - 27.0000 -
1749.64/1755.88 c 1756 66931 16804 1 - 27.0000 -
1754.92/1761.14 c 1761 67270 16829 1 - 27.0000 -
1760.10/1766.33 c 1766 67583 16873 1 - 27.0000 -
1765.18/1771.40 c 1771 67941 16844 1 - 27.0000 -
1770.66/1776.94 c 1777 68112 16911 1 - 27.0000 -
1775.74/1782.10 c 1782 68198 16965 1 - 27.0000 -
1781.01/1787.32 c 1787 68492 17004 1 - 27.0000 -
1786.29/1792.62 c 1793 68742 17054 1 - 27.0000 -
1791.37/1797.76 c 1798 69048 17102 1 - 27.0000 -
1796.55/1802.94 c 1803 69258 17141 1 - 27.0000 -
1801.74/1808.17 c 1808 69571 17169 1 - 27.0000 -
1806.91/1813.38 c 1813 69912 17253 1 - 27.0000 -
1811.99/1818.47 c 1818 70310 17282 1 - 27.0000 -
1817.97/1824.41 c 1824 70644 17321 1 - 27.0000 -
1823.24/1829.75 c 1830 71026 17364 1 - 27.0000 -
1828.63/1835.13 c 1835 71344 17389 1 - 27.0000 -
1833.71/1840.25 c 1840 71650 17423 1 - 27.0000 -
1838.88/1845.44 c 1845 71990 17482 1 - 27.0000 -
1844.16/1850.70 c 1851 72219 17527 1 - 27.0000 -
1849.24/1855.82 c 1856 72616 17529 1 - 27.0000 -
1854.91/1861.54 c 1862 72904 17523 1 - 27.0000 -
1860.00/1866.66 c 1867 73190 17558 1 - 27.0000 -
1865.08/1871.74 c 1872 73553 17590 1 - 27.0000 -
1870.16/1876.89 c 1877 73920 17613 1 - 27.0000 -
1875.34/1882.00 c 1882 74255 17646 1 - 27.0000 -
1880.42/1887.11 c 1887 74520 17715 1 - 27.0000 -
1885.49/1892.24 c 1892 74766 17742 1 - 27.0000 -
1890.88/1897.61 c 1898 75072 17770 1 - 27.0000 -
1896.56/1903.35 c 1903 75466 17813 1 - 27.0000 -
1901.74/1908.54 c 1909 75771 17850 1 - 27.0000 -
1907.02/1913.82 c 1914 76070 17888 1 - 27.0000 -
1912.81/1919.65 c 1920 76347 17929 1 - 27.0000 -
1918.20/1925.01 c 1925 76575 17989 1 - 27.0000 -
1923.37/1930.21 c 1930 76841 18029 1 - 27.0000 -
1928.75/1935.62 c 1936 77146 18051 1 - 27.0000 -
1933.93/1940.85 c 1941 77483 18053 1 - 27.0000 -
1939.01/1945.94 c 1946 77769 18095 1 - 27.0000 -
1944.49/1951.48 c 1951 78072 18158 1 - 27.0000 -
1950.28/1957.29 c 1957 78424 18193 1 - 27.0000 -
1956.26/1963.21 c 1963 78841 18223 1 - 27.0000 -
1962.14/1969.16 c 1969 79196 18257 1 - 27.0051 -
1968.02/1975.04 c 1975 79377 18294 1 - 27.0051 -
1973.80/1980.87 c 1981 79776 18353 1 - 27.0051 -
1979.38/1986.49 c 1986 80144 18364 1 - 27.0051 -
1984.46/1991.56 c 1992 80517 18404 1 - 27.0051 -
1989.75/1996.84 c 1997 80820 18422 1 - 27.0051 -
1995.52/2002.61 c 2003 81186 18464 1 - 27.0051 -
2000.60/2007.72 c 2008 81481 18489 1 - 27.0051 -
2005.89/2013.04 c 2013 81938 18510 1 - 27.0051 -
2011.17/2018.33 c 2018 82280 18533 1 - 27.0051 -
2016.25/2023.49 c 2023 82501 18572 1 - 27.0051 -
2021.44/2028.68 c 2029 82825 18606 1 - 27.0051 -
2026.72/2033.92 c 2034 83169 18639 1 - 27.0051 -
2032.20/2039.46 c 2039 83427 18686 1 - 27.0051 -
2037.38/2044.69 c 2045 83797 18712 1 - 27.0051 -
2042.56/2049.83 c 2050 84154 18732 1 - 27.0051 -
2048.15/2055.42 c 2055 84597 18775 1 - 27.0051 -
2053.63/2060.94 c 2061 84990 18803 1 - 27.0051 -
2058.81/2066.16 c 2066 85305 18848 1 - 27.0051 -
2063.99/2071.30 c 2071 85585 18893 1 - 27.0051 -
2069.87/2077.22 c 2077 85914 18915 1 - 27.0051 -
2075.44/2082.88 c 2083 86195 18955 1 - 27.0051 -
2081.23/2088.63 c 2089 86512 18947 1 - 27.0051 -
2086.50/2093.94 c 2094 86816 19009 1 - 27.0051 -
2092.18/2099.63 c 2100 87185 19026 1 - 27.0052 -
2097.46/2104.93 c 2105 87553 19086 1 - 27.0102 -
2103.23/2110.79 c 2111 87902 19137 1 - 27.0102 -
2108.91/2116.42 c 2116 88259 19207 1 - 27.0102 -
2113.99/2121.56 c 2122 88608 19262 1 - 27.0102 -
2119.17/2126.78 c 2127 88982 19272 1 - 27.0102 -
2125.04/2132.60 c 2133 89329 19301 1 - 27.0102 -
2130.22/2137.83 c 2138 89585 19328 1 - 27.0263 -
2135.42/2143.01 c 2143 89911 19374 1 - 27.1250 -
2140.49/2148.11 c 2148 90235 19398 1 - 27.2857 -
2145.48/2153.13 c 2153 90479 19413 1 - 27.3793 -
2150.95/2158.62 c 2159 90845 19436 1 - 27.5000 -
2156.12/2163.82 c 2164 91135 19454 1 - 27.7500 -
2161.91/2169.63 c 2170 91535 19466 1 - 28.0000 -
2167.38/2175.11 c 2175 91897 19487 1 - 28.0000 -
2172.56/2180.38 c 2180 92137 19504 1 - 28.0000 -
2177.74/2185.59 c 2186 92293 19580 1 - 28.0000 -
2182.92/2190.73 c 2191 92556 19667 1 - 28.0000 -
2188.60/2196.41 c 2196 92799 19754 1 - 28.0000 -
2193.98/2201.82 c 2202 92987 19814 1 - 28.0000 -
2199.06/2206.90 c 2207 93286 19865 1 - 28.0000 -
2204.14/2212.04 c 2212 93679 19897 1 - 28.0000 -
2209.22/2217.11 c 2217 94034 19896 1 - 28.0000 -
2214.69/2222.60 c 2223 94462 19935 1 - 28.0000 -
2219.68/2227.68 c 2228 94882 19965 1 - 28.0000 -
2224.95/2232.99 c 2233 95271 20000 1 - 28.0000 -
2230.33/2238.30 c 2238 95540 20023 1 - 28.0000 -
2235.31/2243.37 c 2243 95852 20047 1 - 28.0000 -
2240.59/2248.68 c 2249 96244 20085 1 - 28.0000 -
2245.87/2253.95 c 2254 96496 20116 1 - 28.0000 -
2250.96/2259.01 c 2259 96785 20111 1 - 28.0000 -
2255.94/2264.07 c 2264 96990 20170 1 - 28.0000 -
2261.41/2269.58 c 2270 97335 20185 1 - 28.0000 -
2266.69/2274.89 c 2275 97541 20231 1 - 28.0051 -
2271.76/2279.93 c 2280 97987 20246 1 - 28.0051 -
2276.95/2285.17 c 2285 98260 20284 1 - 28.0051 -
2282.12/2290.32 c 2290 98639 20307 1 - 28.0051 -
2287.11/2295.34 c 2295 98975 20370 1 - 28.0051 -
2292.29/2300.54 c 2301 99246 20401 1 - 28.0051 -
2297.47/2305.79 c 2306 99474 20441 1 - 28.0051 -
2302.65/2310.90 c 2311 99754 20482 1 - 28.0051 -
2307.83/2316.11 c 2316 99965 20502 1 - 28.0051 -
2312.90/2321.20 c 2321 100188 20527 1 - 28.0051 -
2317.98/2326.31 c 2326 100527 20554 1 - 28.0051 -
2323.07/2331.49 c 2331 100882 20573 1 - 28.0051 -
2328.24/2336.68 c 2337 101141 20598 1 - 28.0051 -
2333.52/2341.94 c 2342 101522 20618 1 - 28.0051 -
2339.49/2347.92 c 2348 101942 20649 1 - 28.0051 -
2344.78/2353.21 c 2353 102271 20664 1 - 28.0051 -
2349.86/2358.34 c 2358 102630 20713 1 - 28.0051 -
2355.14/2363.68 c 2364 102888 20766 1 - 28.0051 -
2360.71/2369.20 c 2369 103160 20801 1 - 28.0102 -
2365.89/2374.49 c 2374 103486 20861 1 - 28.0102 -
2371.68/2380.24 c 2380 103876 20884 1 - 28.0102 -
2377.35/2385.95 c 2386 104254 20900 1 - 28.0102 -
2382.83/2391.41 c 2391 104511 20971 1 - 28.0102 -
2388.42/2397.10 c 2397 104734 21040 1 - 28.0139 -
2394.09/2402.70 c 2403 104987 21134 1 - 28.0263 -
2399.77/2408.40 c 2408 105253 21171 1 - 28.2500 -
2404.95/2413.65 c 2414 105594 21151 1 - 28.5051 -
2410.04/2418.71 c 2419 105886 21145 1 - 29.0000 -
2415.33/2424.08 c 2424 106255 21157 1 - 29.0000 -
2420.50/2429.25 c 2429 106570 21166 1 - 29.0000 -
2425.98/2434.75 c 2435 106900 21196 1 - 29.0000 -
2431.16/2439.94 c 2440 107173 21236 1 - 29.0000 -
2436.25/2445.05 c 2445 107495 21272 1 - 29.0000 -
2441.33/2450.16 c 2450 107796 21289 1 - 29.0000 -
2446.60/2455.44 c 2455 108023 21346 1 - 29.0000 -
2451.88/2460.70 c 2461 108306 21392 1 - 29.0000 -
2456.97/2465.83 c 2466 108592 21420 1 - 29.0000 -
2462.05/2470.97 c 2471 108768 21466 1 - 29.0000 -
2467.13/2476.09 c 2476 109160 21488 1 - 29.0000 -
2472.31/2481.22 c 2481 109462 21545 1 - 29.0000 -
2477.49/2486.48 c 2486 109725 21633 1 - 29.0000 -
2482.58/2491.59 c 2492 109975 21681 1 - 29.0000 -
2487.86/2496.84 c 2497 110312 21693 1 - 29.0000 -
2493.04/2502.03 c 2502 110626 21736 1 - 29.0000 -
2498.23/2507.20 c 2507 110960 21765 1 - 29.0000 -
2503.30/2512.30 c 2512 111313 21765 1 - 29.0000 -
2508.48/2517.57 c 2518 111619 21791 1 - 29.0000 -
2513.66/2522.71 c 2523 111945 21799 1 - 29.0000 -
2518.75/2527.84 c 2528 112204 21846 1 - 29.0000 -
2524.14/2533.25 c 2533 112495 21865 1 - 29.0000 -
2529.51/2538.65 c 2539 112725 21925 1 - 29.0000 -
2534.70/2543.87 c 2544 112917 22001 1 - 29.0000 -
2539.89/2549.04 c 2549 113159 22017 1 - 29.0000 -
2544.97/2554.15 c 2554 113484 22037 1 - 29.0000 -
2550.14/2559.30 c 2559 113813 22086 1 - 29.0000 -
2555.23/2564.43 c 2564 114089 22143 1 - 29.0000 -
2560.41/2569.65 c 2570 114422 22172 1 - 29.0000 -
2565.59/2574.83 c 2575 114710 22205 1 - 29.0000 -
2571.68/2580.90 c 2581 114968 22246 1 - 29.0000 -
2576.95/2586.24 c 2586 115262 22284 1 - 29.0000 -
2582.03/2591.32 c 2591 115535 22294 1 - 29.0000 -
2587.92/2597.21 c 2597 115907 22306 1 - 29.0000 -
2593.10/2602.41 c 2602 116285 22338 1 - 29.0051 -
2598.18/2607.50 c 2608 116686 22348 1 - 29.0051 -
2603.67/2613.01 c 2613 117070 22352 1 - 29.0051 -
2609.24/2618.62 c 2619 117425 22371 1 - 29.0051 -
2614.53/2623.94 c 2624 117785 22395 1 - 29.0051 -
2619.81/2629.24 c 2629 118102 22433 1 - 29.0051 -
2625.29/2634.72 c 2635 118373 22459 1 - 29.0051 -
2630.58/2640.04 c 2640 118685 22477 1 - 29.0051 -
2635.75/2645.23 c 2645 118956 22520 1 - 29.0051 -
2641.64/2651.16 c 2651 119331 22559 1 - 29.0051 -
2646.72/2656.25 c 2656 119745 22537 1 - 29.0051 -
2651.80/2661.35 c 2661 120145 22558 1 - 29.0051 -
2656.98/2666.50 c 2666 120401 22595 1 - 29.0051 -
2662.26/2671.88 c 2672 120710 22620 1 - 29.0051 -
2667.55/2677.17 c 2677 121058 22655 1 - 29.0051 -
2672.83/2682.42 c 2682 121353 22694 1 - 29.0051 -
2678.10/2687.76 c 2688 121685 22775 1 - 29.0051 -
2684.09/2693.76 c 2694 121995 22828 1 - 29.0051 -
2689.27/2698.95 c 2699 122319 22859 1 - 29.0102 -
2694.85/2704.50 c 2704 122644 22878 1 - 29.0102 -
2700.13/2709.87 c 2710 122845 22910 1 - 29.0102 -
2705.42/2715.12 c 2715 123100 22954 1 - 29.0102 -
2710.60/2720.32 c 2720 123310 23006 1 - 29.0102 -
2715.79/2725.52 c 2726 123540 23037 1 - 29.0102 -
2720.87/2730.67 c 2731 123797 23094 1 - 29.0102 -
2726.05/2735.89 c 2736 124025 23171 1 - 29.0102 -
2731.83/2741.67 c 2742 124305 23246 1 - 29.0139 -
2737.81/2747.62 c 2748 124536 23294 1 - 29.0153 -
2742.89/2752.76 c 2753 124921 23335 1 - 29.0777 -
2748.37/2758.23 c 2758 125384 23375 1 - 29.0837 -
2753.66/2763.50 c 2764 125694 23415 1 - 29.1429 -
2759.04/2768.93 c 2769 126065 23426 1 - 29.2500 -
2764.22/2774.13 c 2774 126327 23448 1 - 29.2516 -
2769.80/2779.78 c 2780 126654 23458 1 - 29.4051 -
2774.98/2784.99 c 2785 126995 23512 1 - 29.8667 -
2780.26/2790.21 c 2790 127342 23506 1 - 30.0000 -
2785.95/2795.90 c 2796 127660 23565 1 - 30.0000 -
2791.23/2801.20 c 2801 127898 23593 1 - 30.0000 -
2796.31/2806.30 c 2806 128195 23636 1 - 30.0000 -
2801.59/2811.64 c 2812 128364 23692 1 - 30.0000 -
2807.08/2817.18 c 2817 128552 23770 1 - 30.0000 -
2812.16/2822.27 c 2822 128790 23805 1 - 30.0000 -
2817.34/2827.43 c 2827 129012 23842 1 - 30.0000 -
2822.43/2832.55 c 2833 129249 23866 1 - 30.0000 -
2827.70/2837.84 c 2838 129560 23901 1 - 30.0000 -
2832.89/2843.04 c 2843 129800 23930 1 - 30.0000 -
2837.97/2848.15 c 2848 130148 23967 1 - 30.0000 -
2843.16/2853.33 c 2853 130504 24004 1 - 30.0000 -
2848.53/2858.70 c 2859 130791 24038 1 - 30.0000 -
2853.62/2863.80 c 2864 131123 24057 1 - 30.0000 -
2858.71/2868.95 c 2869 131417 24088 1 - 30.0000 -
2863.89/2874.11 c 2874 131751 24105 1 - 30.0000 -
2869.17/2879.48 c 2879 132013 24129 1 - 30.0000 -
2874.35/2884.63 c 2885 132409 24125 1 - 30.0000 -
2879.53/2889.85 c 2890 132708 24125 1 - 30.0000 -
2884.72/2895.02 c 2895 133105 24144 1 - 30.0000 -
2889.70/2900.08 c 2900 133493 24176 1 - 30.0000 -
2894.98/2905.31 c 2905 133764 24224 1 - 30.0000 -
2900.67/2911.03 c 2911 134011 24269 1 - 30.0000 -
2905.75/2916.14 c 2916 134326 24304 1 - 30.0000 -
2910.82/2921.22 c 2921 134749 24313 1 - 30.0000 -
2916.21/2926.65 c 2927 135057 24309 1 - 30.0000 -
2921.49/2931.98 c 2932 135333 24356 1 - 30.0000 -
2926.58/2937.05 c 2937 135595 24405 1 - 30.0000 -
2931.85/2942.31 c 2942 135867 24462 1 - 30.0000 -
2937.04/2947.58 c 2948 136136 24497 1 - 30.0000 -
2942.72/2953.27 c 2953 136444 24504 1 - 30.0000 -
2948.00/2958.54 c 2959 136754 24523 1 - 30.0000 -
2953.08/2963.66 c 2964 137067 24547 1 - 30.0000 -
2958.26/2968.88 c 2969 137345 24552 1 - 30.0000 -
2963.45/2974.05 c 2974 137761 24604 1 - 30.0000 -
2969.33/2979.97 c 2980 138194 24603 1 - 30.0000 -
2975.21/2985.88 c 2986 138767 24592 1 - 30.0051 -
2980.69/2991.33 c 2991 139234 24584 1 - 30.0051 -
2986.17/2996.81 c 2997 139580 24604 1 - 30.0051 -
2991.46/3002.14 c 3002 139890 24649 1 - 30.0051 -
2996.63/3007.33 c 3007 140214 24669 1 - 30.0051 -
3002.02/3012.71 c 3013 140601 24700 1 - 30.0051 -
3007.00/3017.76 c 3018 140940 24706 1 - 30.0051 -
3012.58/3023.34 c 3023 141284 24739 1 - 30.0051 -
3017.76/3028.56 c 3029 141573 24773 1 - 30.0051 -
3022.95/3033.77 c 3034 141942 24782 1 - 30.0051 -
3028.13/3038.93 c 3039 142356 24807 1 - 30.0051 -
3034.11/3044.94 c 3045 142634 24816 1 - 30.0051 -
3039.20/3050.02 c 3050 142945 24844 1 - 30.0051 -
3044.28/3055.12 c 3055 143318 24873 1 - 30.0051 -
3049.55/3060.43 c 3060 143808 24857 1 - 30.0051 -
3054.74/3065.60 c 3066 144094 24872 1 - 30.0051 -
3060.72/3071.61 c 3072 144489 24873 1 - 30.0051 -
3065.80/3076.73 c 3077 144828 24896 1 - 30.0051 -
3070.88/3081.80 c 3082 145116 24896 1 - 30.0051 -
3075.87/3086.89 c 3087 145439 24919 1 - 30.0051 -
3081.65/3092.68 c 3093 145778 24974 1 - 30.0102 -
3087.33/3098.37 c 3098 146108 24990 1 - 30.0102 -
3092.41/3103.48 c 3103 146394 25086 1 - 30.0102 -
3097.89/3108.97 c 3109 146688 25146 1 - 30.0102 -
3103.47/3114.50 c 3114 146973 25205 1 - 30.0102 -
3108.56/3119.64 c 3120 147174 25238 1 - 30.0102 -
3113.64/3124.76 c 3125 147324 25290 1 - 30.0102 -
3119.62/3130.74 c 3131 147609 25310 1 - 30.0102 -
3124.80/3135.91 c 3136 147875 25366 1 - 30.0102 -
3130.59/3141.75 c 3142 148244 25388 1 - 30.0460 -
3136.46/3147.65 c 3148 148568 25453 1 - 30.0667 -
3141.95/3153.19 c 3153 148851 25502 1 - 30.1250 -
3147.23/3158.40 c 3158 149135 25534 1 - 30.1674 -
3153.21/3164.46 c 3164 149564 25546 1 - 30.1718 -
3158.80/3170.09 c 3170 149945 25572 1 - 30.3333 -
3163.97/3175.29 c 3175 150235 25614 1 - 30.5000 -
3169.95/3181.24 c 3181 150544 25663 1 - 30.5000 -
3175.43/3186.70 c 3187 150897 25698 1 - 30.5000 -
3180.61/3191.94 c 3192 151322 25704 1 - 30.8667 -
3185.71/3197.03 c 3197 151670 25725 1 - 31.0000 -
3190.69/3202.10 c 3202 151943 25770 1 - 31.0000 -
3195.87/3207.29 c 3207 152195 25805 1 - 31.0000 -
3201.25/3212.68 c 3213 152522 25825 1 - 31.0000 -
3206.43/3217.88 c 3218 152797 25852 1 - 31.0000 -
3211.71/3223.11 c 3223 153135 25876 1 - 31.0000 -
3216.79/3228.22 c 3228 153493 25877 1 - 31.0000 -
3221.88/3233.32 c 3233 153908 25901 1 - 31.0000 -
3227.06/3238.58 c 3239 154226 25918 1 - 31.0000 -
3232.24/3243.71 c 3244 154516 25926 1 - 31.0000 -
3237.22/3248.78 c 3249 154885 25952 1 - 31.0000 -
3242.30/3253.87 c 3254 155252 25959 1 - 31.0000 -
3247.49/3259.06 c 3259 155574 25979 1 - 31.0000 -
3252.67/3264.27 c 3264 155901 26029 1 - 31.0000 -
3258.25/3269.86 c 3270 156178 26064 1 - 31.0000 -
3263.44/3275.04 c 3275 156373 26137 1 - 31.0000 -
3268.52/3280.19 c 3280 156615 26156 1 - 31.0000 -
3274.00/3285.60 c 3286 156887 26184 1 - 31.0000 -
3279.18/3290.84 c 3291 157165 26214 1 - 31.0000 -
3284.56/3296.25 c 3296 157488 26217 1 - 31.0000 -
3289.74/3301.48 c 3301 157780 26291 1 - 31.0000 -
3294.93/3306.68 c 3307 158064 26334 1 - 31.0000 -
3300.21/3311.97 c 3312 158322 26389 1 - 31.0000 -
3305.50/3317.24 c 3317 158570 26466 1 - 31.0000 -
3310.78/3322.51 c 3323 158875 26500 1 - 31.0000 -
3315.85/3327.64 c 3328 159231 26555 1 - 31.0000 -
3321.14/3332.98 c 3333 159584 26568 1 - 31.0000 -
3326.23/3338.06 c 3338 159839 26599 1 - 31.0000 -
3331.41/3343.24 c 3343 160141 26663 1 - 31.0000 -
3336.69/3348.51 c 3349 160319 26720 1 - 31.0000 -
3341.77/3353.67 c 3354 160627 26786 1 - 31.0000 -
3347.05/3358.90 c 3359 160878 26830 1 - 31.0000 -
3352.23/3364.17 c 3364 161291 26829 1 - 31.0000 -
3357.32/3369.26 c 3369 161538 26851 1 - 31.0000 -
3362.40/3374.31 c 3374 161797 26871 1 - 31.0000 -
3367.48/3379.43 c 3379 162149 26891 1 - 31.0000 -
3372.56/3384.56 c 3385 162515 26922 1 - 31.0000 -
3378.34/3390.38 c 3390 162850 26941 1 - 31.0000 -
3384.03/3396.00 c 3396 163232 26949 1 - 31.0000 -
3389.12/3401.20 c 3401 163443 27010 1 - 31.0000 -
3394.19/3406.27 c 3406 163693 27066 1 - 31.0000 -
3399.38/3411.40 c 3411 163979 27125 1 - 31.0000 -
3404.65/3416.70 c 3417 164190 27190 1 - 31.0000 -
3409.84/3421.99 c 3422 164481 27229 1 - 31.0000 -
3415.52/3427.60 c 3428 164733 27293 1 - 31.0000 -
3420.90/3433.00 c 3433 164963 27344 1 - 31.0000 -
3426.08/3438.22 c 3438 165226 27400 1 - 31.0000 -
3431.16/3443.35 c 3443 165527 27462 1 - 31.0000 -
3436.34/3448.50 c 3448 165886 27507 1 - 31.0000 -
3441.43/3453.61 c 3454 166326 27540 1 - 31.0000 -
3446.51/3458.70 c 3459 166868 27549 1 - 31.0000 -
3452.09/3464.38 c 3464 167267 27566 1 - 31.0000 -
3457.27/3469.57 c 3470 167553 27593 1 - 31.0000 -
3462.46/3474.73 c 3475 167874 27655 1 - 31.0000 -
3467.54/3479.89 c 3480 168329 27675 1 - 31.0000 -
3472.62/3484.99 c 3485 168656 27715 1 - 31.0000 -
3478.60/3490.90 c 3491 168940 27744 1 - 31.0000 -
3483.79/3496.12 c 3496 169245 27779 1 - 31.0000 -
3488.86/3501.25 c 3501 169455 27806 1 - 31.0000 -
3494.54/3506.90 c 3507 169713 27857 1 - 31.0000 -
3499.64/3512.08 c 3512 169940 27926 1 - 31.0000 -
3504.81/3517.26 c 3517 170185 27948 1 - 31.0000 -
3509.89/3522.37 c 3522 170478 27987 1 - 31.0000 -
3515.08/3527.57 c 3528 170799 28024 1 - 31.0000 -
3520.36/3532.83 c 3533 171072 28042 1 - 31.0000 -
3525.54/3538.08 c 3538 171418 28110 1 - 31.0000 -
3530.73/3543.22 c 3543 171686 28154 1 - 31.0000 -
3536.61/3549.16 c 3549 172174 28150 1 - 31.0000 -
3542.49/3555.03 c 3555 172418 28196 1 - 31.0000 -
3547.66/3560.20 c 3560 172684 28260 1 - 31.0000 -
3553.04/3565.65 c 3566 173017 28292 1 - 31.0000 -
3558.23/3570.87 c 3571 173315 28345 1 - 31.0000 -
3563.81/3576.47 c 3576 173587 28405 1 - 31.0000 -
3569.00/3581.67 c 3582 173926 28418 1 - 31.0000 -
3574.07/3586.75 c 3587 174257 28439 1 - 31.0000 -
3579.76/3592.43 c 3592 174584 28505 1 - 31.0000 -
3584.84/3597.50 c 3598 174880 28532 1 - 31.0000 -
3585.54/3598.29 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.54/3598.29 c Total Time : 3598.2900
3585.54/3598.29 c solving : 3598.2900
3585.54/3598.29 c presolving : 0.4311 (included in solving)
3585.54/3598.29 c B&B Tree :
3585.54/3598.29 c nodes (total) : 1
3585.54/3598.29 c Solution :
3585.54/3598.29 c Solutions found : 0
3585.54/3598.29 c Primal Bound : -
3585.54/3598.29 c Dual Bound : +3.10000000000000e+01
3585.54/3598.29 c Gap : -
3585.64/3598.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: 63968 MiB (63055 MiB free)
memory of node 1: 64473 MiB (63544 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464009-1722378597/watcher-4464009-1722378597 -o /tmp/evaluation-result-4464009-1722378597/solver-4464009-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464009-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
solver pid=28896, runsolver pid=28893
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 0.14 0.12 0.09 5/260 28913
/proc/meminfo: memFree=129497184/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=82644 memory=69580 CPUtime=0.1 cores=0,2
/proc/28896/stat : 28896 (fscip) R 28893 28896 28837 0 -1 4194304 15071 0 0 0 8 2 0 0 20 0 1 0 4461710 84627456 17395 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 20661 17395 2598 3035 0 17057 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82644 KiB
Current children cumulated memory: 69580 KiB
[startup+0.205153 s]*
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129377344/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=109824 memory=96704 CPUtime=0.2 cores=0,2
/proc/28896/stat : 28896 (fscip) R 28893 28896 28837 0 -1 4194304 23011 0 0 0 17 3 0 0 20 0 1 0 4461710 112459776 24176 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 27456 24176 2694 3035 0 23852 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109824 KiB
Current children cumulated memory: 96704 KiB
[startup+0.304913 s]*
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129365748/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=100464 memory=87512 CPUtime=0.3 cores=0,2
/proc/28896/stat : 28896 (fscip) R 28893 28896 28837 0 -1 4194304 23034 0 0 0 27 3 0 0 20 0 1 0 4461710 102875136 21878 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 25116 21878 2726 3035 0 21512 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100464 KiB
Current children cumulated memory: 87512 KiB
[startup+0.700634 s]
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129288600/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=253072 memory=206156 CPUtime=0.68 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 51199 0 0 0 61 7 0 0 20 0 3 0 4461710 259145728 51539 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 63268 51539 2806 3035 0 59235 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 253072 KiB
Current children cumulated memory: 206156 KiB
[startup+1.50064 s]
/proc/loadavg: 0.14 0.12 0.09 5/266 28919
/proc/meminfo: memFree=129098096/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=329100 memory=255644 CPUtime=1.48 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 60847 0 0 0 139 9 0 0 20 0 3 0 4461710 336998400 63911 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 82275 63911 2950 3035 0 71765 0
[pid=28896/tid=28916] ppid=28893 vsize=329100 memory=4164 CPUtime=0.95 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 24424 0 0 0 92 3 0 0 20 0 3 0 4461761 336998400 63911 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=329100 memory=2292 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461764 336998400 63911 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 329100 KiB
Current children cumulated memory: 255644 KiB
[startup+3.10564 s]
/proc/loadavg: 0.45 0.18 0.11 5/266 28921
/proc/meminfo: memFree=128961152/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=394636 memory=313776 CPUtime=3.07 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 89932 0 0 0 295 12 0 0 20 0 3 0 4461710 404107264 78444 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 98659 78444 2950 3035 0 90024 0
[pid=28896/tid=28916] ppid=28893 vsize=394636 memory=2292 CPUtime=2.54 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 53502 0 0 0 248 6 0 0 20 0 3 0 4461761 404107264 78444 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=394636 memory=206420 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4461764 404107264 78444 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 394636 KiB
Current children cumulated memory: 313776 KiB
[startup+6.30024 s]
/proc/loadavg: 0.45 0.18 0.11 5/266 28921
/proc/meminfo: memFree=128931104/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=394636 memory=329424 CPUtime=6.25 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 123444 0 0 0 610 15 0 0 20 0 3 0 4461710 404107264 82356 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 98659 82356 2998 3035 0 93145 0
[pid=28896/tid=28916] ppid=28893 vsize=394636 memory=339368 CPUtime=5.72 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 86976 0 0 0 563 9 0 0 20 0 3 0 4461761 404107264 82356 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=394636 memory=11556 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4461764 404107264 82356 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 394636 KiB
Current children cumulated memory: 329424 KiB
[startup+12.7002 s]
/proc/loadavg: 1.00 0.31 0.16 5/266 28921
/proc/meminfo: memFree=128883044/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=460172 memory=350020 CPUtime=12.63 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 184034 0 0 0 1243 20 0 0 20 0 3 0 4461710 471216128 87505 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 115043 87505 3014 3035 0 95495 0
[pid=28896/tid=28916] ppid=28893 vsize=460172 memory=11556 CPUtime=12.1 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 147509 0 0 0 1196 14 0 0 20 0 3 0 4461761 471216128 87505 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=460172 memory=342128 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4461764 471216128 87505 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 460172 KiB
Current children cumulated memory: 350020 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.43 0.20 5/267 28981
/proc/meminfo: memFree=128763368/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=394636 memory=347508 CPUtime=25.38 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 235970 0 0 0 2514 24 0 0 20 0 3 0 4461710 404107264 86877 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 98659 86877 3014 3035 0 94861 0
[pid=28896/tid=28916] ppid=28893 vsize=394636 memory=347508 CPUtime=24.86 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 199387 0 0 0 2468 18 0 0 20 0 3 0 4461761 404107264 86877 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=394636 memory=347504 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4461764 404107264 86877 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 394636 KiB
Current children cumulated memory: 347508 KiB
[startup+51.1054 s]
/proc/loadavg: 2.47 0.75 0.31 5/266 28984
/proc/meminfo: memFree=128674372/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=462588 memory=359804 CPUtime=50.91 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 325086 0 0 0 5061 30 0 0 20 0 3 0 4461710 473690112 89951 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 115647 89951 3014 3035 0 97820 0
[pid=28896/tid=28916] ppid=28893 vsize=462588 memory=359796 CPUtime=50.38 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 288400 0 0 0 5014 24 0 0 20 0 3 0 4461761 473690112 89951 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=462588 memory=347160 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4461764 473690112 89951 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 462588 KiB
Current children cumulated memory: 359804 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.31 0.53 5/266 28995
/proc/meminfo: memFree=128523968/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=528124 memory=425940 CPUtime=101.93 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 463973 0 0 0 10152 41 0 0 20 0 3 0 4461710 540798976 106485 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 132031 106485 3014 3035 0 116572 0
[pid=28896/tid=28916] ppid=28893 vsize=528124 memory=348044 CPUtime=101.39 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 427173 0 0 0 10105 34 0 0 20 0 3 0 4461761 540798976 106485 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=528124 memory=391056 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4461764 540798976 106485 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 528124 KiB
Current children cumulated memory: 425940 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.84 0.76 5/266 29005
/proc/meminfo: memFree=128399180/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=528124 memory=432036 CPUtime=161.73 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 540492 0 0 0 16127 46 0 0 20 0 3 0 4461710 540798976 108009 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 132031 108009 3014 3035 0 117365 0
[pid=28896/tid=28916] ppid=28893 vsize=528124 memory=431916 CPUtime=161.19 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 503625 0 0 0 16080 39 0 0 20 0 3 0 4461761 540798976 108009 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=528124 memory=432036 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4461764 540798976 108009 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 528124 KiB
Current children cumulated memory: 432036 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.25 0.97 5/266 29015
/proc/meminfo: memFree=128315308/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=528124 memory=432124 CPUtime=221.52 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 575956 0 0 0 22102 50 0 0 20 0 3 0 4461710 540798976 108031 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 132031 108031 3014 3035 0 117365 0
[pid=28896/tid=28916] ppid=28893 vsize=528124 memory=33020 CPUtime=220.98 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 539028 0 0 0 22054 44 0 0 20 0 3 0 4461761 540798976 108031 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=528124 memory=432124 CPUtime=0 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 4461764 540798976 108031 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 528124 KiB
Current children cumulated memory: 432124 KiB
################
# More data... #
################
[pid=28896] ppid=28893 vsize=1215100 memory=1107584 CPUtime=3450.1 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1856721 0 0 0 344728 282 0 0 20 0 3 0 4461710 1244262400 276896 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 276896 3030 3035 0 283517 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=648040 CPUtime=3449.32 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1818689 0 0 0 344666 266 0 0 20 0 3 0 4461761 1244262400 276896 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=1086628 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 162 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 276896 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3450.1 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1107584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.38 4.16 5/267 30759
/proc/meminfo: memFree=123856480/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1122292 CPUtime=3509.89 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1897952 0 0 0 350701 288 0 0 20 0 3 0 4461710 1244262400 280573 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 280573 3030 3035 0 285902 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=648040 CPUtime=3509.11 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1859899 0 0 0 350639 272 0 0 20 0 3 0 4461761 1244262400 280573 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=1944 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 164 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 280573 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3509.89 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1122292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.34 4.16 5/267 30771
/proc/meminfo: memFree=123804172/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1127924 CPUtime=3569.69 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1937606 0 0 0 356676 293 0 0 20 0 3 0 4461710 1244262400 281981 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 281981 3030 3035 0 287171 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=648040 CPUtime=3568.9 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1899530 0 0 0 356613 277 0 0 20 0 3 0 4461761 1244262400 281981 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=1127924 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 281981 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3569.69 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1127924 KiB
[startup+3598.33 s]
# the end of solver process 28896 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.71 s, system=2.96752 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.24 4.33 4.15 5/267 30772
/proc/meminfo: memFree=123795652/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1127924 CPUtime=3571.39 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1937666 0 0 0 356846 293 0 0 20 0 3 0 4461710 1244262400 281981 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 281981 3030 3035 0 287171 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=5456 CPUtime=3570.6 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1899590 0 0 0 356783 277 0 0 20 0 3 0 4461761 1244262400 281981 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=-5155633680935826750 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 281981 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1127924 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.33 4.15 5/267 30772
/proc/meminfo: memFree=123791848/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1129872 CPUtime=3577.77 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1938608 0 0 0 357483 294 0 0 20 0 3 0 4461710 1244262400 282468 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 282468 3030 3035 0 287724 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=11556 CPUtime=3576.97 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1900532 0 0 0 357420 277 0 0 20 0 3 0 4461761 1244262400 282468 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=1127924 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 282468 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3577.77 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1129872 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123788768/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1131348 CPUtime=3580.95 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1939145 0 0 0 357801 294 0 0 20 0 3 0 4461710 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 282837 3030 3035 0 287966 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=1127924 CPUtime=3580.16 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1901069 0 0 0 357738 278 0 0 20 0 3 0 4461761 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=-7089911029484839799 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3580.95 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1131348 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123786244/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1131348 CPUtime=3584.14 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1939219 0 0 0 358120 294 0 0 20 0 3 0 4461710 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 282837 3030 3035 0 287966 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=164 CPUtime=3583.35 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1901143 0 0 0 358057 278 0 0 20 0 3 0 4461761 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=5384 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3584.14 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1131348 KiB
[startup+3597.6 s]
/proc/loadavg: 4.21 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123783052/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1131348 CPUtime=3584.94 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1939229 0 0 0 358200 294 0 0 20 0 3 0 4461710 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 282837 3030 3035 0 287966 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=-5155633680935826750 CPUtime=3584.15 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1901153 0 0 0 358137 278 0 0 20 0 3 0 4461761 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=11556 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1131348 KiB
[startup+3598 s]*
/proc/loadavg: 4.19 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123780752/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1131348 CPUtime=3585.34 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1939235 0 0 0 358240 294 0 0 20 0 3 0 4461710 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 282837 3030 3035 0 287966 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=-7017853435446910336 CPUtime=3584.55 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1901159 0 0 0 358177 278 0 0 20 0 3 0 4461761 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=-5155633680935826750 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1131348 KiB
[startup+3598.2 s]
/proc/loadavg: 4.19 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123780752/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=1215100 memory=1131348 CPUtime=3585.54 cores=0,2
/proc/28896/stat : 28896 (fscip) S 28893 28896 28837 0 -1 1077936128 1952711 0 0 0 358259 295 0 0 20 0 3 0 4461710 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 303775 282837 3030 3035 0 287966 0
[pid=28896/tid=28916] ppid=28893 vsize=1215100 memory=2748 CPUtime=3584.74 cores=0,2
/proc/28896/task/28916/stat : 28916 (fscip) R 28893 28896 28837 0 -1 4194368 1914634 0 0 0 358196 278 0 0 20 0 3 0 4461761 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
[pid=28896/tid=28918] ppid=28893 vsize=1215100 memory=4992 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 3 0 4461764 1244262400 282837 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 1215100 KiB
Current children cumulated memory: 1131348 KiB
[startup+3598.31 s]
/proc/loadavg: 4.19 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123780752/131524600 swapFree=131071996/131071996
[pid=28896] ppid=28893 vsize=913048 memory=884688 CPUtime=3585.64 cores=0,2
/proc/28896/stat : 28896 (fscip) R 28893 28896 28837 0 -1 4194304 1955487 0 0 0 358269 295 0 0 20 0 2 0 4461710 934961152 221172 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
/proc/28896/statm: 228262 221172 3030 3035 0 223937 0
[pid=28896/tid=28918] ppid=28893 vsize=913048 memory=1127924 CPUtime=0.04 cores=0,2
/proc/28896/task/28918/stat : 28918 (fscip) S 28893 28896 28837 0 -1 1077936192 169 0 0 0 1 3 0 0 20 0 2 0 4461764 934961152 221172 134679101440 4194304 16623229 140727387359152 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 46231552 140727387362326 140727387362442 140727387362442 140727387369456 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 913048 KiB
Current children cumulated memory: 884688 KiB
Child status: 0
Real time (s): 3598.33
CPU time (s): 3585.67
CPU user time (s): 3582.71
CPU system time (s): 2.96752
CPU usage (%): 99.6484
Max. virtual memory (cumulated for all children) (KiB): 1215100
Max. memory (cumulated for all children) (KiB): 1131348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.7
system time used= 2.96752
maximum resident set size= 1131348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1955732
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= 11124
involuntary context switches= 25157
# summary of solver processes directly reported to runsolver:
# pid: 28896
# total CPU time (s): 3585.67
# total CPU user time (s): 3582.71
# total CPU system time (s): 2.96752
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62509 second user time and 16.6784 second system time
The end
Begin job on nodeC032 at 2024-07-31 00:29:57
IDJOB=4464009
IDBENCH=147627
IDSOLVER=3092
FILE ID=nodeC032/4464009-1722378597
RUNJOBID= nodeC032-1722378597-28847
SLURM_JOB_ID= 8249855
Free space on /tmp= 890056 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464009-1722378597/watcher-4464009-1722378597 -o /tmp/evaluation-result-4464009-1722378597/solver-4464009-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464009-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 850b351e493109d76788c3bb5eecff4d
RANDOM SEED=576650998
nodeC032.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 : 3646.602
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.77
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 : 3600.624
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 : 7005.64
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.336
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.77
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 : 3668.387
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 : 7005.64
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 : 3645.196
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.77
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 : 3631.999
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 : 7005.64
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 : 3611.797
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.77
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 : 3669.643
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 : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129655864 kB
MemAvailable: 129859964 kB
Buffers: 84724 kB
Cached: 956348 kB
SwapCached: 0 kB
Active: 255656 kB
Inactive: 1140560 kB
Active(anon): 1436 kB
Inactive(anon): 375060 kB
Active(file): 254220 kB
Inactive(file): 765500 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115336 kB
Writeback: 0 kB
AnonPages: 355564 kB
Mapped: 88288 kB
Shmem: 21332 kB
KReclaimable: 48408 kB
Slab: 129448 kB
SReclaimable: 48408 kB
SUnreclaim: 81040 kB
KernelStack: 3872 kB
PageTables: 8716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 752408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 182996 kB
DirectMap2M: 7979008 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC032 at 2024-07-31 01:29:56