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 = 83304448, getVmSize() = 83304448, SCIPgetMemUsed() = 28726099, SCIPgetMemTotal() = 61052027, SCIPgetMemExternEstim() = 15170608
0.00/0.08 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.40/0.51 c ** Estimated virtualMemUsedAtSolver = 102903510, getVmSize() = 162881536, SCIPgetMemUsed() = 83206170, SCIPgetMemTotal() = 139184658, SCIPgetMemExternEstim() = 15170608
0.40/0.51 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.40/0.51 c Original Problem :
0.40/0.51 c Problem name : instance-4434673-1721101644
0.40/0.51 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.51 c Constraints : 6384
0.40/0.51 c Objective sense : minimize
0.40/0.51 c Presolved Problem :
0.40/0.51 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.51 c Constraints : 4902
0.40/0.51 c Constraints : Number
0.40/0.51 c knapsack : 679
0.40/0.51 c setppc : 1371
0.40/0.51 c linear : 2852
0.40/0.51 c ** Instance transfer method used: 0
0.49/0.52 c ** ParaScipInstance copy does not increase the number of variables. **
0.49/0.54 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.49/0.54 c Nodes Active
0.49/0.54 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.87/5.93 c 6 23 22 1 - 91.0000 -
11.75/11.89 c 12 112 89 1 - 91.0000 -
19.04/19.15 c 19 190 133 1 - 91.0000 -
24.32/24.40 c 24 314 182 1 - 91.0000 -
29.61/29.78 c 30 525 270 1 - 91.0000 -
34.69/34.89 c 35 636 278 1 - 91.0000 -
39.88/40.06 c 40 693 301 1 - 91.0000 -
46.96/47.15 c 47 850 329 1 - 91.0000 -
53.13/53.36 c 53 1074 388 1 - 91.0000 -
58.73/58.98 c 59 1204 415 1 - 91.0000 -
64.11/64.38 c 64 1298 447 1 - 91.0000 -
69.99/70.25 c 70 1316 453 1 - 91.0000 -
75.88/76.11 c 76 1431 469 1 - 91.0000 -
80.96/81.25 c 81 1508 481 1 - 91.0000 -
86.54/86.82 c 87 1518 489 1 - 91.0000 -
94.33/94.64 c 95 1632 511 1 - 91.0000 -
101.40/101.76 c 102 1646 518 1 - 91.0000 -
106.59/106.99 c 107 1683 517 1 - 91.0000 -
111.88/112.22 c 112 1738 534 1 - 91.0000 -
118.66/119.03 c 119 1831 558 1 - 91.0000 -
124.34/124.75 c 125 1950 568 1 - 91.0000 -
130.02/130.41 c 130 2015 577 1 - 91.0000 -
135.90/136.32 c 136 2143 598 1 - 91.0000 -
141.29/141.78 c 142 2208 580 1 - 91.0000 -
146.38/146.80 c 147 2261 573 1 - 91.0000 -
151.36/151.86 c 152 2343 577 1 - 91.0000 -
157.94/158.48 c 158 2505 563 1 - 91.0000 -
163.52/164.00 c 164 2654 567 1 - 91.0000 -
168.61/169.12 c 169 2759 588 1 - 91.0000 -
173.70/174.24 c 174 2920 600 1 - 91.0000 -
179.59/180.16 c 180 3096 578 1 - 91.0000 -
184.76/185.30 c 185 3305 596 1 - 91.0000 -
190.15/190.70 c 191 3479 610 1 - 91.0000 -
195.64/196.25 c 196 3531 615 1 - 91.0000 -
201.63/202.27 c 202 3575 625 1 - 91.0000 -
207.22/207.89 c 208 3603 631 1 - 91.0000 -
212.30/212.93 c 213 3752 640 1 - 91.0000 -
217.59/218.28 c 218 3849 624 1 - 91.0000 -
224.07/224.72 c 225 3929 637 1 - 91.0000 -
229.76/230.43 c 230 4026 660 1 - 91.0000 -
235.55/236.26 c 236 4162 695 1 - 91.0000 -
241.14/241.87 c 242 4322 681 1 - 91.0000 -
250.52/251.28 c 251 4374 1 1 - 91.0000 -
256.00/256.77 c 257 4411 38 1 - 91.0000 -
261.99/262.72 c 263 4419 46 1 - 91.0000 -
267.48/268.24 c 268 4447 74 1 - 91.0000 -
273.16/273.90 c 274 4479 106 1 - 91.0000 -
278.65/279.47 c 279 4519 146 1 - 91.0000 -
284.53/285.30 c 285 4561 188 1 - 91.0000 -
290.23/291.01 c 291 4604 229 1 - 91.0000 -
295.91/296.74 c 297 4643 268 1 - 91.0000 -
300.99/301.86 c 302 4711 332 1 - 91.0000 -
306.18/307.02 c 307 4854 340 1 - 91.0000 -
311.37/312.27 c 312 4901 387 1 - 91.0000 -
317.06/317.97 c 318 4974 457 1 - 91.0000 -
322.34/323.24 c 323 5040 518 1 - 91.0000 -
327.63/328.54 c 329 5120 591 1 - 91.0000 -
333.01/333.98 c 334 5176 646 1 - 91.0000 -
338.31/339.25 c 339 5236 700 1 - 91.0000 -
343.69/344.65 c 345 5370 791 1 - 91.0000 -
349.07/350.00 c 350 5437 844 1 - 91.0000 -
354.36/355.36 c 355 5516 899 1 - 91.0000 -
359.85/360.87 c 361 5600 963 1 - 91.0000 -
365.53/366.54 c 367 5694 1039 1 - 91.0000 -
371.50/372.56 c 373 5760 1077 1 - 91.0000 -
376.69/377.74 c 378 5842 1135 1 - 91.0000 -
382.08/383.17 c 383 5969 1229 1 - 91.0000 -
387.36/388.41 c 388 6239 1295 1 - 91.0000 -
392.44/393.51 c 394 6503 1382 1 - 91.0000 -
397.53/398.63 c 399 6660 1482 1 - 91.0000 -
402.60/403.76 c 404 6857 1556 1 - 91.0000 -
407.90/409.04 c 409 7096 1624 1 - 91.0000 -
413.17/414.39 c 414 7167 1680 1 - 91.0000 -
418.35/419.54 c 420 7228 1725 1 - 91.0000 -
424.14/425.32 c 425 7313 1785 1 - 91.0000 -
429.32/430.52 c 431 7378 1838 1 - 91.0000 -
434.70/435.94 c 436 7437 1889 1 - 91.0000 -
440.09/441.34 c 441 7509 1954 1 - 91.0000 -
445.27/446.58 c 447 7605 2041 1 - 91.0000 -
451.35/452.66 c 453 7714 2124 1 - 91.0000 -
456.63/457.96 c 458 7890 2175 1 - 91.0000 -
462.02/463.31 c 463 8034 2212 1 - 91.0000 -
467.10/468.44 c 468 8180 2236 1 - 91.0000 -
472.39/473.72 c 474 8330 2286 1 - 91.0000 -
477.87/479.24 c 479 8493 2351 1 - 91.0000 -
483.25/484.61 c 485 8583 2391 1 - 91.0000 -
489.04/490.40 c 490 8644 2447 1 - 91.0000 -
494.41/495.87 c 496 8693 2493 1 - 91.0000 -
500.00/501.40 c 501 8749 2545 1 - 91.0000 -
505.08/506.55 c 507 8843 2623 1 - 91.0000 -
510.46/511.95 c 512 8896 2676 1 - 91.0000 -
516.35/517.84 c 518 9004 2778 1 - 91.0000 -
521.54/523.03 c 523 9220 2863 1 - 91.0000 -
526.81/528.38 c 528 9483 2907 1 - 91.0000 -
532.10/533.65 c 534 9688 2956 1 - 91.0000 -
537.28/538.85 c 539 9945 3029 1 - 91.0000 -
542.47/544.06 c 544 10219 3077 1 - 91.0000 -
547.64/549.21 c 549 10431 3127 1 - 91.0000 -
552.73/554.37 c 554 10605 3191 1 - 91.0000 -
557.91/559.59 c 560 10801 3217 1 - 91.0000 -
563.19/564.83 c 565 11114 3225 1 - 91.0000 -
568.57/570.23 c 570 11330 3261 1 - 91.0000 -
573.76/575.48 c 575 11499 3291 1 - 91.0000 -
578.94/580.63 c 581 11672 3317 1 - 91.0000 -
584.12/585.83 c 586 11826 3433 1 - 91.0000 -
589.41/591.15 c 591 12026 3510 1 - 91.0000 -
595.09/596.86 c 597 12097 3571 1 - 91.0000 -
600.38/602.18 c 602 12236 3631 1 - 91.0000 -
605.46/607.28 c 607 12362 3727 1 - 91.0000 -
610.65/612.48 c 612 12606 3873 1 - 91.0000 -
615.83/617.64 c 618 12815 3973 1 - 91.0000 -
621.12/622.90 c 623 12996 4052 1 - 91.0000 -
626.30/628.11 c 628 13146 4104 1 - 91.0000 -
631.49/633.32 c 633 13407 4175 1 - 91.0000 -
636.58/638.47 c 638 13617 4311 1 - 91.0000 -
641.76/643.64 c 644 13842 4414 1 - 91.0000 -
647.45/649.33 c 649 14017 4482 1 - 91.0000 -
652.74/654.65 c 655 14211 4526 1 - 91.0000 -
657.82/659.75 c 660 14464 4567 1 - 91.0000 -
662.91/664.87 c 665 14694 4630 1 - 91.0000 -
668.10/670.08 c 670 14905 4705 1 - 91.0000 -
673.28/675.29 c 675 15225 4726 1 - 91.0000 -
678.57/680.56 c 681 15494 4811 1 - 91.0000 -
684.06/686.07 c 686 15680 4907 1 - 91.0000 -
689.34/691.37 c 691 15832 4996 1 - 91.0000 -
694.43/696.46 c 696 15958 5073 1 - 91.0000 -
699.51/701.56 c 702 16119 5184 1 - 91.0000 -
704.80/706.86 c 707 16309 5265 1 - 91.0000 -
710.10/712.18 c 712 16489 5338 1 - 91.0000 -
715.38/717.41 c 717 16676 5374 1 - 91.0000 -
720.47/722.55 c 723 16901 5351 1 - 91.0000 -
725.86/727.93 c 728 17110 5361 1 - 91.0000 -
731.04/733.10 c 733 17273 5431 1 - 91.0000 -
736.23/738.34 c 738 17508 5558 1 - 91.0000 -
741.62/743.77 c 744 17670 5643 1 - 91.0000 -
746.91/749.07 c 749 17880 5734 1 - 91.0000 -
752.19/754.33 c 754 18152 5890 1 - 91.0000 -
757.38/759.53 c 760 18403 6034 1 - 91.0000 -
763.07/765.23 c 765 18514 6093 1 - 91.0000 -
768.25/770.44 c 770 18697 6178 1 - 91.0000 -
773.44/775.62 c 776 18916 6340 1 - 91.0000 -
778.52/780.70 c 781 19228 6460 1 - 91.0000 -
783.62/785.86 c 786 19507 6595 1 - 91.0000 -
788.70/790.99 c 791 19737 6699 1 - 91.0000 -
793.90/796.12 c 796 20017 6807 1 - 91.0000 -
799.08/801.37 c 801 20194 6913 1 - 91.0000 -
804.26/806.51 c 807 20348 6996 1 - 91.0000 -
809.45/811.73 c 812 20506 7102 1 - 91.0000 -
814.54/816.87 c 817 20829 7248 1 - 91.0000 -
819.92/822.24 c 822 21093 7376 1 - 91.0000 -
825.11/827.42 c 827 21456 7525 1 - 91.0000 -
830.20/832.50 c 833 21767 7622 1 - 91.0000 -
835.39/837.79 c 838 22074 7703 1 - 91.0000 -
840.57/842.92 c 843 22398 7821 1 - 91.0000 -
845.86/848.23 c 848 22558 7885 1 - 91.0000 -
851.05/853.44 c 853 22785 7967 1 - 91.0000 -
856.23/858.67 c 859 23012 8054 1 - 91.0000 -
861.43/863.86 c 864 23337 8141 1 - 91.0000 -
866.62/869.08 c 869 23565 8182 1 - 91.0000 -
871.80/874.23 c 874 23760 8211 1 - 91.0000 -
876.98/879.44 c 879 23911 8246 1 - 91.0000 -
882.07/884.57 c 885 24176 8304 1 - 91.0000 -
887.46/889.93 c 890 24373 8400 1 - 91.0000 -
892.65/895.11 c 895 24602 8437 1 - 91.0000 -
898.13/900.62 c 901 24728 8520 1 - 91.0000 -
903.53/906.04 c 906 25111 8582 1 - 91.0000 -
908.91/911.44 c 911 25215 8658 1 - 91.0000 -
914.20/916.78 c 917 25303 8736 1 - 91.0000 -
919.59/922.10 c 922 25438 8835 1 - 91.0000 -
924.77/927.31 c 927 25600 8915 1 - 91.0000 -
929.86/932.50 c 932 25785 9012 1 - 91.0000 -
935.04/937.67 c 938 26046 9196 1 - 91.0000 -
940.22/942.81 c 943 26319 9353 1 - 91.0000 -
945.42/948.02 c 948 26549 9537 1 - 91.0000 -
950.60/953.25 c 953 26779 9645 1 - 91.0000 -
956.18/958.87 c 959 27097 9775 1 - 91.0000 -
961.97/964.64 c 965 27420 9947 1 - 91.0000 -
967.05/969.71 c 970 27726 10088 1 - 91.0000 -
972.15/974.80 c 975 28059 10218 1 - 91.0000 -
977.23/979.91 c 980 28413 10373 1 - 91.0000 -
982.33/985.10 c 985 28632 10511 1 - 91.0000 -
987.60/990.36 c 990 28815 10594 1 - 91.0000 -
992.99/995.77 c 996 28974 10626 1 - 91.0000 -
998.18/1000.90 c 1001 29147 10656 1 - 91.0000 -
1003.36/1006.18 c 1006 29365 10719 1 - 91.0000 -
1008.55/1011.30 c 1011 29542 10798 1 - 91.0000 -
1014.24/1017.00 c 1017 29678 10884 1 - 91.0000 -
1019.92/1022.75 c 1023 29743 10941 1 - 91.0000 -
1025.51/1028.39 c 1028 29859 11015 1 - 91.0000 -
1031.20/1034.05 c 1034 29957 11081 1 - 91.0000 -
1036.29/1039.18 c 1039 30245 11171 1 - 91.0000 -
1041.47/1044.35 c 1044 30472 11234 1 - 91.0000 -
1046.66/1049.56 c 1050 30687 11341 1 - 91.0000 -
1052.54/1055.47 c 1055 30789 11389 1 - 91.0000 -
1058.13/1061.05 c 1061 30815 11415 1 - 91.0000 -
1063.51/1066.48 c 1066 30873 11473 1 - 91.0000 -
1068.61/1071.56 c 1072 31003 11525 1 - 91.0000 -
1074.69/1077.63 c 1078 31123 11604 1 - 91.0000 -
1079.98/1082.92 c 1083 31251 11683 1 - 91.0000 -
1085.26/1088.21 c 1088 31386 11783 1 - 91.0000 -
1090.35/1093.37 c 1093 31620 11864 1 - 91.0000 -
1095.54/1098.50 c 1098 31791 11943 1 - 91.0000 -
1100.63/1103.67 c 1104 31976 12026 1 - 91.0000 -
1105.92/1108.91 c 1109 32246 12186 1 - 91.0000 -
1111.01/1114.05 c 1114 32591 12358 1 - 91.0000 -
1116.39/1119.41 c 1119 32760 12439 1 - 91.0000 -
1121.58/1124.68 c 1125 32991 12539 1 - 91.0000 -
1126.97/1130.02 c 1130 33178 12608 1 - 91.0000 -
1132.35/1135.44 c 1135 33330 12698 1 - 91.0000 -
1137.54/1140.66 c 1141 33463 12773 1 - 91.0000 -
1142.83/1145.93 c 1146 33628 12870 1 - 91.0000 -
1148.21/1151.31 c 1151 33754 12948 1 - 91.0000 -
1154.00/1157.11 c 1157 33876 13018 1 - 91.0000 -
1159.09/1162.28 c 1162 34085 13118 1 - 91.0000 -
1164.28/1167.48 c 1167 34264 13197 1 - 91.0000 -
1169.46/1172.65 c 1173 34391 13275 1 - 91.0000 -
1174.75/1177.91 c 1178 34561 13351 1 - 91.0000 -
1179.83/1183.08 c 1183 34810 13447 1 - 91.0000 -
1185.02/1188.22 c 1188 35048 13553 1 - 91.0000 -
1190.10/1193.35 c 1193 35273 13652 1 - 91.0000 -
1195.80/1199.02 c 1199 35416 13704 1 - 91.0000 -
1201.08/1204.31 c 1204 35649 13797 1 - 91.0000 -
1206.27/1209.53 c 1210 35780 13880 1 - 91.0000 -
1211.35/1214.69 c 1215 35931 13946 1 - 91.0000 -
1216.75/1220.05 c 1220 36142 14024 1 - 91.0000 -
1222.03/1225.36 c 1225 36377 14139 1 - 91.0000 -
1227.11/1230.48 c 1230 36631 14200 1 - 91.0000 -
1232.30/1235.69 c 1236 36843 14285 1 - 91.0000 -
1237.49/1240.82 c 1241 37059 14412 1 - 91.0000 -
1242.58/1245.99 c 1246 37321 14537 1 - 91.0000 -
1247.96/1251.32 c 1251 37510 14595 1 - 91.0000 -
1253.36/1256.79 c 1257 37577 14655 1 - 91.0000 -
1258.65/1262.09 c 1262 37755 14753 1 - 91.0000 -
1263.92/1267.35 c 1267 37871 14815 1 - 91.0000 -
1269.42/1272.82 c 1273 37959 14869 1 - 91.0000 -
1274.60/1278.01 c 1278 38151 14951 1 - 91.0000 -
1279.78/1283.23 c 1283 38340 15034 1 - 91.0000 -
1285.06/1288.50 c 1289 38489 15107 1 - 91.0000 -
1290.15/1293.62 c 1294 38656 15176 1 - 91.0000 -
1295.83/1299.35 c 1299 38772 15237 1 - 91.0000 -
1301.02/1304.59 c 1305 38899 15300 1 - 91.0000 -
1306.50/1310.10 c 1310 39014 15405 1 - 91.0000 -
1312.49/1316.02 c 1316 39134 15483 1 - 91.0000 -
1317.86/1321.42 c 1321 39318 15551 1 - 91.0000 -
1323.04/1326.68 c 1327 39519 15652 1 - 91.0000 -
1328.23/1331.89 c 1332 39691 15737 1 - 91.0000 -
1333.42/1337.04 c 1337 39866 15757 1 - 91.0000 -
1338.70/1342.33 c 1342 40010 15845 1 - 91.0000 -
1343.88/1347.50 c 1348 40107 15903 1 - 91.0000 -
1349.17/1352.87 c 1353 40200 15955 1 - 91.0000 -
1354.35/1358.01 c 1358 40275 16005 1 - 91.0000 -
1359.43/1363.12 c 1363 40361 16060 1 - 91.0000 -
1364.61/1368.39 c 1368 40527 16120 1 - 91.0000 -
1369.90/1373.65 c 1374 40757 16222 1 - 91.0000 -
1375.29/1379.07 c 1379 41036 16340 1 - 91.0000 -
1380.66/1384.47 c 1384 41144 16405 1 - 91.0000 -
1385.74/1389.59 c 1390 41311 16464 1 - 91.0000 -
1391.24/1395.03 c 1395 41503 16503 1 - 91.0000 -
1396.81/1400.61 c 1401 41620 16570 1 - 91.0000 -
1402.30/1406.19 c 1406 41771 16640 1 - 91.0000 -
1407.48/1411.38 c 1411 41889 16723 1 - 91.0000 -
1412.76/1416.60 c 1417 42075 16848 1 - 91.0000 -
1418.15/1422.09 c 1422 42203 16933 1 - 91.0000 -
1423.53/1427.40 c 1427 42469 16968 1 - 91.0000 -
1428.52/1432.49 c 1432 42672 17059 1 - 91.0000 -
1433.70/1437.67 c 1438 42874 17155 1 - 91.0000 -
1439.39/1443.39 c 1443 43036 17246 1 - 91.0000 -
1444.57/1448.59 c 1449 43221 17336 1 - 91.0000 -
1449.77/1453.77 c 1454 43412 17419 1 - 91.0000 -
1454.95/1458.99 c 1459 43612 17483 1 - 91.0000 -
1460.05/1464.05 c 1464 43894 17579 1 - 91.0000 -
1465.13/1469.15 c 1469 44199 17722 1 - 91.0000 -
1470.41/1474.44 c 1474 44406 17814 1 - 91.0000 -
1475.50/1479.59 c 1480 44668 17935 1 - 91.0000 -
1480.89/1484.91 c 1485 44883 18062 1 - 91.0000 -
1486.27/1490.32 c 1490 45058 18140 1 - 91.0000 -
1491.66/1495.79 c 1496 45231 18232 1 - 91.0000 -
1496.95/1501.10 c 1501 45485 18344 1 - 91.0000 -
1503.04/1507.15 c 1507 45691 18368 1 - 91.0000 -
1508.42/1512.59 c 1513 45868 18418 1 - 91.0000 -
1513.61/1517.79 c 1518 46062 18479 1 - 91.0000 -
1518.80/1522.96 c 1523 46239 18532 1 - 91.0000 -
1523.99/1528.11 c 1528 46434 18564 1 - 91.0000 -
1529.97/1534.18 c 1534 46554 18622 1 - 91.0000 -
1535.16/1539.34 c 1539 46810 18684 1 - 91.0000 -
1540.44/1544.66 c 1545 46924 18731 1 - 91.0000 -
1545.43/1549.67 c 1550 47011 18792 1 - 91.0000 -
1550.62/1554.89 c 1555 47187 18840 1 - 91.0000 -
1556.40/1560.61 c 1561 47298 18903 1 - 91.0000 -
1561.69/1565.93 c 1566 47471 18966 1 - 91.0000 -
1566.79/1571.05 c 1571 47663 19053 1 - 91.0000 -
1571.87/1576.18 c 1576 47891 19131 1 - 91.0000 -
1577.35/1581.68 c 1582 48065 19204 1 - 91.0000 -
1582.64/1586.99 c 1587 48333 19262 1 - 91.0000 -
1588.32/1592.69 c 1593 48423 19311 1 - 91.0000 -
1594.12/1598.40 c 1598 48458 19345 1 - 91.0000 -
1599.30/1603.68 c 1604 48688 19388 1 - 91.0000 -
1604.89/1609.23 c 1609 48794 19413 1 - 91.0000 -
1610.27/1614.64 c 1615 48991 19456 1 - 91.0000 -
1615.46/1619.83 c 1620 49252 19503 1 - 91.0000 -
1620.75/1625.15 c 1625 49403 19621 1 - 91.0000 -
1626.14/1630.52 c 1631 49492 19678 1 - 91.0000 -
1631.52/1635.90 c 1636 49719 19810 1 - 91.0000 -
1636.51/1640.99 c 1641 50141 19920 1 - 91.0000 -
1641.69/1646.12 c 1646 50491 20022 1 - 91.0000 -
1646.89/1651.34 c 1651 50675 20085 1 - 91.0000 -
1652.27/1656.71 c 1657 50821 20144 1 - 91.0000 -
1657.66/1662.16 c 1662 50973 20216 1 - 91.0000 -
1663.04/1667.54 c 1668 51113 20240 1 - 91.0000 -
1668.23/1672.72 c 1673 51293 20317 1 - 91.0000 -
1673.32/1677.88 c 1678 51370 20344 1 - 91.0000 -
1679.31/1683.87 c 1684 51550 20429 1 - 91.0000 -
1684.60/1689.14 c 1689 51690 20491 1 - 91.0000 -
1690.28/1694.80 c 1695 51805 20568 1 - 91.0000 -
1695.37/1699.99 c 1700 51999 20676 1 - 91.0000 -
1700.56/1705.14 c 1705 52178 20830 1 - 91.0000 -
1705.74/1710.35 c 1710 52431 20882 1 - 91.0000 -
1711.32/1715.93 c 1716 52671 20952 1 - 91.0000 -
1716.52/1721.13 c 1721 52823 20977 1 - 91.0000 -
1721.70/1726.39 c 1726 52985 21032 1 - 91.0000 -
1726.89/1731.56 c 1732 53142 21102 1 - 91.0000 -
1732.07/1736.75 c 1737 53369 21199 1 - 91.0000 -
1737.95/1742.68 c 1743 53510 21273 1 - 91.0000 -
1743.14/1747.84 c 1748 53623 21335 1 - 91.0000 -
1749.13/1753.81 c 1754 53768 21420 1 - 91.0000 -
1754.12/1758.89 c 1759 53968 21547 1 - 91.0000 -
1759.21/1764.00 c 1764 54327 21662 1 - 91.0000 -
1764.79/1769.51 c 1770 54571 21744 1 - 91.0000 -
1769.98/1774.73 c 1775 54780 21856 1 - 91.0000 -
1775.87/1780.65 c 1781 54891 21944 1 - 91.0000 -
1781.05/1785.81 c 1786 55082 22035 1 - 91.0000 -
1786.34/1791.10 c 1791 55321 22115 1 - 91.0000 -
1791.63/1796.40 c 1796 55576 22172 1 - 91.0000 -
1796.72/1801.52 c 1802 55742 22249 1 - 91.0000 -
1801.81/1806.63 c 1807 55904 22307 1 - 91.0000 -
1807.39/1812.27 c 1812 56038 22389 1 - 91.0000 -
1812.58/1817.48 c 1817 56239 22480 1 - 91.0000 -
1817.96/1822.87 c 1823 56387 22602 1 - 91.0000 -
1823.16/1828.00 c 1828 56558 22733 1 - 91.0000 -
1828.44/1833.37 c 1833 56734 22850 1 - 91.0000 -
1833.72/1838.61 c 1839 56946 22967 1 - 91.0000 -
1838.81/1843.78 c 1844 57105 23081 1 - 91.0000 -
1844.21/1849.11 c 1849 57219 23170 1 - 91.0000 -
1849.59/1854.59 c 1855 57318 23247 1 - 91.0000 -
1854.98/1859.90 c 1860 57416 23317 1 - 91.0000 -
1860.17/1865.15 c 1865 57518 23397 1 - 91.0000 -
1865.75/1870.75 c 1871 57645 23499 1 - 91.0000 -
1871.04/1876.00 c 1876 57771 23608 1 - 91.0000 -
1876.33/1881.33 c 1881 57906 23710 1 - 91.0000 -
1881.41/1886.40 c 1886 58183 23823 1 - 91.0000 -
1886.50/1891.54 c 1892 58465 23905 1 - 91.0000 -
1891.88/1896.96 c 1897 58621 23967 1 - 91.0000 -
1897.17/1902.29 c 1902 58822 24069 1 - 91.0000 -
1902.46/1907.52 c 1908 58965 24125 1 - 91.0000 -
1907.64/1912.72 c 1913 59162 24196 1 - 91.0000 -
1912.84/1917.90 c 1918 59373 24240 1 - 91.0000 -
1918.03/1923.11 c 1923 59570 24244 1 - 91.0000 -
1923.21/1928.36 c 1928 59723 24308 1 - 91.0000 -
1928.70/1933.87 c 1934 59896 24384 1 - 91.0000 -
1933.99/1939.19 c 1939 60071 24465 1 - 91.0000 -
1939.17/1944.38 c 1944 60275 24547 1 - 91.0000 -
1944.86/1950.02 c 1950 60429 24601 1 - 91.0000 -
1949.94/1955.18 c 1955 60646 24706 1 - 91.0000 -
1955.03/1960.27 c 1960 60873 24790 1 - 91.0000 -
1960.21/1965.40 c 1965 61174 24884 1 - 91.0000 -
1965.30/1970.50 c 1970 61398 24967 1 - 91.0000 -
1970.39/1975.60 c 1976 61524 25025 1 - 91.0000 -
1975.47/1980.75 c 1981 61740 25130 1 - 91.0000 -
1980.66/1985.90 c 1986 61948 25159 1 - 91.0000 -
1985.95/1991.23 c 1991 62176 25307 1 - 91.0000 -
1991.23/1996.59 c 1997 62446 25416 1 - 91.0000 -
1996.42/2001.71 c 2002 62707 25509 1 - 91.0000 -
2002.01/2007.39 c 2007 62858 25568 1 - 91.0000 -
2007.20/2012.58 c 2013 63223 25667 1 - 91.0000 -
2012.58/2017.90 c 2018 63579 25739 1 - 91.0000 -
2017.87/2023.24 c 2023 63837 25803 1 - 91.0000 -
2023.25/2028.61 c 2029 64109 25931 1 - 91.0000 -
2028.34/2033.73 c 2034 64380 26142 1 - 91.0000 -
2033.43/2038.86 c 2039 64625 26304 1 - 91.0000 -
2038.72/2044.10 c 2044 64799 26395 1 - 91.0000 -
2044.01/2049.41 c 2049 64919 26471 1 - 91.0000 -
2049.19/2054.62 c 2055 65077 26570 1 - 91.0000 -
2054.38/2059.88 c 2060 65245 26666 1 - 91.0000 -
2059.47/2064.97 c 2065 65399 26751 1 - 91.0000 -
2065.05/2070.52 c 2071 65538 26835 1 - 91.0000 -
2070.14/2075.68 c 2076 65763 26926 1 - 91.0000 -
2075.33/2080.80 c 2081 65923 27003 1 - 91.0000 -
2080.52/2086.05 c 2086 66049 27093 1 - 91.0000 -
2085.71/2091.25 c 2091 66263 27234 1 - 91.0000 -
2090.89/2096.44 c 2096 66398 27276 1 - 91.0000 -
2096.08/2101.65 c 2102 66593 27363 1 - 91.0000 -
2101.16/2106.77 c 2107 66785 27428 1 - 91.0000 -
2106.35/2111.97 c 2112 67016 27508 1 - 91.0000 -
2112.24/2117.80 c 2118 67159 27577 1 - 91.0000 -
2117.23/2122.87 c 2123 67421 27646 1 - 91.0000 -
2122.42/2128.02 c 2128 67645 27715 1 - 91.0000 -
2127.80/2133.43 c 2133 67839 27800 1 - 91.0000 -
2133.49/2139.16 c 2139 68004 27891 1 - 91.0000 -
2138.77/2144.48 c 2144 68229 27985 1 - 91.0000 -
2143.86/2149.57 c 2150 68421 28109 1 - 91.0000 -
2148.94/2154.67 c 2155 68587 28206 1 - 91.0000 -
2154.04/2159.79 c 2160 68785 28300 1 - 91.0000 -
2159.33/2165.02 c 2165 69056 28399 1 - 91.0000 -
2164.61/2170.31 c 2170 69268 28517 1 - 91.0000 -
2169.79/2175.53 c 2176 69487 28602 1 - 91.0000 -
2175.39/2181.12 c 2181 69763 28708 1 - 91.0000 -
2180.57/2186.39 c 2186 69919 28802 1 - 91.0000 -
2185.95/2191.74 c 2192 70134 28874 1 - 91.0000 -
2191.15/2196.91 c 2197 70336 28927 1 - 91.0000 -
2196.43/2202.28 c 2202 70516 28986 1 - 91.0000 -
2201.72/2207.53 c 2208 70705 29079 1 - 91.0000 -
2206.80/2212.65 c 2213 70975 29165 1 - 91.0000 -
2211.99/2217.80 c 2218 71208 29259 1 - 91.0000 -
2217.08/2222.98 c 2223 71378 29360 1 - 91.0000 -
2222.27/2228.11 c 2228 71600 29432 1 - 91.0000 -
2227.35/2233.27 c 2233 71818 29472 1 - 91.0000 -
2233.34/2239.21 c 2239 71972 29523 1 - 91.0000 -
2238.72/2244.63 c 2245 72179 29574 1 - 91.0000 -
2244.11/2250.08 c 2250 72305 29655 1 - 91.0000 -
2249.49/2255.46 c 2255 72501 29742 1 - 91.0000 -
2254.88/2260.87 c 2261 72653 29823 1 - 91.0000 -
2260.18/2266.13 c 2266 72742 29904 1 - 91.0000 -
2265.46/2271.49 c 2271 72852 30010 1 - 91.0000 -
2270.65/2276.63 c 2277 72983 30114 1 - 91.0000 -
2275.74/2281.71 c 2282 73087 30216 1 - 91.0000 -
2280.92/2286.93 c 2287 73179 30306 1 - 91.0000 -
2286.21/2292.20 c 2292 73261 30388 1 - 91.0000 -
2291.49/2297.56 c 2298 73370 30491 1 - 91.0000 -
2296.69/2302.73 c 2303 73465 30581 1 - 91.0000 -
2302.07/2308.19 c 2308 73566 30641 1 - 91.0000 -
2307.45/2313.53 c 2314 73655 30726 1 - 91.0000 -
2312.65/2318.71 c 2319 73921 30800 1 - 91.0000 -
2317.94/2324.00 c 2324 74168 30862 1 - 91.0000 -
2323.42/2329.53 c 2330 74421 30923 1 - 91.0000 -
2328.70/2334.89 c 2335 74652 31038 1 - 91.0000 -
2333.98/2340.13 c 2340 74793 31123 1 - 91.0000 -
2339.57/2345.76 c 2346 75177 31203 1 - 91.0000 -
2344.86/2351.03 c 2351 75330 31300 1 - 91.0000 -
2350.15/2356.32 c 2356 75533 31382 1 - 91.0000 -
2355.33/2361.53 c 2362 75670 31422 1 - 91.0000 -
2360.72/2366.93 c 2367 75825 31477 1 - 91.0000 -
2365.81/2372.09 c 2372 76040 31559 1 - 91.0000 -
2371.00/2377.23 c 2377 76212 31629 1 - 91.0000 -
2376.28/2382.56 c 2383 76392 31688 1 - 91.0000 -
2381.57/2387.85 c 2388 76516 31754 1 - 91.0000 -
2386.75/2393.05 c 2393 76668 31802 1 - 91.0000 -
2391.93/2398.25 c 2398 76823 31846 1 - 91.0000 -
2397.32/2403.66 c 2404 76983 31860 1 - 91.0000 -
2402.51/2408.86 c 2409 77232 31985 1 - 91.0000 -
2407.99/2414.39 c 2414 77464 32084 1 - 91.0000 -
2413.38/2419.79 c 2420 77627 32178 1 - 91.0000 -
2419.06/2425.44 c 2425 77718 32214 1 - 91.0000 -
2424.25/2430.67 c 2431 77828 32265 1 - 91.0000 -
2429.64/2436.02 c 2436 78006 32307 1 - 91.0000 -
2434.92/2441.37 c 2441 78159 32381 1 - 91.0000 -
2440.11/2446.54 c 2447 78264 32458 1 - 91.0000 -
2445.40/2451.80 c 2452 78409 32552 1 - 91.0000 -
2450.59/2457.02 c 2457 78546 32661 1 - 91.0000 -
2455.68/2462.17 c 2462 78677 32772 1 - 91.0000 -
2460.76/2467.28 c 2467 79062 32898 1 - 91.0000 -
2465.95/2472.41 c 2472 79611 32949 1 - 91.0000 -
2471.54/2478.08 c 2478 79781 33040 1 - 91.0000 -
2476.82/2483.37 c 2483 79983 33128 1 - 91.0000 -
2482.00/2488.53 c 2489 80251 33245 1 - 91.0000 -
2487.18/2493.73 c 2494 80460 33333 1 - 91.0000 -
2492.37/2498.98 c 2499 80749 33424 1 - 91.0000 -
2497.46/2504.10 c 2504 80921 33533 1 - 91.0000 -
2502.74/2509.31 c 2509 81219 33604 1 - 91.0000 -
2507.82/2514.45 c 2514 81476 33669 1 - 91.0000 -
2513.80/2520.42 c 2520 81594 33704 1 - 91.0000 -
2518.88/2525.59 c 2526 81710 33773 1 - 91.0000 -
2524.18/2530.85 c 2531 81928 33887 1 - 91.0000 -
2529.55/2536.26 c 2536 82321 33975 1 - 91.0000 -
2534.74/2541.40 c 2541 82562 34087 1 - 91.0000 -
2539.82/2546.55 c 2547 82821 34142 1 - 91.0000 -
2545.10/2551.89 c 2552 83061 34207 1 - 91.0000 -
2550.29/2557.07 c 2557 83349 34252 1 - 91.0000 -
2556.07/2562.89 c 2563 83532 34294 1 - 91.0000 -
2561.36/2568.19 c 2568 83680 34412 1 - 91.0000 -
2566.64/2573.49 c 2574 83849 34493 1 - 91.0000 -
2571.92/2578.77 c 2579 84066 34545 1 - 91.0000 -
2577.21/2584.03 c 2584 84284 34605 1 - 91.0000 -
2583.19/2590.04 c 2590 84437 34693 1 - 91.0000 -
2588.38/2595.25 c 2595 84651 34752 1 - 91.0000 -
2593.56/2600.49 c 2600 84746 34833 1 - 91.0000 -
2598.64/2605.59 c 2606 84923 34922 1 - 91.0000 -
2603.93/2610.80 c 2611 85150 34987 1 - 91.0000 -
2609.01/2615.94 c 2616 85493 35045 1 - 91.0000 -
2614.29/2621.21 c 2621 85667 35089 1 - 91.0000 -
2619.37/2626.38 c 2626 85855 35173 1 - 91.0000 -
2624.46/2631.49 c 2632 86026 35241 1 - 91.0000 -
2629.85/2636.89 c 2637 86249 35256 1 - 91.0000 -
2635.03/2642.05 c 2642 86460 35355 1 - 91.0000 -
2640.21/2647.26 c 2647 86673 35438 1 - 91.0000 -
2645.40/2652.47 c 2652 86973 35621 1 - 91.0000 -
2650.58/2657.69 c 2658 87244 35723 1 - 91.0000 -
2655.77/2662.83 c 2663 87425 35769 1 - 91.0000 -
2661.06/2668.14 c 2668 87706 35823 1 - 91.0000 -
2666.23/2673.33 c 2673 87925 35860 1 - 91.0000 -
2671.42/2678.55 c 2679 88056 35983 1 - 91.0000 -
2676.60/2683.72 c 2684 88205 36116 1 - 91.0000 -
2681.99/2689.13 c 2689 88382 36215 1 - 91.0000 -
2687.37/2694.56 c 2695 88628 36330 1 - 91.0000 -
2692.55/2699.74 c 2700 89047 36550 1 - 91.0000 -
2697.74/2704.98 c 2705 89266 36637 1 - 91.0000 -
2702.82/2710.09 c 2710 89551 36735 1 - 91.0000 -
2708.21/2715.48 c 2715 89891 36830 1 - 91.0000 -
2713.49/2720.72 c 2721 90195 36965 1 - 91.0000 -
2718.57/2725.86 c 2726 90503 37020 1 - 91.0000 -
2723.75/2731.02 c 2731 90767 37143 1 - 91.0000 -
2729.03/2736.31 c 2736 91014 37250 1 - 91.0000 -
2734.22/2741.53 c 2742 91347 37316 1 - 91.0000 -
2739.50/2746.82 c 2747 91636 37393 1 - 91.0000 -
2744.58/2751.95 c 2752 91926 37458 1 - 91.0000 -
2749.87/2757.23 c 2757 92203 37580 1 - 91.0000 -
2755.45/2762.84 c 2763 92450 37704 1 - 91.0000 -
2760.54/2767.95 c 2768 92893 37765 1 - 91.0000 -
2765.82/2773.29 c 2773 93130 37843 1 - 91.0000 -
2770.91/2778.38 c 2778 93323 37927 1 - 91.0000 -
2776.19/2783.61 c 2784 93484 37976 1 - 91.0000 -
2781.18/2788.67 c 2789 93977 38141 1 - 91.0000 -
2786.26/2793.73 c 2794 94468 38177 1 - 91.0000 -
2791.44/2798.90 c 2799 94721 38259 1 - 91.0000 -
2796.64/2804.15 c 2804 94915 38336 1 - 91.0000 -
2801.91/2809.43 c 2809 95089 38429 1 - 91.0000 -
2807.09/2814.65 c 2815 95266 38532 1 - 91.0000 -
2812.38/2819.92 c 2820 95407 38646 1 - 91.0000 -
2817.46/2825.00 c 2825 95555 38771 1 - 91.0000 -
2822.65/2830.20 c 2830 95716 38831 1 - 91.0000 -
2827.73/2835.37 c 2835 96086 38920 1 - 91.0000 -
2832.92/2840.54 c 2841 96391 38991 1 - 91.0000 -
2838.31/2845.91 c 2846 96604 39105 1 - 91.0000 -
2843.39/2851.02 c 2851 97027 39240 1 - 91.0000 -
2848.78/2856.48 c 2856 97212 39292 1 - 91.0000 -
2854.27/2861.98 c 2862 97353 39382 1 - 91.0000 -
2859.46/2867.15 c 2867 97711 39467 1 - 91.0000 -
2864.73/2872.40 c 2872 97823 39558 1 - 91.0000 -
2869.92/2877.67 c 2878 98113 39664 1 - 91.0000 -
2875.20/2882.97 c 2883 98331 39776 1 - 91.0000 -
2880.58/2888.33 c 2888 98492 39867 1 - 91.0000 -
2885.97/2893.79 c 2894 98701 39939 1 - 91.0000 -
2891.15/2898.99 c 2899 99086 40028 1 - 91.0000 -
2896.34/2904.13 c 2904 99294 40109 1 - 91.0000 -
2901.62/2909.40 c 2909 99477 40125 1 - 91.0000 -
2906.80/2914.69 c 2915 99678 40174 1 - 91.0000 -
2912.08/2919.95 c 2920 99923 40207 1 - 91.0000 -
2917.68/2925.53 c 2926 100183 40262 1 - 91.0000 -
2922.96/2930.83 c 2931 100452 40337 1 - 91.0000 -
2928.04/2935.92 c 2936 100698 40424 1 - 91.0000 -
2933.72/2941.66 c 2942 100912 40467 1 - 91.0000 -
2938.91/2946.80 c 2947 101392 40605 1 - 91.0000 -
2943.99/2951.91 c 2952 101743 40745 1 - 91.0000 -
2948.98/2956.99 c 2957 102138 40802 1 - 91.0000 -
2954.16/2962.19 c 2962 102368 40871 1 - 91.0000 -
2959.35/2967.38 c 2967 102817 40944 1 - 91.0000 -
2964.52/2972.55 c 2973 103102 41036 1 - 91.0000 -
2969.61/2977.68 c 2978 103647 41120 1 - 91.0000 -
2974.69/2982.74 c 2983 104081 41211 1 - 91.0000 -
2979.78/2987.86 c 2988 104309 41292 1 - 91.0000 -
2984.97/2993.03 c 2993 104661 41446 1 - 91.0000 -
2990.15/2998.23 c 2998 104994 41566 1 - 91.0000 -
2995.43/3003.57 c 3004 105257 41649 1 - 91.0000 -
3000.72/3008.80 c 3009 105631 41766 1 - 91.0000 -
3005.90/3014.09 c 3014 105963 41850 1 - 91.0000 -
3011.09/3019.21 c 3019 106306 41898 1 - 91.0000 -
3016.36/3024.54 c 3025 106607 41944 1 - 91.0000 -
3021.95/3030.14 c 3030 106766 42028 1 - 91.0000 -
3027.13/3035.36 c 3035 106964 42089 1 - 91.0000 -
3032.32/3040.50 c 3040 107207 42162 1 - 91.0000 -
3037.70/3045.92 c 3046 107507 42253 1 - 91.0000 -
3042.88/3051.12 c 3051 107889 42388 1 - 91.0000 -
3047.97/3056.20 c 3056 108265 42450 1 - 91.0000 -
3053.06/3061.33 c 3061 108575 42516 1 - 91.0000 -
3058.14/3066.41 c 3066 108914 42595 1 - 91.0000 -
3063.24/3071.54 c 3072 109088 42673 1 - 91.0000 -
3068.42/3076.71 c 3077 109314 42746 1 - 91.0000 -
3073.61/3081.96 c 3082 109530 42824 1 - 91.0000 -
3078.90/3087.22 c 3087 109627 42912 1 - 91.0000 -
3084.08/3092.44 c 3092 109847 42990 1 - 91.0000 -
3089.17/3097.58 c 3098 110058 43063 1 - 91.0000 -
3094.26/3102.67 c 3103 110317 43092 1 - 91.0000 -
3099.45/3107.87 c 3108 110630 43138 1 - 91.0000 -
3104.54/3112.93 c 3113 111094 43233 1 - 91.0000 -
3109.73/3118.19 c 3118 111491 43220 1 - 91.0000 -
3115.01/3123.43 c 3123 111697 43293 1 - 91.0000 -
3120.29/3128.78 c 3129 111922 43386 1 - 91.0000 -
3125.59/3134.07 c 3134 112130 43450 1 - 91.0000 -
3130.68/3139.20 c 3139 112496 43568 1 - 91.0000 -
3135.95/3144.42 c 3144 112966 43645 1 - 91.0000 -
3141.35/3149.89 c 3150 113077 43741 1 - 91.0000 -
3146.54/3155.02 c 3155 113260 43843 1 - 91.0000 -
3151.82/3160.31 c 3160 113406 43944 1 - 91.0000 -
3157.11/3165.66 c 3166 113685 44022 1 - 91.0000 -
3162.30/3170.85 c 3171 113898 44097 1 - 91.0000 -
3167.78/3176.37 c 3176 114180 44182 1 - 91.0000 -
3172.97/3181.50 c 3182 114470 44287 1 - 91.0000 -
3178.15/3186.74 c 3187 114726 44361 1 - 91.0000 -
3183.45/3192.08 c 3192 115058 44469 1 - 91.0000 -
3188.73/3197.32 c 3197 115518 44582 1 - 91.0000 -
3193.91/3202.51 c 3203 115807 44701 1 - 91.0000 -
3198.90/3207.57 c 3208 116053 44810 1 - 91.0000 -
3204.08/3212.72 c 3213 116265 44853 1 - 91.0000 -
3210.16/3218.80 c 3219 116463 44923 1 - 91.0000 -
3215.85/3224.56 c 3225 116598 44993 1 - 91.0000 -
3221.03/3229.76 c 3230 117018 45087 1 - 91.0000 -
3226.21/3234.96 c 3235 117370 45180 1 - 91.0000 -
3231.40/3240.19 c 3240 117744 45214 1 - 91.0000 -
3236.58/3245.34 c 3245 117905 45308 1 - 91.0000 -
3241.96/3250.78 c 3251 118075 45364 1 - 91.0000 -
3247.15/3255.96 c 3256 118315 45446 1 - 91.0000 -
3252.43/3261.28 c 3261 118428 45519 1 - 91.0000 -
3257.71/3266.58 c 3267 118679 45597 1 - 91.0000 -
3263.00/3271.86 c 3272 119063 45680 1 - 91.0000 -
3268.19/3277.05 c 3277 119315 45774 1 - 91.0000 -
3273.27/3282.19 c 3282 119414 45819 1 - 91.0000 -
3278.85/3287.77 c 3288 119720 45886 1 - 91.0000 -
3284.24/3293.17 c 3293 119953 45956 1 - 91.0000 -
3289.61/3298.50 c 3298 120102 46031 1 - 91.0000 -
3295.21/3304.15 c 3304 120274 46105 1 - 91.0000 -
3300.78/3309.76 c 3310 120450 46162 1 - 91.0000 -
3306.07/3315.04 c 3315 120655 46218 1 - 91.0000 -
3311.15/3320.14 c 3320 120924 46290 1 - 91.0000 -
3316.34/3325.39 c 3325 121182 46430 1 - 91.0000 -
3321.62/3330.65 c 3331 121486 46455 1 - 91.0000 -
3326.90/3335.98 c 3336 121754 46530 1 - 91.0000 -
3332.39/3341.42 c 3341 122024 46560 1 - 91.0000 -
3337.67/3346.74 c 3347 122237 46647 1 - 91.0000 -
3342.75/3351.87 c 3352 122554 46681 1 - 91.0000 -
3348.04/3357.12 c 3357 122726 46734 1 - 91.0000 -
3353.32/3362.46 c 3362 122956 46782 1 - 91.0000 -
3358.40/3367.56 c 3368 123189 46872 1 - 91.0000 -
3363.59/3372.78 c 3373 123502 46925 1 - 91.0000 -
3368.88/3378.01 c 3378 123694 47015 1 - 91.0000 -
3374.05/3383.29 c 3383 123886 47110 1 - 91.0000 -
3379.24/3388.42 c 3388 124057 47257 1 - 91.0000 -
3384.33/3393.59 c 3394 124237 47383 1 - 91.0000 -
3389.91/3399.14 c 3399 124402 47527 1 - 91.0000 -
3394.99/3404.29 c 3404 124552 47652 1 - 91.0000 -
3400.17/3409.42 c 3409 124818 47798 1 - 91.0000 -
3405.26/3414.57 c 3415 125070 47891 1 - 91.0000 -
3410.44/3419.78 c 3420 125195 48010 1 - 91.0000 -
3415.73/3425.03 c 3425 125352 48138 1 - 91.0000 -
3421.01/3430.36 c 3430 125509 48263 1 - 91.0000 -
3426.19/3435.54 c 3436 125724 48398 1 - 91.0000 -
3431.27/3440.68 c 3441 125974 48497 1 - 91.0000 -
3436.56/3445.91 c 3446 126232 48554 1 - 91.0000 -
3441.74/3451.10 c 3451 126444 48664 1 - 91.0000 -
3446.83/3456.21 c 3456 126594 48795 1 - 91.0000 -
3451.92/3461.37 c 3461 126810 48927 1 - 91.0000 -
3457.20/3466.63 c 3467 127013 49031 1 - 91.0000 -
3462.29/3471.78 c 3472 127189 49148 1 - 91.0000 -
3467.48/3476.91 c 3477 127461 49300 1 - 91.0000 -
3472.57/3482.02 c 3482 127716 49392 1 - 91.0000 -
3477.85/3487.30 c 3487 127926 49498 1 - 91.0000 -
3482.94/3492.42 c 3492 128266 49587 1 - 91.0000 -
3487.93/3497.49 c 3498 128652 49645 1 - 91.0000 -
3493.02/3502.59 c 3503 128917 49697 1 - 91.0000 -
3498.10/3507.66 c 3508 129137 49796 1 - 91.0000 -
3503.19/3512.79 c 3513 129420 49877 1 - 91.0000 -
3508.68/3518.27 c 3518 129720 49939 1 - 91.0000 -
3513.87/3523.40 c 3523 130026 50021 1 - 91.0000 -
3518.85/3528.49 c 3528 130346 50101 1 - 91.0000 -
3524.04/3533.69 c 3534 130685 50181 1 - 91.0000 -
3529.73/3539.36 c 3539 130892 50282 1 - 91.0000 -
3535.01/3544.60 c 3545 131123 50414 1 - 91.0000 -
3540.21/3549.82 c 3550 131320 50515 1 - 91.0000 -
3545.29/3554.92 c 3555 131637 50647 1 - 91.0000 -
3550.49/3560.19 c 3560 131883 50669 1 - 91.0000 -
3555.66/3565.39 c 3565 132126 50769 1 - 91.0000 -
3561.05/3570.79 c 3571 132363 50913 1 - 91.0000 -
3566.14/3575.85 c 3576 132508 50990 1 - 91.0000 -
3571.33/3581.05 c 3581 132722 51077 1 - 91.0000 -
3576.71/3586.45 c 3586 132842 51161 1 - 91.0000 -
3581.90/3591.62 c 3592 132975 51266 1 - 91.0000 -
3586.97/3596.76 c 3597 133236 51427 1 - 91.0000 -
3590.76/3600.52 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.76/3600.52 c Total Time : 3600.5300
3590.76/3600.52 c solving : 3600.5300
3590.76/3600.52 c presolving : 0.4262 (included in solving)
3590.76/3600.52 c B&B Tree :
3590.76/3600.52 c nodes (total) : 1
3590.76/3600.52 c Solution :
3590.76/3600.53 c Solutions found : 0
3590.76/3600.53 c Primal Bound : -
3590.76/3600.53 c Dual Bound : +9.10000000000000e+01
3590.76/3600.53 c Gap : -
3590.76/3600.56 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 (62307 MiB free)
memory of node 1: 64510 MiB (57738 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434673-1721101644/watcher-4434673-1721101644 -o /tmp/evaluation-result-4434673-1721101644/solver-4434673-1721101644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434673-1721101644.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=862823, runsolver pid=862820
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.09 4.12 4.09 5/263 862824
/proc/meminfo: memFree=122867348/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=82828 memory=69792 CPUtime=0.1 cores=4,6
/proc/862823/stat : 862823 (fscip) R 862820 862823 860297 0 -1 4194304 15075 0 0 0 8 2 0 0 20 0 1 0 162329736 84815872 17448 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 20707 17448 2606 3032 0 17107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82828 KiB
Current children cumulated memory: 69792 KiB
[startup+0.20567 s]*
/proc/loadavg: 4.09 4.12 4.09 5/263 862826
/proc/meminfo: memFree=122840992/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=109684 memory=96148 CPUtime=0.2 cores=4,6
/proc/862823/stat : 862823 (fscip) R 862820 862823 860297 0 -1 4194304 23364 0 0 0 17 3 0 0 20 0 1 0 162329736 112316416 24037 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 27421 24037 2670 3032 0 23821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109684 KiB
Current children cumulated memory: 96148 KiB
[startup+0.305382 s]*
/proc/loadavg: 4.09 4.12 4.09 5/263 862826
/proc/meminfo: memFree=122849788/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=100472 memory=87188 CPUtime=0.3 cores=4,6
/proc/862823/stat : 862823 (fscip) R 862820 862823 860297 0 -1 4194304 23388 0 0 0 27 3 0 0 20 0 1 0 162329736 102883328 21797 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 25118 21797 2702 3032 0 21518 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100472 KiB
Current children cumulated memory: 87188 KiB
[startup+0.70024 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 862826
/proc/meminfo: memFree=122802428/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=251664 memory=204572 CPUtime=0.68 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 50611 0 0 0 62 6 0 0 20 0 3 0 162329736 257703936 51143 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 62916 51143 2798 3032 0 58690 0
[pid=862823/tid=862827] ppid=862820 vsize=251664 memory=1956 CPUtime=0.16 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 14059 0 0 0 15 1 0 0 20 0 3 0 162329787 257703936 51143 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 251664 KiB
Current children cumulated memory: 204572 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 862828
/proc/meminfo: memFree=122687456/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=382736 memory=278980 CPUtime=1.48 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 68652 0 0 0 139 9 0 0 20 0 3 0 162329736 391921664 69745 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 95684 69745 2926 3032 0 79687 0
[pid=862823/tid=862827] ppid=862820 vsize=382736 memory=1956 CPUtime=0.95 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 32100 0 0 0 91 4 0 0 20 0 3 0 162329787 391921664 69745 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=382736 memory=11860 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162329791 391921664 69745 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 382736 KiB
Current children cumulated memory: 278980 KiB
[startup+3.10544 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 862828
/proc/meminfo: memFree=122617136/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=382736 memory=303944 CPUtime=3.08 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 95171 0 0 0 296 12 0 0 20 0 3 0 162329736 391921664 75986 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 95684 75986 2926 3032 0 86018 0
[pid=862823/tid=862827] ppid=862820 vsize=382736 memory=-6584942601514957676 CPUtime=2.56 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 58614 0 0 0 249 7 0 0 20 0 3 0 162329787 391921664 75986 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=382736 memory=0 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162329791 391921664 75986 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 382736 KiB
Current children cumulated memory: 303944 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 862828
/proc/meminfo: memFree=122536028/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=382736 memory=326776 CPUtime=6.26 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 122947 0 0 0 612 14 0 0 20 0 3 0 162329736 391921664 81694 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 95684 81694 2926 3032 0 91356 0
[pid=862823/tid=862827] ppid=862820 vsize=382736 memory=340568 CPUtime=5.74 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 86353 0 0 0 565 9 0 0 20 0 3 0 162329787 391921664 81694 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=382736 memory=-6584942601514957676 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 162329791 391921664 81694 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 382736 KiB
Current children cumulated memory: 326776 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 862830
/proc/meminfo: memFree=122525764/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=448272 memory=339708 CPUtime=12.65 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 180582 0 0 0 1247 18 0 0 20 0 3 0 162329736 459030528 84927 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 112068 84927 2990 3032 0 95098 0
[pid=862823/tid=862827] ppid=862820 vsize=448272 memory=6720659939674701931 CPUtime=12.13 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 143942 0 0 0 1200 13 0 0 20 0 3 0 162329787 459030528 84927 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=448272 memory=13040 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 162329791 459030528 84927 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 448272 KiB
Current children cumulated memory: 339708 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 862879
/proc/meminfo: memFree=123295156/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=448272 memory=346800 CPUtime=25.42 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 237170 0 0 0 2520 22 0 0 20 0 3 0 162329736 459030528 86700 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 112068 86700 2990 3032 0 96209 0
[pid=862823/tid=862827] ppid=862820 vsize=448272 memory=343008 CPUtime=24.89 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 200462 0 0 0 2472 17 0 0 20 0 3 0 162329787 459030528 86700 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=448272 memory=11860 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 162329791 459030528 86700 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 448272 KiB
Current children cumulated memory: 346800 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 862884
/proc/meminfo: memFree=123249120/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=448272 memory=354068 CPUtime=50.95 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 316780 0 0 0 5068 27 0 0 20 0 3 0 162329736 459030528 88517 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 112068 88517 2990 3032 0 100633 0
[pid=862823/tid=862827] ppid=862820 vsize=448272 memory=350064 CPUtime=50.42 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 279968 0 0 0 5020 22 0 0 20 0 3 0 162329787 459030528 88517 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=448272 memory=11860 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 162329791 459030528 88517 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 448272 KiB
Current children cumulated memory: 354068 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 862892
/proc/meminfo: memFree=123155944/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=448272 memory=369840 CPUtime=102 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 427960 0 0 0 10164 36 0 0 20 0 3 0 162329736 459030528 92460 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 112068 92460 2990 3032 0 101953 0
[pid=862823/tid=862827] ppid=862820 vsize=448272 memory=0 CPUtime=101.47 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 391027 0 0 0 10116 31 0 0 20 0 3 0 162329787 459030528 92460 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=448272 memory=368976 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 162329791 459030528 92460 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 448272 KiB
Current children cumulated memory: 369840 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 862907
/proc/meminfo: memFree=123118516/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=448272 memory=372964 CPUtime=161.83 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 495803 0 0 0 16142 41 0 0 20 0 3 0 162329736 459030528 93241 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 112068 93241 2990 3032 0 102714 0
[pid=862823/tid=862827] ppid=862820 vsize=448272 memory=372956 CPUtime=161.29 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 458813 0 0 0 16094 35 0 0 20 0 3 0 162329787 459030528 93241 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=448272 memory=372964 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 162329791 459030528 93241 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 448272 KiB
Current children cumulated memory: 372964 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 862918
/proc/meminfo: memFree=123076448/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=448272 memory=373076 CPUtime=221.68 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 562756 0 0 0 22121 47 0 0 20 0 3 0 162329736 459030528 93269 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 112068 93269 2990 3032 0 105411 0
[pid=862823/tid=862827] ppid=862820 vsize=448272 memory=380760 CPUtime=221.14 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 525711 0 0 0 22073 41 0 0 20 0 3 0 162329787 459030528 93269 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=448272 memory=370456 CPUtime=0 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 162329791 459030528 93269 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 448272 KiB
################
# More data... #
################
/proc/862823/statm: 382527 373591 2990 3032 0 378487 0
[pid=862823/tid=862827] ppid=862820 vsize=1530108 memory=1461076 CPUtime=3452.17 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 1918304 0 0 0 344946 271 0 0 20 0 3 0 162329787 1566830592 373591 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1530108 memory=1493364 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 162329791 1566830592 373591 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 1530108 KiB
Current children cumulated memory: 1494364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 864708
/proc/meminfo: memFree=119560656/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1520012 CPUtime=3512.77 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 1992160 0 0 0 350987 290 0 0 20 0 3 0 162329736 1644630016 380003 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 380003 2990 3032 0 386544 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=1493364 CPUtime=3512.02 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 1954065 0 0 0 350925 277 0 0 20 0 3 0 162329787 1644630016 380003 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=1516344 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 380003 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1520012 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/261 864766
/proc/meminfo: memFree=120421988/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1540420 CPUtime=3572.62 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2028103 0 0 0 356968 294 0 0 20 0 3 0 162329736 1644630016 385105 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 385105 2990 3032 0 391028 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=1516344 CPUtime=3571.87 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 1989988 0 0 0 356906 281 0 0 20 0 3 0 162329787 1644630016 385105 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=11860 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 385105 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1540420 KiB
[startup+3600.58 s]
# the end of solver process 862823 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.82 s, system=3.0296 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.16 4.11 5/263 864768
/proc/meminfo: memFree=120176768/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1540440 CPUtime=3574.32 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2028278 0 0 0 357138 294 0 0 20 0 3 0 162329736 1644630016 385110 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 385110 2990 3032 0 391028 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=-6296991501316701034 CPUtime=3573.57 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 1990163 0 0 0 357076 281 0 0 20 0 3 0 162329787 1644630016 385110 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=26952 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 385110 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3574.32 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1540440 KiB
[startup+3590.4 s]
/proc/loadavg: 4.26 4.17 4.12 5/261 864815
/proc/meminfo: memFree=119516496/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1547372 CPUtime=3580.7 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2030567 0 0 0 357775 295 0 0 20 0 3 0 162329736 1644630016 386843 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 386843 2990 3032 0 392784 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=41404 CPUtime=3579.96 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 1992452 0 0 0 357714 282 0 0 20 0 3 0 162329787 1644630016 386843 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=1540408 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 386843 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3580.7 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1547372 KiB
[startup+3596.8 s]
/proc/loadavg: 4.23 4.17 4.12 5/261 864816
/proc/meminfo: memFree=119184112/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1550152 CPUtime=3587.07 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2043941 0 0 0 358412 295 0 0 20 0 3 0 162329736 1644630016 387538 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 387538 2990 3032 0 393426 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=11860 CPUtime=3586.33 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 2005826 0 0 0 358350 283 0 0 20 0 3 0 162329787 1644630016 387538 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=1540460 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 387538 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1550152 KiB
[startup+3598.4 s]
/proc/loadavg: 4.22 4.17 4.11 5/263 864818
/proc/meminfo: memFree=118651444/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1550956 CPUtime=3588.68 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2044317 0 0 0 358572 296 0 0 20 0 3 0 162329736 1644630016 387739 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 387739 2990 3032 0 393624 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=11860 CPUtime=3587.93 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 2006202 0 0 0 358510 283 0 0 20 0 3 0 162329787 1644630016 387739 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=41404 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 387739 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3588.68 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1550956 KiB
[startup+3599.2 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 864819
/proc/meminfo: memFree=118612432/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1550960 CPUtime=3589.47 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2044405 0 0 0 358651 296 0 0 20 0 3 0 162329736 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 387740 2990 3032 0 393624 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=1550956 CPUtime=3588.72 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 2006290 0 0 0 358589 283 0 0 20 0 3 0 162329787 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=5448 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3589.47 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1550960 KiB
[startup+3600 s]*
/proc/loadavg: 4.22 4.17 4.11 5/264 864819
/proc/meminfo: memFree=118590872/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1550960 CPUtime=3590.27 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2045119 0 0 0 358731 296 0 0 20 0 3 0 162329736 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 387740 2990 3032 0 393624 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=-6656997996529630059 CPUtime=3589.53 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 2007002 0 0 0 358670 283 0 0 20 0 3 0 162329787 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=-9044459746194447340 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3590.27 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1550960 KiB
[startup+3600.4 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 864819
/proc/meminfo: memFree=118590872/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1550960 CPUtime=3590.67 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2117063 0 0 0 358768 299 0 0 20 0 3 0 162329736 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 387740 2990 3032 0 393624 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=5484 CPUtime=3589.92 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 2078947 0 0 0 358706 286 0 0 20 0 3 0 162329787 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=39340 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3590.67 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1550960 KiB
[startup+3600.5 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 864819
/proc/meminfo: memFree=118590872/131524600 swapFree=131071996/131071996
[pid=862823] ppid=862820 vsize=1606084 memory=1550960 CPUtime=3590.76 cores=4,6
/proc/862823/stat : 862823 (fscip) S 862820 862823 860297 0 -1 1077936128 2118245 0 0 0 358777 299 0 0 20 0 3 0 162329736 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
/proc/862823/statm: 401521 387740 2990 3032 0 393624 0
[pid=862823/tid=862827] ppid=862820 vsize=1606084 memory=1540272 CPUtime=3590.01 cores=4,6
/proc/862823/task/862827/stat : 862827 (fscip) R 862820 862823 860297 0 -1 4194368 2080128 0 0 0 358715 286 0 0 20 0 3 0 162329787 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
[pid=862823/tid=862828] ppid=862820 vsize=1606084 memory=6720659939674701931 CPUtime=0.03 cores=4,6
/proc/862823/task/862828/stat : 862828 (fscip) S 862820 862823 860297 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 162329791 1644630016 387740 134679101440 4194304 16613245 140726550125552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140726550127637 140726550127753 140726550127753 140726550134768 0
Current children cumulated CPU time: 3590.76 s
Current children cumulated vsize: 1606084 KiB
Current children cumulated memory: 1550960 KiB
Child status: 0
Real time (s): 3600.58
CPU time (s): 3590.85
CPU user time (s): 3587.82
CPU system time (s): 3.0296
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 1606084
Max. memory (cumulated for all children) (KiB): 1550960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.82
system time used= 3.0296
maximum resident set size= 1550960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2119168
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= 10391
involuntary context switches= 3715
# summary of solver processes directly reported to runsolver:
# pid: 862823
# total CPU time (s): 3590.85
# total CPU user time (s): 3587.82
# total CPU system time (s): 3.0296
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0952 second user time and 10.6644 second system time
The end
Begin job on nodeC025 at 2024-07-16 05:47:36
IDJOB=4434673
IDBENCH=147690
IDSOLVER=3064
FILE ID=nodeC025/4434673-1721101644
RUNJOBID= nodeC025-1721098035-860308
SLURM_JOB_ID= 7505612
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_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-4434673-1721101644/watcher-4434673-1721101644 -o /tmp/evaluation-result-4434673-1721101644/solver-4434673-1721101644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721098035-860308 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434673-1721101644.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=805250788
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 : 3600.526
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 : 3681.947
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 : 3672.064
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.097
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 : 3661.760
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 : 3681.934
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 : 3676.151
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 : 3599.880
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: 122927624 kB
MemAvailable: 128170620 kB
Buffers: 408152 kB
Cached: 5609204 kB
SwapCached: 0 kB
Active: 760384 kB
Inactive: 7101836 kB
Active(anon): 1528 kB
Inactive(anon): 1881052 kB
Active(file): 758856 kB
Inactive(file): 5220784 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59564 kB
Writeback: 0 kB
AnonPages: 1831840 kB
Mapped: 140836 kB
Shmem: 37720 kB
KReclaimable: 206004 kB
Slab: 324400 kB
SReclaimable: 206004 kB
SUnreclaim: 118396 kB
KernelStack: 4224 kB
PageTables: 12980 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1565856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1118208 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= 889904 MiB
End job on nodeC025 at 2024-07-16 06:47:37